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-3707662-1338237894/watcher-3707662-1338237894 -o /tmp/evaluation-result-3707662-1338237894/solver-3707662-1338237894 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707662-1338237894.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.09 2.03 2.00 3/176 8021
/proc/meminfo: memFree=27762984/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=19940 CPUtime=0 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 289914895 20418560 330 33554432000 134512640 137138936 4291539264 4291537616 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 4985 330 178 642 0 4080 0
[startup+0.0515399 s]
/proc/loadavg: 2.09 2.03 2.00 3/176 8021
/proc/meminfo: memFree=27762984/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=14448 CPUtime=0.04 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 1107 0 0 0 4 0 0 0 20 0 1 0 289914895 14794752 1060 33554432000 134512640 137138936 4291539264 4291537972 136525312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 3612 1060 332 642 0 2707 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14448
[startup+0.100223 s]
/proc/loadavg: 2.09 2.03 2.00 3/176 8021
/proc/meminfo: memFree=27762984/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=16776 CPUtime=0.09 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 2003 0 0 0 9 0 0 0 20 0 1 0 289914895 17178624 1695 33554432000 134512640 137138936 4291539264 4291349468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 4194 1695 184 642 0 3550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16776
[startup+0.30018 s]
/proc/loadavg: 2.09 2.03 2.00 3/176 8021
/proc/meminfo: memFree=27762984/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=16776 CPUtime=0.29 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 2008 0 0 0 29 0 0 0 20 0 1 0 289914895 17178624 1700 33554432000 134512640 137138936 4291539264 4291349468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 4194 1700 184 642 0 3550 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16776
[startup+0.700177 s]
/proc/loadavg: 2.09 2.03 2.00 3/176 8021
/proc/meminfo: memFree=27762984/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=16776 CPUtime=0.69 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 2010 0 0 0 69 0 0 0 20 0 1 0 289914895 17178624 1702 33554432000 134512640 137138936 4291539264 4291349468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 4194 1702 184 642 0 3550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16776
[startup+1.50018 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 8022
/proc/meminfo: memFree=27751816/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=16776 CPUtime=1.49 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 2010 0 0 0 149 0 0 0 20 0 1 0 289914895 17178624 1702 33554432000 134512640 137138936 4291539264 4291349468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 4194 1702 184 642 0 3550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16776
[startup+3.10022 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 8022
/proc/meminfo: memFree=27751444/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=16776 CPUtime=3.09 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 2011 0 0 0 309 0 0 0 20 0 1 0 289914895 17178624 1703 33554432000 134512640 137138936 4291539264 4291349468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 4194 1703 184 642 0 3550 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16776
[startup+6.30018 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 8022
/proc/meminfo: memFree=27750964/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=16776 CPUtime=6.29 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 2013 0 0 0 629 0 0 0 20 0 1 0 289914895 17178624 1705 33554432000 134512640 137138936 4291539264 4291349468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 4194 1705 184 642 0 3550 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16776
[startup+12.7001 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 8022
/proc/meminfo: memFree=27732368/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=30040 CPUtime=12.68 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 5469 0 0 0 1260 8 0 0 20 0 1 0 289914895 30760960 5057 33554432000 134512640 137138936 4291539264 4291537760 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 7510 5057 192 642 0 6866 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30040
[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 8022
/proc/meminfo: memFree=27690848/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=53968 CPUtime=25.49 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 11455 0 0 0 2526 23 0 0 20 0 1 0 289914895 55263232 11043 33554432000 134512640 137138936 4291539264 4291538016 134575629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 13492 11043 192 642 0 12848 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53968
[startup+51.1003 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 8022
/proc/meminfo: memFree=27620280/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=90464 CPUtime=51.08 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 20579 0 0 0 5073 35 0 0 20 0 1 0 289914895 92635136 20167 33554432000 134512640 137138936 4291539264 4291538380 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 22616 20167 192 642 0 21972 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90464
[startup+102.306 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 8023
/proc/meminfo: memFree=27482264/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=163136 CPUtime=102.26 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 38797 0 0 0 10169 57 0 0 20 0 1 0 289914895 167051264 38367 33554432000 134512640 137138936 4291539264 4291537688 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 40784 38367 192 642 0 40140 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 163136
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 8023
/proc/meminfo: memFree=27325344/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=248160 CPUtime=162.21 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 60066 0 0 0 16145 76 0 0 20 0 1 0 289914895 254115840 59591 33554432000 134512640 137138936 4291539264 4291538192 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 62040 59591 192 642 0 61396 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 248160
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8023
/proc/meminfo: memFree=27188724/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=312480 CPUtime=222.16 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 76194 0 0 0 22119 97 0 0 20 0 1 0 289914895 319979520 75674 33554432000 134512640 137138936 4291539264 4291538192 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 78120 75674 192 642 0 77476 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 312480
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8023
/proc/meminfo: memFree=27089116/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=366152 CPUtime=282.11 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 89690 0 0 0 28092 119 0 0 20 0 1 0 289914895 374939648 89124 33554432000 134512640 137138936 4291539264 4291538380 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 91538 89124 192 642 0 90894 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 366152
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8026
/proc/meminfo: memFree=26971640/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=423912 CPUtime=342.09 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 104140 0 0 0 34076 133 0 0 20 0 1 0 289914895 434085888 104007 33554432000 134512640 137138936 4291539264 4291538192 134542805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 105978 104007 192 642 0 105334 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 423912
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8027
/proc/meminfo: memFree=26862544/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=467400 CPUtime=402.07 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 115025 0 0 0 40062 145 0 0 20 0 1 0 289914895 478617600 114892 33554432000 134512640 137138936 4291539264 4291537688 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 116850 114892 192 642 0 116206 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 467400
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8027
/proc/meminfo: memFree=26742540/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=540992 CPUtime=462.06 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 133418 0 0 0 46052 154 0 0 20 0 1 0 289914895 553975808 133285 33554432000 134512640 137138936 4291539264 4291538192 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 135248 133285 192 642 0 134604 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 540992
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8027
/proc/meminfo: memFree=26600340/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=635224 CPUtime=522.05 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 157017 0 0 0 52045 160 0 0 20 0 1 0 289914895 650469376 156823 33554432000 134512640 137138936 4291539264 4291537688 134606987 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 158806 156823 192 642 0 158162 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 635224
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8027
/proc/meminfo: memFree=26466696/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=722548 CPUtime=582.04 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 179076 0 0 0 58034 170 0 0 20 0 1 0 289914895 739889152 178687 33554432000 134512640 137138936 4291539264 4291537688 134606620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 180637 178687 192 642 0 179993 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 722548
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25689792/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1121.96 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262546 0 0 0 111960 236 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291537808 134607604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1036672
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8055
/proc/meminfo: memFree=25689796/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1181.96 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262546 0 0 0 117955 241 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291537688 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1036672
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8055
/proc/meminfo: memFree=25687884/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1241.93 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262571 0 0 0 123939 254 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291537688 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1036672
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8056
/proc/meminfo: memFree=25688544/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1301.9 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262606 0 0 0 129933 257 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291538192 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1036672
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8056
/proc/meminfo: memFree=25688944/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1361.85 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262638 0 0 0 135925 260 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291537808 134607571 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1036672
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8056
/proc/meminfo: memFree=25689592/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1421.83 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262667 0 0 0 141922 261 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291538192 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1036672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8056
/proc/meminfo: memFree=25689496/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1481.8 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262692 0 0 0 147918 262 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291538192 134542965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1036672
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8059
/proc/meminfo: memFree=25689920/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1541.77 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262725 0 0 0 153913 264 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291537760 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1036672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25690240/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1036672 CPUtime=1601.73 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 262760 0 0 0 159907 266 0 0 20 0 1 0 289914895 1061552128 257186 33554432000 134512640 137138936 4291539264 4291538380 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 259168 257186 192 642 0 258524 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1036672
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 8060
/proc/meminfo: memFree=25683712/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1661.71 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 165901 270 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291538192 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1044100
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8060
/proc/meminfo: memFree=25684828/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1721.7 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 171895 275 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291537872 134544592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1044100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1781.69 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 177890 279 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291538380 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1044100
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1791.3 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 178850 280 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291537688 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 1044100
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1794.5 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 179170 280 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291538192 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 1044100
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1796.1 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 179329 281 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291538192 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1044100
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1796.89 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 179408 281 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291537760 134618216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 1044100
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1797.69 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 179488 281 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291538160 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1044100
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=1044100 CPUtime=1797.9 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202496 264617 0 0 0 179509 281 0 0 20 0 1 0 289914895 1069158400 259043 33554432000 134512640 137138936 4291539264 4291538192 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 261025 259043 192 642 0 260381 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 1044100
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8060
/proc/meminfo: memFree=25684332/32873648 swapFree=7104/7104
[pid=8021] ppid=8019 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/8021/stat : 8021 (bsolo) R 8019 8021 7472 0 -1 4202500 264617 0 0 0 179518 282 0 0 20 0 1 0 289914895 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8021/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.6
CPU time (s): 1798.01
CPU user time (s): 1795.18
CPU system time (s): 2.82257
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1044100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.18
system time used= 2.82257
maximum resident set size= 1036172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264617
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= 404
involuntary context switches= 1834
runsolver used 2.82057 second user time and 7.13591 second system time
The end