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-3462830-1307183676/watcher-3462830-1307183676 -o /tmp/evaluation-result-3462830-1307183676/solver-3462830-1307183676 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462830-1307183676.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.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11336 CPUtime=0 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 447 0 0 0 0 0 0 0 25 0 1 0 908598275 11608064 397 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2834 397 185 642 0 2190 0
[startup+0.0192261 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11336 CPUtime=0.01 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 447 0 0 0 1 0 0 0 25 0 1 0 908598275 11608064 397 33554432000 134512640 137138936 4291680544 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2834 397 185 642 0 2190 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11336
[startup+0.100204 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11336 CPUtime=0.09 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 447 0 0 0 9 0 0 0 25 0 1 0 908598275 11608064 397 33554432000 134512640 137138936 4291680544 18446744073709551615 134566282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2834 397 185 642 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336
[startup+0.300219 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=11720 CPUtime=0.29 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 533 0 0 0 29 0 0 0 25 0 1 0 908598275 12001280 483 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 2930 483 192 642 0 2286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11720
[startup+0.700187 s]
/proc/loadavg: 2.13 2.05 2.01 2/483 25598
/proc/meminfo: memFree=24603852/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=13704 CPUtime=0.69 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 1036 0 0 0 69 0 0 0 25 0 1 0 908598275 14032896 986 33554432000 134512640 137138936 4291680544 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 3426 986 192 642 0 2782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13704
[startup+1.501 s]
/proc/loadavg: 2.13 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24598760/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=16756 CPUtime=1.49 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 1814 0 0 0 148 1 0 0 25 0 1 0 908598275 17158144 1764 33554432000 134512640 137138936 4291680544 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 4189 1764 192 642 0 3545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16756
[startup+3.10077 s]
/proc/loadavg: 2.13 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24593920/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=21448 CPUtime=3.09 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 2979 0 0 0 308 1 0 0 25 0 1 0 908598275 21962752 2929 33554432000 134512640 137138936 4291680544 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 5362 2929 192 642 0 4718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21448
[startup+6.30007 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24585860/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=28328 CPUtime=6.29 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 4708 0 0 0 627 2 0 0 25 0 1 0 908598275 29007872 4658 33554432000 134512640 137138936 4291680544 18446744073709551615 136504025 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 7082 4658 192 642 0 6438 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28328
[startup+12.7009 s]
/proc/loadavg: 2.11 2.05 2.01 3/484 25599
/proc/meminfo: memFree=24574436/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=38036 CPUtime=12.69 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 7127 0 0 0 1266 3 0 0 25 0 1 0 908598275 38948864 7077 33554432000 134512640 137138936 4291680544 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 9509 7077 192 642 0 8865 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38036
[startup+25.5007 s]
/proc/loadavg: 2.08 2.04 2.01 3/484 25600
/proc/meminfo: memFree=24571572/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=40452 CPUtime=25.49 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 7760 0 0 0 2545 4 0 0 25 0 1 0 908598275 41422848 7674 33554432000 134512640 137138936 4291680544 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 10113 7674 192 642 0 9469 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40452
[startup+51.101 s]
/proc/loadavg: 2.17 2.07 2.02 3/484 25600
/proc/meminfo: memFree=24560308/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=47924 CPUtime=51.1 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 9664 0 0 0 5101 9 0 0 25 0 1 0 908598275 49074176 9535 33554432000 134512640 137138936 4291680544 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 11981 9535 192 642 0 11337 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47924
[startup+102.319 s]
/proc/loadavg: 2.13 2.07 2.02 3/484 25602
/proc/meminfo: memFree=24547136/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=56340 CPUtime=102.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 11875 0 0 0 10215 16 0 0 25 0 1 0 908598275 57692160 11647 33554432000 134512640 137138936 4291680544 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 14085 11647 192 642 0 13441 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 56340
[startup+162.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/484 25603
/proc/meminfo: memFree=24543512/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=59832 CPUtime=162.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12808 0 0 0 16207 23 0 0 25 0 1 0 908598275 61267968 12523 33554432000 134512640 137138936 4291680544 18446744073709551615 134542184 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 14958 12523 192 642 0 14314 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 59832
[startup+222.301 s]
/proc/loadavg: 2.10 2.07 2.02 3/484 25605
/proc/meminfo: memFree=24543840/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=222.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 22203 27 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 60048
[startup+282.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/484 25609
/proc/meminfo: memFree=24542408/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=282.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 28199 31 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 60048
[startup+342.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/484 25611
/proc/meminfo: memFree=24542260/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=342.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 34193 37 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 60048
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/484 25613
/proc/meminfo: memFree=24542344/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=402.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 40187 44 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 60048
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 25614
/proc/meminfo: memFree=24541932/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=60048 CPUtime=462.3 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 12843 0 0 0 46180 50 0 0 25 0 1 0 908598275 61489152 12558 33554432000 134512640 137138936 4291680544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15012 12558 192 642 0 14368 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 60048
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25616
/proc/meminfo: memFree=24538028/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=63632 CPUtime=522.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 13801 0 0 0 52175 56 0 0 25 0 1 0 908598275 65159168 13454 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15908 13454 192 642 0 15264 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 63632
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25617
/proc/meminfo: memFree=24537616/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=63632 CPUtime=582.31 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 13801 0 0 0 58169 62 0 0 25 0 1 0 908598275 65159168 13454 33554432000 134512640 137138936 4291680544 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 15908 13454 192 642 0 15264 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 63632
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24528032/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=74696 CPUtime=1062.32 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 16710 0 0 0 106128 104 0 0 25 0 1 0 908598275 76488704 16220 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 18674 16220 192 642 0 18030 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 74696
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25632
/proc/meminfo: memFree=24526880/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=74696 CPUtime=1122.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 16710 0 0 0 112124 109 0 0 25 0 1 0 908598275 76488704 16220 33554432000 134512640 137138936 4291680544 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 18674 16220 192 642 0 18030 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 74696
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 25660
/proc/meminfo: memFree=24683844/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=75372 CPUtime=1182.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 16879 0 0 0 118118 115 0 0 25 0 1 0 908598275 77180928 16389 33554432000 134512640 137138936 4291680544 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 18843 16389 192 642 0 18199 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 75372
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25662
/proc/meminfo: memFree=24659528/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81004 CPUtime=1242.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18389 0 0 0 124114 119 0 0 25 0 1 0 908598275 82948096 17817 33554432000 134512640 137138936 4291680544 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20251 17817 192 642 0 19607 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 81004
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 25664
/proc/meminfo: memFree=24649336/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81004 CPUtime=1302.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18389 0 0 0 130112 122 0 0 25 0 1 0 908598275 82948096 17817 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20251 17817 192 642 0 19607 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 81004
[startup+1362.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/484 25665
/proc/meminfo: memFree=24641856/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1362.33 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18469 0 0 0 136106 127 0 0 25 0 1 0 908598275 83357696 17897 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17897 192 642 0 19707 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 81404
[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.01 5/484 25748
/proc/meminfo: memFree=24688008/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1422.35 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18469 0 0 0 142103 132 0 0 25 0 1 0 908598275 83357696 17897 33554432000 134512640 137138936 4291680544 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17897 192 642 0 19707 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 81404
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 25776
/proc/meminfo: memFree=24650756/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1482.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18493 0 0 0 148097 137 0 0 25 0 1 0 908598275 83357696 17921 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17921 192 642 0 19707 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 81404
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/484 25778
/proc/meminfo: memFree=24643292/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=81404 CPUtime=1542.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 18493 0 0 0 154092 142 0 0 25 0 1 0 908598275 83357696 17921 33554432000 134512640 137138936 4291680544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20351 17921 192 642 0 19707 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 81404
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.00 4/484 25789
/proc/meminfo: memFree=24637248/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1602.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 160088 146 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 83636
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 25790
/proc/meminfo: memFree=24632748/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1662.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 166083 151 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 83636
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 25792
/proc/meminfo: memFree=24630224/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1722.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 172080 154 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 83636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25793
/proc/meminfo: memFree=24629216/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1782.34 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 178075 159 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 83636
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/481 25797
/proc/meminfo: memFree=24709084/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1785.54 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 178395 159 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 83636
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24699560/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1791.96 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179036 160 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 83636
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24698568/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1795.15 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179355 160 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 83636
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24698692/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1796.74 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179514 160 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 83636
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24697464/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1797.55 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179594 161 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 83636
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 25821
/proc/meminfo: memFree=24697464/32950928 swapFree=61542356/67111528
[pid=25598] ppid=25596 vsize=83636 CPUtime=1797.95 cores=0,2,4,6
/proc/25598/stat : 25598 (bsolo) R 25596 25598 22562 0 -1 4202496 19027 0 0 0 179634 161 0 0 25 0 1 0 908598275 85643264 18455 33554432000 134512640 137138936 4291680544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25598/statm: 20909 18455 192 642 0 20265 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 83636
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1796.39
CPU system time (s): 1.61475
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 83636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.39
system time used= 1.61475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19028
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= 4
involuntary context switches= 2794
runsolver used 8.60169 second user time and 19.1971 second system time
The end