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-3462997-1307175501/watcher-3462997-1307175501 -o /tmp/evaluation-result-3462997-1307175501/solver-3462997-1307175501 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462997-1307175501.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: 1.81 2.02 1.99 3/464 14873
/proc/meminfo: memFree=24107940/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 357 0 0 0 0 0 0 0 22 0 1 0 907780622 11186176 301 33554432000 134512640 137138936 4291441552 18446744073709551615 136525376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 2731 322 217 642 0 2087 0
[startup+0.021394 s]
/proc/loadavg: 1.81 2.02 1.99 3/464 14873
/proc/meminfo: memFree=24107940/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=12088 CPUtime=0.01 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 553 0 0 0 1 0 0 0 22 0 1 0 907780622 12378112 497 33554432000 134512640 137138936 4291441552 18446744073709551615 134720939 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3022 497 275 642 0 2378 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12088
[startup+0.100466 s]
/proc/loadavg: 1.81 2.02 1.99 3/464 14873
/proc/meminfo: memFree=24107940/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=12532 CPUtime=0.09 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 760 0 0 0 9 0 0 0 22 0 1 0 907780622 12832768 676 33554432000 134512640 137138936 4291441552 18446744073709551615 135445031 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3133 676 278 642 0 2489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12532
[startup+0.300426 s]
/proc/loadavg: 1.81 2.02 1.99 3/464 14873
/proc/meminfo: memFree=24107940/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=12908 CPUtime=0.29 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 1124 0 0 0 29 0 0 0 23 0 1 0 907780622 13217792 731 33554432000 134512640 137138936 4291441552 18446744073709551615 135445031 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3227 731 278 642 0 2583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12908
[startup+0.700348 s]
/proc/loadavg: 1.81 2.02 1.99 3/464 14873
/proc/meminfo: memFree=24107940/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=13264 CPUtime=0.69 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 2481 0 0 0 69 0 0 0 25 0 1 0 907780622 13582336 753 33554432000 134512640 137138936 4291441552 18446744073709551615 135457104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3316 753 287 642 0 2672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13264
[startup+1.50019 s]
/proc/loadavg: 1.81 2.02 1.99 3/470 14879
/proc/meminfo: memFree=24103580/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=12592 CPUtime=1.49 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 8047 0 0 0 149 0 0 0 25 0 1 0 907780622 12894208 531 33554432000 134512640 137138936 4291441552 18446744073709551615 135432448 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3148 531 287 642 0 2504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12592
[startup+3.10086 s]
/proc/loadavg: 1.81 2.02 1.99 3/470 14879
/proc/meminfo: memFree=24101980/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=13248 CPUtime=3.09 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 18767 0 0 0 308 1 0 0 25 0 1 0 907780622 13565952 537 33554432000 134512640 137138936 4291441552 18446744073709551615 135340208 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3312 537 287 642 0 2668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13248
[startup+6.3003 s]
/proc/loadavg: 1.82 2.02 1.99 3/470 14879
/proc/meminfo: memFree=24101380/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=13716 CPUtime=6.29 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 43008 0 0 0 624 5 0 0 25 0 1 0 907780622 14045184 515 33554432000 134512640 137138936 4291441552 18446744073709551615 134848857 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3429 515 292 642 0 2785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13716
[startup+12.7011 s]
/proc/loadavg: 1.84 2.02 1.99 3/470 14880
/proc/meminfo: memFree=24095768/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=13024 CPUtime=12.7 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 94060 0 0 0 1258 12 0 0 25 0 1 0 907780622 13336576 533 33554432000 134512640 137138936 4291441552 18446744073709551615 135409874 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 3256 533 292 642 0 2612 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 13024
[startup+25.5007 s]
/proc/loadavg: 2.11 2.07 2.00 3/470 14880
/proc/meminfo: memFree=24075176/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=18048 CPUtime=25.49 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 236036 0 0 0 2520 29 0 0 25 0 1 0 907780622 18481152 1587 33554432000 134512640 137138936 4291441552 18446744073709551615 135344674 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 4512 1587 292 642 0 3868 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18048
[startup+51.101 s]
/proc/loadavg: 2.07 2.06 2.00 3/470 14881
/proc/meminfo: memFree=24005292/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=47180 CPUtime=51.09 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 797008 0 0 0 5007 102 0 0 25 0 1 0 907780622 48312320 8840 33554432000 134512640 137138936 4291441552 18446744073709551615 135441009 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 11795 8843 292 642 0 11151 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 47180
[startup+102.317 s]
/proc/loadavg: 2.09 2.07 2.00 3/470 14882
/proc/meminfo: memFree=23957164/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=69108 CPUtime=102.31 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 1543547 0 0 0 10008 223 0 0 25 0 1 0 907780622 70766592 14953 33554432000 134512640 137138936 4291441552 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 17277 14953 292 642 0 16633 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 69108
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/470 14884
/proc/meminfo: memFree=23947308/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=73536 CPUtime=162.3 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 2029998 0 0 0 15914 316 0 0 25 0 1 0 907780622 75300864 15368 33554432000 134512640 137138936 4291441552 18446744073709551615 135456711 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 18384 15368 292 642 0 17740 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 73536
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/470 14885
/proc/meminfo: memFree=23945880/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=71936 CPUtime=222.3 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 2524334 0 0 0 21798 432 0 0 25 0 1 0 907780622 73662464 15249 33554432000 134512640 137138936 4291441552 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 17984 15249 292 642 0 17340 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 71936
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 14887
/proc/meminfo: memFree=23929584/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=88852 CPUtime=282.3 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 3371387 0 0 0 27620 610 0 0 25 0 1 0 907780622 90984448 19374 33554432000 134512640 137138936 4291441552 18446744073709551615 135471490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 22213 19374 292 642 0 21569 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 88852
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 14888
/proc/meminfo: memFree=23901024/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=115516 CPUtime=342.3 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 4268497 0 0 0 33427 803 0 0 25 0 1 0 907780622 118288384 26555 33554432000 134512640 137138936 4291441552 18446744073709551615 135783792 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 28879 26555 292 642 0 28235 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 115516
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 14890
/proc/meminfo: memFree=23878528/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=120692 CPUtime=402.3 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 4859560 0 0 0 39297 933 0 0 25 0 1 0 907780622 123588608 27187 33554432000 134512640 137138936 4291441552 18446744073709551615 134768880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 30173 27187 292 642 0 29529 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 120692
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 14892
/proc/meminfo: memFree=23878356/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=118108 CPUtime=462.31 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 4969898 0 0 0 45272 959 0 0 25 0 1 0 907780622 120942592 27109 33554432000 134512640 137138936 4291441552 18446744073709551615 134603268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 29527 27109 292 642 0 28883 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 118108
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 14893
/proc/meminfo: memFree=23875084/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=118108 CPUtime=522.31 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 4969898 0 0 0 51270 961 0 0 25 0 1 0 907780622 120942592 27109 33554432000 134512640 137138936 4291441552 18446744073709551615 135466088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 29527 27109 292 642 0 28883 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 118108
[startup+582.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/470 14895
/proc/meminfo: memFree=23868724/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=118108 CPUtime=582.31 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 4969898 0 0 0 57268 963 0 0 25 0 1 0 907780622 120942592 27109 33554432000 134512640 137138936 4291441552 18446744073709551615 135437301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 29527 27109 292 642 0 28883 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 118108
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=23805268/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=151828 CPUtime=1062.32 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 9282405 0 0 0 104275 1957 0 0 25 0 1 0 907780622 155471872 35633 33554432000 134512640 137138936 4291441552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 37957 35633 292 642 0 37313 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 151828
[startup+1122.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/470 14909
/proc/meminfo: memFree=23803360/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=153724 CPUtime=1122.32 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 9877256 0 0 0 110137 2095 0 0 25 0 1 0 907780622 157413376 36107 33554432000 134512640 137138936 4291441552 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 38431 36107 292 642 0 37787 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 153724
[startup+1182.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/470 14911
/proc/meminfo: memFree=23802208/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=153720 CPUtime=1182.33 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 10570556 0 0 0 115969 2264 0 0 25 0 1 0 907780622 157409280 36106 33554432000 134512640 137138936 4291441552 18446744073709551615 134544914 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 38430 36106 292 642 0 37786 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 153720
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/470 14914
/proc/meminfo: memFree=23801064/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=153716 CPUtime=1242.34 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 11134170 0 0 0 121823 2411 0 0 25 0 1 0 907780622 157405184 36105 33554432000 134512640 137138936 4291441552 18446744073709551615 134750997 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 38429 36105 292 642 0 37785 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 153716
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 14917
/proc/meminfo: memFree=23801264/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=153700 CPUtime=1302.34 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 11712111 0 0 0 127668 2566 0 0 25 0 1 0 907780622 157388800 36101 33554432000 134512640 137138936 4291441552 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 38425 36101 292 642 0 37781 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 153700
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 14919
/proc/meminfo: memFree=23801240/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=153696 CPUtime=1362.33 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 12287899 0 0 0 133512 2721 0 0 25 0 1 0 907780622 157384704 36100 33554432000 134512640 137138936 4291441552 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 38424 36100 292 642 0 37780 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 153696
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 14920
/proc/meminfo: memFree=23801188/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=155860 CPUtime=1422.35 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 12780625 0 0 0 139376 2859 0 0 25 0 1 0 907780622 159600640 36108 33554432000 134512640 137138936 4291441552 18446744073709551615 135443773 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 38965 36108 292 642 0 38321 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 155860
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 14922
/proc/meminfo: memFree=23794448/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=160668 CPUtime=1482.35 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 13457339 0 0 0 145216 3019 0 0 25 0 1 0 907780622 164524032 37843 33554432000 134512640 137138936 4291441552 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40167 37843 292 642 0 39523 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 160668
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 14923
/proc/meminfo: memFree=23793784/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=163560 CPUtime=1542.34 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 14133626 0 0 0 151050 3184 0 0 25 0 1 0 907780622 167485440 37969 33554432000 134512640 137138936 4291441552 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40890 37969 292 642 0 40246 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 163560
[startup+1602.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/470 14925
/proc/meminfo: memFree=23793984/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=161128 CPUtime=1602.35 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 14748810 0 0 0 156893 3342 0 0 25 0 1 0 907780622 164995072 37958 33554432000 134512640 137138936 4291441552 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40282 37958 292 642 0 39638 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 161128
[startup+1662.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/470 14927
/proc/meminfo: memFree=23783020/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=161128 CPUtime=1662.35 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 15411916 0 0 0 162726 3509 0 0 25 0 1 0 907780622 164995072 37958 33554432000 134512640 137138936 4291441552 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40282 37958 292 642 0 39638 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 161128
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/470 14928
/proc/meminfo: memFree=23782964/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=161128 CPUtime=1722.35 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16054694 0 0 0 168570 3665 0 0 25 0 1 0 907780622 164995072 37958 33554432000 134512640 137138936 4291441552 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40282 37958 292 642 0 39638 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 161128
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/470 14930
/proc/meminfo: memFree=23780052/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=164364 CPUtime=1782.36 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16740698 0 0 0 174400 3836 0 0 25 0 1 0 907780622 168308736 38353 33554432000 134512640 137138936 4291441552 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 41091 38353 292 642 0 40447 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 164364
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.04 2.01 3/470 14930
/proc/meminfo: memFree=23779804/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=164384 CPUtime=1785.55 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16775296 0 0 0 174711 3844 0 0 25 0 1 0 907780622 168329216 38352 33554432000 134512640 137138936 4291441552 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 41096 38353 292 642 0 40452 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 164384
[startup+1791.92 s]
/proc/loadavg: 2.03 2.04 2.01 3/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=162684 CPUtime=1791.97 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16833505 0 0 0 175338 3859 0 0 25 0 1 0 907780622 166588416 38347 33554432000 134512640 137138936 4291441552 18446744073709551615 134750204 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40671 38347 292 642 0 40027 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 162684
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=165096 CPUtime=1795.16 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16870798 0 0 0 175648 3868 0 0 25 0 1 0 907780622 169058304 38356 33554432000 134512640 137138936 4291441552 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 41274 38356 292 642 0 40630 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 165096
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=162684 CPUtime=1796.76 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16889575 0 0 0 175804 3872 0 0 25 0 1 0 907780622 166588416 38347 33554432000 134512640 137138936 4291441552 18446744073709551615 134542223 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40671 38347 292 642 0 40027 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 162684
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=165104 CPUtime=1797.55 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16898497 0 0 0 175881 3874 0 0 25 0 1 0 907780622 169066496 38356 33554432000 134512640 137138936 4291441552 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 41276 38357 292 642 0 40632 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 165104
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14873] ppid=14871 vsize=165108 CPUtime=1797.95 cores=0,2,4,6
/proc/14873/stat : 14873 (bsolo) R 14871 14873 13385 0 -1 4202496 16903384 0 0 0 175920 3875 0 0 25 0 1 0 907780622 169070592 38357 33554432000 134512640 137138936 4291441552 18446744073709551615 134732330 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14873/statm: 40671 38347 292 642 0 40027 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 165108
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1759.25
CPU system time (s): 38.7621
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 165188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.25
system time used= 38.7621
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16903892
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= 6
involuntary context switches= 4251
runsolver used 8.70968 second user time and 18.9951 second system time
The end