runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-274948-1169214040 -o ROOT/results/node2/solver-274948-1169214040 -C 2400 -M 900 /tmp/evaluation/274948-1169214040/solver.sh /tmp/evaluation/274948-1169214040/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: 0.00 0.00 0.00 4/82 10276
/proc/meminfo: memFree=1310720/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=18540 CPUtime=0
/proc/10275/stat : 10275 (runsolver) D 10273 10275 10181 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 269799838 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 206381313319 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/10275/statm: 4635 279 244 17 0 2626 0
[startup+0.104043 s]
/proc/loadavg: 0.00 0.00 0.00 4/82 10276
/proc/meminfo: memFree=1310720/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=8768 CPUtime=0.01
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 519 1176 4 0 0 0 0 1 18 0 1 0 269799838 8978432 314 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206381482066 0 2 4096 73728 18446744071563648864 0 0 17 0 0 0
/proc/10275/statm: 2192 314 217 79 0 185 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8768
[startup+0.512104 s]
/proc/loadavg: 0.00 0.00 0.00 4/82 10276
/proc/meminfo: memFree=1310720/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 47552
[startup+1.33427 s]
/proc/loadavg: 0.16 0.03 0.01 3/91 10353
/proc/meminfo: memFree=1304600/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=80596 CPUtime=1.08
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 15230 1416 0 0 0 6 102 0 18 0 1 0 269799861 82530304 15196 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134580758 0 0 4096 0 0 0 0 17 0 0 0
/proc/10327/statm: 20149 15196 53 178 0 19967 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 128148
[startup+2.97456 s]
/proc/loadavg: 0.16 0.03 0.01 4/89 10354
/proc/meminfo: memFree=1136360/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=196636 CPUtime=2.7
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 42768 1416 0 0 151 17 102 0 25 0 1 0 269799861 201355264 42733 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699991 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 49159 42733 76 178 0 48977 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 244188
[startup+6.25916 s]
/proc/loadavg: 0.16 0.03 0.01 3/89 10354
/proc/meminfo: memFree=1090664/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242120 CPUtime=5.96
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54139 1416 0 0 472 22 102 0 25 0 1 0 269799861 247930880 54104 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699969 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60530 54104 80 178 0 60348 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 289672
[startup+12.7254 s]
/proc/loadavg: 0.44 0.10 0.03 3/88 10355
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242124 CPUtime=12.37
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54140 1416 0 0 1113 22 102 0 25 0 1 0 269799861 247934976 54105 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699991 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60531 54105 80 178 0 60349 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 289676
[startup+25.5487 s]
/proc/loadavg: 0.68 0.16 0.05 3/88 10355
/proc/meminfo: memFree=1090240/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242124 CPUtime=25.08
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54140 1416 0 0 2384 22 102 0 25 0 1 0 269799861 247934976 54105 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134670603 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60531 54105 80 178 0 60349 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 289676
[startup+51.2104 s]
/proc/loadavg: 1.20 0.33 0.11 3/88 10355
/proc/meminfo: memFree=1090240/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242132 CPUtime=50.52
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54142 1416 0 0 4928 22 102 0 25 0 1 0 269799861 247943168 54107 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134670800 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60533 54107 80 178 0 60351 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 289684
[startup+102.428 s]
/proc/loadavg: 1.76 0.62 0.22 3/88 10355
/proc/meminfo: memFree=1090368/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242136 CPUtime=101.29
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54143 1416 0 0 10005 22 102 0 25 0 1 0 269799861 247947264 54108 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699999 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60534 54108 80 178 0 60352 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 289688
[startup+162.465 s]
/proc/loadavg: 1.95 0.88 0.33 3/88 10355
/proc/meminfo: memFree=1090304/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242148 CPUtime=160.81
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54146 1416 0 0 15957 22 102 0 25 0 1 0 269799861 247959552 54111 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699999 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60537 54111 80 178 0 60355 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 289700
[startup+222.517 s]
/proc/loadavg: 2.03 1.10 0.44 3/88 10355
/proc/meminfo: memFree=1090304/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242148 CPUtime=220.34
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54146 1416 0 0 21910 22 102 0 25 0 1 0 269799861 247959552 54111 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134658050 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60537 54111 80 178 0 60355 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 289700
[startup+282.561 s]
/proc/loadavg: 2.05 1.27 0.54 3/88 10355
/proc/meminfo: memFree=1090304/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=279.85
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 27861 22 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134693631 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 289708
[startup+342.613 s]
/proc/loadavg: 2.02 1.40 0.63 3/88 10355
/proc/meminfo: memFree=1090304/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=339.37
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 33812 23 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134599863 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 339.42
Current children cumulated vsize (KiB) 289708
[startup+402.657 s]
/proc/loadavg: 2.00 1.51 0.71 3/88 10355
/proc/meminfo: memFree=1090304/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=398.88
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 39763 23 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699984 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (KiB) 289708
[startup+462.693 s]
/proc/loadavg: 2.00 1.60 0.79 3/88 10355
/proc/meminfo: memFree=1090304/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=458.4
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 45715 23 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699999 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 458.45
Current children cumulated vsize (KiB) 289708
[startup+522.739 s]
/proc/loadavg: 2.00 1.67 0.86 3/88 10355
/proc/meminfo: memFree=1090304/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=517.93
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 51668 23 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699987 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 517.98
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.66 3/88 10553
/proc/meminfo: memFree=1090176/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=1708.13
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 170669 42 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134658050 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 1708.18
Current children cumulated vsize (KiB) 289708
[startup+1783.72 s]
/proc/loadavg: 2.00 2.00 1.68 3/88 10553
/proc/meminfo: memFree=1090112/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=1767.64
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 176620 42 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134657823 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 1767.69
Current children cumulated vsize (KiB) 289708
[startup+1843.76 s]
/proc/loadavg: 2.00 2.00 1.70 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242156 CPUtime=1827.15
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54148 1416 0 0 182571 42 102 0 25 0 1 0 269799861 247967744 54113 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134659912 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60539 54113 80 178 0 60357 0
Current children cumulated CPU time (s) 1827.2
Current children cumulated vsize (KiB) 289708
[startup+1903.83 s]
/proc/loadavg: 2.00 2.00 1.72 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=1886.68
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 188523 43 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134660253 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 1886.73
Current children cumulated vsize (KiB) 289712
[startup+1963.87 s]
/proc/loadavg: 2.00 2.00 1.73 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=1946.21
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 194476 43 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699999 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 1946.26
Current children cumulated vsize (KiB) 289712
[startup+2023.92 s]
/proc/loadavg: 2.00 2.00 1.74 3/88 10553
/proc/meminfo: memFree=1090112/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2005.72
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 200427 43 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134657127 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2005.77
Current children cumulated vsize (KiB) 289712
[startup+2083.97 s]
/proc/loadavg: 2.00 2.00 1.76 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2065.25
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 206380 43 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694177 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2065.3
Current children cumulated vsize (KiB) 289712
[startup+2144.01 s]
/proc/loadavg: 2.00 2.00 1.77 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2124.76
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 212331 43 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134660255 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2124.81
Current children cumulated vsize (KiB) 289712
[startup+2204.07 s]
/proc/loadavg: 2.00 2.00 1.78 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2184.28
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 218282 44 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134657127 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2184.33
Current children cumulated vsize (KiB) 289712
[startup+2264.11 s]
/proc/loadavg: 2.00 2.00 1.79 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2243.72
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 224226 44 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134657232 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2243.77
Current children cumulated vsize (KiB) 289712
[startup+2324.16 s]
/proc/loadavg: 2.00 2.00 1.80 3/88 10553
/proc/meminfo: memFree=1089984/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2303.24
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 230178 44 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134659831 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2303.29
Current children cumulated vsize (KiB) 289712
[startup+2384.21 s]
/proc/loadavg: 2.00 2.00 1.81 3/88 10553
/proc/meminfo: memFree=1090048/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2362.75
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 236129 44 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134660199 0 0 4096 2 0 0 0 17 0 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2362.8
Current children cumulated vsize (KiB) 289712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2421.67 s]
/proc/loadavg: 1.87 1.97 1.81 3/94 10621
/proc/meminfo: memFree=1032088/2055920 swapFree=4180552/4192956
[pid=10275] ppid=10273 vsize=47552 CPUtime=0.05
/proc/10275/stat : 10275 (solver.sh) S 10273 10275 10181 0 -1 4194304 896 2678 5 0 0 1 2 2 19 0 1 0 269799838 48693248 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 206380919642 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10275/statm: 11888 361 245 79 0 217 0
[pid=10327] ppid=10275 vsize=242160 CPUtime=2400.02
/proc/10327/stat : 10327 (toolbar) R 10275 10275 10181 0 -1 4194304 54149 1416 0 0 239853 47 102 0 25 0 1 0 269799861 247971840 54114 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134669527 0 0 4096 2 0 0 0 17 1 0 0
/proc/10327/statm: 60540 54114 80 178 0 60358 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 289712
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 10275 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=33994 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=32994
CPU time returned by wait4() is 0.066988
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): 2421.68
CPU time (s): 2400.07
CPU user time (s): 2399.57
CPU system time (s): 0.5
CPU usage (%): 99.1076
Max. virtual memory (cumulated for all children) (KiB): 289712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.033994
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3574
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 29
runsolver used 2.66459 s user time and 6.23105 s system time
The end
Begin job on node2 on Fri Jan 19 13:40:40 UTC 2007
IDJOB= 274948
IDBENCH= 3066
IDSOLVER= 71
FILE ID= node2/274948-1169214040
PBS_JOBID= 3588935
Free space on /tmp= 66563 MiB
SOLVER NAME= Toolbar_MaxSat 2007-01-19
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-75-1-80/composed-75-1-80-5_ext.xml
COMMAND LINE= /tmp/evaluation/274948-1169214040/solver.sh /tmp/evaluation/274948-1169214040/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-274948-1169214040 -o ROOT/results/node2/conversion-274948-1169214040 -C 600 -M 900 /tmp/evaluation/274948-1169214040/translate /tmp/evaluation/274948-1169214040/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-274948-1169214040 -o ROOT/results/node2/solver-274948-1169214040 -C 2400 -M 900 /tmp/evaluation/274948-1169214040/solver.sh /tmp/evaluation/274948-1169214040/unknown
META MD5SUM SOLVER= f843f34905a307bcc0c6a322bc802c9d
MD5SUM BENCH= d350ded4476695b6faf15d599d5f8933
RANDOM SEED= 480615391
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.259
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 : 5931.00
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.259
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: 1312416 kB
Buffers: 43172 kB
Cached: 578480 kB
SwapCached: 548 kB
Active: 131752 kB
Inactive: 539216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1312416 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 3844 kB
Writeback: 0 kB
Mapped: 60660 kB
Slab: 57492 kB
Committed_AS: 6897060 kB
PageTables: 2256 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= 66560 MiB
End job on node2 on Fri Jan 19 14:21:05 UTC 2007