runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562287-1238772883/watcher-1562287-1238772883 -o /tmp/evaluation-result-1562287-1238772883/solver-1562287-1238772883 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1562287-1238772883.cnf -t 1200
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): 1800 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.99 0.98 0.99 3/64 32238
/proc/meminfo: memFree=1743632/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=2200 CPUtime=0
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 120000 1149949253 2252800 218 1992294400 134512640 135224549 4294956208 18446744073709551615 134749214 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 550 219 70 173 0 375 0
[startup+0.0414381 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32238
/proc/meminfo: memFree=1743632/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=4216 CPUtime=0.03
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 793 0 0 0 3 0 0 0 18 0 1 120000 1149949253 4317184 745 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 1054 745 70 173 0 879 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4216
[startup+0.101457 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32238
/proc/meminfo: memFree=1743632/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=5664 CPUtime=0.09
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 1202 0 0 0 9 0 0 0 18 0 1 120000 1149949253 5799936 1153 1992294400 134512640 135224549 4294956208 18446744073709551615 134570914 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 1416 1153 73 173 0 1241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5664
[startup+0.301499 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32238
/proc/meminfo: memFree=1743632/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=5928 CPUtime=0.29
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 1290 0 0 0 29 0 0 0 19 0 1 120000 1149949253 6070272 1241 1992294400 134512640 135224549 4294956208 18446744073709551615 134585001 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 1482 1241 92 173 0 1307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5928
[startup+0.701585 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32238
/proc/meminfo: memFree=1743632/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=7116 CPUtime=0.69
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 1602 0 0 0 69 0 0 0 22 0 1 120000 1149949253 7286784 1553 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 1779 1553 92 173 0 1604 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7116
[startup+1.50176 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1736968/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=8304 CPUtime=1.49
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 1882 0 0 0 149 0 0 0 25 0 1 120000 1149949253 8503296 1833 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 2076 1833 92 173 0 1901 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8304
[startup+3.1021 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1736264/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=8964 CPUtime=3.09
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 2064 0 0 0 309 0 0 0 25 0 1 120000 1149949253 9179136 2015 1992294400 134512640 135224549 4294956208 18446744073709551615 134595683 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 2241 2015 92 173 0 2066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8964
[startup+6.30179 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1735368/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=9888 CPUtime=6.29
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 2266 0 0 0 628 1 0 0 25 0 1 120000 1149949253 10125312 2217 1992294400 134512640 135224549 4294956208 18446744073709551615 134595609 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 2472 2217 92 173 0 2297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9888
[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1731728/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=13056 CPUtime=12.68
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 3063 0 0 0 1267 1 0 0 25 0 1 120000 1149949253 13369344 3014 1992294400 134512640 135224549 4294956208 18446744073709551615 134595318 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 3264 3014 92 173 0 3089 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13056
[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1726608/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=18116 CPUtime=25.48
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 4338 0 0 0 2546 2 0 0 25 0 1 120000 1149949253 18550784 4289 1992294400 134512640 135224549 4294956208 18446744073709551615 134595295 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 4529 4289 92 173 0 4354 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18116
[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 32239
/proc/meminfo: memFree=1722000/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=22944 CPUtime=51.07
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 5473 0 0 0 5104 3 0 0 25 0 1 120000 1149949253 23494656 5424 1992294400 134512640 135224549 4294956208 18446744073709551615 134595383 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 5736 5424 92 173 0 5561 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22944
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1708816/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=36016 CPUtime=102.26
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 8753 0 0 0 10219 7 0 0 25 0 1 120000 1149949253 36880384 8704 1992294400 134512640 135224549 4294956208 18446744073709551615 134587800 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 9004 8704 92 173 0 8829 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36016
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1704528/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=41056 CPUtime=162.23
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 9953 0 0 0 16215 8 0 0 25 0 1 120000 1149949253 42041344 9839 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 10264 9839 92 173 0 10089 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 41056
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1701520/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=43968 CPUtime=222.2
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 10632 0 0 0 22211 9 0 0 25 0 1 120000 1149949253 45023232 10518 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 10992 10518 92 173 0 10817 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 43968
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1691984/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=53368 CPUtime=282.18
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 12995 0 0 0 28206 12 0 0 25 0 1 120000 1149949253 54648832 12881 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 13342 12881 92 173 0 13167 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 53368
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1688656/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=56536 CPUtime=342.16
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 13821 0 0 0 34203 13 0 0 25 0 1 120000 1149949253 57892864 13707 1992294400 134512640 135224549 4294956208 18446744073709551615 134619853 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 14134 13707 92 173 0 13959 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 56536
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1681936/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=63524 CPUtime=402.14
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 15487 0 0 0 40199 15 0 0 25 0 1 120000 1149949253 65048576 15373 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 15881 15373 92 173 0 15706 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 63524
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1678672/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=67224 CPUtime=462.11
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 16326 0 0 0 46196 15 0 0 25 0 1 120000 1149949253 68837376 16212 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 16806 16212 92 173 0 16631 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 67224
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1677712/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=68056 CPUtime=522.08
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 16541 0 0 0 52193 15 0 0 25 0 1 120000 1149949253 69689344 16427 1992294400 134512640 135224549 4294956208 18446744073709551615 134595383 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 17014 16427 92 173 0 16839 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 68056
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1672144/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=74116 CPUtime=582.06
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 17961 0 0 0 58190 16 0 0 25 0 1 120000 1149949253 75894784 17847 1992294400 134512640 135224549 4294956208 18446744073709551615 134595757 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 18529 17847 92 173 0 18354 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 74116
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1669584/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=77132 CPUtime=642.04
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 18675 0 0 0 64187 17 0 0 25 0 1 120000 1149949253 78983168 18432 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 19283 18432 92 173 0 19108 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 77132
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1666128/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=80756 CPUtime=702.02
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 19544 0 0 0 70183 19 0 0 25 0 1 120000 1149949253 82694144 19301 1992294400 134512640 135224549 4294956208 18446744073709551615 134595609 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 20189 19301 92 173 0 20014 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 80756
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1666064/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=80756 CPUtime=762
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 19551 0 0 0 76181 19 0 0 25 0 1 120000 1149949253 82694144 19308 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 20189 19308 92 173 0 20014 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 80756
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1657936/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=89388 CPUtime=821.97
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 21603 0 0 0 82176 21 0 0 25 0 1 120000 1149949253 91533312 21360 1992294400 134512640 135224549 4294956208 18446744073709551615 134595383 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 22347 21360 92 173 0 22172 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 89388
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32239
/proc/meminfo: memFree=1657424/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=89652 CPUtime=881.94
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 21688 0 0 0 88173 21 0 0 25 0 1 120000 1149949253 91803648 21445 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 22413 21445 92 173 0 22238 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 89652
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32241
/proc/meminfo: memFree=1656528/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=90400 CPUtime=941.91
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 21840 0 0 0 94170 21 0 0 25 0 1 120000 1149949253 92569600 21597 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 22600 21597 92 173 0 22425 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 90400
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32241
/proc/meminfo: memFree=1651408/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=95696 CPUtime=1001.9
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 23148 0 0 0 100166 24 0 0 25 0 1 120000 1149949253 97992704 22905 1992294400 134512640 135224549 4294956208 18446744073709551615 134632717 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 23924 22905 92 173 0 23749 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 95696
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32241
/proc/meminfo: memFree=1651408/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=95696 CPUtime=1061.87
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 23150 0 0 0 106163 24 0 0 25 0 1 120000 1149949253 97992704 22907 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 23924 22907 92 173 0 23749 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 95696
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32241
/proc/meminfo: memFree=1650384/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=96752 CPUtime=1121.85
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 23428 0 0 0 112161 24 0 0 25 0 1 120000 1149949253 99074048 23185 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 24188 23185 92 173 0 24013 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 96752
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32241
/proc/meminfo: memFree=1643856/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=103152 CPUtime=1181.82
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 25019 0 0 0 118156 26 0 0 25 0 1 120000 1149949253 105627648 24776 1992294400 134512640 135224549 4294956208 18446744073709551615 134632745 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 25788 24776 92 173 0 25613 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 103152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32241
/proc/meminfo: memFree=1643856/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=103152 CPUtime=1200.02
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 25019 0 0 0 119976 26 0 0 25 0 1 100 1149949253 105627648 24776 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 25788 24776 92 173 0 25613 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 103152
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: 0.99 0.98 0.99 2/65 32241
/proc/meminfo: memFree=1643856/2055920 swapFree=4177960/4192956
[pid=32238] ppid=32236 vsize=103152 CPUtime=1200.02
/proc/32238/stat : 32238 (CirCUs) R 32236 32238 31935 0 -1 4194304 25019 0 0 0 119976 26 0 0 25 0 1 100 1149949253 105627648 24776 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32238/statm: 25788 24776 92 173 0 25613 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 103152
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.52
CPU time (s): 1200.05
CPU user time (s): 1199.77
CPU system time (s): 0.280957
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 103152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.280957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25019
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= 2
involuntary context switches= 1562
runsolver used 1.16182 second user time and 2.67659 second system time
The end
Begin job on node71 at 2009-04-03 17:34:43
IDJOB=1562287
IDBENCH=70931
IDSOLVER=544
FILE ID=node71/1562287-1238772883
PBS_JOBID= 9085554
Free space on /tmp= 66548 MiB
SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_9_3_5_fbc.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562287-1238772883/watcher-1562287-1238772883 -o /tmp/evaluation-result-1562287-1238772883/solver-1562287-1238772883 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1562287-1238772883.cnf -t 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 31a3aedc721d03e1d956a240f176ac5e
RANDOM SEED=523453956
node71.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.270
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.270
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: 1744112 kB
Buffers: 40572 kB
Cached: 192748 kB
SwapCached: 9032 kB
Active: 131740 kB
Inactive: 112276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1744112 kB
SwapTotal: 4192956 kB
SwapFree: 4177960 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 16356 kB
Slab: 53764 kB
Committed_AS: 2588892 kB
PageTables: 1444 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= 66548 MiB
End job on node71 at 2009-04-03 17:54:45