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-3479239-1307447085/watcher-3479239-1307447085 -o /tmp/evaluation-result-3479239-1307447085/solver-3479239-1307447085 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479239-1307447085.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: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=10916 CPUtime=0 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 934939312 11177984 281 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 2729 281 192 642 0 2085 0
[startup+0.0295291 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=11024 CPUtime=0.02 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 374 0 0 0 2 0 0 0 25 0 1 0 934939312 11288576 323 33554432000 134512640 137138936 4293264736 18446744073709551615 134552092 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 2756 323 192 642 0 2112 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11024
[startup+0.100518 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=11364 CPUtime=0.09 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 456 0 0 0 9 0 0 0 25 0 1 0 934939312 11636736 405 33554432000 134512640 137138936 4293264736 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 2841 406 192 642 0 2197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11364
[startup+0.300482 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=12256 CPUtime=0.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 687 0 0 0 29 0 0 0 25 0 1 0 934939312 12550144 636 33554432000 134512640 137138936 4293264736 18446744073709551615 134575040 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3064 636 192 642 0 2420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12256
[startup+0.700411 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=13292 CPUtime=0.69 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 935 0 0 0 69 0 0 0 25 0 1 0 934939312 13611008 884 33554432000 134512640 137138936 4293264736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3323 884 192 642 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13292
[startup+1.50027 s]
/proc/loadavg: 1.96 2.03 1.83 3/515 8709
/proc/meminfo: memFree=19211532/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=13856 CPUtime=1.49 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1075 0 0 0 148 1 0 0 25 0 1 0 934939312 14188544 1024 33554432000 134512640 137138936 4293264736 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3464 1024 192 642 0 2820 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13856
[startup+3.10106 s]
/proc/loadavg: 1.96 2.03 1.83 3/515 8709
/proc/meminfo: memFree=19209920/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=14416 CPUtime=3.09 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1213 0 0 0 307 2 0 0 25 0 1 0 934939312 14761984 1162 33554432000 134512640 137138936 4293264736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3604 1162 192 642 0 2960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14416
[startup+6.30043 s]
/proc/loadavg: 1.97 2.03 1.83 3/515 8709
/proc/meminfo: memFree=19208728/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=14768 CPUtime=6.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1314 0 0 0 626 3 0 0 25 0 1 0 934939312 15122432 1263 33554432000 134512640 137138936 4293264736 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3692 1263 192 642 0 3048 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14768
[startup+12.7003 s]
/proc/loadavg: 1.97 2.03 1.83 3/515 8710
/proc/meminfo: memFree=19208068/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=15184 CPUtime=12.69 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1419 0 0 0 1263 6 0 0 25 0 1 0 934939312 15548416 1368 33554432000 134512640 137138936 4293264736 18446744073709551615 134599106 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3796 1368 192 642 0 3152 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15184
[startup+25.5011 s]
/proc/loadavg: 1.98 2.03 1.83 3/515 8710
/proc/meminfo: memFree=19205708/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=16260 CPUtime=25.49 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1674 0 0 0 2538 11 0 0 25 0 1 0 934939312 16650240 1614 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4065 1614 192 642 0 3421 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16260
[startup+51.1006 s]
/proc/loadavg: 1.98 2.03 1.83 3/515 8711
/proc/meminfo: memFree=19204132/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=16412 CPUtime=51.09 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1864 0 0 0 5085 24 0 0 25 0 1 0 934939312 16805888 1679 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4103 1679 192 642 0 3459 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16412
[startup+102.32 s]
/proc/loadavg: 1.99 2.02 1.84 3/515 8712
/proc/meminfo: memFree=19200752/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=17844 CPUtime=102.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2369 0 0 0 10188 43 0 0 25 0 1 0 934939312 18272256 2035 33554432000 134512640 137138936 4293264736 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4461 2035 192 642 0 3817 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17844
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.84 3/515 8714
/proc/meminfo: memFree=19195248/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=18556 CPUtime=162.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2612 0 0 0 16164 65 0 0 25 0 1 0 934939312 19001344 2215 33554432000 134512640 137138936 4293264736 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4639 2215 192 642 0 3995 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18556
[startup+222.301 s]
/proc/loadavg: 2.07 2.03 1.86 3/515 8715
/proc/meminfo: memFree=19192336/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=18988 CPUtime=222.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2773 0 0 0 22138 91 0 0 25 0 1 0 934939312 19443712 2315 33554432000 134512640 137138936 4293264736 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4747 2315 192 642 0 4103 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18988
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 1.87 3/515 8717
/proc/meminfo: memFree=19189800/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19004 CPUtime=282.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2835 0 0 0 28112 117 0 0 25 0 1 0 934939312 19460096 2327 33554432000 134512640 137138936 4293264736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4751 2327 192 642 0 4107 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19004
[startup+342.301 s]
/proc/loadavg: 2.03 2.03 1.87 3/515 8718
/proc/meminfo: memFree=19186912/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19964 CPUtime=342.3 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3069 0 0 0 34089 141 0 0 25 0 1 0 934939312 20443136 2549 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4991 2549 192 642 0 4347 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19964
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 1.88 3/515 8720
/proc/meminfo: memFree=19184752/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19960 CPUtime=402.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3076 0 0 0 40067 162 0 0 25 0 1 0 934939312 20439040 2556 33554432000 134512640 137138936 4293264736 18446744073709551615 134575835 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4990 2556 192 642 0 4346 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 19960
[startup+462.301 s]
/proc/loadavg: 2.07 2.04 1.89 3/515 8722
/proc/meminfo: memFree=19181480/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19960 CPUtime=462.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3079 0 0 0 46049 180 0 0 25 0 1 0 934939312 20439040 2559 33554432000 134512640 137138936 4293264736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4990 2559 192 642 0 4346 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 19960
[startup+522.301 s]
/proc/loadavg: 2.06 2.05 1.91 3/515 8723
/proc/meminfo: memFree=19177320/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=20524 CPUtime=522.3 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3203 0 0 0 52028 202 0 0 25 0 1 0 934939312 21016576 2683 33554432000 134512640 137138936 4293264736 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5131 2683 192 642 0 4487 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20524
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 1.91 3/515 8725
/proc/meminfo: memFree=19173556/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=20616 CPUtime=582.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3237 0 0 0 58003 228 0 0 25 0 1 0 934939312 21110784 2717 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5154 2717 192 642 0 4510 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20616
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=19146852/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=21152 CPUtime=1062.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3686 0 0 0 105795 436 0 0 25 0 1 0 934939312 21659648 2864 33554432000 134512640 137138936 4293264736 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5288 2864 192 642 0 4644 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21152
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/515 8748
/proc/meminfo: memFree=19141956/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=21120 CPUtime=1122.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3942 0 0 0 111766 466 0 0 25 0 1 0 934939312 21626880 2856 33554432000 134512640 137138936 4293264736 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5280 2856 192 642 0 4636 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 21120
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/515 8750
/proc/meminfo: memFree=19141432/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22260 CPUtime=1182.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4251 0 0 0 117737 494 0 0 25 0 1 0 934939312 22794240 3141 33554432000 134512640 137138936 4293264736 18446744073709551615 134533392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5565 3141 192 642 0 4921 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 22260
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/515 8751
/proc/meminfo: memFree=19136044/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22384 CPUtime=1242.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4281 0 0 0 123710 522 0 0 25 0 1 0 934939312 22921216 3170 33554432000 134512640 137138936 4293264736 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5596 3170 192 642 0 4952 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 22384
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/515 8753
/proc/meminfo: memFree=19137100/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22508 CPUtime=1302.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4321 0 0 0 129683 549 0 0 25 0 1 0 934939312 23048192 3186 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5627 3186 192 642 0 4983 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 22508
[startup+1362.3 s]
/proc/loadavg: 2.34 2.11 1.97 3/515 8782
/proc/meminfo: memFree=18327104/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22228 CPUtime=1362.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4321 0 0 0 135662 569 0 0 25 0 1 0 934939312 22761472 3133 33554432000 134512640 137138936 4293264736 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5557 3133 192 642 0 4913 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 22228
[startup+1422.32 s]
/proc/loadavg: 2.23 2.12 1.98 3/515 8783
/proc/meminfo: memFree=17019104/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22204 CPUtime=1422.34 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4321 0 0 0 141644 590 0 0 25 0 1 0 934939312 22736896 3127 33554432000 134512640 137138936 4293264736 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5551 3127 192 642 0 4907 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 22204
[startup+1482.3 s]
/proc/loadavg: 2.08 2.10 1.98 3/515 8785
/proc/meminfo: memFree=17021780/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23260 CPUtime=1482.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4574 0 0 0 147620 612 0 0 25 0 1 0 934939312 23818240 3376 33554432000 134512640 137138936 4293264736 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5815 3376 192 642 0 5171 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 23260
[startup+1542.3 s]
/proc/loadavg: 2.03 2.08 1.98 3/515 8786
/proc/meminfo: memFree=17021980/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23128 CPUtime=1542.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4574 0 0 0 153603 629 0 0 25 0 1 0 934939312 23683072 3358 33554432000 134512640 137138936 4293264736 18446744073709551615 134552407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5782 3358 192 642 0 5138 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 23128
[startup+1602.3 s]
/proc/loadavg: 2.01 2.06 1.98 3/515 8788
/proc/meminfo: memFree=17911272/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=21872 CPUtime=1602.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4574 0 0 0 159586 646 0 0 25 0 1 0 934939312 22396928 3044 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5468 3044 192 642 0 4824 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 21872
[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.00 3/515 8790
/proc/meminfo: memFree=17884952/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22328 CPUtime=1662.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4680 0 0 0 165569 663 0 0 25 0 1 0 934939312 22863872 3146 33554432000 134512640 137138936 4293264736 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5582 3146 192 642 0 4938 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 22328
[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.00 3/515 8791
/proc/meminfo: memFree=17876868/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23820 CPUtime=1722.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 171552 680 0 0 25 0 1 0 934939312 24391680 3523 33554432000 134512640 137138936 4293264736 18446744073709551615 134575040 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5955 3523 192 642 0 5311 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 23820
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17869896/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1782.33 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 177539 694 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 23780
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17872128/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1785.53 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 177858 695 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 23780
[startup+1791.92 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17871868/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1791.95 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 178499 696 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134552736 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 23780
[startup+1795.1 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17870752/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1795.13 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 178817 696 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 23780
[startup+1796.7 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17871620/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1796.72 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 178975 697 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 23780
[startup+1797.5 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17870132/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1797.52 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 179055 697 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 23780
[startup+1797.9 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17870132/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1797.93 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 179095 698 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 23780
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1791.02
CPU system time (s): 6.98194
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 23828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.02
system time used= 6.98194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5067
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= 5128
runsolver used 8.70668 second user time and 20.9278 second system time
The end