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-3462976-1307179341/watcher-3462976-1307179341 -o /tmp/evaluation-result-3462976-1307179341/solver-3462976-1307179341 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462976-1307179341.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/443 25768
/proc/meminfo: memFree=28792788/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 295 0 0 0 0 0 0 0 19 0 1 0 908164817 27049984 246 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 6604 246 192 642 0 5960 0
[startup+0.0246619 s]
/proc/loadavg: 2.00 2.03 2.00 3/443 25768
/proc/meminfo: memFree=28792788/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=18604 CPUtime=0.02 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 320 0 0 0 2 0 0 0 19 0 1 0 908164817 19050496 271 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 4651 271 192 642 0 4007 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18604
[startup+0.100654 s]
/proc/loadavg: 2.00 2.03 2.00 3/443 25768
/proc/meminfo: memFree=28792788/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=19116 CPUtime=0.09 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 450 0 0 0 9 0 0 0 19 0 1 0 908164817 19574784 401 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 4779 401 192 642 0 4135 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19116
[startup+0.300614 s]
/proc/loadavg: 2.00 2.03 2.00 3/443 25768
/proc/meminfo: memFree=28792788/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=20404 CPUtime=0.29 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 770 0 0 0 29 0 0 0 20 0 1 0 908164817 20893696 721 33554432000 134512640 137138936 4291473904 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 5101 721 192 642 0 4457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20404
[startup+0.700535 s]
/proc/loadavg: 2.00 2.03 2.00 3/443 25768
/proc/meminfo: memFree=28792788/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=21688 CPUtime=0.69 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 1082 0 0 0 69 0 0 0 21 0 1 0 908164817 22208512 1033 33554432000 134512640 137138936 4291473904 18446744073709551615 136297747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 5422 1033 192 642 0 4778 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21688
[startup+1.50039 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 25769
/proc/meminfo: memFree=28788208/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=22456 CPUtime=1.48 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 1257 0 0 0 148 0 0 0 23 0 1 0 908164817 22994944 1208 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 5614 1208 192 642 0 4970 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22456
[startup+3.1011 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 25769
/proc/meminfo: memFree=28786720/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=23484 CPUtime=3.08 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 1520 0 0 0 307 1 0 0 25 0 1 0 908164817 24047616 1471 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 5871 1471 192 642 0 5227 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23484
[startup+6.30048 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 25769
/proc/meminfo: memFree=28785036/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=24628 CPUtime=6.28 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 1807 0 0 0 626 2 0 0 25 0 1 0 908164817 25219072 1758 33554432000 134512640 137138936 4291473904 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 6157 1758 192 642 0 5513 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24628
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 25769
/proc/meminfo: memFree=28783168/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=25256 CPUtime=12.69 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 1963 0 0 0 1265 4 0 0 25 0 1 0 908164817 25862144 1914 33554432000 134512640 137138936 4291473904 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 6314 1914 192 642 0 5670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25256
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25769
/proc/meminfo: memFree=28783160/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=25756 CPUtime=25.49 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 2103 0 0 0 2540 9 0 0 25 0 1 0 908164817 26374144 2054 33554432000 134512640 137138936 4291473904 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 6439 2054 192 642 0 5795 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25756
[startup+51.1011 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25770
/proc/meminfo: memFree=28781268/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=27776 CPUtime=51.09 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 2612 0 0 0 5093 16 0 0 25 0 1 0 908164817 28442624 2563 33554432000 134512640 137138936 4291473904 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 6944 2563 192 642 0 6300 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27776
[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25771
/proc/meminfo: memFree=28780492/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=28664 CPUtime=102.31 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 2832 0 0 0 10202 29 0 0 25 0 1 0 908164817 29351936 2783 33554432000 134512640 137138936 4291473904 18446744073709551615 134602841 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 7166 2783 192 642 0 6522 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28664
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 25773
/proc/meminfo: memFree=28778324/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=29640 CPUtime=162.29 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3069 0 0 0 16185 44 0 0 25 0 1 0 908164817 30351360 3020 33554432000 134512640 137138936 4291473904 18446744073709551615 134552486 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 7410 3020 192 642 0 6766 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29640
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 25775
/proc/meminfo: memFree=28777636/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=30896 CPUtime=222.3 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3376 0 0 0 22171 59 0 0 25 0 1 0 908164817 31637504 3327 33554432000 134512640 137138936 4291473904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 7724 3327 192 642 0 7080 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 30896
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 25776
/proc/meminfo: memFree=28776952/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=31276 CPUtime=282.3 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3481 0 0 0 28154 76 0 0 25 0 1 0 908164817 32026624 3432 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 7819 3432 192 642 0 7175 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31276
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/444 25778
/proc/meminfo: memFree=28776756/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=31276 CPUtime=342.3 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3481 0 0 0 34135 95 0 0 25 0 1 0 908164817 32026624 3432 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 7819 3432 192 642 0 7175 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31276
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/444 25970
/proc/meminfo: memFree=29788056/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=32820 CPUtime=402.3 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3867 0 0 0 40120 110 0 0 25 0 1 0 908164817 33607680 3818 33554432000 134512640 137138936 4291473904 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 8205 3818 192 642 0 7561 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32820
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/444 25972
/proc/meminfo: memFree=29783820/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=33032 CPUtime=462.31 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3914 0 0 0 46104 127 0 0 25 0 1 0 908164817 33824768 3865 33554432000 134512640 137138936 4291473904 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 8258 3865 192 642 0 7614 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 33032
[startup+522.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/444 25973
/proc/meminfo: memFree=29754880/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=33024 CPUtime=522.31 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3914 0 0 0 52089 142 0 0 25 0 1 0 908164817 33816576 3865 33554432000 134512640 137138936 4291473904 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 8256 3865 192 642 0 7612 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 33024
[startup+582.301 s]
/proc/loadavg: 2.16 2.06 2.02 3/444 25975
/proc/meminfo: memFree=29747016/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=33124 CPUtime=582.3 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 3940 0 0 0 58073 157 0 0 25 0 1 0 908164817 33918976 3891 33554432000 134512640 137138936 4291473904 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 8281 3891 192 642 0 7637 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 33124
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=29719480/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36104 CPUtime=1062.33 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4687 0 0 0 105985 248 0 0 25 0 1 0 908164817 36970496 4638 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9026 4638 192 642 0 8382 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 36104
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/444 25993
/proc/meminfo: memFree=29719568/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36096 CPUtime=1122.33 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4687 0 0 0 111971 262 0 0 25 0 1 0 908164817 36962304 4638 33554432000 134512640 137138936 4291473904 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9024 4638 192 642 0 8380 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 36096
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/444 25994
/proc/meminfo: memFree=29745572/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36084 CPUtime=1182.32 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4687 0 0 0 117957 275 0 0 25 0 1 0 908164817 36950016 4638 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9021 4638 192 642 0 8377 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 36084
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 25996
/proc/meminfo: memFree=29718880/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36380 CPUtime=1242.33 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4754 0 0 0 123947 286 0 0 25 0 1 0 908164817 37253120 4705 33554432000 134512640 137138936 4291473904 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9095 4705 192 642 0 8451 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 36380
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25997
/proc/meminfo: memFree=29717484/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36376 CPUtime=1302.35 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4764 0 0 0 129939 296 0 0 25 0 1 0 908164817 37249024 4715 33554432000 134512640 137138936 4291473904 18446744073709551615 134540724 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9094 4715 192 642 0 8450 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 36376
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25999
/proc/meminfo: memFree=29740140/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36504 CPUtime=1362.33 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4793 0 0 0 135929 304 0 0 25 0 1 0 908164817 37380096 4744 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9126 4744 192 642 0 8482 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 36504
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26001
/proc/meminfo: memFree=29711952/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36504 CPUtime=1422.36 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4793 0 0 0 141920 316 0 0 25 0 1 0 908164817 37380096 4744 33554432000 134512640 137138936 4291473904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9126 4744 192 642 0 8482 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 36504
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26002
/proc/meminfo: memFree=29706204/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36504 CPUtime=1482.34 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4793 0 0 0 147906 328 0 0 25 0 1 0 908164817 37380096 4744 33554432000 134512640 137138936 4291473904 18446744073709551615 134542442 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9126 4744 192 642 0 8482 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 36504
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26004
/proc/meminfo: memFree=29711244/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36504 CPUtime=1542.34 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4793 0 0 0 153896 338 0 0 25 0 1 0 908164817 37380096 4744 33554432000 134512640 137138936 4291473904 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9126 4744 192 642 0 8482 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 36504
[startup+1602.3 s]
/proc/loadavg: 2.23 2.06 2.02 3/444 26005
/proc/meminfo: memFree=29698320/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36504 CPUtime=1602.35 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4793 0 0 0 159883 352 0 0 25 0 1 0 908164817 37380096 4744 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9126 4744 192 642 0 8482 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 36504
[startup+1662.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/444 26007
/proc/meminfo: memFree=29695168/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=36496 CPUtime=1662.34 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 4793 0 0 0 165871 363 0 0 25 0 1 0 908164817 37371904 4744 33554432000 134512640 137138936 4291473904 18446744073709551615 134606976 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9124 4744 192 642 0 8480 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 36496
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/444 26008
/proc/meminfo: memFree=29689420/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=37780 CPUtime=1722.34 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5107 0 0 0 171861 373 0 0 25 0 1 0 908164817 38686720 5058 33554432000 134512640 137138936 4291473904 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9445 5058 192 642 0 8801 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 37780
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/444 26010
/proc/meminfo: memFree=29685416/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=38052 CPUtime=1782.35 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5174 0 0 0 177853 382 0 0 25 0 1 0 908164817 38965248 5125 33554432000 134512640 137138936 4291473904 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9513 5125 192 642 0 8869 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 38052
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.05 2.01 3/444 26010
/proc/meminfo: memFree=29685664/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=38052 CPUtime=1785.56 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5174 0 0 0 178173 383 0 0 25 0 1 0 908164817 38965248 5125 33554432000 134512640 137138936 4291473904 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9513 5125 192 642 0 8869 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 38052
[startup+1791.92 s]
/proc/loadavg: 2.02 2.05 2.01 3/444 26010
/proc/meminfo: memFree=29695208/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=38052 CPUtime=1791.97 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5174 0 0 0 178813 384 0 0 25 0 1 0 908164817 38965248 5125 33554432000 134512640 137138936 4291473904 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9513 5125 192 642 0 8869 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 38052
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.01 3/444 26010
/proc/meminfo: memFree=29687272/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=38172 CPUtime=1795.16 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5203 0 0 0 179132 384 0 0 25 0 1 0 908164817 39088128 5154 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9543 5154 192 642 0 8899 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 38172
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.01 3/444 26010
/proc/meminfo: memFree=29685412/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=38172 CPUtime=1796.75 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5203 0 0 0 179291 384 0 0 25 0 1 0 908164817 39088128 5154 33554432000 134512640 137138936 4291473904 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9543 5154 192 642 0 8899 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 38172
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.01 3/444 26011
/proc/meminfo: memFree=29716040/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=38172 CPUtime=1797.56 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5203 0 0 0 179371 385 0 0 25 0 1 0 908164817 39088128 5154 33554432000 134512640 137138936 4291473904 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9543 5154 192 642 0 8899 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 38172
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.01 3/444 26011
/proc/meminfo: memFree=29716040/32950928 swapFree=52246700/67111528
[pid=25768] ppid=25766 vsize=38172 CPUtime=1797.96 cores=1,3,5,7
/proc/25768/stat : 25768 (bsolo) R 25766 25768 23545 0 -1 4202496 5203 0 0 0 179411 385 0 0 25 0 1 0 908164817 39088128 5154 33554432000 134512640 137138936 4291473904 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25768/statm: 9543 5154 192 642 0 8899 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 38172
Child status: 0
Real time (s): 1797.94
CPU time (s): 1798
CPU user time (s): 1794.15
CPU system time (s): 3.85141
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 38172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 3.85141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5203
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= 20849
runsolver used 7.35388 second user time and 18.7901 second system time
The end