runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand878003.cudf.impossible.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/impossible//rand878003.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand878003.cudf.impossible.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 1.01 2/95 2921 /proc/meminfo: memFree=1086212/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2880 CPUtime=0 /proc/2921/stat : 2921 (runsolver) R 2920 2921 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 25 0 1 0 417411820 2949120 93 1283457024 134512640 134586868 4290954240 18446744073709551615 4157592858 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/2921/statm: 720 93 62 19 0 52 0 [startup+0.169858 s] /proc/loadavg: 0.99 1.00 1.01 2/95 2921 /proc/meminfo: memFree=1086212/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.212911 s] /proc/loadavg: 0.99 1.00 1.01 2/95 2921 /proc/meminfo: memFree=1086212/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.310419 s] /proc/loadavg: 0.99 1.00 1.01 2/95 2921 /proc/meminfo: memFree=1086212/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.760111 s] /proc/loadavg: 0.99 1.00 1.01 2/95 2921 /proc/meminfo: memFree=1086212/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.50596 s] /proc/loadavg: 0.99 1.00 1.01 3/109 2935 /proc/meminfo: memFree=1045276/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=0 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2924] ppid=2923 vsize=873936 CPUtime=1.59 /proc/2924/stat : 2924 (java) S 2923 2921 13759 34823 13904 4202496 20856 0 0 0 153 6 0 0 25 0 12 0 417411822 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159894674 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2924/statm: 218484 15810 1739 10 0 215571 0 [pid=2924/tid=2925] ppid=2923 vsize=873936 CPUtime=0.6 /proc/2924/task/2925/stat : 2925 (java) R 2923 2921 13759 34823 13904 4202560 5852 0 0 0 55 5 0 0 25 0 12 0 417411824 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159919473 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=2924/tid=2926] ppid=2923 vsize=873936 CPUtime=0.06 /proc/2924/task/2926/stat : 2926 (java) S 2923 2921 13759 34823 13904 4202560 2718 0 0 0 6 0 0 0 15 0 12 0 417411825 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=2924/tid=2927] ppid=2923 vsize=873936 CPUtime=0.06 /proc/2924/task/2927/stat : 2927 (java) S 2923 2921 13759 34823 13904 4202560 2523 0 0 0 6 0 0 0 16 0 12 0 417411825 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2928] ppid=2923 vsize=873936 CPUtime=0 /proc/2924/task/2928/stat : 2928 (java) S 2923 2921 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 16 0 12 0 417411826 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908872 0 0 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=2924/tid=2929] ppid=2923 vsize=873936 CPUtime=0 /proc/2924/task/2929/stat : 2929 (java) S 2923 2921 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 417411826 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2930] ppid=2923 vsize=873936 CPUtime=0 /proc/2924/task/2930/stat : 2930 (java) S 2923 2921 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 25 0 12 0 417411826 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2931] ppid=2923 vsize=873936 CPUtime=0 /proc/2924/task/2931/stat : 2931 (java) S 2923 2921 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 417411829 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159916368 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2932] ppid=2923 vsize=873936 CPUtime=0.79 /proc/2924/task/2932/stat : 2932 (java) S 2923 2921 13759 34823 13904 4202560 7578 0 0 0 79 0 0 0 16 0 12 0 417411829 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2933] ppid=2923 vsize=873936 CPUtime=0.06 /proc/2924/task/2933/stat : 2933 (java) S 2923 2921 13759 34823 13904 4202560 765 0 0 0 6 0 0 0 16 0 12 0 417411829 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=2924/tid=2934] ppid=2923 vsize=873936 CPUtime=0 /proc/2924/task/2934/stat : 2934 (java) S 2923 2921 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417411829 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2935] ppid=2923 vsize=873936 CPUtime=0 /proc/2924/task/2935/stat : 2935 (java) S 2923 2921 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 417411829 894910464 15810 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908872 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 880312 [startup+3.106 s] /proc/loadavg: 0.99 1.00 1.01 4/109 2935 /proc/meminfo: memFree=946820/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=0 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2924] ppid=2923 vsize=874332 CPUtime=3.35 /proc/2924/stat : 2924 (java) S 2923 2921 13759 34823 13904 4202496 52464 0 0 0 315 20 0 0 25 0 12 0 417411822 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159894674 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2924/statm: 218583 45512 1745 10 0 215670 0 [pid=2924/tid=2925] ppid=2923 vsize=874332 CPUtime=1.52 /proc/2924/task/2925/stat : 2925 (java) R 2923 2921 13759 34823 13904 4202560 15719 0 0 0 144 8 0 0 24 0 12 0 417411824 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159919473 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=2924/tid=2926] ppid=2923 vsize=874332 CPUtime=0.31 /proc/2924/task/2926/stat : 2926 (java) S 2923 2921 13759 34823 13904 4202560 12851 0 0 0 27 4 0 0 16 0 12 0 417411825 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2927] ppid=2923 vsize=874332 CPUtime=0.34 /proc/2924/task/2927/stat : 2927 (java) S 2923 2921 13759 34823 13904 4202560 12322 0 0 0 27 7 0 0 16 0 12 0 417411825 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2928] ppid=2923 vsize=874332 CPUtime=0.24 /proc/2924/task/2928/stat : 2928 (java) S 2923 2921 13759 34823 13904 4202560 1802 0 0 0 24 0 0 0 16 0 12 0 417411826 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908872 0 0 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=2924/tid=2929] ppid=2923 vsize=874332 CPUtime=0 /proc/2924/task/2929/stat : 2929 (java) S 2923 2921 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 417411826 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2930] ppid=2923 vsize=874332 CPUtime=0 /proc/2924/task/2930/stat : 2930 (java) S 2923 2921 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 417411826 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2931] ppid=2923 vsize=874332 CPUtime=0 /proc/2924/task/2931/stat : 2931 (java) S 2923 2921 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 417411829 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159916368 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2932] ppid=2923 vsize=874332 CPUtime=0.79 /proc/2924/task/2932/stat : 2932 (java) S 2923 2921 13759 34823 13904 4202560 7578 0 0 0 79 0 0 0 16 0 12 0 417411829 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2933] ppid=2923 vsize=874332 CPUtime=0.12 /proc/2924/task/2933/stat : 2933 (java) S 2923 2921 13759 34823 13904 4202560 785 0 0 0 12 0 0 0 15 0 12 0 417411829 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=2924/tid=2934] ppid=2923 vsize=874332 CPUtime=0 /proc/2924/task/2934/stat : 2934 (java) S 2923 2921 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417411829 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2935] ppid=2923 vsize=874332 CPUtime=0 /proc/2924/task/2935/stat : 2935 (java) S 2923 2921 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 417411829 895315968 45512 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908872 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.35 Current children cumulated vsize (KiB) 880708 [startup+6.30614 s] /proc/loadavg: 1.07 1.02 1.01 2/109 2935 /proc/meminfo: memFree=795552/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=0 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2924] ppid=2923 vsize=878316 CPUtime=7.32 /proc/2924/stat : 2924 (java) S 2923 2921 13759 34823 13904 4202496 95949 0 0 0 696 36 0 0 25 0 12 0 417411822 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159894674 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2924/statm: 219579 84248 1770 10 0 216666 0 [pid=2924/tid=2925] ppid=2923 vsize=878316 CPUtime=2.65 /proc/2924/task/2925/stat : 2925 (java) S 2923 2921 13759 34823 13904 4202560 19402 0 0 0 256 9 0 0 16 0 12 0 417411824 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=2924/tid=2926] ppid=2923 vsize=878316 CPUtime=0.81 /proc/2924/task/2926/stat : 2926 (java) S 2923 2921 13759 34823 13904 4202560 32384 0 0 0 72 9 0 0 16 0 12 0 417411825 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2927] ppid=2923 vsize=878316 CPUtime=0.78 /proc/2924/task/2927/stat : 2927 (java) S 2923 2921 13759 34823 13904 4202560 28227 0 0 0 64 14 0 0 16 0 12 0 417411825 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2928] ppid=2923 vsize=878316 CPUtime=0.99 /proc/2924/task/2928/stat : 2928 (java) R 2923 2921 13759 34823 13904 4202560 3003 0 0 0 99 0 0 0 16 0 12 0 417411826 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4152346391 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=2924/tid=2929] ppid=2923 vsize=878316 CPUtime=0 /proc/2924/task/2929/stat : 2929 (java) S 2923 2921 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 417411826 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2930] ppid=2923 vsize=878316 CPUtime=0 /proc/2924/task/2930/stat : 2930 (java) S 2923 2921 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 417411826 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2931] ppid=2923 vsize=878316 CPUtime=0 /proc/2924/task/2931/stat : 2931 (java) S 2923 2921 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 417411829 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159916368 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2932] ppid=2923 vsize=878316 CPUtime=1.64 /proc/2924/task/2932/stat : 2932 (java) S 2923 2921 13759 34823 13904 4202560 10418 0 0 0 162 2 0 0 15 0 12 0 417411829 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2933] ppid=2923 vsize=878316 CPUtime=0.41 /proc/2924/task/2933/stat : 2933 (java) S 2923 2921 13759 34823 13904 4202560 1108 0 0 0 41 0 0 0 15 0 12 0 417411829 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2934] ppid=2923 vsize=878316 CPUtime=0 /proc/2924/task/2934/stat : 2934 (java) S 2923 2921 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417411829 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908080 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=2924/tid=2935] ppid=2923 vsize=878316 CPUtime=0 /proc/2924/task/2935/stat : 2935 (java) S 2923 2921 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 417411829 899395584 84248 1283457024 134512640 134550932 4293492352 18446744073709551615 4159908872 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.32 Current children cumulated vsize (KiB) 884692 [startup+12.7152 s] /proc/loadavg: 1.07 1.02 1.01 2/99 2941 /proc/meminfo: memFree=1004952/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=115176 CPUtime=1.93 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 29615 0 0 0 181 12 0 0 25 0 1 0 417412897 117940224 28564 1283457024 134512640 135858300 4291358128 18446744073709551615 134614697 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/2941/statm: 28794 28564 115 329 0 28463 0 Current children cumulated CPU time (s) 13.87 Current children cumulated vsize (KiB) 124440 [startup+25.507 s] /proc/loadavg: 1.05 1.01 1.01 2/98 2942 /proc/meminfo: memFree=940496/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=125816 CPUtime=14.71 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 34848 0 0 0 1458 13 0 0 25 0 1 0 417412897 128835584 31225 1283457024 134512640 135858300 4291358128 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/2941/statm: 31454 31225 137 329 0 31123 0 Current children cumulated CPU time (s) 26.65 Current children cumulated vsize (KiB) 135080 [startup+51.1041 s] /proc/loadavg: 1.03 1.01 1.01 2/98 2944 /proc/meminfo: memFree=938884/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=127428 CPUtime=40.31 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 35251 0 0 0 4018 13 0 0 25 0 1 0 417412897 130486272 31628 1283457024 134512640 135858300 4291358128 18446744073709551615 135343206 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/2941/statm: 31857 31628 137 329 0 31526 0 Current children cumulated CPU time (s) 52.25 Current children cumulated vsize (KiB) 136692 [startup+102.31 s] /proc/loadavg: 1.01 1.01 1.00 2/98 2947 /proc/meminfo: memFree=938760/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=127428 CPUtime=91.51 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 35251 0 0 0 9137 14 0 0 25 0 1 0 417412897 130486272 31628 1283457024 134512640 135858300 4291358128 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/2941/statm: 31857 31628 137 329 0 31526 0 Current children cumulated CPU time (s) 103.45 Current children cumulated vsize (KiB) 136692 [startup+162.315 s] /proc/loadavg: 1.08 1.02 1.01 2/99 3432 /proc/meminfo: memFree=938504/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=127428 CPUtime=150.97 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 35251 0 0 0 15083 14 0 0 25 0 1 0 417412897 130486272 31628 1283457024 134512640 135858300 4291358128 18446744073709551615 134670920 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/2941/statm: 31857 31628 137 329 0 31526 0 Current children cumulated CPU time (s) 162.91 Current children cumulated vsize (KiB) 136692 [startup+222.308 s] /proc/loadavg: 1.03 1.01 1.00 2/99 3438 /proc/meminfo: memFree=938620/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=127428 CPUtime=210.91 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 35251 0 0 0 21074 17 0 0 25 0 1 0 417412897 130486272 31628 1283457024 134512640 135858300 4291358128 18446744073709551615 134664208 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/2941/statm: 31857 31628 137 329 0 31526 0 Current children cumulated CPU time (s) 222.85 Current children cumulated vsize (KiB) 136692 [startup+282.304 s] /proc/loadavg: 1.23 1.07 1.02 2/99 4373 /proc/meminfo: memFree=938384/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=127428 CPUtime=269.99 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 35251 0 0 0 26979 20 0 0 25 0 1 0 417412897 130486272 31628 1283457024 134512640 135858300 4291358128 18446744073709551615 134659063 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/2941/statm: 31857 31628 137 329 0 31526 0 Current children cumulated CPU time (s) 281.93 Current children cumulated vsize (KiB) 136692 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.406 s] /proc/loadavg: 1.20 1.07 1.02 3/99 4374 /proc/meminfo: memFree=938376/2097152 swapFree=2055620/2097144 [pid=2921] ppid=2920 vsize=2376 CPUtime=0 /proc/2921/stat : 2921 (inesct-1.0) S 2920 2921 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417411820 2433024 257 1283457024 134512640 135191968 4287463792 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2921/statm: 594 257 221 166 0 26 0 [pid=2923] ppid=2921 vsize=4000 CPUtime=11.94 /proc/2923/stat : 2923 (cudf-solver.py) S 2921 2921 13759 34823 13904 4202496 811 102956 0 0 0 0 1114 80 18 0 1 0 417411820 4096000 642 1283457024 134512640 135539072 4289078016 18446744073709551615 4158700174 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/2923/statm: 1000 642 346 251 0 301 0 [pid=2940] ppid=2923 vsize=2888 CPUtime=0 /proc/2940/stat : 2940 (sh) S 2923 2921 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 417412896 2957312 321 1283457024 134512640 135191968 4293568432 18446744073709551615 4158999182 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2940/statm: 722 321 219 166 0 154 0 [pid=2941] ppid=2940 vsize=127428 CPUtime=278.09 /proc/2941/stat : 2941 (msuncore) R 2940 2921 13759 34823 13904 4202496 35251 0 0 0 27789 20 0 0 25 0 1 0 417412897 130486272 31628 1283457024 134512640 135858300 4291358128 18446744073709551615 134658848 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/2941/statm: 31857 31628 137 329 0 31526 0 Current children cumulated CPU time (s) 290.03 Current children cumulated vsize (KiB) 136692 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2921 and gives # childrusage.ru_utime.tv_sec=11 # childrusage.ru_utime.tv_usec=172698 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=812050 # CPU time returned by wait4() is 11.9847 # while last known CPU time is 290.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 290.437 CPU time (s): 290.03 CPU user time (s): 289.03 CPU system time (s): 1 CPU usage (%): 99.8599 Max. virtual memory (cumulated for all children) (KiB): 887252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.1727 system time used= 0.81205 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105020 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1014 involuntary context switches= 729 runsolver used 0.016001 second user time and 0.128008 second system time The end