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-3725500-1338642345/watcher-3725500-1338642345 -o /tmp/evaluation-result-3725500-1338642345/solver-3725500-1338642345 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725500-1338642345.opb
running on 4 cores: 1,3,5,7
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 7916
/proc/meminfo: memFree=27581828/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 832 0 0 0 0 0 0 0 20 0 1 0 330359572 6373376 751 33554432000 4194304 8989770 140737170231952 140737170215048 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 1556 751 428 1171 0 333 0
[startup+0.076451 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7916
/proc/meminfo: memFree=27581828/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=10320 CPUtime=0.07 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 1859 0 0 0 7 0 0 0 20 0 1 0 330359572 10567680 1778 33554432000 4194304 8989770 140737170231952 140737170215048 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 2580 1778 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10320
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7916
/proc/meminfo: memFree=27581828/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 2337 0 0 0 9 0 0 0 20 0 1 0 330359572 12664832 2256 33554432000 4194304 8989770 140737170231952 140737170215048 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 3092 2256 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7916
/proc/meminfo: memFree=27581828/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=26704 CPUtime=0.29 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 5954 0 0 0 28 1 0 0 20 0 1 0 330359572 27344896 5873 33554432000 4194304 8989770 140737170231952 140737170215048 7082131 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 6676 5874 431 1171 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26704
[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7916
/proc/meminfo: memFree=27581828/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=49232 CPUtime=0.69 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 11354 0 0 0 67 2 0 0 20 0 1 0 330359572 50413568 11273 33554432000 4194304 8989770 140737170231952 140737170215048 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 12308 11284 431 1171 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49232
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27512124/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=98384 CPUtime=1.49 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 23875 0 0 0 145 4 0 0 20 0 1 0 330359572 100745216 23794 33554432000 4194304 8989770 140737170231952 140737170230792 5797840 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 24596 23794 431 1171 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98384
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27456440/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=174160 CPUtime=3.09 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 42819 0 0 0 301 8 0 0 20 0 1 0 330359572 178339840 42738 33554432000 4194304 8989770 140737170231952 140737170231448 5757587 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 43540 42738 431 1171 0 42317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174160
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27286932/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=299088 CPUtime=6.29 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 74086 0 0 0 614 15 0 0 20 0 1 0 330359572 306266112 74005 33554432000 4194304 8989770 140737170231952 140737170231448 4426121 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 74772 74005 460 1171 0 73549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 299088
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27284568/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=301136 CPUtime=12.69 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 74610 0 0 0 1252 17 0 0 20 0 1 0 330359572 308363264 74533 33554432000 4194304 8989770 140737170231952 140737170231448 7723232 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 75284 74533 471 1171 0 74061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 301136
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27269796/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=316496 CPUtime=25.48 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 78456 0 0 0 2524 24 0 0 20 0 1 0 330359572 324091904 78373 33554432000 4194304 8989770 140737170231952 140737170231448 4209168 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 79124 78373 471 1171 0 77901 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 316496
[startup+51.1003 s]
/proc/loadavg: 1.94 1.98 1.99 3/174 8060
/proc/meminfo: memFree=27246848/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=323664 CPUtime=51.07 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 80256 0 0 0 5073 34 0 0 20 0 1 0 330359572 331431936 80165 33554432000 4194304 8989770 140737170231952 140737170231448 7688479 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 80916 80165 471 1171 0 79693 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 323664
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8070
/proc/meminfo: memFree=24369180/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=349264 CPUtime=102.25 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 86672 0 0 0 10170 55 0 0 20 0 1 0 330359572 357646336 86565 33554432000 4194304 8989770 140737170231952 140737170231448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 87316 86565 471 1171 0 86093 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 349264
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8070
/proc/meminfo: memFree=20554720/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=376912 CPUtime=162.21 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 93611 0 0 0 16138 83 0 0 20 0 1 0 330359572 385957888 93477 33554432000 4194304 8989770 140737170231952 140737170231448 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 94228 93477 471 1171 0 93005 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 376912
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8070
/proc/meminfo: memFree=18780888/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=409680 CPUtime=222.2 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 101803 0 0 0 22110 110 0 0 20 0 1 0 330359572 419512320 101669 33554432000 4194304 8989770 140737170231952 140737170231448 4452680 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 102420 101669 471 1171 0 101197 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 409680
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8074
/proc/meminfo: memFree=18756852/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=434256 CPUtime=282.19 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 107953 0 0 0 28081 138 0 0 20 0 1 0 330359572 444678144 107813 33554432000 4194304 8989770 140737170231952 140737170231448 4426025 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 108564 107813 471 1171 0 107341 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 434256
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8074
/proc/meminfo: memFree=18725888/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=464976 CPUtime=342.18 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 115633 0 0 0 34052 166 0 0 20 0 1 0 330359572 476135424 115493 33554432000 4194304 8989770 140737170231952 140737170231216 4451817 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 116244 115493 471 1171 0 115021 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 464976
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8074
/proc/meminfo: memFree=18692064/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=498768 CPUtime=402.17 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 124081 0 0 0 40022 195 0 0 20 0 1 0 330359572 510738432 123941 33554432000 4194304 8989770 140737170231952 140737170231448 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 124692 123941 471 1171 0 123469 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 498768
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8074
/proc/meminfo: memFree=18662456/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=528464 CPUtime=462.17 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 131505 0 0 0 46000 217 0 0 20 0 1 0 330359572 541147136 131365 33554432000 4194304 8989770 140737170231952 140737170231448 4209216 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 132116 131365 471 1171 0 130893 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 528464
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8074
/proc/meminfo: memFree=18641900/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=548944 CPUtime=522.16 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 136625 0 0 0 51975 241 0 0 20 0 1 0 330359572 562118656 136485 33554432000 4194304 8989770 140737170231952 140737170231448 4426125 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 137236 136485 471 1171 0 136013 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 548944
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8075
/proc/meminfo: memFree=18620360/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=572496 CPUtime=582.15 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 142513 0 0 0 57955 260 0 0 20 0 1 0 330359572 586235904 142373 33554432000 4194304 8989770 140737170231952 140737170231448 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 143124 142373 471 1171 0 141901 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 572496
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8075
/proc/meminfo: memFree=18526844/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=663632 CPUtime=822.11 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 165297 0 0 0 81865 346 0 0 20 0 1 0 330359572 679559168 165157 33554432000 4194304 8989770 140737170231952 140737170231448 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 165908 165157 471 1171 0 164685 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 663632
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8078
/proc/meminfo: memFree=18502320/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=688208 CPUtime=882.11 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 171441 0 0 0 87847 364 0 0 20 0 1 0 330359572 704724992 171301 33554432000 4194304 8989770 140737170231952 140737170231448 4437660 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 172052 171301 471 1171 0 170829 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 688208
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8079
/proc/meminfo: memFree=18477920/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=712784 CPUtime=942.1 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 177585 0 0 0 93827 383 0 0 20 0 1 0 330359572 729890816 177445 33554432000 4194304 8989770 140737170231952 140737170231216 4553628 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 178196 177445 471 1171 0 176973 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 712784
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8079
/proc/meminfo: memFree=18454264/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=736336 CPUtime=1002.09 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 183473 0 0 0 99805 404 0 0 20 0 1 0 330359572 754008064 183333 33554432000 4194304 8989770 140737170231952 140737170231216 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 184084 183333 471 1171 0 182861 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 736336
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8079
/proc/meminfo: memFree=18437428/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=753744 CPUtime=1062.08 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 187825 0 0 0 105784 424 0 0 20 0 1 0 330359572 771833856 187685 33554432000 4194304 8989770 140737170231952 140737170231448 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 188436 187685 471 1171 0 187213 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 753744
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8079
/proc/meminfo: memFree=18414888/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=776272 CPUtime=1122.07 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 193457 0 0 0 111767 440 0 0 20 0 1 0 330359572 794902528 193317 33554432000 4194304 8989770 140737170231952 140737170231448 4435497 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 194068 193317 471 1171 0 192845 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 776272
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8079
/proc/meminfo: memFree=18391108/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=799824 CPUtime=1182.06 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 199345 0 0 0 117749 457 0 0 20 0 1 0 330359572 819019776 199205 33554432000 4194304 8989770 140737170231952 140737170231448 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 199956 199205 471 1171 0 198733 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 799824
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8080
/proc/meminfo: memFree=18372660/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=818256 CPUtime=1242.05 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 203953 0 0 0 123733 472 0 0 20 0 1 0 330359572 837894144 203813 33554432000 4194304 8989770 140737170231952 140737170231448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 204564 203813 471 1171 0 203341 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 818256
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8080
/proc/meminfo: memFree=18350368/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=839760 CPUtime=1302.04 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 209329 0 0 0 129712 492 0 0 20 0 1 0 330359572 859914240 209189 33554432000 4194304 8989770 140737170231952 140737170231448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 209940 209189 471 1171 0 208717 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 839760
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8080
/proc/meminfo: memFree=18327580/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=862288 CPUtime=1362.03 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 214961 0 0 0 135688 515 0 0 20 0 1 0 330359572 882982912 214821 33554432000 4194304 8989770 140737170231952 140737170231448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 215572 214821 471 1171 0 214349 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 862288
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8080
/proc/meminfo: memFree=18306032/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=883792 CPUtime=1422.03 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 220337 0 0 0 141666 537 0 0 20 0 1 0 330359572 905003008 220197 33554432000 4194304 8989770 140737170231952 140737170231448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 220948 220197 471 1171 0 219725 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 883792
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8083
/proc/meminfo: memFree=18286708/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=907344 CPUtime=1482.01 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 226225 0 0 0 147645 556 0 0 20 0 1 0 330359572 929120256 226085 33554432000 4194304 8989770 140737170231952 140737170229888 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 226836 226085 471 1171 0 225613 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 907344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8084
/proc/meminfo: memFree=18262564/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=927824 CPUtime=1542 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 231345 0 0 0 153625 575 0 0 20 0 1 0 330359572 950091776 231205 33554432000 4194304 8989770 140737170231952 140737170231448 4429844 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 231956 231205 471 1171 0 230733 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 927824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8084
/proc/meminfo: memFree=18245108/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=949328 CPUtime=1601.99 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 236721 0 0 0 159603 596 0 0 20 0 1 0 330359572 972111872 236581 33554432000 4194304 8989770 140737170231952 140737170231448 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 237332 236581 471 1171 0 236109 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 949328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8084
/proc/meminfo: memFree=18225668/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=964688 CPUtime=1661.98 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 240561 0 0 0 165586 612 0 0 20 0 1 0 330359572 987840512 240421 33554432000 4194304 8989770 140737170231952 140737170231448 4435497 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 241172 240421 471 1171 0 239949 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 964688
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8084
/proc/meminfo: memFree=18207964/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=982096 CPUtime=1721.98 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 244913 0 0 0 171570 628 0 0 20 0 1 0 330359572 1005666304 244773 33554432000 4194304 8989770 140737170231952 140737170231448 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 245524 244773 471 1171 0 244301 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 982096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8084
/proc/meminfo: memFree=18190260/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=999504 CPUtime=1781.96 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 249265 0 0 0 177552 644 0 0 20 0 1 0 330359572 1023492096 249125 33554432000 4194304 8989770 140737170231952 140737170231448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 249876 249125 471 1171 0 248653 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 999504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8084
/proc/meminfo: memFree=18185524/32873844 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=1004624 CPUtime=1800.07 cores=1,3,5,7
/proc/7916/stat : 7916 (toysat) R 7914 7916 6938 0 -1 4202496 250545 0 0 0 179358 649 0 0 20 0 1 0 330359572 1028734976 250405 33554432000 4194304 8989770 140737170231952 140737170231448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/7916/statm: 251156 250405 471 1171 0 249933 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1004624
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): 1800.45
CPU time (s): 1800.12
CPU user time (s): 1793.59
CPU system time (s): 6.53501
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 1004624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.59
system time used= 6.53501
maximum resident set size= 1001620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250545
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= 67
involuntary context switches= 1856
runsolver used 3.52146 second user time and 10.3444 second system time
The end