runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3725577-1338645228/watcher-3725577-1338645228 -o /tmp/evaluation-result-3725577-1338645228/solver-3725577-1338645228 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725577-1338645228.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5734
/proc/meminfo: memFree=27170260/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 330646896 6373376 740 33554432000 4194304 8989770 140736321165872 140735324184968 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 1556 744 428 1171 0 333 0
[startup+0.0536259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5734
/proc/meminfo: memFree=27170260/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=10320 CPUtime=0.04 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 1663 0 0 0 4 0 0 0 20 0 1 0 330646896 10567680 1584 33554432000 4194304 8989770 140736321165872 140735324184968 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 2580 1584 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10320
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5734
/proc/meminfo: memFree=27170260/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=13392 CPUtime=0.09 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 2409 0 0 0 9 0 0 0 20 0 1 0 330646896 13713408 2330 33554432000 4194304 8989770 140736321165872 140735324184968 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 3348 2330 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5734
/proc/meminfo: memFree=27170260/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=23632 CPUtime=0.29 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 5103 0 0 0 29 0 0 0 20 0 1 0 330646896 24199168 5024 33554432000 4194304 8989770 140736321165872 140735324184968 4213859 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 5908 5031 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632
[startup+0.700275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5734
/proc/meminfo: memFree=27170260/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=44112 CPUtime=0.69 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 10304 0 0 0 68 1 0 0 20 0 1 0 330646896 45170688 10225 33554432000 4194304 8989770 140736321165872 140735324184968 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 11028 10225 431 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27101152/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=92240 CPUtime=1.49 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 22367 0 0 0 146 3 0 0 20 0 1 0 330646896 94453760 22288 33554432000 4194304 8989770 140736321165872 140736321164712 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 23060 22288 456 1171 0 21837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92240
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27078088/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=96336 CPUtime=3.09 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 23397 0 0 0 306 3 0 0 20 0 1 0 330646896 98648064 23318 33554432000 4194304 8989770 140736321165872 140736321165368 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 24084 23318 462 1171 0 22861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96336
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27077868/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=96336 CPUtime=6.29 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 23397 0 0 0 625 4 0 0 20 0 1 0 330646896 98648064 23318 33554432000 4194304 8989770 140736321165872 140736321165136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 24084 23318 462 1171 0 22861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96336
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27075920/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=97360 CPUtime=12.68 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 23653 0 0 0 1263 5 0 0 20 0 1 0 330646896 99696640 23574 33554432000 4194304 8989770 140736321165872 140736321165368 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 24340 23574 462 1171 0 23117 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 97360
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27071852/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=98384 CPUtime=25.48 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 23909 0 0 0 2541 7 0 0 20 0 1 0 330646896 100745216 23830 33554432000 4194304 8989770 140736321165872 140736321165368 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 24596 23830 462 1171 0 23373 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98384
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27066984/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=100432 CPUtime=51.08 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 24421 0 0 0 5096 12 0 0 20 0 1 0 330646896 102842368 24342 33554432000 4194304 8989770 140736321165872 140736321163840 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 25108 24342 462 1171 0 23885 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100432
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27054256/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=103504 CPUtime=102.28 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 25189 0 0 0 10208 20 0 0 20 0 1 0 330646896 105988096 25110 33554432000 4194304 8989770 140736321165872 140736321165136 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 25876 25110 462 1171 0 24653 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 103504
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27042752/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=104528 CPUtime=162.27 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 25445 0 0 0 16196 31 0 0 20 0 1 0 330646896 107036672 25366 33554432000 4194304 8989770 140736321165872 140736321165368 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 26132 25366 462 1171 0 24909 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 104528
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5735
/proc/meminfo: memFree=27029760/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=107600 CPUtime=222.25 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 26213 0 0 0 22183 42 0 0 20 0 1 0 330646896 110182400 26134 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 26900 26134 462 1171 0 25677 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 107600
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5736
/proc/meminfo: memFree=27016900/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=107600 CPUtime=282.25 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 26214 0 0 0 28175 50 0 0 20 0 1 0 330646896 110182400 26139 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 26900 26139 462 1171 0 25677 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 107600
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5736
/proc/meminfo: memFree=27004144/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=110672 CPUtime=342.23 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 27003 0 0 0 34162 61 0 0 20 0 1 0 330646896 113328128 26907 33554432000 4194304 8989770 140736321165872 140736321163840 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 27668 26907 462 1171 0 26445 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 110672
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 5739
/proc/meminfo: memFree=26995388/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=111696 CPUtime=402.22 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 27259 0 0 0 40149 73 0 0 20 0 1 0 330646896 114376704 27163 33554432000 4194304 8989770 140736321165872 140736321165136 4209256 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 27924 27163 462 1171 0 26701 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 111696
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5762
/proc/meminfo: memFree=26984288/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=114768 CPUtime=462.21 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 28027 0 0 0 46138 83 0 0 20 0 1 0 330646896 117522432 27931 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 28692 27931 462 1171 0 27469 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 114768
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5762
/proc/meminfo: memFree=26974052/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=117840 CPUtime=522.2 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 28795 0 0 0 52125 95 0 0 20 0 1 0 330646896 120668160 28699 33554432000 4194304 8989770 140736321165872 140736321165136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 29460 28699 462 1171 0 28237 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 117840
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5762
/proc/meminfo: memFree=26964140/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=118864 CPUtime=582.19 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 29051 0 0 0 58111 108 0 0 20 0 1 0 330646896 121716736 28955 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 29716 28955 462 1171 0 28493 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 118864
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5802
/proc/meminfo: memFree=27376156/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=130128 CPUtime=882.14 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 31874 0 0 0 88046 168 0 0 20 0 1 0 330646896 133251072 31771 33554432000 4194304 8989770 140736321165872 140736321165368 4209136 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 32532 31771 462 1171 0 31309 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 130128
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5803
/proc/meminfo: memFree=27374796/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=132176 CPUtime=942.14 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 32386 0 0 0 94033 181 0 0 20 0 1 0 330646896 135348224 32283 33554432000 4194304 8989770 140736321165872 140736321163840 6587869 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 33044 32283 462 1171 0 31821 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 132176
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 5806
/proc/meminfo: memFree=27371868/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=135248 CPUtime=1002.12 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 33154 0 0 0 100018 194 0 0 20 0 1 0 330646896 138493952 33051 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 33812 33051 462 1171 0 32589 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 135248
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5806
/proc/meminfo: memFree=27368344/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=136272 CPUtime=1062.11 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 33410 0 0 0 106007 204 0 0 20 0 1 0 330646896 139542528 33307 33554432000 4194304 8989770 140736321165872 140736321163840 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 34068 33307 462 1171 0 32845 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 136272
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5806
/proc/meminfo: memFree=27361588/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=138320 CPUtime=1122.1 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 33922 0 0 0 111995 215 0 0 20 0 1 0 330646896 141639680 33819 33554432000 4194304 8989770 140736321165872 140736321163840 4209439 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 34580 33819 462 1171 0 33357 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 138320
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5806
/proc/meminfo: memFree=27360780/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=139344 CPUtime=1182.1 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 34178 0 0 0 117982 228 0 0 20 0 1 0 330646896 142688256 34075 33554432000 4194304 8989770 140736321165872 140736321165136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 34836 34075 462 1171 0 33613 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 139344
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5807
/proc/meminfo: memFree=27354580/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=142416 CPUtime=1242.09 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 34946 0 0 0 123968 241 0 0 20 0 1 0 330646896 145833984 34843 33554432000 4194304 8989770 140736321165872 140736321165368 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 35604 34843 462 1171 0 34381 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 142416
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5807
/proc/meminfo: memFree=27350232/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=145488 CPUtime=1302.08 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 35715 0 0 0 129956 252 0 0 20 0 1 0 330646896 148979712 35611 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 36372 35611 462 1171 0 35149 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 145488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5807
/proc/meminfo: memFree=27347880/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=146512 CPUtime=1362.07 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 35971 0 0 0 135942 265 0 0 20 0 1 0 330646896 150028288 35867 33554432000 4194304 8989770 140736321165872 140736321165368 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 36628 35867 462 1171 0 35405 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 146512
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5807
/proc/meminfo: memFree=27346888/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=146512 CPUtime=1422.07 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 35971 0 0 0 141930 277 0 0 20 0 1 0 330646896 150028288 35867 33554432000 4194304 8989770 140736321165872 140736321165368 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 36628 35867 462 1171 0 35405 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 146512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5807
/proc/meminfo: memFree=27340376/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=149584 CPUtime=1482.06 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 36739 0 0 0 147915 291 0 0 20 0 1 0 330646896 153174016 36635 33554432000 4194304 8989770 140736321165872 140736321163840 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 37396 36635 462 1171 0 36173 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 149584
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5808
/proc/meminfo: memFree=27335780/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=150608 CPUtime=1542.04 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 36995 0 0 0 153901 303 0 0 20 0 1 0 330646896 154222592 36891 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 37652 36891 462 1171 0 36429 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 150608
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5811
/proc/meminfo: memFree=27335036/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=151632 CPUtime=1602.04 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 37251 0 0 0 159890 314 0 0 20 0 1 0 330646896 155271168 37147 33554432000 4194304 8989770 140736321165872 140736321165192 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 37908 37147 462 1171 0 36685 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 151632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5811
/proc/meminfo: memFree=27329088/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=154704 CPUtime=1662.02 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 38020 0 0 0 165874 328 0 0 20 0 1 0 330646896 158416896 37915 33554432000 4194304 8989770 140736321165872 140736321165136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 38676 37915 462 1171 0 37453 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 154704
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5811
/proc/meminfo: memFree=27325988/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=156752 CPUtime=1722.02 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 38532 0 0 0 171860 342 0 0 20 0 1 0 330646896 160514048 38427 33554432000 4194304 8989770 140736321165872 140736321163840 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 39188 38427 462 1171 0 37965 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 156752
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5811
/proc/meminfo: memFree=27324504/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=157776 CPUtime=1782.01 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 38788 0 0 0 177845 356 0 0 20 0 1 0 330646896 161562624 38683 33554432000 4194304 8989770 140736321165872 140736321163840 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 39444 38683 462 1171 0 38221 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 157776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5811
/proc/meminfo: memFree=27322948/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=157776 CPUtime=1800 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 38788 0 0 0 179639 361 0 0 20 0 1 0 330646896 161562624 38683 33554432000 4194304 8989770 140736321165872 140736321163840 7683285 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 39444 38683 462 1171 0 38221 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 157776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5811
/proc/meminfo: memFree=27322948/32873648 swapFree=7368/7368
[pid=5734] ppid=5732 vsize=157776 CPUtime=1800 cores=0,2,4,6
/proc/5734/stat : 5734 (toysat) R 5732 5734 3777 0 -1 4202496 38788 0 0 0 179639 361 0 0 20 0 1 0 330646896 161562624 38683 33554432000 4194304 8989770 140736321165872 140736321163840 7683285 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5734/statm: 39444 38683 462 1171 0 38221 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 157776
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1796.4
CPU system time (s): 3.61945
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 157776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.4
system time used= 3.61945
maximum resident set size= 154732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38788
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= 34
involuntary context switches= 1851
runsolver used 3.40348 second user time and 9.41257 second system time
The end