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-3706093-1338195535/watcher-3706093-1338195535 -o /tmp/evaluation-result-3706093-1338195535/solver-3706093-1338195535 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706093-1338195535.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.11 2.04 2.01 3/174 20790
/proc/meminfo: memFree=31242092/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 285681931 6356992 720 33554432000 4194304 8973514 140734332546512 140734332546008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 1552 723 415 1167 0 333 0
[startup+0.0290291 s]
/proc/loadavg: 2.11 2.04 2.01 3/174 20790
/proc/meminfo: memFree=31242092/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 1223 0 0 0 2 0 0 0 20 0 1 0 285681931 8454144 1144 33554432000 4194304 8973514 140734332546512 140734332546008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 2064 1144 416 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100278 s]
/proc/loadavg: 2.11 2.04 2.01 3/174 20790
/proc/meminfo: memFree=31242092/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 285681931 12648448 2276 33554432000 4194304 8973514 140734332546512 140734332546008 7610788 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 3088 2276 417 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300284 s]
/proc/loadavg: 2.11 2.04 2.01 3/174 20790
/proc/meminfo: memFree=31242092/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=22592 CPUtime=0.29 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 4916 0 0 0 29 0 0 0 20 0 1 0 285681931 23134208 4837 33554432000 4194304 8973514 140734332546512 140734332546008 4208840 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 5648 4837 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592
[startup+0.700284 s]
/proc/loadavg: 2.11 2.04 2.01 3/174 20790
/proc/meminfo: memFree=31242092/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=51264 CPUtime=0.69 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 12018 0 0 0 67 2 0 0 20 0 1 0 285681931 52494336 11939 33554432000 4194304 8973514 140734332546512 140734332546008 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 12816 11945 425 1167 0 11597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51264
[startup+1.50028 s]
/proc/loadavg: 2.11 2.04 2.01 3/175 20791
/proc/meminfo: memFree=31172140/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=59456 CPUtime=1.49 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 14164 0 0 0 147 2 0 0 20 0 1 0 285681931 60882944 14085 33554432000 4194304 8973514 140734332546512 140734332544448 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 14864 14085 444 1167 0 13645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59456
[startup+3.10036 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 20791
/proc/meminfo: memFree=31168900/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=59456 CPUtime=3.09 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 14164 0 0 0 307 2 0 0 20 0 1 0 285681931 60882944 14085 33554432000 4194304 8973514 140734332546512 140734332545776 6571953 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 14864 14085 444 1167 0 13645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59456
[startup+6.30033 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 20791
/proc/meminfo: memFree=31157624/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=59456 CPUtime=6.29 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 14164 0 0 0 626 3 0 0 20 0 1 0 285681931 60882944 14085 33554432000 4194304 8973514 140734332546512 140734332546008 4390407 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 14864 14085 444 1167 0 13645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59456
[startup+12.7003 s]
/proc/loadavg: 2.16 2.06 2.01 3/175 20791
/proc/meminfo: memFree=31138012/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=62528 CPUtime=12.69 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 14840 0 0 0 1265 4 0 0 20 0 1 0 285681931 64028672 14761 33554432000 4194304 8973514 140734332546512 140734332546008 4209367 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 15632 14761 444 1167 0 14413 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62528
[startup+25.5064 s]
/proc/loadavg: 2.14 2.06 2.01 3/175 20791
/proc/meminfo: memFree=31111724/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=71744 CPUtime=25.49 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 17034 0 0 0 2544 5 0 0 20 0 1 0 285681931 73465856 16955 33554432000 4194304 8973514 140734332546512 140734332546008 4427188 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 17936 16955 444 1167 0 16717 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71744
[startup+51.1003 s]
/proc/loadavg: 2.09 2.05 2.01 3/175 20791
/proc/meminfo: memFree=31067904/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=96320 CPUtime=51.08 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 23221 0 0 0 5099 9 0 0 20 0 1 0 285681931 98631680 23142 33554432000 4194304 8973514 140734332546512 140734332546008 4356772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 24080 23142 444 1167 0 22861 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96320
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/176 20794
/proc/meminfo: memFree=30998284/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=146496 CPUtime=102.26 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 35942 0 0 0 10208 18 0 0 20 0 1 0 285681931 150011904 35845 33554432000 4194304 8973514 140734332546512 140734332546008 4424497 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 36624 35845 444 1167 0 35405 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146496
[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 20818
/proc/meminfo: memFree=30949828/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=207936 CPUtime=162.22 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 51197 0 0 0 16189 33 0 0 20 0 1 0 285681931 212926464 51068 33554432000 4194304 8973514 140734332546512 140734332545776 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 51984 51068 444 1167 0 50765 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 207936
[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/175 20818
/proc/meminfo: memFree=30869328/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=251968 CPUtime=222.18 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 62161 0 0 0 22174 44 0 0 20 0 1 0 285681931 258015232 61999 33554432000 4194304 8973514 140734332546512 140734332545776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 62992 61999 444 1167 0 61773 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 251968
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 20818
/proc/meminfo: memFree=30863160/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=277568 CPUtime=282.17 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 68776 0 0 0 28165 52 0 0 20 0 1 0 285681931 284229632 68614 33554432000 4194304 8973514 140734332546512 140734332546008 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 69392 68614 445 1167 0 68173 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 277568
[startup+342.306 s]
/proc/loadavg: 2.05 2.04 2.00 3/175 20818
/proc/meminfo: memFree=30846980/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=277568 CPUtime=342.16 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 68776 0 0 0 34155 61 0 0 20 0 1 0 285681931 284229632 68614 33554432000 4194304 8973514 140734332546512 140734332546008 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 69392 68614 445 1167 0 68173 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 277568
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 20818
/proc/meminfo: memFree=30837060/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=277568 CPUtime=402.15 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 68776 0 0 0 40147 68 0 0 20 0 1 0 285681931 284229632 68614 33554432000 4194304 8973514 140734332546512 140734332545776 4356772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 69392 68614 445 1167 0 68173 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 277568
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20819
/proc/meminfo: memFree=30842684/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=296000 CPUtime=462.14 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 73205 0 0 0 46137 77 0 0 20 0 1 0 285681931 303104000 73037 33554432000 4194304 8973514 140734332546512 140734332545776 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 74000 73037 445 1167 0 72781 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 296000
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 20819
/proc/meminfo: memFree=30816360/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=323648 CPUtime=522.12 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 80241 0 0 0 52127 85 0 0 20 0 1 0 285681931 331415552 80062 33554432000 4194304 8973514 140734332546512 140734332544448 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 80912 80062 445 1167 0 79693 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 323648
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20819
/proc/meminfo: memFree=30838308/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=328768 CPUtime=582.11 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 81593 0 0 0 58119 92 0 0 20 0 1 0 285681931 336658432 81414 33554432000 4194304 8973514 140734332546512 140734332544448 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 82192 81414 445 1167 0 80973 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 328768
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/175 20823
/proc/meminfo: memFree=30766592/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=337984 CPUtime=822.07 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 83663 0 0 0 82087 120 0 0 20 0 1 0 285681931 346095616 83482 33554432000 4194304 8973514 140734332546512 140734332546008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 84496 83482 445 1167 0 83277 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 337984
[startup+882.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 20823
/proc/meminfo: memFree=30738568/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=348224 CPUtime=882.07 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 86459 0 0 0 88080 127 0 0 20 0 1 0 285681931 356581376 86278 33554432000 4194304 8973514 140734332546512 140734332545776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 87056 86278 445 1167 0 85837 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 348224
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 20823
/proc/meminfo: memFree=30713148/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=348224 CPUtime=942.05 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 86459 0 0 0 94072 133 0 0 20 0 1 0 285681931 356581376 86278 33554432000 4194304 8973514 140734332546512 140734332546008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 87056 86278 445 1167 0 85837 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 348224
[startup+1002.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20823
/proc/meminfo: memFree=30726488/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=348224 CPUtime=1002.05 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 86459 0 0 0 100065 140 0 0 20 0 1 0 285681931 356581376 86278 33554432000 4194304 8973514 140734332546512 140734332545776 4442217 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 87056 86278 445 1167 0 85837 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 348224
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/174 20823
/proc/meminfo: memFree=30780356/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=348224 CPUtime=1062.03 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 86461 0 0 0 106056 147 0 0 20 0 1 0 285681931 356581376 86278 33554432000 4194304 8973514 140734332546512 140734332545776 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 87056 86278 445 1167 0 85837 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 348224
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20824
/proc/meminfo: memFree=30787788/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=348224 CPUtime=1122.02 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 86461 0 0 0 112045 157 0 0 20 0 1 0 285681931 356581376 86278 33554432000 4194304 8973514 140734332546512 140734332545776 4357400 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 87056 86278 445 1167 0 85837 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 348224
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 20824
/proc/meminfo: memFree=30723308/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=370752 CPUtime=1182.01 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 91977 0 0 0 118037 164 0 0 20 0 1 0 285681931 379650048 91794 33554432000 4194304 8973514 140734332546512 140734332546008 7672543 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 92688 91794 445 1167 0 91469 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 370752
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20824
/proc/meminfo: memFree=30728020/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=379968 CPUtime=1242 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 94397 0 0 0 124030 170 0 0 20 0 1 0 285681931 389087232 94214 33554432000 4194304 8973514 140734332546512 140734332545776 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 94992 94214 445 1167 0 93773 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 379968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 20827
/proc/meminfo: memFree=30682628/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=379968 CPUtime=1302 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 94397 0 0 0 130025 175 0 0 20 0 1 0 285681931 389087232 94214 33554432000 4194304 8973514 140734332546512 140734332546008 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 94992 94214 445 1167 0 93773 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 379968
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 20827
/proc/meminfo: memFree=30719736/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=379968 CPUtime=1361.98 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 94399 0 0 0 136016 182 0 0 20 0 1 0 285681931 389087232 94214 33554432000 4194304 8973514 140734332546512 140734332545776 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 94992 94214 445 1167 0 93773 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 379968
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20828
/proc/meminfo: memFree=30694924/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=379968 CPUtime=1421.97 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 94399 0 0 0 142008 189 0 0 20 0 1 0 285681931 389087232 94214 33554432000 4194304 8973514 140734332546512 140734332545776 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 94992 94214 445 1167 0 93773 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 379968
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20828
/proc/meminfo: memFree=30660328/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=379968 CPUtime=1481.97 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 94399 0 0 0 148001 196 0 0 20 0 1 0 285681931 389087232 94214 33554432000 4194304 8973514 140734332546512 140734332545776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 94992 94214 445 1167 0 93773 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 379968
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 20828
/proc/meminfo: memFree=30715076/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=385088 CPUtime=1541.96 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 95578 0 0 0 153994 202 0 0 20 0 1 0 285681931 394330112 95393 33554432000 4194304 8973514 140734332546512 140734332546008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 96272 95393 445 1167 0 95053 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 385088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20828
/proc/meminfo: memFree=30692632/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=407616 CPUtime=1601.95 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 101207 0 0 0 159987 208 0 0 20 0 1 0 285681931 417398784 101022 33554432000 4194304 8973514 140734332546512 140734332545776 4390269 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 101904 101022 445 1167 0 100685 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 407616
[startup+1662.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 20828
/proc/meminfo: memFree=30682252/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=407616 CPUtime=1661.94 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 101316 0 0 0 165980 214 0 0 20 0 1 0 285681931 417398784 101126 33554432000 4194304 8973514 140734332546512 140734332545776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 101904 101126 445 1167 0 100685 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 407616
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20829
/proc/meminfo: memFree=30706984/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=394304 CPUtime=1721.93 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 101316 0 0 0 171971 222 0 0 20 0 1 0 285681931 403767296 97798 33554432000 4194304 8973514 140734332546512 140734332545776 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 98576 97798 445 1167 0 97357 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 394304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20829
/proc/meminfo: memFree=30689564/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=394304 CPUtime=1781.91 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 101316 0 0 0 177961 230 0 0 20 0 1 0 285681931 403767296 97798 33554432000 4194304 8973514 140734332546512 140734332545776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 98576 97798 445 1167 0 97357 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 394304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 20830
/proc/meminfo: memFree=30852584/32873844 swapFree=6088/6088
[pid=20790] ppid=20788 vsize=394304 CPUtime=1800.02 cores=1,3,5,7
/proc/20790/stat : 20790 (toysat) R 20788 20790 20536 0 -1 4202496 101316 0 0 0 179769 233 0 0 20 0 1 0 285681931 403767296 97798 33554432000 4194304 8973514 140734332546512 140734332545776 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20790/statm: 98576 97798 445 1167 0 97357 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 394304
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.03
CPU user time (s): 1797.69
CPU system time (s): 2.33864
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 407616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.69
system time used= 2.33864
maximum resident set size= 404504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101316
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= 114
involuntary context switches= 1848
runsolver used 3.36049 second user time and 9.1836 second system time
The end