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-3725523-1338642584/watcher-3725523-1338642584 -o /tmp/evaluation-result-3725523-1338642584/solver-3725523-1338642584 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725523-1338642584.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 26174
/proc/meminfo: memFree=27178996/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26174/stat : 26174 (runsolver) D 26172 26174 25232 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 330384349 12095488 51 33554432000 4194304 5436572 140736897887600 140736897883896 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/26174/statm: 2953 51 31 304 0 2645 0
[startup+0.066173 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 26174
/proc/meminfo: memFree=27178996/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=10320 CPUtime=0.05 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 1713 0 0 0 5 0 0 0 20 0 1 0 330384349 10567680 1633 33554432000 4194304 8989770 140733224539376 140736897883784 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 2580 1633 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320
[startup+0.100288 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 26174
/proc/meminfo: memFree=27178996/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=11344 CPUtime=0.08 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 2115 0 0 0 8 0 0 0 20 0 1 0 330384349 11616256 2035 33554432000 4194304 8989770 140733224539376 140736897883784 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 2836 2035 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11344
[startup+0.300284 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 26174
/proc/meminfo: memFree=27178996/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=24656 CPUtime=0.29 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 5459 0 0 0 28 1 0 0 20 0 1 0 330384349 25247744 5379 33554432000 4194304 8989770 140733224539376 140733224538216 7426599 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 6164 5379 441 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700218 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 26174
/proc/meminfo: memFree=27178996/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=29776 CPUtime=0.68 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 6740 0 0 0 67 1 0 0 20 0 1 0 330384349 30490624 6660 33554432000 4194304 8989770 140733224539376 140733224538216 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 7444 6660 442 1171 0 6221 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29776
[startup+1.50017 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26175
/proc/meminfo: memFree=27154172/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=29776 CPUtime=1.48 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 6740 0 0 0 147 1 0 0 20 0 1 0 330384349 30490624 6660 33554432000 4194304 8989770 140733224539376 140733224538872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 7444 6660 442 1171 0 6221 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29776
[startup+3.10027 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26175
/proc/meminfo: memFree=27153692/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=29776 CPUtime=3.08 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 6740 0 0 0 306 2 0 0 20 0 1 0 330384349 30490624 6660 33554432000 4194304 8989770 140733224539376 140733224538872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 7444 6660 442 1171 0 6221 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29776
[startup+6.30024 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26175
/proc/meminfo: memFree=27153312/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=29776 CPUtime=6.28 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 6756 0 0 0 625 3 0 0 20 0 1 0 330384349 30490624 6676 33554432000 4194304 8989770 140733224539376 140733224538872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 7444 6676 458 1171 0 6221 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29776
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26175
/proc/meminfo: memFree=27141060/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=44112 CPUtime=12.68 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 10353 0 0 0 1264 4 0 0 20 0 1 0 330384349 45170688 10273 33554432000 4194304 8989770 140733224539376 140733224538640 4378417 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 11028 10273 471 1171 0 9805 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44112
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26178
/proc/meminfo: memFree=27103216/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=83024 CPUtime=25.48 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 19911 0 0 0 2540 8 0 0 20 0 1 0 330384349 85016576 19831 33554432000 4194304 8989770 140733224539376 140733224538872 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 20756 19831 471 1171 0 19533 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83024
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26178
/proc/meminfo: memFree=27028456/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=159824 CPUtime=51.07 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 39034 0 0 0 5092 15 0 0 20 0 1 0 330384349 163659776 38954 33554432000 4194304 8989770 140733224539376 140733224538872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 39956 38954 471 1171 0 38733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 159824
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26179
/proc/meminfo: memFree=26891612/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=292944 CPUtime=102.27 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 72388 0 0 0 10200 27 0 0 20 0 1 0 330384349 299974656 72308 33554432000 4194304 8989770 140733224539376 140733224538640 4208816 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 73236 72308 471 1171 0 72013 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 292944
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26179
/proc/meminfo: memFree=26750416/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=435280 CPUtime=162.25 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 107920 0 0 0 16185 40 0 0 20 0 1 0 330384349 445726720 107840 33554432000 4194304 8989770 140733224539376 140733224538640 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 108820 107840 471 1171 0 107597 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 435280
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26179
/proc/meminfo: memFree=26617764/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=565328 CPUtime=222.25 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 140563 0 0 0 22173 52 0 0 20 0 1 0 330384349 578895872 140483 33554432000 4194304 8989770 140733224539376 140733224538872 7688471 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 141332 140483 471 1171 0 140109 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 565328
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26179
/proc/meminfo: memFree=26499264/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=684112 CPUtime=282.24 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 170223 0 0 0 28158 66 0 0 20 0 1 0 330384349 700530688 170143 33554432000 4194304 8989770 140733224539376 140733224538640 4437660 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 171028 170143 471 1171 0 169805 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 684112
[startup+342.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 26179
/proc/meminfo: memFree=26386452/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=796752 CPUtime=342.23 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 198512 0 0 0 34145 78 0 0 20 0 1 0 330384349 815874048 198432 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 199188 198432 471 1171 0 197965 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 796752
[startup+402.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/177 26180
/proc/meminfo: memFree=26271548/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=911440 CPUtime=402.22 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 226992 0 0 0 40133 89 0 0 20 0 1 0 330384349 933314560 226914 33554432000 4194304 8989770 140733224539376 140733224538640 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 227860 226914 471 1171 0 226637 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 911440
[startup+462.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/177 26180
/proc/meminfo: memFree=26178744/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1004624 CPUtime=462.18 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 250321 0 0 0 46114 104 0 0 20 0 1 0 330384349 1028734976 250201 33554432000 4194304 8989770 140733224539376 140733224538640 6859953 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 251156 250201 471 1171 0 249933 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1004624
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26180
/proc/meminfo: memFree=26095692/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1087568 CPUtime=522.14 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 271119 0 0 0 52096 118 0 0 20 0 1 0 330384349 1113669632 270954 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 271892 270954 471 1171 0 270669 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1087568
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26180
/proc/meminfo: memFree=26019232/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1163344 CPUtime=582.09 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 290247 0 0 0 58080 129 0 0 20 0 1 0 330384349 1191264256 290037 33554432000 4194304 8989770 140733224539376 140733224538640 4379640 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 290836 290037 471 1171 0 289613 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1163344
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26184
/proc/meminfo: memFree=25703816/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1477712 CPUtime=881.89 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 369115 0 0 0 88014 175 0 0 20 0 1 0 330384349 1513177088 368678 33554432000 4194304 8989770 140733224539376 140733224538640 7687183 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 369428 368678 471 1171 0 368205 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 1477712
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26184
/proc/meminfo: memFree=25639616/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1542224 CPUtime=941.84 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 385216 0 0 0 94000 184 0 0 20 0 1 0 330384349 1579237376 384732 33554432000 4194304 8989770 140733224539376 140733224538872 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 385556 384732 471 1171 0 384333 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 1542224
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26185
/proc/meminfo: memFree=25590168/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1591376 CPUtime=1001.8 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 397623 0 0 0 99989 191 0 0 20 0 1 0 330384349 1629569024 397094 33554432000 4194304 8989770 140733224539376 140733224538872 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 397844 397094 471 1171 0 396621 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 1591376
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26185
/proc/meminfo: memFree=25534644/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1646672 CPUtime=1061.76 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 411441 0 0 0 105977 199 0 0 20 0 1 0 330384349 1686192128 410872 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 411668 410872 471 1171 0 410445 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 1646672
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26185
/proc/meminfo: memFree=25483956/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1696848 CPUtime=1121.72 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 424051 0 0 0 111966 206 0 0 20 0 1 0 330384349 1737572352 423439 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 424212 423439 471 1171 0 422989 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 1696848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26185
/proc/meminfo: memFree=25440708/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1740880 CPUtime=1181.69 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 434989 0 0 0 117955 214 0 0 20 0 1 0 330384349 1782661120 434336 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 435220 434336 471 1171 0 433997 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 1740880
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26188
/proc/meminfo: memFree=25393612/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1787984 CPUtime=1241.65 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 446812 0 0 0 123945 220 0 0 20 0 1 0 330384349 1830895616 446120 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 446996 446120 471 1171 0 445773 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 1787984
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26189
/proc/meminfo: memFree=25351736/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1828944 CPUtime=1301.62 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 457223 0 0 0 129935 227 0 0 20 0 1 0 330384349 1872838656 456486 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 457236 456486 471 1171 0 456013 0
Current children cumulated CPU time (s) 1301.62
Current children cumulated vsize (KiB) 1828944
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 26189
/proc/meminfo: memFree=25303532/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1884240 CPUtime=1361.58 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 470874 0 0 0 135924 234 0 0 20 0 1 0 330384349 1929461760 470099 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 471060 470099 471 1171 0 469837 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 1884240
[startup+1422.31 s]
/proc/loadavg: 2.09 2.04 2.00 3/178 26190
/proc/meminfo: memFree=25261888/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1919056 CPUtime=1421.56 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 479825 0 0 0 141915 241 0 0 20 0 1 0 330384349 1965113344 479014 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 479764 479014 471 1171 0 478541 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 1919056
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 26190
/proc/meminfo: memFree=25225468/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1481.52 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 488837 0 0 0 147905 247 0 0 20 0 1 0 330384349 2002862080 487996 33554432000 4194304 8989770 140733224539376 140733224538872 7697339 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 487996 473 1171 0 487757 0
Current children cumulated CPU time (s) 1481.52
Current children cumulated vsize (KiB) 1955920
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26190
/proc/meminfo: memFree=25224752/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1541.5 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 489098 0 0 0 153899 251 0 0 20 0 1 0 330384349 2002862080 488232 33554432000 4194304 8989770 140733224539376 140733224538640 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 488232 473 1171 0 487757 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 1955920
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 26190
/proc/meminfo: memFree=25224492/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1601.49 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 489107 0 0 0 159893 256 0 0 20 0 1 0 330384349 2002862080 488232 33554432000 4194304 8989770 140733224539376 140733224538640 4380590 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 488232 473 1171 0 487757 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 1955920
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26230
/proc/meminfo: memFree=25923080/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1661.47 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 489107 0 0 0 165886 261 0 0 20 0 1 0 330384349 2002862080 488232 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 488232 473 1171 0 487757 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 1955920
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26230
/proc/meminfo: memFree=25870876/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1721.46 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 489107 0 0 0 171880 266 0 0 20 0 1 0 330384349 2002862080 488232 33554432000 4194304 8989770 140733224539376 140733224538640 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 488232 473 1171 0 487757 0
Current children cumulated CPU time (s) 1721.46
Current children cumulated vsize (KiB) 1955920
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 26230
/proc/meminfo: memFree=25811108/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1781.46 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 489107 0 0 0 177874 272 0 0 20 0 1 0 330384349 2002862080 488232 33554432000 4194304 8989770 140733224539376 140733224538640 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 488232 473 1171 0 487757 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 1955920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26230
/proc/meminfo: memFree=25796104/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1800.06 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 489107 0 0 0 179733 273 0 0 20 0 1 0 330384349 2002862080 488232 33554432000 4194304 8989770 140733224539376 140733224538640 7683285 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 488232 473 1171 0 487757 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1955920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26230
/proc/meminfo: memFree=25796104/32873648 swapFree=7112/7112
[pid=26174] ppid=26172 vsize=1955920 CPUtime=1800.06 cores=0,2,4,6
/proc/26174/stat : 26174 (toysat) R 26172 26174 25232 0 -1 4202496 489107 0 0 0 179733 273 0 0 20 0 1 0 330384349 2002862080 488232 33554432000 4194304 8989770 140733224539376 140733224538640 7683285 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26174/statm: 488980 488232 473 1171 0 487757 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1955920
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.91
CPU time (s): 1800.07
CPU user time (s): 1797.33
CPU system time (s): 2.74158
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (KiB): 1955920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.33
system time used= 2.74158
maximum resident set size= 1952928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489107
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= 802
involuntary context switches= 1824
runsolver used 3.42248 second user time and 9.2316 second system time
The end