runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707597-1338190977/watcher-3707597-1338190977 -o /tmp/evaluation-result-3707597-1338190977/solver-3707597-1338190977 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707597-1338190977.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/176 27722
/proc/meminfo: memFree=27057856/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=16260 CPUtime=0 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 285226274 16650240 347 33554432000 134512640 137138936 4289210960 4289209224 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 4065 347 185 642 0 2165 0
[startup+0.0147129 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27722
/proc/meminfo: memFree=27057856/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=16960 CPUtime=0.01 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 285226274 17367040 573 33554432000 134512640 137138936 4289210960 4289209224 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 4240 574 216 642 0 2340 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16960
[startup+0.100269 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27722
/proc/meminfo: memFree=27057856/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=22532 CPUtime=0.09 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 2330 0 0 0 9 0 0 0 20 0 1 0 285226274 23072768 2243 33554432000 134512640 137138936 4289210960 4289209224 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 5633 2243 509 642 0 3733 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22532
[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27722
/proc/meminfo: memFree=27057856/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=33516 CPUtime=0.29 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 5766 0 0 0 29 0 0 0 20 0 1 0 285226274 34320384 5600 33554432000 134512640 137138936 4289210960 4289209488 134517302 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 8379 5601 1171 642 0 6479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33516
[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27722
/proc/meminfo: memFree=27057856/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=45920 CPUtime=0.69 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 10239 0 0 0 68 1 0 0 20 0 1 0 285226274 47022080 8817 33554432000 134512640 137138936 4289210960 4288631552 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 11480 8817 184 642 0 10836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45920
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=27023244/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=46052 CPUtime=1.49 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 10274 0 0 0 148 1 0 0 20 0 1 0 285226274 47157248 8852 33554432000 134512640 137138936 4289210960 4288631728 134543427 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 11513 8852 184 642 0 10869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46052
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=27022764/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=46184 CPUtime=3.09 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 10298 0 0 0 308 1 0 0 20 0 1 0 285226274 47292416 8876 33554432000 134512640 137138936 4289210960 4288631552 134542823 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 11546 8876 184 642 0 10902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46184
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=27022516/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=46184 CPUtime=6.29 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 10298 0 0 0 627 2 0 0 20 0 1 0 285226274 47292416 8876 33554432000 134512640 137138936 4289210960 4288631552 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 11546 8876 184 642 0 10902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46184
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 27723
/proc/meminfo: memFree=27022944/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=46184 CPUtime=12.68 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 10302 0 0 0 1266 2 0 0 20 0 1 0 285226274 47292416 8880 33554432000 134512640 137138936 4289210960 4288631552 134542128 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 11546 8880 184 642 0 10902 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46184
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 27723
/proc/meminfo: memFree=27023108/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=46184 CPUtime=25.49 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 10320 0 0 0 2546 3 0 0 20 0 1 0 285226274 47292416 8898 33554432000 134512640 137138936 4289210960 4288631336 136504212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 11546 8898 184 642 0 10902 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46184
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 27723
/proc/meminfo: memFree=27022356/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=46684 CPUtime=51.08 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 11095 0 0 0 5100 8 0 0 20 0 1 0 285226274 47804416 9007 33554432000 134512640 137138936 4289210960 4289209712 134575629 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 11671 9007 192 642 0 11027 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46684
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27761
/proc/meminfo: memFree=27009980/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=101820 CPUtime=102.25 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 24902 0 0 0 10212 13 0 0 20 0 1 0 285226274 104263680 22881 33554432000 134512640 137138936 4289210960 4289210076 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 25455 22881 192 642 0 24811 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 101820
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27761
/proc/meminfo: memFree=26847320/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=168828 CPUtime=162.24 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 41956 0 0 0 16204 20 0 0 20 0 1 0 285226274 172879872 39651 33554432000 134512640 137138936 4289210960 4289209888 134542776 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 42207 39651 192 642 0 41563 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 168828
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27762
/proc/meminfo: memFree=26702268/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=230640 CPUtime=222.24 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 57391 0 0 0 22199 25 0 0 20 0 1 0 285226274 236175360 55086 33554432000 134512640 137138936 4289210960 4289209456 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 57660 55086 192 642 0 57016 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 230640
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 27762
/proc/meminfo: memFree=26597724/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=295308 CPUtime=282.22 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 73560 0 0 0 28192 30 0 0 20 0 1 0 285226274 302395392 71253 33554432000 134512640 137138936 4289210960 4289209888 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 73827 71253 192 642 0 73183 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 295308
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 27762
/proc/meminfo: memFree=26491484/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=348028 CPUtime=342.16 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 86789 0 0 0 34181 35 0 0 20 0 1 0 285226274 356380672 84434 33554432000 134512640 137138936 4289210960 4289209880 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 87007 84434 192 642 0 86363 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 348028
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27762
/proc/meminfo: memFree=26377928/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=411620 CPUtime=402.11 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 102737 0 0 0 40170 41 0 0 20 0 1 0 285226274 421498880 100334 33554432000 134512640 137138936 4289210960 4289209888 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 102905 100334 192 642 0 102261 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 411620
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 27765
/proc/meminfo: memFree=26287428/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=463484 CPUtime=462.05 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 115751 0 0 0 46158 47 0 0 20 0 1 0 285226274 474607616 113300 33554432000 134512640 137138936 4289210960 4289209384 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 115871 113300 192 642 0 115227 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 463484
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 27766
/proc/meminfo: memFree=26217032/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=507484 CPUtime=521.99 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 126799 0 0 0 52146 53 0 0 20 0 1 0 285226274 519663616 124300 33554432000 134512640 137138936 4289210960 4289209888 134542237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 126871 124300 192 642 0 126227 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 507484
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 27766
/proc/meminfo: memFree=26136728/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=559752 CPUtime=581.94 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 139904 0 0 0 58137 57 0 0 20 0 1 0 285226274 573186048 137367 33554432000 134512640 137138936 4289210960 4289209820 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 139938 137367 192 642 0 139294 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 559752
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25664128/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=883208 CPUtime=1061.87 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 220770 0 0 0 106100 87 0 0 20 0 1 0 285226274 904404992 218233 33554432000 134512640 137138936 4289210960 4289209888 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 220802 218233 192 642 0 220158 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 883208
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27794
/proc/meminfo: memFree=25609328/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=920888 CPUtime=1121.86 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 230190 0 0 0 112094 92 0 0 20 0 1 0 285226274 942989312 227653 33554432000 134512640 137138936 4289210960 4289209888 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 230222 227653 192 642 0 229578 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 920888
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 27794
/proc/meminfo: memFree=25535548/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=963616 CPUtime=1181.85 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 240872 0 0 0 118091 94 0 0 20 0 1 0 285226274 986742784 238335 33554432000 134512640 137138936 4289210960 4289209888 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 240904 238335 192 642 0 240260 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 963616
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27794
/proc/meminfo: memFree=25473052/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=996708 CPUtime=1241.84 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 249145 0 0 0 124086 98 0 0 20 0 1 0 285226274 1020628992 246608 33554432000 134512640 137138936 4289210960 4289209384 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 249177 246608 192 642 0 248533 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 996708
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27794
/proc/meminfo: memFree=25413296/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1023540 CPUtime=1301.82 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 255877 0 0 0 130081 101 0 0 20 0 1 0 285226274 1048104960 253315 33554432000 134512640 137138936 4289210960 4289209888 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 255885 253315 192 642 0 255241 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1023540
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27794
/proc/meminfo: memFree=25366328/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1361.76 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261192 0 0 0 136073 103 0 0 20 0 1 0 285226274 1068216320 258226 33554432000 134512640 137138936 4289210960 4289209888 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258226 192 642 0 260151 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1043180
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27794
/proc/meminfo: memFree=25338960/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1421.72 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261233 0 0 0 142066 106 0 0 20 0 1 0 285226274 1068216320 258226 33554432000 134512640 137138936 4289210960 4289209384 134607222 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258226 192 642 0 260151 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1043180
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27795
/proc/meminfo: memFree=25310832/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1481.66 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261274 0 0 0 148059 107 0 0 20 0 1 0 285226274 1068216320 258227 33554432000 134512640 137138936 4289210960 4289209888 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258227 192 642 0 260151 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1043180
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 27795
/proc/meminfo: memFree=25278744/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1541.61 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261318 0 0 0 154052 109 0 0 20 0 1 0 285226274 1068216320 258227 33554432000 134512640 137138936 4289210960 4289209384 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258227 192 642 0 260151 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 1043180
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27795
/proc/meminfo: memFree=25245584/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1601.59 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 160047 112 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209504 134607598 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 1043180
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27798
/proc/meminfo: memFree=25213336/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1661.58 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 166044 114 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209888 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 1043180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27798
/proc/meminfo: memFree=25189412/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1721.57 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 172041 116 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209520 136296970 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 1043180
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27799
/proc/meminfo: memFree=25178500/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1781.56 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 178038 118 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209888 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1043180
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 27799
/proc/meminfo: memFree=25178748/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1791.16 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 178998 118 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209384 134606958 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1791.16
Current children cumulated vsize (KiB) 1043180
[startup+1795.1 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 27799
/proc/meminfo: memFree=25178748/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1794.36 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 179318 118 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289210076 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1794.36
Current children cumulated vsize (KiB) 1043180
[startup+1796.7 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 27799
/proc/meminfo: memFree=25178748/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1795.96 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 179477 119 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209812 136511215 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 1043180
[startup+1797.5 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 27799
/proc/meminfo: memFree=25178748/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1796.76 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 179557 119 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209640 136501664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 1043180
[startup+1798.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 27799
/proc/meminfo: memFree=25178748/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1797.55 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 179636 119 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209540 136296964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1043180
[startup+1798.7 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 27799
/proc/meminfo: memFree=25178748/32873844 swapFree=6088/6088
[pid=27722] ppid=27720 vsize=1043180 CPUtime=1797.95 cores=0,2,4,6
/proc/27722/stat : 27722 (bsolo) R 27720 27722 24287 0 -1 4202496 261343 0 0 0 179676 119 0 0 20 0 1 0 285226274 1068216320 258396 33554432000 134512640 137138936 4289210960 4289209888 134542164 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27722/statm: 260795 258396 192 642 0 260151 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1043180
Child status: 0
Real time (s): 1798.75
CPU time (s): 1798.01
CPU user time (s): 1796.81
CPU system time (s): 1.19782
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 1044628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 1.19782
maximum resident set size= 1034352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261343
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= 479
involuntary context switches= 1835
runsolver used 2.90056 second user time and 7.80881 second system time
The end