runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node57/watcher-368652-1177264031 -o ROOT/results/node57/solver-368652-1177264031 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368652-1177264031/tts-4-0 /tmp/evaluation/368652-1177264031/instance-368652-1177264031.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.92 0.98 0.99 3/64 29798
/proc/meminfo: memFree=1656448/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=936 CPUtime=0
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 1 0 167539172 958464 110 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 234 110 57 113 0 118 0
[startup+0.0765961 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29798
/proc/meminfo: memFree=1656448/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=4184 CPUtime=0.07
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 943 0 0 0 7 0 0 0 18 0 1 0 167539172 4284416 928 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134647773 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 1046 928 57 113 0 930 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4184
[startup+0.102597 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29798
/proc/meminfo: memFree=1656448/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=5360 CPUtime=0.09
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 1237 0 0 0 9 0 0 0 18 0 1 0 167539172 5488640 1222 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 1340 1223 57 113 0 1224 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5360
[startup+0.301614 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29798
/proc/meminfo: memFree=1656448/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=14660 CPUtime=0.29
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 3492 0 0 0 28 1 0 0 19 0 1 0 167539172 15011840 3477 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 3665 3477 57 113 0 3549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14660
[startup+0.701649 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29798
/proc/meminfo: memFree=1656448/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=24248 CPUtime=0.69
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 5834 0 0 0 67 2 0 0 23 0 1 0 167539172 24829952 5819 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 6062 5819 59 113 0 5946 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24248
[startup+1.50172 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1618232/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=65584 CPUtime=1.49
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 15504 0 0 0 143 6 0 0 25 0 1 0 167539172 67158016 15489 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134538267 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 16396 15489 62 113 0 16280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65584
[startup+3.10186 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1584248/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=83360 CPUtime=3.09
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 20626 0 0 0 301 8 0 0 25 0 1 0 167539172 85360640 20287 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134630276 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 20840 20288 65 113 0 20724 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83360
[startup+6.30114 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1539960/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=137260 CPUtime=6.29
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 34842 0 0 0 614 15 0 0 25 0 1 0 167539172 140554240 34081 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134630276 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 34315 34081 65 113 0 34199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137260
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1469560/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=189060 CPUtime=12.69
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 47806 0 0 0 1248 21 0 0 25 0 1 0 167539172 193597440 47045 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 47265 47045 66 113 0 47149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 189060
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1444280/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=213256 CPUtime=25.48
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 53835 0 0 0 2525 23 0 0 25 0 1 0 167539172 218374144 53074 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534048 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 53314 53074 66 113 0 53198 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 213256
[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1396984/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=260976 CPUtime=51.07
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 65773 0 0 0 5079 28 0 0 25 0 1 0 167539172 267239424 65012 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591886 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 65244 65012 66 113 0 65128 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 260976
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1311352/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=345504 CPUtime=102.26
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 86926 0 0 0 10191 35 0 0 25 0 1 0 167539172 353796096 86165 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 86376 86165 66 113 0 86260 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 345504
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1219448/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=438088 CPUtime=162.25
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 110078 0 0 0 16179 46 0 0 25 0 1 0 167539172 448602112 109317 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 109522 109317 66 113 0 109406 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 438088
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1133944/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=522516 CPUtime=222.23
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 131188 0 0 0 22169 54 0 0 25 0 1 0 167539172 535056384 130427 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134536890 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 130629 130427 66 113 0 130513 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 522516
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=1056696/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=600568 CPUtime=282.22
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 150654 0 0 0 28159 63 0 0 25 0 1 0 167539172 614981632 149893 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 150142 149893 66 113 0 150026 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 600568
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=976824/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=679792 CPUtime=342.2
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 170467 0 0 0 34148 72 0 0 25 0 1 0 167539172 696107008 169706 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534420 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 169948 169706 66 113 0 169832 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 679792
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=887480/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=769704 CPUtime=402.19
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 192934 0 0 0 40136 83 0 0 25 0 1 0 167539172 788176896 192173 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 192426 192173 66 113 0 192310 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 769704
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=804280/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=851976 CPUtime=462.18
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 213522 0 0 0 46126 92 0 0 25 0 1 0 167539172 872423424 212761 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134552143 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 212994 212761 66 113 0 212878 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 851976
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=729720/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=926748 CPUtime=522.17
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 232217 0 0 0 52117 100 0 0 25 0 1 0 167539172 948989952 231456 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 231687 231456 66 113 0 231571 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 926748
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=659448/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=996596 CPUtime=582.14
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 249690 0 0 0 58108 106 0 0 25 0 1 0 167539172 1020514304 248929 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134552172 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 249149 248929 66 113 0 249033 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 996596
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=572344/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1082852 CPUtime=642.14
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 271262 0 0 0 64100 114 0 0 25 0 1 0 167539172 1108840448 270501 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 270713 270501 66 113 0 270597 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1082852
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=494392/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1161608 CPUtime=702.12
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 290921 0 0 0 70089 123 0 0 25 0 1 0 167539172 1189486592 290160 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534440 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 290402 290160 66 113 0 290286 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 1161608
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=404088/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1250912 CPUtime=762.11
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 313285 0 0 0 76078 133 0 0 25 0 1 0 167539172 1280933888 312524 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 312728 312524 66 113 0 312612 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 1250912
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29799
/proc/meminfo: memFree=302648/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1353340 CPUtime=822.09
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 338881 0 0 0 82066 143 0 0 25 0 1 0 167539172 1385820160 338120 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134536390 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 338335 338120 66 113 0 338219 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1353340
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 29977
/proc/meminfo: memFree=192200/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1461540 CPUtime=881.99
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 365896 0 0 0 88042 157 0 0 25 0 1 0 167539172 1496616960 365135 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 365385 365135 66 113 0 365269 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 1461540
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29997
/proc/meminfo: memFree=99000/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1556236 CPUtime=941.97
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 389566 0 0 0 94031 166 0 0 25 0 1 0 167539172 1593585664 388805 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 389059 388805 66 113 0 388943 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1556236
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29997
/proc/meminfo: memFree=14840/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1653508 CPUtime=1001.95
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 413882 0 0 0 100019 176 0 0 25 0 1 0 167539172 1693192192 413121 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 413377 413121 66 113 0 413261 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1653508
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29997
/proc/meminfo: memFree=14904/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1742808 CPUtime=1061.94
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 436253 0 0 0 106008 186 0 0 25 0 1 0 167539172 1784635392 435492 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641338 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 435702 435492 66 113 0 435586 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1742808
[startup+1122.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 29997
/proc/meminfo: memFree=15160/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1828128 CPUtime=1121.92
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 457534 0 0 0 111997 195 0 0 25 0 1 0 167539172 1872003072 456773 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 457032 456773 66 113 0 456916 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1828128
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1131.91 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 29997
/proc/meminfo: memFree=15672/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=1843364 CPUtime=1131.53
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4194304 461353 0 0 0 112956 197 0 0 25 0 1 0 167539172 1887604736 460592 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591831 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 460841 460592 66 113 0 460725 0
Current children cumulated CPU time (s) 1131.53
Current children cumulated vsize (KiB) 1843364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1132.01 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 29997
/proc/meminfo: memFree=15672/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=0 CPUtime=1131.62
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4195332 461353 0 0 0 112956 206 0 0 25 0 1 0 167539172 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1131.62
Current children cumulated vsize (KiB) 0
[startup+1132.1 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 29997
/proc/meminfo: memFree=15672/2055920 swapFree=4183112/4192956
[pid=29798] ppid=29796 vsize=0 CPUtime=1131.72
/proc/29798/stat : 29798 (tts-4-0) R 29796 29798 29498 0 -1 4195332 461353 0 0 0 112956 216 0 0 25 0 1 0 167539172 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/29798/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1131.72
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1132.19
CPU time (s): 1131.82
CPU user time (s): 1129.57
CPU system time (s): 2.25366
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1843364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1129.57
system time used= 2.25366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461353
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= 2146
runsolver used 0.78688 second user time and 2.39164 second system time
The end
Begin job on node57 on Sun Apr 22 17:47:12 UTC 2007
IDJOB= 368652
IDBENCH= 24655
IDSOLVER= 178
FILE ID= node57/368652-1177264031
PBS_JOBID= 4650636
Free space on /tmp= 66452 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/counting-php/harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/368652-1177264031/tts-4-0 /tmp/evaluation/368652-1177264031/instance-368652-1177264031.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-368652-1177264031 -o ROOT/results/node57/solver-368652-1177264031 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368652-1177264031/tts-4-0 /tmp/evaluation/368652-1177264031/instance-368652-1177264031.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 8c2637bddd219bb03ecc49de7a065894
RANDOM SEED= 520467014
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node57.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.239
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.239
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: 1656920 kB
Buffers: 72156 kB
Cached: 250628 kB
SwapCached: 3684 kB
Active: 139836 kB
Inactive: 192660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1656920 kB
SwapTotal: 4192956 kB
SwapFree: 4183112 kB
Dirty: 4664 kB
Writeback: 0 kB
Mapped: 15764 kB
Slab: 52652 kB
Committed_AS: 2569412 kB
PageTables: 1408 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= 66452 MiB
End job on node57 on Sun Apr 22 18:06:06 UTC 2007