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-3706404-1338217261/watcher-3706404-1338217261 -o /tmp/evaluation-result-3706404-1338217261/solver-3706404-1338217261 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706404-1338217261.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.99 3/175 22109
/proc/meminfo: memFree=31084796/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 1 0 287854604 6356992 708 33554432000 4194304 8973514 140737189664928 140734074846616 7694800 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 1552 710 413 1167 0 333 0
[startup+0.0586679 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 22109
/proc/meminfo: memFree=31084796/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=11328 CPUtime=0.05 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 1853 0 0 0 5 0 0 0 20 0 1 0 287854604 11599872 1774 33554432000 4194304 8973514 140737189664928 140734074846616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 2832 1774 414 1167 0 1613 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11328
[startup+0.100323 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 22109
/proc/meminfo: memFree=31084796/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=14400 CPUtime=0.09 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 2720 0 0 0 9 0 0 0 20 0 1 0 287854604 14745600 2641 33554432000 4194304 8973514 140737189664928 140734074846616 7858672 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 3600 2641 414 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.300318 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 22109
/proc/meminfo: memFree=31084796/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 6040 0 0 0 28 1 0 0 20 0 1 0 287854604 28377088 5961 33554432000 4194304 8973514 140737189664928 140734074846616 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 6928 5961 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700327 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 22109
/proc/meminfo: memFree=31084796/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=55360 CPUtime=0.69 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 13103 0 0 0 66 3 0 0 20 0 1 0 287854604 56688640 13024 33554432000 4194304 8973514 140737189664928 140737189664192 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 14096 13035 418 1167 0 12877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55360
[startup+1.50032 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22110
/proc/meminfo: memFree=31015960/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=94272 CPUtime=1.49 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 22852 0 0 0 144 5 0 0 20 0 1 0 287854604 96534528 22773 33554432000 4194304 8973514 140737189664928 140737189664192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 23568 22773 428 1167 0 22349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94272
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22110
/proc/meminfo: memFree=30984712/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=104512 CPUtime=3.08 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 25414 0 0 0 303 5 0 0 20 0 1 0 287854604 107020288 25335 33554432000 4194304 8973514 140737189664928 140737189664424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 26128 25335 430 1167 0 24909 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 104512
[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 22110
/proc/meminfo: memFree=30983356/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=109632 CPUtime=6.29 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 26694 0 0 0 623 6 0 0 20 0 1 0 287854604 112263168 26615 33554432000 4194304 8973514 140737189664928 140737189664424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 27408 26615 430 1167 0 26189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109632
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 22110
/proc/meminfo: memFree=30979252/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=109632 CPUtime=12.69 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 26694 0 0 0 1261 8 0 0 20 0 1 0 287854604 112263168 26615 33554432000 4194304 8973514 140737189664928 140737189664424 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 27408 26615 430 1167 0 26189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109632
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/176 22110
/proc/meminfo: memFree=30979764/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=109632 CPUtime=25.49 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 26694 0 0 0 2538 11 0 0 20 0 1 0 287854604 112263168 26615 33554432000 4194304 8973514 140737189664928 140737189664424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 27408 26615 430 1167 0 26189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109632
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 22110
/proc/meminfo: memFree=30979888/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=109632 CPUtime=51.08 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 26694 0 0 0 5092 16 0 0 20 0 1 0 287854604 112263168 26615 33554432000 4194304 8973514 140737189664928 140737189664424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 27408 26615 430 1167 0 26189 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109632
[startup+102.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 22110
/proc/meminfo: memFree=30966796/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=122944 CPUtime=102.28 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 30052 0 0 0 10204 24 0 0 20 0 1 0 287854604 125894656 29975 33554432000 4194304 8973514 140737189664928 140737189648024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 30736 29975 457 1167 0 29517 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 122944
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 22110
/proc/meminfo: memFree=30953184/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=135232 CPUtime=162.25 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 33130 0 0 0 16191 34 0 0 20 0 1 0 287854604 138477568 33047 33554432000 4194304 8973514 140737189664928 140737189662848 4214034 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 33808 33047 457 1167 0 32589 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 135232
[startup+222.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/174 22149
/proc/meminfo: memFree=30973880/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=141376 CPUtime=222.25 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 34666 0 0 0 22182 43 0 0 20 0 1 0 287854604 144769024 34583 33554432000 4194304 8973514 140737189664928 140737189662912 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 35344 34583 457 1167 0 34125 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 141376
[startup+282.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/175 22150
/proc/meminfo: memFree=30971524/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=145472 CPUtime=282.23 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 35690 0 0 0 28173 50 0 0 20 0 1 0 287854604 148963328 35607 33554432000 4194304 8973514 140737189664928 140737189664424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 36368 35607 457 1167 0 35149 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 145472
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 22150
/proc/meminfo: memFree=30954100/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=161856 CPUtime=342.23 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 39786 0 0 0 34165 58 0 0 20 0 1 0 287854604 165740544 39703 33554432000 4194304 8973514 140737189664928 140737189664192 7400722 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 40464 39703 457 1167 0 39245 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 161856
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 22150
/proc/meminfo: memFree=30953184/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=161856 CPUtime=402.21 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 39786 0 0 0 40156 65 0 0 20 0 1 0 287854604 165740544 39703 33554432000 4194304 8973514 140737189664928 140737189664192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 40464 39703 457 1167 0 39245 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 161856
[startup+462.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/175 22150
/proc/meminfo: memFree=30952316/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=162880 CPUtime=462.2 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 40042 0 0 0 46148 72 0 0 20 0 1 0 287854604 166789120 39959 33554432000 4194304 8973514 140737189664928 140737189662912 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 40720 39959 457 1167 0 39501 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 162880
[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 22150
/proc/meminfo: memFree=30952364/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=162880 CPUtime=522.2 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 40045 0 0 0 52140 80 0 0 20 0 1 0 287854604 166789120 39959 33554432000 4194304 8973514 140737189664928 140737189664424 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 40720 39959 457 1167 0 39501 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 162880
[startup+582.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/176 22154
/proc/meminfo: memFree=30946660/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=165952 CPUtime=582.19 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 40813 0 0 0 58131 88 0 0 20 0 1 0 287854604 169934848 40727 33554432000 4194304 8973514 140737189664928 140737189662848 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 41488 40727 457 1167 0 40269 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 165952
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 22154
/proc/meminfo: memFree=30926248/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=176192 CPUtime=822.16 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 43375 0 0 0 82096 120 0 0 20 0 1 0 287854604 180420608 43287 33554432000 4194304 8973514 140737189664928 140737189662912 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 44048 43287 457 1167 0 42829 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 176192
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 22155
/proc/meminfo: memFree=30923272/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=178240 CPUtime=882.14 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 43887 0 0 0 88086 128 0 0 20 0 1 0 287854604 182517760 43799 33554432000 4194304 8973514 140737189664928 140737189664192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 44560 43799 457 1167 0 43341 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 178240
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 22155
/proc/meminfo: memFree=30915080/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=183360 CPUtime=942.14 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 45167 0 0 0 94079 135 0 0 20 0 1 0 287854604 187760640 45079 33554432000 4194304 8973514 140737189664928 140737189664424 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 45840 45079 457 1167 0 44621 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 183360
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 22155
/proc/meminfo: memFree=30896728/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=199744 CPUtime=1002.12 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 49263 0 0 0 100070 142 0 0 20 0 1 0 287854604 204537856 49175 33554432000 4194304 8973514 140737189664928 140737189664424 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 49936 49175 457 1167 0 48717 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 199744
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 22155
/proc/meminfo: memFree=30881452/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=212032 CPUtime=1062.11 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 52343 0 0 0 106062 149 0 0 20 0 1 0 287854604 217120768 52247 33554432000 4194304 8973514 140737189664928 140737189664424 4209309 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 53008 52247 457 1167 0 51789 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 212032
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 22155
/proc/meminfo: memFree=30866128/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=225344 CPUtime=1122.1 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 55671 0 0 0 112052 158 0 0 20 0 1 0 287854604 230752256 55575 33554432000 4194304 8973514 140737189664928 140737189664192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 56336 55575 457 1167 0 55117 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 225344
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22159
/proc/meminfo: memFree=30854768/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=234560 CPUtime=1182.1 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 57975 0 0 0 118044 166 0 0 20 0 1 0 287854604 240189440 57879 33554432000 4194304 8973514 140737189664928 140737189664192 4209136 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 58640 57879 457 1167 0 57421 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 234560
[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 22159
/proc/meminfo: memFree=30852420/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=234560 CPUtime=1242.09 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 57975 0 0 0 124036 173 0 0 20 0 1 0 287854604 240189440 57879 33554432000 4194304 8973514 140737189664928 140737189664424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 58640 57879 457 1167 0 57421 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 234560
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 22159
/proc/meminfo: memFree=30849360/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=234560 CPUtime=1302.08 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 57976 0 0 0 130026 182 0 0 20 0 1 0 287854604 240189440 57879 33554432000 4194304 8973514 140737189664928 140737189664424 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 58640 57879 457 1167 0 57421 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 234560
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22159
/proc/meminfo: memFree=30847252/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=234560 CPUtime=1362.07 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 57976 0 0 0 136015 192 0 0 20 0 1 0 287854604 240189440 57879 33554432000 4194304 8973514 140737189664928 140737189664192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 58640 57879 457 1167 0 57421 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 234560
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22159
/proc/meminfo: memFree=30845256/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=234560 CPUtime=1422.06 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 57976 0 0 0 142004 202 0 0 20 0 1 0 287854604 240189440 57879 33554432000 4194304 8973514 140737189664928 140737189662912 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 58640 57879 457 1167 0 57421 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 234560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22160
/proc/meminfo: memFree=30829880/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=246848 CPUtime=1482.05 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 61048 0 0 0 147994 211 0 0 20 0 1 0 287854604 252772352 60951 33554432000 4194304 8973514 140737189664928 140737189662848 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 61712 60951 457 1167 0 60493 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 246848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22160
/proc/meminfo: memFree=30817480/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=257088 CPUtime=1542.04 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 63608 0 0 0 153985 219 0 0 20 0 1 0 287854604 263258112 63511 33554432000 4194304 8973514 140737189664928 140737189664424 4209376 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 64272 63511 457 1167 0 63053 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 257088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22160
/proc/meminfo: memFree=30814544/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=257088 CPUtime=1602.03 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 63610 0 0 0 159975 228 0 0 20 0 1 0 287854604 263258112 63511 33554432000 4194304 8973514 140737189664928 140737189664424 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 64272 63511 457 1167 0 63053 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 257088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22160
/proc/meminfo: memFree=30812736/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=257088 CPUtime=1662.01 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 63610 0 0 0 165964 237 0 0 20 0 1 0 287854604 263258112 63511 33554432000 4194304 8973514 140737189664928 140737189664424 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 64272 63511 457 1167 0 63053 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 257088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22160
/proc/meminfo: memFree=30810752/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=257088 CPUtime=1722.01 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 63610 0 0 0 171954 247 0 0 20 0 1 0 287854604 263258112 63511 33554432000 4194304 8973514 140737189664928 140737189664424 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 64272 63511 457 1167 0 63053 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 257088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22164
/proc/meminfo: memFree=30807396/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=257088 CPUtime=1782 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 63610 0 0 0 177945 255 0 0 20 0 1 0 287854604 263258112 63511 33554432000 4194304 8973514 140737189664928 140737189662848 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 64272 63511 457 1167 0 63053 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 257088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 22164
/proc/meminfo: memFree=30806404/32873844 swapFree=6088/6088
[pid=22109] ppid=22107 vsize=257088 CPUtime=1800.1 cores=1,3,5,7
/proc/22109/stat : 22109 (toysat) R 22107 22109 20536 0 -1 4202496 63610 0 0 0 179752 258 0 0 20 0 1 0 287854604 263258112 63511 33554432000 4194304 8973514 140737189664928 140737189662912 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22109/statm: 64272 63511 457 1167 0 63053 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 257088
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.11
CPU user time (s): 1797.53
CPU system time (s): 2.58761
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 257088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.53
system time used= 2.58761
maximum resident set size= 254044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63610
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= 28
involuntary context switches= 1875
runsolver used 3.73243 second user time and 9.44256 second system time
The end