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-3707120-1338145051/watcher-3707120-1338145051 -o /tmp/evaluation-result-3707120-1338145051/solver-3707120-1338145051 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707120-1338145051.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 23429
/proc/meminfo: memFree=26272548/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 1 0 280633663 6356992 710 33554432000 4194304 8973514 140735567501120 140736315414072 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 1552 710 415 1167 0 333 0
[startup+0.00807512 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 23429
/proc/meminfo: memFree=26272548/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 831 0 0 0 0 0 0 0 20 0 1 0 280633663 7405568 753 33554432000 4194304 8973514 140735567501120 140736315414072 5782303 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 1808 753 415 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 23429
/proc/meminfo: memFree=26272548/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 2201 0 0 0 9 0 0 0 20 0 1 0 280633663 12648448 2123 33554432000 4194304 8973514 140735567501120 140735567500384 5783492 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 3088 2123 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 23429
/proc/meminfo: memFree=26272548/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=26688 CPUtime=0.29 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 5815 0 0 0 28 1 0 0 20 0 1 0 280633663 27328512 5737 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 6672 5737 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 23429
/proc/meminfo: memFree=26272548/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=44096 CPUtime=0.69 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 10291 0 0 0 67 2 0 0 20 0 1 0 280633663 45154304 10213 33554432000 4194304 8973514 140735567501120 140735567500616 7858672 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 11024 10213 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23430
/proc/meminfo: memFree=26201256/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=99392 CPUtime=1.49 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 24115 0 0 0 144 5 0 0 20 0 1 0 280633663 101777408 24037 33554432000 4194304 8973514 140735567501120 140735567484216 7841851 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 24848 24037 418 1167 0 23629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99392
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23430
/proc/meminfo: memFree=26142356/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=205888 CPUtime=3.08 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 50732 0 0 0 298 10 0 0 20 0 1 0 280633663 210829312 50654 33554432000 4194304 8973514 140735567501120 140735567499960 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 51472 50659 422 1167 0 50253 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 205888
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23430
/proc/meminfo: memFree=26048116/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=226368 CPUtime=6.28 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 55902 0 0 0 616 12 0 0 20 0 1 0 280633663 231800832 55824 33554432000 4194304 8973514 140735567501120 140735567500616 4427744 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 56592 55824 455 1167 0 55373 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 226368
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23430
/proc/meminfo: memFree=26032648/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=239680 CPUtime=12.69 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 59231 0 0 0 1254 15 0 0 20 0 1 0 280633663 245432320 59153 33554432000 4194304 8973514 140735567501120 140735567500616 4442896 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 59920 59153 456 1167 0 58701 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 239680
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23430
/proc/meminfo: memFree=26021620/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=249920 CPUtime=25.48 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 61791 0 0 0 2530 18 0 0 20 0 1 0 280633663 255918080 61713 33554432000 4194304 8973514 140735567501120 140735567500384 4208855 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23429/statm: 62480 61713 456 1167 0 61261 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 249920
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 23430
/proc/meminfo: memFree=25994464/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=264256 CPUtime=51.08 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 65375 0 0 0 5081 27 0 0 20 0 1 0 280633663 270598144 65297 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 66064 65297 456 1167 0 64845 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 264256
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23430
/proc/meminfo: memFree=25947716/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=297024 CPUtime=102.28 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 73567 0 0 0 10182 46 0 0 20 0 1 0 280633663 304152576 73489 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 74256 73489 456 1167 0 73037 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 297024
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 23433
/proc/meminfo: memFree=25891652/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=330816 CPUtime=162.26 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 82015 0 0 0 16163 63 0 0 20 0 1 0 280633663 338755584 81937 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 82704 81937 456 1167 0 81485 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 330816
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23456
/proc/meminfo: memFree=25842672/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=363584 CPUtime=222.26 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 90207 0 0 0 22147 79 0 0 20 0 1 0 280633663 372310016 90129 33554432000 4194304 8973514 140735567501120 140735567500616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 90896 90129 456 1167 0 89677 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 363584
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23457
/proc/meminfo: memFree=25796064/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=394304 CPUtime=282.24 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 97887 0 0 0 28130 94 0 0 20 0 1 0 280633663 403767296 97809 33554432000 4194304 8973514 140735567501120 140735567500384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 98576 97809 456 1167 0 97357 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 394304
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23457
/proc/meminfo: memFree=25769364/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=422976 CPUtime=342.24 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 105055 0 0 0 34115 109 0 0 20 0 1 0 280633663 433127424 104977 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 105744 104977 456 1167 0 104525 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 422976
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23457
/proc/meminfo: memFree=25745184/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=447552 CPUtime=402.23 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 111199 0 0 0 40100 123 0 0 20 0 1 0 280633663 458293248 111121 33554432000 4194304 8973514 140735567501120 140735567500384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 111888 111121 456 1167 0 110669 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 447552
[startup+462.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 23496
/proc/meminfo: memFree=26423488/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=470080 CPUtime=462.22 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 116831 0 0 0 46088 134 0 0 20 0 1 0 280633663 481361920 116753 33554432000 4194304 8973514 140735567501120 140735567499136 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 117520 116753 456 1167 0 116301 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 470080
[startup+522.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 23496
/proc/meminfo: memFree=26404304/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=490560 CPUtime=522.19 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 121973 0 0 0 52072 147 0 0 20 0 1 0 280633663 502333440 121873 33554432000 4194304 8973514 140735567501120 140735567500384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 122640 121873 456 1167 0 121421 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 490560
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23497
/proc/meminfo: memFree=26321872/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=511040 CPUtime=582.16 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 127108 0 0 0 58056 160 0 0 20 0 1 0 280633663 523304960 126993 33554432000 4194304 8973514 140735567501120 140735567500616 4427084 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 127760 126993 456 1167 0 126541 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 511040
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23501
/proc/meminfo: memFree=26068248/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=609344 CPUtime=882.04 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 151764 0 0 0 87980 224 0 0 20 0 1 0 280633663 623968256 151569 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 152336 151569 456 1167 0 151117 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 609344
[startup+942.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 23501
/proc/meminfo: memFree=26025372/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=628800 CPUtime=942.03 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 156628 0 0 0 93967 236 0 0 20 0 1 0 280633663 643891200 156433 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 157200 156433 456 1167 0 155981 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 628800
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23501
/proc/meminfo: memFree=25985596/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=648256 CPUtime=1002.03 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 161492 0 0 0 99954 249 0 0 20 0 1 0 280633663 663814144 161297 33554432000 4194304 8973514 140735567501120 140735567500616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 162064 161297 456 1167 0 160845 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 648256
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23501
/proc/meminfo: memFree=25938380/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=665664 CPUtime=1062.01 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 165844 0 0 0 105942 259 0 0 20 0 1 0 280633663 681639936 165649 33554432000 4194304 8973514 140735567501120 140735567500384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 166416 165649 456 1167 0 165197 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 665664
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23501
/proc/meminfo: memFree=25893272/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=686144 CPUtime=1122 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 170964 0 0 0 111929 271 0 0 20 0 1 0 280633663 702611456 170769 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 171536 170769 456 1167 0 170317 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 686144
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23502
/proc/meminfo: memFree=25852380/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=702528 CPUtime=1181.99 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 175060 0 0 0 117917 282 0 0 20 0 1 0 280633663 719388672 174865 33554432000 4194304 8973514 140735567501120 140735567500384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 175632 174865 456 1167 0 174413 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 702528
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23502
/proc/meminfo: memFree=25812432/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=719936 CPUtime=1241.98 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 179412 0 0 0 123903 295 0 0 20 0 1 0 280633663 737214464 179217 33554432000 4194304 8973514 140735567501120 140735567500616 4442708 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 179984 179217 456 1167 0 178765 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 719936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23502
/proc/meminfo: memFree=25777464/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=738368 CPUtime=1301.99 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 184020 0 0 0 129892 307 0 0 20 0 1 0 280633663 756088832 183825 33554432000 4194304 8973514 140735567501120 140735567500616 4441196 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 184592 183825 456 1167 0 183373 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 738368
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23505
/proc/meminfo: memFree=25748532/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=753728 CPUtime=1361.97 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 187860 0 0 0 135880 317 0 0 20 0 1 0 280633663 771817472 187665 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 188432 187665 456 1167 0 187213 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 753728
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23505
/proc/meminfo: memFree=25718192/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=771136 CPUtime=1421.97 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 192212 0 0 0 141868 329 0 0 20 0 1 0 280633663 789643264 192017 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 192784 192017 456 1167 0 191565 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 771136
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23506
/proc/meminfo: memFree=25692524/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=786496 CPUtime=1481.95 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 196052 0 0 0 147855 340 0 0 20 0 1 0 280633663 805371904 195857 33554432000 4194304 8973514 140735567501120 140735567500616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 196624 195857 456 1167 0 195405 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 786496
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23506
/proc/meminfo: memFree=25664880/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=801856 CPUtime=1541.94 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 199892 0 0 0 153844 350 0 0 20 0 1 0 280633663 821100544 199697 33554432000 4194304 8973514 140735567501120 140735567483136 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 200464 199697 456 1167 0 199245 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 801856
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23507
/proc/meminfo: memFree=25641828/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=815168 CPUtime=1601.92 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 203233 0 0 0 159830 362 0 0 20 0 1 0 280633663 834732032 203025 33554432000 4194304 8973514 140735567501120 140735567500384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 203792 203025 456 1167 0 202573 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 815168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23507
/proc/meminfo: memFree=25610856/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=830528 CPUtime=1661.89 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 207088 0 0 0 165819 370 0 0 20 0 1 0 280633663 850460672 206865 33554432000 4194304 8973514 140735567501120 140735567500616 4427744 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 207632 206865 456 1167 0 206413 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 830528
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23507
/proc/meminfo: memFree=25590176/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=843840 CPUtime=1721.87 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 210426 0 0 0 171808 379 0 0 20 0 1 0 280633663 864092160 210193 33554432000 4194304 8973514 140735567501120 140735567500616 4204685 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 210960 210193 456 1167 0 209741 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 843840
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23508
/proc/meminfo: memFree=25561324/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=859200 CPUtime=1781.86 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 214272 0 0 0 177796 390 0 0 20 0 1 0 280633663 879820800 214033 33554432000 4194304 8973514 140735567501120 140735567500616 4427144 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 214800 214033 456 1167 0 213581 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 859200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23508
/proc/meminfo: memFree=25554008/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=863296 CPUtime=1800.06 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 215296 0 0 0 179613 393 0 0 20 0 1 0 280633663 884015104 215057 33554432000 4194304 8973514 140735567501120 140735567500616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 215824 215057 456 1167 0 214605 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 863296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23508
/proc/meminfo: memFree=25554008/32873844 swapFree=6088/6088
[pid=23429] ppid=23427 vsize=863296 CPUtime=1800.06 cores=0,2,4,6
/proc/23429/stat : 23429 (toysat) R 23427 23429 21557 0 -1 4202496 215296 0 0 0 179613 393 0 0 20 0 1 0 280633663 884015104 215057 33554432000 4194304 8973514 140735567501120 140735567500616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23429/statm: 215824 215057 456 1167 0 214605 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 863296
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1796.14
CPU system time (s): 3.9384
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 863296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.14
system time used= 3.9384
maximum resident set size= 860228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215296
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= 164
involuntary context switches= 2069
runsolver used 3.2805 second user time and 8.82466 second system time
The end