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-3724471-1338644464/watcher-3724471-1338644464 -o /tmp/evaluation-result-3724471-1338644464/solver-3724471-1338644464 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724471-1338644464.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 15673
/proc/meminfo: memFree=27638188/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 830 0 0 0 0 0 0 0 20 0 1 0 330571327 6373376 751 33554432000 4194304 8989770 140735572189008 140735572188272 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 1556 751 428 1171 0 333 0
[startup+0.0801541 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15673
/proc/meminfo: memFree=27638188/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=11344 CPUtime=0.07 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 1964 0 0 0 7 0 0 0 20 0 1 0 330571327 11616256 1885 33554432000 4194304 8989770 140735572189008 140735572188272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 2836 1890 429 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344
[startup+0.100315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15673
/proc/meminfo: memFree=27638188/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 2368 0 0 0 9 0 0 0 20 0 1 0 330571327 12664832 2289 33554432000 4194304 8989770 140735572189008 140735572188272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 3092 2289 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15673
/proc/meminfo: memFree=27638188/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=22608 CPUtime=0.28 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 4929 0 0 0 28 0 0 0 20 0 1 0 330571327 23150592 4850 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 5652 4850 431 1171 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22608
[startup+0.700312 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15673
/proc/meminfo: memFree=27638188/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=50256 CPUtime=0.69 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 11724 0 0 0 67 2 0 0 20 0 1 0 330571327 51462144 11645 33554432000 4194304 8989770 140735572189008 140735572187848 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 12564 11652 437 1171 0 11341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50256
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15674
/proc/meminfo: memFree=27584612/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=62544 CPUtime=1.49 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 14947 0 0 0 146 3 0 0 20 0 1 0 330571327 64045056 14868 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 15636 14868 459 1171 0 14413 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62544
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15674
/proc/meminfo: memFree=27580024/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=62544 CPUtime=3.09 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 14947 0 0 0 306 3 0 0 20 0 1 0 330571327 64045056 14868 33554432000 4194304 8989770 140735572189008 140735572188504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 15636 14868 459 1171 0 14413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62544
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15674
/proc/meminfo: memFree=27580024/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=62544 CPUtime=6.29 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 14947 0 0 0 625 4 0 0 20 0 1 0 330571327 64045056 14868 33554432000 4194304 8989770 140735572189008 140735572186944 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 15636 14868 459 1171 0 14413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62544
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15674
/proc/meminfo: memFree=27579800/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=62544 CPUtime=12.69 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 14947 0 0 0 1264 5 0 0 20 0 1 0 330571327 64045056 14868 33554432000 4194304 8989770 140735572189008 140735572188504 4209636 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 15636 14868 459 1171 0 14413 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62544
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15674
/proc/meminfo: memFree=27571376/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=71760 CPUtime=25.49 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 17251 0 0 0 2541 8 0 0 20 0 1 0 330571327 73482240 17172 33554432000 4194304 8989770 140735572189008 140735572188272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 17940 17172 459 1171 0 16717 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71760
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15674
/proc/meminfo: memFree=27537400/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=105552 CPUtime=51.08 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 25699 0 0 0 5092 16 0 0 20 0 1 0 330571327 108085248 25620 33554432000 4194304 8989770 140735572189008 140735572188504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 26388 25620 459 1171 0 25165 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 105552
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15674
/proc/meminfo: memFree=27485356/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=157776 CPUtime=102.28 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 38680 0 0 0 10199 29 0 0 20 0 1 0 330571327 161562624 38598 33554432000 4194304 8989770 140735572189008 140735572188504 4437612 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 39444 38598 459 1171 0 38221 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 157776
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15675
/proc/meminfo: memFree=27438760/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=203856 CPUtime=162.22 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 50323 0 0 0 16178 44 0 0 20 0 1 0 330571327 208748544 50201 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 50964 50201 459 1171 0 49741 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 203856
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15675
/proc/meminfo: memFree=27397620/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=244816 CPUtime=222.19 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 60594 0 0 0 22161 58 0 0 20 0 1 0 330571327 250691584 60441 33554432000 4194304 8989770 140735572189008 140735572188504 4437612 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 61204 60441 459 1171 0 59981 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 244816
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15675
/proc/meminfo: memFree=27356796/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=286800 CPUtime=282.18 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 70868 0 0 0 28145 73 0 0 20 0 1 0 330571327 293683200 70709 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 71700 70709 459 1171 0 70477 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 286800
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 15675
/proc/meminfo: memFree=27333112/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=309328 CPUtime=342.17 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 76730 0 0 0 34132 85 0 0 20 0 1 0 330571327 316751872 76571 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 77332 76571 461 1171 0 76109 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 309328
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15675
/proc/meminfo: memFree=27333112/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=309328 CPUtime=402.16 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 76730 0 0 0 40120 96 0 0 20 0 1 0 330571327 316751872 76571 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 77332 76571 461 1171 0 76109 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 309328
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15676
/proc/meminfo: memFree=27333236/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=309328 CPUtime=462.15 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 76730 0 0 0 46103 112 0 0 20 0 1 0 330571327 316751872 76571 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 77332 76571 461 1171 0 76109 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 309328
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15676
/proc/meminfo: memFree=27332812/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=309328 CPUtime=522.13 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 76748 0 0 0 52089 124 0 0 20 0 1 0 330571327 316751872 76571 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 77332 76571 461 1171 0 76109 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 309328
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15679
/proc/meminfo: memFree=27318916/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=324688 CPUtime=582.12 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 80337 0 0 0 58076 136 0 0 20 0 1 0 330571327 332480512 80160 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 81172 80160 461 1171 0 79949 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 324688
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15680
/proc/meminfo: memFree=27238164/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=404560 CPUtime=822.08 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 100498 0 0 0 82029 179 0 0 20 0 1 0 330571327 414269440 100312 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 101140 100312 461 1171 0 99917 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 404560
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15680
/proc/meminfo: memFree=27217692/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=425040 CPUtime=882.06 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 105614 0 0 0 88016 190 0 0 20 0 1 0 330571327 435240960 105406 33554432000 4194304 8989770 140735572189008 140735572188272 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 106260 105406 461 1171 0 105037 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 425040
[startup+942.3 s]
/proc/loadavg: 1.96 1.99 1.99 4/177 15719
/proc/meminfo: memFree=27273396/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=942.05 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107755 0 0 0 94006 199 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188504 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 433232
[startup+1002.3 s]
/proc/loadavg: 1.98 1.99 1.99 4/177 15719
/proc/meminfo: memFree=27270916/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1002.04 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107755 0 0 0 99997 207 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 433232
[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15720
/proc/meminfo: memFree=27268064/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1062.03 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107755 0 0 0 105988 215 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 433232
[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15720
/proc/meminfo: memFree=27268064/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1122.02 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107755 0 0 0 111978 224 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 433232
[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/178 15723
/proc/meminfo: memFree=27267520/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1182.01 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 117967 234 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 433232
[startup+1242.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/178 15746
/proc/meminfo: memFree=27264972/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1242 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 123958 242 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 433232
[startup+1302.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15746
/proc/meminfo: memFree=27263120/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1302 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 129949 251 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 433232
[startup+1362.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/176 15746
/proc/meminfo: memFree=27260276/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1361.98 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 135936 262 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 433232
[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15747
/proc/meminfo: memFree=27259400/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1421.98 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 141928 270 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 4494232 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 433232
[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15747
/proc/meminfo: memFree=27256176/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1481.96 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 147916 280 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 4435107 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 433232
[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15747
/proc/meminfo: memFree=27256300/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1541.96 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 153905 291 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 433232
[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15747
/proc/meminfo: memFree=27256044/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1601.95 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 159896 299 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 433232
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15747
/proc/meminfo: memFree=27256044/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1661.94 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 165886 308 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 433232
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15748
/proc/meminfo: memFree=27254060/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1721.93 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 171878 315 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 433232
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/178 15751
/proc/meminfo: memFree=27252688/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1781.92 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 177870 322 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188504 7688479 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 433232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 1.99 4/177 15751
/proc/meminfo: memFree=27253068/32873844 swapFree=7628/7628
[pid=15673] ppid=15671 vsize=433232 CPUtime=1800.02 cores=1,3,5,7
/proc/15673/stat : 15673 (toysat) R 15671 15673 14598 0 -1 4202496 107758 0 0 0 179678 324 0 0 20 0 1 0 330571327 443629568 107547 33554432000 4194304 8989770 140735572189008 140735572188504 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15673/statm: 108308 107547 461 1171 0 107085 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 433232
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.41
CPU time (s): 1800.04
CPU user time (s): 1796.79
CPU system time (s): 3.24551
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 433232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.79
system time used= 3.24551
maximum resident set size= 430188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107758
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= 140
involuntary context switches= 1855
runsolver used 3.2805 second user time and 9.91349 second system time
The end