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-3712003-1338176093/watcher-3712003-1338176093 -o /tmp/evaluation-result-3712003-1338176093/solver-3712003-1338176093 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712003-1338176093.wbo
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.00 1.91 3/176 9695
/proc/meminfo: memFree=31382580/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 283733653 6356992 726 33554432000 4194304 8973514 140734771861424 140736603362552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 1552 726 422 1167 0 333 0
[startup+0.0643689 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 9695
/proc/meminfo: memFree=31382580/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=12352 CPUtime=0.05 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 2168 0 0 0 5 0 0 0 20 0 1 0 283733653 12648448 2090 33554432000 4194304 8973514 140734771861424 140736603362552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 3088 2090 438 1167 0 1869 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12352
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 9695
/proc/meminfo: memFree=31382580/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 2415 0 0 0 9 0 0 0 20 0 1 0 283733653 13697024 2337 33554432000 4194304 8973514 140734771861424 140736603362552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 3344 2337 456 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300218 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 9695
/proc/meminfo: memFree=31382580/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=13376 CPUtime=0.29 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 2655 0 0 0 29 0 0 0 20 0 1 0 283733653 13697024 2577 33554432000 4194304 8973514 140734771861424 140734771860920 4415843 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 3344 2577 456 1167 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376
[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 9695
/proc/meminfo: memFree=31382580/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=15424 CPUtime=0.69 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 3167 0 0 0 69 0 0 0 20 0 1 0 283733653 15794176 3089 33554432000 4194304 8973514 140734771861424 140734771860920 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 3856 3089 456 1167 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15424
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9696
/proc/meminfo: memFree=31364040/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=18496 CPUtime=1.49 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 3935 0 0 0 148 1 0 0 20 0 1 0 283733653 18939904 3857 33554432000 4194304 8973514 140734771861424 140734771860688 4441856 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 4624 3857 456 1167 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18496
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9696
/proc/meminfo: memFree=31356352/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=22592 CPUtime=3.09 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 4831 0 0 0 307 2 0 0 20 0 1 0 283733653 23134208 4753 33554432000 4194304 8973514 140734771861424 140734771860920 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 5648 4753 456 1167 0 4429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22592
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9696
/proc/meminfo: memFree=31345696/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=30784 CPUtime=6.28 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 6801 0 0 0 624 4 0 0 20 0 1 0 283733653 31522816 6723 33554432000 4194304 8973514 140734771861424 140734771860920 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 7696 6723 467 1167 0 6477 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30784
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9696
/proc/meminfo: memFree=31317456/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=46144 CPUtime=12.68 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 10858 0 0 0 1260 8 0 0 20 0 1 0 283733653 47251456 10780 33554432000 4194304 8973514 140734771861424 140734771860920 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 11536 10780 467 1167 0 10317 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46144
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 9696
/proc/meminfo: memFree=31290828/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=61504 CPUtime=25.49 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 14594 0 0 0 2534 15 0 0 20 0 1 0 283733653 62980096 14516 33554432000 4194304 8973514 140734771861424 140734771860920 6748647 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 15376 14516 468 1167 0 14157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61504
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9697
/proc/meminfo: memFree=31237452/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=88128 CPUtime=51.06 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 21374 0 0 0 5078 28 0 0 20 0 1 0 283733653 90243072 21277 33554432000 4194304 8973514 140734771861424 140734771860920 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 22032 21277 468 1167 0 20813 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 88128
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9697
/proc/meminfo: memFree=31193128/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=91200 CPUtime=102.24 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 30874 0 0 0 10172 52 0 0 20 0 1 0 283733653 93388800 22045 33554432000 4194304 8973514 140734771861424 140734771860920 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 22800 22045 468 1167 0 21581 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 91200
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9697
/proc/meminfo: memFree=31176644/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=107584 CPUtime=162.23 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 34871 0 0 0 16141 82 0 0 20 0 1 0 283733653 110166016 26042 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 26896 26042 468 1167 0 25677 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107584
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9697
/proc/meminfo: memFree=31140348/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=143424 CPUtime=222.21 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 43937 0 0 0 22117 104 0 0 20 0 1 0 283733653 146866176 35101 33554432000 4194304 8973514 140734771861424 140734771860688 7688844 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 35856 35101 468 1167 0 34637 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 143424
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9697
/proc/meminfo: memFree=31104416/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=162880 CPUtime=282.2 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 48732 0 0 0 28096 124 0 0 20 0 1 0 283733653 166789120 39885 33554432000 4194304 8973514 140734771861424 140734771860920 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 40720 39885 468 1167 0 39501 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 162880
[startup+342.3 s]
/proc/loadavg: 2.11 2.03 1.92 3/178 9701
/proc/meminfo: memFree=31063340/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=195648 CPUtime=342.19 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 56759 0 0 0 34079 140 0 0 20 0 1 0 283733653 200343552 47912 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 48912 47912 468 1167 0 47693 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 195648
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/177 9701
/proc/meminfo: memFree=31039668/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=212032 CPUtime=402.18 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 61100 0 0 0 40066 152 0 0 20 0 1 0 283733653 217120768 52253 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 53008 52253 468 1167 0 51789 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 212032
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/177 9701
/proc/meminfo: memFree=31039228/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=212032 CPUtime=462.16 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 61115 0 0 0 46050 166 0 0 20 0 1 0 283733653 217120768 52253 33554432000 4194304 8973514 140734771861424 140734771860688 7681392 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 53008 52253 468 1167 0 51789 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 212032
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 9701
/proc/meminfo: memFree=31031848/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=220224 CPUtime=522.15 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 62963 0 0 0 52039 176 0 0 20 0 1 0 283733653 225509376 54101 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 55056 54101 468 1167 0 53837 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 220224
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9701
/proc/meminfo: memFree=31003872/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=247872 CPUtime=582.14 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 69940 0 0 0 58026 188 0 0 20 0 1 0 283733653 253820928 61078 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 61968 61078 468 1167 0 60749 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 247872
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9702
/proc/meminfo: memFree=30974484/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=258112 CPUtime=822.09 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 72646 0 0 0 81981 228 0 0 20 0 1 0 283733653 264306688 63773 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 64528 63773 468 1167 0 63309 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 258112
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9702
/proc/meminfo: memFree=30965184/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=268352 CPUtime=882.08 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 74986 0 0 0 87972 236 0 0 20 0 1 0 283733653 274792448 66113 33554432000 4194304 8973514 140734771861424 140734771860688 4415843 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 67088 66113 468 1167 0 65869 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 268352
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 9705
/proc/meminfo: memFree=30942952/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=289856 CPUtime=942.07 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 80509 0 0 0 93962 245 0 0 20 0 1 0 283733653 296812544 71630 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 72464 71630 468 1167 0 71245 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 289856
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9706
/proc/meminfo: memFree=30920640/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=307264 CPUtime=1002.06 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 84822 0 0 0 99954 252 0 0 20 0 1 0 283733653 314638336 75943 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 76816 75943 468 1167 0 75597 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 307264
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9706
/proc/meminfo: memFree=30912884/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=312384 CPUtime=1062.05 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 86220 0 0 0 105946 259 0 0 20 0 1 0 283733653 319881216 77341 33554432000 4194304 8973514 140734771861424 140734771860920 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 78096 77341 468 1167 0 76877 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 312384
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9706
/proc/meminfo: memFree=30913008/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=312384 CPUtime=1122.04 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 86220 0 0 0 111937 267 0 0 20 0 1 0 283733653 319881216 77341 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 78096 77341 468 1167 0 76877 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 312384
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9706
/proc/meminfo: memFree=30910032/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=312384 CPUtime=1182.04 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 86220 0 0 0 117929 275 0 0 20 0 1 0 283733653 319881216 77341 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 78096 77341 468 1167 0 76877 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 312384
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9706
/proc/meminfo: memFree=30900268/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=322624 CPUtime=1242.03 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 88776 0 0 0 123922 281 0 0 20 0 1 0 283733653 330366976 79889 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 80656 79889 468 1167 0 79437 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 322624
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9707
/proc/meminfo: memFree=30874728/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=339008 CPUtime=1302.02 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 92884 0 0 0 129915 287 0 0 20 0 1 0 283733653 347144192 83997 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 84752 83997 468 1167 0 83533 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 339008
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9707
/proc/meminfo: memFree=30834036/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=356416 CPUtime=1362 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97236 0 0 0 135908 292 0 0 20 0 1 0 283733653 364969984 88349 33554432000 4194304 8973514 140734771861424 140734771860688 4209382 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89104 88349 468 1167 0 87885 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 356416
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9707
/proc/meminfo: memFree=30809484/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1422 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97492 0 0 0 141901 299 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860920 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 357440
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9707
/proc/meminfo: memFree=30809732/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1481.98 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97492 0 0 0 147891 307 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 357440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9710
/proc/meminfo: memFree=30810312/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1541.97 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97502 0 0 0 153883 314 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 357440
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 9735
/proc/meminfo: memFree=30809196/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1601.96 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97502 0 0 0 159876 320 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 357440
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 9735
/proc/meminfo: memFree=30809120/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1661.95 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97502 0 0 0 165868 327 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 357440
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 9735
/proc/meminfo: memFree=30808912/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1721.94 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97502 0 0 0 171859 335 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 357440
[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 1.93 3/177 9735
/proc/meminfo: memFree=30808416/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1781.93 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97502 0 0 0 177851 342 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 357440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.15 2.04 1.94 2/176 9736
/proc/meminfo: memFree=31027916/32873844 swapFree=7632/7632
[pid=9695] ppid=9693 vsize=357440 CPUtime=1800.04 cores=1,3,5,7
/proc/9695/stat : 9695 (toysat) R 9693 9695 7805 0 -1 4202496 97502 0 0 0 179659 345 0 0 20 0 1 0 283733653 366018560 88605 33554432000 4194304 8973514 140734771861424 140734771860688 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9695/statm: 89360 88605 468 1167 0 88141 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 357440
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.05
CPU user time (s): 1796.59
CPU system time (s): 3.45347
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 357440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.59
system time used= 3.45347
maximum resident set size= 354420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97502
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= 118
involuntary context switches= 1847
runsolver used 3.18152 second user time and 8.83466 second system time
The end