runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3479289-1307448387/watcher-3479289-1307448387 -o /tmp/evaluation-result-3479289-1307448387/solver-3479289-1307448387 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479289-1307448387.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.02 2.02 1.94 2/434 30951
/proc/meminfo: memFree=16198704/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=11784 CPUtime=0.01 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 406 0 0 0 1 0 0 0 25 0 1 0 856438300 12066816 360 33554432000 134512640 137138936 4292552896 18446744073709551615 136396439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 2946 360 219 642 0 2118 0
[startup+0.0658461 s]
/proc/loadavg: 2.02 2.02 1.94 2/434 30951
/proc/meminfo: memFree=16198704/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=14192 CPUtime=0.06 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 1336 0 0 0 6 0 0 0 25 0 1 0 856438300 14532608 1106 33554432000 134512640 137138936 4292552896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 3548 1106 184 642 0 2904 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14192
[startup+0.100852 s]
/proc/loadavg: 2.02 2.02 1.94 2/434 30951
/proc/meminfo: memFree=16198704/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=15644 CPUtime=0.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 1696 0 0 0 9 0 0 0 25 0 1 0 856438300 16019456 1466 33554432000 134512640 137138936 4292552896 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 3911 1469 185 642 0 3267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15644
[startup+0.30082 s]
/proc/loadavg: 2.02 2.02 1.94 2/434 30951
/proc/meminfo: memFree=16198704/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=21008 CPUtime=0.29 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 9966 0 0 0 28 1 0 0 25 0 1 0 856438300 21512192 2280 33554432000 134512640 137138936 4292552896 18446744073709551615 135443039 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 5252 2280 278 642 0 4608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21008
[startup+0.700747 s]
/proc/loadavg: 2.02 2.02 1.94 2/434 30951
/proc/meminfo: memFree=16198704/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=24404 CPUtime=0.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 11111 0 0 0 68 1 0 0 25 0 1 0 856438300 24989696 2977 33554432000 134512640 137138936 4292552896 18446744073709551615 135441031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 6101 2977 278 642 0 5457 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24404
[startup+1.50061 s]
/proc/loadavg: 2.02 2.02 1.94 3/435 30952
/proc/meminfo: memFree=16185504/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=26796 CPUtime=1.49 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 14526 0 0 0 148 1 0 0 25 0 1 0 856438300 27439104 3744 33554432000 134512640 137138936 4292552896 18446744073709551615 135433558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 6699 3744 279 642 0 6055 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26796
[startup+3.10034 s]
/proc/loadavg: 2.02 2.02 1.94 3/435 30952
/proc/meminfo: memFree=16179060/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=30296 CPUtime=3.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 18562 0 0 0 307 2 0 0 25 0 1 0 856438300 31023104 4502 33554432000 134512640 137138936 4292552896 18446744073709551615 135437324 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 7574 4502 279 642 0 6930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30296
[startup+6.30078 s]
/proc/loadavg: 2.02 2.02 1.94 3/435 30952
/proc/meminfo: memFree=16175056/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=36828 CPUtime=6.29 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 25360 0 0 0 627 2 0 0 25 0 1 0 856438300 37711872 5980 33554432000 134512640 137138936 4292552896 18446744073709551615 135437253 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 9207 5980 279 642 0 8563 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36828
[startup+12.7007 s]
/proc/loadavg: 2.01 2.02 1.94 3/435 30952
/proc/meminfo: memFree=16169112/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=53832 CPUtime=12.7 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 45710 0 0 0 1265 5 0 0 25 0 1 0 856438300 55123968 9051 33554432000 134512640 137138936 4292552896 18446744073709551615 135438372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 13458 9051 283 642 0 12814 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 53832
[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 1.94 3/435 30953
/proc/meminfo: memFree=16182500/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=29636 CPUtime=25.49 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 115481 0 0 0 2535 14 0 0 25 0 1 0 856438300 30347264 2967 33554432000 134512640 137138936 4292552896 18446744073709551615 135433558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 7409 2967 283 642 0 6765 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29636
[startup+51.101 s]
/proc/loadavg: 2.01 2.02 1.94 3/435 30953
/proc/meminfo: memFree=16178560/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=37576 CPUtime=51.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 485787 0 0 0 5058 51 0 0 25 0 1 0 856438300 38477824 5110 33554432000 134512640 137138936 4292552896 18446744073709551615 135433549 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 9394 5110 292 642 0 8750 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 37576
[startup+102.316 s]
/proc/loadavg: 2.10 2.04 1.95 3/435 30955
/proc/meminfo: memFree=16187600/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=23572 CPUtime=102.31 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 1145710 0 0 0 10105 126 0 0 25 0 1 0 856438300 24137728 2476 33554432000 134512640 137138936 4292552896 18446744073709551615 135434983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 5893 2476 292 642 0 5249 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23572
[startup+162.301 s]
/proc/loadavg: 2.03 2.03 1.95 3/435 30956
/proc/meminfo: memFree=16182756/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=27848 CPUtime=162.3 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 2009009 0 0 0 16016 214 0 0 25 0 1 0 856438300 28516352 3223 33554432000 134512640 137138936 4292552896 18446744073709551615 135404689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30951/statm: 6962 3223 292 642 0 6318 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27848
[startup+222.3 s]
/proc/loadavg: 2.45 2.15 1.99 3/435 31012
/proc/meminfo: memFree=16126568/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=30744 CPUtime=221.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 2947321 0 0 0 21849 320 0 0 25 0 1 0 856438300 31481856 4046 33554432000 134512640 137138936 4292552896 18446744073709551615 135433549 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 7686 4046 292 642 0 7042 0
Current children cumulated CPU time (s) 221.69
Current children cumulated vsize (KiB) 30744
[startup+282.301 s]
/proc/loadavg: 2.22 2.13 2.00 3/435 31013
/proc/meminfo: memFree=16099672/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=43764 CPUtime=281.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 3916619 0 0 0 27747 422 0 0 25 0 1 0 856438300 44814336 8116 33554432000 134512640 137138936 4292552896 18446744073709551615 136507191 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 11083 8121 292 642 0 10439 0
Current children cumulated CPU time (s) 281.69
Current children cumulated vsize (KiB) 43764
[startup+342.301 s]
/proc/loadavg: 2.08 2.11 2.00 3/435 31015
/proc/meminfo: memFree=16058816/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=74908 CPUtime=341.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 5206021 0 0 0 33612 557 0 0 25 0 1 0 856438300 76705792 15191 33554432000 134512640 137138936 4292552896 18446744073709551615 135433549 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 18727 15191 292 642 0 18083 0
Current children cumulated CPU time (s) 341.69
Current children cumulated vsize (KiB) 74908
[startup+402.3 s]
/proc/loadavg: 2.03 2.08 2.00 3/435 31017
/proc/meminfo: memFree=16021608/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=104476 CPUtime=401.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 6295376 0 0 0 39499 670 0 0 25 0 1 0 856438300 106983424 20752 33554432000 134512640 137138936 4292552896 18446744073709551615 135433153 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 26119 20752 292 642 0 25475 0
Current children cumulated CPU time (s) 401.69
Current children cumulated vsize (KiB) 104476
[startup+462.301 s]
/proc/loadavg: 2.01 2.07 2.00 3/435 31018
/proc/meminfo: memFree=16009680/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=106140 CPUtime=461.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 7300884 0 0 0 45385 784 0 0 25 0 1 0 856438300 108687360 23091 33554432000 134512640 137138936 4292552896 18446744073709551615 135432415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 26535 23091 292 642 0 25891 0
Current children cumulated CPU time (s) 461.69
Current children cumulated vsize (KiB) 106140
[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/435 31020
/proc/meminfo: memFree=15986744/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=118288 CPUtime=521.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 8262827 0 0 0 51279 890 0 0 25 0 1 0 856438300 121126912 27249 33554432000 134512640 137138936 4292552896 18446744073709551615 134750212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 29572 27249 292 642 0 28928 0
Current children cumulated CPU time (s) 521.69
Current children cumulated vsize (KiB) 118288
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/435 31021
/proc/meminfo: memFree=15924736/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=171592 CPUtime=581.7 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 9765439 0 0 0 57119 1051 0 0 25 0 1 0 856438300 175710208 40575 33554432000 134512640 137138936 4292552896 18446744073709551615 134750265 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 42898 40575 292 642 0 42254 0
Current children cumulated CPU time (s) 581.7
Current children cumulated vsize (KiB) 171592
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=15561028/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=487540 CPUtime=1121.7 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 20768953 0 0 0 109905 2265 0 0 25 0 1 0 856438300 499240960 118811 33554432000 134512640 137138936 4292552896 18446744073709551615 134734485 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 121885 118811 292 642 0 121241 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 487540
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 31037
/proc/meminfo: memFree=15491820/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=550980 CPUtime=1181.7 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 22256504 0 0 0 115725 2445 0 0 25 0 1 0 856438300 564203520 134678 33554432000 134512640 137138936 4292552896 18446744073709551615 134732328 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 137745 134678 292 642 0 137101 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 550980
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/435 31039
/proc/meminfo: memFree=15458956/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=573148 CPUtime=1241.7 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 23306920 0 0 0 121594 2576 0 0 25 0 1 0 856438300 586903552 140932 33554432000 134512640 137138936 4292552896 18446744073709551615 135783846 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 143287 140932 292 642 0 142643 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 573148
[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/435 31041
/proc/meminfo: memFree=15400664/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=624728 CPUtime=1301.72 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 24536572 0 0 0 127446 2726 0 0 25 0 1 0 856438300 639721472 153859 33554432000 134512640 137138936 4292552896 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 156182 153859 292 642 0 155538 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 624728
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 31042
/proc/meminfo: memFree=15343496/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=676992 CPUtime=1361.71 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 25768972 0 0 0 133293 2878 0 0 25 0 1 0 856438300 693239808 166925 33554432000 134512640 137138936 4292552896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 169248 166925 292 642 0 168604 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 676992
[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 31044
/proc/meminfo: memFree=15283220/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=742560 CPUtime=1421.72 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 27013340 0 0 0 139152 3020 0 0 25 0 1 0 856438300 760381440 180425 33554432000 134512640 137138936 4292552896 18446744073709551615 135434772 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 185640 180425 292 642 0 184996 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 742560
[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/435 31045
/proc/meminfo: memFree=15251956/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=756404 CPUtime=1481.7 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 28073706 0 0 0 145019 3151 0 0 25 0 1 0 856438300 774557696 186746 33554432000 134512640 137138936 4292552896 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 189101 186746 292 642 0 188457 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 756404
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/435 31047
/proc/meminfo: memFree=15197512/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=808788 CPUtime=1541.71 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 29243891 0 0 0 150879 3292 0 0 25 0 1 0 856438300 828198912 199081 33554432000 134512640 137138936 4292552896 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 202197 199081 292 642 0 201553 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 808788
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/435 31049
/proc/meminfo: memFree=15146168/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=855100 CPUtime=1601.71 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 30341253 0 0 0 156736 3435 0 0 25 0 1 0 856438300 875622400 210709 33554432000 134512640 137138936 4292552896 18446744073709551615 134730664 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 213775 210709 292 642 0 213131 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 855100
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 31050
/proc/meminfo: memFree=15094200/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=897304 CPUtime=1661.71 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 31413950 0 0 0 162601 3570 0 0 25 0 1 0 856438300 918839296 221971 33554432000 134512640 137138936 4292552896 18446744073709551615 135783815 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 224326 221971 292 642 0 223682 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 897304
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 31052
/proc/meminfo: memFree=15046068/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=942044 CPUtime=1721.72 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 32382374 0 0 0 168477 3695 0 0 25 0 1 0 856438300 964653056 232402 33554432000 134512640 137138936 4292552896 18446744073709551615 134730668 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 235511 232402 292 642 0 234867 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 942044
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31053
/proc/meminfo: memFree=15014924/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=965240 CPUtime=1781.71 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 33319744 0 0 0 174361 3810 0 0 25 0 1 0 856438300 988405760 238183 33554432000 134512640 137138936 4292552896 18446744073709551615 134720985 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 241310 238183 292 642 0 240666 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 965240
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31054
/proc/meminfo: memFree=15006616/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=968856 CPUtime=1791.32 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 33516398 0 0 0 175299 3833 0 0 25 0 1 0 856438300 992108544 239891 33554432000 134512640 137138936 4292552896 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 242214 239891 292 642 0 241570 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 968856
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31054
/proc/meminfo: memFree=15003144/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=971424 CPUtime=1794.53 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 33579268 0 0 0 175613 3840 0 0 25 0 1 0 856438300 994738176 240533 33554432000 134512640 137138936 4292552896 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 242856 240533 292 642 0 242212 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 971424
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31054
/proc/meminfo: memFree=15002152/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=972600 CPUtime=1796.11 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 33607515 0 0 0 175768 3843 0 0 25 0 1 0 856438300 995942400 240827 33554432000 134512640 137138936 4292552896 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 243150 240827 292 642 0 242506 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 972600
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31054
/proc/meminfo: memFree=15000788/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=973376 CPUtime=1796.91 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 33625818 0 0 0 175846 3845 0 0 25 0 1 0 856438300 996737024 241021 33554432000 134512640 137138936 4292552896 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 243344 241021 292 642 0 242700 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 973376
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31054
/proc/meminfo: memFree=15000788/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=974056 CPUtime=1797.71 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 33642073 0 0 0 175924 3847 0 0 25 0 1 0 856438300 997433344 241191 33554432000 134512640 137138936 4292552896 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 243514 241191 292 642 0 242870 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 974056
[startup+1798.52 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31054
/proc/meminfo: memFree=14999672/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=975252 CPUtime=1797.93 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202496 33645753 0 0 0 175945 3848 0 0 25 0 1 0 856438300 998658048 241364 33554432000 134512640 137138936 4292552896 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30951/statm: 243813 241400 292 642 0 243169 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 975252
[startup+1798.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 31054
/proc/meminfo: memFree=14999672/32951132 swapFree=67027736/67111528
[pid=30951] ppid=30949 vsize=0 CPUtime=1798.01 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 30670 0 -1 4202500 33647580 0 0 0 175952 3849 0 0 25 0 1 0 856438300 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/30951/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.05
CPU user time (s): 1759.52
CPU system time (s): 38.5291
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 987240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.52
system time used= 38.5291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33647580
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= 5
involuntary context switches= 1798
runsolver used 7.51586 second user time and 17.8513 second system time
The end