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-3706490-1338242782/watcher-3706490-1338242782 -o /tmp/evaluation-result-3706490-1338242782/solver-3706490-1338242782 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706490-1338242782.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.09 2.03 2.00 3/175 26169
/proc/meminfo: memFree=31275544/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 731 0 0 0 0 0 0 0 20 0 1 0 290403022 6356992 652 33554432000 4194304 8973514 140737483282544 140737075670088 4209325 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/26169/statm: 1552 656 411 1167 0 333 0
[startup+0.0441331 s]
/proc/loadavg: 2.09 2.03 2.00 3/175 26169
/proc/meminfo: memFree=31275544/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=9280 CPUtime=0.03 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 1373 0 0 0 3 0 0 0 20 0 1 0 290403022 9502720 1294 33554432000 4194304 8973514 140737483282544 140737075670088 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/26169/statm: 2320 1294 418 1167 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9280
[startup+0.100252 s]
/proc/loadavg: 2.09 2.03 2.00 3/175 26169
/proc/meminfo: memFree=31275544/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=13376 CPUtime=0.08 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 2385 0 0 0 8 0 0 0 20 0 1 0 290403022 13697024 2306 33554432000 4194304 8973514 140737483282544 140737075670088 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/26169/statm: 3344 2306 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376
[startup+0.300238 s]
/proc/loadavg: 2.09 2.03 2.00 3/175 26169
/proc/meminfo: memFree=31275544/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=22592 CPUtime=0.29 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 4915 0 0 0 28 1 0 0 20 0 1 0 290403022 23134208 4836 33554432000 4194304 8973514 140737483282544 140737483282040 4204368 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/26169/statm: 5648 4836 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592
[startup+0.700244 s]
/proc/loadavg: 2.09 2.03 2.00 3/175 26169
/proc/meminfo: memFree=31275544/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=53312 CPUtime=0.68 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 12424 0 0 0 66 2 0 0 20 0 1 0 290403022 54591488 12346 33554432000 4194304 8973514 140737483282544 140737483281808 4209325 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/26169/statm: 13328 12350 429 1167 0 12109 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 53312
[startup+1.50028 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 26180
/proc/meminfo: memFree=31150304/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=69696 CPUtime=1.48 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 16726 0 0 0 145 3 0 0 20 0 1 0 290403022 71368704 16647 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/26169/statm: 17424 16647 447 1167 0 16205 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 69696
[startup+3.10031 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 26180
/proc/meminfo: memFree=31125860/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=76864 CPUtime=3.08 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 18523 0 0 0 304 4 0 0 20 0 1 0 290403022 78708736 18444 33554432000 4194304 8973514 140737483282544 140737483282040 4441196 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/26169/statm: 19216 18444 447 1167 0 17997 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 76864
[startup+6.3003 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 26180
/proc/meminfo: memFree=31119520/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=79936 CPUtime=6.28 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 19291 0 0 0 622 6 0 0 20 0 1 0 290403022 81854464 19212 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 19984 19212 447 1167 0 18765 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79936
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 26180
/proc/meminfo: memFree=31108224/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=85056 CPUtime=12.67 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 20577 0 0 0 1258 9 0 0 20 0 1 0 290403022 87097344 20492 33554432000 4194304 8973514 140737483282544 140737483280640 7688811 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 21264 20492 447 1167 0 20045 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 85056
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26180
/proc/meminfo: memFree=31084516/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=94272 CPUtime=25.46 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 22886 0 0 0 2533 13 0 0 20 0 1 0 290403022 96534528 22797 33554432000 4194304 8973514 140737483282544 140737483281808 4209357 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 23568 22797 447 1167 0 22349 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 94272
[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 26180
/proc/meminfo: memFree=31047532/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=112704 CPUtime=51.05 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 27502 0 0 0 5083 22 0 0 20 0 1 0 290403022 115408896 27405 33554432000 4194304 8973514 140737483282544 140737483282040 4527124 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 28176 27405 447 1167 0 26957 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 112704
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 26180
/proc/meminfo: memFree=30997240/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=133184 CPUtime=102.24 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 32632 0 0 0 10190 34 0 0 20 0 1 0 290403022 136380416 32525 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 33296 32525 447 1167 0 32077 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 133184
[startup+162.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/179 26181
/proc/meminfo: memFree=30928068/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=162880 CPUtime=162.22 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 40056 0 0 0 16171 51 0 0 20 0 1 0 290403022 166789120 39949 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 40720 39949 447 1167 0 39501 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 162880
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/180 26184
/proc/meminfo: memFree=30853724/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=197696 CPUtime=222.22 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 48760 0 0 0 22154 68 0 0 20 0 1 0 290403022 202440704 48653 33554432000 4194304 8973514 140737483282544 140737483282040 4435804 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 49424 48653 447 1167 0 48205 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 197696
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 26184
/proc/meminfo: memFree=30779152/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=223296 CPUtime=282.2 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 55169 0 0 0 28138 82 0 0 20 0 1 0 290403022 228655104 55053 33554432000 4194304 8973514 140737483282544 140737483281808 4424580 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 55824 55053 447 1167 0 54605 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 223296
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 26184
/proc/meminfo: memFree=30705400/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=262208 CPUtime=342.16 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 64931 0 0 0 34120 96 0 0 20 0 1 0 290403022 268500992 64781 33554432000 4194304 8973514 140737483282544 140737483282040 4436561 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 65552 64781 447 1167 0 64333 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 262208
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 26184
/proc/meminfo: memFree=30631644/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=302144 CPUtime=402.15 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 74915 0 0 0 40108 107 0 0 20 0 1 0 290403022 309395456 74765 33554432000 4194304 8973514 140737483282544 140737483282040 4424784 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 75536 74765 447 1167 0 74317 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 302144
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 26185
/proc/meminfo: memFree=30561832/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=336960 CPUtime=462.14 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 83619 0 0 0 46095 119 0 0 20 0 1 0 290403022 345047040 83469 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 84240 83469 447 1167 0 83021 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 336960
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 26185
/proc/meminfo: memFree=30492076/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=365632 CPUtime=522.13 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 90787 0 0 0 52085 128 0 0 20 0 1 0 290403022 374407168 90637 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 91408 90637 447 1167 0 90189 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 365632
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26185
/proc/meminfo: memFree=30443868/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=396352 CPUtime=582.12 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 98468 0 0 0 58073 139 0 0 20 0 1 0 290403022 405864448 98318 33554432000 4194304 8973514 140737483282544 140737483280320 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 99088 98318 448 1167 0 97869 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 396352
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 26189
/proc/meminfo: memFree=30350996/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=415808 CPUtime=822.08 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 103335 0 0 0 82028 180 0 0 20 0 1 0 290403022 425787392 103182 33554432000 4194304 8973514 140737483282544 140737483280512 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 103952 103182 448 1167 0 102733 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 415808
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 26189
/proc/meminfo: memFree=30351048/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=415808 CPUtime=882.06 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 103345 0 0 0 88017 189 0 0 20 0 1 0 290403022 425787392 103182 33554432000 4194304 8973514 140737483282544 140737483282040 4208826 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 103952 103182 448 1167 0 102733 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 415808
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26189
/proc/meminfo: memFree=30327408/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=440384 CPUtime=942.05 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 109491 0 0 0 94006 199 0 0 20 0 1 0 290403022 450953216 109326 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 110096 109326 448 1167 0 108877 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 440384
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26189
/proc/meminfo: memFree=30314140/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=452672 CPUtime=1002.04 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 112563 0 0 0 99996 208 0 0 20 0 1 0 290403022 463536128 112398 33554432000 4194304 8973514 140737483282544 140737483282040 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 113168 112398 448 1167 0 111949 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 452672
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26190
/proc/meminfo: memFree=30286984/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=459840 CPUtime=1062.04 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 114355 0 0 0 105985 219 0 0 20 0 1 0 290403022 470876160 114190 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 114960 114190 448 1167 0 113741 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 459840
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26190
/proc/meminfo: memFree=30253876/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=459840 CPUtime=1122.02 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 114355 0 0 0 111970 232 0 0 20 0 1 0 290403022 470876160 114190 33554432000 4194304 8973514 140737483282544 140737483280512 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 114960 114190 448 1167 0 113741 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 459840
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26190
/proc/meminfo: memFree=30231824/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=459840 CPUtime=1182.01 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 114355 0 0 0 117960 241 0 0 20 0 1 0 290403022 470876160 114190 33554432000 4194304 8973514 140737483282544 140737483280512 4441196 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 114960 114190 448 1167 0 113741 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 459840
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26190
/proc/meminfo: memFree=30231356/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=459840 CPUtime=1242 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 114355 0 0 0 123948 252 0 0 20 0 1 0 290403022 470876160 114190 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 114960 114190 448 1167 0 113741 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 459840
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26190
/proc/meminfo: memFree=30231412/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=459840 CPUtime=1302.01 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 114355 0 0 0 129939 262 0 0 20 0 1 0 290403022 470876160 114190 33554432000 4194304 8973514 140737483282544 140737483282040 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 114960 114190 448 1167 0 113741 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 459840
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26191
/proc/meminfo: memFree=30231784/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=459840 CPUtime=1361.99 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 114355 0 0 0 135926 273 0 0 20 0 1 0 290403022 470876160 114190 33554432000 4194304 8973514 140737483282544 140737483281808 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 114960 114190 448 1167 0 113741 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 459840
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26194
/proc/meminfo: memFree=30231512/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=459840 CPUtime=1421.99 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 114355 0 0 0 141915 284 0 0 20 0 1 0 290403022 470876160 114190 33554432000 4194304 8973514 140737483282544 140737483282040 4213380 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 114960 114190 448 1167 0 113741 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 459840
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26194
/proc/meminfo: memFree=30222608/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=469056 CPUtime=1481.97 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 116659 0 0 0 147902 295 0 0 20 0 1 0 290403022 480313344 116494 33554432000 4194304 8973514 140737483282544 140737483282040 4441393 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 117264 116494 448 1167 0 116045 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 469056
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26194
/proc/meminfo: memFree=30222500/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=469056 CPUtime=1541.96 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 116661 0 0 0 153891 305 0 0 20 0 1 0 290403022 480313344 116494 33554432000 4194304 8973514 140737483282544 140737483282040 4427756 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 117264 116494 448 1167 0 116045 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 469056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26194
/proc/meminfo: memFree=30222556/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=469056 CPUtime=1601.95 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 116661 0 0 0 159880 315 0 0 20 0 1 0 290403022 480313344 116494 33554432000 4194304 8973514 140737483282544 140737483264512 6839464 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 117264 116494 448 1167 0 116045 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 469056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26195
/proc/meminfo: memFree=30222432/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=469056 CPUtime=1661.94 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 116661 0 0 0 165867 327 0 0 20 0 1 0 290403022 480313344 116494 33554432000 4194304 8973514 140737483282544 140737483281808 4441196 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 117264 116494 448 1167 0 116045 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 469056
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 26195
/proc/meminfo: memFree=30222556/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=469056 CPUtime=1721.93 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 116661 0 0 0 171854 339 0 0 20 0 1 0 290403022 480313344 116494 33554432000 4194304 8973514 140737483282544 140737483281808 4441376 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 117264 116494 448 1167 0 116045 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 469056
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26195
/proc/meminfo: memFree=30222060/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=469056 CPUtime=1781.92 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 116661 0 0 0 177838 354 0 0 20 0 1 0 290403022 480313344 116494 33554432000 4194304 8973514 140737483282544 140737483282040 4209198 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 117264 116494 448 1167 0 116045 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 469056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26195
/proc/meminfo: memFree=30222184/32873844 swapFree=7616/7616
[pid=26169] ppid=26167 vsize=469056 CPUtime=1800.02 cores=1,3,5,7
/proc/26169/stat : 26169 (toysat) R 26167 26169 23365 0 -1 4202496 116661 0 0 0 179644 358 0 0 20 0 1 0 290403022 480313344 116494 33554432000 4194304 8973514 140737483282544 140737483281808 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26169/statm: 117264 116494 448 1167 0 116045 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 469056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1796.45
CPU system time (s): 3.58645
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 469056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.45
system time used= 3.58645
maximum resident set size= 465976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116661
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= 96
involuntary context switches= 1870
runsolver used 3.69044 second user time and 10.3544 second system time
The end