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-3724458-1338644567/watcher-3724458-1338644567 -o /tmp/evaluation-result-3724458-1338644567/solver-3724458-1338644567 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724458-1338644567.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: 1.92 1.99 1.99 2/176 22230
/proc/meminfo: memFree=30132736/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 330585265 6373376 743 33554432000 4194304 8989770 140736477072256 140736477071752 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 1556 743 428 1171 0 333 0
[startup+0.0242739 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 22230
/proc/meminfo: memFree=30132736/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=8272 CPUtime=0.02 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 1134 0 0 0 2 0 0 0 20 0 1 0 330585265 8470528 1055 33554432000 4194304 8989770 140736477072256 140736477071752 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 2068 1055 429 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100278 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 22230
/proc/meminfo: memFree=30132736/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 2368 0 0 0 9 0 0 0 20 0 1 0 330585265 12664832 2289 33554432000 4194304 8989770 140736477072256 140736477071752 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 3092 2289 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300277 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 22230
/proc/meminfo: memFree=30132736/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=22608 CPUtime=0.29 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 4928 0 0 0 28 1 0 0 20 0 1 0 330585265 23150592 4849 33554432000 4194304 8989770 140736477072256 140736477071752 7874608 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 5652 4849 431 1171 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22608
[startup+0.700279 s]
/proc/loadavg: 1.92 1.99 1.99 2/176 22230
/proc/meminfo: memFree=30132736/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=47184 CPUtime=0.69 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 11102 0 0 0 67 2 0 0 20 0 1 0 330585265 48316416 11023 33554432000 4194304 8989770 140736477072256 140736477071752 4453179 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 11796 11023 455 1171 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47184
[startup+1.50028 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 22231
/proc/meminfo: memFree=30086096/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=51280 CPUtime=1.49 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 12130 0 0 0 147 2 0 0 20 0 1 0 330585265 52510720 12051 33554432000 4194304 8989770 140736477072256 140736477070208 4469772 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 12820 12051 459 1171 0 11597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51280
[startup+3.10028 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 22231
/proc/meminfo: memFree=30085856/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=51280 CPUtime=3.09 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 12130 0 0 0 307 2 0 0 20 0 1 0 330585265 52510720 12051 33554432000 4194304 8989770 140736477072256 140736477071752 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 12820 12051 459 1171 0 11597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51280
[startup+6.30028 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 22231
/proc/meminfo: memFree=30085732/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=51280 CPUtime=6.29 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 12130 0 0 0 626 3 0 0 20 0 1 0 330585265 52510720 12051 33554432000 4194304 8989770 140736477072256 140736477071752 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 12820 12051 459 1171 0 11597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51280
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 22231
/proc/meminfo: memFree=30077696/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=61520 CPUtime=12.68 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 14690 0 0 0 1263 5 0 0 20 0 1 0 330585265 62996480 14611 33554432000 4194304 8989770 140736477072256 140736477071752 4370936 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 15380 14611 459 1171 0 14157 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61520
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 22232
/proc/meminfo: memFree=30061008/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=76880 CPUtime=25.49 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 18530 0 0 0 2540 9 0 0 20 0 1 0 330585265 78725120 18451 33554432000 4194304 8989770 140736477072256 140736477071752 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 19220 18451 459 1171 0 17997 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76880
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 22232
/proc/meminfo: memFree=30025572/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=112720 CPUtime=51.07 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 27277 0 0 0 5090 17 0 0 20 0 1 0 330585265 115425280 27182 33554432000 4194304 8989770 140736477072256 140736477071520 4354649 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 28180 27182 459 1171 0 26957 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 112720
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 22232
/proc/meminfo: memFree=29954316/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=182352 CPUtime=102.23 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 44922 0 0 0 10188 35 0 0 20 0 1 0 330585265 186728448 44793 33554432000 4194304 8989770 140736477072256 140736477071520 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 45588 44793 459 1171 0 44365 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 182352
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 22271
/proc/meminfo: memFree=29921700/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=222288 CPUtime=162.19 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 54965 0 0 0 16167 52 0 0 20 0 1 0 330585265 227622912 54805 33554432000 4194304 8989770 140736477072256 140736477071520 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 55572 54805 461 1171 0 54349 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 222288
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 22271
/proc/meminfo: memFree=29909072/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=222288 CPUtime=222.18 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 54965 0 0 0 22149 69 0 0 20 0 1 0 330585265 227622912 54805 33554432000 4194304 8989770 140736477072256 140736477054272 6592600 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 55572 54805 461 1171 0 54349 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 222288
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 22271
/proc/meminfo: memFree=29869960/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=262224 CPUtime=282.18 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 64711 0 0 0 28131 87 0 0 20 0 1 0 330585265 268517376 64551 33554432000 4194304 8989770 140736477072256 140736477071752 6592296 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 65556 64551 461 1171 0 64333 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 262224
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 22272
/proc/meminfo: memFree=29845884/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=291920 CPUtime=342.16 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 72380 0 0 0 34113 103 0 0 20 0 1 0 330585265 298926080 72213 33554432000 4194304 8989770 140736477072256 140736477071752 4493864 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 72980 72213 461 1171 0 71757 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 291920
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22272
/proc/meminfo: memFree=29824276/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=314448 CPUtime=402.14 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 77911 0 0 0 40097 117 0 0 20 0 1 0 330585265 321994752 77720 33554432000 4194304 8989770 140736477072256 140736477071520 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 78612 77720 461 1171 0 77389 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 314448
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22275
/proc/meminfo: memFree=29811060/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=332880 CPUtime=462.13 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 82552 0 0 0 46081 132 0 0 20 0 1 0 330585265 340869120 82361 33554432000 4194304 8989770 140736477072256 140736477071520 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 83220 82361 461 1171 0 81997 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 332880
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22275
/proc/meminfo: memFree=29794576/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=349264 CPUtime=522.12 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 86740 0 0 0 52067 145 0 0 20 0 1 0 330585265 357646336 86549 33554432000 4194304 8989770 140736477072256 140736477071360 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 87316 86549 461 1171 0 86093 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 349264
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 22275
/proc/meminfo: memFree=29775232/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=368720 CPUtime=582.11 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 91525 0 0 0 58053 158 0 0 20 0 1 0 330585265 377569280 91334 33554432000 4194304 8989770 140736477072256 140736477071520 6586395 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 92180 91334 461 1171 0 90957 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 368720
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22276
/proc/meminfo: memFree=29731876/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=410704 CPUtime=822.06 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 102081 0 0 0 82003 203 0 0 20 0 1 0 330585265 420560896 101909 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 102676 101909 461 1171 0 101453 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 410704
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22276
/proc/meminfo: memFree=29716872/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=426064 CPUtime=882.05 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 105784 0 0 0 87991 214 0 0 20 0 1 0 330585265 436289536 105612 33554432000 4194304 8989770 140736477072256 140736477071520 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 106516 105612 461 1171 0 105293 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 426064
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22277
/proc/meminfo: memFree=29702804/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=439376 CPUtime=942.04 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 109266 0 0 0 93980 224 0 0 20 0 1 0 330585265 449921024 109077 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 109844 109077 461 1171 0 108621 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 439376
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22277
/proc/meminfo: memFree=29692396/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=449616 CPUtime=1002.02 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 111787 0 0 0 99969 233 0 0 20 0 1 0 330585265 460406784 111598 33554432000 4194304 8989770 140736477072256 140736477071520 7732747 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 112404 111598 461 1171 0 111181 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 449616
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22280
/proc/meminfo: memFree=29685692/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=455760 CPUtime=1062.02 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113362 0 0 0 105958 244 0 0 20 0 1 0 330585265 466698240 113173 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 113940 113173 461 1171 0 112717 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 455760
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 22303
/proc/meminfo: memFree=29685560/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=455760 CPUtime=1122.01 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113362 0 0 0 111947 254 0 0 20 0 1 0 330585265 466698240 113173 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 113940 113173 461 1171 0 112717 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 455760
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22303
/proc/meminfo: memFree=29685568/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=455760 CPUtime=1182 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113362 0 0 0 117937 263 0 0 20 0 1 0 330585265 466698240 113173 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 113940 113173 461 1171 0 112717 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 455760
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22303
/proc/meminfo: memFree=29685004/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=455760 CPUtime=1241.99 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113369 0 0 0 123928 271 0 0 20 0 1 0 330585265 466698240 113173 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 113940 113173 461 1171 0 112717 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 455760
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 22304
/proc/meminfo: memFree=29683692/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=456784 CPUtime=1301.98 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 129919 279 0 0 20 0 1 0 330585265 467746816 113429 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 114196 113429 461 1171 0 112973 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 456784
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22304
/proc/meminfo: memFree=29683444/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=456784 CPUtime=1361.97 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 135909 288 0 0 20 0 1 0 330585265 467746816 113429 33554432000 4194304 8989770 140736477072256 140736477071520 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 114196 113429 461 1171 0 112973 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 456784
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 22304
/proc/meminfo: memFree=29683320/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=456784 CPUtime=1421.96 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 141899 297 0 0 20 0 1 0 330585265 467746816 113429 33554432000 4194304 8989770 140736477072256 140736477071520 7678037 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 114196 113429 461 1171 0 112973 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 456784
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22304
/proc/meminfo: memFree=29777680/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=361552 CPUtime=1481.95 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 147888 307 0 0 20 0 1 0 330585265 370229248 89621 33554432000 4194304 8989770 140736477072256 140736477071520 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 90388 89621 461 1171 0 89165 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 361552
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22304
/proc/meminfo: memFree=29802120/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=336976 CPUtime=1541.94 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 153873 321 0 0 20 0 1 0 330585265 345063424 83477 33554432000 4194304 8989770 140736477072256 140736477071520 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 84244 83477 461 1171 0 83021 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 336976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22305
/proc/meminfo: memFree=29801624/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=334928 CPUtime=1601.93 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 159860 333 0 0 20 0 1 0 330585265 342966272 82965 33554432000 4194304 8989770 140736477072256 140736477071752 7688482 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 83732 82965 461 1171 0 82509 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 334928
[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 2.02 3/178 22308
/proc/meminfo: memFree=29814644/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=323664 CPUtime=1661.92 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 165843 349 0 0 20 0 1 0 330585265 331431936 80149 33554432000 4194304 8989770 140736477072256 140736477071752 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 80916 80149 461 1171 0 79693 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 323664
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 22308
/proc/meminfo: memFree=29814528/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=323664 CPUtime=1721.92 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 171825 367 0 0 20 0 1 0 330585265 331431936 80149 33554432000 4194304 8989770 140736477072256 140736477071520 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 80916 80149 461 1171 0 79693 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 323664
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 22308
/proc/meminfo: memFree=29814280/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=323664 CPUtime=1781.91 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 177812 379 0 0 20 0 1 0 330585265 331431936 80149 33554432000 4194304 8989770 140736477072256 140736477071752 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 80916 80149 461 1171 0 79693 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 323664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 22308
/proc/meminfo: memFree=29814280/32873844 swapFree=7372/7372
[pid=22230] ppid=22228 vsize=323664 CPUtime=1800.01 cores=0,2,4,6
/proc/22230/stat : 22230 (toysat) R 22228 22230 21194 0 -1 4202496 113626 0 0 0 179618 383 0 0 20 0 1 0 330585265 331431936 80149 33554432000 4194304 8989770 140736477072256 140736477071752 6549792 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22230/statm: 80916 80149 461 1171 0 79693 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 323664
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.03
CPU user time (s): 1796.18
CPU system time (s): 3.84342
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 456784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.18
system time used= 3.84341
maximum resident set size= 453716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113626
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= 164
involuntary context switches= 1995
runsolver used 2.98155 second user time and 9.25459 second system time
The end