runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-319307-1173028945 -o ROOT/results/node29/solver-319307-1173028945 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319307-1173028945/tts-4-0 /tmp/evaluation/319307-1173028945/instance-319307-1173028945.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.00 0.00 0.00 3/77 27101
/proc/meminfo: memFree=1526112/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=796 CPUtime=0
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 296658826 815104 101 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 199 102 57 113 0 83 0
[startup+0.0261909 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 27101
/proc/meminfo: memFree=1526112/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1596 CPUtime=0.02
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 315 0 0 0 2 0 0 0 18 0 1 0 296658826 1634304 300 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 399 300 57 113 0 283 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1596
[startup+0.101196 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 27101
/proc/meminfo: memFree=1526112/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=4504 CPUtime=0.09
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 1011 0 0 0 9 0 0 0 18 0 1 0 296658826 4612096 996 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 1126 996 57 113 0 1010 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4504
[startup+0.301207 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 27101
/proc/meminfo: memFree=1526112/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=11804 CPUtime=0.29
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 2800 0 0 0 28 1 0 0 19 0 1 0 296658826 12087296 2785 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134647773 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 2951 2786 57 113 0 2835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11804
[startup+0.701234 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 27101
/proc/meminfo: memFree=1526112/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=15836 CPUtime=0.69
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 3780 0 0 0 68 1 0 0 23 0 1 0 296658826 16216064 3765 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134524112 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 3959 3765 58 113 0 3843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15836
[startup+1.50228 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 27102
/proc/meminfo: memFree=1482136/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=52540 CPUtime=1.49
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 12926 0 0 0 144 5 0 0 25 0 1 0 296658826 53800960 12825 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134555198 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 13135 12825 62 113 0 13019 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52540
[startup+3.10138 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 27102
/proc/meminfo: memFree=1474776/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=52540 CPUtime=3.09
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 12926 0 0 0 304 5 0 0 25 0 1 0 296658826 53800960 12825 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554486 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 13135 12825 62 113 0 13019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52540
[startup+6.30157 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 27102
/proc/meminfo: memFree=1474648/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=52540 CPUtime=6.29
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 12926 0 0 0 624 5 0 0 25 0 1 0 296658826 53800960 12825 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554486 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 13135 12825 62 113 0 13019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52540
[startup+12.702 s]
/proc/loadavg: 0.15 0.03 0.01 2/78 27102
/proc/meminfo: memFree=1474584/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=52540 CPUtime=12.69
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 12926 0 0 0 1264 5 0 0 25 0 1 0 296658826 53800960 12825 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134554504 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 13135 12825 62 113 0 13019 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52540
[startup+25.5017 s]
/proc/loadavg: 0.34 0.08 0.02 2/78 27102
/proc/meminfo: memFree=1346840/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=185396 CPUtime=25.48
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 46781 0 0 0 2528 20 0 0 25 0 1 0 296658826 189845504 46072 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591973 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 46349 46072 66 113 0 46233 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 185396
[startup+51.1013 s]
/proc/loadavg: 0.64 0.17 0.05 2/78 27102
/proc/meminfo: memFree=1199576/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=345036 CPUtime=51.08
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 82184 0 0 0 5071 37 0 0 25 0 1 0 296658826 353316864 81475 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 86259 81475 66 113 0 86143 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 345036
[startup+102.305 s]
/proc/loadavg: 0.84 0.29 0.10 2/78 27102
/proc/meminfo: memFree=1064856/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=519924 CPUtime=102.27
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 115767 0 0 0 10174 53 0 0 25 0 1 0 296658826 532402176 115058 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 129981 115058 66 113 0 129865 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 519924
[startup+162.301 s]
/proc/loadavg: 0.94 0.42 0.16 2/78 27102
/proc/meminfo: memFree=1064792/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=519924 CPUtime=162.26
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 115770 0 0 0 16172 54 0 0 25 0 1 0 296658826 532402176 115061 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 129981 115061 66 113 0 129865 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 519924
[startup+222.302 s]
/proc/loadavg: 0.98 0.52 0.21 2/78 27104
/proc/meminfo: memFree=1063832/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=521364 CPUtime=222.24
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 116004 0 0 0 22170 54 0 0 25 0 1 0 296658826 533876736 115295 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 130341 115295 66 113 0 130225 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 521364
[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/78 27104
/proc/meminfo: memFree=1060824/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=525708 CPUtime=282.22
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 116762 0 0 0 28167 55 0 0 25 0 1 0 296658826 538324992 116053 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591895 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 131427 116053 66 113 0 131311 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 525708
[startup+342.301 s]
/proc/loadavg: 0.99 0.68 0.30 2/78 27104
/proc/meminfo: memFree=1059352/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=527684 CPUtime=342.22
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 117116 0 0 0 34166 56 0 0 25 0 1 0 296658826 540348416 116407 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 131921 116407 66 113 0 131805 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 527684
[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/78 27104
/proc/meminfo: memFree=1059096/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=528160 CPUtime=402.2
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 117196 0 0 0 40164 56 0 0 25 0 1 0 296658826 540835840 116487 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 132040 116487 66 113 0 131924 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 528160
[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.38 2/78 27104
/proc/meminfo: memFree=1046040/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=548004 CPUtime=462.18
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 120457 0 0 0 46160 58 0 0 25 0 1 0 296658826 561156096 119748 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 137001 119748 66 113 0 136885 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 548004
[startup+522.301 s]
/proc/loadavg: 0.99 0.82 0.41 2/78 27104
/proc/meminfo: memFree=968984/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=661504 CPUtime=522.17
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 139683 0 0 0 52150 67 0 0 25 0 1 0 296658826 677380096 138974 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 165376 138974 66 113 0 165260 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 661504
[startup+582.302 s]
/proc/loadavg: 0.99 0.85 0.45 2/78 27104
/proc/meminfo: memFree=818008/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=839148 CPUtime=582.16
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 177332 0 0 0 58134 82 0 0 25 0 1 0 296658826 859287552 176623 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535616 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 209787 176623 66 113 0 209671 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 839148
[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/78 27104
/proc/meminfo: memFree=801688/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=857436 CPUtime=642.15
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 181405 0 0 0 64130 85 0 0 25 0 1 0 296658826 878014464 180696 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 214359 180696 66 113 0 214243 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 857436
[startup+702.302 s]
/proc/loadavg: 0.99 0.89 0.51 2/78 27104
/proc/meminfo: memFree=604696/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1075992 CPUtime=702.14
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 232577 0 0 0 70106 108 0 0 25 0 1 0 296658826 1101815808 231868 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591895 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 268998 231868 66 113 0 268882 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 1075992
[startup+762.306 s]
/proc/loadavg: 0.99 0.91 0.54 2/78 27104
/proc/meminfo: memFree=542488/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1130024 CPUtime=762.12
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 246059 0 0 0 76099 113 0 0 25 0 1 0 296658826 1157144576 245350 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 282506 245350 66 113 0 282390 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 1130024
[startup+822.301 s]
/proc/loadavg: 0.99 0.92 0.56 2/78 27104
/proc/meminfo: memFree=542488/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1130024 CPUtime=822.11
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 246062 0 0 0 82097 114 0 0 25 0 1 0 296658826 1157144576 245353 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552152 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 282506 245353 66 113 0 282390 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 1130024
[startup+882.302 s]
/proc/loadavg: 0.99 0.93 0.58 2/78 27104
/proc/meminfo: memFree=542488/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1130024 CPUtime=882.09
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 246065 0 0 0 88095 114 0 0 25 0 1 0 296658826 1157144576 245356 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 282506 245356 66 113 0 282390 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1130024
[startup+942.302 s]
/proc/loadavg: 0.99 0.94 0.61 2/78 27104
/proc/meminfo: memFree=542424/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1130024 CPUtime=942.09
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 246083 0 0 0 94094 115 0 0 25 0 1 0 296658826 1157144576 245374 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134536071 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 282506 245374 66 113 0 282390 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 1130024
[startup+1002.3 s]
/proc/loadavg: 1.03 0.97 0.64 2/78 27104
/proc/meminfo: memFree=542104/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1130392 CPUtime=1002.07
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 246151 0 0 0 100092 115 0 0 25 0 1 0 296658826 1157521408 245442 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 282598 245442 66 113 0 282482 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1130392
[startup+1062.3 s]
/proc/loadavg: 1.01 0.97 0.65 2/78 27104
/proc/meminfo: memFree=541912/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1130656 CPUtime=1062.05
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 246219 0 0 0 106090 115 0 0 25 0 1 0 296658826 1157791744 245510 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 282664 245510 66 113 0 282548 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1130656
[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.67 2/78 27104
/proc/meminfo: memFree=538712/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1133828 CPUtime=1122.04
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 247010 0 0 0 112088 116 0 0 25 0 1 0 296658826 1161039872 246301 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 283457 246301 66 113 0 283341 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1133828
[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.69 2/78 27104
/proc/meminfo: memFree=538712/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1133828 CPUtime=1182.04
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 247016 0 0 0 118087 117 0 0 25 0 1 0 296658826 1161039872 246307 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 283457 246307 66 113 0 283341 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 1133828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/78 27104
/proc/meminfo: memFree=538648/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=1133828 CPUtime=1200.03
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4194304 247020 0 0 0 119886 117 0 0 25 0 1 0 296658826 1161039872 246311 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 283457 246311 66 113 0 283341 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 1133828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.41 s]
/proc/loadavg: 1.00 0.97 0.70 2/78 27104
/proc/meminfo: memFree=538648/2055920 swapFree=4147692/4192956
[pid=27101] ppid=27099 vsize=0 CPUtime=1200.13
/proc/27101/stat : 27101 (tts-4-0) R 27099 27101 27044 0 -1 4195332 247020 0 0 0 119886 127 0 0 25 0 1 0 296658826 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/27101/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.46
CPU time (s): 1200.2
CPU user time (s): 1198.87
CPU system time (s): 1.3298
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 1133828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.87
system time used= 1.3298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247020
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= 24915
runsolver used 1.39879 second user time and 2.86056 second system time
The end
Begin job on node29 on Sun Mar 4 17:22:26 UTC 2007
IDJOB= 319307
IDBENCH= 20476
IDSOLVER= 98
FILE ID= node29/319307-1173028945
PBS_JOBID= 4012464
Free space on /tmp= 66548 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/industrial/crypto/mizh-sha0-35-4.cnf
COMMAND LINE= /tmp/evaluation/319307-1173028945/tts-4-0 /tmp/evaluation/319307-1173028945/instance-319307-1173028945.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-319307-1173028945 -o ROOT/results/node29/solver-319307-1173028945 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319307-1173028945/tts-4-0 /tmp/evaluation/319307-1173028945/instance-319307-1173028945.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 688db06c82a913ab415a179d73ef53d1
RANDOM SEED= 66692155
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node29.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.209
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 : 5931.00
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.209
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: 1526584 kB
Buffers: 37956 kB
Cached: 408696 kB
SwapCached: 12348 kB
Active: 168996 kB
Inactive: 300988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1526584 kB
SwapTotal: 4192956 kB
SwapFree: 4147692 kB
Dirty: 4552 kB
Writeback: 0 kB
Mapped: 30208 kB
Slab: 44796 kB
Committed_AS: 821416 kB
PageTables: 1864 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= 66548 MiB
End job on node29 on Sun Mar 4 17:42:28 UTC 2007