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-3720010-1338506083/watcher-3720010-1338506083 -o /tmp/evaluation-result-3720010-1338506083/solver-3720010-1338506083 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720010-1338506083.opb
running on 4 cores: 1,3,5,7
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.43 0.44 0.15 3/176 9485
/proc/meminfo: memFree=27774068/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 316734416 3178496 259 33554432000 134512640 134579096 4290190912 4290058260 4674357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 776 259 213 17 0 82 0
[startup+0.0503391 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 9485
/proc/meminfo: memFree=27774068/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=4204 CPUtime=0.04 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 593 0 0 0 4 0 0 0 20 0 1 0 316734416 4304896 530 33554432000 134512640 134579096 4290190912 4290189568 134522427 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 1051 530 227 17 0 357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4204
[startup+0.100261 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 9485
/proc/meminfo: memFree=27774068/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=4512 CPUtime=0.09 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 689 0 0 0 9 0 0 0 20 0 1 0 316734416 4620288 626 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 1128 626 227 17 0 434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4512
[startup+0.300222 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 9485
/proc/meminfo: memFree=27774068/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=5712 CPUtime=0.29 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 979 0 0 0 29 0 0 0 20 0 1 0 316734416 5849088 916 33554432000 134512640 134579096 4290190912 4290189568 134522706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 1428 916 227 17 0 734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5712
[startup+0.700224 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 9485
/proc/meminfo: memFree=27774068/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=7524 CPUtime=0.69 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 1443 0 0 0 69 0 0 0 20 0 1 0 316734416 7704576 1380 33554432000 134512640 134579096 4290190912 4290189732 134556363 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 1881 1380 227 17 0 1187 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7524
[startup+1.50023 s]
/proc/loadavg: 1.43 0.44 0.15 3/177 9486
/proc/meminfo: memFree=27768248/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=8544 CPUtime=1.49 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 1706 0 0 0 149 0 0 0 20 0 1 0 316734416 8749056 1643 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 2136 1643 227 17 0 1442 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8544
[startup+3.10022 s]
/proc/loadavg: 1.43 0.44 0.15 3/177 9486
/proc/meminfo: memFree=27765240/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=10068 CPUtime=3.09 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 2085 0 0 0 309 0 0 0 20 0 1 0 316734416 10309632 2022 33554432000 134512640 134579096 4290190912 4290189744 134517872 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 2517 2022 227 17 0 1823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10068
[startup+6.30022 s]
/proc/loadavg: 1.47 0.47 0.16 3/177 9486
/proc/meminfo: memFree=27758296/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=14264 CPUtime=6.28 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 3138 0 0 0 628 0 0 0 20 0 1 0 316734416 14606336 3075 33554432000 134512640 134579096 4290190912 4290186960 134533489 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9485/statm: 3566 3075 227 17 0 2872 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14264
[startup+12.7002 s]
/proc/loadavg: 1.51 0.49 0.17 3/177 9486
/proc/meminfo: memFree=27741936/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=22724 CPUtime=12.68 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 5373 0 0 0 1268 0 0 0 20 0 1 0 316734416 23269376 5172 33554432000 134512640 134579096 4290190912 4290189728 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 5681 5172 227 17 0 4987 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22724
[startup+25.5002 s]
/proc/loadavg: 1.62 0.56 0.20 3/177 9486
/proc/meminfo: memFree=27736164/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=29156 CPUtime=25.49 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 6986 0 0 0 2547 2 0 0 20 0 1 0 316734416 29855744 6785 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 7289 6785 227 17 0 6595 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29156
[startup+51.1002 s]
/proc/loadavg: 1.75 0.68 0.25 3/176 9486
/proc/meminfo: memFree=27729756/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=35572 CPUtime=51.07 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 8606 0 0 0 5104 3 0 0 20 0 1 0 316734416 36425728 8390 33554432000 134512640 134579096 4290190912 4290189760 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 8893 8390 227 17 0 8199 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35572
[startup+102.307 s]
/proc/loadavg: 1.89 0.88 0.34 3/177 9487
/proc/meminfo: memFree=27705320/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=39352 CPUtime=102.27 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 9864 0 0 0 10222 5 0 0 20 0 1 0 316734416 40296448 9334 33554432000 134512640 134579096 4290190912 4290189760 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 9838 9334 227 17 0 9144 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39352
[startup+162.3 s]
/proc/loadavg: 1.96 1.08 0.44 3/177 9487
/proc/meminfo: memFree=27675704/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=46512 CPUtime=162.26 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 11668 0 0 0 16218 8 0 0 20 0 1 0 316734416 47628288 11138 33554432000 134512640 134579096 4290190912 4290189760 134528004 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 11628 11138 227 17 0 10934 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 46512
[startup+222.3 s]
/proc/loadavg: 1.98 1.25 0.53 3/177 9487
/proc/meminfo: memFree=27673088/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=49356 CPUtime=222.24 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 12425 0 0 0 22215 9 0 0 20 0 1 0 316734416 50540544 11850 33554432000 134512640 134579096 4290190912 4290189760 134527973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 12339 11850 227 17 0 11645 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49356
[startup+282.3 s]
/proc/loadavg: 1.99 1.38 0.62 3/177 9487
/proc/meminfo: memFree=27658640/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=51708 CPUtime=282.23 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 13013 0 0 0 28211 12 0 0 20 0 1 0 316734416 52948992 12417 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 12927 12417 227 17 0 12233 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 51708
[startup+342.3 s]
/proc/loadavg: 1.99 1.49 0.70 3/178 9490
/proc/meminfo: memFree=27653972/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=56244 CPUtime=342.23 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 14168 0 0 0 34208 15 0 0 20 0 1 0 316734416 57593856 13569 33554432000 134512640 134579096 4290190912 4290189760 134527818 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 14061 13569 227 17 0 13367 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 56244
[startup+402.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/177 9491
/proc/meminfo: memFree=27657204/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=53284 CPUtime=402.21 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 14334 0 0 0 40204 17 0 0 20 0 1 0 316734416 54562816 12812 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 13321 12812 227 17 0 12627 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 53284
[startup+462.3 s]
/proc/loadavg: 1.99 1.65 0.86 3/177 9491
/proc/meminfo: memFree=27656956/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=53032 CPUtime=462.2 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 14334 0 0 0 46201 19 0 0 20 0 1 0 316734416 54304768 12769 33554432000 134512640 134579096 4290190912 4290189760 134527833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 13258 12769 227 17 0 12564 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 53032
[startup+522.3 s]
/proc/loadavg: 1.99 1.71 0.93 3/177 9491
/proc/meminfo: memFree=27643868/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=60468 CPUtime=522.2 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 16215 0 0 0 52195 25 0 0 20 0 1 0 316734416 61919232 14628 33554432000 134512640 134579096 4290190912 4290189760 134527753 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 15117 14628 227 17 0 14423 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 60468
[startup+582.3 s]
/proc/loadavg: 1.99 1.76 0.99 3/177 9491
/proc/meminfo: memFree=27642628/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=61900 CPUtime=582.19 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 16561 0 0 0 58192 27 0 0 20 0 1 0 316734416 63385600 14969 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 15475 14969 227 17 0 14781 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 61900
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27588028/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=62360 CPUtime=882.14 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 16857 0 0 0 88180 34 0 0 20 0 1 0 316734416 63856640 15101 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 15590 15101 227 17 0 14896 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 62360
[startup+942.3 s]
/proc/loadavg: 2.00 1.93 1.31 3/178 9497
/proc/meminfo: memFree=27586532/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=63268 CPUtime=942.13 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 17079 0 0 0 94176 37 0 0 20 0 1 0 316734416 64786432 15323 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 15817 15323 227 17 0 15123 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 63268
[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/177 9498
/proc/meminfo: memFree=27586520/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=62860 CPUtime=1002.13 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 17079 0 0 0 100173 40 0 0 20 0 1 0 316734416 64368640 15226 33554432000 134512640 134579096 4290190912 4290189760 134527818 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 15715 15226 227 17 0 15021 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 62860
[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/177 9498
/proc/meminfo: memFree=27585588/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=64180 CPUtime=1062.11 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 17408 0 0 0 106170 41 0 0 20 0 1 0 316734416 65720320 15554 33554432000 134512640 134579096 4290190912 4290189760 134528052 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 16045 15554 227 17 0 15351 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 64180
[startup+1122.3 s]
/proc/loadavg: 2.05 1.97 1.43 3/177 9498
/proc/meminfo: memFree=27569468/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=69392 CPUtime=1122.11 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 18815 0 0 0 112167 44 0 0 20 0 1 0 316734416 71057408 16845 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 17348 16845 227 17 0 16654 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 69392
[startup+1182.3 s]
/proc/loadavg: 2.02 1.97 1.46 3/177 9498
/proc/meminfo: memFree=27568712/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=69464 CPUtime=1182.1 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 18877 0 0 0 118162 48 0 0 20 0 1 0 316734416 71131136 16877 33554432000 134512640 134579096 4290190912 4290189760 134528360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 17366 16877 227 17 0 16672 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 69464
[startup+1242.3 s]
/proc/loadavg: 2.06 1.99 1.50 3/177 9498
/proc/meminfo: memFree=27565296/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=72332 CPUtime=1242.09 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 19600 0 0 0 124158 51 0 0 20 0 1 0 316734416 74067968 17594 33554432000 134512640 134579096 4290190912 4290189760 134527762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 18083 17594 227 17 0 17389 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 72332
[startup+1302.3 s]
/proc/loadavg: 2.02 1.99 1.52 3/177 9499
/proc/meminfo: memFree=27565296/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=72208 CPUtime=1302.08 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 19600 0 0 0 130154 54 0 0 20 0 1 0 316734416 73940992 17563 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 18052 17563 227 17 0 17358 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 72208
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.55 3/177 9499
/proc/meminfo: memFree=27565356/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=72068 CPUtime=1362.07 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 19600 0 0 0 136151 56 0 0 20 0 1 0 316734416 73797632 17528 33554432000 134512640 134579096 4290190912 4290189672 134529188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 18017 17528 227 17 0 17323 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 72068
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.58 3/177 9499
/proc/meminfo: memFree=27565416/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=72068 CPUtime=1422.07 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 19771 0 0 0 142147 60 0 0 20 0 1 0 316734416 73797632 17528 33554432000 134512640 134579096 4290190912 4290189760 134527830 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 18017 17528 227 17 0 17323 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 72068
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 9499
/proc/meminfo: memFree=27565416/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=72212 CPUtime=1482.06 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 19855 0 0 0 148143 63 0 0 20 0 1 0 316734416 73945088 17564 33554432000 134512640 134579096 4290190912 4290189760 134527753 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 18053 17564 227 17 0 17359 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 72212
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/178 9502
/proc/meminfo: memFree=27565036/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=73188 CPUtime=1542.04 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 20088 0 0 0 154140 64 0 0 20 0 1 0 316734416 74944512 17797 33554432000 134512640 134579096 4290190912 4290189744 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 18297 17797 227 17 0 17603 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 73188
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/177 9503
/proc/meminfo: memFree=27560828/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=77236 CPUtime=1602.03 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 21114 0 0 0 160137 66 0 0 20 0 1 0 316734416 79089664 18798 33554432000 134512640 134579096 4290190912 4290189632 134529136 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 19309 18798 227 17 0 18615 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 77236
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/177 9503
/proc/meminfo: memFree=27560016/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=78084 CPUtime=1662.02 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 21328 0 0 0 166133 69 0 0 20 0 1 0 316734416 79958016 19009 33554432000 134512640 134579096 4290190912 4290189760 134527753 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 19521 19009 227 17 0 18827 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 78084
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 9503
/proc/meminfo: memFree=27559396/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=78400 CPUtime=1722.01 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 21459 0 0 0 172129 72 0 0 20 0 1 0 316734416 80281600 19111 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 19600 19111 227 17 0 18906 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 78400
[startup+1782.3 s]
/proc/loadavg: 1.96 1.97 1.69 3/177 9552
/proc/meminfo: memFree=27780676/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=84132 CPUtime=1782 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 23197 0 0 0 178125 75 0 0 20 0 1 0 316734416 86151168 20544 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 21033 20544 227 17 0 20339 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 84132
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 1.96 1.97 1.69 3/177 9552
/proc/meminfo: memFree=27780676/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=84132 CPUtime=1782.4 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 23197 0 0 0 178165 75 0 0 20 0 1 0 316734416 86151168 20544 33554432000 134512640 134579096 4290190912 4290189732 134556241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 21033 20544 227 17 0 20339 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 84132
[startup+1783.11 s]
/proc/loadavg: 1.96 1.97 1.69 3/177 9552
/proc/meminfo: memFree=27780676/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=84132 CPUtime=1782.81 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 23197 0 0 0 178206 75 0 0 20 0 1 0 316734416 86151168 20544 33554432000 134512640 134579096 4290190912 4290189776 134519914 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 21033 20544 227 17 0 20339 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 84132
[startup+1783.2 s]
/proc/loadavg: 1.96 1.97 1.69 3/177 9552
/proc/meminfo: memFree=27780676/32873844 swapFree=7372/7372
[pid=9485] ppid=9483 vsize=84132 CPUtime=1782.9 cores=1,3,5,7
/proc/9485/stat : 9485 (Pueblo) R 9483 9485 9379 0 -1 4202496 23197 0 0 0 178215 75 0 0 20 0 1 0 316734416 86151168 20544 33554432000 134512640 134579096 4290190912 4290189884 11256880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9485/statm: 21033 20544 227 17 0 20339 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 84132
Child status: 10
Real time (s): 1783.3
CPU time (s): 1783.01
CPU user time (s): 1782.25
CPU system time (s): 0.756884
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 85412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.25
system time used= 0.756884
maximum resident set size= 83396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23202
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= 38
involuntary context switches= 2995
runsolver used 3.07353 second user time and 8.5647 second system time
The end