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-3463050-1307175571/watcher-3463050-1307175571 -o /tmp/evaluation-result-3463050-1307175571/solver-3463050-1307175571 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463050-1307175571.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: 0.94 1.10 1.46 2/554 11820
/proc/meminfo: memFree=24919380/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=11084 CPUtime=0 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 429 0 0 0 0 0 0 0 22 0 1 0 829154139 11350016 373 33554432000 134512640 137138936 4292434048 18446744073709551615 134746824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 2771 375 234 642 0 2127 0
[startup+0.090649 s]
/proc/loadavg: 0.94 1.10 1.46 2/554 11820
/proc/meminfo: memFree=24919380/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=12452 CPUtime=0.08 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 747 0 0 0 8 0 0 0 22 0 1 0 829154139 12750848 661 33554432000 134512640 137138936 4292434048 18446744073709551615 135071754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3113 661 278 642 0 2469 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12452
[startup+0.100641 s]
/proc/loadavg: 0.94 1.10 1.46 2/554 11820
/proc/meminfo: memFree=24919380/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=12452 CPUtime=0.09 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 756 0 0 0 9 0 0 0 22 0 1 0 829154139 12750848 670 33554432000 134512640 137138936 4292434048 18446744073709551615 135445041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3113 670 278 642 0 2469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12452
[startup+0.300599 s]
/proc/loadavg: 0.94 1.10 1.46 2/554 11820
/proc/meminfo: memFree=24919380/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=13080 CPUtime=0.29 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 1346 0 0 0 29 0 0 0 23 0 1 0 829154139 13393920 732 33554432000 134512640 137138936 4292434048 18446744073709551615 135445910 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3270 732 279 642 0 2626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13080
[startup+0.700527 s]
/proc/loadavg: 0.94 1.10 1.46 2/554 11820
/proc/meminfo: memFree=24919380/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=13148 CPUtime=0.69 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 4002 0 0 0 68 1 0 0 25 0 1 0 829154139 13463552 660 33554432000 134512640 137138936 4292434048 18446744073709551615 135435525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3287 660 283 642 0 2643 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13148
[startup+1.50036 s]
/proc/loadavg: 0.94 1.10 1.46 3/555 11821
/proc/meminfo: memFree=24916148/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=12728 CPUtime=1.49 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 8176 0 0 0 148 1 0 0 25 0 1 0 829154139 13033472 527 33554432000 134512640 137138936 4292434048 18446744073709551615 135437344 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3182 527 283 642 0 2538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12728
[startup+3.10106 s]
/proc/loadavg: 1.03 1.12 1.46 3/555 11821
/proc/meminfo: memFree=24914908/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=13480 CPUtime=3.09 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21437 0 0 0 307 2 0 0 25 0 1 0 829154139 13803520 629 33554432000 134512640 137138936 4292434048 18446744073709551615 135441022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3370 629 283 642 0 2726 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13480
[startup+6.30046 s]
/proc/loadavg: 1.03 1.12 1.46 3/555 11821
/proc/meminfo: memFree=24913796/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=14708 CPUtime=6.29 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 55985 0 0 0 622 7 0 0 25 0 1 0 829154139 15060992 774 33554432000 134512640 137138936 4292434048 18446744073709551615 134734506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3677 774 288 642 0 3033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14708
[startup+12.7002 s]
/proc/loadavg: 1.18 1.15 1.46 3/555 11821
/proc/meminfo: memFree=24910824/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=15228 CPUtime=12.69 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 112853 0 0 0 1256 13 0 0 25 0 1 0 829154139 15593472 873 33554432000 134512640 137138936 4292434048 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 3807 873 292 642 0 3163 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15228
[startup+25.5008 s]
/proc/loadavg: 1.30 1.17 1.47 3/555 11822
/proc/meminfo: memFree=24888480/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=22968 CPUtime=25.5 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 306522 0 0 0 2514 36 0 0 25 0 1 0 829154139 23519232 2777 33554432000 134512640 137138936 4292434048 18446744073709551615 135446766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 5742 2777 292 642 0 5098 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22968
[startup+51.1009 s]
/proc/loadavg: 1.54 1.24 1.48 3/555 11822
/proc/meminfo: memFree=24834436/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=37620 CPUtime=51.09 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 713663 0 0 0 5019 90 0 0 25 0 1 0 829154139 38522880 7081 33554432000 134512640 137138936 4292434048 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 9405 7081 292 642 0 8761 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 37620
[startup+102.321 s]
/proc/loadavg: 1.81 1.36 1.51 3/555 11824
/proc/meminfo: memFree=24775896/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=83040 CPUtime=102.31 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 1732760 0 0 0 9974 257 0 0 25 0 1 0 829154139 85032960 17815 33554432000 134512640 137138936 4292434048 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 20760 17815 292 642 0 20116 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 83040
[startup+162.301 s]
/proc/loadavg: 2.00 1.48 1.54 3/555 11825
/proc/meminfo: memFree=24744744/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=103304 CPUtime=162.3 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 2666019 0 0 0 15777 453 0 0 25 0 1 0 829154139 105783296 22888 33554432000 134512640 137138936 4292434048 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 25826 22888 292 642 0 25182 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 103304
[startup+222.301 s]
/proc/loadavg: 2.06 1.60 1.57 3/555 11827
/proc/meminfo: memFree=24722504/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=105000 CPUtime=222.3 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 3451757 0 0 0 21602 628 0 0 25 0 1 0 829154139 107520000 23926 33554432000 134512640 137138936 4292434048 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 26250 23926 292 642 0 25606 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 105000
[startup+282.301 s]
/proc/loadavg: 2.02 1.66 1.59 3/555 11829
/proc/meminfo: memFree=24710448/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=114232 CPUtime=282.3 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 4297073 0 0 0 27409 821 0 0 25 0 1 0 829154139 116973568 26234 33554432000 134512640 137138936 4292434048 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 28558 26234 292 642 0 27914 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 114232
[startup+342.301 s]
/proc/loadavg: 2.10 1.76 1.63 3/555 11830
/proc/meminfo: memFree=24699996/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=124388 CPUtime=342.3 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 5148065 0 0 0 33225 1005 0 0 25 0 1 0 829154139 127373312 28773 33554432000 134512640 137138936 4292434048 18446744073709551615 134750986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 31097 28773 292 642 0 30453 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 124388
[startup+402.301 s]
/proc/loadavg: 2.04 1.79 1.65 3/555 11832
/proc/meminfo: memFree=24680492/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=132364 CPUtime=402.3 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 5945315 0 0 0 39047 1183 0 0 25 0 1 0 829154139 135540736 30161 33554432000 134512640 137138936 4292434048 18446744073709551615 134840985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 33091 30161 292 642 0 32447 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 132364
[startup+462.301 s]
/proc/loadavg: 2.01 1.83 1.67 3/555 11833
/proc/meminfo: memFree=24675764/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=134360 CPUtime=462.31 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 6710168 0 0 0 44874 1357 0 0 25 0 1 0 829154139 137584640 31266 33554432000 134512640 137138936 4292434048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 33590 31266 292 642 0 32946 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 134360
[startup+522.301 s]
/proc/loadavg: 2.00 1.86 1.68 3/555 11835
/proc/meminfo: memFree=24675244/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=134356 CPUtime=522.31 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 7448998 0 0 0 50699 1532 0 0 25 0 1 0 829154139 137580544 31265 33554432000 134512640 137138936 4292434048 18446744073709551615 134750278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 33589 31265 292 642 0 32945 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 134356
[startup+582.301 s]
/proc/loadavg: 2.00 1.88 1.70 3/555 11837
/proc/meminfo: memFree=24674216/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=134568 CPUtime=582.31 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 8159745 0 0 0 56537 1694 0 0 25 0 1 0 829154139 137797632 31318 33554432000 134512640 137138936 4292434048 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 33642 31318 292 642 0 32998 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 134568
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24615676/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=168128 CPUtime=1062.33 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 12867722 0 0 0 103362 2871 0 0 25 0 1 0 829154139 172163072 39708 33554432000 134512640 137138936 4292434048 18446744073709551615 134750940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 42032 39708 292 642 0 41388 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 168128
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/555 11851
/proc/meminfo: memFree=24615020/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=168116 CPUtime=1122.33 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 13529587 0 0 0 109209 3024 0 0 25 0 1 0 829154139 172150784 39705 33554432000 134512640 137138936 4292434048 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 42029 39705 292 642 0 41385 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 168116
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/555 11853
/proc/meminfo: memFree=24614128/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=170432 CPUtime=1182.34 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 14201593 0 0 0 115049 3185 0 0 25 0 1 0 829154139 174522368 39713 33554432000 134512640 137138936 4292434048 18446744073709551615 134732330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 42608 39713 292 642 0 41964 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 170432
[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 1.85 3/555 11854
/proc/meminfo: memFree=24611860/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=171316 CPUtime=1242.34 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 14893724 0 0 0 120887 3347 0 0 25 0 1 0 829154139 175427584 40083 33554432000 134512640 137138936 4292434048 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 42829 40083 292 642 0 42185 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 171316
[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 1.86 3/555 11856
/proc/meminfo: memFree=24612200/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=169588 CPUtime=1302.36 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 15604641 0 0 0 126728 3508 0 0 25 0 1 0 829154139 173658112 40073 33554432000 134512640 137138936 4292434048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 42397 40073 292 642 0 41753 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 169588
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 1.88 3/555 11857
/proc/meminfo: memFree=24613548/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=171984 CPUtime=1362.35 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 16307479 0 0 0 132567 3668 0 0 25 0 1 0 829154139 176111616 40066 33554432000 134512640 137138936 4292434048 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 42801 40060 292 642 0 42157 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 171984
[startup+1422.32 s]
/proc/loadavg: 2.07 2.06 1.89 3/555 11859
/proc/meminfo: memFree=24610416/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=175352 CPUtime=1422.37 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 17036557 0 0 0 138407 3830 0 0 25 0 1 0 829154139 179560448 40904 33554432000 134512640 137138936 4292434048 18446744073709551615 135251088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 43838 40904 292 642 0 43194 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 175352
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 1.90 3/555 11861
/proc/meminfo: memFree=24605184/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=175388 CPUtime=1482.35 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 17716927 0 0 0 144246 3989 0 0 25 0 1 0 829154139 179597312 40902 33554432000 134512640 137138936 4292434048 18446744073709551615 135440745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 43847 40902 292 642 0 43203 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 175388
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 1.90 3/555 11862
/proc/meminfo: memFree=24599448/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=175664 CPUtime=1542.35 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 18491920 0 0 0 150080 4155 0 0 25 0 1 0 829154139 179879936 41592 33554432000 134512640 137138936 4292434048 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 43916 41592 292 642 0 43272 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 175664
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/555 11864
/proc/meminfo: memFree=24591240/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=183440 CPUtime=1602.35 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 19238353 0 0 0 155922 4313 0 0 25 0 1 0 829154139 187842560 43504 33554432000 134512640 137138936 4292434048 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 45860 43504 292 642 0 45216 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 183440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/555 11865
/proc/meminfo: memFree=24591580/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=183264 CPUtime=1662.36 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 19999889 0 0 0 161754 4482 0 0 25 0 1 0 829154139 187662336 43492 33554432000 134512640 137138936 4292434048 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 45816 43492 292 642 0 45172 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 183264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/555 11867
/proc/meminfo: memFree=24590932/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=185460 CPUtime=1722.36 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 20643629 0 0 0 167597 4639 0 0 25 0 1 0 829154139 189911040 43500 33554432000 134512640 137138936 4292434048 18446744073709551615 135457167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 46365 43503 292 642 0 45721 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 185460
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24588548/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=183264 CPUtime=1782.36 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21119952 0 0 0 173474 4762 0 0 25 0 1 0 829154139 187662336 43492 33554432000 134512640 137138936 4292434048 18446744073709551615 136500294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 45816 43492 292 642 0 45172 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 183264
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.10 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24589660/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=184792 CPUtime=1785.56 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21130657 0 0 0 173791 4765 0 0 25 0 1 0 829154139 189227008 43490 33554432000 134512640 137138936 4292434048 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 45814 43490 292 642 0 45170 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 184792
[startup+1791.92 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24590900/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=183256 CPUtime=1791.98 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21192795 0 0 0 174417 4781 0 0 25 0 1 0 829154139 187654144 43490 33554432000 134512640 137138936 4292434048 18446744073709551615 134551130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 45814 43490 292 642 0 45170 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 183256
[startup+1795.1 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24591024/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=185444 CPUtime=1795.18 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21219612 0 0 0 174729 4789 0 0 25 0 1 0 829154139 189894656 43499 33554432000 134512640 137138936 4292434048 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 46361 43499 292 642 0 45717 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 185444
[startup+1796.7 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24590528/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=183256 CPUtime=1796.76 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21233248 0 0 0 174883 4793 0 0 25 0 1 0 829154139 187654144 43490 33554432000 134512640 137138936 4292434048 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 45814 43490 292 642 0 45170 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 183256
[startup+1797.5 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24590032/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=184816 CPUtime=1797.56 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21240647 0 0 0 174962 4794 0 0 25 0 1 0 829154139 189251584 43495 33554432000 134512640 137138936 4292434048 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 46360 43497 292 642 0 45716 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 184816
[startup+1797.9 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24590032/32950928 swapFree=67056580/67111528
[pid=11820] ppid=11818 vsize=183256 CPUtime=1797.96 cores=1,3,5,7
/proc/11820/stat : 11820 (bsolo) R 11818 11820 10194 0 -1 4202496 21244364 0 0 0 175001 4795 0 0 25 0 1 0 829154139 187654144 43490 33554432000 134512640 137138936 4292434048 18446744073709551615 134542944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11820/statm: 45814 43490 292 642 0 45170 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 183256
Child status: 0
Real time (s): 1797.94
CPU time (s): 1798.01
CPU user time (s): 1750.04
CPU system time (s): 47.9677
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 185844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.04
system time used= 47.9677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21244577
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= 3
involuntary context switches= 1098
runsolver used 9.43456 second user time and 23.1555 second system time
The end