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-3720499-1338511638/watcher-3720499-1338511638 -o /tmp/evaluation-result-3720499-1338511638/solver-3720499-1338511638 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720499-1338511638.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 2.00 1.94 3/176 25952
/proc/meminfo: memFree=28692440/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 317288097 3309568 282 33554432000 134512640 134579096 4291457088 4291324484 2503405 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 808 282 221 17 0 114 0
[startup+0.013703 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25952
/proc/meminfo: memFree=28692440/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=3496 CPUtime=0.01 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 443 0 0 0 1 0 0 0 20 0 1 0 317288097 3579904 380 33554432000 134512640 134579096 4291457088 4291455792 1754407 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 874 381 227 17 0 180 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3496
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25952
/proc/meminfo: memFree=28692440/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=3896 CPUtime=0.09 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 519 0 0 0 9 0 0 0 20 0 1 0 317288097 3989504 456 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 974 457 229 17 0 280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3896
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25952
/proc/meminfo: memFree=28692440/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=4028 CPUtime=0.29 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 581 0 0 0 29 0 0 0 20 0 1 0 317288097 4124672 518 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1007 518 229 17 0 313 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4028
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25952
/proc/meminfo: memFree=28692440/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=4276 CPUtime=0.69 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 633 0 0 0 69 0 0 0 20 0 1 0 317288097 4378624 570 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1069 570 229 17 0 375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4276
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25953
/proc/meminfo: memFree=28690736/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=4408 CPUtime=1.49 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 669 0 0 0 149 0 0 0 20 0 1 0 317288097 4513792 606 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1102 606 229 17 0 408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4408
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25953
/proc/meminfo: memFree=28690116/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=4668 CPUtime=3.09 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 723 0 0 0 307 2 0 0 20 0 1 0 317288097 4780032 660 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1167 660 229 17 0 473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4668
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25953
/proc/meminfo: memFree=28689744/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=4912 CPUtime=6.29 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 775 0 0 0 626 3 0 0 20 0 1 0 317288097 5029888 712 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1228 712 229 17 0 534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4912
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25953
/proc/meminfo: memFree=28689132/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=5288 CPUtime=12.69 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 881 0 0 0 1264 5 0 0 20 0 1 0 317288097 5414912 818 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1322 818 229 17 0 628 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5288
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25953
/proc/meminfo: memFree=28689132/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=5636 CPUtime=25.49 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 964 0 0 0 2540 9 0 0 20 0 1 0 317288097 5771264 901 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1409 901 229 17 0 715 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5636
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25953
/proc/meminfo: memFree=28688076/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=5792 CPUtime=51.08 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1022 0 0 0 5092 16 0 0 20 0 1 0 317288097 5931008 960 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1448 960 229 17 0 754 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5792
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25953
/proc/meminfo: memFree=28674052/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=6240 CPUtime=102.28 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1128 0 0 0 10199 29 0 0 20 0 1 0 317288097 6389760 1066 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1560 1066 229 17 0 866 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 6240
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25954
/proc/meminfo: memFree=28674052/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=6532 CPUtime=162.26 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1201 0 0 0 16185 41 0 0 20 0 1 0 317288097 6688768 1139 33554432000 134512640 134579096 4291457088 4291455856 134528845 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1633 1139 229 17 0 939 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 6532
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 25957
/proc/meminfo: memFree=28674168/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=6656 CPUtime=222.26 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1228 0 0 0 22173 53 0 0 20 0 1 0 317288097 6815744 1166 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1664 1166 229 17 0 970 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 6656
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 25957
/proc/meminfo: memFree=28673804/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=6908 CPUtime=282.24 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1287 0 0 0 28161 63 0 0 20 0 1 0 317288097 7073792 1225 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1727 1225 229 17 0 1033 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 6908
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25957
/proc/meminfo: memFree=28673680/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7040 CPUtime=342.24 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1316 0 0 0 34152 72 0 0 20 0 1 0 317288097 7208960 1254 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1760 1254 229 17 0 1066 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 7040
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25957
/proc/meminfo: memFree=28673680/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7184 CPUtime=402.22 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1337 0 0 0 40142 80 0 0 20 0 1 0 317288097 7356416 1275 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1796 1275 229 17 0 1102 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 7184
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25958
/proc/meminfo: memFree=28673680/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7184 CPUtime=462.22 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1347 0 0 0 46133 89 0 0 20 0 1 0 317288097 7356416 1285 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1796 1285 229 17 0 1102 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 7184
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25958
/proc/meminfo: memFree=28673432/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7348 CPUtime=522.21 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1396 0 0 0 52125 96 0 0 20 0 1 0 317288097 7524352 1334 33554432000 134512640 134579096 4291457088 4291455888 134527331 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1837 1334 229 17 0 1143 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 7348
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25958
/proc/meminfo: memFree=28673556/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7348 CPUtime=582.2 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1396 0 0 0 58115 105 0 0 20 0 1 0 317288097 7524352 1334 33554432000 134512640 134579096 4291457088 4291455936 134527762 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1837 1334 229 17 0 1143 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7348
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28611492/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7760 CPUtime=882.15 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1498 0 0 0 88062 153 0 0 20 0 1 0 317288097 7946240 1446 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1940 1446 229 17 0 1246 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 7760
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 25985
/proc/meminfo: memFree=28570208/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7760 CPUtime=942.14 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1498 0 0 0 94050 164 0 0 20 0 1 0 317288097 7946240 1446 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1940 1446 229 17 0 1246 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 7760
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 25985
/proc/meminfo: memFree=28570340/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7848 CPUtime=1002.13 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1506 0 0 0 100041 172 0 0 20 0 1 0 317288097 8036352 1454 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1962 1454 229 17 0 1268 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 7848
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 25986
/proc/meminfo: memFree=28541324/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=7848 CPUtime=1062.12 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1506 0 0 0 106028 184 0 0 20 0 1 0 317288097 8036352 1454 33554432000 134512640 134579096 4291457088 4291455968 134557302 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 1962 1454 229 17 0 1268 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 7848
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 25986
/proc/meminfo: memFree=28508872/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8208 CPUtime=1122.11 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1613 0 0 0 112017 194 0 0 20 0 1 0 317288097 8404992 1561 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2052 1561 229 17 0 1358 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 8208
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 25986
/proc/meminfo: memFree=28459196/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8284 CPUtime=1182.11 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1636 0 0 0 118008 203 0 0 20 0 1 0 317288097 8482816 1584 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2071 1584 229 17 0 1377 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 8284
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 25986
/proc/meminfo: memFree=28430676/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8324 CPUtime=1242.09 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1649 0 0 0 124000 209 0 0 20 0 1 0 317288097 8523776 1594 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2081 1594 229 17 0 1387 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 8324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 25986
/proc/meminfo: memFree=28430676/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8324 CPUtime=1302.09 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1649 0 0 0 129992 217 0 0 20 0 1 0 317288097 8523776 1594 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2081 1594 229 17 0 1387 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 8324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 25987
/proc/meminfo: memFree=28430664/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8392 CPUtime=1362.08 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1655 0 0 0 135981 227 0 0 20 0 1 0 317288097 8593408 1600 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2098 1600 229 17 0 1404 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 8392
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 25990
/proc/meminfo: memFree=28430892/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8388 CPUtime=1422.08 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1655 0 0 0 141971 237 0 0 20 0 1 0 317288097 8589312 1600 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2097 1600 229 17 0 1403 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 8388
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 25990
/proc/meminfo: memFree=28430528/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8520 CPUtime=1482.06 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1673 0 0 0 147961 245 0 0 20 0 1 0 317288097 8724480 1618 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2130 1618 229 17 0 1436 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 8520
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26038
/proc/meminfo: memFree=28709052/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8520 CPUtime=1542.05 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1673 0 0 0 153954 251 0 0 20 0 1 0 317288097 8724480 1618 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2130 1618 229 17 0 1436 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 8520
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26038
/proc/meminfo: memFree=28676592/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8520 CPUtime=1602.04 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1673 0 0 0 159944 260 0 0 20 0 1 0 317288097 8724480 1618 33554432000 134512640 134579096 4291457088 4291455576 1751932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2130 1618 229 17 0 1436 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 8520
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 26038
/proc/meminfo: memFree=28640816/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8520 CPUtime=1662.03 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1673 0 0 0 165934 269 0 0 20 0 1 0 317288097 8724480 1618 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2130 1618 229 17 0 1436 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 8520
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26039
/proc/meminfo: memFree=28627760/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8520 CPUtime=1722.02 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1673 0 0 0 171926 276 0 0 20 0 1 0 317288097 8724480 1618 33554432000 134512640 134579096 4291457088 4291455936 134527729 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2130 1618 229 17 0 1436 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 8520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26039
/proc/meminfo: memFree=28588160/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8720 CPUtime=1782.02 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1752 0 0 0 177917 285 0 0 20 0 1 0 317288097 8929280 1693 33554432000 134512640 134579096 4291457088 4291455932 134528322 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2180 1693 229 17 0 1486 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 8720
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26039
/proc/meminfo: memFree=28588160/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8720 CPUtime=1782.42 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1752 0 0 0 177957 285 0 0 20 0 1 0 317288097 8929280 1693 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2180 1693 229 17 0 1486 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 8720
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26039
/proc/meminfo: memFree=28588160/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8720 CPUtime=1782.82 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1752 0 0 0 177997 285 0 0 20 0 1 0 317288097 8929280 1693 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2180 1693 229 17 0 1486 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 8720
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26039
/proc/meminfo: memFree=28588160/32873844 swapFree=7632/7632
[pid=25952] ppid=25950 vsize=8720 CPUtime=1782.91 cores=0,2,4,6
/proc/25952/stat : 25952 (Pueblo) R 25950 25952 25340 0 -1 4202496 1752 0 0 0 178006 285 0 0 20 0 1 0 317288097 8929280 1693 33554432000 134512640 134579096 4291457088 4291456060 4207664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25952/statm: 2180 1693 229 17 0 1486 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 8720
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783
CPU user time (s): 1780.15
CPU system time (s): 2.85357
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 8784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.15
system time used= 2.85357
maximum resident set size= 6792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1757
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= 7
involuntary context switches= 1843
runsolver used 2.72959 second user time and 7.00193 second system time
The end