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-3462416-1307184623/watcher-3462416-1307184623 -o /tmp/evaluation-result-3462416-1307184623/solver-3462416-1307184623 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462416-1307184623.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.00 2.00 2.00 3/400 10056
/proc/meminfo: memFree=29076904/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=11644 CPUtime=0 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 453 0 0 0 0 0 0 0 25 0 1 0 830062073 11923456 408 33554432000 134512640 137138936 4289972896 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 2911 408 179 642 0 2226 0
[startup+0.054687 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 10056
/proc/meminfo: memFree=29076904/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=0.04 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2012 0 0 0 4 0 0 0 25 0 1 0 830062073 17985536 1926 33554432000 134512640 137138936 4289972896 18446744073709551615 134566426 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1926 185 642 0 3747 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17564
[startup+0.100678 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 10056
/proc/meminfo: memFree=29076904/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=0.09 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2020 0 0 0 9 0 0 0 25 0 1 0 830062073 17985536 1934 33554432000 134512640 137138936 4289972896 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1934 185 642 0 3747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17564
[startup+0.300649 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 10056
/proc/meminfo: memFree=29076904/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=0.29 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2021 0 0 0 29 0 0 0 25 0 1 0 830062073 17985536 1935 33554432000 134512640 137138936 4289972896 18446744073709551615 134541959 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1935 185 642 0 3747 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17564
[startup+0.700444 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 10056
/proc/meminfo: memFree=29076904/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=0.69 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2021 0 0 0 69 0 0 0 25 0 1 0 830062073 17985536 1935 33554432000 134512640 137138936 4289972896 18446744073709551615 134541959 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1935 185 642 0 3747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17564
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10057
/proc/meminfo: memFree=29069456/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=1.49 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2021 0 0 0 149 0 0 0 25 0 1 0 830062073 17985536 1935 33554432000 134512640 137138936 4289972896 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1935 185 642 0 3747 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17564
[startup+3.10116 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10057
/proc/meminfo: memFree=29068588/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=3.09 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2021 0 0 0 309 0 0 0 25 0 1 0 830062073 17985536 1935 33554432000 134512640 137138936 4289972896 18446744073709551615 134542022 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1935 185 642 0 3747 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17564
[startup+6.30058 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10057
/proc/meminfo: memFree=29068456/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=6.29 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2021 0 0 0 629 0 0 0 25 0 1 0 830062073 17985536 1935 33554432000 134512640 137138936 4289972896 18446744073709551615 134566240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1935 185 642 0 3747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17564
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10057
/proc/meminfo: memFree=29067664/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=17564 CPUtime=12.68 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 2021 0 0 0 1268 0 0 0 25 0 1 0 830062073 17985536 1935 33554432000 134512640 137138936 4289972896 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 4391 1935 185 642 0 3747 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17564
[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10057
/proc/meminfo: memFree=29057852/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=28636 CPUtime=25.49 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 5207 0 0 0 2543 6 0 0 25 0 1 0 830062073 29323264 4729 33554432000 134512640 137138936 4289972896 18446744073709551615 136501994 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 7159 4729 192 642 0 6515 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28636
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10058
/proc/meminfo: memFree=28984496/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=102896 CPUtime=51.09 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 23746 0 0 0 5090 19 0 0 25 0 1 0 830062073 105365504 23268 33554432000 134512640 137138936 4289972896 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 25724 23268 192 642 0 25080 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102896
[startup+102.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10059
/proc/meminfo: memFree=28797580/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=241180 CPUtime=102.3 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 58341 0 0 0 10191 39 0 0 25 0 1 0 830062073 246968320 57863 33554432000 134512640 137138936 4289972896 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 60295 57863 192 642 0 59651 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 241180
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10061
/proc/meminfo: memFree=28651220/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=357992 CPUtime=162.3 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 87552 0 0 0 16173 57 0 0 25 0 1 0 830062073 366583808 87074 33554432000 134512640 137138936 4289972896 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 89498 87074 192 642 0 88854 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 357992
[startup+222.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/401 10063
/proc/meminfo: memFree=28552840/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=455888 CPUtime=222.3 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 112023 0 0 0 22158 72 0 0 25 0 1 0 830062073 466829312 111545 33554432000 134512640 137138936 4289972896 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 113972 111545 192 642 0 113328 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 455888
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/401 10064
/proc/meminfo: memFree=28475428/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=533344 CPUtime=282.29 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 131382 0 0 0 28143 86 0 0 25 0 1 0 830062073 546144256 130904 33554432000 134512640 137138936 4289972896 18446744073709551615 134578447 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 133336 130904 192 642 0 132692 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 533344
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 10147
/proc/meminfo: memFree=29393784/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=606852 CPUtime=342.29 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 149739 0 0 0 34132 97 0 0 25 0 1 0 830062073 621416448 149261 33554432000 134512640 137138936 4289972896 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 151713 149261 192 642 0 151069 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 606852
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 10148
/proc/meminfo: memFree=29268660/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=672644 CPUtime=402.3 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 166211 0 0 0 40122 108 0 0 25 0 1 0 830062073 688787456 165733 33554432000 134512640 137138936 4289972896 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 168161 165733 192 642 0 167517 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 672644
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/401 10150
/proc/meminfo: memFree=29171292/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=730012 CPUtime=462.3 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 180525 0 0 0 46111 119 0 0 25 0 1 0 830062073 747532288 180047 33554432000 134512640 137138936 4289972896 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 182503 180047 192 642 0 181859 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 730012
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10152
/proc/meminfo: memFree=29081496/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=787944 CPUtime=522.3 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 195032 0 0 0 52102 128 0 0 25 0 1 0 830062073 806854656 194554 33554432000 134512640 137138936 4289972896 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 196986 194554 192 642 0 196342 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 787944
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10153
/proc/meminfo: memFree=29006808/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=838632 CPUtime=582.3 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 207708 0 0 0 58094 136 0 0 25 0 1 0 830062073 858759168 207230 33554432000 134512640 137138936 4289972896 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 209658 207230 192 642 0 209014 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 838632
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28617228/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1122.32 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 112005 227 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1039328
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10181
/proc/meminfo: memFree=28606288/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1182.32 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 117988 244 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1039328
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10183
/proc/meminfo: memFree=28594984/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1242.31 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 123976 255 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1039328
[startup+1302.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/401 10184
/proc/meminfo: memFree=28580188/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1302.33 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 129967 266 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1039328
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/401 10186
/proc/meminfo: memFree=28567636/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1362.32 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 135946 286 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1039328
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 10188
/proc/meminfo: memFree=28555960/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1422.34 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 141928 306 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1039328
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 10189
/proc/meminfo: memFree=28545012/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1482.32 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 147904 328 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1039328
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10191
/proc/meminfo: memFree=28533092/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1542.33 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 153901 332 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1039328
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10192
/proc/meminfo: memFree=28521900/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1602.33 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 159898 335 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1039328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10194
/proc/meminfo: memFree=28511588/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1662.33 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 165895 338 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1039328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10196
/proc/meminfo: memFree=28502512/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1722.33 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 171876 357 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1039328
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10197
/proc/meminfo: memFree=28491196/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1782.33 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 177859 374 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1039328
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10197
/proc/meminfo: memFree=28491444/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1785.53 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 178178 375 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1039328
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10198
/proc/meminfo: memFree=28490324/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1791.95 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 178817 378 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1039328
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10198
/proc/meminfo: memFree=28490076/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1795.14 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 179135 379 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1039328
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10198
/proc/meminfo: memFree=28489828/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1796.74 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 179294 380 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1039328
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10198
/proc/meminfo: memFree=28489332/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1797.53 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 179373 380 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1039328
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10198
/proc/meminfo: memFree=28489332/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=1039328 CPUtime=1797.93 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202496 258191 0 0 0 179413 380 0 0 25 0 1 0 830062073 1064271872 257403 33554432000 134512640 137138936 4289972896 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10056/statm: 259832 257403 192 642 0 259188 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1039328
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10198
/proc/meminfo: memFree=28489332/32950904 swapFree=56615552/67111528
[pid=10056] ppid=10054 vsize=0 CPUtime=1798.03 cores=0,2,4,6
/proc/10056/stat : 10056 (bsolo) R 10054 10056 8078 0 -1 4202500 258191 0 0 0 179419 384 0 0 25 0 1 0 830062073 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/10056/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): 1794.2
CPU system time (s): 3.85541
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1040568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 3.85541
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258191
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= 12579
runsolver used 7.29889 second user time and 15.5886 second system time
The end