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-3706674-1338116609/watcher-3706674-1338116609 -o /tmp/evaluation-result-3706674-1338116609/solver-3706674-1338116609 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706674-1338116609.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.04 2.01 2.00 2/176 10827
/proc/meminfo: memFree=30169332/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 800 0 0 0 0 0 0 0 20 0 1 0 277785006 6356992 722 33554432000 4194304 8973514 140734295947120 140735468991800 7694826 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 1552 722 411 1167 0 333 0
[startup+0.0613809 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 10827
/proc/meminfo: memFree=30169332/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=10304 CPUtime=0.05 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 1720 0 0 0 5 0 0 0 20 0 1 0 277785006 10551296 1642 33554432000 4194304 8973514 140734295947120 140735468991800 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 2576 1642 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.100236 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 10827
/proc/meminfo: memFree=30169332/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 2295 0 0 0 9 0 0 0 20 0 1 0 277785006 12648448 2217 33554432000 4194304 8973514 140734295947120 140735468991800 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 3088 2223 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300233 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 10827
/proc/meminfo: memFree=30169332/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=24640 CPUtime=0.29 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 5447 0 0 0 28 1 0 0 20 0 1 0 277785006 25231360 5369 33554432000 4194304 8973514 140734295947120 140735468991800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 6160 5369 432 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.700175 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 10827
/proc/meminfo: memFree=30169332/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=24640 CPUtime=0.69 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 5447 0 0 0 68 1 0 0 20 0 1 0 277785006 25231360 5369 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 6160 5369 432 1167 0 4941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24640
[startup+1.50017 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10828
/proc/meminfo: memFree=30146492/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=24640 CPUtime=1.49 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 5447 0 0 0 148 1 0 0 20 0 1 0 277785006 25231360 5369 33554432000 4194304 8973514 140734295947120 140734295946616 4258984 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 6160 5369 432 1167 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640
[startup+3.10019 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10828
/proc/meminfo: memFree=30142260/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=26688 CPUtime=3.08 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 5959 0 0 0 307 1 0 0 20 0 1 0 277785006 27328512 5881 33554432000 4194304 8973514 140734295947120 140734295946384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 6672 5881 432 1167 0 5453 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 26688
[startup+6.30025 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10828
/proc/meminfo: memFree=30134580/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=28736 CPUtime=6.29 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 6482 0 0 0 627 2 0 0 20 0 1 0 277785006 29425664 6404 33554432000 4194304 8973514 140734295947120 140734295946384 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 7184 6404 443 1167 0 5965 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28736
[startup+12.7003 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 10828
/proc/meminfo: memFree=30121172/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=30784 CPUtime=12.69 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 6994 0 0 0 1265 4 0 0 20 0 1 0 277785006 31522816 6916 33554432000 4194304 8973514 140734295947120 140734295946616 7807538 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 7696 6916 443 1167 0 6477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30784
[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 10828
/proc/meminfo: memFree=30115608/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=34880 CPUtime=25.49 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 8018 0 0 0 2543 6 0 0 20 0 1 0 277785006 35717120 7940 33554432000 4194304 8973514 140734295947120 140734295946616 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 8720 7940 443 1167 0 7501 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34880
[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10828
/proc/meminfo: memFree=30103612/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=43072 CPUtime=51.07 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 10080 0 0 0 5095 12 0 0 20 0 1 0 277785006 44105728 9993 33554432000 4194304 8973514 140734295947120 140734295946616 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 10768 9993 443 1167 0 9549 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43072
[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 10828
/proc/meminfo: memFree=30078500/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=57408 CPUtime=102.27 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 13665 0 0 0 10204 23 0 0 20 0 1 0 277785006 58785792 13577 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 14352 13577 443 1167 0 13133 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 57408
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 10828
/proc/meminfo: memFree=30072008/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=66624 CPUtime=162.24 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 15978 0 0 0 16192 32 0 0 20 0 1 0 277785006 68222976 15882 33554432000 4194304 8973514 140734295947120 140734295946616 6570536 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 16656 15882 444 1167 0 15437 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 66624
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10829
/proc/meminfo: memFree=30053784/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=75840 CPUtime=222.24 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 18282 0 0 0 22183 41 0 0 20 0 1 0 277785006 77660160 18186 33554432000 4194304 8973514 140734295947120 140734295946384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 18960 18186 444 1167 0 17741 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 75840
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10830
/proc/meminfo: memFree=30054760/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=75840 CPUtime=282.23 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 18284 0 0 0 28173 50 0 0 20 0 1 0 277785006 77660160 18186 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 18960 18186 444 1167 0 17741 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 75840
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10830
/proc/meminfo: memFree=30058064/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=75840 CPUtime=342.22 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 18284 0 0 0 34161 61 0 0 20 0 1 0 277785006 77660160 18186 33554432000 4194304 8973514 140734295947120 140734295946384 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 18960 18186 444 1167 0 17741 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 75840
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10833
/proc/meminfo: memFree=30057684/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=74816 CPUtime=402.21 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 18284 0 0 0 40150 71 0 0 20 0 1 0 277785006 76611584 17930 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 18704 17930 444 1167 0 17485 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 74816
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10833
/proc/meminfo: memFree=30050140/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=74816 CPUtime=462.2 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 18284 0 0 0 46140 80 0 0 20 0 1 0 277785006 76611584 17930 33554432000 4194304 8973514 140734295947120 140734295945088 4545640 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 18704 17930 444 1167 0 17485 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 74816
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10833
/proc/meminfo: memFree=30043632/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=78912 CPUtime=522.19 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 19820 0 0 0 52130 89 0 0 20 0 1 0 277785006 80805888 18954 33554432000 4194304 8973514 140734295947120 140734295946616 7716799 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 19728 18954 444 1167 0 18509 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 78912
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10834
/proc/meminfo: memFree=30035448/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=78912 CPUtime=582.19 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 19820 0 0 0 58123 96 0 0 20 0 1 0 277785006 80805888 18954 33554432000 4194304 8973514 140734295947120 140734295946384 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 19728 18954 444 1167 0 18509 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 78912
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10835
/proc/meminfo: memFree=30012952/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=92224 CPUtime=882.13 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 23148 0 0 0 88075 138 0 0 20 0 1 0 277785006 94437376 22282 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23056 22282 444 1167 0 21837 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 92224
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10835
/proc/meminfo: memFree=30023660/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=92224 CPUtime=942.13 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 23148 0 0 0 94065 148 0 0 20 0 1 0 277785006 94437376 22282 33554432000 4194304 8973514 140734295947120 140734295946616 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23056 22282 444 1167 0 21837 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 92224
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10838
/proc/meminfo: memFree=30013920/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=92224 CPUtime=1002.12 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 23148 0 0 0 100056 156 0 0 20 0 1 0 277785006 94437376 22282 33554432000 4194304 8973514 140734295947120 140734295946616 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23056 22282 444 1167 0 21837 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 92224
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10838
/proc/meminfo: memFree=30013936/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=100416 CPUtime=1062.11 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 25196 0 0 0 106047 164 0 0 20 0 1 0 277785006 102825984 24330 33554432000 4194304 8973514 140734295947120 140734295946616 4427540 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 25104 24330 444 1167 0 23885 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 100416
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10838
/proc/meminfo: memFree=30012364/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=100416 CPUtime=1122.1 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 25196 0 0 0 112037 173 0 0 20 0 1 0 277785006 102825984 24330 33554432000 4194304 8973514 140734295947120 140734295945088 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 25104 24330 444 1167 0 23885 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 100416
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10839
/proc/meminfo: memFree=30009808/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=99392 CPUtime=1182.09 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 26225 0 0 0 118026 183 0 0 20 0 1 0 277785006 101777408 24074 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 24848 24074 444 1167 0 23629 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 99392
[startup+1242.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 10839
/proc/meminfo: memFree=30019532/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=99392 CPUtime=1242.08 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 26225 0 0 0 124016 192 0 0 20 0 1 0 277785006 101777408 24074 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 24848 24074 444 1167 0 23629 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 99392
[startup+1302.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/177 10839
/proc/meminfo: memFree=30007488/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=95296 CPUtime=1302.07 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 26225 0 0 0 130008 199 0 0 20 0 1 0 277785006 97583104 23050 33554432000 4194304 8973514 140734295947120 140734295946616 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23824 23050 444 1167 0 22605 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 95296
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 10839
/proc/meminfo: memFree=30001672/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=95296 CPUtime=1362.06 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 26225 0 0 0 135999 207 0 0 20 0 1 0 277785006 97583104 23050 33554432000 4194304 8973514 140734295947120 140734295946616 4442444 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23824 23050 444 1167 0 22605 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 95296
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 10840
/proc/meminfo: memFree=30013496/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=99392 CPUtime=1422.05 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 27249 0 0 0 141989 216 0 0 20 0 1 0 277785006 101777408 24074 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 24848 24074 444 1167 0 23629 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 99392
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10841
/proc/meminfo: memFree=30018900/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=99392 CPUtime=1482.04 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 27249 0 0 0 147978 226 0 0 20 0 1 0 277785006 101777408 24074 33554432000 4194304 8973514 140734295947120 140734295946616 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 24848 24074 444 1167 0 23629 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 99392
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 10841
/proc/meminfo: memFree=30019840/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=99392 CPUtime=1542.03 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 27249 0 0 0 153969 234 0 0 20 0 1 0 277785006 101777408 24074 33554432000 4194304 8973514 140734295947120 140734295946616 4427828 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 24848 24074 444 1167 0 23629 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 99392
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/178 10844
/proc/meminfo: memFree=30013716/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=99392 CPUtime=1602.03 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 27249 0 0 0 159959 244 0 0 20 0 1 0 277785006 101777408 24074 33554432000 4194304 8973514 140734295947120 140734295946616 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 24848 24074 444 1167 0 23629 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 99392
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10844
/proc/meminfo: memFree=30013352/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=101440 CPUtime=1662.02 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 27761 0 0 0 165949 253 0 0 20 0 1 0 277785006 103874560 24586 33554432000 4194304 8973514 140734295947120 140734295946616 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 25360 24586 444 1167 0 24141 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 101440
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10844
/proc/meminfo: memFree=29992444/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=109632 CPUtime=1722.01 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 29811 0 0 0 171940 261 0 0 20 0 1 0 277785006 112263168 26634 33554432000 4194304 8973514 140734295947120 140734295946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 27408 26634 444 1167 0 26189 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 109632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10845
/proc/meminfo: memFree=30006816/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=95296 CPUtime=1781.99 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 29811 0 0 0 177930 269 0 0 20 0 1 0 277785006 97583104 23050 33554432000 4194304 8973514 140734295947120 140734295946384 7680113 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23824 23050 444 1167 0 22605 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 95296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 2/175 10846
/proc/meminfo: memFree=30083696/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=95296 CPUtime=1800 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 29811 0 0 0 179728 272 0 0 20 0 1 0 277785006 97583104 23050 33554432000 4194304 8973514 140734295947120 140734295946384 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23824 23050 444 1167 0 22605 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 95296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 2/175 10846
/proc/meminfo: memFree=30083696/32873648 swapFree=7368/7368
[pid=10827] ppid=10825 vsize=95296 CPUtime=1800 cores=1,3,5,7
/proc/10827/stat : 10827 (toysat) R 10825 10827 3829 0 -1 4202496 29811 0 0 0 179728 272 0 0 20 0 1 0 277785006 97583104 23050 33554432000 4194304 8973514 140734295947120 140734295946384 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10827/statm: 23824 23050 444 1167 0 22605 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 95296
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1797.29
CPU system time (s): 2.72259
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 109632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.29
system time used= 2.72259
maximum resident set size= 106536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29811
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= 35
involuntary context switches= 1849
runsolver used 3.33349 second user time and 9.46156 second system time
The end