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-3719925-1338506023/watcher-3719925-1338506023 -o /tmp/evaluation-result-3719925-1338506023/solver-3719925-1338506023 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719925-1338506023.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.06 0.02 0.00 3/171 5417
/proc/meminfo: memFree=28482732/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 316726934 3174400 279 33554432000 134512640 134579096 4292513376 4292380836 2331440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 775 279 221 17 0 81 0
[startup+0.028912 s]
/proc/loadavg: 0.06 0.02 0.00 3/171 5417
/proc/meminfo: memFree=28482732/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=3900 CPUtime=0.02 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 511 0 0 0 2 0 0 0 20 0 1 0 316726934 3993600 448 33554432000 134512640 134579096 4292513376 4292380800 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 975 448 221 17 0 281 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3900
[startup+0.100211 s]
/proc/loadavg: 0.06 0.02 0.00 3/171 5417
/proc/meminfo: memFree=28482732/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=5896 CPUtime=0.09 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 1038 0 0 0 9 0 0 0 20 0 1 0 316726934 6037504 975 33554432000 134512640 134579096 4292513376 4292380784 134534771 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 1474 976 221 17 0 780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5896
[startup+0.300182 s]
/proc/loadavg: 0.06 0.02 0.00 3/171 5417
/proc/meminfo: memFree=28482732/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=11492 CPUtime=0.29 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 2419 0 0 0 29 0 0 0 20 0 1 0 316726934 11767808 2356 33554432000 134512640 134579096 4292513376 4292380824 1601565 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 2873 2356 221 17 0 2179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11492
[startup+0.700176 s]
/proc/loadavg: 0.06 0.02 0.00 3/171 5417
/proc/meminfo: memFree=28482732/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=22148 CPUtime=0.68 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 5076 0 0 0 68 0 0 0 20 0 1 0 316726934 22679552 5014 33554432000 134512640 134579096 4292513376 4292380724 2331455 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 5537 5014 221 17 0 4843 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22148
[startup+1.50018 s]
/proc/loadavg: 0.06 0.02 0.00 2/172 5418
/proc/meminfo: memFree=28456616/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=41064 CPUtime=1.49 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 9831 0 0 0 147 2 0 0 20 0 1 0 316726934 42049536 9768 33554432000 134512640 134579096 4292513376 4292380784 134546916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 10266 9768 221 17 0 9572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41064
[startup+3.10017 s]
/proc/loadavg: 0.06 0.02 0.00 2/172 5418
/proc/meminfo: memFree=28436528/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=53548 CPUtime=3.09 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 11979 0 0 0 307 2 0 0 20 0 1 0 316726934 54833152 11790 33554432000 134512640 134579096 4292513376 4292512336 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 13387 11790 228 17 0 12693 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53548
[startup+6.30022 s]
/proc/loadavg: 0.14 0.03 0.01 2/172 5418
/proc/meminfo: memFree=28436064/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=53548 CPUtime=6.29 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 11979 0 0 0 627 2 0 0 20 0 1 0 316726934 54833152 11790 33554432000 134512640 134579096 4292513376 4292512336 134532448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 13387 11790 228 17 0 12693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53548
[startup+12.7002 s]
/proc/loadavg: 0.20 0.05 0.01 3/177 5487
/proc/meminfo: memFree=28429756/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=54380 CPUtime=12.69 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 12179 0 0 0 1267 2 0 0 20 0 1 0 316726934 55685120 11909 33554432000 134512640 134579096 4292513376 4292512352 134532045 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 13595 11909 228 17 0 12901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54380
[startup+25.5002 s]
/proc/loadavg: 0.60 0.14 0.04 3/177 5487
/proc/meminfo: memFree=28423952/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=59116 CPUtime=25.48 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 13344 0 0 0 2546 2 0 0 20 0 1 0 316726934 60534784 13070 33554432000 134512640 134579096 4292513376 4292512336 134532448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 14779 13070 228 17 0 14085 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59116
[startup+51.1003 s]
/proc/loadavg: 1.08 0.29 0.10 3/177 5487
/proc/meminfo: memFree=28411476/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=69808 CPUtime=51.07 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 16033 0 0 0 5104 3 0 0 20 0 1 0 316726934 71483392 15812 33554432000 134512640 134579096 4292513376 4292512288 134559161 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 17452 15812 230 17 0 16758 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69808
[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.19 3/177 5487
/proc/meminfo: memFree=28410972/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=70192 CPUtime=102.27 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 16088 0 0 0 10224 3 0 0 20 0 1 0 316726934 71876608 15863 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 17548 15863 230 17 0 16854 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70192
[startup+162.3 s]
/proc/loadavg: 1.85 0.81 0.30 3/177 5488
/proc/meminfo: memFree=28371752/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=109444 CPUtime=162.25 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 25885 0 0 0 16218 7 0 0 20 0 1 0 316726934 112070656 25691 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 27361 25691 230 17 0 26667 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 109444
[startup+222.3 s]
/proc/loadavg: 1.94 1.03 0.41 3/177 5488
/proc/meminfo: memFree=28330088/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=151476 CPUtime=222.23 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 36232 0 0 0 22212 11 0 0 20 0 1 0 316726934 155111424 36038 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 37869 36038 230 17 0 37175 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 151476
[startup+282.3 s]
/proc/loadavg: 1.98 1.20 0.50 3/177 5488
/proc/meminfo: memFree=28296348/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=184704 CPUtime=282.2 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 44543 0 0 0 28205 15 0 0 20 0 1 0 316726934 189136896 44454 33554432000 134512640 134579096 4292513376 4292512196 134556417 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 46176 44454 230 17 0 45482 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 184704
[startup+342.3 s]
/proc/loadavg: 2.03 1.36 0.60 3/177 5488
/proc/meminfo: memFree=28257720/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=222280 CPUtime=342.19 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 53879 0 0 0 34201 18 0 0 20 0 1 0 316726934 227614720 53790 33554432000 134512640 134579096 4292513376 4292512304 134559528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 55570 53790 230 17 0 54876 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 222280
[startup+402.3 s]
/proc/loadavg: 2.01 1.47 0.68 3/178 5491
/proc/meminfo: memFree=28229192/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=251172 CPUtime=402.18 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 61062 0 0 0 40197 21 0 0 20 0 1 0 316726934 257200128 60973 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 62793 60973 230 17 0 62099 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 251172
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.76 3/177 5492
/proc/meminfo: memFree=28194140/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=286016 CPUtime=462.15 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 69564 0 0 0 46191 24 0 0 20 0 1 0 316726934 292880384 69617 33554432000 134512640 134579096 4292513376 4292512240 134519987 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 71504 69617 230 17 0 70810 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 286016
[startup+522.3 s]
/proc/loadavg: 2.00 1.64 0.84 3/177 5492
/proc/meminfo: memFree=28165052/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=316504 CPUtime=522.13 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 76961 0 0 0 52187 26 0 0 20 0 1 0 316726934 324100096 77015 33554432000 134512640 134579096 4292513376 4292512304 134559292 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 79126 77015 230 17 0 78432 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 316504
[startup+582.3 s]
/proc/loadavg: 2.04 1.72 0.91 3/177 5492
/proc/meminfo: memFree=28134548/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=347204 CPUtime=582.12 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 84572 0 0 0 58183 29 0 0 20 0 1 0 316726934 355536896 84626 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 86801 84626 230 17 0 86107 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 347204
[startup+642.3 s]
/proc/loadavg: 2.01 1.77 0.98 3/177 5492
/proc/meminfo: memFree=28102308/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=379144 CPUtime=642.12 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 92519 0 0 0 64180 32 0 0 20 0 1 0 316726934 388243456 92573 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 94786 92573 230 17 0 94092 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 379144
[startup+702.3 s]
/proc/loadavg: 2.00 1.81 1.04 3/177 5492
/proc/meminfo: memFree=28068880/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=411556 CPUtime=702.08 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 100590 0 0 0 70172 36 0 0 20 0 1 0 316726934 421433344 100823 33554432000 134512640 134579096 4292513376 4292512304 134559528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 102889 100823 230 17 0 102195 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 411556
[startup+762.306 s]
/proc/loadavg: 2.00 1.84 1.10 3/177 5493
/proc/meminfo: memFree=28042716/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=437000 CPUtime=762.06 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 106852 0 0 0 76167 39 0 0 20 0 1 0 316726934 447488000 107128 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 109250 107128 230 17 0 108556 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 437000
[startup+822.3 s]
/proc/loadavg: 2.04 1.88 1.15 3/177 5493
/proc/meminfo: memFree=28016552/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=463740 CPUtime=822.05 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 113473 0 0 0 82163 42 0 0 20 0 1 0 316726934 474869760 113749 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 115935 113749 230 17 0 115241 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 463740
[startup+882.3 s]
/proc/loadavg: 2.01 1.90 1.20 3/177 5493
/proc/meminfo: memFree=27991256/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=489284 CPUtime=882.04 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 119749 0 0 0 88160 44 0 0 20 0 1 0 316726934 501026816 120025 33554432000 134512640 134579096 4292513376 4292512304 134559528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 122321 120025 230 17 0 121627 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 489284
[startup+942.3 s]
/proc/loadavg: 2.04 1.93 1.26 3/177 5493
/proc/meminfo: memFree=27971168/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=509432 CPUtime=942.03 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 124808 0 0 0 94157 46 0 0 20 0 1 0 316726934 521658368 125084 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 127358 125084 230 17 0 126664 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 509432
[startup+1002.3 s]
/proc/loadavg: 2.01 1.94 1.30 3/178 5496
/proc/meminfo: memFree=27948344/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=531996 CPUtime=1002.01 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 130362 0 0 0 100152 49 0 0 20 0 1 0 316726934 544763904 130638 33554432000 134512640 134579096 4292513376 4292511944 1582375 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 132999 130638 230 17 0 132305 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 531996
[startup+1062.3 s]
/proc/loadavg: 2.12 1.98 1.35 3/177 5497
/proc/meminfo: memFree=27940272/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1062 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132140 0 0 0 106150 50 0 0 20 0 1 0 316726934 551919616 132551 33554432000 134512640 134579096 4292513376 4292512240 134520147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132551 230 17 0 134052 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 538984
[startup+1122.3 s]
/proc/loadavg: 2.04 1.98 1.39 3/177 5497
/proc/meminfo: memFree=27940372/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1121.98 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 112148 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 538984
[startup+1182.3 s]
/proc/loadavg: 2.01 1.98 1.42 3/177 5497
/proc/meminfo: memFree=27940248/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1181.97 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 118147 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512192 134558913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 538984
[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.46 3/177 5497
/proc/meminfo: memFree=27939876/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1241.96 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 124146 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512240 134519914 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 538984
[startup+1302.3 s]
/proc/loadavg: 2.04 2.00 1.49 3/178 5498
/proc/meminfo: memFree=27939496/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1301.96 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 130146 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 538984
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.52 3/177 5499
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1361.94 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 136144 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512256 134557537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 538984
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.56 3/177 5499
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1421.94 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 142144 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 538984
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5499
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1481.92 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 148142 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 538984
Solver just ended. Dumping a history of the last processes samples
[startup+1482.7 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5499
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1482.33 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 148183 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512304 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 538984
[startup+1483.1 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5499
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1482.72 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 148222 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512320 134519848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1482.72
Current children cumulated vsize (KiB) 538984
[startup+1483.2 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5499
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5417] ppid=5415 vsize=538984 CPUtime=1482.82 cores=0,2,4,6
/proc/5417/stat : 5417 (Pueblo) R 5415 5417 5139 0 -1 4202496 132152 0 0 0 148232 50 0 0 20 0 1 0 316726934 551919616 132582 33554432000 134512640 134579096 4292513376 4292512304 134559528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5417/statm: 134746 132582 230 17 0 134052 0
Current children cumulated CPU time (s) 1482.82
Current children cumulated vsize (KiB) 538984
Child status: 20
Real time (s): 1483.26
CPU time (s): 1482.89
CPU user time (s): 1482.39
CPU system time (s): 0.503923
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 538984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.39
system time used= 0.503923
maximum resident set size= 530348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132157
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= 227
involuntary context switches= 1572
runsolver used 2.28665 second user time and 5.80912 second system time
The end