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-3463123-1307175483/watcher-3463123-1307175483 -o /tmp/evaluation-result-3463123-1307175483/solver-3463123-1307175483 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463123-1307175483.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.06 1.99 1.98 3/453 24836
/proc/meminfo: memFree=31812352/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 387 0 0 0 0 0 0 0 25 0 1 0 829146158 11186176 331 33554432000 134512640 137138936 4289486384 18446744073709551615 134712224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 2731 331 218 642 0 2087 0
[startup+0.018577 s]
/proc/loadavg: 2.06 1.99 1.98 3/453 24836
/proc/meminfo: memFree=31812352/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=12084 CPUtime=0.01 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 541 0 0 0 1 0 0 0 25 0 1 0 829146158 12374016 485 33554432000 134512640 137138936 4289486384 18446744073709551615 135465261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 3021 485 275 642 0 2377 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12084
[startup+0.100565 s]
/proc/loadavg: 2.06 1.99 1.98 3/453 24836
/proc/meminfo: memFree=31812352/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=12544 CPUtime=0.09 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 765 0 0 0 9 0 0 0 25 0 1 0 829146158 12845056 637 33554432000 134512640 137138936 4289486384 18446744073709551615 135466108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 3136 637 278 642 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12544
[startup+0.300525 s]
/proc/loadavg: 2.06 1.99 1.98 3/453 24836
/proc/meminfo: memFree=31812352/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=13288 CPUtime=0.29 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 1360 0 0 0 29 0 0 0 25 0 1 0 829146158 13606912 680 33554432000 134512640 137138936 4289486384 18446744073709551615 135345491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 3322 684 278 642 0 2678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13288
[startup+0.700455 s]
/proc/loadavg: 2.06 1.99 1.98 3/453 24836
/proc/meminfo: memFree=31812352/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=13468 CPUtime=0.69 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 4620 0 0 0 69 0 0 0 25 0 1 0 829146158 13791232 601 33554432000 134512640 137138936 4289486384 18446744073709551615 134768834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 3367 601 287 642 0 2723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13468
[startup+1.50031 s]
/proc/loadavg: 2.06 1.99 1.98 3/454 24837
/proc/meminfo: memFree=31810360/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=13644 CPUtime=1.49 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 9226 0 0 0 148 1 0 0 25 0 1 0 829146158 13971456 695 33554432000 134512640 137138936 4289486384 18446744073709551615 135451380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 3411 695 287 642 0 2767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13644
[startup+3.10102 s]
/proc/loadavg: 2.06 1.99 1.98 3/454 24837
/proc/meminfo: memFree=31806888/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=13212 CPUtime=3.09 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 22375 0 0 0 307 2 0 0 25 0 1 0 829146158 13529088 502 33554432000 134512640 137138936 4289486384 18446744073709551615 135457360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 3303 502 287 642 0 2659 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13212
[startup+6.30043 s]
/proc/loadavg: 2.06 1.99 1.98 3/454 24837
/proc/meminfo: memFree=31807640/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=14092 CPUtime=6.29 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 55839 0 0 0 623 6 0 0 25 0 1 0 829146158 14430208 714 33554432000 134512640 137138936 4289486384 18446744073709551615 135080902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 3523 714 292 642 0 2879 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14092
[startup+12.7003 s]
/proc/loadavg: 2.05 1.99 1.98 3/454 24838
/proc/meminfo: memFree=31805436/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=17312 CPUtime=12.69 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 135775 0 0 0 1254 15 0 0 25 0 1 0 829146158 17727488 1450 33554432000 134512640 137138936 4289486384 18446744073709551615 134768836 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 4328 1450 292 642 0 3684 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17312
[startup+25.5009 s]
/proc/loadavg: 2.04 1.99 1.98 3/454 24838
/proc/meminfo: memFree=31799740/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=20520 CPUtime=25.49 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 276383 0 0 0 2519 30 0 0 25 0 1 0 829146158 21012480 2257 33554432000 134512640 137138936 4289486384 18446744073709551615 134734537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 5130 2258 292 642 0 4486 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20520
[startup+51.1003 s]
/proc/loadavg: 2.02 1.99 1.98 3/454 24839
/proc/meminfo: memFree=31787464/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=30732 CPUtime=51.09 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 609266 0 0 0 5036 73 0 0 25 0 1 0 829146158 31469568 4753 33554432000 134512640 137138936 4289486384 18446744073709551615 135456391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 7683 4753 292 642 0 7039 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30732
[startup+102.316 s]
/proc/loadavg: 2.01 1.99 1.98 3/454 24840
/proc/meminfo: memFree=31731156/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=72776 CPUtime=102.31 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 1657745 0 0 0 10007 224 0 0 25 0 1 0 829146158 74522624 15218 33554432000 134512640 137138936 4289486384 18446744073709551615 135457799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 18194 15220 292 642 0 17550 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 72776
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24842
/proc/meminfo: memFree=31707336/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=88768 CPUtime=162.3 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 2467254 0 0 0 15847 383 0 0 25 0 1 0 829146158 90898432 19321 33554432000 134512640 137138936 4289486384 18446744073709551615 134732317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 22192 19321 292 642 0 21548 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 88768
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24843
/proc/meminfo: memFree=31686720/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=97348 CPUtime=222.3 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 3311975 0 0 0 21660 570 0 0 25 0 1 0 829146158 99684352 21503 33554432000 134512640 137138936 4289486384 18446744073709551615 135381138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 24337 21506 292 642 0 23693 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 97348
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24845
/proc/meminfo: memFree=31678268/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=107192 CPUtime=282.3 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 4149324 0 0 0 27482 748 0 0 25 0 1 0 829146158 109764608 23838 33554432000 134512640 137138936 4289486384 18446744073709551615 134768930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 26798 23838 292 642 0 26154 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 107192
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24846
/proc/meminfo: memFree=31645368/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=125908 CPUtime=342.3 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 5082957 0 0 0 33296 934 0 0 25 0 1 0 829146158 128929792 28771 33554432000 134512640 137138936 4289486384 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 31548 28772 292 642 0 30904 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 125908
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24848
/proc/meminfo: memFree=31644372/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=128012 CPUtime=402.3 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 5839999 0 0 0 39120 1110 0 0 25 0 1 0 829146158 131084288 29132 33554432000 134512640 137138936 4289486384 18446744073709551615 134732338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 32003 29132 292 642 0 31359 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 128012
[startup+462.301 s]
/proc/loadavg: 2.05 2.00 1.98 3/454 24851
/proc/meminfo: memFree=31644092/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=128004 CPUtime=462.31 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 6516489 0 0 0 44967 1264 0 0 25 0 1 0 829146158 131076096 29130 33554432000 134512640 137138936 4289486384 18446744073709551615 135251307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 31445 29120 292 642 0 30801 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 128004
[startup+522.301 s]
/proc/loadavg: 2.05 2.01 1.99 3/454 24852
/proc/meminfo: memFree=31643704/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=128172 CPUtime=522.3 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 7171423 0 0 0 50822 1408 0 0 25 0 1 0 829146158 131248128 29175 33554432000 134512640 137138936 4289486384 18446744073709551615 134730632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 32043 29175 292 642 0 31399 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 128172
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.99 3/454 24854
/proc/meminfo: memFree=31633024/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=133772 CPUtime=582.3 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 7905087 0 0 0 56662 1568 0 0 25 0 1 0 829146158 136982528 31118 33554432000 134512640 137138936 4289486384 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 33443 31118 292 642 0 32799 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 133772
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31599268/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=144904 CPUtime=1062.32 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 13277530 0 0 0 103430 2802 0 0 25 0 1 0 829146158 148381696 33901 33554432000 134512640 137138936 4289486384 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 36226 33901 292 642 0 35582 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 144904
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 24868
/proc/meminfo: memFree=31556600/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187624 CPUtime=1122.32 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 14196376 0 0 0 109268 2964 0 0 25 0 1 0 829146158 192126976 44581 33554432000 134512640 137138936 4289486384 18446744073709551615 134551895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46906 44581 292 642 0 46262 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 187624
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 24870
/proc/meminfo: memFree=31555964/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=189168 CPUtime=1182.33 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 14856574 0 0 0 115119 3114 0 0 25 0 1 0 829146158 193708032 44585 33554432000 134512640 137138936 4289486384 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 47292 44585 292 642 0 46648 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 189168
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 24871
/proc/meminfo: memFree=31556068/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187612 CPUtime=1242.32 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 15464606 0 0 0 120980 3252 0 0 25 0 1 0 829146158 192114688 44578 33554432000 134512640 137138936 4289486384 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46903 44578 292 642 0 46259 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 187612
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 24873
/proc/meminfo: memFree=31555444/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187528 CPUtime=1302.33 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 15892169 0 0 0 126866 3367 0 0 25 0 1 0 829146158 192028672 44557 33554432000 134512640 137138936 4289486384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46882 44557 292 642 0 46238 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 187528
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 24875
/proc/meminfo: memFree=31555672/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187528 CPUtime=1362.32 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16144809 0 0 0 132783 3449 0 0 25 0 1 0 829146158 192028672 44557 33554432000 134512640 137138936 4289486384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46882 44557 292 642 0 46238 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 187528
[startup+1422.32 s]
/proc/loadavg: 2.03 2.02 2.00 3/454 24876
/proc/meminfo: memFree=31555408/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=188308 CPUtime=1422.35 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16268760 0 0 0 138733 3502 0 0 25 0 1 0 829146158 192827392 44564 33554432000 134512640 137138936 4289486384 18446744073709551615 134730664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 47077 44564 292 642 0 46433 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 188308
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/454 24878
/proc/meminfo: memFree=31555504/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187736 CPUtime=1482.33 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16314082 0 0 0 144709 3524 0 0 25 0 1 0 829146158 192241664 44562 33554432000 134512640 137138936 4289486384 18446744073709551615 135251273 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46934 44562 292 642 0 46290 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 187736
[startup+1542.3 s]
/proc/loadavg: 2.27 2.08 2.02 3/454 24879
/proc/meminfo: memFree=31555984/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187736 CPUtime=1542.33 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16314082 0 0 0 150708 3525 0 0 25 0 1 0 829146158 192241664 44562 33554432000 134512640 137138936 4289486384 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46934 44562 292 642 0 46290 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 187736
[startup+1602.3 s]
/proc/loadavg: 2.20 2.10 2.03 3/454 24881
/proc/meminfo: memFree=31555592/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187736 CPUtime=1602.33 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319294 0 0 0 156705 3528 0 0 25 0 1 0 829146158 192241664 44562 33554432000 134512640 137138936 4289486384 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46934 44562 292 642 0 46290 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 187736
[startup+1662.3 s]
/proc/loadavg: 2.14 2.09 2.03 3/454 24883
/proc/meminfo: memFree=31555564/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1662.34 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 162703 3531 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 187752
[startup+1722.3 s]
/proc/loadavg: 2.10 2.09 2.03 3/454 24884
/proc/meminfo: memFree=31555536/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1722.34 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 168702 3532 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 135783855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 187752
[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/454 24940
/proc/meminfo: memFree=31626620/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1782.34 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 174700 3534 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 134730664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 187752
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.08 2.03 3/454 24940
/proc/meminfo: memFree=31627604/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1785.54 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 175020 3534 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 135470701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 187752
[startup+1791.92 s]
/proc/loadavg: 2.06 2.08 2.03 3/454 24940
/proc/meminfo: memFree=31626976/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1791.96 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 175661 3535 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 187752
[startup+1795.1 s]
/proc/loadavg: 2.05 2.08 2.02 3/454 24940
/proc/meminfo: memFree=31626976/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1795.16 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 175981 3535 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 135440921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 187752
[startup+1796.7 s]
/proc/loadavg: 2.05 2.08 2.02 3/454 24940
/proc/meminfo: memFree=31626976/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1796.75 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 176140 3535 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 135471492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 187752
[startup+1797.5 s]
/proc/loadavg: 2.05 2.08 2.02 3/454 24940
/proc/meminfo: memFree=31626604/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1797.55 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 176220 3535 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 135456171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 187752
[startup+1797.9 s]
/proc/loadavg: 2.05 2.08 2.02 3/454 24940
/proc/meminfo: memFree=31626604/32951124 swapFree=55639044/67111528
[pid=24836] ppid=24834 vsize=187752 CPUtime=1797.95 cores=1,3,5,7
/proc/24836/stat : 24836 (bsolo) R 24834 24836 23433 0 -1 4202496 16319298 0 0 0 176260 3535 0 0 25 0 1 0 829146158 192258048 44566 33554432000 134512640 137138936 4289486384 18446744073709551615 134730654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24836/statm: 46938 44566 292 642 0 46294 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 187752
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1762.65
CPU system time (s): 35.3596
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 189936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.65
system time used= 35.3596
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16319298
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= 3
involuntary context switches= 1905
runsolver used 7.52585 second user time and 18.5902 second system time
The end