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-3706373-1338153126/watcher-3706373-1338153126 -o /tmp/evaluation-result-3706373-1338153126/solver-3706373-1338153126 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706373-1338153126.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.12 2.07 2.02 3/176 13035
/proc/meminfo: memFree=30371172/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 281438665 6356992 726 33554432000 4194304 8973514 140736022168512 140734702044552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 1552 726 412 1167 0 333 0
[startup+0.0625409 s]
/proc/loadavg: 2.12 2.07 2.02 3/176 13035
/proc/meminfo: memFree=30371172/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=10304 CPUtime=0.05 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 1748 0 0 0 5 0 0 0 20 0 1 0 281438665 10551296 1670 33554432000 4194304 8973514 140736022168512 140736022167776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 2576 1670 417 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.10025 s]
/proc/loadavg: 2.12 2.07 2.02 3/176 13035
/proc/meminfo: memFree=30371172/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 2512 0 0 0 9 0 0 0 20 0 1 0 281438665 13697024 2434 33554432000 4194304 8973514 140736022168512 140736022167776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 3344 2434 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300249 s]
/proc/loadavg: 2.12 2.07 2.02 3/176 13035
/proc/meminfo: memFree=30371172/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=28736 CPUtime=0.28 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 6452 0 0 0 28 0 0 0 20 0 1 0 281438665 29425664 6374 33554432000 4194304 8973514 140736022168512 140736022167776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 7184 6374 418 1167 0 5965 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28736
[startup+0.70025 s]
/proc/loadavg: 2.12 2.07 2.02 3/176 13035
/proc/meminfo: memFree=30371172/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=50240 CPUtime=0.68 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 11691 0 0 0 67 1 0 0 20 0 1 0 281438665 51445760 11613 33554432000 4194304 8973514 140736022168512 140736022167776 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 12560 11621 418 1167 0 11341 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50240
[startup+1.50025 s]
/proc/loadavg: 2.12 2.07 2.02 3/177 13036
/proc/meminfo: memFree=30295408/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=107584 CPUtime=1.49 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 26179 0 0 0 145 4 0 0 20 0 1 0 281438665 110166016 26101 33554432000 4194304 8973514 140736022168512 140736022168008 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 26896 26101 427 1167 0 25677 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107584
[startup+3.10011 s]
/proc/loadavg: 2.11 2.07 2.02 3/177 13036
/proc/meminfo: memFree=30251760/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=123968 CPUtime=3.08 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 30276 0 0 0 303 5 0 0 20 0 1 0 281438665 126943232 30198 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 30992 30198 428 1167 0 29773 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 123968
[startup+6.30015 s]
/proc/loadavg: 2.11 2.07 2.02 3/177 13036
/proc/meminfo: memFree=30251304/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=123968 CPUtime=6.28 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 30293 0 0 0 622 6 0 0 20 0 1 0 281438665 126943232 30215 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 30992 30215 445 1167 0 29773 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 123968
[startup+12.7001 s]
/proc/loadavg: 2.18 2.08 2.02 3/177 13036
/proc/meminfo: memFree=30251188/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=123968 CPUtime=12.68 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 30303 0 0 0 1259 9 0 0 20 0 1 0 281438665 126943232 30225 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 30992 30225 455 1167 0 29773 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 123968
[startup+25.5002 s]
/proc/loadavg: 2.15 2.08 2.02 3/177 13036
/proc/meminfo: memFree=30245824/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=130112 CPUtime=25.48 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 31688 0 0 0 2531 17 0 0 20 0 1 0 281438665 133234688 31605 33554432000 4194304 8973514 140736022168512 140736022166464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 32528 31605 455 1167 0 31309 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 130112
[startup+51.1003 s]
/proc/loadavg: 2.16 2.08 2.03 3/177 13036
/proc/meminfo: memFree=30234880/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=140352 CPUtime=51.07 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 34408 0 0 0 5074 33 0 0 20 0 1 0 281438665 143720448 34321 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 35088 34321 455 1167 0 33869 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 140352
[startup+102.306 s]
/proc/loadavg: 2.18 2.10 2.03 3/176 13075
/proc/meminfo: memFree=30369020/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=149568 CPUtime=102.25 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 36737 0 0 0 10164 61 0 0 20 0 1 0 281438665 153157632 36625 33554432000 4194304 8973514 140736022168512 140736022168008 7716813 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 37392 36625 455 1167 0 36173 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149568
[startup+162.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/177 13076
/proc/meminfo: memFree=30344416/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=156736 CPUtime=162.24 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 38529 0 0 0 16138 86 0 0 20 0 1 0 281438665 160497664 38417 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 39184 38417 455 1167 0 37965 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 156736
[startup+222.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 13076
/proc/meminfo: memFree=30324332/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=163904 CPUtime=222.23 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 40321 0 0 0 22106 117 0 0 20 0 1 0 281438665 167837696 40209 33554432000 4194304 8973514 140736022168512 140736022167776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 40976 40209 455 1167 0 39757 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 163904
[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 13076
/proc/meminfo: memFree=30310272/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=165952 CPUtime=282.22 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 40834 0 0 0 28087 135 0 0 20 0 1 0 281438665 169934848 40721 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 41488 40721 455 1167 0 40269 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 165952
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/177 13076
/proc/meminfo: memFree=30300200/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=169024 CPUtime=342.21 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 41602 0 0 0 34063 158 0 0 20 0 1 0 281438665 173080576 41489 33554432000 4194304 8973514 140736022168512 140736022168008 4214507 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 42256 41489 455 1167 0 41037 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 169024
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 13076
/proc/meminfo: memFree=30291080/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=171072 CPUtime=402.2 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 42114 0 0 0 40042 178 0 0 20 0 1 0 281438665 175177728 42001 33554432000 4194304 8973514 140736022168512 140736022167776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 42768 42001 455 1167 0 41549 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 171072
[startup+462.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 13077
/proc/meminfo: memFree=30280272/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=174144 CPUtime=462.19 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 42882 0 0 0 46018 201 0 0 20 0 1 0 281438665 178323456 42769 33554432000 4194304 8973514 140736022168512 140736022168008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 43536 42769 455 1167 0 42317 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 174144
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/178 13080
/proc/meminfo: memFree=30269772/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=177216 CPUtime=522.19 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 43650 0 0 0 51989 230 0 0 20 0 1 0 281438665 181469184 43537 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 44304 43537 455 1167 0 43085 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 177216
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 13080
/proc/meminfo: memFree=30262392/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=182336 CPUtime=582.17 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 44932 0 0 0 57960 257 0 0 20 0 1 0 281438665 186712064 44817 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 45584 44817 455 1167 0 44365 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 182336
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13081
/proc/meminfo: memFree=30249120/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=195648 CPUtime=822.13 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 48260 0 0 0 81843 370 0 0 20 0 1 0 281438665 200343552 48145 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 48912 48145 455 1167 0 47693 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 195648
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13081
/proc/meminfo: memFree=30242548/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=197696 CPUtime=882.12 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 48772 0 0 0 87822 390 0 0 20 0 1 0 281438665 202440704 48657 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 49424 48657 455 1167 0 48205 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 197696
[startup+942.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 13082
/proc/meminfo: memFree=30238828/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=199744 CPUtime=942.12 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 49284 0 0 0 93795 417 0 0 20 0 1 0 281438665 204537856 49169 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 49936 49169 455 1167 0 48717 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 199744
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13082
/proc/meminfo: memFree=30234860/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=203840 CPUtime=1002.1 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 50310 0 0 0 99758 452 0 0 20 0 1 0 281438665 208732160 50192 33554432000 4194304 8973514 140736022168512 140736022166464 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 50960 50192 455 1167 0 49741 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 203840
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13083
/proc/meminfo: memFree=30230892/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=207936 CPUtime=1062.09 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51335 0 0 0 105729 480 0 0 20 0 1 0 281438665 212926464 51217 33554432000 4194304 8973514 140736022168512 140736022168008 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 51984 51217 455 1167 0 50765 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 207936
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13086
/proc/meminfo: memFree=30230760/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=207936 CPUtime=1122.09 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51335 0 0 0 111712 497 0 0 20 0 1 0 281438665 212926464 51217 33554432000 4194304 8973514 140736022168512 140736022167776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 51984 51217 455 1167 0 50765 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 207936
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13086
/proc/meminfo: memFree=30230760/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=207936 CPUtime=1182.08 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51338 0 0 0 117694 514 0 0 20 0 1 0 281438665 212926464 51217 33554432000 4194304 8973514 140736022168512 140736022167776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 51984 51217 455 1167 0 50765 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 207936
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13086
/proc/meminfo: memFree=30230512/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=207936 CPUtime=1242.07 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51338 0 0 0 123677 530 0 0 20 0 1 0 281438665 212926464 51217 33554432000 4194304 8973514 140736022168512 140736022166464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 51984 51217 455 1167 0 50765 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 207936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13086
/proc/meminfo: memFree=30224932/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=207936 CPUtime=1302.06 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51338 0 0 0 129657 549 0 0 20 0 1 0 281438665 212926464 51217 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 51984 51217 455 1167 0 50765 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 207936
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13087
/proc/meminfo: memFree=30222884/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1362.05 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 135634 571 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022168008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 209984
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13087
/proc/meminfo: memFree=30222884/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1422.05 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 141617 588 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022168008 7399481 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 209984
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 13087
/proc/meminfo: memFree=30223220/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1482.03 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 147601 602 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022166464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 209984
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13087
/proc/meminfo: memFree=30223224/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1542.02 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 153582 620 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022167776 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 209984
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13087
/proc/meminfo: memFree=30218884/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1602.01 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 159563 638 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 209984
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13088
/proc/meminfo: memFree=30217024/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1662.01 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 165542 659 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022168008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 209984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13091
/proc/meminfo: memFree=30213952/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1721.99 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 171524 675 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022167776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 209984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13091
/proc/meminfo: memFree=30208256/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1781.98 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 177504 694 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022168008 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 209984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13091
/proc/meminfo: memFree=30207512/32873648 swapFree=6860/6860
[pid=13035] ppid=13033 vsize=209984 CPUtime=1800.09 cores=1,3,5,7
/proc/13035/stat : 13035 (toysat) R 13033 13035 9979 0 -1 4202496 51850 0 0 0 179310 699 0 0 20 0 1 0 281438665 215023616 51729 33554432000 4194304 8973514 140736022168512 140736022168008 4434661 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13035/statm: 52496 51729 455 1167 0 51277 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 209984
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.1
CPU user time (s): 1793.1
CPU system time (s): 6.99394
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 209984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.1
system time used= 6.99394
maximum resident set size= 206916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51850
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= 46
involuntary context switches= 1850
runsolver used 3.2715 second user time and 9.30259 second system time
The end