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-3479219-1307446800/watcher-3479219-1307446800 -o /tmp/evaluation-result-3479219-1307446800/solver-3479219-1307446800 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479219-1307446800.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.07 2.02 2.00 2/517 11765
/proc/meminfo: memFree=20627148/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=11640 CPUtime=0 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 386 0 0 0 0 0 0 0 24 0 1 0 856276647 11919360 340 33554432000 134512640 137138936 4290951520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 2910 341 204 642 0 2121 0
[startup+0.065104 s]
/proc/loadavg: 2.07 2.02 2.00 2/517 11765
/proc/meminfo: memFree=20627148/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=13700 CPUtime=0.06 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 1153 0 0 0 6 0 0 0 24 0 1 0 856276647 14028800 962 33554432000 134512640 137138936 4290951520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 3425 962 185 642 0 2781 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13700
[startup+0.101101 s]
/proc/loadavg: 2.07 2.02 2.00 2/517 11765
/proc/meminfo: memFree=20627148/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=13700 CPUtime=0.09 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 1153 0 0 0 9 0 0 0 24 0 1 0 856276647 14028800 962 33554432000 134512640 137138936 4290951520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 3425 962 185 642 0 2781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13700
[startup+0.301055 s]
/proc/loadavg: 2.07 2.02 2.00 2/517 11765
/proc/meminfo: memFree=20627148/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=13700 CPUtime=0.29 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 1153 0 0 0 29 0 0 0 25 0 1 0 856276647 14028800 962 33554432000 134512640 137138936 4290951520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 3425 962 185 642 0 2781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13700
[startup+0.700977 s]
/proc/loadavg: 2.07 2.02 2.00 2/517 11765
/proc/meminfo: memFree=20627148/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=13700 CPUtime=0.69 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 1153 0 0 0 69 0 0 0 25 0 1 0 856276647 14028800 962 33554432000 134512640 137138936 4290951520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 3425 962 185 642 0 2781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13700
[startup+1.50082 s]
/proc/loadavg: 2.07 2.02 2.00 3/518 11767
/proc/meminfo: memFree=20619328/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=30208 CPUtime=1.49 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 19981 0 0 0 148 1 0 0 25 0 1 0 856276647 30932992 2890 33554432000 134512640 137138936 4290951520 18446744073709551615 134721078 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7552 2890 278 642 0 6908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30208
[startup+3.1005 s]
/proc/loadavg: 2.07 2.02 2.00 3/518 11767
/proc/meminfo: memFree=20616352/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=28404 CPUtime=3.09 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 113427 0 0 0 299 10 0 0 25 0 1 0 856276647 29085696 2115 33554432000 134512640 137138936 4290951520 18446744073709551615 135457626 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7101 2115 282 642 0 6457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28404
[startup+6.30086 s]
/proc/loadavg: 2.07 2.02 2.00 3/518 11767
/proc/meminfo: memFree=20613172/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=15120 CPUtime=6.29 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 328262 0 0 0 599 30 0 0 25 0 1 0 856276647 15482880 1445 33554432000 134512640 137138936 4290951520 18446744073709551615 134914478 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 3780 1445 282 642 0 3136 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15120
[startup+12.7006 s]
/proc/loadavg: 2.06 2.02 2.00 3/518 11767
/proc/meminfo: memFree=20607492/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=14936 CPUtime=12.69 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 680297 0 0 0 1203 66 0 0 25 0 1 0 856276647 15294464 1402 33554432000 134512640 137138936 4290951520 18446744073709551615 134745061 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 3734 1402 283 642 0 3090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14936
[startup+25.501 s]
/proc/loadavg: 2.05 2.01 2.00 3/518 11767
/proc/meminfo: memFree=20599404/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=28548 CPUtime=25.5 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 1259524 0 0 0 2424 126 0 0 25 0 1 0 856276647 29233152 2421 33554432000 134512640 137138936 4290951520 18446744073709551615 135466058 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7137 2421 287 642 0 6493 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 28548
[startup+51.1009 s]
/proc/loadavg: 2.03 2.01 2.00 3/518 11768
/proc/meminfo: memFree=20594492/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=25180 CPUtime=51.1 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 1655272 0 0 0 4941 169 0 0 25 0 1 0 856276647 25784320 2169 33554432000 134512640 137138936 4290951520 18446744073709551615 135388588 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 6295 2169 288 642 0 5651 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 25180
[startup+102.32 s]
/proc/loadavg: 2.01 2.01 2.00 3/518 11769
/proc/meminfo: memFree=20587900/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=28264 CPUtime=102.31 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 2284361 0 0 0 9995 236 0 0 25 0 1 0 856276647 28942336 2321 33554432000 134512640 137138936 4290951520 18446744073709551615 135070983 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7066 2321 288 642 0 6422 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28264
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 11771
/proc/meminfo: memFree=20558724/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=27208 CPUtime=162.3 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 2948505 0 0 0 15922 308 0 0 25 0 1 0 856276647 27860992 2495 33554432000 134512640 137138936 4290951520 18446744073709551615 135070947 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 6802 2495 288 642 0 6158 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27208
[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11772
/proc/meminfo: memFree=20543804/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=29212 CPUtime=222.31 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 3656029 0 0 0 21849 382 0 0 25 0 1 0 856276647 29913088 2690 33554432000 134512640 137138936 4290951520 18446744073709551615 135443716 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7303 2690 288 642 0 6659 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 29212
[startup+282.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/518 11774
/proc/meminfo: memFree=20531636/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=29076 CPUtime=282.31 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 4469698 0 0 0 27759 472 0 0 25 0 1 0 856276647 29773824 2707 33554432000 134512640 137138936 4290951520 18446744073709551615 135459109 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7269 2707 288 642 0 6625 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 29076
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 11776
/proc/meminfo: memFree=20519576/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=29344 CPUtime=342.31 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 5214119 0 0 0 33677 554 0 0 25 0 1 0 856276647 30048256 2769 33554432000 134512640 137138936 4290951520 18446744073709551615 135081123 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7336 2771 288 642 0 6692 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 29344
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11777
/proc/meminfo: memFree=20475776/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=30104 CPUtime=402.31 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 6024636 0 0 0 39591 640 0 0 25 0 1 0 856276647 30826496 2705 33554432000 134512640 137138936 4290951520 18446744073709551615 135082958 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7526 2705 288 642 0 6882 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 30104
[startup+462.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/518 11779
/proc/meminfo: memFree=20405068/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=31712 CPUtime=462.31 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 6684107 0 0 0 45517 714 0 0 25 0 1 0 856276647 32473088 2856 33554432000 134512640 137138936 4290951520 18446744073709551615 135473167 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7928 2856 288 642 0 7284 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 31712
[startup+522.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 11780
/proc/meminfo: memFree=20376532/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=29672 CPUtime=522.32 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 7635462 0 0 0 51425 807 0 0 25 0 1 0 856276647 30384128 2890 33554432000 134512640 137138936 4290951520 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7418 2890 288 642 0 6774 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 29672
[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 11782
/proc/meminfo: memFree=20373776/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=29748 CPUtime=582.32 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 8574589 0 0 0 57327 905 0 0 25 0 1 0 856276647 30461952 2935 33554432000 134512640 137138936 4290951520 18446744073709551615 135443849 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7437 2935 288 642 0 6793 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 29748
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=21337960/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=33204 CPUtime=1062.34 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 15325564 0 0 0 104623 1611 0 0 25 0 1 0 856276647 34000896 3949 33554432000 134512640 137138936 4290951520 18446744073709551615 135470054 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8301 3949 288 642 0 7657 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 33204
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 11823
/proc/meminfo: memFree=21337808/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=32776 CPUtime=1122.34 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 16111014 0 0 0 110540 1694 0 0 25 0 1 0 856276647 33562624 3948 33554432000 134512640 137138936 4290951520 18446744073709551615 135457398 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8194 3948 288 642 0 7550 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 32776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 11825
/proc/meminfo: memFree=21337276/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=33656 CPUtime=1182.35 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 16796208 0 0 0 116465 1770 0 0 25 0 1 0 856276647 34463744 4022 33554432000 134512640 137138936 4290951520 18446744073709551615 135457906 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8414 4022 288 642 0 7770 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 33656
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/518 11827
/proc/meminfo: memFree=21337508/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=32520 CPUtime=1242.35 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 17600833 0 0 0 122377 1858 0 0 25 0 1 0 856276647 33300480 3747 33554432000 134512640 137138936 4290951520 18446744073709551615 134720968 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8130 3747 288 642 0 7486 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 32520
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/518 11837
/proc/meminfo: memFree=21338160/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=33168 CPUtime=1302.36 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 18274729 0 0 0 128306 1930 0 0 25 0 1 0 856276647 33964032 3852 33554432000 134512640 137138936 4290951520 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8292 3852 288 642 0 7648 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 33168
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 11839
/proc/meminfo: memFree=21336780/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=33496 CPUtime=1362.35 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 18964803 0 0 0 134230 2005 0 0 25 0 1 0 856276647 34299904 3948 33554432000 134512640 137138936 4290951520 18446744073709551615 135082954 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8374 3948 288 642 0 7730 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 33496
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11840
/proc/meminfo: memFree=21334880/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=34452 CPUtime=1422.38 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 19773222 0 0 0 140150 2088 0 0 25 0 1 0 856276647 35278848 3978 33554432000 134512640 137138936 4290951520 18446744073709551615 135083056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8613 3978 288 642 0 7969 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 34452
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 11845
/proc/meminfo: memFree=21334944/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=32876 CPUtime=1482.36 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 20701365 0 0 0 146050 2186 0 0 25 0 1 0 856276647 33665024 3938 33554432000 134512640 137138936 4290951520 18446744073709551615 135457396 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8219 3938 288 642 0 7575 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 32876
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 11847
/proc/meminfo: memFree=21336720/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=33580 CPUtime=1542.37 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 21991552 0 0 0 151922 2315 0 0 25 0 1 0 856276647 34385920 4165 33554432000 134512640 137138936 4290951520 18446744073709551615 135081122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8395 4165 288 642 0 7751 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 33580
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 11848
/proc/meminfo: memFree=21333968/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=31804 CPUtime=1602.37 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 23040159 0 0 0 157806 2431 0 0 25 0 1 0 856276647 32567296 4325 33554432000 134512640 137138936 4290951520 18446744073709551615 134713063 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 7951 4332 288 642 0 7307 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 31804
[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/518 11850
/proc/meminfo: memFree=21333428/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=35732 CPUtime=1662.37 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 23991184 0 0 0 163705 2532 0 0 25 0 1 0 856276647 36589568 4650 33554432000 134512640 137138936 4290951520 18446744073709551615 135466100 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8933 4650 288 642 0 8289 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 35732
[startup+1722.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/518 11851
/proc/meminfo: memFree=21334152/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=35520 CPUtime=1722.37 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 24918870 0 0 0 169608 2629 0 0 25 0 1 0 856276647 36372480 4555 33554432000 134512640 137138936 4290951520 18446744073709551615 135070990 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8880 4555 288 642 0 8236 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 35520
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/518 11853
/proc/meminfo: memFree=21332004/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=35084 CPUtime=1782.37 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 25693744 0 0 0 175527 2710 0 0 25 0 1 0 856276647 35926016 4535 33554432000 134512640 137138936 4290951520 18446744073709551615 135080917 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8771 4535 288 642 0 8127 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 35084
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.04 2.01 3/518 11853
/proc/meminfo: memFree=21336464/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=35112 CPUtime=1785.57 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 25732733 0 0 0 175843 2714 0 0 25 0 1 0 856276647 35954688 4617 33554432000 134512640 137138936 4290951520 18446744073709551615 135469995 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8778 4617 288 642 0 8134 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 35112
[startup+1791.92 s]
/proc/loadavg: 2.05 2.04 2.01 3/518 11853
/proc/meminfo: memFree=21334848/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=35044 CPUtime=1791.99 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 25819921 0 0 0 176476 2723 0 0 25 0 1 0 856276647 35885056 4539 33554432000 134512640 137138936 4290951520 18446744073709551615 134720968 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8761 4539 288 642 0 8117 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 35044
[startup+1795.1 s]
/proc/loadavg: 2.05 2.04 2.01 3/518 11853
/proc/meminfo: memFree=21334488/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=35324 CPUtime=1795.18 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 25857891 0 0 0 176791 2727 0 0 25 0 1 0 856276647 36171776 4551 33554432000 134512640 137138936 4290951520 18446744073709551615 135444639 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8831 4551 288 642 0 8187 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 35324
[startup+1796.7 s]
/proc/loadavg: 2.05 2.04 2.01 3/518 11853
/proc/meminfo: memFree=21334600/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=32304 CPUtime=1796.77 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 25888597 0 0 0 176947 2730 0 0 25 0 1 0 856276647 33079296 4434 33554432000 134512640 137138936 4290951520 18446744073709551615 135387764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8076 4449 288 642 0 7432 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 32304
[startup+1797.5 s]
/proc/loadavg: 2.05 2.04 2.01 3/518 11853
/proc/meminfo: memFree=21334352/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=35016 CPUtime=1797.57 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 25902424 0 0 0 177025 2732 0 0 25 0 1 0 856276647 35856384 4370 33554432000 134512640 137138936 4290951520 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 8754 4370 288 642 0 8110 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 35016
[startup+1797.9 s]
/proc/loadavg: 2.05 2.04 2.01 3/518 11853
/proc/meminfo: memFree=21334352/32950928 swapFree=34259960/67111528
[pid=11765] ppid=11763 vsize=24688 CPUtime=1797.97 cores=0,2,4,6
/proc/11765/stat : 11765 (bsolo) R 11763 11765 11029 0 -1 4202496 25914182 0 0 0 177064 2733 0 0 25 0 1 0 856276647 25280512 3798 33554432000 134512640 137138936 4290951520 18446744073709551615 134713063 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11765/statm: 6210 3821 288 642 0 5566 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 24688
Child status: 0
Real time (s): 1797.92
CPU time (s): 1798.01
CPU user time (s): 1770.67
CPU system time (s): 27.3408
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 39592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.67
system time used= 27.3408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25916428
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= 964
runsolver used 9.42257 second user time and 20.051 second system time
The end