runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-319430-1173030950 -o ROOT/results/node43/solver-319430-1173030950 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319430-1173030950/tts-4-0 /tmp/evaluation/319430-1173030950/instance-319430-1173030950.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.99 0.97 0.84 3/64 11103
/proc/meminfo: memFree=1845952/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=928 CPUtime=0
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 120 0 0 0 0 0 0 0 18 0 1 0 323051062 950272 105 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 232 109 57 113 0 116 0
[startup+0.062687 s]
/proc/loadavg: 0.99 0.97 0.84 3/64 11103
/proc/meminfo: memFree=1845952/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=3156 CPUtime=0.05
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 680 0 0 0 5 0 0 0 18 0 1 0 323051062 3231744 665 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 789 665 57 113 0 673 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3156
[startup+0.101693 s]
/proc/loadavg: 0.99 0.97 0.84 3/64 11103
/proc/meminfo: memFree=1845952/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=4556 CPUtime=0.09
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 1037 0 0 0 9 0 0 0 18 0 1 0 323051062 4665344 1022 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 1139 1023 57 113 0 1023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4556
[startup+0.301726 s]
/proc/loadavg: 0.99 0.97 0.84 3/64 11103
/proc/meminfo: memFree=1845952/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=11988 CPUtime=0.29
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 2871 0 0 0 28 1 0 0 19 0 1 0 323051062 12275712 2856 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 2997 2856 57 113 0 2881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11988
[startup+0.701791 s]
/proc/loadavg: 0.99 0.97 0.84 3/64 11103
/proc/meminfo: memFree=1845952/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=21196 CPUtime=0.69
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 5054 0 0 0 67 2 0 0 22 0 1 0 323051062 21704704 5039 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134523913 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 5299 5039 58 113 0 5183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21196
[startup+1.50192 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 11104
/proc/meminfo: memFree=1825912/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=21196 CPUtime=1.49
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 5054 0 0 0 147 2 0 0 25 0 1 0 323051062 21704704 5039 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134524015 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 5299 5039 58 113 0 5183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21196
[startup+3.10119 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 11104
/proc/meminfo: memFree=1825784/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=71204 CPUtime=3.09
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 17539 0 0 0 302 7 0 0 25 0 1 0 323051062 72912896 17406 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134555200 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 17801 17406 62 113 0 17685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71204
[startup+6.30172 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 11104
/proc/meminfo: memFree=1776056/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=71204 CPUtime=6.29
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 17539 0 0 0 621 8 0 0 25 0 1 0 323051062 72912896 17406 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554486 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 17801 17406 62 113 0 17685 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71204
[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 11104
/proc/meminfo: memFree=1776128/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=71204 CPUtime=12.69
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 17539 0 0 0 1261 8 0 0 25 0 1 0 323051062 72912896 17406 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554504 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 17801 17406 62 113 0 17685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71204
[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 11104
/proc/meminfo: memFree=1776192/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=71204 CPUtime=25.49
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 17539 0 0 0 2541 8 0 0 25 0 1 0 323051062 72912896 17406 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554486 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 17801 17406 62 113 0 17685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71204
[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 11104
/proc/meminfo: memFree=1359040/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=571136 CPUtime=51.07
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 124616 0 0 0 5049 58 0 0 25 0 1 0 323051062 584843264 123739 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 142784 123739 66 113 0 142668 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 571136
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.85 2/65 11104
/proc/meminfo: memFree=1178112/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=766216 CPUtime=102.26
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 167519 0 0 0 10151 75 0 0 25 0 1 0 323051062 784605184 166642 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552172 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 191554 166642 66 113 0 191438 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 766216
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.85 2/65 11104
/proc/meminfo: memFree=1178048/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=766216 CPUtime=162.23
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 167520 0 0 0 16148 75 0 0 25 0 1 0 323051062 784605184 166643 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513456 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 191554 166643 66 113 0 191438 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 766216
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/65 11104
/proc/meminfo: memFree=950464/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=996504 CPUtime=222.21
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 224287 0 0 0 22124 97 0 0 25 0 1 0 323051062 1020420096 223410 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 249126 223410 66 113 0 249010 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 996504
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/65 11104
/proc/meminfo: memFree=901120/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1063116 CPUtime=282.19
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 236577 0 0 0 28117 102 0 0 25 0 1 0 323051062 1088630784 235700 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 265779 235700 66 113 0 265663 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1063116
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/71 11216
/proc/meminfo: memFree=851720/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1148564 CPUtime=342.13
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 248438 0 0 0 34106 107 0 0 25 0 1 0 323051062 1176129536 247561 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591662 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 287141 247561 66 113 0 287025 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1148564
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.88 2/65 11302
/proc/meminfo: memFree=753536/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1320260 CPUtime=402.07
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 273077 0 0 0 40090 117 0 0 25 0 1 0 323051062 1351946240 272200 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591829 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 330065 272200 66 113 0 329949 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 1320260
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.88 2/65 11302
/proc/meminfo: memFree=730816/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1359304 CPUtime=462.04
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 278795 0 0 0 46085 119 0 0 25 0 1 0 323051062 1391927296 277918 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591884 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 339826 277918 66 113 0 339710 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 1359304
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 11302
/proc/meminfo: memFree=730624/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1359624 CPUtime=522.02
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 278832 0 0 0 52083 119 0 0 25 0 1 0 323051062 1392254976 277955 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 339906 277955 66 113 0 339790 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 1359624
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/65 11302
/proc/meminfo: memFree=728064/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1363684 CPUtime=582.01
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 279464 0 0 0 58081 120 0 0 25 0 1 0 323051062 1396412416 278587 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 340921 278587 66 113 0 340805 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 1363684
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.90 2/65 11302
/proc/meminfo: memFree=630016/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1528980 CPUtime=641.99
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 303906 0 0 0 64071 128 0 0 25 0 1 0 323051062 1565675520 303029 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 382245 303029 66 113 0 382129 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 1528980
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=611392/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1559704 CPUtime=701.97
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 308533 0 0 0 70067 130 0 0 25 0 1 0 323051062 1597136896 307656 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 389926 307656 66 113 0 389810 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 1559704
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=506624/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1730120 CPUtime=761.95
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 334640 0 0 0 76056 139 0 0 25 0 1 0 323051062 1771642880 333763 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591892 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 432530 333763 66 113 0 432414 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 1730120
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=506560/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1730120 CPUtime=821.93
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 334641 0 0 0 82054 139 0 0 25 0 1 0 323051062 1771642880 333764 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134542816 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 432530 333764 66 113 0 432414 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 1730120
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=506560/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1730120 CPUtime=881.9
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 334652 0 0 0 88051 139 0 0 25 0 1 0 323051062 1771642880 333775 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134542968 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 432530 333775 66 113 0 432414 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 1730120
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=506560/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1730120 CPUtime=941.88
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 334652 0 0 0 94049 139 0 0 25 0 1 0 323051062 1771642880 333775 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 432530 333775 66 113 0 432414 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 1730120
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=506560/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1730120 CPUtime=1001.86
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 334653 0 0 0 100047 139 0 0 25 0 1 0 323051062 1771642880 333776 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 432530 333776 66 113 0 432414 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 1730120
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=499584/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1741164 CPUtime=1061.84
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 336408 0 0 0 106044 140 0 0 25 0 1 0 323051062 1782951936 335531 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 435291 335531 66 113 0 435175 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 1741164
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=499520/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1741164 CPUtime=1121.82
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 336409 0 0 0 112042 140 0 0 25 0 1 0 323051062 1782951936 335532 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641329 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 435291 335532 66 113 0 435175 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 1741164
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=486592/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1761684 CPUtime=1181.8
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 339631 0 0 0 118039 141 0 0 25 0 1 0 323051062 1803964416 338754 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 440421 338754 66 113 0 440305 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1761684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=486528/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=1761684 CPUtime=1200.1
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4194304 339631 0 0 0 119869 141 0 0 25 0 1 0 323051062 1803964416 338754 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552174 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 440421 338754 66 113 0 440305 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 1761684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11302
/proc/meminfo: memFree=486528/2055920 swapFree=4184036/4192956
[pid=11103] ppid=11101 vsize=0 CPUtime=1200.3
/proc/11103/stat : 11103 (tts-4-0) R 11101 11103 10926 0 -1 4195332 339631 0 0 0 119869 161 0 0 25 0 1 0 323051062 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/11103/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.3
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.82
CPU time (s): 1200.32
CPU user time (s): 1198.69
CPU system time (s): 1.63075
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 1761684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.69
system time used= 1.63075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339631
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= 2522
runsolver used 0.78488 second user time and 2.58261 second system time
The end
Begin job on node43 on Sun Mar 4 17:55:50 UTC 2007
IDJOB= 319430
IDBENCH= 20479
IDSOLVER= 98
FILE ID= node43/319430-1173030950
PBS_JOBID= 4012454
Free space on /tmp= 66529 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/industrial/crypto/mizh-md5-47-3.cnf
COMMAND LINE= /tmp/evaluation/319430-1173030950/tts-4-0 /tmp/evaluation/319430-1173030950/instance-319430-1173030950.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-319430-1173030950 -o ROOT/results/node43/solver-319430-1173030950 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319430-1173030950/tts-4-0 /tmp/evaluation/319430-1173030950/instance-319430-1173030950.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 3bb585fcdaeb772457dbcffd3371aab9
RANDOM SEED= 41006948
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node43.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.281
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.281
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: 1846296 kB
Buffers: 6192 kB
Cached: 119008 kB
SwapCached: 2980 kB
Active: 29512 kB
Inactive: 108560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1846296 kB
SwapTotal: 4192956 kB
SwapFree: 4184036 kB
Dirty: 5896 kB
Writeback: 0 kB
Mapped: 18868 kB
Slab: 57552 kB
Committed_AS: 768364 kB
PageTables: 1404 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= 66529 MiB
End job on node43 on Sun Mar 4 18:15:53 UTC 2007