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-3725131-1338631589/watcher-3725131-1338631589 -o /tmp/evaluation-result-3725131-1338631589/solver-3725131-1338631589 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725131-1338631589.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: 1.39 0.43 0.15 3/176 25352
/proc/meminfo: memFree=27200904/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 1 0 329284818 6373376 724 33554432000 4194304 8989770 140735704832432 140733198287976 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 1556 724 424 1171 0 333 0
[startup+0.0530961 s]
/proc/loadavg: 1.39 0.43 0.15 3/176 25352
/proc/meminfo: memFree=27200904/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=10320 CPUtime=0.04 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 1609 0 0 0 4 0 0 0 20 0 1 0 329284818 10567680 1530 33554432000 4194304 8989770 140735704832432 140733198287976 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 2580 1530 430 1171 0 1357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10320
[startup+0.100162 s]
/proc/loadavg: 1.39 0.43 0.15 3/176 25352
/proc/meminfo: memFree=27200904/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 2444 0 0 0 9 0 0 0 20 0 1 0 329284818 13713408 2365 33554432000 4194304 8989770 140735704832432 140733198287976 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 3348 2365 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300169 s]
/proc/loadavg: 1.39 0.43 0.15 3/176 25352
/proc/meminfo: memFree=27200904/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 5440 0 0 0 29 0 0 0 20 0 1 0 329284818 25247744 5361 33554432000 4194304 8989770 140735704832432 140733198287976 5799608 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 6164 5361 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700152 s]
/proc/loadavg: 1.39 0.43 0.15 3/176 25352
/proc/meminfo: memFree=27200904/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=57424 CPUtime=0.68 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 13632 0 0 0 67 1 0 0 20 0 1 0 329284818 58802176 13553 33554432000 4194304 8989770 140735704832432 140735704831752 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 14356 13553 431 1171 0 13133 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 57424
[startup+1.5002 s]
/proc/loadavg: 1.44 0.45 0.16 3/177 25353
/proc/meminfo: memFree=27127488/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=106576 CPUtime=1.48 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 25920 0 0 0 144 4 0 0 20 0 1 0 329284818 109133824 25841 33554432000 4194304 8989770 140735704832432 140735704831928 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 26644 25841 431 1171 0 25421 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 106576
[startup+3.10015 s]
/proc/loadavg: 1.44 0.45 0.16 3/177 25353
/proc/meminfo: memFree=27059628/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=195664 CPUtime=3.09 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 48192 0 0 0 300 9 0 0 20 0 1 0 329284818 200359936 48113 33554432000 4194304 8989770 140735704832432 140735704831928 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 48916 48113 431 1171 0 47693 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 195664
[startup+6.30015 s]
/proc/loadavg: 1.49 0.48 0.17 3/177 25353
/proc/meminfo: memFree=26829388/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=449616 CPUtime=6.28 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 111504 0 0 0 608 20 0 0 20 0 1 0 329284818 460406784 111425 33554432000 4194304 8989770 140735704832432 140735704831696 4212523 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 112404 111430 431 1171 0 111181 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 449616
[startup+12.7002 s]
/proc/loadavg: 1.53 0.51 0.18 3/177 25353
/proc/meminfo: memFree=26473484/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=12.69 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181585 0 0 0 1237 32 0 0 20 0 1 0 329284818 746668032 181506 33554432000 4194304 8989770 140735704832432 140735704831928 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181506 442 1171 0 181069 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 729168
[startup+25.5003 s]
/proc/loadavg: 1.60 0.55 0.19 3/177 25353
/proc/meminfo: memFree=26474220/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=25.48 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 2513 35 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4209212 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 729168
[startup+51.1003 s]
/proc/loadavg: 1.76 0.69 0.25 3/177 25353
/proc/meminfo: memFree=26474308/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=51.08 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 5067 41 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831696 7676480 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 729168
[startup+102.307 s]
/proc/loadavg: 1.89 0.89 0.34 3/177 25354
/proc/meminfo: memFree=26464928/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=102.27 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 10175 52 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4213833 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 729168
[startup+162.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/177 25354
/proc/meminfo: memFree=26459252/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=162.24 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 16159 65 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 729168
[startup+222.3 s]
/proc/loadavg: 1.98 1.25 0.54 3/178 25357
/proc/meminfo: memFree=26443604/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=222.23 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 22146 77 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4209198 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 729168
[startup+282.3 s]
/proc/loadavg: 1.99 1.39 0.62 3/177 25357
/proc/meminfo: memFree=26436424/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=282.21 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 28133 88 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 4208823 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 729168
[startup+342.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/177 25357
/proc/meminfo: memFree=26427404/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=342.2 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 34120 100 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4209212 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 729168
[startup+402.3 s]
/proc/loadavg: 1.99 1.58 0.79 3/176 25357
/proc/meminfo: memFree=26406812/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=402.18 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181614 0 0 0 40106 112 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 4206114 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 729168
[startup+462.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/177 25358
/proc/meminfo: memFree=26407360/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=462.17 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181616 0 0 0 46090 127 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831696 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 729168
[startup+522.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/177 25358
/proc/meminfo: memFree=26385872/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=522.14 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181637 0 0 0 52075 139 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 4425952 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 729168
[startup+582.3 s]
/proc/loadavg: 1.99 1.77 0.99 3/177 25358
/proc/meminfo: memFree=26383652/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=582.12 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181667 0 0 0 58060 152 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 4204592 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 729168
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 1.92 1.27 3/177 25362
/proc/meminfo: memFree=26342340/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=882.02 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 87982 220 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4209136 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 729168
[startup+942.3 s]
/proc/loadavg: 2.00 1.93 1.31 3/177 25362
/proc/meminfo: memFree=26342216/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=942 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 93967 233 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830592 7688057 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 729168
[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/177 25362
/proc/meminfo: memFree=26342836/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1001.99 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 99954 245 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4204266 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 729168
[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/177 25363
/proc/meminfo: memFree=26342960/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1061.97 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 105940 257 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 7704678 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 729168
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/177 25363
/proc/meminfo: memFree=26342964/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1121.97 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 111924 273 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 729168
[startup+1182.3 s]
/proc/loadavg: 2.07 1.98 1.46 3/177 25363
/proc/meminfo: memFree=26332176/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1181.96 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 117909 287 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4204292 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 729168
[startup+1242.3 s]
/proc/loadavg: 2.02 1.98 1.49 3/177 25363
/proc/meminfo: memFree=26332052/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1241.95 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 123896 299 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 4213787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 729168
[startup+1302.3 s]
/proc/loadavg: 2.01 1.98 1.52 3/177 25363
/proc/meminfo: memFree=26324984/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1301.94 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 129882 312 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831696 4209198 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 729168
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.55 3/177 25364
/proc/meminfo: memFree=26317916/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1361.93 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 135867 326 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4208857 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 729168
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.57 3/178 25367
/proc/meminfo: memFree=26309216/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1421.92 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 141850 342 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 729168
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.60 3/177 25367
/proc/meminfo: memFree=26293856/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1481.91 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 147833 358 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831696 4209220 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 729168
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.62 3/177 25367
/proc/meminfo: memFree=26290636/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1541.9 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 153820 370 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4209332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 729168
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.64 3/178 25368
/proc/meminfo: memFree=26285668/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1601.89 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 159805 384 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831928 4213380 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 729168
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/177 25369
/proc/meminfo: memFree=26279352/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1661.88 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 165789 399 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 729168
[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.68 3/177 25369
/proc/meminfo: memFree=26273276/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1721.87 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 171774 413 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 729168
[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.69 3/177 25408
/proc/meminfo: memFree=27199600/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1781.87 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 177761 426 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704830400 4209439 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 729168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 1.98 1.70 3/177 25408
/proc/meminfo: memFree=27199600/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1800.07 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 179576 431 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831696 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 729168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 1.98 1.70 3/177 25408
/proc/meminfo: memFree=27199600/32873648 swapFree=7112/7112
[pid=25352] ppid=25350 vsize=729168 CPUtime=1800.07 cores=1,3,5,7
/proc/25352/stat : 25352 (toysat) R 25350 25352 25232 0 -1 4202496 181723 0 0 0 179576 431 0 0 20 0 1 0 329284818 746668032 181535 33554432000 4194304 8989770 140735704832432 140735704831696 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/25352/statm: 182292 181535 471 1171 0 181069 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 729168
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1795.76
CPU system time (s): 4.31534
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 729168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.76
system time used= 4.31534
maximum resident set size= 726140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181723
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= 112
involuntary context switches= 2523
runsolver used 3.82142 second user time and 8.78266 second system time
The end