runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-368641-1177259972 -o ROOT/results/node68/solver-368641-1177259972 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368641-1177259972/tts-4-0 /tmp/evaluation/368641-1177259972/instance-368641-1177259972.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.94 1.01 0.99 3/64 18097
/proc/meminfo: memFree=1697864/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=796 CPUtime=0
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 201986781 815104 100 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 199 100 57 113 0 83 0
[startup+0.0525921 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18097
/proc/meminfo: memFree=1697864/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=2560 CPUtime=0.04
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 505 0 0 0 4 0 0 0 18 0 1 0 201986781 2621440 490 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 640 490 62 113 0 524 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2560
[startup+0.101594 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18097
/proc/meminfo: memFree=1697864/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=3484 CPUtime=0.09
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 768 0 0 0 9 0 0 0 18 0 1 0 201986781 3567616 753 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134537415 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 871 756 64 113 0 755 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3484
[startup+0.301612 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18097
/proc/meminfo: memFree=1697864/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=7872 CPUtime=0.29
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 1898 0 0 0 28 1 0 0 19 0 1 0 201986781 8060928 1883 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 1968 1883 66 113 0 1852 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7872
[startup+0.701648 s]
/proc/loadavg: 0.94 1.01 0.99 3/64 18097
/proc/meminfo: memFree=1697864/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=8316 CPUtime=0.69
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 1990 0 0 0 68 1 0 0 22 0 1 0 201986781 8515584 1975 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534197 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 2079 1975 66 113 0 1963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8316
[startup+1.50172 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18098
/proc/meminfo: memFree=1690048/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=8796 CPUtime=1.49
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 2122 0 0 0 148 1 0 0 25 0 1 0 201986781 9007104 2107 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534354 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 2199 2107 66 113 0 2083 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8796
[startup+3.10187 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18098
/proc/meminfo: memFree=1689088/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=9892 CPUtime=3.09
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 2425 0 0 0 308 1 0 0 25 0 1 0 201986781 10129408 2410 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 2473 2410 66 113 0 2357 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9892
[startup+6.30115 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18098
/proc/meminfo: memFree=1686848/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=12136 CPUtime=6.29
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 2979 0 0 0 628 1 0 0 25 0 1 0 201986781 12427264 2964 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 3034 2964 66 113 0 2918 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12136
[startup+12.7017 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 18098
/proc/meminfo: memFree=1681856/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=16828 CPUtime=12.69
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 4142 0 0 0 1267 2 0 0 25 0 1 0 201986781 17231872 4127 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 4207 4127 66 113 0 4091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16828
[startup+25.5019 s]
/proc/loadavg: 0.96 1.01 0.99 2/65 18098
/proc/meminfo: memFree=1674624/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=23808 CPUtime=25.48
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 5898 0 0 0 2546 2 0 0 25 0 1 0 201986781 24379392 5883 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534199 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 5952 5883 66 113 0 5836 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23808
[startup+51.1012 s]
/proc/loadavg: 0.97 1.01 0.99 2/65 18100
/proc/meminfo: memFree=1661376/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=37172 CPUtime=51.08
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 9202 0 0 0 5103 5 0 0 25 0 1 0 201986781 38064128 9187 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 9293 9187 66 113 0 9177 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37172
[startup+102.306 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 18100
/proc/meminfo: memFree=1638912/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=59228 CPUtime=102.27
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 14737 0 0 0 10220 7 0 0 25 0 1 0 201986781 60649472 14722 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 14807 14722 66 113 0 14691 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59228
[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 18100
/proc/meminfo: memFree=1613568/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=84776 CPUtime=162.25
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 21126 0 0 0 16214 11 0 0 25 0 1 0 201986781 86810624 21111 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 21194 21111 66 113 0 21078 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 84776
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18100
/proc/meminfo: memFree=1591104/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=106812 CPUtime=222.24
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 26641 0 0 0 22209 15 0 0 25 0 1 0 201986781 109375488 26626 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 26703 26626 66 113 0 26587 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 106812
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18100
/proc/meminfo: memFree=1572416/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=125808 CPUtime=282.22
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 31348 0 0 0 28205 17 0 0 25 0 1 0 201986781 128827392 31333 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 31452 31333 66 113 0 31336 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 125808
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18100
/proc/meminfo: memFree=1556608/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=141276 CPUtime=342.21
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 35248 0 0 0 34201 20 0 0 25 0 1 0 201986781 144666624 35233 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513457 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 35319 35233 66 113 0 35203 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 141276
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18100
/proc/meminfo: memFree=1540864/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=157216 CPUtime=402.2
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 39215 0 0 0 40197 23 0 0 25 0 1 0 201986781 160989184 39200 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 39304 39200 66 113 0 39188 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 157216
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18100
/proc/meminfo: memFree=1526272/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=171520 CPUtime=462.17
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 42832 0 0 0 46193 24 0 0 25 0 1 0 201986781 175636480 42817 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 42880 42817 66 113 0 42764 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 171520
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18100
/proc/meminfo: memFree=1517056/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=180896 CPUtime=522.16
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 45146 0 0 0 52190 26 0 0 25 0 1 0 201986781 185237504 45131 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 45224 45131 66 113 0 45108 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 180896
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18100
/proc/meminfo: memFree=1507584/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=190272 CPUtime=582.15
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 47517 0 0 0 58188 27 0 0 25 0 1 0 201986781 194838528 47502 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 47568 47502 66 113 0 47452 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 190272
[startup+642.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 18100
/proc/meminfo: memFree=1499648/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=198240 CPUtime=642.14
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 49464 0 0 0 64186 28 0 0 25 0 1 0 201986781 202997760 49449 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 49560 49449 66 113 0 49444 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 198240
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1178688/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=518432 CPUtime=4001.24
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 129531 0 0 0 400027 97 0 0 25 0 1 0 201986781 530874368 129516 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 129608 129516 66 113 0 129492 0
Current children cumulated CPU time (s) 4001.24
Current children cumulated vsize (KiB) 518432
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1175744/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=521480 CPUtime=4061.23
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 130279 0 0 0 406025 98 0 0 25 0 1 0 201986781 533995520 130264 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 130370 130264 66 113 0 130254 0
Current children cumulated CPU time (s) 4061.23
Current children cumulated vsize (KiB) 521480
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1172352/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=524764 CPUtime=4121.21
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 131112 0 0 0 412022 99 0 0 25 0 1 0 201986781 537358336 131097 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 131191 131097 66 113 0 131075 0
Current children cumulated CPU time (s) 4121.21
Current children cumulated vsize (KiB) 524764
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1169856/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=527108 CPUtime=4181.19
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 131730 0 0 0 418020 99 0 0 25 0 1 0 201986781 539758592 131715 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 131777 131715 66 113 0 131661 0
Current children cumulated CPU time (s) 4181.19
Current children cumulated vsize (KiB) 527108
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1165824/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=531324 CPUtime=4241.18
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 132755 0 0 0 424017 101 0 0 25 0 1 0 201986781 544075776 132740 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 132831 132740 66 113 0 132715 0
Current children cumulated CPU time (s) 4241.18
Current children cumulated vsize (KiB) 531324
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1160192/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=536952 CPUtime=4301.16
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 134141 0 0 0 430014 102 0 0 25 0 1 0 201986781 549838848 134126 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 134238 134126 66 113 0 134122 0
Current children cumulated CPU time (s) 4301.16
Current children cumulated vsize (KiB) 536952
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1154560/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=542576 CPUtime=4361.15
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 135553 0 0 0 436012 103 0 0 25 0 1 0 201986781 555597824 135538 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 135644 135538 66 113 0 135528 0
Current children cumulated CPU time (s) 4361.15
Current children cumulated vsize (KiB) 542576
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1151424/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=545628 CPUtime=4421.13
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 136330 0 0 0 442009 104 0 0 25 0 1 0 201986781 558723072 136315 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 136407 136315 66 113 0 136291 0
Current children cumulated CPU time (s) 4421.13
Current children cumulated vsize (KiB) 545628
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1149760/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=547272 CPUtime=4481.12
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 136755 0 0 0 448007 105 0 0 25 0 1 0 201986781 560406528 136740 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 136818 136740 66 113 0 136702 0
Current children cumulated CPU time (s) 4481.12
Current children cumulated vsize (KiB) 547272
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1147840/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=549144 CPUtime=4541.1
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 137229 0 0 0 454005 105 0 0 25 0 1 0 201986781 562323456 137214 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134552553 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 137286 137214 66 113 0 137170 0
Current children cumulated CPU time (s) 4541.1
Current children cumulated vsize (KiB) 549144
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1145024/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=551960 CPUtime=4601.1
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 137921 0 0 0 460004 106 0 0 25 0 1 0 201986781 565207040 137906 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 137990 137906 66 113 0 137874 0
Current children cumulated CPU time (s) 4601.1
Current children cumulated vsize (KiB) 551960
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1143424/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=553600 CPUtime=4661.07
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 138321 0 0 0 466001 106 0 0 25 0 1 0 201986781 566886400 138306 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 138400 138306 66 113 0 138284 0
Current children cumulated CPU time (s) 4661.07
Current children cumulated vsize (KiB) 553600
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1140672/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=556412 CPUtime=4721.07
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 138999 0 0 0 472000 107 0 0 25 0 1 0 201986781 569765888 138984 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 139103 138984 66 113 0 138987 0
Current children cumulated CPU time (s) 4721.07
Current children cumulated vsize (KiB) 556412
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1138752/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=558288 CPUtime=4781.04
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 139492 0 0 0 477997 107 0 0 25 0 1 0 201986781 571686912 139477 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 139572 139477 66 113 0 139456 0
Current children cumulated CPU time (s) 4781.04
Current children cumulated vsize (KiB) 558288
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18300
/proc/meminfo: memFree=1136256/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=560632 CPUtime=4841.03
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 140082 0 0 0 483995 108 0 0 25 0 1 0 201986781 574087168 140067 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 140158 140067 66 113 0 140042 0
Current children cumulated CPU time (s) 4841.03
Current children cumulated vsize (KiB) 560632
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 18382
/proc/meminfo: memFree=1133056/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=562740 CPUtime=4900.98
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 140581 0 0 0 489989 109 0 0 25 0 1 0 201986781 576245760 140566 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 140685 140566 66 113 0 140569 0
Current children cumulated CPU time (s) 4900.98
Current children cumulated vsize (KiB) 562740
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18498
/proc/meminfo: memFree=1131904/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=564848 CPUtime=4960.91
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 141132 0 0 0 495980 111 0 0 25 0 1 0 201986781 578404352 141117 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 141212 141117 66 113 0 141096 0
Current children cumulated CPU time (s) 4960.91
Current children cumulated vsize (KiB) 564848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18498
/proc/meminfo: memFree=1128384/2055920 swapFree=4183868/4192956
[pid=18097] ppid=18095 vsize=568364 CPUtime=5000
/proc/18097/stat : 18097 (tts-4-0) R 18095 18097 17800 0 -1 4194304 141992 0 0 0 499889 111 0 0 25 0 1 0 201986781 582004736 141977 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/18097/statm: 142091 141977 66 113 0 141975 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 568364
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): 5001.49
CPU time (s): 5000.1
CPU user time (s): 4998.89
CPU system time (s): 1.20582
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 568364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.89
system time used= 1.20582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141992
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= 9662
runsolver used 3.14352 second user time and 10.6124 second system time
The end
Begin job on node68 on Sun Apr 22 16:39:32 UTC 2007
IDJOB= 368641
IDBENCH= 24643
IDSOLVER= 178
FILE ID= node68/368641-1177259972
PBS_JOBID= 4650615
Free space on /tmp= 66327 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/QG/QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/368641-1177259972/tts-4-0 /tmp/evaluation/368641-1177259972/instance-368641-1177259972.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-368641-1177259972 -o ROOT/results/node68/solver-368641-1177259972 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368641-1177259972/tts-4-0 /tmp/evaluation/368641-1177259972/instance-368641-1177259972.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 7f866db903b373b6b7f75057c2353f02
RANDOM SEED= 220433882
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node68.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: 1698400 kB
Buffers: 37900 kB
Cached: 253960 kB
SwapCached: 2920 kB
Active: 146932 kB
Inactive: 154704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1698400 kB
SwapTotal: 4192956 kB
SwapFree: 4183868 kB
Dirty: 728 kB
Writeback: 0 kB
Mapped: 15744 kB
Slab: 41948 kB
Committed_AS: 2836116 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= 66327 MiB
End job on node68 on Sun Apr 22 18:02:56 UTC 2007