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-3706119-1338191929/watcher-3706119-1338191929 -o /tmp/evaluation-result-3706119-1338191929/solver-3706119-1338191929 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706119-1338191929.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.84 1.97 1.99 4/173 20579
/proc/meminfo: memFree=31248660/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 285321371 6356992 731 33554432000 4194304 8973514 140735431356656 140737312481080 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 1552 731 415 1167 0 333 0
[startup+0.0304901 s]
/proc/loadavg: 1.84 1.97 1.99 4/173 20579
/proc/meminfo: memFree=31248660/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=8256 CPUtime=0.02 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 1237 0 0 0 2 0 0 0 20 0 1 0 285321371 8454144 1158 33554432000 4194304 8973514 140735431356656 140737312481080 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 2064 1158 416 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100246 s]
/proc/loadavg: 1.84 1.97 1.99 4/173 20579
/proc/meminfo: memFree=31248660/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 285321371 12648448 2277 33554432000 4194304 8973514 140735431356656 140737312481080 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300241 s]
/proc/loadavg: 1.84 1.97 1.99 4/173 20579
/proc/meminfo: memFree=31248660/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=22592 CPUtime=0.29 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 4759 0 0 0 28 1 0 0 20 0 1 0 285321371 23134208 4680 33554432000 4194304 8973514 140735431356656 140737312481080 7732563 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 5648 4680 444 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592
[startup+0.700236 s]
/proc/loadavg: 1.84 1.97 1.99 4/173 20579
/proc/meminfo: memFree=31248660/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=22592 CPUtime=0.69 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 4948 0 0 0 68 1 0 0 20 0 1 0 285321371 23134208 4869 33554432000 4194304 8973514 140735431356656 140737312481080 6571953 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 5648 4869 444 1167 0 4429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22592
[startup+1.50025 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 20581
/proc/meminfo: memFree=31210908/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=22592 CPUtime=1.49 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 4948 0 0 0 148 1 0 0 20 0 1 0 285321371 23134208 4869 33554432000 4194304 8973514 140735431356656 140735431356152 6533989 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 5648 4869 444 1167 0 4429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22592
[startup+3.10023 s]
/proc/loadavg: 1.85 1.97 1.99 4/175 20581
/proc/meminfo: memFree=31208056/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=25664 CPUtime=3.09 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 5716 0 0 0 307 2 0 0 20 0 1 0 285321371 26279936 5637 33554432000 4194304 8973514 140735431356656 140735431356152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 6416 5637 444 1167 0 5197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25664
[startup+6.30024 s]
/proc/loadavg: 1.85 1.97 1.99 4/175 20581
/proc/meminfo: memFree=31188340/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=35904 CPUtime=6.29 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 8153 0 0 0 626 3 0 0 20 0 1 0 285321371 36765696 8074 33554432000 4194304 8973514 140735431356656 140735431356152 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 8976 8074 444 1167 0 7757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35904
[startup+12.7002 s]
/proc/loadavg: 1.87 1.97 1.99 4/175 20581
/proc/meminfo: memFree=31152980/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=53312 CPUtime=12.69 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 12431 0 0 0 1264 5 0 0 20 0 1 0 285321371 54591488 12352 33554432000 4194304 8973514 140735431356656 140735431356152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 13328 12352 444 1167 0 12109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53312
[startup+25.5002 s]
/proc/loadavg: 1.89 1.97 1.99 4/175 20581
/proc/meminfo: memFree=31106208/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=70720 CPUtime=25.49 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 16860 0 0 0 2540 9 0 0 20 0 1 0 285321371 72417280 16781 33554432000 4194304 8973514 140735431356656 140735431354624 4426672 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 17680 16781 445 1167 0 16461 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70720
[startup+51.1002 s]
/proc/loadavg: 1.93 1.97 1.99 4/175 20582
/proc/meminfo: memFree=31070960/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=94272 CPUtime=51.08 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 22869 0 0 0 5093 15 0 0 20 0 1 0 285321371 96534528 22790 33554432000 4194304 8973514 140735431356656 140735431355920 4442708 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 23568 22790 445 1167 0 22349 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94272
[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.99 4/176 20585
/proc/meminfo: memFree=31030572/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=111680 CPUtime=102.26 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 27241 0 0 0 10200 26 0 0 20 0 1 0 285321371 114360320 27142 33554432000 4194304 8973514 140735431356656 140735431356152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 27920 27142 445 1167 0 26701 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 111680
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/176 20608
/proc/meminfo: memFree=30998900/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=106560 CPUtime=162.22 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 29059 0 0 0 16183 39 0 0 20 0 1 0 285321371 109117440 25862 33554432000 4194304 8973514 140735431356656 140735431356152 4546233 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 26640 25862 445 1167 0 25421 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 106560
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/175 20608
/proc/meminfo: memFree=31002692/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=91200 CPUtime=222.21 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 30339 0 0 0 22168 53 0 0 20 0 1 0 285321371 93388800 22022 33554432000 4194304 8973514 140735431356656 140735431356152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 22800 22022 445 1167 0 21581 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 91200
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/175 20608
/proc/meminfo: memFree=30973256/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=121920 CPUtime=282.2 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 37916 0 0 0 28152 68 0 0 20 0 1 0 285321371 124846080 29599 33554432000 4194304 8973514 140735431356656 140735431356152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 30480 29599 445 1167 0 29261 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 121920
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/174 20608
/proc/meminfo: memFree=30970300/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=132160 CPUtime=342.17 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 42396 0 0 0 34134 83 0 0 20 0 1 0 285321371 135331840 32262 33554432000 4194304 8973514 140735431356656 140735431356152 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 33040 32262 445 1167 0 31821 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 132160
[startup+402.3 s]
/proc/loadavg: 2.03 1.99 1.99 4/175 20609
/proc/meminfo: memFree=30997584/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=115776 CPUtime=402.17 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 45468 0 0 0 40121 96 0 0 20 0 1 0 285321371 118554624 28166 33554432000 4194304 8973514 140735431356656 140735431356152 4390322 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 28944 28166 445 1167 0 27725 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 115776
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.00 4/175 20609
/proc/meminfo: memFree=30980244/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=87104 CPUtime=462.15 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 48540 0 0 0 46105 110 0 0 20 0 1 0 285321371 89194496 20998 33554432000 4194304 8973514 140735431356656 140735431356152 4390398 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 21776 20998 445 1167 0 20557 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 87104
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/175 20609
/proc/meminfo: memFree=30984388/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=74816 CPUtime=522.14 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 52383 0 0 0 52090 124 0 0 20 0 1 0 285321371 76611584 17926 33554432000 4194304 8973514 140735431356656 140735431356152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 18704 17926 445 1167 0 17485 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 74816
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/175 20609
/proc/meminfo: memFree=30988172/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=70720 CPUtime=582.13 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 60831 0 0 0 58075 138 0 0 20 0 1 0 285321371 72417280 16902 33554432000 4194304 8973514 140735431356656 140735431355920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 17680 16902 445 1167 0 16461 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 70720
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/175 20613
/proc/meminfo: memFree=31013792/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=111680 CPUtime=822.07 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 100788 0 0 0 82018 189 0 0 20 0 1 0 285321371 114360320 27142 33554432000 4194304 8973514 140735431356656 140735431355920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 27920 27142 445 1167 0 26701 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 111680
[startup+882.3 s]
/proc/loadavg: 2.07 2.03 2.00 4/175 20613
/proc/meminfo: memFree=31072000/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=93248 CPUtime=882.06 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 101154 0 0 0 88003 203 0 0 20 0 1 0 285321371 95485952 22383 33554432000 4194304 8973514 140735431356656 140735431356152 4441393 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 23312 22383 445 1167 0 22093 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 93248
[startup+942.3 s]
/proc/loadavg: 2.12 2.05 2.01 4/175 20613
/proc/meminfo: memFree=31009752/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=97344 CPUtime=942.05 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 108729 0 0 0 93988 217 0 0 20 0 1 0 285321371 99680256 23558 33554432000 4194304 8973514 140735431356656 140735431356152 7841851 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 24336 23558 445 1167 0 23117 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 97344
[startup+1002.3 s]
/proc/loadavg: 2.17 2.07 2.01 4/175 20614
/proc/meminfo: memFree=31052248/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=99392 CPUtime=1002.04 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 112569 0 0 0 99974 230 0 0 20 0 1 0 285321371 101777408 24070 33554432000 4194304 8973514 140735431356656 140735431355920 4362943 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 24848 24070 445 1167 0 23629 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 99392
[startup+1062.3 s]
/proc/loadavg: 2.12 2.07 2.01 4/175 20614
/proc/meminfo: memFree=31040020/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=99392 CPUtime=1062.03 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 116665 0 0 0 105958 245 0 0 20 0 1 0 285321371 101777408 24070 33554432000 4194304 8973514 140735431356656 140735431354624 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 24848 24070 445 1167 0 23629 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 99392
[startup+1122.3 s]
/proc/loadavg: 2.09 2.07 2.01 4/175 20614
/proc/meminfo: memFree=31040384/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=104512 CPUtime=1122.02 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 123415 0 0 0 111944 258 0 0 20 0 1 0 285321371 107020288 25188 33554432000 4194304 8973514 140735431356656 140735431356152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 26128 25188 445 1167 0 24909 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 104512
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.01 4/175 20614
/proc/meminfo: memFree=31016884/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=103488 CPUtime=1182.01 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 132281 0 0 0 117929 272 0 0 20 0 1 0 285321371 105971712 25094 33554432000 4194304 8973514 140735431356656 140735431356152 4363224 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 25872 25094 445 1167 0 24653 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 103488
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 4/175 20614
/proc/meminfo: memFree=30978040/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=119872 CPUtime=1242.01 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 139631 0 0 0 123913 288 0 0 20 0 1 0 285321371 122748928 29109 33554432000 4194304 8973514 140735431356656 140735431355920 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 29968 29109 445 1167 0 28749 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 119872
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/176 20618
/proc/meminfo: memFree=30968652/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=111680 CPUtime=1302 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 141760 0 0 0 129900 300 0 0 20 0 1 0 285321371 114360320 27142 33554432000 4194304 8973514 140735431356656 140735431355920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 27920 27142 445 1167 0 26701 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 111680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/175 20618
/proc/meminfo: memFree=31015764/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=118848 CPUtime=1361.98 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 147273 0 0 0 135885 313 0 0 20 0 1 0 285321371 121700352 28809 33554432000 4194304 8973514 140735431356656 140735431356152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 29712 28809 445 1167 0 28493 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 118848
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 4/175 20618
/proc/meminfo: memFree=31022640/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=100416 CPUtime=1421.97 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 149860 0 0 0 141870 327 0 0 20 0 1 0 285321371 102825984 24228 33554432000 4194304 8973514 140735431356656 140735431356152 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 25104 24228 445 1167 0 23885 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 100416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/175 20618
/proc/meminfo: memFree=30996512/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=99392 CPUtime=1481.96 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 165830 0 0 0 147852 344 0 0 20 0 1 0 285321371 101777408 24070 33554432000 4194304 8973514 140735431356656 140735431356152 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 24848 24070 445 1167 0 23629 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 99392
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/175 20618
/proc/meminfo: memFree=31029752/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=89152 CPUtime=1541.95 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 168760 0 0 0 153837 358 0 0 20 0 1 0 285321371 91291648 21368 33554432000 4194304 8973514 140735431356656 140735431355920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 22288 21368 445 1167 0 21069 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 89152
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 20619
/proc/meminfo: memFree=30984916/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=99392 CPUtime=1601.94 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 176839 0 0 0 159820 374 0 0 20 0 1 0 285321371 101777408 24070 33554432000 4194304 8973514 140735431356656 140735431356152 4390457 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 24848 24070 445 1167 0 23629 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 99392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 20619
/proc/meminfo: memFree=31025928/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=95296 CPUtime=1661.92 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 181451 0 0 0 165804 388 0 0 20 0 1 0 285321371 97583104 23046 33554432000 4194304 8973514 140735431356656 140735431356152 7680183 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 23824 23046 445 1167 0 22605 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 95296
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 20619
/proc/meminfo: memFree=31015992/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=91200 CPUtime=1721.92 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 185037 0 0 0 171790 402 0 0 20 0 1 0 285321371 93388800 22022 33554432000 4194304 8973514 140735431356656 140735431356152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 22800 22022 445 1167 0 21581 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 91200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 20619
/proc/meminfo: memFree=31022408/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=91200 CPUtime=1781.91 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 186317 0 0 0 177778 413 0 0 20 0 1 0 285321371 93388800 22022 33554432000 4194304 8973514 140735431356656 140735431356152 4427144 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 22800 22022 445 1167 0 21581 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 91200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20619
/proc/meminfo: memFree=31036976/32873844 swapFree=6088/6088
[pid=20579] ppid=20577 vsize=91200 CPUtime=1800.01 cores=0,2,4,6
/proc/20579/stat : 20579 (toysat) R 20577 20579 20536 0 -1 4202496 186831 0 0 0 179583 418 0 0 20 0 1 0 285321371 93388800 22022 33554432000 4194304 8973514 140735431356656 140735431355920 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20579/statm: 22800 22022 445 1167 0 21581 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 91200
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.02
CPU user time (s): 1795.84
CPU system time (s): 4.18436
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 144448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.84
system time used= 4.18436
maximum resident set size= 141336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186831
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= 120
involuntary context switches= 1845
runsolver used 3.2905 second user time and 8.50471 second system time
The end