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-3463032-1307177710/watcher-3463032-1307177710 -o /tmp/evaluation-result-3463032-1307177710/solver-3463032-1307177710 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463032-1307177710.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.05 2.02 1.93 2/400 9523
/proc/meminfo: memFree=29948844/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=13984 CPUtime=0 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 438 0 0 0 0 0 0 0 25 0 1 0 829370747 14319616 392 33554432000 134512640 137138936 4291499712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 3496 392 198 642 0 2192 0
[startup+0.09706 s]
/proc/loadavg: 2.05 2.02 1.93 2/400 9523
/proc/meminfo: memFree=29948844/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=19760 CPUtime=0.09 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 2236 0 0 0 9 0 0 0 25 0 1 0 829370747 20234240 2190 33554432000 134512640 137138936 4291499712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 4940 2190 548 642 0 3636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19760
[startup+0.101057 s]
/proc/loadavg: 2.05 2.02 1.93 2/400 9523
/proc/meminfo: memFree=29948844/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=20032 CPUtime=0.09 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 2317 0 0 0 9 0 0 0 25 0 1 0 829370747 20512768 2271 33554432000 134512640 137138936 4291499712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 5008 2271 564 642 0 3704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20032
[startup+0.301028 s]
/proc/loadavg: 2.05 2.02 1.93 2/400 9523
/proc/meminfo: memFree=29948844/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=30384 CPUtime=0.29 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 5846 0 0 0 28 1 0 0 25 0 1 0 829370747 31113216 5140 33554432000 134512640 137138936 4291499712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 7596 5140 185 642 0 6952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30384
[startup+0.700956 s]
/proc/loadavg: 2.05 2.02 1.93 2/400 9523
/proc/meminfo: memFree=29948844/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=30384 CPUtime=0.69 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 5846 0 0 0 63 6 0 0 25 0 1 0 829370747 31113216 5140 33554432000 134512640 137138936 4291499712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 7596 5140 185 642 0 6952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30384
[startup+1.50081 s]
/proc/loadavg: 2.05 2.02 1.93 4/401 9524
/proc/meminfo: memFree=29928252/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=32472 CPUtime=1.49 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 8069 0 0 0 137 12 0 0 25 0 1 0 829370747 33251328 5693 33554432000 134512640 137138936 4291499712 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 8118 5693 192 642 0 7474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32472
[startup+3.10052 s]
/proc/loadavg: 2.05 2.02 1.93 4/401 9524
/proc/meminfo: memFree=29917112/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=53124 CPUtime=3.09 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 13226 0 0 0 297 12 0 0 25 0 1 0 829370747 54398976 10850 33554432000 134512640 137138936 4291499712 18446744073709551615 134599224 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 13281 10850 192 642 0 12637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53124
[startup+6.30095 s]
/proc/loadavg: 2.04 2.02 1.93 4/401 9525
/proc/meminfo: memFree=29877568/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=89564 CPUtime=6.29 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 22337 0 0 0 615 14 0 0 25 0 1 0 829370747 91713536 19961 33554432000 134512640 137138936 4291499712 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 22391 19961 192 642 0 21747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89564
[startup+12.7008 s]
/proc/loadavg: 2.04 2.02 1.93 4/401 9525
/proc/meminfo: memFree=29806604/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=156384 CPUtime=12.69 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 39049 0 0 0 1252 17 0 0 25 0 1 0 829370747 160137216 36673 33554432000 134512640 137138936 4291499712 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 39096 36673 192 642 0 38452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 156384
[startup+25.5005 s]
/proc/loadavg: 2.03 2.02 1.93 4/401 9525
/proc/meminfo: memFree=29695996/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=262368 CPUtime=25.49 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 65541 0 0 0 2527 22 0 0 25 0 1 0 829370747 268664832 63165 33554432000 134512640 137138936 4291499712 18446744073709551615 134598920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 65592 63165 192 642 0 64948 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 262368
[startup+51.101 s]
/proc/loadavg: 2.02 2.01 1.93 4/401 9526
/proc/meminfo: memFree=29534084/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=424228 CPUtime=51.1 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 106009 0 0 0 5080 30 0 0 25 0 1 0 829370747 434409472 103633 33554432000 134512640 137138936 4291499712 18446744073709551615 134618026 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 106057 103633 192 642 0 105413 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 424228
[startup+102.315 s]
/proc/loadavg: 2.01 2.01 1.93 4/401 9527
/proc/meminfo: memFree=29256924/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=698012 CPUtime=102.3 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 174438 0 0 0 10187 43 0 0 25 0 1 0 829370747 714764288 172062 33554432000 134512640 137138936 4291499712 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 174503 172062 192 642 0 173859 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 698012
[startup+162.3 s]
/proc/loadavg: 2.18 2.06 1.95 4/401 9529
/proc/meminfo: memFree=28992648/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=961916 CPUtime=162.29 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 240404 0 0 0 16172 57 0 0 25 0 1 0 829370747 985001984 238028 33554432000 134512640 137138936 4291499712 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 240479 238028 192 642 0 239835 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 961916
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 1.95 4/401 9530
/proc/meminfo: memFree=28904944/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1045548 CPUtime=222.29 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 261388 0 0 0 22166 63 0 0 25 0 1 0 829370747 1070641152 258954 33554432000 134512640 137138936 4291499712 18446744073709551615 134618552 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 261387 258954 192 642 0 260743 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1045548
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 1.95 4/401 9532
/proc/meminfo: memFree=28903796/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1045548 CPUtime=282.3 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 261388 0 0 0 28165 65 0 0 25 0 1 0 829370747 1070641152 258954 33554432000 134512640 137138936 4291499712 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 261387 258954 192 642 0 260743 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1045548
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 1.95 4/401 9534
/proc/meminfo: memFree=28902636/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1045548 CPUtime=342.3 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 261388 0 0 0 34162 68 0 0 25 0 1 0 829370747 1070641152 258954 33554432000 134512640 137138936 4291499712 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 261387 258954 192 642 0 260743 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1045548
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 1.95 4/401 9544
/proc/meminfo: memFree=28900672/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1045548 CPUtime=402.3 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 261388 0 0 0 40161 69 0 0 25 0 1 0 829370747 1070641152 258954 33554432000 134512640 137138936 4291499712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 261387 258954 192 642 0 260743 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1045548
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.95 4/401 9546
/proc/meminfo: memFree=28877448/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=462.3 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 46159 71 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1055088
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.95 4/401 9547
/proc/meminfo: memFree=28877796/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=522.31 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 52157 74 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1055088
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/401 9552
/proc/meminfo: memFree=28878244/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=582.3 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 58155 75 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1055088
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28879424/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1122.32 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 112141 91 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1055088
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/401 9568
/proc/meminfo: memFree=28879236/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1182.32 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 118139 93 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1055088
[startup+1242.3 s]
/proc/loadavg: 2.12 2.03 1.99 4/401 9569
/proc/meminfo: memFree=28879300/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1242.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 124138 95 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1055088
[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.00 4/401 9571
/proc/meminfo: memFree=28880388/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1302.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 130137 96 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1055088
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 4/401 9573
/proc/meminfo: memFree=28881228/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1362.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 136134 99 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1055088
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 4/401 9574
/proc/meminfo: memFree=28881292/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1422.34 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 142133 101 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1055088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/401 9576
/proc/meminfo: memFree=28880880/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1482.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 148131 102 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1055088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9605
/proc/meminfo: memFree=28998480/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1055088 CPUtime=1542.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 263814 0 0 0 154129 104 0 0 25 0 1 0 829370747 1080410112 261321 33554432000 134512640 137138936 4291499712 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 263772 261321 192 642 0 263128 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1055088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9606
/proc/meminfo: memFree=28992604/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1602.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 160128 105 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1058896
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9608
/proc/meminfo: memFree=28992572/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1662.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 166125 108 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1058896
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9609
/proc/meminfo: memFree=28992660/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1722.34 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 172124 110 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1058896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9611
/proc/meminfo: memFree=28991484/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1782.33 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 178122 111 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1058896
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.08 2.02 2.00 3/401 9611
/proc/meminfo: memFree=28992468/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1785.54 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 178442 112 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1058896
[startup+1791.92 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9611
/proc/meminfo: memFree=28992452/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1791.95 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 179083 112 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1058896
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9611
/proc/meminfo: memFree=28992452/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1795.15 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 179403 112 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 1058896
[startup+1796.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9611
/proc/meminfo: memFree=28992452/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1796.74 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 179562 112 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1058896
[startup+1797.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9611
/proc/meminfo: memFree=28992328/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1797.54 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 179642 112 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1058896
[startup+1797.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9611
/proc/meminfo: memFree=28992328/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=1058896 CPUtime=1797.93 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202496 264762 0 0 0 179681 112 0 0 25 0 1 0 829370747 1084309504 262269 33554432000 134512640 137138936 4291499712 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9523/statm: 264724 262269 192 642 0 264080 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1058896
[startup+1798 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9611
/proc/meminfo: memFree=28992328/32950904 swapFree=56615552/67111528
[pid=9523] ppid=9521 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/9523/stat : 9523 (bsolo) R 9521 9523 8078 0 -1 4202500 264763 0 0 0 179687 116 0 0 25 0 1 0 829370747 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/9523/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1796.88
CPU system time (s): 1.17482
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1058896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 1.17482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264763
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= 2514
runsolver used 6.51701 second user time and 16.4015 second system time
The end