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-3725693-1338638823/watcher-3725693-1338638823 -o /tmp/evaluation-result-3725693-1338638823/solver-3725693-1338638823 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725693-1338638823.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.01 2.04 2.00 3/176 11561
/proc/meminfo: memFree=28142888/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 330006885 6373376 736 33554432000 4194304 8989770 140736433396176 140736244737320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 1556 736 429 1171 0 333 0
[startup+0.0411451 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 11561
/proc/meminfo: memFree=28142888/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=9296 CPUtime=0.03 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 1426 0 0 0 3 0 0 0 20 0 1 0 330006885 9519104 1347 33554432000 4194304 8989770 140736433396176 140736244737320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 2324 1347 442 1171 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9296
[startup+0.100277 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 11561
/proc/meminfo: memFree=28142888/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=14416 CPUtime=0.09 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 2722 0 0 0 9 0 0 0 20 0 1 0 330006885 14761984 2643 33554432000 4194304 8989770 140736433396176 140736244737320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 3604 2643 443 1171 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14416
[startup+0.30031 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 11561
/proc/meminfo: memFree=28142888/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=20560 CPUtime=0.29 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 4374 0 0 0 29 0 0 0 20 0 1 0 330006885 21053440 4295 33554432000 4194304 8989770 140736433396176 140736244737320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 5140 4295 471 1171 0 3917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20560
[startup+0.7003 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 11561
/proc/meminfo: memFree=28142888/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=23632 CPUtime=0.68 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 5229 0 0 0 68 0 0 0 20 0 1 0 330006885 24199168 5150 33554432000 4194304 8989770 140736433396176 140736244737320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 5908 5150 471 1171 0 4685 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23632
[startup+1.50026 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 11562
/proc/meminfo: memFree=28120172/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=32848 CPUtime=1.49 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 7533 0 0 0 148 1 0 0 20 0 1 0 330006885 33636352 7454 33554432000 4194304 8989770 140736433396176 140736433395440 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 8212 7454 471 1171 0 6989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32848
[startup+3.10027 s]
/proc/loadavg: 2.01 2.03 2.00 2/175 11563
/proc/meminfo: memFree=28305252/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=47184 CPUtime=3.08 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 11117 0 0 0 306 2 0 0 20 0 1 0 330006885 48316416 11038 33554432000 4194304 8989770 140736433396176 140736433395440 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 11796 11038 471 1171 0 10573 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47184
[startup+6.30031 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 11601
/proc/meminfo: memFree=28202268/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=72784 CPUtime=6.28 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 17517 0 0 0 624 4 0 0 20 0 1 0 330006885 74530816 17438 33554432000 4194304 8989770 140736433396176 140736433395440 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 18196 17438 471 1171 0 16973 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 72784
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11601
/proc/meminfo: memFree=28126364/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=118864 CPUtime=12.68 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 29044 0 0 0 1260 8 0 0 20 0 1 0 330006885 121716736 28964 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 29716 28964 471 1171 0 28493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 118864
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11601
/proc/meminfo: memFree=28001668/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=200784 CPUtime=25.47 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 49526 0 0 0 2532 15 0 0 20 0 1 0 330006885 205602816 49446 33554432000 4194304 8989770 140736433396176 140736433395016 4417221 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 50196 49446 473 1171 0 48973 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 200784
[startup+51.1003 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 11601
/proc/meminfo: memFree=27934044/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=214096 CPUtime=51.07 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 56699 0 0 0 5081 26 0 0 20 0 1 0 330006885 219234304 52774 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 53524 52774 473 1171 0 52301 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 214096
[startup+102.307 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 11601
/proc/meminfo: memFree=27799300/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=263248 CPUtime=102.26 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 68999 0 0 0 10182 44 0 0 20 0 1 0 330006885 269565952 65062 33554432000 4194304 8989770 140736433396176 140736433395440 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 65812 65062 473 1171 0 64589 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 263248
[startup+162.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 11601
/proc/meminfo: memFree=27655932/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=328784 CPUtime=162.22 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 88731 0 0 0 16154 68 0 0 20 0 1 0 330006885 336674816 81446 33554432000 4194304 8989770 140736433396176 140736433395672 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 82196 81446 473 1171 0 80973 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 328784
[startup+222.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/178 11604
/proc/meminfo: memFree=27569112/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=355408 CPUtime=222.21 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 101535 0 0 0 22132 89 0 0 20 0 1 0 330006885 363937792 88102 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 88852 88102 473 1171 0 87629 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 355408
[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 11604
/proc/meminfo: memFree=27492288/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=376912 CPUtime=282.19 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 130990 0 0 0 28106 113 0 0 20 0 1 0 330006885 385957888 93478 33554432000 4194304 8989770 140736433396176 140736433395672 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 94228 93478 473 1171 0 93005 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 376912
[startup+342.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 11605
/proc/meminfo: memFree=27434248/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=398416 CPUtime=342.17 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 143801 0 0 0 34080 137 0 0 20 0 1 0 330006885 407977984 98854 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 99604 98854 473 1171 0 98381 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 398416
[startup+402.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/177 11605
/proc/meminfo: memFree=27416328/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=377936 CPUtime=402.16 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 149177 0 0 0 40057 159 0 0 20 0 1 0 330006885 387006464 93734 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 94484 93734 473 1171 0 93261 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 377936
[startup+462.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 11605
/proc/meminfo: memFree=27377188/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=382032 CPUtime=462.16 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 172217 0 0 0 46033 183 0 0 20 0 1 0 330006885 391200768 94758 33554432000 4194304 8989770 140736433396176 140736433395440 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 95508 94758 473 1171 0 94285 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 382032
[startup+522.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/177 11605
/proc/meminfo: memFree=27352984/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=382032 CPUtime=522.14 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 193977 0 0 0 52009 205 0 0 20 0 1 0 330006885 391200768 94758 33554432000 4194304 8989770 140736433396176 140736433395440 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 95508 94758 473 1171 0 94285 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 382032
[startup+582.3 s]
/proc/loadavg: 2.12 2.10 2.02 3/177 11605
/proc/meminfo: memFree=27338344/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=384080 CPUtime=582.14 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 218553 0 0 0 57988 226 0 0 20 0 1 0 330006885 393297920 95270 33554432000 4194304 8989770 140736433396176 140736433395440 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 96020 95270 473 1171 0 94797 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 384080
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/178 11609
/proc/meminfo: memFree=27227736/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=418896 CPUtime=822.09 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 340167 0 0 0 81897 312 0 0 20 0 1 0 330006885 428949504 103974 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 104724 103974 473 1171 0 103501 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 418896
[startup+882.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/177 11609
/proc/meminfo: memFree=27255404/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=378960 CPUtime=882.07 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 346583 0 0 0 87878 329 0 0 20 0 1 0 330006885 388055040 93990 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 94740 93990 473 1171 0 93517 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 378960
[startup+942.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/177 11610
/proc/meminfo: memFree=27236464/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=385104 CPUtime=942.04 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 365286 0 0 0 93855 349 0 0 20 0 1 0 330006885 394346496 95526 33554432000 4194304 8989770 140736433396176 140736433394112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 96276 95526 473 1171 0 95053 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 385104
[startup+1002.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/177 11610
/proc/meminfo: memFree=27265664/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=341072 CPUtime=1002.03 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 379371 0 0 0 99832 371 0 0 20 0 1 0 330006885 349257728 84518 33554432000 4194304 8989770 140736433396176 140736433395440 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 85268 84518 473 1171 0 84045 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 341072
[startup+1062.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/177 11610
/proc/meminfo: memFree=27207892/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=382032 CPUtime=1062.01 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 418813 0 0 0 105806 395 0 0 20 0 1 0 330006885 391200768 94758 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 95508 94758 473 1171 0 94285 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 382032
[startup+1122.3 s]
/proc/loadavg: 2.11 2.10 2.03 3/177 11610
/proc/meminfo: memFree=27160376/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=418896 CPUtime=1121.98 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 446729 0 0 0 111782 416 0 0 20 0 1 0 330006885 428949504 103974 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 104724 103974 473 1171 0 103501 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 418896
[startup+1182.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/177 11610
/proc/meminfo: memFree=27180696/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=377936 CPUtime=1181.96 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 465169 0 0 0 117760 436 0 0 20 0 1 0 330006885 387006464 93734 33554432000 4194304 8989770 140736433396176 140736433395440 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 94484 93734 473 1171 0 93261 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 377936
[startup+1242.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/177 11611
/proc/meminfo: memFree=27153584/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=398416 CPUtime=1241.94 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 492830 0 0 0 123736 458 0 0 20 0 1 0 330006885 407977984 98854 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 99604 98854 473 1171 0 98381 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 398416
[startup+1302.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 11611
/proc/meminfo: memFree=27138320/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=398416 CPUtime=1301.92 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 515124 0 0 0 129712 480 0 0 20 0 1 0 330006885 407977984 98854 33554432000 4194304 8989770 140736433396176 140736433395672 4208909 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 99604 98854 473 1171 0 98381 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 398416
[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 2.04 3/177 11611
/proc/meminfo: memFree=27103700/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=417872 CPUtime=1361.88 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 523084 0 0 0 135686 502 0 0 20 0 1 0 330006885 427900928 103718 33554432000 4194304 8989770 140736433396176 140736433395672 4213673 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 104468 103718 473 1171 0 103245 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 417872
[startup+1422.31 s]
/proc/loadavg: 2.08 2.09 2.04 3/178 11614
/proc/meminfo: memFree=27109412/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=398416 CPUtime=1421.87 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 548953 0 0 0 141662 525 0 0 20 0 1 0 330006885 407977984 98854 33554432000 4194304 8989770 140736433396176 140736433395672 6858591 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 99604 98854 473 1171 0 98381 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 398416
[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/177 11614
/proc/meminfo: memFree=27050672/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=447568 CPUtime=1481.84 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 561250 0 0 0 147639 545 0 0 20 0 1 0 330006885 458309632 111142 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 111892 111142 473 1171 0 110669 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 447568
[startup+1542.3 s]
/proc/loadavg: 2.05 2.08 2.04 3/177 11615
/proc/meminfo: memFree=27067000/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=416848 CPUtime=1541.83 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 587377 0 0 0 153615 568 0 0 20 0 1 0 330006885 426852352 103462 33554432000 4194304 8989770 140736433396176 140736433395440 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 104212 103462 473 1171 0 102989 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 416848
[startup+1602.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 11615
/proc/meminfo: memFree=27040628/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=442448 CPUtime=1601.8 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 612994 0 0 0 159589 591 0 0 20 0 1 0 330006885 453066752 109862 33554432000 4194304 8989770 140736433396176 140736433395672 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 110612 109862 473 1171 0 109389 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 442448
[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/177 11615
/proc/meminfo: memFree=26988288/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=481360 CPUtime=1661.77 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 644503 0 0 0 165561 616 0 0 20 0 1 0 330006885 492912640 119590 33554432000 4194304 8989770 140736433396176 140736433395672 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 120340 119590 473 1171 0 119117 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 481360
[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.03 3/178 11616
/proc/meminfo: memFree=27025516/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=425040 CPUtime=1721.76 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 673437 0 0 0 171534 642 0 0 20 0 1 0 330006885 435240960 105510 33554432000 4194304 8989770 140736433396176 140736433395672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 106260 105510 473 1171 0 105037 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 425040
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/177 11616
/proc/meminfo: memFree=26999036/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=435280 CPUtime=1781.74 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 697771 0 0 0 177509 665 0 0 20 0 1 0 330006885 445726720 108070 33554432000 4194304 8989770 140736433396176 140736433395672 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 108820 108070 473 1171 0 107597 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 435280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.08 2.06 2.03 3/176 11616
/proc/meminfo: memFree=26998904/32873844 swapFree=7108/7108
[pid=11561] ppid=11559 vsize=435280 CPUtime=1800.05 cores=1,3,5,7
/proc/11561/stat : 11561 (toysat) R 11559 11561 10982 0 -1 4202496 697771 0 0 0 179333 672 0 0 20 0 1 0 330006885 445726720 108070 33554432000 4194304 8989770 140736433396176 140736433395672 4457900 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11561/statm: 108820 108070 473 1171 0 107597 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 435280
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.62
CPU time (s): 1800.06
CPU user time (s): 1793.33
CPU system time (s): 6.72898
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 566352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.33
system time used= 6.72898
maximum resident set size= 563352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 697771
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= 319
involuntary context switches= 1823
runsolver used 3.38049 second user time and 9.78451 second system time
The end