runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node54/watcher-368689-1177278193 -o ROOT/results/node54/solver-368689-1177278193 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368689-1177278193/tts-4-0 /tmp/evaluation/368689-1177278193/instance-368689-1177278193.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: 1.00 1.00 1.00 3/66 21894
/proc/meminfo: memFree=1637440/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=936 CPUtime=0
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 120 0 0 0 0 0 0 0 18 0 1 0 175193760 958464 105 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134630100 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 234 105 57 113 0 118 0
[startup+0.103027 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 21894
/proc/meminfo: memFree=1637440/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=5832 CPUtime=0.09
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 1346 0 0 0 9 0 0 0 18 0 1 0 175193760 5971968 1331 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134555203 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 1458 1331 62 113 0 1342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5832
[startup+0.201038 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 21894
/proc/meminfo: memFree=1637440/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=11192 CPUtime=0.19
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 2708 0 0 0 19 0 0 0 18 0 1 0 175193760 11460608 2693 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 2798 2694 65 113 0 2682 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11192
[startup+0.301051 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 21894
/proc/meminfo: memFree=1637440/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=16548 CPUtime=0.29
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 4049 0 0 0 28 1 0 0 19 0 1 0 175193760 16945152 4032 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 4137 4032 66 113 0 4021 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16548
[startup+0.701101 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 21894
/proc/meminfo: memFree=1637440/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=20016 CPUtime=0.69
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 4917 0 0 0 68 1 0 0 22 0 1 0 175193760 20496384 4900 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 5004 4900 66 113 0 4888 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20016
[startup+1.5022 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1617528/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=20948 CPUtime=1.49
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 5127 0 0 0 148 1 0 0 25 0 1 0 175193760 21450752 5110 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 5237 5110 66 113 0 5121 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20948
[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1617016/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=28388 CPUtime=3.09
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 7031 0 0 0 307 2 0 0 25 0 1 0 175193760 29069312 7014 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 7097 7014 66 113 0 6981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28388
[startup+6.30181 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1607864/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=35880 CPUtime=6.29
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 8899 0 0 0 626 3 0 0 25 0 1 0 175193760 36741120 8882 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513462 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 8970 8882 66 113 0 8854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35880
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1601208/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=37204 CPUtime=12.68
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 9211 0 0 0 1265 3 0 0 25 0 1 0 175193760 38096896 9194 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641326 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 9301 9194 66 113 0 9185 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37204
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1599224/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=38512 CPUtime=25.48
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 9525 0 0 0 2545 3 0 0 25 0 1 0 175193760 39436288 9508 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641316 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 9628 9508 66 113 0 9512 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38512
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1597560/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=40048 CPUtime=51.07
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 9942 0 0 0 5103 4 0 0 25 0 1 0 175193760 41009152 9925 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 10012 9925 66 113 0 9896 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40048
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1593848/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=43676 CPUtime=102.27
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 10859 0 0 0 10221 6 0 0 25 0 1 0 175193760 44724224 10842 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 10919 10842 66 113 0 10803 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43676
[startup+162.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 21895
/proc/meminfo: memFree=1589752/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=47964 CPUtime=162.24
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 11897 0 0 0 16218 6 0 0 25 0 1 0 175193760 49115136 11880 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134543340 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 11991 11880 66 113 0 11875 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47964
[startup+222.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/67 21895
/proc/meminfo: memFree=1585464/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=52196 CPUtime=222.23
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 12936 0 0 0 22216 7 0 0 25 0 1 0 175193760 53448704 12919 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534103 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 13049 12919 66 113 0 12933 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52196
[startup+282.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1581304/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=56188 CPUtime=282.2
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 13972 0 0 0 28212 8 0 0 25 0 1 0 175193760 57536512 13955 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134536028 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 14047 13955 66 113 0 13931 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 56188
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1577720/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=59704 CPUtime=342.18
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 14855 0 0 0 34209 9 0 0 25 0 1 0 175193760 61136896 14838 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 14926 14838 66 113 0 14810 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 59704
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1574328/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=63220 CPUtime=402.17
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 15694 0 0 0 40207 10 0 0 25 0 1 0 175193760 64737280 15677 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 15805 15677 66 113 0 15689 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 63220
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1571448/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=66032 CPUtime=462.15
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 16421 0 0 0 46205 10 0 0 25 0 1 0 175193760 67616768 16404 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 16508 16404 66 113 0 16392 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 66032
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1568312/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=69080 CPUtime=522.14
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 17203 0 0 0 52203 11 0 0 25 0 1 0 175193760 70737920 17186 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 17270 17186 66 113 0 17154 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 69080
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1564280/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=73064 CPUtime=582.11
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 18197 0 0 0 58200 11 0 0 25 0 1 0 175193760 74817536 18180 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534071 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 18266 18180 66 113 0 18150 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 73064
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21895
/proc/meminfo: memFree=1561336/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=76112 CPUtime=642.1
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 18943 0 0 0 64198 12 0 0 25 0 1 0 175193760 77938688 18926 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 19028 18926 66 113 0 18912 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 76112
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1473848/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=163424 CPUtime=4001
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 40760 0 0 0 400063 37 0 0 25 0 1 0 175193760 167346176 40743 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 40856 40743 66 113 0 40740 0
Current children cumulated CPU time (s) 4001
Current children cumulated vsize (KiB) 163424
[startup+4062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1472632/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=164596 CPUtime=4060.98
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 41056 0 0 0 406061 37 0 0 25 0 1 0 175193760 168546304 41039 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 41149 41039 66 113 0 41033 0
Current children cumulated CPU time (s) 4060.98
Current children cumulated vsize (KiB) 164596
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1471672/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=165532 CPUtime=4120.95
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 41296 0 0 0 412058 37 0 0 25 0 1 0 175193760 169504768 41279 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 41383 41279 66 113 0 41267 0
Current children cumulated CPU time (s) 4120.95
Current children cumulated vsize (KiB) 165532
[startup+4182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1470840/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=166472 CPUtime=4180.95
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 41519 0 0 0 418057 38 0 0 25 0 1 0 175193760 170467328 41502 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534189 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 41618 41502 66 113 0 41502 0
Current children cumulated CPU time (s) 4180.95
Current children cumulated vsize (KiB) 166472
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1470136/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=167176 CPUtime=4240.92
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 41684 0 0 0 424054 38 0 0 25 0 1 0 175193760 171188224 41667 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 41794 41667 66 113 0 41678 0
Current children cumulated CPU time (s) 4240.92
Current children cumulated vsize (KiB) 167176
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1469368/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=167876 CPUtime=4300.9
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 41872 0 0 0 430052 38 0 0 25 0 1 0 175193760 171905024 41855 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 41969 41855 66 113 0 41853 0
Current children cumulated CPU time (s) 4300.9
Current children cumulated vsize (KiB) 167876
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1468152/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=169048 CPUtime=4360.89
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 42162 0 0 0 436050 39 0 0 25 0 1 0 175193760 173105152 42145 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534063 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 42262 42145 66 113 0 42146 0
Current children cumulated CPU time (s) 4360.89
Current children cumulated vsize (KiB) 169048
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1467128/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=169988 CPUtime=4420.87
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 42431 0 0 0 442048 39 0 0 25 0 1 0 175193760 174067712 42414 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134513483 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 42497 42414 66 113 0 42381 0
Current children cumulated CPU time (s) 4420.87
Current children cumulated vsize (KiB) 169988
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1466296/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=170924 CPUtime=4480.85
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 42628 0 0 0 448046 39 0 0 25 0 1 0 175193760 175026176 42611 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 42731 42611 66 113 0 42615 0
Current children cumulated CPU time (s) 4480.85
Current children cumulated vsize (KiB) 170924
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1465656/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=171628 CPUtime=4540.83
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 42801 0 0 0 454044 39 0 0 25 0 1 0 175193760 175747072 42784 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 42907 42784 66 113 0 42791 0
Current children cumulated CPU time (s) 4540.83
Current children cumulated vsize (KiB) 171628
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1464888/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=172332 CPUtime=4600.81
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 42968 0 0 0 460042 39 0 0 25 0 1 0 175193760 176467968 42951 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534063 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 43083 42951 66 113 0 42967 0
Current children cumulated CPU time (s) 4600.81
Current children cumulated vsize (KiB) 172332
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22095
/proc/meminfo: memFree=1464312/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=172800 CPUtime=4660.79
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 43129 0 0 0 466040 39 0 0 25 0 1 0 175193760 176947200 43112 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 43200 43112 66 113 0 43084 0
Current children cumulated CPU time (s) 4660.79
Current children cumulated vsize (KiB) 172800
[startup+4722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22293
/proc/meminfo: memFree=1463096/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=173736 CPUtime=4720.69
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 43358 0 0 0 472029 40 0 0 25 0 1 0 175193760 177905664 43341 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 43434 43341 66 113 0 43318 0
Current children cumulated CPU time (s) 4720.69
Current children cumulated vsize (KiB) 173736
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22293
/proc/meminfo: memFree=1462648/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=174440 CPUtime=4780.66
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 43504 0 0 0 478026 40 0 0 25 0 1 0 175193760 178626560 43487 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 43610 43487 66 113 0 43494 0
Current children cumulated CPU time (s) 4780.66
Current children cumulated vsize (KiB) 174440
[startup+4842.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22293
/proc/meminfo: memFree=1461432/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=175612 CPUtime=4840.65
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 43824 0 0 0 484024 41 0 0 25 0 1 0 175193760 179826688 43807 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534138 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 43903 43807 66 113 0 43787 0
Current children cumulated CPU time (s) 4840.65
Current children cumulated vsize (KiB) 175612
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22293
/proc/meminfo: memFree=1460344/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=176784 CPUtime=4900.63
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 44129 0 0 0 490022 41 0 0 25 0 1 0 175193760 181026816 44112 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534138 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 44196 44112 66 113 0 44080 0
Current children cumulated CPU time (s) 4900.63
Current children cumulated vsize (KiB) 176784
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22293
/proc/meminfo: memFree=1459640/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=177488 CPUtime=4960.61
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 44298 0 0 0 496019 42 0 0 25 0 1 0 175193760 181747712 44281 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 44372 44281 66 113 0 44256 0
Current children cumulated CPU time (s) 4960.61
Current children cumulated vsize (KiB) 177488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22293
/proc/meminfo: memFree=1459128/2055920 swapFree=4182084/4192956
[pid=21894] ppid=21892 vsize=177956 CPUtime=5000.01
/proc/21894/stat : 21894 (tts-4-0) R 21892 21894 21599 0 -1 4194304 44418 0 0 0 499959 42 0 0 25 0 1 0 175193760 182226944 44401 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/21894/statm: 44489 44401 66 113 0 44373 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 177956
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.74
CPU time (s): 5000.04
CPU user time (s): 4999.59
CPU system time (s): 0.450931
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 177956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.59
system time used= 0.450931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44418
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= 11796
runsolver used 4.51431 second user time and 13.6899 second system time
The end
Begin job on node54 on Sun Apr 22 21:43:13 UTC 2007
IDJOB= 368689
IDBENCH= 24694
IDSOLVER= 178
FILE ID= node54/368689-1177278193
PBS_JOBID= 4650737
Free space on /tmp= 66339 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/368689-1177278193/tts-4-0 /tmp/evaluation/368689-1177278193/instance-368689-1177278193.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-368689-1177278193 -o ROOT/results/node54/solver-368689-1177278193 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368689-1177278193/tts-4-0 /tmp/evaluation/368689-1177278193/instance-368689-1177278193.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 8bbab1b2b788407ca952856a1e2edded
RANDOM SEED= 583295330
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node54.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: 1637784 kB
Buffers: 46572 kB
Cached: 295216 kB
SwapCached: 3856 kB
Active: 168644 kB
Inactive: 182788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1637784 kB
SwapTotal: 4192956 kB
SwapFree: 4182084 kB
Dirty: 844 kB
Writeback: 0 kB
Mapped: 15680 kB
Slab: 52632 kB
Committed_AS: 2225276 kB
PageTables: 1412 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66339 MiB
End job on node54 on Sun Apr 22 23:06:37 UTC 2007