runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3720131-1338507829/watcher-3720131-1338507829 -o /tmp/evaluation-result-3720131-1338507829/solver-3720131-1338507829 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720131-1338507829.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 1.99 1.68 3/174 22820
/proc/meminfo: memFree=26210272/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 316908346 3313664 297 33554432000 134512640 134579096 4291752384 4291619780 3801856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 809 297 219 17 0 115 0

[startup+0.00786412 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22820
/proc/meminfo: memFree=26210272/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 316908346 3313664 306 33554432000 134512640 134579096 4291752384 4291619784 2732013 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 809 306 219 17 0 115 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3236

[startup+0.100212 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22820
/proc/meminfo: memFree=26210272/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=5768 CPUtime=0.09 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 987 0 0 0 9 0 0 0 20 0 1 0 316908346 5906432 924 33554432000 134512640 134579096 4291752384 4291619784 2732670 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 1442 924 219 17 0 748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5768

[startup+0.300189 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22820
/proc/meminfo: memFree=26210272/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=11096 CPUtime=0.29 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 2313 0 0 0 29 0 0 0 20 0 1 0 316908346 11362304 2250 33554432000 134512640 134579096 4291752384 4291619792 134546916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 2774 2250 219 17 0 2080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11096

[startup+0.70019 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22820
/proc/meminfo: memFree=26210272/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=16656 CPUtime=0.69 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 3727 0 0 0 69 0 0 0 20 0 1 0 316908346 17055744 3664 33554432000 134512640 134579096 4291752384 4291751360 134532044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 4164 3664 225 17 0 3470 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16656

[startup+1.50018 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22821
/proc/meminfo: memFree=26195004/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=19756 CPUtime=1.49 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 4460 0 0 0 149 0 0 0 20 0 1 0 316908346 20230144 4397 33554432000 134512640 134579096 4291752384 4291751356 15918128 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 4939 4397 228 17 0 4245 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19756

[startup+3.10019 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22821
/proc/meminfo: memFree=26193516/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=19704 CPUtime=3.09 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 4488 0 0 0 309 0 0 0 20 0 1 0 316908346 20176896 4409 33554432000 134512640 134579096 4291752384 4291751040 134523686 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 4926 4409 228 17 0 4232 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19704

[startup+6.30019 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22821
/proc/meminfo: memFree=26192772/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=20484 CPUtime=6.28 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 4673 0 0 0 628 0 0 0 20 0 1 0 316908346 20975616 4581 33554432000 134512640 134579096 4291752384 4291751040 134522688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 5121 4581 228 17 0 4427 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20484

[startup+12.7002 s]
/proc/loadavg: 2.08 2.00 1.69 3/175 22821
/proc/meminfo: memFree=26182380/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=30808 CPUtime=12.69 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 7274 0 0 0 1268 1 0 0 20 0 1 0 316908346 31547392 7182 33554432000 134512640 134579096 4291752384 4291751040 134522688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22820/statm: 7702 7182 228 17 0 7008 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30808

[startup+25.5002 s]
/proc/loadavg: 2.07 2.00 1.69 3/175 22821
/proc/meminfo: memFree=26158548/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=54440 CPUtime=25.47 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 13162 0 0 0 2545 2 0 0 20 0 1 0 316908346 55746560 13069 33554432000 134512640 134579096 4291752384 4291751200 134519114 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 13610 13069 228 17 0 12916 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 54440

[startup+51.1002 s]
/proc/loadavg: 2.04 2.00 1.70 3/175 22821
/proc/meminfo: memFree=26117472/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=95352 CPUtime=51.07 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 23402 0 0 0 5102 5 0 0 20 0 1 0 316908346 97640448 23302 33554432000 134512640 134579096 4291752384 4291751040 134524561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 23838 23302 228 17 0 23144 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95352

[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.72 3/175 22821
/proc/meminfo: memFree=26026872/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=184776 CPUtime=102.24 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 45609 0 0 0 10213 11 0 0 20 0 1 0 316908346 189210624 45549 33554432000 134512640 134579096 4291752384 4291751040 134524561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 46194 45549 228 17 0 45500 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 184776

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/175 22822
/proc/meminfo: memFree=25957000/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=255124 CPUtime=162.21 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 63111 0 0 0 16204 17 0 0 20 0 1 0 316908346 261246976 63188 33554432000 134512640 134579096 4291752384 4291751356 15918128 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 63781 63188 228 17 0 63087 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 255124

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/175 22822
/proc/meminfo: memFree=25858420/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=353852 CPUtime=222.2 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 87543 0 0 0 22197 23 0 0 20 0 1 0 316908346 362344448 87620 33554432000 134512640 134579096 4291752384 4291751200 134519100 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 88463 87620 228 17 0 87769 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 353852

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/175 22822
/proc/meminfo: memFree=25793560/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=420268 CPUtime=282.19 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 103961 0 0 0 28191 28 0 0 20 0 1 0 316908346 430354432 104038 33554432000 134512640 134579096 4291752384 4291751356 15918128 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 105067 104038 228 17 0 104373 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 420268

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/175 22822
/proc/meminfo: memFree=25737044/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=475064 CPUtime=342.16 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 117441 0 0 0 34183 33 0 0 20 0 1 0 316908346 486465536 117587 33554432000 134512640 134579096 4291752384 4291751040 134524544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 118766 117587 228 17 0 118072 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 475064

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.78 3/176 22825
/proc/meminfo: memFree=25679652/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=532328 CPUtime=402.14 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 131675 0 0 0 40174 40 0 0 20 0 1 0 316908346 545103872 131879 33554432000 134512640 134579096 4291752384 4291751248 134520078 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 133082 131879 228 17 0 132388 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 532328

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.80 3/175 22826
/proc/meminfo: memFree=25613472/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=598144 CPUtime=462.11 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 148011 0 0 0 46167 44 0 0 20 0 1 0 316908346 612499456 148290 33554432000 134512640 134579096 4291752384 4291751040 134523654 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 149536 148290 228 17 0 148842 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 598144

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/175 22826
/proc/meminfo: memFree=25558072/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=654108 CPUtime=522.09 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 161971 0 0 0 52160 49 0 0 20 0 1 0 316908346 669806592 162250 33554432000 134512640 134579096 4291752384 4291751248 134520048 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 163527 162250 228 17 0 162833 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 654108

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/175 22826
/proc/meminfo: memFree=25516612/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=695472 CPUtime=582.07 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 172077 0 0 0 58155 52 0 0 20 0 1 0 316908346 712163328 172416 33554432000 134512640 134579096 4291752384 4291751248 134520067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 173868 172416 228 17 0 173174 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 695472

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=25220128/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=997716 CPUtime=882.03 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 246309 0 0 0 88129 74 0 0 20 0 1 0 316908346 1021661184 246457 33554432000 134512640 134579096 4291752384 4291751216 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 249429 246457 228 17 0 248735 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 997716

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.86 3/175 22827
/proc/meminfo: memFree=25171024/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=942.02 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258442 0 0 0 94124 78 0 0 20 0 1 0 316908346 1071304704 258590 33554432000 134512640 134579096 4291752384 4291751200 134519125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258590 228 17 0 260855 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1046196

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 22830
/proc/meminfo: memFree=25170760/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1002.01 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258443 0 0 0 100122 79 0 0 20 0 1 0 316908346 1071304704 258657 33554432000 134512640 134579096 4291752384 4291751232 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258657 228 17 0 260855 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1046196

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 22854
/proc/meminfo: memFree=25170416/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1062 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258449 0 0 0 106120 80 0 0 20 0 1 0 316908346 1071304704 258657 33554432000 134512640 134579096 4291752384 4291751248 134520078 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258657 228 17 0 260855 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1046196

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 22854
/proc/meminfo: memFree=25170204/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1121.98 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258464 0 0 0 112117 81 0 0 20 0 1 0 316908346 1071304704 258700 33554432000 134512640 134579096 4291752384 4291751040 134522742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258700 228 17 0 260855 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1046196

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 22854
/proc/meminfo: memFree=25169428/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1181.96 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258490 0 0 0 118114 82 0 0 20 0 1 0 316908346 1071304704 258865 33554432000 134512640 134579096 4291752384 4291751204 134556334 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258865 228 17 0 260855 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1046196

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 22854
/proc/meminfo: memFree=25169304/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1241.95 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258490 0 0 0 124112 83 0 0 20 0 1 0 316908346 1071304704 258865 33554432000 134512640 134579096 4291752384 4291751216 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258865 228 17 0 260855 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1046196

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 22854
/proc/meminfo: memFree=25168808/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1301.95 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258490 0 0 0 130110 85 0 0 20 0 1 0 316908346 1071304704 258865 33554432000 134512640 134579096 4291752384 4291751232 134527833 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258865 228 17 0 260855 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1046196

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/174 22854
/proc/meminfo: memFree=25168692/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1361.93 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258490 0 0 0 136108 85 0 0 20 0 1 0 316908346 1071304704 258865 33554432000 134512640 134579096 4291752384 4291751232 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258865 228 17 0 260855 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1046196

[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 1.91 3/175 22855
/proc/meminfo: memFree=25168808/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1421.93 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258490 0 0 0 142107 86 0 0 20 0 1 0 316908346 1071304704 258865 33554432000 134512640 134579096 4291752384 4291751216 134517896 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258865 228 17 0 260855 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1046196

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/175 22855
/proc/meminfo: memFree=25168684/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1481.92 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258493 0 0 0 148104 88 0 0 20 0 1 0 316908346 1071304704 258868 33554432000 134512640 134579096 4291752384 4291751248 134520196 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258868 228 17 0 260855 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1046196

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/175 22855
/proc/meminfo: memFree=25168684/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1541.91 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258493 0 0 0 154102 89 0 0 20 0 1 0 316908346 1071304704 258868 33554432000 134512640 134579096 4291752384 4291751216 134517872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258868 228 17 0 260855 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1046196

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 22858
/proc/meminfo: memFree=25168428/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1601.9 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258493 0 0 0 160100 90 0 0 20 0 1 0 316908346 1071304704 258868 33554432000 134512640 134579096 4291752384 4291751184 134528817 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258868 228 17 0 260855 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1046196

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22858
/proc/meminfo: memFree=25168684/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1661.89 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258493 0 0 0 166098 91 0 0 20 0 1 0 316908346 1071304704 258868 33554432000 134512640 134579096 4291752384 4291751248 134520044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258868 228 17 0 260855 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1046196

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22859
/proc/meminfo: memFree=25168436/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1046196 CPUtime=1721.88 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 258496 0 0 0 172096 92 0 0 20 0 1 0 316908346 1071304704 258871 33554432000 134512640 134579096 4291752384 4291751232 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 261549 258871 228 17 0 260855 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1046196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22907
/proc/meminfo: memFree=25141824/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1077924 CPUtime=1781.87 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 266372 0 0 0 178092 95 0 0 20 0 1 0 316908346 1103794176 266747 33554432000 134512640 134579096 4291752384 4291751312 134559526 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 269481 266747 228 17 0 268787 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1077924

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22907
/proc/meminfo: memFree=25141824/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1078200 CPUtime=1782.67 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 266442 0 0 0 178172 95 0 0 20 0 1 0 316908346 1104076800 266817 33554432000 134512640 134579096 4291752384 4291751216 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 269550 266817 228 17 0 268856 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 1078200

[startup+1783.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22907
/proc/meminfo: memFree=25141824/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1078592 CPUtime=1782.87 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 266543 0 0 0 178192 95 0 0 20 0 1 0 316908346 1104478208 266918 33554432000 134512640 134579096 4291752384 4291751312 134559575 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 269648 266918 228 17 0 268954 0
Current children cumulated CPU time (s) 1782.87
Current children cumulated vsize (KiB) 1078592

[startup+1783.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22907
/proc/meminfo: memFree=25141824/32873852 swapFree=6856/6856
[pid=22820] ppid=22818 vsize=1078712 CPUtime=1782.97 cores=0,2,4,6
/proc/22820/stat : 22820 (Pueblo) R 22818 22820 22360 0 -1 4202496 266583 0 0 0 178202 95 0 0 20 0 1 0 316908346 1104601088 266958 33554432000 134512640 134579096 4291752384 4291751248 134520048 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22820/statm: 269678 266958 228 17 0 268984 0
Current children cumulated CPU time (s) 1782.97
Current children cumulated vsize (KiB) 1078712

Child status: 10
Real time (s): 1783.43
CPU time (s): 1783.02
CPU user time (s): 1782.05
CPU system time (s): 0.963853
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 1078712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.05
system time used= 0.963853
maximum resident set size= 1067892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266598
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= 271
involuntary context switches= 2157

runsolver used 2.72458 second user time and 7.32189 second system time

The end