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-3463035-1307178018/watcher-3463035-1307178018 -o /tmp/evaluation-result-3463035-1307178018/solver-3463035-1307178018 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463035-1307178018.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.07 1.97 2/526 7929
/proc/meminfo: memFree=22711560/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=12988 CPUtime=0 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 377 0 0 0 0 0 0 0 22 0 1 0 810217711 13299712 332 33554432000 134512640 137138936 4291810272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 3247 332 187 642 0 2124 0
[startup+0.0836401 s]
/proc/loadavg: 2.19 2.07 1.97 2/526 7929
/proc/meminfo: memFree=22711560/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=18076 CPUtime=0.08 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 1957 0 0 0 8 0 0 0 22 0 1 0 810217711 18509824 1912 33554432000 134512640 137138936 4291810272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 4519 1912 492 642 0 3396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18076
[startup+0.100635 s]
/proc/loadavg: 2.19 2.07 1.97 2/526 7929
/proc/meminfo: memFree=22711560/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=19176 CPUtime=0.09 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 2304 0 0 0 9 0 0 0 22 0 1 0 810217711 19636224 2259 33554432000 134512640 137138936 4291810272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 4794 2259 560 642 0 3671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19176
[startup+0.300601 s]
/proc/loadavg: 2.19 2.07 1.97 2/526 7929
/proc/meminfo: memFree=22711560/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=25248 CPUtime=0.29 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 4374 0 0 0 28 1 0 0 18 0 1 0 810217711 25853952 3850 33554432000 134512640 137138936 4291810272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 6312 3850 185 642 0 5668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25248
[startup+0.700533 s]
/proc/loadavg: 2.19 2.07 1.97 2/526 7929
/proc/meminfo: memFree=22711560/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=22676 CPUtime=0.69 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 4982 0 0 0 64 5 0 0 18 0 1 0 810217711 23220224 3245 33554432000 134512640 137138936 4291810272 18446744073709551615 136504911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 5669 3245 192 642 0 5025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22676
[startup+1.50038 s]
/proc/loadavg: 2.19 2.07 1.97 3/527 7930
/proc/meminfo: memFree=22694688/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=33184 CPUtime=1.49 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 7602 0 0 0 143 6 0 0 19 0 1 0 810217711 33980416 5865 33554432000 134512640 137138936 4291810272 18446744073709551615 134552438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 8296 5865 192 642 0 7652 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33184
[startup+3.10011 s]
/proc/loadavg: 2.19 2.07 1.97 3/527 7930
/proc/meminfo: memFree=22679336/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=52288 CPUtime=3.09 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 12382 0 0 0 302 7 0 0 24 0 1 0 810217711 53542912 10645 33554432000 134512640 137138936 4291810272 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 13072 10645 192 642 0 12428 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52288
[startup+6.30052 s]
/proc/loadavg: 2.17 2.07 1.97 3/527 7930
/proc/meminfo: memFree=22641540/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=87112 CPUtime=6.3 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 21070 0 0 0 621 9 0 0 25 0 1 0 810217711 89202688 19333 33554432000 134512640 137138936 4291810272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 21778 19333 192 642 0 21134 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 87112
[startup+12.7004 s]
/proc/loadavg: 2.16 2.07 1.97 3/527 7931
/proc/meminfo: memFree=22578080/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=147756 CPUtime=12.69 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 36237 0 0 0 1258 11 0 0 25 0 1 0 810217711 151302144 34500 33554432000 134512640 137138936 4291810272 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 36939 34500 192 642 0 36295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 147756
[startup+25.5011 s]
/proc/loadavg: 2.12 2.06 1.97 3/527 7931
/proc/meminfo: memFree=22461888/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=256524 CPUtime=25.49 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 63430 0 0 0 2533 16 0 0 25 0 1 0 810217711 262680576 61693 33554432000 134512640 137138936 4291810272 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 64131 61693 192 642 0 63487 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 256524
[startup+51.1005 s]
/proc/loadavg: 2.08 2.06 1.97 3/527 7941
/proc/meminfo: memFree=22271544/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=444336 CPUtime=51.09 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 110386 0 0 0 5085 24 0 0 25 0 1 0 810217711 455000064 108649 33554432000 134512640 137138936 4291810272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 111084 108649 192 642 0 110440 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 444336
[startup+102.32 s]
/proc/loadavg: 2.03 2.05 1.97 3/527 7942
/proc/meminfo: memFree=21989984/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=718120 CPUtime=102.32 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 178840 0 0 0 10195 37 0 0 25 0 1 0 810217711 735354880 177103 33554432000 134512640 137138936 4291810272 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 179530 177103 192 642 0 178886 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 718120
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 1.97 3/527 7944
/proc/meminfo: memFree=21852416/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=854440 CPUtime=162.3 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 212971 0 0 0 16185 45 0 0 25 0 1 0 810217711 874946560 211176 33554432000 134512640 137138936 4291810272 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 213610 211176 192 642 0 212966 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 854440
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 1.97 3/527 7945
/proc/meminfo: memFree=21853720/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=854440 CPUtime=222.29 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 212971 0 0 0 22182 47 0 0 25 0 1 0 810217711 874946560 211176 33554432000 134512640 137138936 4291810272 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 213610 211176 192 642 0 212966 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 854440
[startup+282.301 s]
/proc/loadavg: 2.10 2.05 1.98 3/527 7947
/proc/meminfo: memFree=21668284/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1039832 CPUtime=282.3 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 259368 0 0 0 28173 57 0 0 25 0 1 0 810217711 1064787968 257502 33554432000 134512640 137138936 4291810272 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 259958 257502 192 642 0 259314 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1039832
[startup+342.3 s]
/proc/loadavg: 2.08 2.05 1.98 3/527 7948
/proc/meminfo: memFree=21665752/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1039832 CPUtime=342.3 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 259368 0 0 0 34170 60 0 0 25 0 1 0 810217711 1064787968 257502 33554432000 134512640 137138936 4291810272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 259958 257502 192 642 0 259314 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1039832
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 1.98 3/527 7950
/proc/meminfo: memFree=21659508/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1039832 CPUtime=402.3 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 259368 0 0 0 40167 63 0 0 25 0 1 0 810217711 1064787968 257502 33554432000 134512640 137138936 4291810272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 259958 257502 192 642 0 259314 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1039832
[startup+462.301 s]
/proc/loadavg: 2.10 2.06 2.00 3/527 7952
/proc/meminfo: memFree=21658468/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1039832 CPUtime=462.31 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 259368 0 0 0 46166 65 0 0 25 0 1 0 810217711 1064787968 257502 33554432000 134512640 137138936 4291810272 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 259958 257502 192 642 0 259314 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1039832
[startup+522.301 s]
/proc/loadavg: 2.08 2.06 2.00 3/527 7953
/proc/meminfo: memFree=21656184/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1039832 CPUtime=522.3 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 259368 0 0 0 52163 67 0 0 25 0 1 0 810217711 1064787968 257502 33554432000 134512640 137138936 4291810272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 259958 257502 192 642 0 259314 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1039832
[startup+582.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 7955
/proc/meminfo: memFree=21649552/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=582.31 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 58161 70 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1046028
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21668600/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1122.32 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 112142 90 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 136502660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1046028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 7998
/proc/meminfo: memFree=21641880/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1182.32 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 118140 92 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1046028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 7999
/proc/meminfo: memFree=21619124/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1242.33 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 124139 94 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1046028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 8001
/proc/meminfo: memFree=21601816/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1302.34 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 130138 96 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1046028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 8003
/proc/meminfo: memFree=21581784/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1362.32 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 136135 97 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1046028
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 2.01 3/527 8004
/proc/meminfo: memFree=21570432/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1422.35 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 142135 100 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1046028
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/527 8008
/proc/meminfo: memFree=21558588/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1482.33 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 148131 102 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1046028
[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/527 8010
/proc/meminfo: memFree=21548784/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1542.34 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 154130 104 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 136504201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1046028
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/527 8012
/proc/meminfo: memFree=21538192/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1046028 CPUtime=1602.33 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 260917 0 0 0 160128 105 0 0 25 0 1 0 810217711 1071132672 259051 33554432000 134512640 137138936 4291810272 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 261507 259051 192 642 0 260863 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1046028
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 8014
/proc/meminfo: memFree=21516300/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1662.33 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 166126 107 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1053520
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8015
/proc/meminfo: memFree=21506448/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1722.34 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 172124 110 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 136502654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1053520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21496840/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1782.34 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 178122 112 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1053520
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21496344/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1785.54 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 178442 112 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1053520
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21496076/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1791.96 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 179084 112 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134602734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 1053520
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21495704/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1795.14 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 179402 112 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1053520
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21495456/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1796.74 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 179562 112 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134551138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1053520
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21495208/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1797.54 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 179642 112 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134603287 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1053520
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21495208/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=1053520 CPUtime=1797.94 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202496 262790 0 0 0 179682 112 0 0 25 0 1 0 810217711 1078804480 260924 33554432000 134512640 137138936 4291810272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7929/statm: 263380 260924 192 642 0 262736 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1053520
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8017
/proc/meminfo: memFree=21495208/32951124 swapFree=64303760/67111528
[pid=7929] ppid=7927 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/7929/stat : 7929 (bsolo) R 7927 7929 4512 0 -1 4202500 262791 0 0 0 179688 116 0 0 25 0 1 0 810217711 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/7929/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.06
CPU user time (s): 1796.88
CPU system time (s): 1.17382
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1053520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 1.17382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262791
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= 2641
runsolver used 8.93364 second user time and 22.1246 second system time
The end