runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-275194-1169218450 -o ROOT/results/node70/solver-275194-1169218450 -C 2400 -M 900 /tmp/evaluation/275194-1169218450/solver.sh /tmp/evaluation/275194-1169218450/unknown
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.91 5/80 10447
/proc/meminfo: memFree=1253880/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=8560 CPUtime=0
/proc/10446/stat : 10446 (solver.sh) R 10444 10446 10013 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 69341927 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233402255247 0 0 4096 8192 0 0 0 17 1 0 0
/proc/10446/statm: 2140 253 197 79 0 133 0
[startup+0.106948 s]
/proc/loadavg: 1.92 1.98 1.91 5/80 10447
/proc/meminfo: memFree=1253880/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.01
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 877 2249 0 0 0 0 0 1 21 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.514984 s]
/proc/loadavg: 1.92 1.98 1.91 5/80 10447
/proc/meminfo: memFree=1253880/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 47556
[startup+1.33607 s]
/proc/loadavg: 1.92 1.98 1.91 4/81 10468
/proc/meminfo: memFree=1018160/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=242316 CPUtime=1.19
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 58566 1663 0 0 88 24 6 1 25 0 1 0 69341938 248131584 58531 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134708289 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 60579 58531 72 178 0 60397 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 289872
[startup+2.97924 s]
/proc/loadavg: 1.92 1.98 1.91 3/81 10468
/proc/meminfo: memFree=1018160/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271324 CPUtime=2.83
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65833 1663 0 0 249 27 6 1 25 0 1 0 69341938 277835776 65798 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134664998 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67831 65798 81 178 0 67649 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 318880
[startup+6.26756 s]
/proc/loadavg: 1.93 1.98 1.91 3/81 10468
/proc/meminfo: memFree=989104/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=6.09
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 575 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134597586 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 318884
[startup+12.7362 s]
/proc/loadavg: 1.93 1.98 1.91 3/81 10468
/proc/meminfo: memFree=989104/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=12.51
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 1217 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694089 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 318884
[startup+25.5595 s]
/proc/loadavg: 1.95 1.98 1.91 3/81 10468
/proc/meminfo: memFree=989232/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=25.22
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 2488 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134693620 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 318884
[startup+51.1811 s]
/proc/loadavg: 1.96 1.98 1.91 3/81 10468
/proc/meminfo: memFree=989232/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=50.61
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 5027 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699968 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 318884
[startup+102.398 s]
/proc/loadavg: 1.98 1.98 1.91 3/81 10468
/proc/meminfo: memFree=989296/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=101.4
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 10106 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134660022 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 318884
[startup+162.441 s]
/proc/loadavg: 1.99 1.98 1.91 3/81 10468
/proc/meminfo: memFree=989296/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=160.95
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 16061 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134670800 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 318884
[startup+222.477 s]
/proc/loadavg: 1.99 1.98 1.91 3/81 10468
/proc/meminfo: memFree=989296/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=220.48
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 22014 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694089 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 318884
[startup+282.534 s]
/proc/loadavg: 2.05 2.00 1.92 3/81 10468
/proc/meminfo: memFree=989232/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=280.04
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 27970 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699999 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (KiB) 318884
[startup+342.577 s]
/proc/loadavg: 2.02 2.00 1.92 3/81 10468
/proc/meminfo: memFree=989296/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=339.59
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 33925 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694286 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 339.66
Current children cumulated vsize (KiB) 318884
[startup+402.623 s]
/proc/loadavg: 2.00 2.00 1.92 3/81 10468
/proc/meminfo: memFree=989232/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=399.14
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 39880 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699981 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (KiB) 318884
[startup+462.682 s]
/proc/loadavg: 2.06 2.01 1.93 3/87 10632
/proc/meminfo: memFree=987896/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=458.49
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 45815 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134597548 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 458.56
Current children cumulated vsize (KiB) 318884
[startup+522.727 s]
/proc/loadavg: 2.02 2.01 1.93 3/81 10666
/proc/meminfo: memFree=988848/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=517.99
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65835 1663 0 0 51765 27 6 1 25 0 1 0 69341938 277839872 65800 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134597889 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65800 81 178 0 67650 0
Current children cumulated CPU time (s) 518.06
################
# More data... #
################
/proc/loadavg: 2.06 2.03 1.97 3/81 10668
/proc/meminfo: memFree=988848/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=1709.11
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 170876 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134693936 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 1709.18
Current children cumulated vsize (KiB) 318884
[startup+1784.04 s]
/proc/loadavg: 2.02 2.03 1.97 3/81 10668
/proc/meminfo: memFree=988912/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=1768.68
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 176833 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134597642 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 1768.75
Current children cumulated vsize (KiB) 318884
[startup+1844.08 s]
/proc/loadavg: 2.00 2.02 1.97 3/81 10668
/proc/meminfo: memFree=988912/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=1828.23
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 182788 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694152 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 1828.3
Current children cumulated vsize (KiB) 318884
[startup+1904.12 s]
/proc/loadavg: 2.00 2.01 1.97 3/81 10668
/proc/meminfo: memFree=988912/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=1887.77
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 188742 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134597889 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 1887.84
Current children cumulated vsize (KiB) 318884
[startup+1964.17 s]
/proc/loadavg: 2.00 2.01 1.97 3/81 10668
/proc/meminfo: memFree=988912/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=1947.32
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 194697 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699969 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 1947.39
Current children cumulated vsize (KiB) 318884
[startup+2024.22 s]
/proc/loadavg: 2.00 2.00 1.97 3/81 10668
/proc/meminfo: memFree=988912/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2006.87
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 200652 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694092 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2006.94
Current children cumulated vsize (KiB) 318884
[startup+2084.27 s]
/proc/loadavg: 2.00 2.00 1.97 3/81 10668
/proc/meminfo: memFree=988848/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2066.43
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 206608 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134670792 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2066.5
Current children cumulated vsize (KiB) 318884
[startup+2144.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/81 10668
/proc/meminfo: memFree=988848/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2125.98
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 212563 28 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134700019 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2126.05
Current children cumulated vsize (KiB) 318884
[startup+2204.35 s]
/proc/loadavg: 2.13 2.03 1.98 3/81 10668
/proc/meminfo: memFree=988848/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2185.53
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 218517 29 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694080 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2185.6
Current children cumulated vsize (KiB) 318884
[startup+2264.43 s]
/proc/loadavg: 2.05 2.02 1.98 3/81 10668
/proc/meminfo: memFree=988848/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2245.1
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 224474 29 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134657127 0 0 4096 2 0 0 0 17 1 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2245.17
Current children cumulated vsize (KiB) 318884
[startup+2324.49 s]
/proc/loadavg: 2.01 2.02 1.98 3/75 10758
/proc/meminfo: memFree=683040/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2304.89
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 230452 30 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699969 0 0 4096 2 0 0 0 17 0 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2304.96
Current children cumulated vsize (KiB) 318884
[startup+2384.57 s]
/proc/loadavg: 2.00 2.01 1.98 3/75 10758
/proc/meminfo: memFree=683168/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2364.9
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 236453 30 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134659870 0 0 4096 2 0 0 0 17 0 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2364.97
Current children cumulated vsize (KiB) 318884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2419.68 s]
/proc/loadavg: 2.00 2.01 1.98 3/75 10758
/proc/meminfo: memFree=683168/2055920 swapFree=4192812/4192956
[pid=10446] ppid=10444 vsize=47556 CPUtime=0.07
/proc/10446/stat : 10446 (solver.sh) S 10444 10446 10013 0 -1 4194304 906 2548 0 0 0 0 6 1 17 0 1 0 69341927 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233401674586 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10446/statm: 11889 362 246 79 0 217 0
[pid=10465] ppid=10446 vsize=271328 CPUtime=2400
/proc/10465/stat : 10465 (toolbar) R 10446 10446 10013 0 -1 4194304 65836 1663 0 0 239963 30 6 1 25 0 1 0 69341938 277839872 65801 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134693631 0 0 4096 2 0 0 0 17 0 0 0
/proc/10465/statm: 67832 65801 81 178 0 67650 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 318884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 10446 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=68989 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=26995
CPU time returned by wait4() is 0.095984
while last known CPU time is 2400.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2419.69
CPU time (s): 2400.07
CPU user time (s): 2399.75
CPU system time (s): 0.32
CPU usage (%): 99.189
Max. virtual memory (cumulated for all children) (KiB): 318884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.068989
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3454
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= 63
involuntary context switches= 32
runsolver used 2.6036 s user time and 6.42502 s system time
The end
Begin job on node70 on Fri Jan 19 14:54:10 UTC 2007
IDJOB= 275194
IDBENCH= 3634
IDSOLVER= 71
FILE ID= node70/275194-1169218450
PBS_JOBID= 3589156
Free space on /tmp= 66561 MiB
SOLVER NAME= Toolbar_MaxSat 2007-01-19
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-51021_ext.xml
COMMAND LINE= /tmp/evaluation/275194-1169218450/solver.sh /tmp/evaluation/275194-1169218450/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-275194-1169218450 -o ROOT/results/node70/conversion-275194-1169218450 -C 600 -M 900 /tmp/evaluation/275194-1169218450/translate /tmp/evaluation/275194-1169218450/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-275194-1169218450 -o ROOT/results/node70/solver-275194-1169218450 -C 2400 -M 900 /tmp/evaluation/275194-1169218450/solver.sh /tmp/evaluation/275194-1169218450/unknown
META MD5SUM SOLVER= f843f34905a307bcc0c6a322bc802c9d
MD5SUM BENCH= dfd37b796ddfc1cae49c6231c5a6ea71
RANDOM SEED= 408685495
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1254360 kB
Buffers: 46428 kB
Cached: 638188 kB
SwapCached: 144 kB
Active: 115936 kB
Inactive: 615472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1254360 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2164 kB
Writeback: 0 kB
Mapped: 66904 kB
Slab: 55492 kB
Committed_AS: 1357368 kB
PageTables: 1860 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66559 MiB
End job on node70 on Fri Jan 19 15:34:30 UTC 2007