runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-368602-1177248294 -o ROOT/results/node12/solver-368602-1177248294 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368602-1177248294/tts-4-0 /tmp/evaluation/368602-1177248294/instance-368602-1177248294.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.78 0.96 0.98 3/77 23216
/proc/meminfo: memFree=1700184/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=928 CPUtime=0
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 200866750 950272 137 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134538262 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 232 137 62 113 0 116 0
[startup+0.068791 s]
/proc/loadavg: 0.78 0.96 0.98 3/77 23216
/proc/meminfo: memFree=1700184/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1608 CPUtime=0.06
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 329 0 0 0 6 0 0 0 18 0 1 0 200866750 1646592 314 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 402 314 66 113 0 286 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1608
[startup+0.101794 s]
/proc/loadavg: 0.78 0.96 0.98 3/77 23216
/proc/meminfo: memFree=1700184/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1608 CPUtime=0.1
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 338 0 0 0 10 0 0 0 18 0 1 0 200866750 1646592 323 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 402 323 66 113 0 286 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1608
[startup+0.301814 s]
/proc/loadavg: 0.78 0.96 0.98 3/77 23216
/proc/meminfo: memFree=1700184/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1936 CPUtime=0.3
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 404 0 0 0 30 0 0 0 19 0 1 0 200866750 1982464 389 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 484 389 66 113 0 368 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1936
[startup+0.701853 s]
/proc/loadavg: 0.78 0.96 0.98 3/77 23216
/proc/meminfo: memFree=1700184/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=2412 CPUtime=0.7
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 518 0 0 0 70 0 0 0 23 0 1 0 200866750 2469888 503 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513483 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 603 503 66 113 0 487 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 2412
[startup+1.50193 s]
/proc/loadavg: 0.78 0.96 0.98 2/78 23217
/proc/meminfo: memFree=1698000/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=3352 CPUtime=1.49
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 740 0 0 0 149 0 0 0 25 0 1 0 200866750 3432448 725 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 838 725 66 113 0 722 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3352
[startup+3.10209 s]
/proc/loadavg: 0.78 0.96 0.98 2/78 23217
/proc/meminfo: memFree=1696656/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=5472 CPUtime=3.09
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 1280 0 0 0 309 0 0 0 25 0 1 0 200866750 5603328 1265 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 1368 1265 66 113 0 1252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5472
[startup+6.30142 s]
/proc/loadavg: 0.80 0.96 0.98 2/78 23217
/proc/meminfo: memFree=1692432/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=9460 CPUtime=6.29
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 2262 0 0 0 629 0 0 0 25 0 1 0 200866750 9687040 2247 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 2365 2247 66 113 0 2249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9460
[startup+12.7011 s]
/proc/loadavg: 0.81 0.96 0.98 2/78 23217
/proc/meminfo: memFree=1685648/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=15556 CPUtime=12.69
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 3817 0 0 0 1268 1 0 0 25 0 1 0 200866750 15929344 3802 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 3889 3802 66 113 0 3773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15556
[startup+25.5013 s]
/proc/loadavg: 0.85 0.97 0.98 2/78 23217
/proc/meminfo: memFree=1671888/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=28924 CPUtime=25.48
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 7157 0 0 0 2546 2 0 0 25 0 1 0 200866750 29618176 7142 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 7231 7142 66 113 0 7115 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28924
[startup+51.1019 s]
/proc/loadavg: 0.90 0.97 0.98 2/78 23217
/proc/meminfo: memFree=1645136/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=56124 CPUtime=51.08
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 13949 0 0 0 5102 6 0 0 25 0 1 0 200866750 57470976 13934 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534396 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 14031 13934 66 113 0 13915 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56124
[startup+102.305 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 23217
/proc/meminfo: memFree=1591056/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=109332 CPUtime=102.26
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 27257 0 0 0 10215 11 0 0 25 0 1 0 200866750 111955968 27242 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 27333 27242 66 113 0 27217 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 109332
[startup+162.301 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 23217
/proc/meminfo: memFree=1532560/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=168164 CPUtime=162.24
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 41992 0 0 0 16207 17 0 0 25 0 1 0 200866750 172199936 41977 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 42041 41977 66 113 0 41925 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 168164
[startup+222.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 23217
/proc/meminfo: memFree=1470864/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=229344 CPUtime=222.23
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 57253 0 0 0 22197 26 0 0 25 0 1 0 200866750 234848256 57238 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535884 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 57336 57238 66 113 0 57220 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 229344
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23217
/proc/meminfo: memFree=1421968/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=278564 CPUtime=282.21
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 69576 0 0 0 28190 31 0 0 25 0 1 0 200866750 285249536 69561 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513456 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 69641 69561 66 113 0 69525 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 278564
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23217
/proc/meminfo: memFree=1369688/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=330368 CPUtime=342.2
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 82515 0 0 0 34182 38 0 0 25 0 1 0 200866750 338296832 82500 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 82592 82500 66 113 0 82476 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 330368
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23217
/proc/meminfo: memFree=1316568/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=384044 CPUtime=402.18
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 95913 0 0 0 40174 44 0 0 25 0 1 0 200866750 393261056 95898 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 96011 95898 66 113 0 95895 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 384044
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23217
/proc/meminfo: memFree=1268504/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=431388 CPUtime=462.16
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 107779 0 0 0 46166 50 0 0 25 0 1 0 200866750 441741312 107764 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134542443 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 107847 107764 66 113 0 107731 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 431388
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23219
/proc/meminfo: memFree=1219224/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=481316 CPUtime=522.15
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 120249 0 0 0 52159 56 0 0 25 0 1 0 200866750 492867584 120234 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 120329 120234 66 113 0 120213 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 481316
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23219
/proc/meminfo: memFree=1172824/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=527024 CPUtime=582.13
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 131694 0 0 0 58151 62 0 0 25 0 1 0 200866750 539672576 131679 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 131756 131679 66 113 0 131640 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 527024
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23219
/proc/meminfo: memFree=1117080/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=582340 CPUtime=642.11
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 145499 0 0 0 64143 68 0 0 25 0 1 0 200866750 596316160 145484 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 145585 145484 66 113 0 145469 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 582340
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=539352/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1158940 CPUtime=1421.89
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 289643 0 0 0 142043 146 0 0 25 0 1 0 200866750 1186754560 289628 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 289735 289628 66 113 0 289619 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1158940
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=492376/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1206056 CPUtime=1481.88
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 301450 0 0 0 148035 153 0 0 25 0 1 0 200866750 1235001344 301435 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 301514 301435 66 113 0 301398 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1206056
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=451096/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1247072 CPUtime=1541.87
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 311704 0 0 0 154029 158 0 0 25 0 1 0 200866750 1277001728 311689 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 311768 311689 66 113 0 311652 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1247072
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=403992/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1294420 CPUtime=1601.85
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 323545 0 0 0 160021 164 0 0 25 0 1 0 200866750 1325486080 323530 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534186 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 323605 323530 66 113 0 323489 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1294420
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=359000/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1339188 CPUtime=1661.83
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 334735 0 0 0 166014 169 0 0 25 0 1 0 200866750 1371328512 334720 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 334797 334720 66 113 0 334681 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1339188
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=313112/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1385132 CPUtime=1721.81
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 346234 0 0 0 172006 175 0 0 25 0 1 0 200866750 1418375168 346219 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 346283 346219 66 113 0 346167 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1385132
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=267672/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1430132 CPUtime=1781.8
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 357481 0 0 0 177998 182 0 0 25 0 1 0 200866750 1464455168 357466 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 357533 357466 66 113 0 357417 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1430132
[startup+1842.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 23219
/proc/meminfo: memFree=224664/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1473496 CPUtime=1841.78
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 368322 0 0 0 183988 190 0 0 25 0 1 0 200866750 1508859904 368307 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591672 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 368374 368307 66 113 0 368258 0
Current children cumulated CPU time (s) 1841.78
Current children cumulated vsize (KiB) 1473496
[startup+1902.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 23219
/proc/meminfo: memFree=178136/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1519672 CPUtime=1901.77
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 379867 0 0 0 189981 196 0 0 25 0 1 0 200866750 1556144128 379852 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 379918 379852 66 113 0 379802 0
Current children cumulated CPU time (s) 1901.77
Current children cumulated vsize (KiB) 1519672
[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=132184/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1565144 CPUtime=1961.75
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 391224 0 0 0 195974 201 0 0 25 0 1 0 200866750 1602707456 391209 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534363 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 391286 391209 66 113 0 391170 0
Current children cumulated CPU time (s) 1961.75
Current children cumulated vsize (KiB) 1565144
[startup+2022.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=86104/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1611788 CPUtime=2021.73
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 402857 0 0 0 201965 208 0 0 25 0 1 0 200866750 1650470912 402842 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513456 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 402947 402842 66 113 0 402831 0
Current children cumulated CPU time (s) 2021.73
Current children cumulated vsize (KiB) 1611788
[startup+2082.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=40536/2055920 swapFree=4159980/4192956
[pid=23216] ppid=23214 vsize=1656788 CPUtime=2081.71
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 414120 0 0 0 207958 213 0 0 25 0 1 0 200866750 1696550912 414105 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 414197 414105 66 113 0 414081 0
Current children cumulated CPU time (s) 2081.71
Current children cumulated vsize (KiB) 1656788
[startup+2142.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23219
/proc/meminfo: memFree=15640/2055920 swapFree=4159976/4192956
[pid=23216] ppid=23214 vsize=1697104 CPUtime=2141.7
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 424219 0 0 0 213950 220 0 0 25 0 1 0 200866750 1737834496 424204 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 424276 424204 66 113 0 424160 0
Current children cumulated CPU time (s) 2141.7
Current children cumulated vsize (KiB) 1697104
[startup+2202.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 23385
/proc/meminfo: memFree=15648/2055920 swapFree=4159976/4192956
[pid=23216] ppid=23214 vsize=1740000 CPUtime=2201.62
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 434951 0 0 0 219935 227 0 0 25 0 1 0 200866750 1781760000 434936 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 435000 434936 66 113 0 434884 0
Current children cumulated CPU time (s) 2201.62
Current children cumulated vsize (KiB) 1740000
[startup+2262.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23417
/proc/meminfo: memFree=16280/2055920 swapFree=4159976/4192956
[pid=23216] ppid=23214 vsize=1781484 CPUtime=2261.57
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 445294 0 0 0 225925 232 0 0 25 0 1 0 200866750 1824239616 445279 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 445371 445279 66 113 0 445255 0
Current children cumulated CPU time (s) 2261.57
Current children cumulated vsize (KiB) 1781484
[startup+2322.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 23417
/proc/meminfo: memFree=14872/2055920 swapFree=4159972/4192956
[pid=23216] ppid=23214 vsize=1823208 CPUtime=2321.56
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 455728 0 0 0 231917 239 0 0 25 0 1 0 200866750 1866964992 455713 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534386 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 455802 455713 66 113 0 455686 0
Current children cumulated CPU time (s) 2321.56
Current children cumulated vsize (KiB) 1823208
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2348 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 23417
/proc/meminfo: memFree=16344/2055920 swapFree=4159972/4192956
[pid=23216] ppid=23214 vsize=1843364 CPUtime=2347.25
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4194304 460751 0 0 0 234483 242 0 0 25 0 1 0 200866750 1887604736 460736 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 460841 460736 66 113 0 460725 0
Current children cumulated CPU time (s) 2347.25
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+2348.2 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 23417
/proc/meminfo: memFree=16344/2055920 swapFree=4159972/4192956
[pid=23216] ppid=23214 vsize=0 CPUtime=2347.45
/proc/23216/stat : 23216 (tts-4-0) R 23214 23216 23160 0 -1 4195332 460751 0 0 0 234483 262 0 0 25 0 1 0 200866750 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2347.45
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2348.29
CPU time (s): 2347.55
CPU user time (s): 2344.84
CPU system time (s): 2.71459
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1843364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2344.84
system time used= 2.71459
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460751
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= 48012
runsolver used 2.84957 second user time and 5.34719 second system time
The end
Begin job on node12 on Sun Apr 22 13:24:54 UTC 2007
IDJOB= 368602
IDBENCH= 24602
IDSOLVER= 178
FILE ID= node12/368602-1177248294
PBS_JOBID= 4650573
Free space on /tmp= 66382 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/368602-1177248294/tts-4-0 /tmp/evaluation/368602-1177248294/instance-368602-1177248294.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-368602-1177248294 -o ROOT/results/node12/solver-368602-1177248294 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368602-1177248294/tts-4-0 /tmp/evaluation/368602-1177248294/instance-368602-1177248294.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 87d9c7ce297970bb210f40783f709fcc
RANDOM SEED= 183984874
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node12.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: 1700656 kB
Buffers: 73776 kB
Cached: 200868 kB
SwapCached: 11568 kB
Active: 190012 kB
Inactive: 107984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1700656 kB
SwapTotal: 4192956 kB
SwapFree: 4159980 kB
Dirty: 720 kB
Writeback: 0 kB
Mapped: 29592 kB
Slab: 42856 kB
Committed_AS: 6068580 kB
PageTables: 1792 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= 66382 MiB
End job on node12 on Sun Apr 22 14:04:04 UTC 2007