runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-319594-1173033416 -o ROOT/results/node61/solver-319594-1173033416 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319594-1173033416/tts-4-0 /tmp/evaluation/319594-1173033416/instance-319594-1173033416.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: 1.00 1.02 0.96 3/64 19277
/proc/meminfo: memFree=1710456/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=796 CPUtime=0
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 323298509 815104 101 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 199 101 57 113 0 83 0
[startup+0.01774 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 19277
/proc/meminfo: memFree=1710456/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=1332 CPUtime=0.01
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 235 0 0 0 1 0 0 0 18 0 1 0 323298509 1363968 220 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 333 220 57 113 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1332
[startup+0.102747 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 19277
/proc/meminfo: memFree=1710456/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=4504 CPUtime=0.09
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 1034 0 0 0 9 0 0 0 18 0 1 0 323298509 4612096 1019 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 1126 1019 57 113 0 1010 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4504
[startup+0.302766 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 19277
/proc/meminfo: memFree=1710456/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=11936 CPUtime=0.29
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 2838 0 0 0 28 1 0 0 19 0 1 0 323298509 12222464 2823 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 2984 2824 57 113 0 2868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11936
[startup+0.702803 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 19277
/proc/meminfo: memFree=1710456/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=16676 CPUtime=0.7
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 3889 0 0 0 68 2 0 0 22 0 1 0 323298509 17076224 3874 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134524210 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 4169 3874 58 113 0 4053 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 16676
[startup+1.50188 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 19278
/proc/meminfo: memFree=1680112/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=54592 CPUtime=1.49
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 13370 0 0 0 144 5 0 0 25 0 1 0 323298509 55902208 13265 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134555200 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 13648 13265 62 113 0 13532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54592
[startup+3.10103 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 19278
/proc/meminfo: memFree=1657328/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=54592 CPUtime=3.09
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 13370 0 0 0 304 5 0 0 25 0 1 0 323298509 55902208 13265 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554504 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 13648 13265 62 113 0 13532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54592
[startup+6.30134 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 19278
/proc/meminfo: memFree=1657264/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=54592 CPUtime=6.29
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 13370 0 0 0 624 5 0 0 25 0 1 0 323298509 55902208 13265 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554501 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 13648 13265 62 113 0 13532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54592
[startup+12.702 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 19278
/proc/meminfo: memFree=1657456/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=54592 CPUtime=12.69
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 13370 0 0 0 1264 5 0 0 25 0 1 0 323298509 55902208 13265 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554486 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 13648 13265 62 113 0 13532 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54592
[startup+25.5012 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 19278
/proc/meminfo: memFree=1632176/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=113376 CPUtime=25.49
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 28314 0 0 0 2537 12 0 0 25 0 1 0 323298509 116097024 27884 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 28344 27885 65 113 0 28228 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113376
[startup+51.1016 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 19278
/proc/meminfo: memFree=1320816/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=419704 CPUtime=51.08
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 98004 0 0 0 5064 44 0 0 25 0 1 0 323298509 429776896 97269 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591898 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 104926 97269 66 113 0 104810 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 419704
[startup+102.305 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 19278
/proc/meminfo: memFree=1148080/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=664576 CPUtime=102.27
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 141067 0 0 0 10164 63 0 0 25 0 1 0 323298509 680525824 140332 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 166144 140332 66 113 0 166028 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 664576
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 19278
/proc/meminfo: memFree=1141232/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=673440 CPUtime=162.25
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142767 0 0 0 16161 64 0 0 25 0 1 0 323298509 689602560 142032 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168360 142032 66 113 0 168244 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 673440
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19278
/proc/meminfo: memFree=1140784/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=673836 CPUtime=222.23
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142869 0 0 0 22159 64 0 0 25 0 1 0 323298509 690008064 142134 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168459 142134 66 113 0 168343 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 673836
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19278
/proc/meminfo: memFree=1140720/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=673836 CPUtime=282.22
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142872 0 0 0 28158 64 0 0 25 0 1 0 323298509 690008064 142137 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168459 142137 66 113 0 168343 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 673836
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140720/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=673836 CPUtime=342.2
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142875 0 0 0 34156 64 0 0 25 0 1 0 323298509 690008064 142140 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168459 142140 66 113 0 168343 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 673836
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140656/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=673996 CPUtime=402.19
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142885 0 0 0 40154 65 0 0 25 0 1 0 323298509 690171904 142150 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513467 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168499 142150 66 113 0 168383 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 673996
[startup+462.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140656/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=673996 CPUtime=462.18
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142893 0 0 0 46153 65 0 0 25 0 1 0 323298509 690171904 142158 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168499 142158 66 113 0 168383 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 673996
[startup+522.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140592/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=673996 CPUtime=522.16
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142909 0 0 0 52151 65 0 0 25 0 1 0 323298509 690171904 142174 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552404 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168499 142174 66 113 0 168383 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 673996
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140528/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674112 CPUtime=582.15
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142923 0 0 0 58150 65 0 0 25 0 1 0 323298509 690290688 142188 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168528 142188 66 113 0 168412 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 674112
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140464/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674112 CPUtime=642.14
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142932 0 0 0 64149 65 0 0 25 0 1 0 323298509 690290688 142197 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168528 142197 66 113 0 168412 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 674112
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140400/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674112 CPUtime=702.12
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142941 0 0 0 70147 65 0 0 25 0 1 0 323298509 690290688 142206 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168528 142206 66 113 0 168412 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 674112
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140400/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674232 CPUtime=762.1
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142950 0 0 0 76145 65 0 0 25 0 1 0 323298509 690413568 142215 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168558 142215 66 113 0 168442 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 674232
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140400/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674232 CPUtime=822.08
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142957 0 0 0 82143 65 0 0 25 0 1 0 323298509 690413568 142222 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535630 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168558 142222 66 113 0 168442 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 674232
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140336/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674352 CPUtime=882.07
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142978 0 0 0 88142 65 0 0 25 0 1 0 323298509 690536448 142243 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168588 142243 66 113 0 168472 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 674352
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140336/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674352 CPUtime=942.06
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142986 0 0 0 94140 66 0 0 25 0 1 0 323298509 690536448 142251 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168588 142251 66 113 0 168472 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 674352
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140272/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674352 CPUtime=1002.05
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 142993 0 0 0 100139 66 0 0 25 0 1 0 323298509 690536448 142258 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591884 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168588 142258 66 113 0 168472 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 674352
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140208/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674352 CPUtime=1062.03
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 143000 0 0 0 106137 66 0 0 25 0 1 0 323298509 690536448 142265 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168588 142265 66 113 0 168472 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 674352
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140208/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674468 CPUtime=1122.01
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 143009 0 0 0 112135 66 0 0 25 0 1 0 323298509 690655232 142274 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168617 142274 66 113 0 168501 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 674468
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140144/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674468 CPUtime=1182
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 143013 0 0 0 118134 66 0 0 25 0 1 0 323298509 690655232 142278 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591657 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168617 142278 66 113 0 168501 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 674468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 19280
/proc/meminfo: memFree=1140144/2055920 swapFree=4183408/4192956
[pid=19277] ppid=19275 vsize=674468 CPUtime=1200.09
/proc/19277/stat : 19277 (tts-4-0) R 19275 19277 18726 0 -1 4194304 143016 0 0 0 119943 66 0 0 25 0 1 0 323298509 690655232 142281 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/19277/statm: 168617 142281 66 113 0 168501 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 674468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.5
CPU time (s): 1200.2
CPU user time (s): 1199.44
CPU system time (s): 0.757884
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 674468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.44
system time used= 0.757884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143016
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= 1624
runsolver used 0.727889 second user time and 2.56261 second system time
The end
Begin job on node61 on Sun Mar 4 18:36:56 UTC 2007
IDJOB= 319594
IDBENCH= 20483
IDSOLVER= 98
FILE ID= node61/319594-1173033416
PBS_JOBID= 4012445
Free space on /tmp= 66525 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/industrial/crypto/mizh-sha0-36-2.cnf
COMMAND LINE= /tmp/evaluation/319594-1173033416/tts-4-0 /tmp/evaluation/319594-1173033416/instance-319594-1173033416.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-319594-1173033416 -o ROOT/results/node61/solver-319594-1173033416 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319594-1173033416/tts-4-0 /tmp/evaluation/319594-1173033416/instance-319594-1173033416.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED= 326225412
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node61.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.216
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.216
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: 1710864 kB
Buffers: 17160 kB
Cached: 240824 kB
SwapCached: 3612 kB
Active: 135768 kB
Inactive: 135100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710864 kB
SwapTotal: 4192956 kB
SwapFree: 4183408 kB
Dirty: 4664 kB
Writeback: 0 kB
Mapped: 18880 kB
Slab: 60344 kB
Committed_AS: 857656 kB
PageTables: 1396 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= 66525 MiB
End job on node61 on Sun Mar 4 18:56:58 UTC 2007