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-3463785-1307185924/watcher-3463785-1307185924 -o /tmp/evaluation-result-3463785-1307185924/solver-3463785-1307185924 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463785-1307185924.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.03 2.00 3/572 2452
/proc/meminfo: memFree=30692244/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=17100 CPUtime=0 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 310 0 0 0 0 0 0 0 25 0 1 0 830191178 17510400 264 33554432000 134512640 137138936 4289305696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 4275 264 174 642 0 2089 0
[startup+0.09136 s]
/proc/loadavg: 2.00 2.03 2.00 3/572 2452
/proc/meminfo: memFree=30692244/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=23464 CPUtime=0.08 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 2233 0 0 0 8 0 0 0 25 0 1 0 830191178 24027136 2147 33554432000 134512640 137138936 4289305696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 5866 2147 475 642 0 3680 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23464
[startup+0.100357 s]
/proc/loadavg: 2.00 2.03 2.00 3/572 2452
/proc/meminfo: memFree=30692244/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=23880 CPUtime=0.09 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 2367 0 0 0 9 0 0 0 25 0 1 0 830191178 24453120 2281 33554432000 134512640 137138936 4289305696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 5970 2281 503 642 0 3784 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23880
[startup+0.300324 s]
/proc/loadavg: 2.00 2.03 2.00 3/572 2452
/proc/meminfo: memFree=30692244/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=34936 CPUtime=0.29 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 5832 0 0 0 29 0 0 0 25 0 1 0 830191178 35774464 5667 33554432000 134512640 137138936 4289305696 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 8734 5667 1179 642 0 6548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34936
[startup+0.700253 s]
/proc/loadavg: 2.00 2.03 2.00 3/572 2452
/proc/meminfo: memFree=30692244/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=51844 CPUtime=0.68 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 12025 0 0 0 68 0 0 0 25 0 1 0 830191178 53088256 10269 33554432000 134512640 137138936 4289305696 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 12961 10269 184 642 0 12317 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 51844
[startup+1.50016 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2453
/proc/meminfo: memFree=30650076/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=51864 CPUtime=1.48 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 12448 0 0 0 148 0 0 0 25 0 1 0 830191178 53108736 10294 33554432000 134512640 137138936 4289305696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 12966 10295 184 642 0 12322 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 51864
[startup+3.10095 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2453
/proc/meminfo: memFree=30648712/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=52280 CPUtime=3.09 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 14112 0 0 0 308 1 0 0 25 0 1 0 830191178 53534720 10391 33554432000 134512640 137138936 4289305696 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 13070 10391 184 642 0 12426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52280
[startup+6.30037 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2453
/proc/meminfo: memFree=30647804/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=52412 CPUtime=6.29 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 14126 0 0 0 628 1 0 0 25 0 1 0 830191178 53669888 10405 33554432000 134512640 137138936 4289305696 18446744073709551615 136505649 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 13103 10405 184 642 0 12459 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52412
[startup+12.7001 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2453
/proc/meminfo: memFree=30648020/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=52412 CPUtime=12.69 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 14127 0 0 0 1268 1 0 0 25 0 1 0 830191178 53669888 10406 33554432000 134512640 137138936 4289305696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 13103 10406 184 642 0 12459 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52412
[startup+25.5009 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2453
/proc/meminfo: memFree=30648508/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=52412 CPUtime=25.49 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 14131 0 0 0 2548 1 0 0 25 0 1 0 830191178 53669888 10410 33554432000 134512640 137138936 4289305696 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 13103 10410 184 642 0 12459 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52412
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2455
/proc/meminfo: memFree=30647232/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=52676 CPUtime=51.09 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 14221 0 0 0 5107 2 0 0 25 0 1 0 830191178 53940224 10500 33554432000 134512640 137138936 4289305696 18446744073709551615 134543427 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 13169 10500 184 642 0 12525 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52676
[startup+102.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2456
/proc/meminfo: memFree=30648304/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=52808 CPUtime=102.31 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 14261 0 0 0 10226 5 0 0 25 0 1 0 830191178 54075392 10540 33554432000 134512640 137138936 4289305696 18446744073709551615 134566117 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 13202 10540 184 642 0 12558 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52808
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 2459
/proc/meminfo: memFree=30613520/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=87384 CPUtime=162.29 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 23867 0 0 0 16216 13 0 0 25 0 1 0 830191178 89481216 19199 33554432000 134512640 137138936 4289305696 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 21846 19199 192 642 0 21202 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 87384
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 2493
/proc/meminfo: memFree=31527048/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=140452 CPUtime=222.29 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 37133 0 0 0 22210 19 0 0 25 0 1 0 830191178 143822848 32465 33554432000 134512640 137138936 4289305696 18446744073709551615 134576176 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 35113 32465 192 642 0 34469 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 140452
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 2494
/proc/meminfo: memFree=31473320/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=192580 CPUtime=282.29 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 50171 0 0 0 28206 23 0 0 25 0 1 0 830191178 197201920 45503 33554432000 134512640 137138936 4289305696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 48145 45503 192 642 0 47501 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 192580
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 2496
/proc/meminfo: memFree=31409424/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=256620 CPUtime=342.29 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 66176 0 0 0 34200 29 0 0 25 0 1 0 830191178 262778880 61508 33554432000 134512640 137138936 4289305696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 64155 61508 192 642 0 63511 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 256620
[startup+402.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/573 2497
/proc/meminfo: memFree=31354328/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=310044 CPUtime=402.3 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 79534 0 0 0 40195 35 0 0 25 0 1 0 830191178 317485056 74866 33554432000 134512640 137138936 4289305696 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 77511 74866 192 642 0 76867 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 310044
[startup+462.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/573 2499
/proc/meminfo: memFree=31282456/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=355692 CPUtime=462.3 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 90946 0 0 0 46192 38 0 0 25 0 1 0 830191178 364228608 86278 33554432000 134512640 137138936 4289305696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 88923 86278 192 642 0 88279 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 355692
[startup+522.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/573 2501
/proc/meminfo: memFree=31184480/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=398444 CPUtime=522.3 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 101636 0 0 0 52189 41 0 0 25 0 1 0 830191178 408006656 96968 33554432000 134512640 137138936 4289305696 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 99611 96968 192 642 0 98967 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 398444
[startup+582.301 s]
/proc/loadavg: 2.20 2.08 2.02 3/573 2502
/proc/meminfo: memFree=31051876/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=465872 CPUtime=582.3 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 118499 0 0 0 58186 44 0 0 25 0 1 0 830191178 477052928 113831 33554432000 134512640 137138936 4289305696 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 116468 113831 192 642 0 115824 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 465872
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30356884/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=761152 CPUtime=1122.32 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 192311 0 0 0 112160 72 0 0 25 0 1 0 830191178 779419648 187643 33554432000 134512640 137138936 4289305696 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 190288 187643 192 642 0 189644 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 761152
[startup+1182.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/573 2518
/proc/meminfo: memFree=30311572/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=782208 CPUtime=1182.32 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 197575 0 0 0 118158 74 0 0 25 0 1 0 830191178 800980992 192907 33554432000 134512640 137138936 4289305696 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 195552 192907 192 642 0 194908 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 782208
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2520
/proc/meminfo: memFree=30265144/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=803536 CPUtime=1242.32 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 202914 0 0 0 124156 76 0 0 25 0 1 0 830191178 822820864 198246 33554432000 134512640 137138936 4289305696 18446744073709551615 136504147 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 200884 198246 192 642 0 200240 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 803536
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 2521
/proc/meminfo: memFree=30212764/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=836252 CPUtime=1302.32 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 211086 0 0 0 130152 80 0 0 25 0 1 0 830191178 856322048 206418 33554432000 134512640 137138936 4289305696 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 209063 206418 192 642 0 208419 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 836252
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2523
/proc/meminfo: memFree=30143772/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=870948 CPUtime=1362.32 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 219760 0 0 0 136149 83 0 0 25 0 1 0 830191178 891850752 215092 33554432000 134512640 137138936 4289305696 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 217737 215092 192 642 0 217093 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 870948
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2525
/proc/meminfo: memFree=30076656/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=902548 CPUtime=1422.35 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 227660 0 0 0 142149 86 0 0 25 0 1 0 830191178 924209152 222992 33554432000 134512640 137138936 4289305696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 225637 222992 192 642 0 224993 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 902548
[startup+1482.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/573 2526
/proc/meminfo: memFree=30019452/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=928860 CPUtime=1482.32 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 234238 0 0 0 148144 88 0 0 25 0 1 0 830191178 951152640 229570 33554432000 134512640 137138936 4289305696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 232215 229570 192 642 0 231571 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 928860
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/573 2528
/proc/meminfo: memFree=29967920/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=953204 CPUtime=1542.32 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 240326 0 0 0 154141 91 0 0 25 0 1 0 830191178 976080896 235658 33554432000 134512640 137138936 4289305696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 238301 235658 192 642 0 237657 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 953204
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/573 2529
/proc/meminfo: memFree=29915420/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=980232 CPUtime=1602.33 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 247081 0 0 0 160140 93 0 0 25 0 1 0 830191178 1003757568 242413 33554432000 134512640 137138936 4289305696 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 245058 242413 192 642 0 244414 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 980232
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/573 2531
/proc/meminfo: memFree=29864904/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1000468 CPUtime=1662.33 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 252139 0 0 0 166138 95 0 0 25 0 1 0 830191178 1024479232 247471 33554432000 134512640 137138936 4289305696 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 250117 247471 192 642 0 249473 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1000468
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/573 2533
/proc/meminfo: memFree=29807212/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1017304 CPUtime=1722.33 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 256349 0 0 0 172135 98 0 0 25 0 1 0 830191178 1041719296 251681 33554432000 134512640 137138936 4289305696 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 254326 251681 192 642 0 253682 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1017304
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/573 2534
/proc/meminfo: memFree=29765256/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1036112 CPUtime=1782.34 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 261051 0 0 0 178133 101 0 0 25 0 1 0 830191178 1060978688 256383 33554432000 134512640 137138936 4289305696 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 259028 256383 192 642 0 258384 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1036112
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.05 2.00 3/573 2534
/proc/meminfo: memFree=29763272/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1037044 CPUtime=1785.54 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 261286 0 0 0 178453 101 0 0 25 0 1 0 830191178 1061933056 256618 33554432000 134512640 137138936 4289305696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 259261 256618 192 642 0 258617 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1037044
[startup+1791.92 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2535
/proc/meminfo: memFree=29759040/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1039276 CPUtime=1791.95 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 261842 0 0 0 179094 101 0 0 25 0 1 0 830191178 1064218624 257174 33554432000 134512640 137138936 4289305696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 259819 257174 192 642 0 259175 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1039276
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2535
/proc/meminfo: memFree=29756188/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1040164 CPUtime=1795.14 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 262069 0 0 0 179413 101 0 0 25 0 1 0 830191178 1065127936 257401 33554432000 134512640 137138936 4289305696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 260041 257401 192 642 0 259397 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1040164
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2535
/proc/meminfo: memFree=29755192/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1040628 CPUtime=1796.73 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 262180 0 0 0 179572 101 0 0 25 0 1 0 830191178 1065603072 257512 33554432000 134512640 137138936 4289305696 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 260157 257512 192 642 0 259513 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1040628
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2535
/proc/meminfo: memFree=29754324/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1041076 CPUtime=1797.53 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 262292 0 0 0 179652 101 0 0 25 0 1 0 830191178 1066061824 257624 33554432000 134512640 137138936 4289305696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 260269 257624 192 642 0 259625 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1041076
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2535
/proc/meminfo: memFree=29754324/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=1041544 CPUtime=1797.93 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) R 2450 2452 32216 0 -1 4202496 262408 0 0 0 179692 101 0 0 25 0 1 0 830191178 1066541056 257740 33554432000 134512640 137138936 4289305696 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2452/statm: 260386 257740 192 642 0 259742 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1041544
[startup+1798 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2535
/proc/meminfo: memFree=29754324/32950928 swapFree=43925852/67111528
[pid=2452] ppid=2450 vsize=0 CPUtime=1798.03 cores=0,2,4,6
/proc/2452/stat : 2452 (bsolo) S 2450 2452 32216 0 -1 4202500 262408 0 0 0 179698 105 0 0 25 0 1 0 830191178 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/2452/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798
CPU time (s): 1798.04
CPU user time (s): 1796.98
CPU system time (s): 1.05884
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1041544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.98
system time used= 1.05884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262408
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= 21111
runsolver used 10.8534 second user time and 23.1615 second system time
The end