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-3720021-1338506239/watcher-3720021-1338506239 -o /tmp/evaluation-result-3720021-1338506239/solver-3720021-1338506239 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720021-1338506239.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.95 1.07 0.43 4/176 12234
/proc/meminfo: memFree=28110464/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 316752463 3174400 268 33554432000 134512640 134579096 4290830960 4290698420 2331407 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 775 268 221 17 0 81 0
[startup+0.100119 s]
/proc/loadavg: 1.95 1.07 0.43 4/176 12234
/proc/meminfo: memFree=28110464/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=4428 CPUtime=0.09 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 656 0 0 0 9 0 0 0 20 0 1 0 316752463 4534272 594 33554432000 134512640 134579096 4290830960 4290829616 134522706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 1107 594 229 17 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4428
[startup+0.200208 s]
/proc/loadavg: 1.95 1.07 0.43 4/176 12234
/proc/meminfo: memFree=28110464/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=4560 CPUtime=0.19 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 688 0 0 0 19 0 0 0 20 0 1 0 316752463 4669440 626 33554432000 134512640 134579096 4290830960 4290829616 134524568 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 1140 626 229 17 0 446 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4560
[startup+0.300201 s]
/proc/loadavg: 1.95 1.07 0.43 4/176 12234
/proc/meminfo: memFree=28110464/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=4824 CPUtime=0.29 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 752 0 0 0 29 0 0 0 20 0 1 0 316752463 4939776 690 33554432000 134512640 134579096 4290830960 4290829840 134558596 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 1206 690 229 17 0 512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4824
[startup+0.700176 s]
/proc/loadavg: 1.95 1.07 0.43 4/176 12234
/proc/meminfo: memFree=28110464/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=5348 CPUtime=0.68 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 890 0 0 0 68 0 0 0 20 0 1 0 316752463 5476352 828 33554432000 134512640 134579096 4290830960 4290829808 134527712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 1337 828 229 17 0 643 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5348
[startup+1.50017 s]
/proc/loadavg: 1.95 1.07 0.43 3/177 12235
/proc/meminfo: memFree=28107396/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=5988 CPUtime=1.48 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 1040 0 0 0 148 0 0 0 20 0 1 0 316752463 6131712 978 33554432000 134512640 134579096 4290830960 4290829868 134519884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 1497 978 229 17 0 803 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5988
[startup+3.10017 s]
/proc/loadavg: 1.95 1.07 0.43 3/177 12235
/proc/meminfo: memFree=28105164/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=6380 CPUtime=3.09 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 1149 0 0 0 308 1 0 0 20 0 1 0 316752463 6533120 1087 33554432000 134512640 134579096 4290830960 4290829888 134559533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 1595 1087 229 17 0 901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6380
[startup+6.30018 s]
/proc/loadavg: 1.96 1.08 0.44 3/177 12235
/proc/meminfo: memFree=28102684/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=7032 CPUtime=6.29 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 1320 0 0 0 627 2 0 0 20 0 1 0 316752463 7200768 1258 33554432000 134512640 134579096 4290830960 4290829776 134519100 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12234/statm: 1758 1258 229 17 0 1064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7032
[startup+12.7002 s]
/proc/loadavg: 1.96 1.10 0.45 3/177 12235
/proc/meminfo: memFree=28095764/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=7556 CPUtime=12.69 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 1450 0 0 0 1265 4 0 0 20 0 1 0 316752463 7737344 1388 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 1889 1388 229 17 0 1195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7556
[startup+25.5003 s]
/proc/loadavg: 1.97 1.14 0.47 3/177 12235
/proc/meminfo: memFree=28082000/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=8732 CPUtime=25.48 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 1736 0 0 0 2541 7 0 0 20 0 1 0 316752463 8941568 1674 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 2183 1674 229 17 0 1489 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8732
[startup+51.1003 s]
/proc/loadavg: 1.98 1.21 0.51 3/177 12235
/proc/meminfo: memFree=28055464/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=10416 CPUtime=51.07 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 2171 0 0 0 5095 12 0 0 20 0 1 0 316752463 10665984 2109 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 2604 2109 229 17 0 1910 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10416
[startup+102.3 s]
/proc/loadavg: 1.99 1.33 0.58 3/177 12235
/proc/meminfo: memFree=28011416/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=11724 CPUtime=102.28 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 2487 0 0 0 10208 20 0 0 20 0 1 0 316752463 12005376 2425 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 2931 2425 229 17 0 2237 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11724
[startup+162.3 s]
/proc/loadavg: 2.06 1.46 0.68 3/177 12235
/proc/meminfo: memFree=27967300/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=12908 CPUtime=162.26 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 2769 0 0 0 16200 26 0 0 20 0 1 0 316752463 13217792 2707 33554432000 134512640 134579096 4290830960 4290829808 134528346 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 3227 2707 229 17 0 2533 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12908
[startup+222.306 s]
/proc/loadavg: 2.02 1.56 0.76 3/177 12238
/proc/meminfo: memFree=27920084/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=13432 CPUtime=222.26 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 2921 0 0 0 22193 33 0 0 20 0 1 0 316752463 13754368 2859 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 3358 2859 229 17 0 2664 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 13432
[startup+282.3 s]
/proc/loadavg: 2.04 1.65 0.84 3/177 12238
/proc/meminfo: memFree=27873984/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=14196 CPUtime=282.24 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 3098 0 0 0 28183 41 0 0 20 0 1 0 316752463 14536704 3036 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 3549 3036 229 17 0 2855 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14196
[startup+342.3 s]
/proc/loadavg: 2.01 1.71 0.91 3/177 12239
/proc/meminfo: memFree=27838272/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=14364 CPUtime=342.23 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 3155 0 0 0 34173 50 0 0 20 0 1 0 316752463 14708736 3086 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 3591 3086 229 17 0 2897 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14364
[startup+402.3 s]
/proc/loadavg: 2.00 1.76 0.97 3/176 12239
/proc/meminfo: memFree=27800832/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=15000 CPUtime=402.22 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 3327 0 0 0 40163 59 0 0 20 0 1 0 316752463 15360000 3256 33554432000 134512640 134579096 4290830960 4290829840 134557729 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 3750 3256 229 17 0 3056 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15000
[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.03 3/177 12240
/proc/meminfo: memFree=27769080/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=15700 CPUtime=462.21 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 3498 0 0 0 46154 67 0 0 20 0 1 0 316752463 16076800 3427 33554432000 134512640 134579096 4290830960 4290829808 134527759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 3925 3427 229 17 0 3231 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15700
[startup+522.3 s]
/proc/loadavg: 2.00 1.83 1.09 3/177 12240
/proc/meminfo: memFree=27737708/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=16272 CPUtime=522.2 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 3637 0 0 0 52144 76 0 0 20 0 1 0 316752463 16662528 3566 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 4068 3566 229 17 0 3374 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 16272
[startup+582.3 s]
/proc/loadavg: 2.00 1.86 1.14 3/177 12240
/proc/meminfo: memFree=27693192/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=16272 CPUtime=582.19 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 3638 0 0 0 58135 84 0 0 20 0 1 0 316752463 16662528 3567 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 4068 3567 229 17 0 3374 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 16272
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27527908/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=18260 CPUtime=882.15 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4139 0 0 0 88088 127 0 0 20 0 1 0 316752463 18698240 4066 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 4565 4066 229 17 0 3871 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 18260
[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/177 12246
/proc/meminfo: memFree=27502860/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=18260 CPUtime=942.13 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4139 0 0 0 94076 137 0 0 20 0 1 0 316752463 18698240 4066 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 4565 4066 229 17 0 3871 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 18260
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.44 3/177 12246
/proc/meminfo: memFree=27475828/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=18516 CPUtime=1002.13 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4189 0 0 0 100068 145 0 0 20 0 1 0 316752463 18960384 4116 33554432000 134512640 134579096 4290830960 4290829824 134520196 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 4629 4116 229 17 0 3935 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 18516
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.47 3/177 12246
/proc/meminfo: memFree=27452020/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=18908 CPUtime=1062.11 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4287 0 0 0 106059 152 0 0 20 0 1 0 316752463 19361792 4214 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 4727 4214 229 17 0 4033 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 18908
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/177 12246
/proc/meminfo: memFree=27426476/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=19432 CPUtime=1122.11 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4406 0 0 0 112048 163 0 0 20 0 1 0 316752463 19898368 4333 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 4858 4333 229 17 0 4164 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 19432
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/177 12246
/proc/meminfo: memFree=27404156/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=20604 CPUtime=1182.09 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4711 0 0 0 118039 170 0 0 20 0 1 0 316752463 21098496 4638 33554432000 134512640 134579096 4290830960 4290829808 134527956 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5151 4638 229 17 0 4457 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 20604
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/177 12247
/proc/meminfo: memFree=27380968/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=20516 CPUtime=1242.08 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4711 0 0 0 124030 178 0 0 20 0 1 0 316752463 21008384 4626 33554432000 134512640 134579096 4290830960 4290829616 134524568 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5129 4626 229 17 0 4435 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 20516
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/177 12247
/proc/meminfo: memFree=27346248/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=20780 CPUtime=1302.08 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4756 0 0 0 130023 185 0 0 20 0 1 0 316752463 21278720 4671 33554432000 134512640 134579096 4290830960 4290829888 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5195 4671 229 17 0 4501 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 20780
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/177 12247
/proc/meminfo: memFree=27314752/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1362.07 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4843 0 0 0 136013 194 0 0 20 0 1 0 316752463 21688320 4758 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4758 229 17 0 4601 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 21180
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/177 12250
/proc/meminfo: memFree=27287156/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1422.07 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4843 0 0 0 142004 203 0 0 20 0 1 0 316752463 21688320 4758 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4758 229 17 0 4601 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 21180
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/177 12250
/proc/meminfo: memFree=27260408/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1482.06 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4843 0 0 0 147995 211 0 0 20 0 1 0 316752463 21688320 4758 33554432000 134512640 134579096 4290830960 4290829808 134527726 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4758 229 17 0 4601 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 21180
[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.67 4/177 12251
/proc/meminfo: memFree=27235512/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1542.05 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4843 0 0 0 153988 217 0 0 20 0 1 0 316752463 21688320 4758 33554432000 134512640 134579096 4290830960 4290829808 134527724 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4758 229 17 0 4601 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 21180
[startup+1602.3 s]
/proc/loadavg: 1.95 1.96 1.68 3/177 12396
/proc/meminfo: memFree=28383184/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1602.04 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4845 0 0 0 159977 227 0 0 20 0 1 0 316752463 21688320 4768 33554432000 134512640 134579096 4290830960 4290829808 134527656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4768 229 17 0 4601 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 21180
[startup+1662.3 s]
/proc/loadavg: 1.98 1.96 1.70 3/177 12396
/proc/meminfo: memFree=28382564/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1662.03 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4845 0 0 0 165969 234 0 0 20 0 1 0 316752463 21688320 4768 33554432000 134512640 134579096 4290830960 4290829888 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4768 229 17 0 4601 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 21180
[startup+1722.3 s]
/proc/loadavg: 2.07 1.98 1.72 3/177 12396
/proc/meminfo: memFree=28382688/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1722.02 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4845 0 0 0 171960 242 0 0 20 0 1 0 316752463 21688320 4768 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4768 229 17 0 4601 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 21180
[startup+1782.3 s]
/proc/loadavg: 2.07 2.00 1.74 3/177 12396
/proc/meminfo: memFree=28382068/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1782.01 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4865 0 0 0 177951 250 0 0 20 0 1 0 316752463 21688320 4788 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4788 229 17 0 4601 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 21180
Solver just ended. Dumping a history of the last processes samples
[startup+1782.4 s]
/proc/loadavg: 2.07 2.00 1.74 3/177 12396
/proc/meminfo: memFree=28382068/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1782.11 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4865 0 0 0 177961 250 0 0 20 0 1 0 316752463 21688320 4788 33554432000 134512640 134579096 4290830960 4290829824 134520144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4788 229 17 0 4601 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 21180
[startup+1782.8 s]
/proc/loadavg: 2.07 2.00 1.74 3/177 12396
/proc/meminfo: memFree=28382068/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1782.51 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4865 0 0 0 178001 250 0 0 20 0 1 0 316752463 21688320 4788 33554432000 134512640 134579096 4290830960 4290829808 134528320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4788 229 17 0 4601 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (KiB) 21180
[startup+1783.21 s]
/proc/loadavg: 2.07 2.00 1.74 3/177 12396
/proc/meminfo: memFree=28382068/32873844 swapFree=7116/7116
[pid=12234] ppid=12232 vsize=21180 CPUtime=1782.92 cores=0,2,4,6
/proc/12234/stat : 12234 (Pueblo) R 12232 12234 12127 0 -1 4202496 4865 0 0 0 178042 250 0 0 20 0 1 0 316752463 21688320 4788 33554432000 134512640 134579096 4290830960 4290829932 14586928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12234/statm: 5295 4788 229 17 0 4601 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 21180
Child status: 10
Real time (s): 1783.29
CPU time (s): 1783
CPU user time (s): 1780.5
CPU system time (s): 2.50162
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 21180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.5
system time used= 2.50162
maximum resident set size= 19172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4870
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= 17
involuntary context switches= 1897
runsolver used 2.6106 second user time and 7.12092 second system time
The end