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-3463146-1307176402/watcher-3463146-1307176402 -o /tmp/evaluation-result-3463146-1307176402/solver-3463146-1307176402 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463146-1307176402.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.01 2.00 2/498 32040
/proc/meminfo: memFree=25841188/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=11476 CPUtime=0.01 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 445 0 0 0 1 0 0 0 23 0 1 0 907870880 11751424 399 33554432000 134512640 137138936 4292437856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 2869 399 227 642 0 2151 0
[startup+0.0356861 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 32040
/proc/meminfo: memFree=25841188/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=11968 CPUtime=0.03 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 681 0 0 0 3 0 0 0 23 0 1 0 907870880 12255232 561 33554432000 134512640 137138936 4292437856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 2992 561 185 642 0 2348 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11968
[startup+0.100687 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 32040
/proc/meminfo: memFree=25841188/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=13172 CPUtime=0.09 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1625 0 0 0 9 0 0 0 23 0 1 0 907870880 13488128 689 33554432000 134512640 137138936 4292437856 18446744073709551615 134734954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 3293 689 282 642 0 2649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13172
[startup+0.300646 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 32040
/proc/meminfo: memFree=25841188/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=13144 CPUtime=0.29 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 8222 0 0 0 29 0 0 0 25 0 1 0 907870880 13459456 681 33554432000 134512640 137138936 4292437856 18446744073709551615 135443590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 3286 681 282 642 0 2642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13144
[startup+0.700571 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 32040
/proc/meminfo: memFree=25841188/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=13080 CPUtime=0.69 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 29394 0 0 0 66 3 0 0 25 0 1 0 907870880 13393920 680 33554432000 134512640 137138936 4292437856 18446744073709551615 134840707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 3270 685 283 642 0 2626 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13080
[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32041
/proc/meminfo: memFree=25837964/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=13108 CPUtime=1.49 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 65322 0 0 0 142 7 0 0 25 0 1 0 907870880 13422592 695 33554432000 134512640 137138936 4292437856 18446744073709551615 136528575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 3277 695 286 642 0 2633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13108
[startup+3.10113 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32041
/proc/meminfo: memFree=25836352/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=13380 CPUtime=3.09 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 149876 0 0 0 293 16 0 0 25 0 1 0 907870880 13701120 708 33554432000 134512640 137138936 4292437856 18446744073709551615 135380656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 3345 708 286 642 0 2701 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13380
[startup+6.30053 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32041
/proc/meminfo: memFree=25833244/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=14972 CPUtime=6.3 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 345933 0 0 0 591 39 0 0 25 0 1 0 907870880 15331328 1116 33554432000 134512640 137138936 4292437856 18446744073709551615 136506019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 3743 1116 287 642 0 3099 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14972
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32041
/proc/meminfo: memFree=25816060/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=28568 CPUtime=12.69 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 692714 0 0 0 1193 76 0 0 25 0 1 0 907870880 29253632 4603 33554432000 134512640 137138936 4292437856 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7142 4603 288 642 0 6498 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28568
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32042
/proc/meminfo: memFree=25804424/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=28112 CPUtime=25.5 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734891 0 0 0 2467 83 0 0 25 0 1 0 907870880 28786688 4619 33554432000 134512640 137138936 4292437856 18446744073709551615 135379695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7028 4619 288 642 0 6384 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 28112
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32042
/proc/meminfo: memFree=25786684/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=28112 CPUtime=51.1 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734891 0 0 0 5026 84 0 0 25 0 1 0 907870880 28786688 4619 33554432000 134512640 137138936 4292437856 18446744073709551615 135251824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7028 4619 288 642 0 6384 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 28112
[startup+102.319 s]
/proc/loadavg: 2.08 2.03 2.01 3/499 32044
/proc/meminfo: memFree=25758752/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=27584 CPUtime=102.31 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734891 0 0 0 10146 85 0 0 25 0 1 0 907870880 28246016 4569 33554432000 134512640 137138936 4292437856 18446744073709551615 135251030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 6896 4569 288 642 0 6252 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 27584
[startup+162.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/499 32045
/proc/meminfo: memFree=25727116/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=27584 CPUtime=162.3 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734891 0 0 0 16143 87 0 0 25 0 1 0 907870880 28246016 4569 33554432000 134512640 137138936 4292437856 18446744073709551615 135783805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 6896 4569 288 642 0 6252 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27584
[startup+222.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/499 32047
/proc/meminfo: memFree=25701664/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=27584 CPUtime=222.3 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734891 0 0 0 22141 89 0 0 25 0 1 0 907870880 28246016 4569 33554432000 134512640 137138936 4292437856 18446744073709551615 135457439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 6896 4569 288 642 0 6252 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27584
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 32049
/proc/meminfo: memFree=25667780/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=27736 CPUtime=282.3 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734901 0 0 0 28140 90 0 0 25 0 1 0 907870880 28401664 4579 33554432000 134512640 137138936 4292437856 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 6934 4579 288 642 0 6290 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27736
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32053
/proc/meminfo: memFree=25640596/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=27736 CPUtime=342.31 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734901 0 0 0 34138 93 0 0 25 0 1 0 907870880 28401664 4579 33554432000 134512640 137138936 4292437856 18446744073709551615 135251810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 6934 4579 288 642 0 6290 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 27736
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32055
/proc/meminfo: memFree=25613636/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=27736 CPUtime=402.3 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734901 0 0 0 40136 94 0 0 25 0 1 0 907870880 28401664 4579 33554432000 134512640 137138936 4292437856 18446744073709551615 134750184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 6934 4579 288 642 0 6290 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 27736
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32056
/proc/meminfo: memFree=25588928/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=27736 CPUtime=462.31 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734903 0 0 0 46135 96 0 0 25 0 1 0 907870880 28401664 4581 33554432000 134512640 137138936 4292437856 18446744073709551615 134730909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 6934 4581 288 642 0 6290 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 27736
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32058
/proc/meminfo: memFree=25561744/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=28064 CPUtime=522.31 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734967 0 0 0 52134 97 0 0 25 0 1 0 907870880 28737536 4645 33554432000 134512640 137138936 4292437856 18446744073709551615 134840734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7016 4645 288 642 0 6372 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 28064
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32060
/proc/meminfo: memFree=25540872/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=28064 CPUtime=582.31 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 734967 0 0 0 58133 98 0 0 25 0 1 0 907870880 28737536 4645 33554432000 134512640 137138936 4292437856 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7016 4645 288 642 0 6372 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 28064
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26421612/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1062.33 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 105926 307 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135457154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 31072
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/499 32155
/proc/meminfo: memFree=26421936/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1122.33 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 111925 308 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134828784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 31072
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 32157
/proc/meminfo: memFree=26422040/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1182.33 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 117924 309 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 31072
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 32158
/proc/meminfo: memFree=26421012/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1242.33 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 123923 310 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134721063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 31072
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/499 32160
/proc/meminfo: memFree=26420372/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1302.35 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 129923 312 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135443870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 31072
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 32161
/proc/meminfo: memFree=26420216/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1362.34 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 135920 314 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135339180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 31072
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 32163
/proc/meminfo: memFree=26420068/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1422.36 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 141921 315 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135251312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 31072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32165
/proc/meminfo: memFree=26420780/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1482.34 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 147918 316 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134731489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 31072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32166
/proc/meminfo: memFree=26420992/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1542.34 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 153917 317 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135339193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 31072
[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 32168
/proc/meminfo: memFree=26421092/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1602.35 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 159916 319 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134828560 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 31072
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 32178
/proc/meminfo: memFree=26419344/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1662.34 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 165915 319 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 31072
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 32180
/proc/meminfo: memFree=26420140/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1722.34 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 171914 320 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135071622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 31072
[startup+1782.3 s]
/proc/loadavg: 2.23 2.08 2.02 3/499 32182
/proc/meminfo: memFree=26419992/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1782.35 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 177914 321 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135358756 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 31072
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.21 2.08 2.02 3/499 32182
/proc/meminfo: memFree=26419988/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1785.55 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 178233 322 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 31072
[startup+1791.92 s]
/proc/loadavg: 2.20 2.08 2.02 3/499 32182
/proc/meminfo: memFree=26420604/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1791.97 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 178875 322 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135444233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 31072
[startup+1795.1 s]
/proc/loadavg: 2.18 2.08 2.02 3/499 32182
/proc/meminfo: memFree=26420604/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1795.17 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 179195 322 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 31072
[startup+1796.7 s]
/proc/loadavg: 2.18 2.08 2.02 3/499 32182
/proc/meminfo: memFree=26420604/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1796.75 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 179353 322 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 31072
[startup+1797.5 s]
/proc/loadavg: 2.18 2.08 2.02 3/499 32182
/proc/meminfo: memFree=26420604/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1797.55 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 179433 322 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 134587465 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 31072
[startup+1797.9 s]
/proc/loadavg: 2.18 2.08 2.02 3/499 32182
/proc/meminfo: memFree=26420604/32950928 swapFree=34421304/67111528
[pid=32040] ppid=32038 vsize=31072 CPUtime=1797.95 cores=1,3,5,7
/proc/32040/stat : 32040 (bsolo) R 32038 32040 29288 0 -1 4202496 1922076 0 0 0 179473 322 0 0 25 0 1 0 907870880 31817728 5441 33554432000 134512640 137138936 4292437856 18446744073709551615 135333088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32040/statm: 7768 5441 288 642 0 7124 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 31072
Child status: 0
Real time (s): 1797.94
CPU time (s): 1798
CPU user time (s): 1794.78
CPU system time (s): 3.22351
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 33868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 3.22351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1922076
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= 2496
runsolver used 8.31174 second user time and 20.8548 second system time
The end