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-3720228-1338508605/watcher-3720228-1338508605 -o /tmp/evaluation-result-3720228-1338508605/solver-3720228-1338508605 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720228-1338508605.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: 5.00 9.38 13.65 3/176 16396
/proc/meminfo: memFree=32103924/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=3108 CPUtime=0 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 316985411 3182592 260 33554432000 134512640 134579096 4292660208 4292527484 3896368 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 777 260 219 17 0 83 0
[startup+0.016357 s]
/proc/loadavg: 5.00 9.38 13.65 3/176 16396
/proc/meminfo: memFree=32103924/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=3376 CPUtime=0.01 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 406 0 0 0 1 0 0 0 20 0 1 0 316985411 3457024 344 33554432000 134512640 134579096 4292660208 4292658864 134522706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 844 344 227 17 0 150 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3376
[startup+0.100246 s]
/proc/loadavg: 5.00 9.38 13.65 3/176 16396
/proc/meminfo: memFree=32103924/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=3736 CPUtime=0.09 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 490 0 0 0 9 0 0 0 20 0 1 0 316985411 3825664 428 33554432000 134512640 134579096 4292660208 4292657664 134533072 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 934 428 227 17 0 240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3736
[startup+0.300182 s]
/proc/loadavg: 5.00 9.38 13.65 3/176 16396
/proc/meminfo: memFree=32103924/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=3848 CPUtime=0.29 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 530 0 0 0 29 0 0 0 20 0 1 0 316985411 3940352 468 33554432000 134512640 134579096 4292660208 4292659056 134527824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 962 468 227 17 0 268 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3848
[startup+0.700183 s]
/proc/loadavg: 5.00 9.38 13.65 3/176 16396
/proc/meminfo: memFree=32103924/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=3964 CPUtime=0.69 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 555 0 0 0 69 0 0 0 20 0 1 0 316985411 4059136 493 33554432000 134512640 134579096 4292660208 4292658864 134524561 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 991 493 227 17 0 297 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3964
[startup+1.50017 s]
/proc/loadavg: 5.00 9.38 13.65 3/177 16397
/proc/meminfo: memFree=32101808/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=4060 CPUtime=1.49 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 578 0 0 0 149 0 0 0 20 0 1 0 316985411 4157440 516 33554432000 134512640 134579096 4292660208 4292659028 134556309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 1015 516 227 17 0 321 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4060
[startup+3.10018 s]
/proc/loadavg: 5.00 9.38 13.65 3/177 16397
/proc/meminfo: memFree=32100204/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=4164 CPUtime=3.09 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 601 0 0 0 309 0 0 0 20 0 1 0 316985411 4263936 539 33554432000 134512640 134579096 4292660208 4292659056 134528004 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 1041 539 227 17 0 347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4164
[startup+6.30018 s]
/proc/loadavg: 4.76 9.25 13.59 3/177 16397
/proc/meminfo: memFree=32095120/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=4372 CPUtime=6.28 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 651 0 0 0 628 0 0 0 20 0 1 0 316985411 4476928 589 33554432000 134512640 134579096 4292660208 4292659056 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16396/statm: 1093 589 227 17 0 399 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 4372
[startup+12.7003 s]
/proc/loadavg: 4.54 9.13 13.52 3/177 16397
/proc/meminfo: memFree=32086108/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=4372 CPUtime=12.68 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 661 0 0 0 1268 0 0 0 20 0 1 0 316985411 4476928 599 33554432000 134512640 134579096 4292660208 4292659056 134527836 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1093 599 227 17 0 399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4372
[startup+25.5003 s]
/proc/loadavg: 3.98 8.78 13.34 3/177 16397
/proc/meminfo: memFree=32085672/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=4608 CPUtime=25.48 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 723 0 0 0 2546 2 0 0 20 0 1 0 316985411 4718592 661 33554432000 134512640 134579096 4292660208 4292659180 3896368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1152 661 227 17 0 458 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4608
[startup+51.1003 s]
/proc/loadavg: 3.30 8.24 13.04 3/177 16398
/proc/meminfo: memFree=32072776/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=4872 CPUtime=51.08 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 760 0 0 0 5104 4 0 0 20 0 1 0 316985411 4988928 698 33554432000 134512640 134579096 4292660208 4292659180 3896368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1218 698 227 17 0 524 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4872
[startup+102.306 s]
/proc/loadavg: 2.56 7.27 12.45 3/177 16398
/proc/meminfo: memFree=32043288/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5100 CPUtime=102.28 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 823 0 0 0 10221 7 0 0 20 0 1 0 316985411 5222400 761 33554432000 134512640 134579096 4292660208 4292659056 134527818 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1275 761 227 17 0 581 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5100
[startup+162.3 s]
/proc/loadavg: 2.20 6.31 11.80 3/177 16398
/proc/meminfo: memFree=32044772/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5100 CPUtime=162.26 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 823 0 0 0 16215 11 0 0 20 0 1 0 316985411 5222400 761 33554432000 134512640 134579096 4292660208 4292659056 134527737 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1275 761 227 17 0 581 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5100
[startup+222.3 s]
/proc/loadavg: 2.07 5.52 11.18 3/178 16401
/proc/meminfo: memFree=32044144/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5232 CPUtime=222.25 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 871 0 0 0 22210 15 0 0 20 0 1 0 316985411 5357568 809 33554432000 134512640 134579096 4292660208 4292659056 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1308 809 227 17 0 614 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 5232
[startup+282.3 s]
/proc/loadavg: 2.02 4.88 10.60 3/178 16423
/proc/meminfo: memFree=32043528/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5448 CPUtime=282.24 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 923 0 0 0 28207 17 0 0 20 0 1 0 316985411 5578752 861 33554432000 134512640 134579096 4292660208 4292659008 134527126 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1362 861 227 17 0 668 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 5448
[startup+342.3 s]
/proc/loadavg: 2.09 4.37 10.07 3/177 16423
/proc/meminfo: memFree=32018844/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5448 CPUtime=342.24 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 930 0 0 0 34203 21 0 0 20 0 1 0 316985411 5578752 868 33554432000 134512640 134579096 4292660208 4292659056 134527833 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1362 868 227 17 0 668 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 5448
[startup+402.3 s]
/proc/loadavg: 2.03 3.93 9.56 3/177 16424
/proc/meminfo: memFree=31989860/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5584 CPUtime=402.22 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 960 0 0 0 40198 24 0 0 20 0 1 0 316985411 5718016 892 33554432000 134512640 134579096 4292660208 4292659056 134527724 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1396 892 227 17 0 702 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 5584
[startup+462.3 s]
/proc/loadavg: 2.01 3.58 9.08 3/177 16424
/proc/meminfo: memFree=31989860/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5636 CPUtime=462.21 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 971 0 0 0 46194 27 0 0 20 0 1 0 316985411 5771264 903 33554432000 134512640 134579096 4292660208 4292659056 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1409 903 227 17 0 715 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 5636
[startup+522.3 s]
/proc/loadavg: 2.00 3.29 8.64 3/177 16424
/proc/meminfo: memFree=31989296/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5636 CPUtime=522.21 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 974 0 0 0 52191 30 0 0 20 0 1 0 316985411 5771264 906 33554432000 134512640 134579096 4292660208 4292659056 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1409 906 227 17 0 715 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 5636
[startup+582.3 s]
/proc/loadavg: 2.00 3.05 8.22 3/177 16424
/proc/meminfo: memFree=31989668/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=5772 CPUtime=582.2 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1000 0 0 0 58187 33 0 0 20 0 1 0 316985411 5910528 932 33554432000 134512640 134579096 4292660208 4292658832 10240214 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1443 932 227 17 0 749 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 5772
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31986628/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6012 CPUtime=882.15 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1067 0 0 0 88165 50 0 0 20 0 1 0 316985411 6156288 999 33554432000 134512640 134579096 4292660208 4292659056 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1503 999 227 17 0 809 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 6012
[startup+942.3 s]
/proc/loadavg: 2.00 2.31 6.21 3/177 16428
/proc/meminfo: memFree=31987000/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6012 CPUtime=942.14 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1067 0 0 0 94161 53 0 0 20 0 1 0 316985411 6156288 999 33554432000 134512640 134579096 4292660208 4292659180 3896368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1503 999 227 17 0 809 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 6012
[startup+1002.3 s]
/proc/loadavg: 2.00 2.25 5.94 3/177 16429
/proc/meminfo: memFree=31982412/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6012 CPUtime=1002.13 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1076 0 0 0 100157 56 0 0 20 0 1 0 316985411 6156288 1008 33554432000 134512640 134579096 4292660208 4292659056 134527812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1503 1008 227 17 0 809 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 6012
[startup+1062.3 s]
/proc/loadavg: 2.00 2.20 5.69 3/177 16429
/proc/meminfo: memFree=31982224/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6012 CPUtime=1062.12 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1076 0 0 0 106152 60 0 0 20 0 1 0 316985411 6156288 1008 33554432000 134512640 134579096 4292660208 4292659056 134527750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1503 1008 227 17 0 809 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 6012
[startup+1122.3 s]
/proc/loadavg: 2.08 2.18 5.46 3/177 16429
/proc/meminfo: memFree=31983772/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6012 CPUtime=1122.11 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1077 0 0 0 112148 63 0 0 20 0 1 0 316985411 6156288 1009 33554432000 134512640 134579096 4292660208 4292659056 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1503 1009 227 17 0 809 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 6012
[startup+1182.3 s]
/proc/loadavg: 2.03 2.14 5.24 3/177 16429
/proc/meminfo: memFree=31983524/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6012 CPUtime=1182.1 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1082 0 0 0 118143 67 0 0 20 0 1 0 316985411 6156288 1014 33554432000 134512640 134579096 4292660208 4292659180 3896368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1503 1014 227 17 0 809 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 6012
[startup+1242.3 s]
/proc/loadavg: 2.01 2.12 5.04 3/177 16429
/proc/meminfo: memFree=31983276/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6132 CPUtime=1242.1 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1108 0 0 0 124138 72 0 0 20 0 1 0 316985411 6279168 1040 33554432000 134512640 134579096 4292660208 4292659056 134527724 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1533 1040 227 17 0 839 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 6132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.09 4.85 3/177 16430
/proc/meminfo: memFree=31983276/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6224 CPUtime=1302.1 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1131 0 0 0 130135 75 0 0 20 0 1 0 316985411 6373376 1063 33554432000 134512640 134579096 4292660208 4292659180 3896368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1556 1063 227 17 0 862 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 6224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.07 4.67 3/177 16430
/proc/meminfo: memFree=31983400/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6220 CPUtime=1362.07 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1131 0 0 0 136130 77 0 0 20 0 1 0 316985411 6369280 1063 33554432000 134512640 134579096 4292660208 4292659056 134527818 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1555 1063 227 17 0 861 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 6220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.06 4.50 3/178 16433
/proc/meminfo: memFree=31974588/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6212 CPUtime=1422.07 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1131 0 0 0 142127 80 0 0 20 0 1 0 316985411 6361088 1063 33554432000 134512640 134579096 4292660208 4292659056 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1553 1063 227 17 0 859 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 6212
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 4.34 3/177 16433
/proc/meminfo: memFree=31974904/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6212 CPUtime=1482.06 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1131 0 0 0 148123 83 0 0 20 0 1 0 316985411 6361088 1063 33554432000 134512640 134579096 4292660208 4292659056 134527824 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1553 1063 227 17 0 859 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 6212
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 4.19 3/177 16433
/proc/meminfo: memFree=31974780/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6188 CPUtime=1542.05 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1131 0 0 0 154119 86 0 0 20 0 1 0 316985411 6336512 1058 33554432000 134512640 134579096 4292660208 4292659056 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1547 1058 227 17 0 853 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 6188
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 4.05 3/177 16434
/proc/meminfo: memFree=31975084/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6284 CPUtime=1602.04 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1143 0 0 0 160114 90 0 0 20 0 1 0 316985411 6434816 1070 33554432000 134512640 134579096 4292660208 4292659180 3896368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1571 1070 227 17 0 877 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 6284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 3.92 3/177 16434
/proc/meminfo: memFree=31975828/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6312 CPUtime=1662.04 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1144 0 0 0 166111 93 0 0 20 0 1 0 316985411 6463488 1060 33554432000 134512640 134579096 4292660208 4292659056 134527759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1578 1060 227 17 0 884 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 6312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 3.79 3/177 16434
/proc/meminfo: memFree=31975704/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6440 CPUtime=1722.02 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1187 0 0 0 172107 95 0 0 20 0 1 0 316985411 6594560 1103 33554432000 134512640 134579096 4292660208 4292659180 3896368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1610 1103 227 17 0 916 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 6440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 3.68 3/177 16482
/proc/meminfo: memFree=32081272/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6416 CPUtime=1782.01 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1191 0 0 0 178102 99 0 0 20 0 1 0 316985411 6569984 1107 33554432000 134512640 134579096 4292660208 4292659056 134527759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1604 1107 227 17 0 910 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 6416
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.01 3.68 3/177 16482
/proc/meminfo: memFree=32081272/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6416 CPUtime=1782.41 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1191 0 0 0 178142 99 0 0 20 0 1 0 316985411 6569984 1107 33554432000 134512640 134579096 4292660208 4292659008 134528624 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1604 1107 227 17 0 910 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 6416
[startup+1783.11 s]
/proc/loadavg: 2.00 2.01 3.68 3/177 16482
/proc/meminfo: memFree=32081272/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6416 CPUtime=1782.82 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1191 0 0 0 178183 99 0 0 20 0 1 0 316985411 6569984 1107 33554432000 134512640 134579096 4292660208 4292659056 134527939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1604 1107 227 17 0 910 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 6416
[startup+1783.2 s]
/proc/loadavg: 2.00 2.01 3.68 3/177 16482
/proc/meminfo: memFree=32081272/32873844 swapFree=7116/7116
[pid=16396] ppid=16394 vsize=6416 CPUtime=1782.91 cores=0,2,4,6
/proc/16396/stat : 16396 (Pueblo) R 16394 16396 16290 0 -1 4202496 1191 0 0 0 178192 99 0 0 20 0 1 0 316985411 6569984 1107 33554432000 134512640 134579096 4292660208 4292659056 134527981 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16396/statm: 1604 1107 227 17 0 910 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 6416
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1782.01
CPU system time (s): 0.996848
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 6440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.01
system time used= 0.996848
maximum resident set size= 4448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1196
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= 9
involuntary context switches= 1988
runsolver used 5.36818 second user time and 17.2494 second system time
The end