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-3725144-1338633375/watcher-3725144-1338633375 -o /tmp/evaluation-result-3725144-1338633375/solver-3725144-1338633375 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725144-1338633375.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: 1.92 1.97 1.69 3/176 14851
/proc/meminfo: memFree=27787196/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 329462403 6373376 730 33554432000 4194304 8989770 140734527609760 140737318131512 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 1556 730 427 1171 0 333 0
[startup+0.0329339 s]
/proc/loadavg: 1.92 1.97 1.69 3/176 14851
/proc/meminfo: memFree=27787196/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=9296 CPUtime=0.02 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 1350 0 0 0 2 0 0 0 20 0 1 0 329462403 9519104 1271 33554432000 4194304 8989770 140734527609760 140737318131512 5798101 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 2324 1271 430 1171 0 1101 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9296
[startup+0.10023 s]
/proc/loadavg: 1.92 1.97 1.69 3/176 14851
/proc/meminfo: memFree=27787196/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 2623 0 0 0 9 0 0 0 20 0 1 0 329462403 13713408 2544 33554432000 4194304 8989770 140734527609760 140737318131512 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 3348 2544 430 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300262 s]
/proc/loadavg: 1.92 1.97 1.69 3/176 14851
/proc/meminfo: memFree=27787196/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=27728 CPUtime=0.29 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 6207 0 0 0 28 1 0 0 20 0 1 0 329462403 28393472 6128 33554432000 4194304 8989770 140734527609760 140737318131512 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 6932 6128 430 1171 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27728
[startup+0.70027 s]
/proc/loadavg: 1.92 1.97 1.69 3/176 14851
/proc/meminfo: memFree=27787196/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=53328 CPUtime=0.69 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 12390 0 0 0 68 1 0 0 20 0 1 0 329462403 54607872 12311 33554432000 4194304 8989770 140734527609760 140734527609024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 13332 12311 440 1171 0 12109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53328
[startup+1.50026 s]
/proc/loadavg: 1.92 1.97 1.69 3/177 14852
/proc/meminfo: memFree=27738456/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=53328 CPUtime=1.49 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 12653 0 0 0 147 2 0 0 20 0 1 0 329462403 54607872 12574 33554432000 4194304 8989770 140734527609760 140734527609024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 13332 12574 470 1171 0 12109 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53328
[startup+3.10025 s]
/proc/loadavg: 1.92 1.97 1.69 3/177 14852
/proc/meminfo: memFree=27738084/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=59472 CPUtime=3.09 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 14114 0 0 0 307 2 0 0 20 0 1 0 329462403 60899328 14035 33554432000 4194304 8989770 140734527609760 140734527609256 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 14868 14035 470 1171 0 13645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59472
[startup+6.30025 s]
/proc/loadavg: 1.93 1.97 1.69 3/177 14852
/proc/meminfo: memFree=27721468/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=73808 CPUtime=6.29 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 17773 0 0 0 625 4 0 0 20 0 1 0 329462403 75579392 17694 33554432000 4194304 8989770 140734527609760 140734527607680 4361306 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 18452 17694 470 1171 0 17229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73808
[startup+12.7002 s]
/proc/loadavg: 1.93 1.97 1.70 3/177 14852
/proc/meminfo: memFree=27697560/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=97360 CPUtime=12.68 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 23474 0 0 0 1262 6 0 0 20 0 1 0 329462403 99696640 23395 33554432000 4194304 8989770 140734527609760 140734527609256 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 24340 23395 470 1171 0 23117 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 97360
[startup+25.5002 s]
/proc/loadavg: 1.95 1.97 1.70 3/177 14852
/proc/meminfo: memFree=27659028/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=142416 CPUtime=25.48 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 34906 0 0 0 2537 11 0 0 20 0 1 0 329462403 145833984 34818 33554432000 4194304 8989770 140734527609760 140734527609024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 35604 34818 470 1171 0 34381 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 142416
[startup+51.1002 s]
/proc/loadavg: 1.96 1.97 1.71 3/177 14852
/proc/meminfo: memFree=27591168/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=204880 CPUtime=51.06 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 50490 0 0 0 5086 20 0 0 20 0 1 0 329462403 209797120 50387 33554432000 4194304 8989770 140734527609760 140734527609256 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 51220 50387 470 1171 0 49997 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 204880
[startup+102.307 s]
/proc/loadavg: 1.98 1.97 1.72 3/177 14852
/proc/meminfo: memFree=27517804/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=273488 CPUtime=102.22 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 67754 0 0 0 10193 29 0 0 20 0 1 0 329462403 280051712 67614 33554432000 4194304 8989770 140734527609760 140734527609256 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 68372 67614 470 1171 0 67149 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 273488
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.74 3/177 14852
/proc/meminfo: memFree=27461784/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=329808 CPUtime=162.18 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 81743 0 0 0 16181 37 0 0 20 0 1 0 329462403 337723392 81562 33554432000 4194304 8989770 140734527609760 140734527609256 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 82452 81562 470 1171 0 81229 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 329808
[startup+222.3 s]
/proc/loadavg: 2.03 1.99 1.75 3/177 14852
/proc/meminfo: memFree=27415188/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=374864 CPUtime=222.14 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 93167 0 0 0 22172 42 0 0 20 0 1 0 329462403 383860736 92958 33554432000 4194304 8989770 140734527609760 140734527609256 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 93716 92958 470 1171 0 92493 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 374864
[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.76 3/178 14856
/proc/meminfo: memFree=27375920/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=413776 CPUtime=282.13 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 102710 0 0 0 28165 48 0 0 20 0 1 0 329462403 423706624 102496 33554432000 4194304 8989770 140734527609760 140734527609256 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 103444 102496 470 1171 0 102221 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 413776
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/177 14856
/proc/meminfo: memFree=27341084/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=445520 CPUtime=342.13 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 110836 0 0 0 34158 55 0 0 20 0 1 0 329462403 456212480 110622 33554432000 4194304 8989770 140734527609760 140734527609024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 111380 110622 470 1171 0 110157 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 445520
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 14856
/proc/meminfo: memFree=27309280/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=480336 CPUtime=402.12 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 119540 0 0 0 40151 61 0 0 20 0 1 0 329462403 491864064 119326 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 120084 119326 470 1171 0 118861 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 480336
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 14856
/proc/meminfo: memFree=27268424/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=517200 CPUtime=462.11 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 128682 0 0 0 46144 67 0 0 20 0 1 0 329462403 529612800 128468 33554432000 4194304 8989770 140734527609760 140734527609256 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 129300 128468 470 1171 0 128077 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 517200
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 14856
/proc/meminfo: memFree=27245052/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=541776 CPUtime=522.1 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 134900 0 0 0 52139 71 0 0 20 0 1 0 329462403 554778624 134686 33554432000 4194304 8989770 140734527609760 140734527609256 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 135444 134686 470 1171 0 134221 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 541776
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 14857
/proc/meminfo: memFree=27215508/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=570448 CPUtime=582.07 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 141869 0 0 0 58131 76 0 0 20 0 1 0 329462403 584138752 141622 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 142612 141622 470 1171 0 141389 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 570448
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 14861
/proc/meminfo: memFree=27084192/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=701520 CPUtime=882.02 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 174682 0 0 0 88103 99 0 0 20 0 1 0 329462403 718356480 174426 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 175380 174426 470 1171 0 174157 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 701520
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 14861
/proc/meminfo: memFree=27064112/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=717904 CPUtime=942 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 178799 0 0 0 94099 101 0 0 20 0 1 0 329462403 735133696 178543 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 179476 178543 470 1171 0 178253 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 717904
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 14861
/proc/meminfo: memFree=27049108/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=735312 CPUtime=1002 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 183120 0 0 0 100096 104 0 0 20 0 1 0 329462403 752959488 182864 33554432000 4194304 8989770 140734527609760 140734527609024 4209234 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 183828 182864 470 1171 0 182605 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 735312
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 14861
/proc/meminfo: memFree=27010632/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=770128 CPUtime=1061.98 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 191889 0 0 0 106090 108 0 0 20 0 1 0 329462403 788611072 191624 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 192532 191624 470 1171 0 191309 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 770128
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 14861
/proc/meminfo: memFree=26994788/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=786512 CPUtime=1121.97 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 196016 0 0 0 112085 112 0 0 20 0 1 0 329462403 805388288 195742 33554432000 4194304 8989770 140734527609760 140734527609256 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 196628 195742 470 1171 0 195405 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 786512
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 14900
/proc/meminfo: memFree=26948228/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=803920 CPUtime=1181.96 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 200363 0 0 0 118081 115 0 0 20 0 1 0 329462403 823214080 200083 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 200980 200083 470 1171 0 199757 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 803920
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.90 3/177 14900
/proc/meminfo: memFree=26719480/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=823376 CPUtime=1241.94 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 205118 0 0 0 124077 117 0 0 20 0 1 0 329462403 843137024 204838 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 205844 204838 470 1171 0 204621 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 823376
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 14900
/proc/meminfo: memFree=26562248/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=842832 CPUtime=1301.94 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 210131 0 0 0 130074 120 0 0 20 0 1 0 329462403 863059968 209851 33554432000 4194304 8989770 140734527609760 140734527609024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 210708 209851 470 1171 0 209485 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 842832
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14900
/proc/meminfo: memFree=26441100/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=862288 CPUtime=1361.93 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 214995 0 0 0 136070 123 0 0 20 0 1 0 329462403 882982912 214715 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 215572 214715 470 1171 0 214349 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 862288
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14900
/proc/meminfo: memFree=26388400/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=862288 CPUtime=1421.92 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 214997 0 0 0 142067 125 0 0 20 0 1 0 329462403 882982912 214717 33554432000 4194304 8989770 140734527609760 140734527609024 4209336 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 215572 214717 472 1171 0 214349 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 862288
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 14904
/proc/meminfo: memFree=26359252/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1481.91 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222097 0 0 0 148062 129 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 890960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 14927
/proc/meminfo: memFree=26358508/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1541.9 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222097 0 0 0 154058 132 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 890960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14927
/proc/meminfo: memFree=26308544/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1601.89 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222097 0 0 0 160053 136 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 890960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14927
/proc/meminfo: memFree=26291160/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1661.88 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222100 0 0 0 166048 140 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 890960
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 14927
/proc/meminfo: memFree=26291252/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1721.87 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222101 0 0 0 172045 142 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 890960
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 14928
/proc/meminfo: memFree=26290908/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1781.85 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222101 0 0 0 178039 146 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 4209290 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 890960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 14928
/proc/meminfo: memFree=26291248/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1800.06 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222101 0 0 0 179858 148 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 890960
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 1.91 3/177 14928
/proc/meminfo: memFree=26291248/32873844 swapFree=7628/7628
[pid=14851] ppid=14849 vsize=890960 CPUtime=1800.06 cores=1,3,5,7
/proc/14851/stat : 14851 (toysat) R 14849 14851 14598 0 -1 4202496 222101 0 0 0 179858 148 0 0 20 0 1 0 329462403 912343040 221817 33554432000 4194304 8989770 140734527609760 140734527609024 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14851/statm: 222740 221817 472 1171 0 221517 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 890960
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1798.59
CPU system time (s): 1.48477
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 890960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.48477
maximum resident set size= 887268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222101
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= 211
involuntary context switches= 1841
runsolver used 3.65344 second user time and 9.02163 second system time
The end