runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-315063-1172648309 -o ROOT/results/node26/solver-315063-1172648309 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315063-1172648309/mxc /tmp/evaluation/315063-1172648309/instance-315063-1172648309.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.97 0.97 0.97 3/77 3580
/proc/meminfo: memFree=1203104/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=40880 CPUtime=0
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 783 0 0 0 0 0 0 0 18 0 1 0 284784669 41861120 767 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 10220 773 42 122 0 10094 0
[startup+0.0718969 s]
/proc/loadavg: 0.97 0.97 0.97 3/77 3580
/proc/meminfo: memFree=1203104/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=70572 CPUtime=0.06
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 12930 0 0 0 0 6 0 0 18 0 1 0 284784669 72265728 12914 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134703068 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 17643 12921 46 122 0 17517 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 70572
[startup+0.10187 s]
/proc/loadavg: 0.97 0.97 0.97 3/77 3580
/proc/meminfo: memFree=1203104/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=77996 CPUtime=0.09
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 18687 0 0 0 0 9 0 0 18 0 1 0 284784669 79867904 18671 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134703068 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 19499 18679 46 122 0 19373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 77996
[startup+0.301907 s]
/proc/loadavg: 0.97 0.97 0.97 3/77 3580
/proc/meminfo: memFree=1203104/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=116384 CPUtime=0.29
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 25800 0 0 0 17 12 0 0 19 0 1 0 284784669 119177216 25784 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 29096 25785 46 122 0 28970 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 116384
[startup+0.701973 s]
/proc/loadavg: 0.97 0.97 0.97 3/77 3580
/proc/meminfo: memFree=1203104/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=133628 CPUtime=0.69
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 29952 0 0 0 55 14 0 0 23 0 1 0 284784669 136835072 29936 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 33407 29936 46 122 0 33281 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133628
[startup+1.50111 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1070360/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=116724 CPUtime=1.49
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 35530 0 0 0 131 18 0 0 25 0 1 0 284784669 119525376 25527 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 29181 25527 59 122 0 29055 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116724
[startup+3.10139 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1098136/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=119364 CPUtime=3.09
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36206 0 0 0 291 18 0 0 25 0 1 0 284784669 122228736 26203 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519682 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 29841 26203 59 122 0 29715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119364
[startup+6.30195 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1098328/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=119496 CPUtime=6.28
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36225 0 0 0 609 19 0 0 25 0 1 0 284784669 122363904 26222 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 29874 26222 59 122 0 29748 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 119496
[startup+12.7011 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1098392/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=119496 CPUtime=12.68
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36239 0 0 0 1249 19 0 0 25 0 1 0 284784669 122363904 26236 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 29874 26236 59 122 0 29748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 119496
[startup+25.5013 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1098584/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=119628 CPUtime=25.49
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36278 0 0 0 2529 20 0 0 25 0 1 0 284784669 122499072 26275 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134535341 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 29907 26275 59 122 0 29781 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119628
[startup+51.1017 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1098328/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=119892 CPUtime=51.06
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36345 0 0 0 5086 20 0 0 25 0 1 0 284784669 122769408 26342 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134529589 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 29973 26342 59 122 0 29847 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 119892
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1097752/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=120552 CPUtime=102.25
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36510 0 0 0 10205 20 0 0 25 0 1 0 284784669 123445248 26507 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 30138 26507 59 122 0 30012 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 120552
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3581
/proc/meminfo: memFree=1096728/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=121608 CPUtime=162.23
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36766 0 0 0 16202 21 0 0 25 0 1 0 284784669 124526592 26763 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134531552 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 30402 26763 59 122 0 30276 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 121608
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1095896/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=122268 CPUtime=222.2
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 36941 0 0 0 22199 21 0 0 25 0 1 0 284784669 125202432 26938 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 30567 26938 59 122 0 30441 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 122268
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1094872/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=123456 CPUtime=282.18
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 37216 0 0 0 28196 22 0 0 25 0 1 0 284784669 126418944 27213 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519759 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 30864 27213 59 122 0 30738 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 123456
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1093592/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=124644 CPUtime=342.17
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 37514 0 0 0 34194 23 0 0 25 0 1 0 284784669 127635456 27511 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519619 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 31161 27511 59 122 0 31035 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 124644
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1092440/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=125828 CPUtime=402.14
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 37799 0 0 0 40191 23 0 0 25 0 1 0 284784669 128847872 27796 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134530562 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 31457 27796 59 122 0 31331 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 125828
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1090840/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=127412 CPUtime=462.13
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 38191 0 0 0 46189 24 0 0 25 0 1 0 284784669 130469888 28188 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 31853 28188 59 122 0 31727 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 127412
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1090072/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=128072 CPUtime=522.11
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 38371 0 0 0 52186 25 0 0 25 0 1 0 284784669 131145728 28368 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134529993 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 32018 28368 59 122 0 31892 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 128072
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1089304/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=128864 CPUtime=582.08
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 38543 0 0 0 58183 25 0 0 25 0 1 0 284784669 131956736 28540 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 32216 28540 59 122 0 32090 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 128864
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1087960/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=130052 CPUtime=642.07
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 38867 0 0 0 64181 26 0 0 25 0 1 0 284784669 133173248 28864 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 32513 28864 59 122 0 32387 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 130052
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1087192/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=130844 CPUtime=702.04
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 39056 0 0 0 70178 26 0 0 25 0 1 0 284784669 133984256 29053 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 32711 29053 59 122 0 32585 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 130844
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3583
/proc/meminfo: memFree=1085848/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=132288 CPUtime=762.03
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 39381 0 0 0 76176 27 0 0 25 0 1 0 284784669 135462912 29378 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519651 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 33072 29378 59 122 0 32946 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 132288
[startup+822.302 s]
/proc/loadavg: 1.10 1.00 0.98 2/78 3583
/proc/meminfo: memFree=1084184/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=134004 CPUtime=822.01
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 39811 0 0 0 82173 28 0 0 25 0 1 0 284784669 137220096 29808 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134528104 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 33501 29808 59 122 0 33375 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 134004
[startup+882.302 s]
/proc/loadavg: 1.03 1.00 0.98 2/78 3583
/proc/meminfo: memFree=1082904/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=135192 CPUtime=881.98
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 40108 0 0 0 88170 28 0 0 25 0 1 0 284784669 138436608 30105 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 33798 30105 59 122 0 33672 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 135192
[startup+942.301 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 3583
/proc/meminfo: memFree=1082072/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=136116 CPUtime=941.97
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 40329 0 0 0 94168 29 0 0 25 0 1 0 284784669 139382784 30326 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134531601 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 34029 30326 59 122 0 33903 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 136116
[startup+1002.3 s]
/proc/loadavg: 1.08 1.02 0.99 2/78 3583
/proc/meminfo: memFree=1080408/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=137700 CPUtime=1001.95
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 40732 0 0 0 100165 30 0 0 25 0 1 0 284784669 141004800 30729 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519651 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 34425 30729 59 122 0 34299 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 137700
[startup+1062.3 s]
/proc/loadavg: 1.03 1.01 0.99 2/78 3583
/proc/meminfo: memFree=1077784/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=140208 CPUtime=1061.93
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 41384 0 0 0 106162 31 0 0 25 0 1 0 284784669 143572992 31381 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 35052 31381 59 122 0 34926 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 140208
[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 3583
/proc/meminfo: memFree=1075800/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=142056 CPUtime=1121.91
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 41865 0 0 0 112159 32 0 0 25 0 1 0 284784669 145465344 31862 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 35514 31862 59 122 0 35388 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 142056
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3583
/proc/meminfo: memFree=1074456/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=143376 CPUtime=1181.89
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 42191 0 0 0 118156 33 0 0 25 0 1 0 284784669 146817024 32188 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 35844 32188 59 122 0 35718 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 143376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3583
/proc/meminfo: memFree=1074072/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=143772 CPUtime=1200.09
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 42283 0 0 0 119976 33 0 0 25 0 1 0 284784669 147222528 32280 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 35943 32280 59 122 0 35817 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 143772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3583
/proc/meminfo: memFree=1074072/2055920 swapFree=4153620/4192956
[pid=3580] ppid=3578 vsize=143772 CPUtime=1200.09
/proc/3580/stat : 3580 (mxc) R 3578 3580 3483 0 -1 4194304 42283 0 0 0 119976 33 0 0 25 0 1 0 284784669 147222528 32280 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3580/statm: 35943 32280 59 122 0 35817 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 143772
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.53
CPU time (s): 1200.12
CPU user time (s): 1199.76
CPU system time (s): 0.354946
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 155484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.76
system time used= 0.354946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42283
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= 6
involuntary context switches= 25546
runsolver used 1.37879 second user time and 2.99754 second system time
The end
Begin job on node26 on Wed Feb 28 07:38:30 UTC 2007
IDJOB= 315063
IDBENCH= 20407
IDSOLVER= 107
FILE ID= node26/315063-1172648309
PBS_JOBID= 3981176
Free space on /tmp= 66495 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacias/hard/safe-50-h50-sat.cnf
COMMAND LINE= /tmp/evaluation/315063-1172648309/mxc /tmp/evaluation/315063-1172648309/instance-315063-1172648309.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-315063-1172648309 -o ROOT/results/node26/solver-315063-1172648309 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315063-1172648309/mxc /tmp/evaluation/315063-1172648309/instance-315063-1172648309.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= 03c6b6156c444674b996a4279225be1a
RANDOM SEED= 695705863
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.279
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.279
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: 1203576 kB
Buffers: 34568 kB
Cached: 749416 kB
SwapCached: 19028 kB
Active: 308348 kB
Inactive: 501044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1203576 kB
SwapTotal: 4192956 kB
SwapFree: 4153620 kB
Dirty: 40612 kB
Writeback: 0 kB
Mapped: 29976 kB
Slab: 28536 kB
Committed_AS: 774364 kB
PageTables: 1712 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= 66495 MiB
End job on node26 on Wed Feb 28 07:58:33 UTC 2007