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-3462983-1307175373/watcher-3462983-1307175373 -o /tmp/evaluation-result-3462983-1307175373/solver-3462983-1307175373 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462983-1307175373.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.02 2.00 3/415 7992
/proc/meminfo: memFree=25444020/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=22304 CPUtime=0 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 350 0 0 0 0 0 0 0 25 0 1 0 285146770 22839296 305 33554432000 134512640 137138936 4287457120 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 5576 305 185 642 0 2123 0
[startup+0.0524389 s]
/proc/loadavg: 2.00 2.02 2.00 3/415 7992
/proc/meminfo: memFree=25444020/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=24788 CPUtime=0.04 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 1116 0 0 0 4 0 0 0 25 0 1 0 285146770 25382912 1071 33554432000 134512640 137138936 4287457120 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 6197 1072 331 642 0 2744 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24788
[startup+0.100437 s]
/proc/loadavg: 2.00 2.02 2.00 3/415 7992
/proc/meminfo: memFree=25444020/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=27320 CPUtime=0.09 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 1894 0 0 0 9 0 0 0 25 0 1 0 285146770 27975680 1849 33554432000 134512640 137138936 4287457120 18446744073709551615 134520635 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 6830 1849 477 642 0 3377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27320
[startup+0.300399 s]
/proc/loadavg: 2.00 2.02 2.00 3/415 7992
/proc/meminfo: memFree=25444020/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=37788 CPUtime=0.29 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 5183 0 0 0 28 1 0 0 25 0 1 0 285146770 38694912 5019 33554432000 134512640 137138936 4287457120 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 9447 5020 1085 642 0 5994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37788
[startup+0.700327 s]
/proc/loadavg: 2.00 2.02 2.00 3/415 7992
/proc/meminfo: memFree=25444020/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=57628 CPUtime=0.68 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 11556 0 0 0 67 1 0 0 25 0 1 0 285146770 59011072 11089 33554432000 134512640 137138936 4287457120 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 14407 11089 2237 642 0 10954 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 57628
[startup+1.50118 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 7993
/proc/meminfo: memFree=25381024/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=79648 CPUtime=1.49 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20241 0 0 0 146 3 0 0 25 0 1 0 285146770 81559552 16965 33554432000 134512640 137138936 4287457120 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 19912 16965 184 642 0 19268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79648
[startup+3.10091 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 7993
/proc/meminfo: memFree=25370980/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=79912 CPUtime=3.09 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20310 0 0 0 306 3 0 0 25 0 1 0 285146770 81829888 17034 33554432000 134512640 137138936 4287457120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 19978 17034 184 642 0 19334 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79912
[startup+6.30034 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 7993
/proc/meminfo: memFree=25364656/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=80440 CPUtime=6.29 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20439 0 0 0 626 3 0 0 25 0 1 0 285146770 82370560 17163 33554432000 134512640 137138936 4287457120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 20110 17163 184 642 0 19466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80440
[startup+12.7012 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 7993
/proc/meminfo: memFree=25352464/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=80704 CPUtime=12.69 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20532 0 0 0 1265 4 0 0 25 0 1 0 285146770 82640896 17256 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 20176 17256 184 642 0 19532 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80704
[startup+25.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 7993
/proc/meminfo: memFree=25330644/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=81100 CPUtime=25.49 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20630 0 0 0 2544 5 0 0 25 0 1 0 285146770 83046400 17354 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 20275 17354 184 642 0 19631 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81100
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 7995
/proc/meminfo: memFree=25289616/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=81628 CPUtime=51.09 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20754 0 0 0 5103 6 0 0 25 0 1 0 285146770 83587072 17478 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 20407 17478 184 642 0 19763 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81628
[startup+102.315 s]
/proc/loadavg: 2.06 2.03 2.00 3/416 7996
/proc/meminfo: memFree=25224856/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=82420 CPUtime=102.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20957 0 0 0 10223 7 0 0 25 0 1 0 285146770 84398080 17681 33554432000 134512640 137138936 4287457120 18446744073709551615 134542640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7992/statm: 20605 17681 184 642 0 19961 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 82420
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/416 7998
/proc/meminfo: memFree=25141636/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=82816 CPUtime=162.27 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 21045 0 0 0 16218 9 0 0 25 0 1 0 285146770 84803584 17769 33554432000 134512640 137138936 4287457120 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 20704 17769 184 642 0 20060 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 82816
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8001
/proc/meminfo: memFree=25050728/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=89880 CPUtime=222.27 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 2151352 0 0 0 22010 217 0 0 25 0 1 0 285146770 92037120 19576 33554432000 134512640 137138936 4287457120 18446744073709551615 134575263 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 22470 19576 192 642 0 21826 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 89880
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8002
/proc/meminfo: memFree=24941472/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=136620 CPUtime=282.27 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 7625864 0 0 0 27519 708 0 0 25 0 1 0 285146770 139898880 31154 33554432000 134512640 137138936 4287457120 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 34155 31180 192 642 0 33511 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 136620
[startup+342.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/416 8005
/proc/meminfo: memFree=24798984/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=209548 CPUtime=342.28 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 12279820 0 0 0 33104 1124 0 0 25 0 1 0 285146770 214577152 49494 33554432000 134512640 137138936 4287457120 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 52387 49494 192 642 0 51743 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 209548
[startup+402.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/416 8006
/proc/meminfo: memFree=24713040/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=256196 CPUtime=402.28 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 17372800 0 0 0 38624 1604 0 0 25 0 1 0 285146770 262344704 61164 33554432000 134512640 137138936 4287457120 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 64049 61164 192 642 0 63405 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 256196
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 8009
/proc/meminfo: memFree=24667892/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=300272 CPUtime=462.28 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 20429926 0 0 0 44328 1900 0 0 25 0 1 0 285146770 307478528 72170 33554432000 134512640 137138936 4287457120 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 75068 72170 192 642 0 74424 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 300272
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8011
/proc/meminfo: memFree=24650900/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=316744 CPUtime=522.28 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 21661504 0 0 0 50190 2038 0 0 25 0 1 0 285146770 324345856 76313 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 79186 76313 192 642 0 78542 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 316744
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8012
/proc/meminfo: memFree=24631668/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=336516 CPUtime=582.29 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 22736072 0 0 0 56074 2155 0 0 25 0 1 0 285146770 344592384 81256 33554432000 134512640 137138936 4287457120 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 84129 81256 192 642 0 83485 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 336516
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24443220/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=522028 CPUtime=1122.29 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 34826075 0 0 0 108770 3459 0 0 25 0 1 0 285146770 534556672 127604 33554432000 134512640 137138936 4287457120 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 130507 127604 192 642 0 129863 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 522028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8031
/proc/meminfo: memFree=24423740/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=540212 CPUtime=1182.29 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 36083657 0 0 0 114633 3596 0 0 25 0 1 0 285146770 553177088 132166 33554432000 134512640 137138936 4287457120 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 135053 132166 192 642 0 134409 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 540212
[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/416 8034
/proc/meminfo: memFree=24389624/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=574356 CPUtime=1242.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 39079847 0 0 0 120345 3885 0 0 25 0 1 0 285146770 588140544 140716 33554432000 134512640 137138936 4287457120 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 143589 140716 192 642 0 142945 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 574356
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/416 8035
/proc/meminfo: memFree=24356124/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=607700 CPUtime=1302.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 40902326 0 0 0 126156 4074 0 0 25 0 1 0 285146770 622284800 149025 33554432000 134512640 137138936 4287457120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 151925 149025 192 642 0 151281 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 607700
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 8037
/proc/meminfo: memFree=24325860/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=638144 CPUtime=1362.29 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 42749698 0 0 0 131962 4267 0 0 25 0 1 0 285146770 653459456 156642 33554432000 134512640 137138936 4287457120 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 159536 156642 192 642 0 158892 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 638144
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8039
/proc/meminfo: memFree=24308364/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=655080 CPUtime=1422.31 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 43712825 0 0 0 137856 4375 0 0 25 0 1 0 285146770 670801920 160869 33554432000 134512640 137138936 4287457120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 163770 160869 192 642 0 163126 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 655080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8040
/proc/meminfo: memFree=24293600/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=670032 CPUtime=1482.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 44474456 0 0 0 143767 4463 0 0 25 0 1 0 285146770 686112768 164625 33554432000 134512640 137138936 4287457120 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 167508 164625 192 642 0 166864 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 670032
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 8099
/proc/meminfo: memFree=25313816/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=686600 CPUtime=1542.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 45051768 0 0 0 149697 4533 0 0 25 0 1 0 285146770 703078400 168747 33554432000 134512640 137138936 4287457120 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 171650 168747 192 642 0 171006 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 686600
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8100
/proc/meminfo: memFree=25233440/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=709144 CPUtime=1602.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 45877845 0 0 0 155594 4636 0 0 25 0 1 0 285146770 726163456 174384 33554432000 134512640 137138936 4287457120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 177286 174384 192 642 0 176642 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 709144
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8102
/proc/meminfo: memFree=25200944/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=729136 CPUtime=1662.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 46590412 0 0 0 161507 4723 0 0 25 0 1 0 285146770 746635264 179386 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 182284 179386 192 642 0 181640 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 729136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8104
/proc/meminfo: memFree=25173776/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=748580 CPUtime=1722.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 47268239 0 0 0 167423 4807 0 0 25 0 1 0 285146770 766545920 184263 33554432000 134512640 137138936 4287457120 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 187145 184263 192 642 0 186501 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 748580
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8105
/proc/meminfo: memFree=25154772/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=765400 CPUtime=1782.3 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48133954 0 0 0 173323 4907 0 0 25 0 1 0 285146770 783769600 188473 33554432000 134512640 137138936 4287457120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 191350 188473 192 642 0 190706 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 765400
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8105
/proc/meminfo: memFree=25154524/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=766460 CPUtime=1785.5 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48177436 0 0 0 173639 4911 0 0 25 0 1 0 285146770 784855040 188740 33554432000 134512640 137138936 4287457120 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 191615 188740 192 642 0 190971 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 766460
[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8106
/proc/meminfo: memFree=25151920/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=769704 CPUtime=1791.92 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48266384 0 0 0 174271 4921 0 0 25 0 1 0 285146770 788176896 189538 33554432000 134512640 137138936 4287457120 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 192426 189538 192 642 0 191782 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 769704
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8106
/proc/meminfo: memFree=25150804/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=769904 CPUtime=1795.12 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48304701 0 0 0 174586 4926 0 0 25 0 1 0 285146770 788381696 189585 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 192476 189585 192 642 0 191832 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 769904
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8106
/proc/meminfo: memFree=25150556/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=770308 CPUtime=1796.71 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48323940 0 0 0 174743 4928 0 0 25 0 1 0 285146770 788795392 189689 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 192577 189689 192 642 0 191933 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 770308
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8106
/proc/meminfo: memFree=25150060/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=770572 CPUtime=1797.5 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48332381 0 0 0 174821 4929 0 0 25 0 1 0 285146770 789065728 189745 33554432000 134512640 137138936 4287457120 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 192643 189745 192 642 0 191999 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 770572
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8106
/proc/meminfo: memFree=25150060/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=770704 CPUtime=1797.91 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48336923 0 0 0 174861 4930 0 0 25 0 1 0 285146770 789200896 189772 33554432000 134512640 137138936 4287457120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 192676 189772 192 642 0 192032 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 770704
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8106
/proc/meminfo: memFree=25150060/32950928 swapFree=52006644/67111528
[pid=7992] ppid=7989 vsize=770704 CPUtime=1798 cores=0,2,4,6
/proc/7992/stat : 7992 (bsolo) R 7989 7992 6914 0 -1 4202496 48338650 0 0 0 174870 4930 0 0 25 0 1 0 285146770 789200896 189779 33554432000 134512640 137138936 4287457120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7992/statm: 192676 189779 192 642 0 192032 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 770704
Child status: 0
Real time (s): 1798.04
CPU time (s): 1798.06
CPU user time (s): 1748.72
CPU system time (s): 49.3375
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 771300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.72
system time used= 49.3375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48338867
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= 4
involuntary context switches= 1491
runsolver used 7.71383 second user time and 16.8054 second system time
The end