runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-336124-1173640846 -o ROOT/results/node58/solver-336124-1173640846 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/336124-1173640846/tts-4-0 /tmp/evaluation/336124-1173640846/instance-336124-1173640846.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.77 0.92 0.97 3/64 11477
/proc/meminfo: memFree=1922048/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=936 CPUtime=0
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 120 0 0 0 0 0 0 0 18 0 1 0 384041333 958464 105 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134630100 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 234 105 57 113 0 118 0
[startup+0.0238271 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 11477
/proc/meminfo: memFree=1922048/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=1596 CPUtime=0.02
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 313 0 0 0 2 0 0 0 18 0 1 0 384041333 1634304 298 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134575173 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 399 298 59 113 0 283 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1596
[startup+0.101834 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 11477
/proc/meminfo: memFree=1922048/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=7816 CPUtime=0.09
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 1843 0 0 0 9 0 0 0 18 0 1 0 384041333 8003584 1828 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 1954 1828 65 113 0 1838 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7816
[startup+0.301856 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 11477
/proc/meminfo: memFree=1922048/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=11896 CPUtime=0.29
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 2877 0 0 0 28 1 0 0 19 0 1 0 384041333 12181504 2860 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543362 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 2974 2860 66 113 0 2858 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11896
[startup+0.7019 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 11477
/proc/meminfo: memFree=1922048/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=12816 CPUtime=0.69
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 3113 0 0 0 68 1 0 0 23 0 1 0 384041333 13123584 3096 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591877 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 3204 3096 66 113 0 3088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12816
[startup+1.50199 s]
/proc/loadavg: 0.77 0.92 0.97 2/65 11478
/proc/meminfo: memFree=1908728/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=14264 CPUtime=1.49
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 3497 0 0 0 148 1 0 0 25 0 1 0 384041333 14606336 3480 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 3566 3480 66 113 0 3450 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14264
[startup+3.10116 s]
/proc/loadavg: 0.79 0.92 0.97 2/65 11478
/proc/meminfo: memFree=1907960/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=14784 CPUtime=3.09
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 3596 0 0 0 308 1 0 0 25 0 1 0 384041333 15138816 3579 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 3696 3579 66 113 0 3580 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14784
[startup+6.30152 s]
/proc/loadavg: 0.79 0.92 0.97 2/65 11478
/proc/meminfo: memFree=1907384/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=15276 CPUtime=6.29
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 3724 0 0 0 628 1 0 0 25 0 1 0 384041333 15642624 3707 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 3819 3707 66 113 0 3703 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15276
[startup+12.7012 s]
/proc/loadavg: 0.82 0.93 0.97 2/65 11478
/proc/meminfo: memFree=1906240/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=16112 CPUtime=12.69
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 3966 0 0 0 1268 1 0 0 25 0 1 0 384041333 16498688 3949 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 4028 3949 66 113 0 3912 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16112
[startup+25.5016 s]
/proc/loadavg: 0.85 0.93 0.97 2/65 11478
/proc/meminfo: memFree=1904512/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=17760 CPUtime=25.48
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 4383 0 0 0 2547 1 0 0 25 0 1 0 384041333 18186240 4366 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 4440 4366 66 113 0 4324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17760
[startup+51.1014 s]
/proc/loadavg: 0.90 0.93 0.97 2/65 11478
/proc/meminfo: memFree=1900736/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=21516 CPUtime=51.08
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 5325 0 0 0 5106 2 0 0 25 0 1 0 384041333 22032384 5308 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 5379 5308 66 113 0 5263 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21516
[startup+102.305 s]
/proc/loadavg: 0.96 0.94 0.97 2/65 11478
/proc/meminfo: memFree=1893760/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=28552 CPUtime=102.26
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 7067 0 0 0 10224 2 0 0 25 0 1 0 384041333 29237248 7050 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535616 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 7138 7050 66 113 0 7022 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28552
[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.97 2/65 11478
/proc/meminfo: memFree=1883584/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=38692 CPUtime=162.24
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 9619 0 0 0 16221 3 0 0 25 0 1 0 384041333 39620608 9602 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641326 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 9673 9602 66 113 0 9557 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38692
[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/65 11478
/proc/meminfo: memFree=1874880/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=47364 CPUtime=222.23
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 11742 0 0 0 22218 5 0 0 25 0 1 0 384041333 48500736 11725 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 11841 11725 66 113 0 11725 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 47364
[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/65 11478
/proc/meminfo: memFree=1862016/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=60136 CPUtime=282.21
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 14944 0 0 0 28214 7 0 0 25 0 1 0 384041333 61579264 14927 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534083 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 15034 14927 66 113 0 14918 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 60136
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1854784/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=67296 CPUtime=342.19
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 16756 0 0 0 34212 7 0 0 25 0 1 0 384041333 68911104 16739 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 16824 16739 66 113 0 16708 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 67296
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1848256/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=73856 CPUtime=402.17
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 18407 0 0 0 40209 8 0 0 25 0 1 0 384041333 75628544 18390 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 18464 18390 66 113 0 18348 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 73856
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1842816/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=79244 CPUtime=462.16
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 19724 0 0 0 46205 11 0 0 25 0 1 0 384041333 81145856 19707 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 19811 19707 66 113 0 19695 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 79244
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1838208/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=83932 CPUtime=522.14
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 20904 0 0 0 52203 11 0 0 25 0 1 0 384041333 85946368 20887 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 20983 20887 66 113 0 20867 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 83932
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1833728/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=88392 CPUtime=582.13
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 22012 0 0 0 58200 13 0 0 25 0 1 0 384041333 90513408 21995 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 22098 21995 66 113 0 21982 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 88392
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1829312/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=92612 CPUtime=642.11
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 23079 0 0 0 64197 14 0 0 25 0 1 0 384041333 94834688 23062 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 23153 23062 66 113 0 23037 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 92612
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1825024/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=97068 CPUtime=702.09
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 24181 0 0 0 70194 15 0 0 25 0 1 0 384041333 99397632 24164 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591986 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 24267 24164 66 113 0 24151 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 97068
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1820352/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=101756 CPUtime=762.08
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 25350 0 0 0 76192 16 0 0 25 0 1 0 384041333 104198144 25333 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 25439 25333 66 113 0 25323 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 101756
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1816960/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=105036 CPUtime=822.06
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 26198 0 0 0 82189 17 0 0 25 0 1 0 384041333 107556864 26181 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534161 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 26259 26181 66 113 0 26143 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 105036
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1813888/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=108088 CPUtime=882.04
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 26968 0 0 0 88187 17 0 0 25 0 1 0 384041333 110682112 26951 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534132 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 27022 26951 66 113 0 26906 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 108088
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1811008/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=111132 CPUtime=942.02
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 27689 0 0 0 94184 18 0 0 25 0 1 0 384041333 113799168 27672 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 27783 27672 66 113 0 27667 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 111132
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1807680/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=114180 CPUtime=1002
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 28491 0 0 0 100182 18 0 0 25 0 1 0 384041333 116920320 28474 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 28545 28474 66 113 0 28429 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 114180
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1804416/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=117460 CPUtime=1061.98
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 29313 0 0 0 106179 19 0 0 25 0 1 0 384041333 120279040 29296 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591691 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 29365 29296 66 113 0 29249 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 117460
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1800960/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=120976 CPUtime=1121.97
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 30161 0 0 0 112177 20 0 0 25 0 1 0 384041333 123879424 30144 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534054 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 30244 30144 66 113 0 30128 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 120976
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1797312/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=124492 CPUtime=1181.95
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 31074 0 0 0 118174 21 0 0 25 0 1 0 384041333 127479808 31057 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534438 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 31123 31057 66 113 0 31007 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 124492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 11478
/proc/meminfo: memFree=1796096/2055920 swapFree=4170388/4192956
[pid=11477] ppid=11475 vsize=125664 CPUtime=1200.05
/proc/11477/stat : 11477 (tts-4-0) R 11475 11477 11418 0 -1 4194304 31363 0 0 0 119983 22 0 0 25 0 1 0 384041333 128679936 31346 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 31416 31346 66 113 0 31300 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 125664
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.43
CPU time (s): 1200.08
CPU user time (s): 1199.84
CPU system time (s): 0.241963
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 125664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.84
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31363
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= 1476
runsolver used 0.750885 second user time and 2.53661 second system time
The end
Begin job on node58 on Sun Mar 11 19:20:47 UTC 2007
IDJOB= 336124
IDBENCH= 24668
IDSOLVER= 98
FILE ID= node58/336124-1173640846
PBS_JOBID= 4101370
Free space on /tmp= 66507 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/others/linvrinv9.sat05-568.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/336124-1173640846/tts-4-0 /tmp/evaluation/336124-1173640846/instance-336124-1173640846.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-336124-1173640846 -o ROOT/results/node58/solver-336124-1173640846 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/336124-1173640846/tts-4-0 /tmp/evaluation/336124-1173640846/instance-336124-1173640846.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 0457634d4b446c9bbce48df93abd0143
RANDOM SEED= 323660080
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node58.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.234
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.234
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: 1922464 kB
Buffers: 15212 kB
Cached: 69528 kB
SwapCached: 16784 kB
Active: 30156 kB
Inactive: 77148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1922464 kB
SwapTotal: 4192956 kB
SwapFree: 4170388 kB
Dirty: 872 kB
Writeback: 0 kB
Mapped: 15112 kB
Slab: 12276 kB
Committed_AS: 792628 kB
PageTables: 1380 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= 66507 MiB
End job on node58 on Sun Mar 11 19:40:49 UTC 2007