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-3707323-1338133120/watcher-3707323-1338133120 -o /tmp/evaluation-result-3707323-1338133120/solver-3707323-1338133120 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707323-1338133120.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.00 2.02 2.00 3/178 23765
/proc/meminfo: memFree=29679816/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 1 0 279436830 6356992 717 33554432000 4194304 8973514 140734799183264 140736371593672 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 1552 717 416 1167 0 333 0
[startup+0.019646 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 23765
/proc/meminfo: memFree=29679816/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=7232 CPUtime=0.01 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 1075 0 0 0 1 0 0 0 20 0 1 0 279436830 7405568 997 33554432000 4194304 8973514 140734799183264 140736371593672 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 1808 997 418 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232
[startup+0.100259 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 23765
/proc/meminfo: memFree=29679816/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=13376 CPUtime=0.08 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 2401 0 0 0 8 0 0 0 20 0 1 0 279436830 13697024 2323 33554432000 4194304 8973514 140734799183264 140736371593672 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 3344 2323 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376
[startup+0.300295 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 23765
/proc/meminfo: memFree=29679816/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=31808 CPUtime=0.28 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 7096 0 0 0 27 1 0 0 20 0 1 0 279436830 32571392 7018 33554432000 4194304 8973514 140734799183264 140736371593672 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 7952 7018 429 1167 0 6733 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31808
[startup+0.700304 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 23765
/proc/meminfo: memFree=29679816/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=53312 CPUtime=0.69 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 12640 0 0 0 66 3 0 0 20 0 1 0 279436830 54591488 12562 33554432000 4194304 8973514 140734799183264 140734799182104 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 13328 12562 458 1167 0 12109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53312
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23766
/proc/meminfo: memFree=29608184/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=85056 CPUtime=1.49 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 20399 0 0 0 144 5 0 0 20 0 1 0 279436830 87097344 20321 33554432000 4194304 8973514 140734799183264 140734799165248 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 21264 20321 458 1167 0 20045 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85056
[startup+3.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23766
/proc/meminfo: memFree=29601612/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=89152 CPUtime=3.09 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 21511 0 0 0 304 5 0 0 20 0 1 0 279436830 91291648 21433 33554432000 4194304 8973514 140734799183264 140734799182760 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 22288 21433 458 1167 0 21069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89152
[startup+6.3003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23766
/proc/meminfo: memFree=29587972/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=101440 CPUtime=6.29 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 24636 0 0 0 622 7 0 0 20 0 1 0 279436830 103874560 24558 33554432000 4194304 8973514 140734799183264 140734799182760 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 25360 24558 458 1167 0 24141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101440
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 23766
/proc/meminfo: memFree=29566776/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=119872 CPUtime=12.69 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 29207 0 0 0 1259 10 0 0 20 0 1 0 279436830 122748928 29129 33554432000 4194304 8973514 140734799183264 140734799182528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 29968 29129 458 1167 0 28749 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119872
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 23766
/proc/meminfo: memFree=29536404/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=150592 CPUtime=25.49 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 36960 0 0 0 2534 15 0 0 20 0 1 0 279436830 154206208 36882 33554432000 4194304 8973514 140734799183264 140734799182528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 37648 36882 458 1167 0 36429 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150592
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 23805
/proc/meminfo: memFree=29668096/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=204864 CPUtime=51.08 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 50402 0 0 0 5084 24 0 0 20 0 1 0 279436830 209780736 50324 33554432000 4194304 8973514 140734799183264 140734799182528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 51216 50324 458 1167 0 49997 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 204864
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 23809
/proc/meminfo: memFree=29516504/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=276544 CPUtime=102.26 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 68233 0 0 0 10190 36 0 0 20 0 1 0 279436830 283181056 68133 33554432000 4194304 8973514 140734799183264 140734799182528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 69136 68133 458 1167 0 67917 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 276544
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23809
/proc/meminfo: memFree=29452804/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=321600 CPUtime=162.2 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 79577 0 0 0 16175 45 0 0 20 0 1 0 279436830 329318400 79429 33554432000 4194304 8973514 140734799183264 140734799182760 4427084 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 80400 79429 458 1167 0 79181 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 321600
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 23809
/proc/meminfo: memFree=29410052/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=343104 CPUtime=222.17 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 85132 0 0 0 22167 50 0 0 20 0 1 0 279436830 351338496 84942 33554432000 4194304 8973514 140734799183264 140734799182760 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 85776 84942 458 1167 0 84557 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 343104
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 23809
/proc/meminfo: memFree=29391564/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=361536 CPUtime=282.16 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 89733 0 0 0 28161 55 0 0 20 0 1 0 279436830 370212864 89531 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 90384 89531 458 1167 0 89165 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 361536
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 23809
/proc/meminfo: memFree=29336060/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=391232 CPUtime=342.14 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 97012 0 0 0 34153 61 0 0 20 0 1 0 279436830 400621568 96810 33554432000 4194304 8973514 140734799183264 140734799182760 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 97808 96810 458 1167 0 96589 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 391232
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23810
/proc/meminfo: memFree=29324992/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=412736 CPUtime=402.13 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 102391 0 0 0 40148 65 0 0 20 0 1 0 279436830 422641664 102189 33554432000 4194304 8973514 140734799183264 140734799182528 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 103184 102189 458 1167 0 101965 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 412736
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23810
/proc/meminfo: memFree=29325912/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=433216 CPUtime=462.13 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 107600 0 0 0 46144 69 0 0 20 0 1 0 279436830 443613184 107398 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 108304 107398 458 1167 0 107085 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 433216
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23810
/proc/meminfo: memFree=29261268/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=454720 CPUtime=522.11 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 112974 0 0 0 52138 73 0 0 20 0 1 0 279436830 465633280 112772 33554432000 4194304 8973514 140734799183264 140734799182528 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 113680 112772 458 1167 0 112461 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 454720
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23810
/proc/meminfo: memFree=29254808/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=465984 CPUtime=582.1 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 115938 0 0 0 58132 78 0 0 20 0 1 0 279436830 477167616 115736 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 116496 115736 458 1167 0 115277 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 465984
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23814
/proc/meminfo: memFree=29196652/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=548928 CPUtime=882.04 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 136588 0 0 0 88110 94 0 0 20 0 1 0 279436830 562102272 136357 33554432000 4194304 8973514 140734799183264 140734799181184 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 137232 136357 458 1167 0 136013 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 548928
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23814
/proc/meminfo: memFree=29186312/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=571456 CPUtime=942.03 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 142265 0 0 0 94106 97 0 0 20 0 1 0 279436830 585170944 142034 33554432000 4194304 8973514 140734799183264 140734799181440 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 142864 142034 458 1167 0 141645 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 571456
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23815
/proc/meminfo: memFree=29108252/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=583744 CPUtime=1002.02 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 145310 0 0 0 100103 99 0 0 20 0 1 0 279436830 597753856 145079 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 145936 145079 458 1167 0 144717 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 583744
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23815
/proc/meminfo: memFree=29153460/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=596032 CPUtime=1062.01 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 148443 0 0 0 106100 101 0 0 20 0 1 0 279436830 610336768 148212 33554432000 4194304 8973514 140734799183264 140734799181440 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 149008 148212 458 1167 0 147789 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 596032
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23815
/proc/meminfo: memFree=29148024/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=608320 CPUtime=1122.01 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 151461 0 0 0 112097 104 0 0 20 0 1 0 279436830 622919680 151230 33554432000 4194304 8973514 140734799183264 140734799182528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 152080 151230 458 1167 0 150861 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 608320
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23815
/proc/meminfo: memFree=29067424/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=620608 CPUtime=1182 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 154489 0 0 0 118093 107 0 0 20 0 1 0 279436830 635502592 154258 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 155152 154258 458 1167 0 153933 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 620608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23815
/proc/meminfo: memFree=29029108/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=632896 CPUtime=1241.98 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 157484 0 0 0 124088 110 0 0 20 0 1 0 279436830 648085504 157253 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 158224 157253 458 1167 0 157005 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 632896
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23819
/proc/meminfo: memFree=29070384/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=646208 CPUtime=1301.98 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 160889 0 0 0 130085 113 0 0 20 0 1 0 279436830 661716992 160651 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 161552 160651 458 1167 0 160333 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 646208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23842
/proc/meminfo: memFree=29039556/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=660544 CPUtime=1361.96 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 164375 0 0 0 136081 115 0 0 20 0 1 0 279436830 676397056 164132 33554432000 4194304 8973514 140734799183264 140734799181440 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 165136 164132 458 1167 0 163917 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 660544
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23842
/proc/meminfo: memFree=29080132/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=672832 CPUtime=1421.96 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 167505 0 0 0 142079 117 0 0 20 0 1 0 279436830 688979968 167262 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 168208 167262 458 1167 0 166989 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 672832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23842
/proc/meminfo: memFree=29073460/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=683072 CPUtime=1481.94 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 170232 0 0 0 148074 120 0 0 20 0 1 0 279436830 699465728 169989 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 170768 169989 458 1167 0 169549 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 683072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23842
/proc/meminfo: memFree=28990984/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=683072 CPUtime=1541.93 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 170251 0 0 0 154071 122 0 0 20 0 1 0 279436830 699465728 170008 33554432000 4194304 8973514 140734799183264 140734799182528 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 170768 170008 458 1167 0 169549 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 683072
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23843
/proc/meminfo: memFree=29027960/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=696384 CPUtime=1601.93 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 173382 0 0 0 160068 125 0 0 20 0 1 0 279436830 713097216 173139 33554432000 4194304 8973514 140734799183264 140734799181440 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 174096 173139 458 1167 0 172877 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 696384
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23843
/proc/meminfo: memFree=28957376/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=708672 CPUtime=1661.92 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 176556 0 0 0 166064 128 0 0 20 0 1 0 279436830 725680128 176313 33554432000 4194304 8973514 140734799183264 140734799181248 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 177168 176313 458 1167 0 175949 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 708672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23843
/proc/meminfo: memFree=28981552/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=721984 CPUtime=1721.91 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 179939 0 0 0 172061 130 0 0 20 0 1 0 279436830 739311616 179696 33554432000 4194304 8973514 140734799183264 140734799182528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 180496 179696 458 1167 0 179277 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 721984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23843
/proc/meminfo: memFree=29001704/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=721984 CPUtime=1781.9 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 179979 0 0 0 178059 131 0 0 20 0 1 0 279436830 739311616 179736 33554432000 4194304 8973514 140734799183264 140734799181440 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 180496 179736 458 1167 0 179277 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 721984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23843
/proc/meminfo: memFree=28966240/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=737344 CPUtime=1800.1 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 183595 0 0 0 179878 132 0 0 20 0 1 0 279436830 755040256 183352 33554432000 4194304 8973514 140734799183264 140734799181440 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 184336 183352 458 1167 0 183117 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 737344
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.07 2.02 2.00 3/179 23843
/proc/meminfo: memFree=28966240/32873844 swapFree=7372/7372
[pid=23765] ppid=23763 vsize=737344 CPUtime=1800.1 cores=1,3,5,7
/proc/23765/stat : 23765 (toysat) R 23763 23765 21797 0 -1 4202496 183595 0 0 0 179878 132 0 0 20 0 1 0 279436830 755040256 183352 33554432000 4194304 8973514 140734799183264 140734799181440 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 184336 183352 458 1167 0 183117 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 737344
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.12
CPU user time (s): 1798.79
CPU system time (s): 1.3358
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 737344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.3358
maximum resident set size= 733408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183595
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= 174
involuntary context switches= 1968
runsolver used 3.57046 second user time and 9.61454 second system time
The end