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-3463791-1307185793/watcher-3463791-1307185793 -o /tmp/evaluation-result-3463791-1307185793/solver-3463791-1307185793 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463791-1307185793.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.02 2.00 2/443 26576
/proc/meminfo: memFree=29820684/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=14760 CPUtime=0 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 540 0 0 0 0 0 0 0 25 0 1 0 908809955 15114240 494 33554432000 134512640 137138936 4289765856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 3690 495 205 642 0 2268 0
[startup+0.104057 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 26576
/proc/meminfo: memFree=29820684/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=20572 CPUtime=0.09 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 2299 0 0 0 9 0 0 0 25 0 1 0 908809955 21065728 2253 33554432000 134512640 137138936 4289765856 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 5143 2254 536 642 0 3721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20572
[startup+0.201042 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 26576
/proc/meminfo: memFree=29820684/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=26308 CPUtime=0.19 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 4126 0 0 0 19 0 0 0 25 0 1 0 908809955 26939392 4040 33554432000 134512640 137138936 4289765856 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 6577 4040 875 642 0 5155 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26308
[startup+0.301035 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 26576
/proc/meminfo: memFree=29820684/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=32948 CPUtime=0.29 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 6548 0 0 0 28 1 0 0 25 0 1 0 908809955 33738752 5684 33554432000 134512640 137138936 4289765856 18446744073709551615 134543456 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 8237 5684 184 642 0 7593 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32948
[startup+0.700942 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 26576
/proc/meminfo: memFree=29820684/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=32948 CPUtime=0.69 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 6554 0 0 0 68 1 0 0 25 0 1 0 908809955 33738752 5690 33554432000 134512640 137138936 4289765856 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 8237 5690 184 642 0 7593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32948
[startup+1.5008 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26577
/proc/meminfo: memFree=29798976/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=32948 CPUtime=1.49 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 6559 0 0 0 148 1 0 0 25 0 1 0 908809955 33738752 5695 33554432000 134512640 137138936 4289765856 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 8237 5695 184 642 0 7593 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32948
[startup+3.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26577
/proc/meminfo: memFree=29796636/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=32948 CPUtime=3.09 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 6568 0 0 0 307 2 0 0 25 0 1 0 908809955 33738752 5704 33554432000 134512640 137138936 4289765856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 8237 5704 184 642 0 7593 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32948
[startup+6.30089 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26577
/proc/meminfo: memFree=29796060/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=32948 CPUtime=6.29 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 6759 0 0 0 623 6 0 0 25 0 1 0 908809955 33738752 5715 33554432000 134512640 137138936 4289765856 18446744073709551615 134543233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 8237 5715 192 642 0 7593 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32948
[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26577
/proc/meminfo: memFree=29795116/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=33268 CPUtime=12.69 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 6816 0 0 0 1262 7 0 0 25 0 1 0 908809955 34066432 5772 33554432000 134512640 137138936 4289765856 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 8317 5772 192 642 0 7673 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33268
[startup+25.5013 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26577
/proc/meminfo: memFree=29777984/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=50720 CPUtime=25.49 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 11179 0 0 0 2540 9 0 0 25 0 1 0 908809955 51937280 10135 33554432000 134512640 137138936 4289765856 18446744073709551615 136502109 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 12680 10135 192 642 0 12036 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50720
[startup+51.1005 s]
/proc/loadavg: 2.07 2.04 2.00 3/444 26578
/proc/meminfo: memFree=29748368/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=82980 CPUtime=51.09 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 19244 0 0 0 5097 12 0 0 25 0 1 0 908809955 84971520 18200 33554432000 134512640 137138936 4289765856 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 20745 18200 192 642 0 20101 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82980
[startup+102.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 26579
/proc/meminfo: memFree=29685604/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=136676 CPUtime=102.31 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 32668 0 0 0 10213 18 0 0 25 0 1 0 908809955 139956224 31624 33554432000 134512640 137138936 4289765856 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 34169 31624 192 642 0 33525 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 136676
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 26581
/proc/meminfo: memFree=29628400/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=189496 CPUtime=162.3 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 45873 0 0 0 16206 24 0 0 25 0 1 0 908809955 194043904 44829 33554432000 134512640 137138936 4289765856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 47374 44829 192 642 0 46730 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 189496
[startup+222.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26583
/proc/meminfo: memFree=29586440/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=223060 CPUtime=222.31 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 54264 0 0 0 22202 29 0 0 25 0 1 0 908809955 228413440 53220 33554432000 134512640 137138936 4289765856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 55765 53220 192 642 0 55121 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 223060
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26584
/proc/meminfo: memFree=29544120/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=255620 CPUtime=282.3 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 62412 0 0 0 28197 33 0 0 25 0 1 0 908809955 261754880 61368 33554432000 134512640 137138936 4289765856 18446744073709551615 134606697 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 63905 61368 192 642 0 63261 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 255620
[startup+342.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 26586
/proc/meminfo: memFree=29509480/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=290168 CPUtime=342.31 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 71042 0 0 0 34194 37 0 0 25 0 1 0 908809955 297132032 69998 33554432000 134512640 137138936 4289765856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 72542 69998 192 642 0 71898 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 290168
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/444 26587
/proc/meminfo: memFree=29453632/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=332048 CPUtime=402.3 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 81663 0 0 0 40189 41 0 0 25 0 1 0 908809955 340017152 80468 33554432000 134512640 137138936 4289765856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 83012 80468 192 642 0 82368 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 332048
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 26589
/proc/meminfo: memFree=29452468/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=332048 CPUtime=462.31 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 81663 0 0 0 46184 47 0 0 25 0 1 0 908809955 340017152 80468 33554432000 134512640 137138936 4289765856 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 83012 80468 192 642 0 82368 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 332048
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26591
/proc/meminfo: memFree=29453552/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=332048 CPUtime=522.31 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 81663 0 0 0 52180 51 0 0 25 0 1 0 908809955 340017152 80468 33554432000 134512640 137138936 4289765856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 83012 80468 192 642 0 82368 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 332048
[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 26592
/proc/meminfo: memFree=29454240/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=332048 CPUtime=582.32 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 81663 0 0 0 58177 55 0 0 25 0 1 0 908809955 340017152 80468 33554432000 134512640 137138936 4289765856 18446744073709551615 134600686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 83012 80468 192 642 0 82368 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 332048
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29335300/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=424636 CPUtime=1122.34 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 104986 0 0 0 112149 85 0 0 25 0 1 0 908809955 434827264 103615 33554432000 134512640 137138936 4289765856 18446744073709551615 134542273 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 106159 103615 192 642 0 105515 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 424636
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/444 26608
/proc/meminfo: memFree=29337748/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=424636 CPUtime=1182.33 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 104986 0 0 0 118146 87 0 0 25 0 1 0 908809955 434827264 103615 33554432000 134512640 137138936 4289765856 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 106159 103615 192 642 0 105515 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 424636
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 26610
/proc/meminfo: memFree=29335596/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=424636 CPUtime=1242.34 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 104986 0 0 0 124142 92 0 0 25 0 1 0 908809955 434827264 103615 33554432000 134512640 137138936 4289765856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 106159 103615 192 642 0 105515 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 424636
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26611
/proc/meminfo: memFree=29331344/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=424636 CPUtime=1302.34 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 104986 0 0 0 130140 94 0 0 25 0 1 0 908809955 434827264 103615 33554432000 134512640 137138936 4289765856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 106159 103615 192 642 0 105515 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 424636
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26613
/proc/meminfo: memFree=29317676/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=441596 CPUtime=1362.34 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 109226 0 0 0 136137 97 0 0 25 0 1 0 908809955 452194304 107855 33554432000 134512640 137138936 4289765856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 110399 107855 192 642 0 109755 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 441596
[startup+1422.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/444 26615
/proc/meminfo: memFree=29277472/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=478528 CPUtime=1422.35 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 118459 0 0 0 142133 102 0 0 25 0 1 0 908809955 490012672 117088 33554432000 134512640 137138936 4289765856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 119632 117088 192 642 0 118988 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 478528
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 26616
/proc/meminfo: memFree=29240124/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=519764 CPUtime=1482.35 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 128768 0 0 0 148129 106 0 0 25 0 1 0 908809955 532238336 127397 33554432000 134512640 137138936 4289765856 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 129941 127397 192 642 0 129297 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 519764
[startup+1542.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 26618
/proc/meminfo: memFree=29211796/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=546540 CPUtime=1542.36 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 135467 0 0 0 154127 109 0 0 25 0 1 0 908809955 559656960 134096 33554432000 134512640 137138936 4289765856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 136635 134096 192 642 0 135991 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 546540
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26619
/proc/meminfo: memFree=29184848/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=572976 CPUtime=1602.35 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 142071 0 0 0 160122 113 0 0 25 0 1 0 908809955 586727424 140700 33554432000 134512640 137138936 4289765856 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 143244 140700 192 642 0 142600 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 572976
[startup+1662.3 s]
/proc/loadavg: 1.43 1.86 1.95 2/438 26638
/proc/meminfo: memFree=29265512/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1662.36 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 166117 119 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134607560 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 579804
[startup+1722.3 s]
/proc/loadavg: 1.16 1.70 1.88 2/438 26640
/proc/meminfo: memFree=29265492/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1722.35 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 172113 122 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 579804
[startup+1782.3 s]
/proc/loadavg: 1.10 1.58 1.83 2/438 26644
/proc/meminfo: memFree=29265352/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1782.36 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 178110 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 579804
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.10 1.58 1.83 2/438 26644
/proc/meminfo: memFree=29265352/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1785.66 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 178440 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (KiB) 579804
[startup+1792.02 s]
/proc/loadavg: 1.08 1.56 1.82 2/438 26644
/proc/meminfo: memFree=29266212/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1792.07 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 179081 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (KiB) 579804
[startup+1795.2 s]
/proc/loadavg: 1.08 1.56 1.82 2/438 26644
/proc/meminfo: memFree=29266336/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1795.26 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 179400 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1795.26
Current children cumulated vsize (KiB) 579804
[startup+1796.8 s]
/proc/loadavg: 1.08 1.56 1.82 2/438 26645
/proc/meminfo: memFree=29266336/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1796.85 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 179559 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134607134 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 579804
[startup+1797.6 s]
/proc/loadavg: 1.08 1.56 1.82 2/438 26645
/proc/meminfo: memFree=29266088/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1797.65 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 179639 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 579804
[startup+1797.8 s]
/proc/loadavg: 1.08 1.56 1.82 2/438 26645
/proc/meminfo: memFree=29266088/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1797.85 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 179659 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 579804
[startup+1797.9 s]
/proc/loadavg: 1.08 1.56 1.82 2/438 26645
/proc/meminfo: memFree=29266088/32950928 swapFree=52246700/67111528
[pid=26576] ppid=26574 vsize=579804 CPUtime=1797.95 cores=1,3,5,7
/proc/26576/stat : 26576 (bsolo) R 26574 26576 23545 0 -1 4202496 143970 0 0 0 179669 126 0 0 25 0 1 0 908809955 593719296 142407 33554432000 134512640 137138936 4289765856 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26576/statm: 144951 142407 192 642 0 144307 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 579804
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.03
CPU user time (s): 1796.74
CPU system time (s): 1.2938
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 580572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.74
system time used= 1.2938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 3616
runsolver used 7.28089 second user time and 18.8761 second system time
The end