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-3706769-1338118456/watcher-3706769-1338118456 -o /tmp/evaluation-result-3706769-1338118456/solver-3706769-1338118456 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706769-1338118456.opb
running on 4 cores: 0,2,4,6
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.90 3/176 5366
/proc/meminfo: memFree=28223488/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/5366/stat : 5366 (runsolver) D 5364 5366 2447 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 277971547 12095488 50 33554432000 4194304 5436572 140735786399520 140735786395816 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/5366/statm: 2953 50 31 304 0 2645 0
[startup+0.0896441 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 5366
/proc/meminfo: memFree=28223488/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=11328 CPUtime=0.07 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 2100 0 0 0 7 0 0 0 20 0 1 0 277971547 11599872 2021 33554432000 4194304 8973514 140734106887104 140734106886368 4208857 0 2 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/5366/statm: 2832 2021 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100201 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 5366
/proc/meminfo: memFree=28223488/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=13376 CPUtime=0.08 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 2612 0 0 0 8 0 0 0 20 0 1 0 277971547 13697024 2533 33554432000 4194304 8973514 140734106887104 140734106886600 7610739 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/5366/statm: 3344 2533 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376
[startup+0.300164 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 5366
/proc/meminfo: memFree=28223488/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=27712 CPUtime=0.28 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 6196 0 0 0 28 0 0 0 20 0 1 0 277971547 28377088 6117 33554432000 4194304 8973514 140734106887104 140734106886600 5782290 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/5366/statm: 6928 6117 417 1167 0 5709 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27712
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 5366
/proc/meminfo: memFree=28223488/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=35904 CPUtime=0.68 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 8288 0 0 0 67 1 0 0 20 0 1 0 277971547 36765696 8209 33554432000 4194304 8973514 140734106887104 140734106886600 4459464 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/5366/statm: 8976 8209 455 1167 0 7757 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35904
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5367
/proc/meminfo: memFree=28112764/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=41024 CPUtime=1.48 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 9389 0 0 0 146 2 0 0 20 0 1 0 277971547 42008576 9310 33554432000 4194304 8973514 140734106887104 140734106886600 4536696 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 10256 9310 455 1167 0 9037 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41024
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5367
/proc/meminfo: memFree=28102720/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=52288 CPUtime=3.07 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 12314 0 0 0 304 3 0 0 20 0 1 0 277971547 53542912 12235 33554432000 4194304 8973514 140734106887104 140734106886600 6662205 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 13072 12235 455 1167 0 11853 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 52288
[startup+6.30016 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5367
/proc/meminfo: memFree=28082784/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=69696 CPUtime=6.27 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 16736 0 0 0 623 4 0 0 20 0 1 0 277971547 71368704 16657 33554432000 4194304 8973514 140734106887104 140734106886600 4208855 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 17424 16657 455 1167 0 16205 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 69696
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5367
/proc/meminfo: memFree=28028984/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=107584 CPUtime=12.67 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 26208 0 0 0 1260 7 0 0 20 0 1 0 277971547 110166016 26129 33554432000 4194304 8973514 140734106887104 140734106885944 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 26896 26129 455 1167 0 25677 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 107584
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5367
/proc/meminfo: memFree=27944852/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=161856 CPUtime=25.47 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 39555 0 0 0 2535 12 0 0 20 0 1 0 277971547 165740544 39476 33554432000 4194304 8973514 140734106887104 140734106886600 4459404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 40464 39476 455 1167 0 39245 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 161856
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5367
/proc/meminfo: memFree=27819068/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=254016 CPUtime=51.07 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 62668 0 0 0 5087 20 0 0 20 0 1 0 277971547 260112384 62589 33554432000 4194304 8973514 140734106887104 140734106886368 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 63504 62589 455 1167 0 62285 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 254016
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 5367
/proc/meminfo: memFree=27609072/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=372800 CPUtime=102.26 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 92503 0 0 0 10195 31 0 0 20 0 1 0 277971547 381747200 92424 33554432000 4194304 8973514 140734106887104 140734106886600 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 93200 92424 455 1167 0 91981 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 372800
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 5367
/proc/meminfo: memFree=27411824/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=495680 CPUtime=162.24 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 123117 0 0 0 16180 44 0 0 20 0 1 0 277971547 507576320 123038 33554432000 4194304 8973514 140734106887104 140734106886600 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 123920 123038 455 1167 0 122701 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 495680
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 1.91 3/177 5367
/proc/meminfo: memFree=27297648/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=556096 CPUtime=222.24 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 138337 0 0 0 22170 54 0 0 20 0 1 0 277971547 569442304 138258 33554432000 4194304 8973514 140734106887104 140734106886600 6570584 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 139024 138258 456 1167 0 137805 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 556096
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 5368
/proc/meminfo: memFree=27249324/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=556096 CPUtime=282.23 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 138337 0 0 0 28161 62 0 0 20 0 1 0 277971547 569442304 138258 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 139024 138258 456 1167 0 137805 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 556096
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 5368
/proc/meminfo: memFree=27208308/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=556096 CPUtime=342.21 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 138362 0 0 0 34150 71 0 0 20 0 1 0 277971547 569442304 138258 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 139024 138258 456 1167 0 137805 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 556096
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 5371
/proc/meminfo: memFree=27115864/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=614464 CPUtime=402.16 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 153002 0 0 0 40137 79 0 0 20 0 1 0 277971547 629211136 152850 33554432000 4194304 8973514 140734106887104 140734106886368 4204592 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 153616 152850 456 1167 0 152397 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 614464
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 5371
/proc/meminfo: memFree=27079444/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=614464 CPUtime=462.11 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 153050 0 0 0 46126 85 0 0 20 0 1 0 277971547 629211136 152850 33554432000 4194304 8973514 140734106887104 140734106886368 4459404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 153616 152850 456 1167 0 152397 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 614464
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 5371
/proc/meminfo: memFree=27046736/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=614464 CPUtime=522.07 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 153098 0 0 0 52116 91 0 0 20 0 1 0 277971547 629211136 152850 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 153616 152850 456 1167 0 152397 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 614464
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 5372
/proc/meminfo: memFree=27016136/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=614464 CPUtime=582.03 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 153145 0 0 0 58105 98 0 0 20 0 1 0 277971547 629211136 152850 33554432000 4194304 8973514 140734106887104 140734106886600 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 153616 152850 456 1167 0 152397 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 614464
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 5373
/proc/meminfo: memFree=26805368/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=680000 CPUtime=881.94 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 169582 0 0 0 88075 119 0 0 20 0 1 0 277971547 696320000 169234 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 170000 169234 456 1167 0 168781 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 680000
[startup+942.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 5373
/proc/meminfo: memFree=26749568/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=941.94 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 94070 124 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 706624
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 5376
/proc/meminfo: memFree=26717768/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1001.93 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 100065 128 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 706624
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5376
/proc/meminfo: memFree=26694244/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1061.92 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 106059 133 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886600 4459344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 706624
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5376
/proc/meminfo: memFree=26671208/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1121.91 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 112054 137 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 706624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5377
/proc/meminfo: memFree=26655736/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1181.91 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 118048 143 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 706624
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5377
/proc/meminfo: memFree=26631336/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1241.9 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 124043 147 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886600 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 706624
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5377
/proc/meminfo: memFree=26615364/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1301.89 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 130038 151 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 706624
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5377
/proc/meminfo: memFree=26598648/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1361.88 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 136034 154 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 4209198 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 706624
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5377
/proc/meminfo: memFree=26573352/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1421.87 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 142030 157 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 706624
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5378
/proc/meminfo: memFree=26554256/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1481.85 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 148023 162 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 706624
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 5378
/proc/meminfo: memFree=26536400/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1541.85 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 154018 167 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 706624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5381
/proc/meminfo: memFree=26526644/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1601.84 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176238 0 0 0 160013 171 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 4209198 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 706624
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5404
/proc/meminfo: memFree=26507716/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1661.83 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176239 0 0 0 166008 175 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886600 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 706624
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 5404
/proc/meminfo: memFree=26487112/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1721.82 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176252 0 0 0 172003 179 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 706624
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 5404
/proc/meminfo: memFree=26468636/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1781.81 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176252 0 0 0 177998 183 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 706624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.93 2/175 5406
/proc/meminfo: memFree=27579940/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1800 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176252 0 0 0 179817 183 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 706624
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.93 2/175 5406
/proc/meminfo: memFree=27579940/32873648 swapFree=6864/6864
[pid=5366] ppid=5364 vsize=706624 CPUtime=1800 cores=0,2,4,6
/proc/5366/stat : 5366 (toysat) R 5364 5366 2447 0 -1 4202496 176252 0 0 0 179817 183 0 0 20 0 1 0 277971547 723582976 175890 33554432000 4194304 8973514 140734106887104 140734106886368 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/5366/statm: 176656 175890 456 1167 0 175437 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 706624
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798.18
CPU system time (s): 1.83972
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 706624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 1.83972
maximum resident set size= 703560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176252
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= 286
involuntary context switches= 1875
runsolver used 2.97355 second user time and 9.06162 second system time
The end