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-3706974-1338127714/watcher-3706974-1338127714 -o /tmp/evaluation-result-3706974-1338127714/solver-3706974-1338127714 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706974-1338127714.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: 1.92 1.98 1.93 3/176 10270
/proc/meminfo: memFree=30540952/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 801 0 0 0 0 0 0 0 20 0 1 0 278897470 6356992 722 33554432000 4194304 8973514 140734146446448 140735185639432 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 1552 722 412 1167 0 333 0
[startup+0.00985599 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 10270
/proc/meminfo: memFree=30540952/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 902 0 0 0 0 0 0 0 20 0 1 0 278897470 7405568 823 33554432000 4194304 8973514 140734146446448 140735185639432 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 1808 823 412 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232
[startup+0.100217 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 10270
/proc/meminfo: memFree=30540952/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 2353 0 0 0 9 0 0 0 20 0 1 0 278897470 12648448 2274 33554432000 4194304 8973514 140734146446448 140735185639432 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300235 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 10270
/proc/meminfo: memFree=30540952/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=26688 CPUtime=0.29 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 5941 0 0 0 28 1 0 0 20 0 1 0 278897470 27328512 5862 33554432000 4194304 8973514 140734146446448 140735185639432 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 6672 5862 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.700235 s]
/proc/loadavg: 1.92 1.98 1.93 3/176 10270
/proc/meminfo: memFree=30540952/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=45120 CPUtime=0.69 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 10549 0 0 0 67 2 0 0 20 0 1 0 278897470 46202880 10470 33554432000 4194304 8973514 140734146446448 140735185639432 4209361 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 11280 10470 418 1167 0 10061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45120
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 10271
/proc/meminfo: memFree=30468256/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=103488 CPUtime=1.49 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 25142 0 0 0 143 6 0 0 20 0 1 0 278897470 105971712 25063 33554432000 4194304 8973514 140734146446448 140734146445944 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 25872 25063 418 1167 0 24653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103488
[startup+3.10018 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 10271
/proc/meminfo: memFree=30408116/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=183360 CPUtime=3.09 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 45110 0 0 0 298 11 0 0 20 0 1 0 278897470 187760640 45031 33554432000 4194304 8973514 140734146446448 140734146445944 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 45840 45031 418 1167 0 44621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183360
[startup+6.30025 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 10271
/proc/meminfo: memFree=30215304/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=418880 CPUtime=6.29 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 104005 0 0 0 607 22 0 0 20 0 1 0 278897470 428933120 103926 33554432000 4194304 8973514 140734146446448 140734146445944 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 104720 103926 427 1167 0 103501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 418880
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 10271
/proc/meminfo: memFree=30076720/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=468032 CPUtime=12.69 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 116321 0 0 0 1244 25 0 0 20 0 1 0 278897470 479264768 116242 33554432000 4194304 8973514 140734146446448 140734146428416 7680164 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 117008 116242 455 1167 0 115789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 468032
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10271
/proc/meminfo: memFree=30057796/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=487488 CPUtime=25.49 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 121185 0 0 0 2522 27 0 0 20 0 1 0 278897470 499187712 121106 33554432000 4194304 8973514 140734146446448 140734146445712 5386907 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 121872 121106 455 1167 0 120653 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 487488
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10271
/proc/meminfo: memFree=30051176/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=493632 CPUtime=51.08 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 122721 0 0 0 5079 29 0 0 20 0 1 0 278897470 505479168 122642 33554432000 4194304 8973514 140734146446448 140734146445944 4372360 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 123408 122642 455 1167 0 122189 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 493632
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10274
/proc/meminfo: memFree=30041660/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=500800 CPUtime=102.28 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 124513 0 0 0 10195 33 0 0 20 0 1 0 278897470 512819200 124434 33554432000 4194304 8973514 140734146446448 140734146445712 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 125200 124434 455 1167 0 123981 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 500800
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 10275
/proc/meminfo: memFree=30042208/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=500800 CPUtime=162.27 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 124513 0 0 0 16190 37 0 0 20 0 1 0 278897470 512819200 124434 33554432000 4194304 8973514 140734146446448 140734146445712 6571900 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 125200 124434 455 1167 0 123981 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 500800
[startup+222.307 s]
/proc/loadavg: 2.08 2.03 1.95 3/177 10275
/proc/meminfo: memFree=30037352/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=505920 CPUtime=222.26 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 125802 0 0 0 22185 41 0 0 20 0 1 0 278897470 518062080 125719 33554432000 4194304 8973514 140734146446448 140734146428416 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 126480 125719 455 1167 0 125261 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 505920
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 1.95 3/177 10275
/proc/meminfo: memFree=30035148/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=507968 CPUtime=282.24 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 126329 0 0 0 28178 46 0 0 20 0 1 0 278897470 520159232 126231 33554432000 4194304 8973514 140734146446448 140734146428416 4427744 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 126992 126231 455 1167 0 125773 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 507968
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 1.96 3/177 10275
/proc/meminfo: memFree=30032204/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=511040 CPUtime=342.22 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 127106 0 0 0 34172 50 0 0 20 0 1 0 278897470 523304960 126999 33554432000 4194304 8973514 140734146446448 140734146445944 4442217 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 127760 126999 455 1167 0 126541 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 511040
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/177 10275
/proc/meminfo: memFree=30032108/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=511040 CPUtime=402.2 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 127122 0 0 0 40164 56 0 0 20 0 1 0 278897470 523304960 126999 33554432000 4194304 8973514 140734146446448 140734146428416 7671138 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 127760 126999 455 1167 0 126541 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 511040
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 1.96 3/176 10275
/proc/meminfo: memFree=30030284/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=513088 CPUtime=462.18 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 127651 0 0 0 46154 64 0 0 20 0 1 0 278897470 525402112 127511 33554432000 4194304 8973514 140734146446448 140734146428416 6571987 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 128272 127511 455 1167 0 127053 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 513088
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/177 10276
/proc/meminfo: memFree=30030196/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=513088 CPUtime=522.16 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 127656 0 0 0 52148 68 0 0 20 0 1 0 278897470 525402112 127511 33554432000 4194304 8973514 140734146446448 140734146428416 4209198 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 128272 127511 455 1167 0 127053 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 513088
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 10276
/proc/meminfo: memFree=30030444/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=513088 CPUtime=582.15 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 127656 0 0 0 58142 73 0 0 20 0 1 0 278897470 525402112 127511 33554432000 4194304 8973514 140734146446448 140734146428416 4372060 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 128272 127511 455 1167 0 127053 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 513088
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 10280
/proc/meminfo: memFree=30023136/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=520256 CPUtime=882.12 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 129448 0 0 0 88110 102 0 0 20 0 1 0 278897470 532742144 129303 33554432000 4194304 8973514 140734146446448 140734146445944 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 130064 129303 455 1167 0 128845 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 520256
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 10280
/proc/meminfo: memFree=30023012/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=520256 CPUtime=942.09 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 129448 0 0 0 94103 106 0 0 20 0 1 0 278897470 532742144 129303 33554432000 4194304 8973514 140734146446448 140734146444416 4459352 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 130064 129303 455 1167 0 128845 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 520256
[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 10280
/proc/meminfo: memFree=30019844/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=522304 CPUtime=1002.09 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 129960 0 0 0 100097 112 0 0 20 0 1 0 278897470 534839296 129815 33554432000 4194304 8973514 140734146446448 140734146445712 6571949 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 130576 129815 455 1167 0 129357 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 522304
[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 1.99 3/176 10280
/proc/meminfo: memFree=30019604/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=523328 CPUtime=1062.08 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 130216 0 0 0 106090 118 0 0 20 0 1 0 278897470 535887872 130071 33554432000 4194304 8973514 140734146446448 140734146444416 4427820 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 130832 130071 455 1167 0 129613 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 523328
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 10283
/proc/meminfo: memFree=30018304/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=523328 CPUtime=1122.07 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 130216 0 0 0 112084 123 0 0 20 0 1 0 278897470 535887872 130071 33554432000 4194304 8973514 140734146446448 140734146428416 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 130832 130071 455 1167 0 129613 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 523328
[startup+1182.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 10283
/proc/meminfo: memFree=30017508/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=524352 CPUtime=1182.06 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 130472 0 0 0 118077 129 0 0 20 0 1 0 278897470 536936448 130327 33554432000 4194304 8973514 140734146446448 140734146445712 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 131088 130327 455 1167 0 129869 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 524352
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 10283
/proc/meminfo: memFree=30016268/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=525376 CPUtime=1242.05 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 130728 0 0 0 124071 134 0 0 20 0 1 0 278897470 537985024 130583 33554432000 4194304 8973514 140734146446448 140734146445944 4427192 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 131344 130583 455 1167 0 130125 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 525376
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 10286
/proc/meminfo: memFree=30013780/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=525376 CPUtime=1302.04 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 130728 0 0 0 130065 139 0 0 20 0 1 0 278897470 537985024 130583 33554432000 4194304 8973514 140734146446448 140734146445712 6571953 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 131344 130583 455 1167 0 130125 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 525376
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10286
/proc/meminfo: memFree=30013788/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=525376 CPUtime=1362.03 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 130728 0 0 0 136059 144 0 0 20 0 1 0 278897470 537985024 130583 33554432000 4194304 8973514 140734146446448 140734146428416 6571949 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 131344 130583 455 1167 0 130125 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 525376
[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10287
/proc/meminfo: memFree=30011060/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=528448 CPUtime=1422.04 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 131496 0 0 0 142055 149 0 0 20 0 1 0 278897470 541130752 131351 33554432000 4194304 8973514 140734146446448 140734146445712 4372288 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 132112 131351 455 1167 0 130893 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 528448
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10287
/proc/meminfo: memFree=30010060/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=529472 CPUtime=1482.02 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 131752 0 0 0 148048 154 0 0 20 0 1 0 278897470 542179328 131607 33554432000 4194304 8973514 140734146446448 140734146445944 4427084 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 132368 131607 455 1167 0 131149 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 529472
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10287
/proc/meminfo: memFree=30009940/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=529472 CPUtime=1542.02 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 131752 0 0 0 154041 161 0 0 20 0 1 0 278897470 542179328 131607 33554432000 4194304 8973514 140734146446448 140734146445944 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 132368 131607 455 1167 0 131149 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 529472
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10287
/proc/meminfo: memFree=30010064/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=529472 CPUtime=1602 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 131752 0 0 0 160033 167 0 0 20 0 1 0 278897470 542179328 131607 33554432000 4194304 8973514 140734146446448 140734146428416 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 132368 131607 455 1167 0 131149 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 529472
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10287
/proc/meminfo: memFree=30007088/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=531520 CPUtime=1661.99 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 132264 0 0 0 166027 172 0 0 20 0 1 0 278897470 544276480 132119 33554432000 4194304 8973514 140734146446448 140734146444416 4427820 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 132880 132119 455 1167 0 131661 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 531520
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10288
/proc/meminfo: memFree=30006344/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=532544 CPUtime=1721.98 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 132520 0 0 0 172021 177 0 0 20 0 1 0 278897470 545325056 132375 33554432000 4194304 8973514 140734146446448 140734146445712 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 133136 132375 455 1167 0 131917 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 532544
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10327
/proc/meminfo: memFree=30276156/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=533568 CPUtime=1781.97 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 132776 0 0 0 178015 182 0 0 20 0 1 0 278897470 546373632 132631 33554432000 4194304 8973514 140734146446448 140734146428416 6571900 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 133392 132631 455 1167 0 132173 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 533568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10327
/proc/meminfo: memFree=30269360/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=533568 CPUtime=1800.08 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 132776 0 0 0 179824 184 0 0 20 0 1 0 278897470 546373632 132631 33554432000 4194304 8973514 140734146446448 140734146445944 4209636 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 133392 132631 455 1167 0 132173 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 533568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10327
/proc/meminfo: memFree=30269360/32873648 swapFree=6860/6860
[pid=10270] ppid=10268 vsize=533568 CPUtime=1800.08 cores=1,3,5,7
/proc/10270/stat : 10270 (toysat) R 10268 10270 9979 0 -1 4202496 132776 0 0 0 179824 184 0 0 20 0 1 0 278897470 546373632 132631 33554432000 4194304 8973514 140734146446448 140734146445944 4209636 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10270/statm: 133392 132631 455 1167 0 132173 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 533568
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1798.24
CPU system time (s): 1.84472
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 533568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 1.84472
maximum resident set size= 530524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132776
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= 74
involuntary context switches= 1852
runsolver used 2.92056 second user time and 10.0355 second system time
The end