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-3711999-1338174911/watcher-3711999-1338174911 -o /tmp/evaluation-result-3711999-1338174911/solver-3711999-1338174911 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711999-1338174911.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: 1.05 1.27 1.64 3/173 18834
/proc/meminfo: memFree=31291216/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/18834/stat : 18834 (runsolver) D 18830 18834 15656 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 283619528 12095488 50 33554432000 4194304 5436572 140737449396864 140737449393160 4883175 0 0 4096 24578 18446744072101258628 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 2953 50 31 304 0 2645 0
[startup+0.104266 s]
/proc/loadavg: 1.05 1.27 1.64 3/173 18834
/proc/meminfo: memFree=31291216/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 2144 0 0 0 9 0 0 0 20 0 1 0 283619528 11599872 2065 33554432000 4194304 8973514 140734410855920 140734410855416 4415256 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/18834/statm: 2832 2065 455 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.200203 s]
/proc/loadavg: 1.05 1.27 1.64 3/173 18834
/proc/meminfo: memFree=31291216/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=13376 CPUtime=0.18 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 2497 0 0 0 18 0 0 0 20 0 1 0 283619528 13697024 2418 33554432000 4194304 8973514 140734410855920 140734410855416 4415843 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/18834/statm: 3344 2418 455 1167 0 2125 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13376
[startup+0.30018 s]
/proc/loadavg: 1.05 1.27 1.64 3/173 18834
/proc/meminfo: memFree=31291216/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=13376 CPUtime=0.28 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 2656 0 0 0 28 0 0 0 20 0 1 0 283619528 13697024 2577 33554432000 4194304 8973514 140734410855920 140734410855416 6661632 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/18834/statm: 3344 2577 455 1167 0 2125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13376
[startup+0.700121 s]
/proc/loadavg: 1.05 1.27 1.64 3/173 18834
/proc/meminfo: memFree=31291216/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=13376 CPUtime=0.68 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 2656 0 0 0 68 0 0 0 20 0 1 0 283619528 13697024 2577 33554432000 4194304 8973514 140734410855920 140734410855416 6842592 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/18834/statm: 3344 2577 455 1167 0 2125 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13376
[startup+1.50029 s]
/proc/loadavg: 1.05 1.27 1.64 3/175 18836
/proc/meminfo: memFree=31274428/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=16448 CPUtime=1.48 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 3434 0 0 0 148 0 0 0 20 0 1 0 283619528 16842752 3355 33554432000 4194304 8973514 140734410855920 140734410855184 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 4112 3355 465 1167 0 2893 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16448
[startup+3.10029 s]
/proc/loadavg: 1.12 1.28 1.64 4/175 18836
/proc/meminfo: memFree=31267732/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=19520 CPUtime=3.08 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 4203 0 0 0 307 1 0 0 20 0 1 0 283619528 19988480 4124 33554432000 4194304 8973514 140734410855920 140734410853888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 4880 4124 466 1167 0 3661 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19520
[startup+6.30028 s]
/proc/loadavg: 1.12 1.28 1.64 4/175 18836
/proc/meminfo: memFree=31260664/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=24640 CPUtime=6.29 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 5392 0 0 0 626 3 0 0 20 0 1 0 283619528 25231360 5313 33554432000 4194304 8973514 140734410855920 140734410855416 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 6160 5313 466 1167 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24640
[startup+12.7003 s]
/proc/loadavg: 1.26 1.30 1.64 4/175 18836
/proc/meminfo: memFree=31251420/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=30784 CPUtime=12.68 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 7020 0 0 0 1262 6 0 0 20 0 1 0 283619528 31522816 6941 33554432000 4194304 8973514 140734410855920 140734410855416 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 7696 6941 467 1167 0 6477 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30784
[startup+25.5003 s]
/proc/loadavg: 1.37 1.32 1.64 4/175 18836
/proc/meminfo: memFree=31230156/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=49216 CPUtime=25.48 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 11628 0 0 0 2537 11 0 0 20 0 1 0 283619528 50397184 11549 33554432000 4194304 8973514 140734410855920 140734410855416 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 12304 11549 467 1167 0 11085 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49216
[startup+51.1003 s]
/proc/loadavg: 1.58 1.38 1.65 4/175 18836
/proc/meminfo: memFree=31198612/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=74816 CPUtime=51.06 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 18047 0 0 0 5085 21 0 0 20 0 1 0 283619528 76611584 17949 33554432000 4194304 8973514 140734410855920 140734410855416 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 18704 17949 467 1167 0 17485 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74816
[startup+102.3 s]
/proc/loadavg: 1.87 1.49 1.67 4/175 18836
/proc/meminfo: memFree=31174200/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=98368 CPUtime=102.24 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 23957 0 0 0 10187 37 0 0 20 0 1 0 283619528 100728832 23837 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 24592 23837 467 1167 0 23373 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 98368
[startup+162.3 s]
/proc/loadavg: 1.95 1.58 1.69 4/175 18837
/proc/meminfo: memFree=31129864/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=139328 CPUtime=162.22 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 34151 0 0 0 16168 54 0 0 20 0 1 0 283619528 142671872 34031 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 34832 34031 467 1167 0 33613 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 139328
[startup+222.307 s]
/proc/loadavg: 1.98 1.66 1.71 4/175 18837
/proc/meminfo: memFree=31093148/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=173120 CPUtime=222.21 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 42488 0 0 0 22154 67 0 0 20 0 1 0 283619528 177274880 42340 33554432000 4194304 8973514 140734410855920 140734410855416 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 43280 42340 467 1167 0 42061 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 173120
[startup+282.3 s]
/proc/loadavg: 1.99 1.71 1.72 4/175 18837
/proc/meminfo: memFree=31071312/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=196672 CPUtime=282.19 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 48495 0 0 0 28141 78 0 0 20 0 1 0 283619528 201392128 48413 33554432000 4194304 8973514 140734410855920 140734410855184 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 49168 48413 467 1167 0 47949 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 196672
[startup+342.3 s]
/proc/loadavg: 1.99 1.76 1.74 4/176 18840
/proc/meminfo: memFree=31067336/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=200768 CPUtime=342.18 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 49417 0 0 0 34130 88 0 0 20 0 1 0 283619528 205586432 49335 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 50192 49335 467 1167 0 48973 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 200768
[startup+402.3 s]
/proc/loadavg: 1.99 1.80 1.75 4/175 18840
/proc/meminfo: memFree=31046652/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=222272 CPUtime=402.16 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 54682 0 0 0 40118 98 0 0 20 0 1 0 283619528 227606528 54587 33554432000 4194304 8973514 140734410855920 140734410855184 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 55568 54587 467 1167 0 54349 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 222272
[startup+462.3 s]
/proc/loadavg: 1.99 1.84 1.76 4/175 18841
/proc/meminfo: memFree=31037908/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=228416 CPUtime=462.15 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56444 0 0 0 46107 108 0 0 20 0 1 0 283619528 233897984 56349 33554432000 4194304 8973514 140734410855920 140734410855416 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57104 56349 467 1167 0 55885 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 228416
[startup+522.3 s]
/proc/loadavg: 1.99 1.86 1.77 4/175 18841
/proc/meminfo: memFree=31036916/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=228416 CPUtime=522.14 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56444 0 0 0 52097 117 0 0 20 0 1 0 283619528 233897984 56349 33554432000 4194304 8973514 140734410855920 140734410855184 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57104 56349 467 1167 0 55885 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 228416
[startup+582.3 s]
/proc/loadavg: 1.99 1.89 1.78 4/175 18841
/proc/meminfo: memFree=31036848/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=228416 CPUtime=582.13 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56445 0 0 0 58086 127 0 0 20 0 1 0 283619528 233897984 56349 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57104 56349 467 1167 0 55885 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 228416
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.03 1.97 1.84 4/175 18842
/proc/meminfo: memFree=31024500/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=228416 CPUtime=882.09 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56445 0 0 0 88021 188 0 0 20 0 1 0 283619528 233897984 56349 33554432000 4194304 8973514 140734410855920 140734410855184 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57104 56349 467 1167 0 55885 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 228416
[startup+942.3 s]
/proc/loadavg: 2.01 1.97 1.85 4/176 18845
/proc/meminfo: memFree=31021392/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=229440 CPUtime=942.07 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56701 0 0 0 94008 199 0 0 20 0 1 0 283619528 234946560 56605 33554432000 4194304 8973514 140734410855920 140734410855184 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57360 56605 467 1167 0 56141 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 229440
[startup+1002.3 s]
/proc/loadavg: 2.04 1.99 1.86 4/175 18845
/proc/meminfo: memFree=31021396/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=229440 CPUtime=1002.07 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56701 0 0 0 99998 209 0 0 20 0 1 0 283619528 234946560 56605 33554432000 4194304 8973514 140734410855920 140734410855416 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57360 56605 467 1167 0 56141 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 229440
[startup+1062.3 s]
/proc/loadavg: 2.01 1.99 1.86 4/175 18846
/proc/meminfo: memFree=31020280/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=229440 CPUtime=1062.06 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56701 0 0 0 105988 218 0 0 20 0 1 0 283619528 234946560 56605 33554432000 4194304 8973514 140734410855920 140734410855184 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57360 56605 467 1167 0 56141 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 229440
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/175 18846
/proc/meminfo: memFree=31020280/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=229440 CPUtime=1122.05 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56701 0 0 0 111977 228 0 0 20 0 1 0 283619528 234946560 56605 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57360 56605 467 1167 0 56141 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 229440
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.88 4/175 18846
/proc/meminfo: memFree=31019968/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=229440 CPUtime=1182.04 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 56701 0 0 0 117965 239 0 0 20 0 1 0 283619528 234946560 56605 33554432000 4194304 8973514 140734410855920 140734410855416 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 57360 56605 467 1167 0 56141 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 229440
[startup+1242.3 s]
/proc/loadavg: 2.03 2.00 1.89 4/175 18846
/proc/meminfo: memFree=31003848/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1242.03 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60029 0 0 0 123953 250 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 242752
[startup+1302.3 s]
/proc/loadavg: 2.12 2.03 1.90 4/175 18846
/proc/meminfo: memFree=31003724/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1302.03 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60029 0 0 0 129942 261 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 242752
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 1.91 4/175 18847
/proc/meminfo: memFree=31003896/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1362.02 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60030 0 0 0 135931 271 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855416 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 242752
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 1.91 4/175 18847
/proc/meminfo: memFree=31003892/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1422.02 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60030 0 0 0 141922 280 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855416 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 242752
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/175 18847
/proc/meminfo: memFree=31004016/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1482 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60030 0 0 0 147912 288 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855184 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 242752
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.91 4/176 18850
/proc/meminfo: memFree=31003636/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1541.99 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60030 0 0 0 153901 298 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 242752
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/175 18850
/proc/meminfo: memFree=31003768/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1601.98 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60030 0 0 0 159888 310 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 242752
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/175 18850
/proc/meminfo: memFree=31001536/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=242752 CPUtime=1661.96 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 60030 0 0 0 165876 320 0 0 20 0 1 0 283619528 248578048 59933 33554432000 4194304 8973514 140734410855920 140734410855416 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 60688 59933 467 1167 0 59469 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 242752
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/175 18851
/proc/meminfo: memFree=30995764/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=248896 CPUtime=1721.95 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 61469 0 0 0 171863 332 0 0 20 0 1 0 283619528 254869504 61370 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 62224 61370 467 1167 0 61005 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 248896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/175 18851
/proc/meminfo: memFree=30985720/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=258112 CPUtime=1781.95 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 63872 0 0 0 177852 343 0 0 20 0 1 0 283619528 264306688 63773 33554432000 4194304 8973514 140734410855920 140734410855184 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 64528 63773 467 1167 0 63309 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 258112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 18852
/proc/meminfo: memFree=31034000/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=258112 CPUtime=1800.05 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 63872 0 0 0 179659 346 0 0 20 0 1 0 283619528 264306688 63773 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 64528 63773 467 1167 0 63309 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 258112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 18852
/proc/meminfo: memFree=31034000/32873844 swapFree=6088/6088
[pid=18834] ppid=18830 vsize=258112 CPUtime=1800.05 cores=1,3,5,7
/proc/18834/stat : 18834 (toysat) R 18830 18834 15656 0 -1 4202496 63872 0 0 0 179659 346 0 0 20 0 1 0 283619528 264306688 63773 33554432000 4194304 8973514 140734410855920 140734410855184 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18834/statm: 64528 63773 467 1167 0 63309 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 258112
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1796.59
CPU system time (s): 3.47047
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 258112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.59
system time used= 3.47047
maximum resident set size= 255092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63872
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= 91
involuntary context switches= 1861
runsolver used 3.02154 second user time and 9.29459 second system time
The end