runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707681-1338236030/watcher-3707681-1338236030 -o /tmp/evaluation-result-3707681-1338236030/solver-3707681-1338236030 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707681-1338236030.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 18629
/proc/meminfo: memFree=27936040/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=20352 CPUtime=0 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 289728893 20840448 330 33554432000 134512640 137138936 4292303008 4292301360 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 5088 330 178 642 0 4080 0
[startup+0.079268 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 18629
/proc/meminfo: memFree=27936040/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=16240 CPUtime=0.07 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 1542 0 0 0 7 0 0 0 20 0 1 0 289728893 16629760 1456 33554432000 134512640 137138936 4292303008 4292301400 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 4060 1456 417 642 0 3052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16240
[startup+0.100323 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 18629
/proc/meminfo: memFree=27936040/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=16644 CPUtime=0.09 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 1711 0 0 0 9 0 0 0 20 0 1 0 289728893 17043456 1625 33554432000 134512640 137138936 4292303008 4292299864 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 4161 1625 478 642 0 3153 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16644
[startup+0.300249 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 18629
/proc/meminfo: memFree=27936040/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=19136 CPUtime=0.29 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 2706 0 0 0 29 0 0 0 20 0 1 0 289728893 19595264 2256 33554432000 134512640 137138936 4292303008 4292043228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 4784 2256 184 642 0 4140 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19136
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 18629
/proc/meminfo: memFree=27936040/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=19136 CPUtime=0.69 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 2707 0 0 0 69 0 0 0 20 0 1 0 289728893 19595264 2257 33554432000 134512640 137138936 4292303008 4292043228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 4784 2257 184 642 0 4140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19136
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18668
/proc/meminfo: memFree=28965400/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=19136 CPUtime=1.48 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 2707 0 0 0 148 0 0 0 20 0 1 0 289728893 19595264 2257 33554432000 134512640 137138936 4292303008 4292043228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 4784 2257 184 642 0 4140 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19136
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18668
/proc/meminfo: memFree=28964656/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=19136 CPUtime=3.08 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 2708 0 0 0 308 0 0 0 20 0 1 0 289728893 19595264 2258 33554432000 134512640 137138936 4292303008 4292043228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 4784 2258 184 642 0 4140 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19136
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18668
/proc/meminfo: memFree=28964136/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=19136 CPUtime=6.29 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 2708 0 0 0 628 1 0 0 20 0 1 0 289728893 19595264 2258 33554432000 134512640 137138936 4292303008 4292043228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 4784 2258 184 642 0 4140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19136
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18668
/proc/meminfo: memFree=28959380/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=21936 CPUtime=12.68 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 3635 0 0 0 1253 15 0 0 20 0 1 0 289728893 22462464 2970 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 5484 2970 192 642 0 4840 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21936
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18668
/proc/meminfo: memFree=28924428/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=40604 CPUtime=25.49 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 8303 0 0 0 2497 52 0 0 20 0 1 0 289728893 41578496 7638 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 10151 7638 192 642 0 9507 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40604
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18668
/proc/meminfo: memFree=28866612/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=69460 CPUtime=51.06 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 15536 0 0 0 5008 98 0 0 20 0 1 0 289728893 71127040 14855 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 17365 14855 192 642 0 16721 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69460
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18668
/proc/meminfo: memFree=28747500/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=133744 CPUtime=102.23 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 31648 0 0 0 10078 145 0 0 20 0 1 0 289728893 136953856 31400 33554432000 134512640 137138936 4292303008 4292301936 134542237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 33436 31400 192 642 0 32792 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 133744
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18669
/proc/meminfo: memFree=28642004/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=183880 CPUtime=162.22 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 44175 0 0 0 16025 197 0 0 20 0 1 0 289728893 188293120 43927 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 45970 43927 192 642 0 45326 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 183880
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18669
/proc/meminfo: memFree=28542292/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=237936 CPUtime=222.21 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 57686 0 0 0 21989 232 0 0 20 0 1 0 289728893 243646464 57438 33554432000 134512640 137138936 4292303008 4292301936 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 59484 57438 192 642 0 58840 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 237936
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18669
/proc/meminfo: memFree=28444952/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=276624 CPUtime=282.2 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 67362 0 0 0 27952 268 0 0 20 0 1 0 289728893 283262976 67114 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 69156 67114 192 642 0 68512 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 276624
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 18669
/proc/meminfo: memFree=28349700/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=336848 CPUtime=342.14 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 82456 0 0 0 33918 296 0 0 20 0 1 0 289728893 344932352 82167 33554432000 134512640 137138936 4292303008 4292301936 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 84212 82167 192 642 0 83568 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 336848
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 18672
/proc/meminfo: memFree=28263788/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=389640 CPUtime=402.09 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 95703 0 0 0 39891 318 0 0 20 0 1 0 289728893 398991360 95366 33554432000 134512640 137138936 4292303008 4292301552 134607574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 97410 95366 192 642 0 96766 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 389640
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/175 18673
/proc/meminfo: memFree=28195004/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=430464 CPUtime=462.04 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 105953 0 0 0 45860 344 0 0 20 0 1 0 289728893 440795136 105572 33554432000 134512640 137138936 4292303008 4292301936 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 107616 105572 192 642 0 106972 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 430464
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/175 18673
/proc/meminfo: memFree=28110304/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=481856 CPUtime=522 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 118849 0 0 0 51831 369 0 0 20 0 1 0 289728893 493420544 118433 33554432000 134512640 137138936 4292303008 4292301928 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 120464 118433 192 642 0 119820 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 481856
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 18673
/proc/meminfo: memFree=28004160/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=536476 CPUtime=581.99 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 132494 0 0 0 57808 391 0 0 20 0 1 0 289728893 549351424 132078 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 134119 132078 192 642 0 133475 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 536476
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27293868/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=921968 CPUtime=1121.91 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 228868 0 0 0 111660 531 0 0 20 0 1 0 289728893 944095232 228452 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 230492 228452 192 642 0 229848 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 921968
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/175 18678
/proc/meminfo: memFree=27241664/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=943016 CPUtime=1181.9 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 234130 0 0 0 117643 547 0 0 20 0 1 0 289728893 965648384 233714 33554432000 134512640 137138936 4292303008 4292301552 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 235754 233714 192 642 0 235110 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 943016
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/175 18678
/proc/meminfo: memFree=27186364/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=973188 CPUtime=1241.87 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 241711 0 0 0 123625 562 0 0 20 0 1 0 289728893 996544512 241273 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 243297 241273 192 642 0 242653 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 973188
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/175 18678
/proc/meminfo: memFree=27136544/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1002028 CPUtime=1301.83 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 248946 0 0 0 129606 577 0 0 20 0 1 0 289728893 1026076672 248467 33554432000 134512640 137138936 4292303008 4292301936 134542330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 250507 248467 192 642 0 249863 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1002028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 18679
/proc/meminfo: memFree=27087964/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1028328 CPUtime=1361.78 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 255594 0 0 0 135588 590 0 0 20 0 1 0 289728893 1053007872 255074 33554432000 134512640 137138936 4292303008 4292301432 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 257082 255074 192 642 0 256438 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1028328
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 18679
/proc/meminfo: memFree=27042608/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1421.74 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259632 0 0 0 141556 618 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301552 134607581 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1043612
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 18679
/proc/meminfo: memFree=27019820/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1481.71 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259667 0 0 0 147504 667 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1043612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18680
/proc/meminfo: memFree=26985996/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1541.67 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259709 0 0 0 153447 720 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1043612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 18682
/proc/meminfo: memFree=26963712/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1601.66 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 159393 773 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301688 136501664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1043612
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/175 18683
/proc/meminfo: memFree=26937308/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1661.65 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 165354 811 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301616 134544592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 1043612
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 18683
/proc/meminfo: memFree=26921064/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1721.64 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 171334 830 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301432 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1043612
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26911516/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1781.63 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 177286 877 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301936 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1043612
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26912012/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1791.23 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 178239 884 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301936 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 1043612
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26912012/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1794.44 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 178558 886 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301936 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 1043612
[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26912012/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1796.02 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 178716 886 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 1043612
[startup+1797.5 s]
/proc/loadavg: 2.06 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26912012/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1796.83 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 178796 887 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301432 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 1043612
[startup+1798.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26912012/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1797.63 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 178875 888 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 1043612
[startup+1798.51 s]
/proc/loadavg: 2.06 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26912012/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1797.84 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 178896 888 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292301504 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 1043612
[startup+1798.6 s]
/proc/loadavg: 2.06 2.02 1.99 3/175 18683
/proc/meminfo: memFree=26912012/32873852 swapFree=6856/6856
[pid=18629] ppid=18627 vsize=1043612 CPUtime=1797.93 cores=0,2,4,6
/proc/18629/stat : 18629 (bsolo) R 18627 18629 18303 0 -1 4202496 259721 0 0 0 178905 888 0 0 20 0 1 0 289728893 1068658688 258863 33554432000 134512640 137138936 4292303008 4292302124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18629/statm: 260903 258863 192 642 0 260259 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1043612
Child status: 0
Real time (s): 1798.67
CPU time (s): 1798
CPU user time (s): 1789.12
CPU system time (s): 8.88665
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 1044456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.12
system time used= 8.88665
maximum resident set size= 1036296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259721
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= 451
involuntary context switches= 1853
runsolver used 4.39833 second user time and 11.4023 second system time
The end