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-3725573-1338645938/watcher-3725573-1338645938 -o /tmp/evaluation-result-3725573-1338645938/solver-3725573-1338645938 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725573-1338645938.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: 1.92 1.98 1.99 3/176 5704
/proc/meminfo: memFree=26282876/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 330719245 6373376 739 33554432000 4194304 8989770 140735813303232 140734869324600 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 1556 739 428 1171 0 333 0
[startup+0.0498449 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5704
/proc/meminfo: memFree=26282876/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=9296 CPUtime=0.04 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 1421 0 0 0 4 0 0 0 20 0 1 0 330719245 9519104 1342 33554432000 4194304 8989770 140735813303232 140734869324600 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 2324 1342 431 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296
[startup+0.100281 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5704
/proc/meminfo: memFree=26282876/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=13392 CPUtime=0.09 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 2410 0 0 0 9 0 0 0 20 0 1 0 330719245 13713408 2331 33554432000 4194304 8989770 140735813303232 140734869324600 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 3348 2331 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300287 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5704
/proc/meminfo: memFree=26282876/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=22608 CPUtime=0.28 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 4928 0 0 0 28 0 0 0 20 0 1 0 330719245 23150592 4849 33554432000 4194304 8989770 140735813303232 140735813302496 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 5652 4849 431 1171 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22608
[startup+0.700277 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5704
/proc/meminfo: memFree=26282876/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=44112 CPUtime=0.69 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 10304 0 0 0 67 2 0 0 20 0 1 0 330719245 45170688 10225 33554432000 4194304 8989770 140735813303232 140735813302496 7732747 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 11028 10225 431 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112
[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 5705
/proc/meminfo: memFree=26213784/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=94288 CPUtime=1.49 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 22879 0 0 0 145 4 0 0 20 0 1 0 330719245 96550912 22800 33554432000 4194304 8989770 140735813303232 140735813302728 7732747 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 23572 22800 456 1171 0 22349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94288
[startup+3.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 5705
/proc/meminfo: memFree=26186620/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=100432 CPUtime=3.08 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 24421 0 0 0 304 4 0 0 20 0 1 0 330719245 102842368 24342 33554432000 4194304 8989770 140735813303232 140735813302496 4208857 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 25108 24342 462 1171 0 23885 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 100432
[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 5705
/proc/meminfo: memFree=26185628/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=100432 CPUtime=6.29 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 24421 0 0 0 624 5 0 0 20 0 1 0 330719245 102842368 24342 33554432000 4194304 8989770 140735813303232 140735813301248 4425579 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 25108 24342 462 1171 0 23885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100432
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 5705
/proc/meminfo: memFree=26182924/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=100432 CPUtime=12.69 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 24421 0 0 0 1263 6 0 0 20 0 1 0 330719245 102842368 24342 33554432000 4194304 8989770 140735813303232 140735813302728 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 25108 24342 462 1171 0 23885 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100432
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 5705
/proc/meminfo: memFree=26178588/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=100432 CPUtime=25.48 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 24422 0 0 0 2540 8 0 0 20 0 1 0 330719245 102842368 24347 33554432000 4194304 8989770 140735813303232 140735813302496 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 25108 24347 462 1171 0 23885 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100432
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 5705
/proc/meminfo: memFree=26174392/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=100432 CPUtime=51.07 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 24433 0 0 0 5095 12 0 0 20 0 1 0 330719245 102842368 24347 33554432000 4194304 8989770 140735813303232 140735813302728 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 25108 24347 462 1171 0 23885 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100432
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 5744
/proc/meminfo: memFree=25290020/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=100432 CPUtime=102.27 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 24439 0 0 0 10206 21 0 0 20 0 1 0 330719245 102842368 24347 33554432000 4194304 8989770 140735813303232 140735813302496 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 25108 24347 462 1171 0 23885 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 100432
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 5744
/proc/meminfo: memFree=25288244/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=102480 CPUtime=162.26 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 24951 0 0 0 16194 32 0 0 20 0 1 0 330719245 104939520 24859 33554432000 4194304 8989770 140735813303232 140735813302496 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 25620 24859 462 1171 0 24397 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 102480
[startup+222.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 5745
/proc/meminfo: memFree=25282476/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=108624 CPUtime=222.25 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 26487 0 0 0 22184 41 0 0 20 0 1 0 330719245 111230976 26395 33554432000 4194304 8989770 140735813303232 140735813302728 4209234 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 27156 26395 462 1171 0 25933 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 108624
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 5748
/proc/meminfo: memFree=25281776/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=109648 CPUtime=282.23 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 26743 0 0 0 28174 49 0 0 20 0 1 0 330719245 112279552 26651 33554432000 4194304 8989770 140735813303232 140735813301184 4209142 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 27412 26651 462 1171 0 26189 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 109648
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5748
/proc/meminfo: memFree=25279712/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=111696 CPUtime=342.23 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 27255 0 0 0 34161 62 0 0 20 0 1 0 330719245 114376704 27163 33554432000 4194304 8989770 140735813303232 140735813302728 4214368 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 27924 27163 462 1171 0 26701 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 111696
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5748
/proc/meminfo: memFree=25279764/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=111696 CPUtime=402.22 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 27255 0 0 0 40147 75 0 0 20 0 1 0 330719245 114376704 27163 33554432000 4194304 8989770 140735813303232 140735813302728 4208857 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/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.00 2.00 2.00 3/177 5748
/proc/meminfo: memFree=25277880/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=113744 CPUtime=462.21 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 27767 0 0 0 46134 87 0 0 20 0 1 0 330719245 116473856 27675 33554432000 4194304 8989770 140735813303232 140735813302496 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 28436 27675 462 1171 0 27213 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 113744
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5749
/proc/meminfo: memFree=25274684/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=116816 CPUtime=522.2 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 28535 0 0 0 52120 100 0 0 20 0 1 0 330719245 119619584 28443 33554432000 4194304 8989770 140735813303232 140735813302496 6832887 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 29204 28443 462 1171 0 27981 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 116816
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5749
/proc/meminfo: memFree=25273260/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=117840 CPUtime=582.19 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 28791 0 0 0 58106 113 0 0 20 0 1 0 330719245 120668160 28699 33554432000 4194304 8989770 140735813303232 140735813302728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 29460 28699 462 1171 0 28237 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 117840
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5753
/proc/meminfo: memFree=25264232/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=128080 CPUtime=882.14 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 31358 0 0 0 88043 171 0 0 20 0 1 0 330719245 131153920 31259 33554432000 4194304 8989770 140735813303232 140735813302496 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 32020 31259 462 1171 0 30797 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 128080
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5753
/proc/meminfo: memFree=25261144/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=131152 CPUtime=942.13 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 32126 0 0 0 94031 182 0 0 20 0 1 0 330719245 134299648 32027 33554432000 4194304 8989770 140735813303232 140735813302496 7670052 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 32788 32027 462 1171 0 31565 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 131152
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5753
/proc/meminfo: memFree=25257176/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=135248 CPUtime=1002.12 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 33150 0 0 0 100017 195 0 0 20 0 1 0 330719245 138493952 33051 33554432000 4194304 8989770 140735813303232 140735813302728 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/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.00 2.00 2.00 3/177 5753
/proc/meminfo: memFree=25255192/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=137296 CPUtime=1062.11 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 33662 0 0 0 106003 208 0 0 20 0 1 0 330719245 140591104 33563 33554432000 4194304 8989770 140735813303232 140735813302728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 34324 33563 462 1171 0 33101 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 137296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5754
/proc/meminfo: memFree=25248992/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=143440 CPUtime=1122.11 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 35198 0 0 0 111991 220 0 0 20 0 1 0 330719245 146882560 35099 33554432000 4194304 8989770 140735813303232 140735813302728 6586375 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 35860 35099 462 1171 0 34637 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 143440
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5754
/proc/meminfo: memFree=25248996/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=143440 CPUtime=1182.1 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 35198 0 0 0 117979 231 0 0 20 0 1 0 330719245 146882560 35099 33554432000 4194304 8989770 140735813303232 140735813302728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 35860 35099 462 1171 0 34637 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 143440
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 5755
/proc/meminfo: memFree=25247252/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=145488 CPUtime=1242.08 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 35710 0 0 0 123964 244 0 0 20 0 1 0 330719245 148979712 35611 33554432000 4194304 8989770 140735813303232 140735813302728 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 36372 35611 462 1171 0 35149 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 145488
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5755
/proc/meminfo: memFree=25245524/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=146512 CPUtime=1302.08 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 35966 0 0 0 129951 257 0 0 20 0 1 0 330719245 150028288 35867 33554432000 4194304 8989770 140735813303232 140735813302728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 36628 35867 462 1171 0 35405 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 146512
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5755
/proc/meminfo: memFree=25239696/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=152656 CPUtime=1362.07 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 37502 0 0 0 135936 271 0 0 20 0 1 0 330719245 156319744 37403 33554432000 4194304 8989770 140735813303232 140735813302728 4209433 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 38164 37403 462 1171 0 36941 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 152656
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5756
/proc/meminfo: memFree=25237960/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=154704 CPUtime=1422.06 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 38014 0 0 0 141920 286 0 0 20 0 1 0 330719245 158416896 37915 33554432000 4194304 8989770 140735813303232 140735813302728 4213550 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 38676 37915 462 1171 0 37453 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 154704
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5759
/proc/meminfo: memFree=25233556/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=158800 CPUtime=1482.05 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 39038 0 0 0 147907 298 0 0 20 0 1 0 330719245 162611200 38939 33554432000 4194304 8989770 140735813303232 140735813302728 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 39700 38939 462 1171 0 38477 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 158800
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5759
/proc/meminfo: memFree=25231928/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=160848 CPUtime=1542.04 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 39557 0 0 0 153891 313 0 0 20 0 1 0 330719245 164708352 39451 33554432000 4194304 8989770 140735813303232 140735813302496 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 40212 39451 462 1171 0 38989 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 160848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5759
/proc/meminfo: memFree=25229948/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=162896 CPUtime=1602.03 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 40069 0 0 0 159875 328 0 0 20 0 1 0 330719245 166805504 39963 33554432000 4194304 8989770 140735813303232 140735813302496 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 40724 39963 462 1171 0 39501 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 162896
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5759
/proc/meminfo: memFree=25228708/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=163920 CPUtime=1662.01 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 40325 0 0 0 165860 341 0 0 20 0 1 0 330719245 167854080 40219 33554432000 4194304 8989770 140735813303232 140735813301184 4208857 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 40980 40219 462 1171 0 39757 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 163920
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5760
/proc/meminfo: memFree=25222508/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=170064 CPUtime=1722.01 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 41861 0 0 0 171845 356 0 0 20 0 1 0 330719245 174145536 41755 33554432000 4194304 8989770 140735813303232 140735813302496 4469708 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 42516 41755 462 1171 0 41293 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 170064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5760
/proc/meminfo: memFree=25222260/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=170064 CPUtime=1781.99 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 41861 0 0 0 177832 367 0 0 20 0 1 0 330719245 174145536 41755 33554432000 4194304 8989770 140735813303232 140735813302496 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 42516 41755 462 1171 0 41293 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 170064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5760
/proc/meminfo: memFree=25222508/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=170064 CPUtime=1800 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 41861 0 0 0 179629 371 0 0 20 0 1 0 330719245 174145536 41755 33554432000 4194304 8989770 140735813303232 140735813302728 7688457 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 42516 41755 462 1171 0 41293 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 170064
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 5760
/proc/meminfo: memFree=25222508/32873648 swapFree=6864/6864
[pid=5704] ppid=5702 vsize=170064 CPUtime=1800 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5702 5704 4479 0 -1 4202496 41861 0 0 0 179629 371 0 0 20 0 1 0 330719245 174145536 41755 33554432000 4194304 8989770 140735813303232 140735813302728 7688457 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5704/statm: 42516 41755 462 1171 0 41293 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 170064
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1796.3
CPU system time (s): 3.71244
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 170064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.3
system time used= 3.71244
maximum resident set size= 167020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41861
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= 35
involuntary context switches= 1857
runsolver used 3.12052 second user time and 9.55455 second system time
The end