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-3463766-1307653295/watcher-3463766-1307653295 -o /tmp/evaluation-result-3463766-1307653295/solver-3463766-1307653295 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463766-1307653295.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: 0.92 0.98 1.45 2/172 13909
/proc/meminfo: memFree=31833472/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=11296 CPUtime=0 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 380 0 0 0 0 0 0 0 24 0 1 0 876929134 11567104 334 33554432000 134512640 137138936 4289342512 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 2824 334 180 642 0 2156 0
[startup+0.0925901 s]
/proc/loadavg: 0.92 0.98 1.45 2/172 13909
/proc/meminfo: memFree=31833472/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=12544 CPUtime=0.09 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 766 0 0 0 9 0 0 0 24 0 1 0 876929134 12845056 696 33554432000 134512640 137138936 4289342512 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 3136 696 185 642 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12544
[startup+0.100582 s]
/proc/loadavg: 0.92 0.98 1.45 2/172 13909
/proc/meminfo: memFree=31833472/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=12544 CPUtime=0.09 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 766 0 0 0 9 0 0 0 24 0 1 0 876929134 12845056 696 33554432000 134512640 137138936 4289342512 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 3136 696 185 642 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12544
[startup+0.300537 s]
/proc/loadavg: 0.92 0.98 1.45 2/172 13909
/proc/meminfo: memFree=31833472/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=12968 CPUtime=0.29 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 867 0 0 0 29 0 0 0 25 0 1 0 876929134 13279232 792 33554432000 134512640 137138936 4289342512 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 3242 792 192 642 0 2598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12968
[startup+0.700457 s]
/proc/loadavg: 0.92 0.98 1.45 2/172 13909
/proc/meminfo: memFree=31833472/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=13688 CPUtime=0.69 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 1061 0 0 0 69 0 0 0 25 0 1 0 876929134 14016512 986 33554432000 134512640 137138936 4289342512 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 3422 986 192 642 0 2778 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13688
[startup+1.5003 s]
/proc/loadavg: 0.92 0.98 1.45 3/176 13920
/proc/meminfo: memFree=31769132/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=15836 CPUtime=1.49 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 1588 0 0 0 149 0 0 0 25 0 1 0 876929134 16216064 1513 33554432000 134512640 137138936 4289342512 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 3959 1513 192 642 0 3315 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15836
[startup+3.10104 s]
/proc/loadavg: 0.92 0.98 1.45 3/176 13920
/proc/meminfo: memFree=31764916/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=19108 CPUtime=3.09 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 2401 0 0 0 309 0 0 0 25 0 1 0 876929134 19566592 2326 33554432000 134512640 137138936 4289342512 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 4777 2326 192 642 0 4133 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19108
[startup+6.30049 s]
/proc/loadavg: 1.17 1.03 1.46 3/176 13920
/proc/meminfo: memFree=31758852/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=25060 CPUtime=6.29 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 3897 0 0 0 628 1 0 0 25 0 1 0 876929134 25661440 3822 33554432000 134512640 137138936 4289342512 18446744073709551615 136297747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 6265 3822 192 642 0 5621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25060
[startup+12.7004 s]
/proc/loadavg: 1.23 1.05 1.47 3/176 13920
/proc/meminfo: memFree=31747996/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=34684 CPUtime=12.69 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 6299 0 0 0 1267 2 0 0 25 0 1 0 876929134 35516416 6224 33554432000 134512640 137138936 4289342512 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 8671 6224 192 642 0 8027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34684
[startup+25.5012 s]
/proc/loadavg: 1.40 1.09 1.47 3/176 13921
/proc/meminfo: memFree=31733816/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=48408 CPUtime=25.49 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 9734 0 0 0 2545 4 0 0 25 0 1 0 876929134 49569792 9659 33554432000 134512640 137138936 4289342512 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 12102 9659 192 642 0 11458 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48408
[startup+51.1008 s]
/proc/loadavg: 1.61 1.17 1.49 3/176 13922
/proc/meminfo: memFree=31714620/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=67888 CPUtime=51.09 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 14617 0 0 0 5102 7 0 0 25 0 1 0 876929134 69517312 14542 33554432000 134512640 137138936 4289342512 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 16972 14542 192 642 0 16328 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 67888
[startup+102.307 s]
/proc/loadavg: 1.95 1.32 1.52 3/176 13923
/proc/meminfo: memFree=31681356/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=100344 CPUtime=102.3 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 22723 0 0 0 10220 10 0 0 25 0 1 0 876929134 102752256 22648 33554432000 134512640 137138936 4289342512 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 25086 22648 192 642 0 24442 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 100344
[startup+162.301 s]
/proc/loadavg: 1.98 1.44 1.55 3/176 13924
/proc/meminfo: memFree=31667700/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=113784 CPUtime=162.29 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 26139 0 0 0 16215 14 0 0 25 0 1 0 876929134 116514816 25998 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 28446 25998 192 642 0 27802 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 113784
[startup+222.301 s]
/proc/loadavg: 2.05 1.56 1.58 3/176 13964
/proc/meminfo: memFree=31677660/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=113784 CPUtime=222.29 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 26139 0 0 0 22213 16 0 0 25 0 1 0 876929134 116514816 25998 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 28446 25998 192 642 0 27802 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 113784
[startup+282.301 s]
/proc/loadavg: 2.08 1.65 1.61 3/176 13969
/proc/meminfo: memFree=31641904/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=149492 CPUtime=282.3 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 35076 0 0 0 28210 20 0 0 25 0 1 0 876929134 153079808 34935 33554432000 134512640 137138936 4289342512 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 37373 34935 192 642 0 36729 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 149492
[startup+342.3 s]
/proc/loadavg: 2.10 1.73 1.64 3/176 13971
/proc/meminfo: memFree=31613280/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=178224 CPUtime=342.29 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 42253 0 0 0 34206 23 0 0 25 0 1 0 876929134 182501376 42112 33554432000 134512640 137138936 4289342512 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 44556 42112 192 642 0 43912 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 178224
[startup+402.301 s]
/proc/loadavg: 2.04 1.78 1.65 3/176 14010
/proc/meminfo: memFree=31590996/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=200488 CPUtime=402.3 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 47834 0 0 0 40203 27 0 0 25 0 1 0 876929134 205299712 47693 33554432000 134512640 137138936 4289342512 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 50122 47693 192 642 0 49478 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 200488
[startup+462.3 s]
/proc/loadavg: 2.09 1.83 1.68 3/176 14011
/proc/meminfo: memFree=31587840/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=202908 CPUtime=462.3 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 48529 0 0 0 46200 30 0 0 25 0 1 0 876929134 207777792 48281 33554432000 134512640 137138936 4289342512 18446744073709551615 134599894 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 50727 48281 192 642 0 50083 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 202908
[startup+522.301 s]
/proc/loadavg: 2.03 1.86 1.69 3/176 14013
/proc/meminfo: memFree=31587684/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=202908 CPUtime=522.3 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 48529 0 0 0 52198 32 0 0 25 0 1 0 876929134 207777792 48281 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 50727 48281 192 642 0 50083 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 202908
[startup+582.301 s]
/proc/loadavg: 1.93 1.87 1.71 2/170 14039
/proc/meminfo: memFree=31637152/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=202908 CPUtime=582.3 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 48529 0 0 0 58195 35 0 0 25 0 1 0 876929134 207777792 48281 33554432000 134512640 137138936 4289342512 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 50727 48281 192 642 0 50083 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 202908
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31545968/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1062.31 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 106174 57 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 294444
[startup+1122.3 s]
/proc/loadavg: 1.00 1.13 1.37 2/170 14053
/proc/meminfo: memFree=31545948/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1122.31 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 112170 61 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 294444
[startup+1182.3 s]
/proc/loadavg: 1.00 1.10 1.35 2/170 14055
/proc/meminfo: memFree=31545940/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1182.31 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 118168 63 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 294444
[startup+1242.3 s]
/proc/loadavg: 1.00 1.08 1.33 2/170 14057
/proc/meminfo: memFree=31546044/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1242.32 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 124167 65 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 294444
[startup+1302.3 s]
/proc/loadavg: 1.00 1.06 1.30 2/170 14058
/proc/meminfo: memFree=31546028/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1302.32 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 130164 68 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 294444
[startup+1362.3 s]
/proc/loadavg: 1.00 1.05 1.28 2/170 14059
/proc/meminfo: memFree=31546132/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1362.32 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 136162 70 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 294444
[startup+1422.31 s]
/proc/loadavg: 1.00 1.04 1.26 2/170 14061
/proc/meminfo: memFree=31546112/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1422.33 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 142161 72 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 294444
[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.24 2/170 14063
/proc/meminfo: memFree=31546096/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1482.33 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 148159 74 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 294444
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/170 14065
/proc/meminfo: memFree=31546200/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1542.32 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 154156 76 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 294444
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/170 14066
/proc/meminfo: memFree=31546436/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1602.33 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 160155 78 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 294444
[startup+1662.3 s]
/proc/loadavg: 1.05 1.03 1.19 3/170 14067
/proc/meminfo: memFree=31546408/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1662.33 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 166153 80 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 294444
[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 1.18 2/170 14069
/proc/meminfo: memFree=31546400/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1722.33 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 172151 82 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 294444
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/170 14071
/proc/meminfo: memFree=31546140/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1782.33 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 178150 83 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 294444
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.01 1.17 2/170 14071
/proc/meminfo: memFree=31546140/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1785.52 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 178469 83 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 294444
[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 1.16 2/170 14071
/proc/meminfo: memFree=31546140/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1791.93 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 179110 83 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 294444
[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.16 2/170 14071
/proc/meminfo: memFree=31546140/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1795.13 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 179430 83 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 294444
[startup+1796.7 s]
/proc/loadavg: 1.00 1.01 1.16 2/170 14071
/proc/meminfo: memFree=31546140/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1796.72 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 179589 83 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 294444
[startup+1797.5 s]
/proc/loadavg: 1.00 1.01 1.16 2/170 14071
/proc/meminfo: memFree=31546140/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1797.53 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 179669 84 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 294444
[startup+1797.9 s]
/proc/loadavg: 1.00 1.01 1.16 2/170 14071
/proc/meminfo: memFree=31546140/32951132 swapFree=67054608/67111528
[pid=13909] ppid=13907 vsize=294444 CPUtime=1797.93 cores=0,2,4,6
/proc/13909/stat : 13909 (bsolo) R 13907 13909 11485 0 -1 4202496 71585 0 0 0 179709 84 0 0 25 0 1 0 876929134 301510656 71179 33554432000 134512640 137138936 4289342512 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13909/statm: 73611 71179 192 642 0 72967 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 294444
Child status: 0
Real time (s): 1798
CPU time (s): 1798.03
CPU user time (s): 1797.18
CPU system time (s): 0.855869
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 295076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.18
system time used= 0.855869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71586
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= 6
involuntary context switches= 3349
runsolver used 2.79157 second user time and 5.72613 second system time
The end