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-3463088-1307174954/watcher-3463088-1307174954 -o /tmp/evaluation-result-3463088-1307174954/solver-3463088-1307174954 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463088-1307174954.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: 1.53 1.63 1.83 2/514 14867
/proc/meminfo: memFree=19195156/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=11196 CPUtime=0 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 401 0 0 0 0 0 0 0 25 0 1 0 907726137 11464704 334 33554432000 134512640 137138936 4290834688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 2799 335 182 642 0 2155 0
[startup+0.0771601 s]
/proc/loadavg: 1.53 1.63 1.83 2/514 14867
/proc/meminfo: memFree=19195156/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=11576 CPUtime=0.07 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 511 0 0 0 7 0 0 0 25 0 1 0 907726137 11853824 444 33554432000 134512640 137138936 4290834688 18446744073709551615 134618489 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 2894 444 192 642 0 2250 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11576
[startup+0.100152 s]
/proc/loadavg: 1.53 1.63 1.83 2/514 14867
/proc/meminfo: memFree=19195156/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=11576 CPUtime=0.09 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 536 0 0 0 9 0 0 0 25 0 1 0 907726137 11853824 469 33554432000 134512640 137138936 4290834688 18446744073709551615 134607571 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 2894 469 192 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.300177 s]
/proc/loadavg: 1.53 1.63 1.83 2/514 14867
/proc/meminfo: memFree=19195156/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=12196 CPUtime=0.29 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 685 0 0 0 29 0 0 0 25 0 1 0 907726137 12488704 618 33554432000 134512640 137138936 4290834688 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 3049 618 192 642 0 2405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12196
[startup+0.701116 s]
/proc/loadavg: 1.53 1.63 1.83 2/514 14867
/proc/meminfo: memFree=19195156/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=13192 CPUtime=0.69 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 918 0 0 0 69 0 0 0 25 0 1 0 907726137 13508608 851 33554432000 134512640 137138936 4290834688 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 3298 851 192 642 0 2654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13192
[startup+1.50098 s]
/proc/loadavg: 1.53 1.63 1.83 3/515 14868
/proc/meminfo: memFree=19192172/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=13320 CPUtime=1.49 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 970 0 0 0 149 0 0 0 25 0 1 0 907726137 13639680 903 33554432000 134512640 137138936 4290834688 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 3330 903 192 642 0 2686 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13320
[startup+3.10069 s]
/proc/loadavg: 1.53 1.63 1.83 3/515 14868
/proc/meminfo: memFree=19190440/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=13700 CPUtime=3.09 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 1048 0 0 0 309 0 0 0 25 0 1 0 907726137 14028800 981 33554432000 134512640 137138936 4290834688 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 3425 981 192 642 0 2781 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13700
[startup+6.30102 s]
/proc/loadavg: 1.57 1.64 1.83 3/515 14869
/proc/meminfo: memFree=19189076/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=14916 CPUtime=6.29 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 1344 0 0 0 628 1 0 0 25 0 1 0 907726137 15273984 1277 33554432000 134512640 137138936 4290834688 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 3729 1277 192 642 0 3085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14916
[startup+12.7009 s]
/proc/loadavg: 1.61 1.64 1.83 3/515 14869
/proc/meminfo: memFree=19186028/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=15780 CPUtime=12.69 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 1570 0 0 0 1266 3 0 0 25 0 1 0 907726137 16158720 1503 33554432000 134512640 137138936 4290834688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 3945 1503 192 642 0 3301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15780
[startup+25.5007 s]
/proc/loadavg: 1.69 1.66 1.83 3/515 14869
/proc/meminfo: memFree=19186276/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=15784 CPUtime=25.49 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 1578 0 0 0 2543 6 0 0 25 0 1 0 907726137 16162816 1511 33554432000 134512640 137138936 4290834688 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 3946 1511 192 642 0 3302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15784
[startup+51.1003 s]
/proc/loadavg: 1.80 1.68 1.83 3/515 14870
/proc/meminfo: memFree=19184072/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=17752 CPUtime=51.09 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2056 0 0 0 5098 11 0 0 25 0 1 0 907726137 18178048 1989 33554432000 134512640 137138936 4290834688 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4438 1989 192 642 0 3794 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17752
[startup+102.319 s]
/proc/loadavg: 1.91 1.73 1.83 3/515 14871
/proc/meminfo: memFree=19182428/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=17752 CPUtime=102.3 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2075 0 0 0 10212 18 0 0 25 0 1 0 907726137 18178048 2008 33554432000 134512640 137138936 4290834688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4438 2008 192 642 0 3794 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17752
[startup+162.301 s]
/proc/loadavg: 1.96 1.78 1.84 3/515 14873
/proc/meminfo: memFree=19180516/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=17752 CPUtime=162.29 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2077 0 0 0 16200 29 0 0 25 0 1 0 907726137 18178048 2010 33554432000 134512640 137138936 4290834688 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4438 2010 192 642 0 3794 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17752
[startup+222.3 s]
/proc/loadavg: 1.98 1.81 1.85 3/515 14874
/proc/meminfo: memFree=19180468/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=19160 CPUtime=222.29 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2432 0 0 0 22192 37 0 0 25 0 1 0 907726137 19619840 2365 33554432000 134512640 137138936 4290834688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4790 2365 192 642 0 4146 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19160
[startup+282.301 s]
/proc/loadavg: 1.99 1.85 1.85 3/515 14876
/proc/meminfo: memFree=19179780/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=19160 CPUtime=282.29 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2432 0 0 0 28182 47 0 0 25 0 1 0 907726137 19619840 2365 33554432000 134512640 137138936 4290834688 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4790 2365 192 642 0 4146 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19160
[startup+342.3 s]
/proc/loadavg: 1.99 1.87 1.86 3/515 14878
/proc/meminfo: memFree=19179604/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=19484 CPUtime=342.3 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2504 0 0 0 34174 56 0 0 25 0 1 0 907726137 19951616 2437 33554432000 134512640 137138936 4290834688 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4871 2437 192 642 0 4227 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19484
[startup+402.301 s]
/proc/loadavg: 2.13 1.92 1.87 3/515 14879
/proc/meminfo: memFree=19179552/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=19472 CPUtime=402.29 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2504 0 0 0 40166 63 0 0 25 0 1 0 907726137 19939328 2437 33554432000 134512640 137138936 4290834688 18446744073709551615 134618947 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4868 2437 192 642 0 4224 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 19472
[startup+462.3 s]
/proc/loadavg: 2.13 1.95 1.89 4/515 14881
/proc/meminfo: memFree=19179508/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=19464 CPUtime=462.3 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2504 0 0 0 46155 75 0 0 25 0 1 0 907726137 19931136 2437 33554432000 134512640 137138936 4290834688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 4866 2437 192 642 0 4222 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19464
[startup+522.301 s]
/proc/loadavg: 2.04 1.96 1.89 3/515 14882
/proc/meminfo: memFree=19179200/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=20256 CPUtime=522.3 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2688 0 0 0 52144 86 0 0 25 0 1 0 907726137 20742144 2621 33554432000 134512640 137138936 4290834688 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5064 2621 192 642 0 4420 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20256
[startup+582.3 s]
/proc/loadavg: 2.01 1.96 1.90 3/515 14884
/proc/meminfo: memFree=19178780/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=20380 CPUtime=582.3 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 2727 0 0 0 58136 94 0 0 25 0 1 0 907726137 20869120 2660 33554432000 134512640 137138936 4290834688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5095 2660 192 642 0 4451 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20380
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=19176020/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22364 CPUtime=1062.31 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3264 0 0 0 106074 157 0 0 25 0 1 0 907726137 22900736 3166 33554432000 134512640 137138936 4290834688 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5591 3166 192 642 0 4947 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 22364
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/515 14898
/proc/meminfo: memFree=19175344/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22364 CPUtime=1122.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3264 0 0 0 112066 166 0 0 25 0 1 0 907726137 22900736 3166 33554432000 134512640 137138936 4290834688 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5591 3166 192 642 0 4947 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 22364
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/515 14900
/proc/meminfo: memFree=19173308/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22364 CPUtime=1182.31 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3264 0 0 0 118057 174 0 0 25 0 1 0 907726137 22900736 3166 33554432000 134512640 137138936 4290834688 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5591 3166 192 642 0 4947 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 22364
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/515 14929
/proc/meminfo: memFree=19186220/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22860 CPUtime=1242.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3380 0 0 0 124050 182 0 0 25 0 1 0 907726137 23408640 3282 33554432000 134512640 137138936 4290834688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5715 3282 192 642 0 5071 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 22860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/515 14957
/proc/meminfo: memFree=19180968/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22860 CPUtime=1302.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3380 0 0 0 130043 189 0 0 25 0 1 0 907726137 23408640 3282 33554432000 134512640 137138936 4290834688 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5715 3282 192 642 0 5071 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 22860
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/515 14959
/proc/meminfo: memFree=19178564/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22860 CPUtime=1362.31 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3380 0 0 0 136034 197 0 0 25 0 1 0 907726137 23408640 3282 33554432000 134512640 137138936 4290834688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5715 3282 192 642 0 5071 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 22860
[startup+1422.32 s]
/proc/loadavg: 2.03 2.02 1.94 3/515 14987
/proc/meminfo: memFree=19163704/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22860 CPUtime=1422.34 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3380 0 0 0 142031 203 0 0 25 0 1 0 907726137 23408640 3282 33554432000 134512640 137138936 4290834688 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5715 3282 192 642 0 5071 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 22860
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/515 14989
/proc/meminfo: memFree=19159200/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=22860 CPUtime=1482.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3380 0 0 0 148022 210 0 0 25 0 1 0 907726137 23408640 3282 33554432000 134512640 137138936 4290834688 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5715 3282 192 642 0 5071 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 22860
[startup+1542.3 s]
/proc/loadavg: 2.25 2.08 1.96 3/515 14991
/proc/meminfo: memFree=19154340/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23316 CPUtime=1542.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 154015 217 0 0 25 0 1 0 907726137 23875584 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5829 3391 192 642 0 5185 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 23316
[startup+1602.3 s]
/proc/loadavg: 2.20 2.09 1.97 3/515 14992
/proc/meminfo: memFree=19156528/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23312 CPUtime=1602.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 160009 223 0 0 25 0 1 0 907726137 23871488 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 134603056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5828 3391 192 642 0 5184 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 23312
[startup+1662.3 s]
/proc/loadavg: 2.07 2.07 1.97 3/515 14994
/proc/meminfo: memFree=19153508/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23308 CPUtime=1662.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 166001 231 0 0 25 0 1 0 907726137 23867392 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5827 3391 192 642 0 5183 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 23308
[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 1.97 3/515 14995
/proc/meminfo: memFree=19153336/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23304 CPUtime=1722.32 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 171993 239 0 0 25 0 1 0 907726137 23863296 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5826 3391 192 642 0 5182 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 23304
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/515 14999
/proc/meminfo: memFree=19152164/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23300 CPUtime=1782.33 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 177988 245 0 0 25 0 1 0 907726137 23859200 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5825 3391 192 642 0 5181 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 23300
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 1.97 3/515 15000
/proc/meminfo: memFree=19152020/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23300 CPUtime=1785.53 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 178308 245 0 0 25 0 1 0 907726137 23859200 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5825 3391 192 642 0 5181 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 23300
[startup+1791.92 s]
/proc/loadavg: 2.01 2.04 1.97 3/515 15000
/proc/meminfo: memFree=19152960/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23300 CPUtime=1791.95 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 178949 246 0 0 25 0 1 0 907726137 23859200 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5825 3391 192 642 0 5181 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 23300
[startup+1795.1 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15000
/proc/meminfo: memFree=19153072/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23300 CPUtime=1795.14 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 179268 246 0 0 25 0 1 0 907726137 23859200 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5825 3391 192 642 0 5181 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 23300
[startup+1796.7 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15000
/proc/meminfo: memFree=19153072/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23300 CPUtime=1796.73 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 179427 246 0 0 25 0 1 0 907726137 23859200 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5825 3391 192 642 0 5181 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 23300
[startup+1797.5 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15000
/proc/meminfo: memFree=19152584/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23300 CPUtime=1797.53 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 179507 246 0 0 25 0 1 0 907726137 23859200 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 134603248 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5825 3391 192 642 0 5181 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 23300
[startup+1797.9 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15000
/proc/meminfo: memFree=19152584/32950940 swapFree=67111364/67111528
[pid=14867] ppid=14865 vsize=23300 CPUtime=1797.93 cores=0,2,4,6
/proc/14867/stat : 14867 (bsolo) R 14865 14867 13684 0 -1 4202496 3489 0 0 0 179547 246 0 0 25 0 1 0 907726137 23859200 3391 33554432000 134512640 137138936 4290834688 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14867/statm: 5825 3391 192 642 0 5181 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 23300
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1795.54
CPU system time (s): 2.46563
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 23324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.54
system time used= 2.46563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3489
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= 5118
runsolver used 9.31958 second user time and 20.1069 second system time
The end