runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15279 MiB free)
memory of node 1: 16384 MiB (15435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389452-1568357791/watcher-4389452-1568357791 -o /tmp/evaluation-result-4389452-1568357791/solver-4389452-1568357791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568354075-6318 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389452-1568357791.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6348, runsolver pid=6345
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 3.59 3.64 4.18 4/199 6349
/proc/meminfo: memFree=31448936/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=28988 memory=4920 CPUtime=0.1 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 1454 0 0 0 10 0 0 0 20 0 1 0 412035137 29683712 1230 33554432000 4194304 6210612 140735786038656 140735786035144 5810073 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 7247 1230 796 493 0 552 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28988 KiB
Current children cumulated memory: 4920 KiB
[startup+0.209492 s]*
/proc/loadavg: 3.59 3.64 4.18 4/199 6349
/proc/meminfo: memFree=31439440/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=34420 memory=10692 CPUtime=0.2 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 2841 0 0 0 20 0 0 0 20 0 1 0 412035137 35246080 2673 33554432000 4194304 6210612 140735786038656 140735786035144 140217607007205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 8605 2673 815 493 0 1910 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34420 KiB
Current children cumulated memory: 10692 KiB
[startup+0.309359 s]*
/proc/loadavg: 3.59 3.64 4.18 4/199 6349
/proc/meminfo: memFree=31428280/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=40100 memory=16376 CPUtime=0.3 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 4264 0 0 0 30 0 0 0 20 0 1 0 412035137 41062400 4094 33554432000 4194304 6210612 140735786038656 140735786035144 140217607007205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 10025 4094 815 493 0 3330 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 16376 KiB
[startup+0.700378 s]
/proc/loadavg: 3.59 3.64 4.18 4/199 6349
/proc/meminfo: memFree=31405976/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=61772 memory=38044 CPUtime=0.68 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 9678 0 0 0 67 1 0 0 20 0 1 0 412035137 63254528 9511 33554432000 4194304 6210612 140735786038656 140735786033752 140217607007205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 15443 9511 815 493 0 8748 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 38044 KiB
[startup+1.50037 s]
/proc/loadavg: 3.59 3.64 4.18 4/199 6349
/proc/meminfo: memFree=31352216/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=106964 memory=83240 CPUtime=1.49 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 20980 0 0 0 146 3 0 0 20 0 1 0 412035137 109531136 20810 33554432000 4194304 6210612 140735786038656 140735786033752 140217607007205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 26741 20810 815 493 0 20046 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106964 KiB
Current children cumulated memory: 83240 KiB
[startup+3.10945 s]
/proc/loadavg: 3.70 3.66 4.18 4/199 6349
/proc/meminfo: memFree=31247908/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=131892 memory=108340 CPUtime=3.1 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 30670 0 0 0 306 4 0 0 20 0 1 0 412035137 135057408 27085 33554432000 4194304 6210612 140735786038656 140735786036312 5068613 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 32973 27085 856 493 0 26278 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 131892 KiB
Current children cumulated memory: 108340 KiB
[startup+6.30034 s]
/proc/loadavg: 3.70 3.66 4.18 4/199 6349
/proc/meminfo: memFree=31245460/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=133476 memory=109976 CPUtime=6.29 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 34437 0 0 0 625 4 0 0 20 0 1 0 412035137 136679424 27494 33554432000 4194304 6210612 140735786038656 140735786036312 5452047 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 33369 27494 859 493 0 26674 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 133476 KiB
Current children cumulated memory: 109976 KiB
[startup+12.7003 s]
/proc/loadavg: 3.57 3.64 4.17 4/200 6351
/proc/meminfo: memFree=31243476/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=134268 memory=110744 CPUtime=12.68 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 44137 0 0 0 1264 4 0 0 20 0 1 0 412035137 137490432 27686 33554432000 4194304 6210612 140735786038656 140735786036312 5068624 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 33567 27686 859 493 0 26872 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 134268 KiB
Current children cumulated memory: 110744 KiB
[startup+25.5004 s]
/proc/loadavg: 3.22 3.56 4.13 4/199 6351
/proc/meminfo: memFree=31243320/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=135060 memory=111604 CPUtime=25.48 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 56988 0 0 0 2543 5 0 0 20 0 1 0 412035137 138301440 27901 33554432000 4194304 6210612 140735786038656 140735786036312 140217616952202 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 33765 27901 859 493 0 27070 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 135060 KiB
Current children cumulated memory: 111604 KiB
[startup+51.1091 s]
/proc/loadavg: 2.80 3.43 4.08 4/198 6353
/proc/meminfo: memFree=31236196/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=136380 memory=112804 CPUtime=51.09 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 65241 0 0 0 5103 6 0 0 20 0 1 0 412035137 139653120 28201 33554432000 4194304 6210612 140735786038656 140735786036312 140217607927715 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 34095 28201 859 493 0 27400 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 136380 KiB
Current children cumulated memory: 112804 KiB
[startup+102.3 s]
/proc/loadavg: 2.35 3.21 3.97 4/198 6359
/proc/meminfo: memFree=31228248/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=141660 memory=118124 CPUtime=102.26 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 80037 0 0 0 10220 6 0 0 20 0 1 0 412035137 145059840 29531 33554432000 4194304 6210612 140735786038656 140735786036312 5009273 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 35415 29531 859 493 0 28720 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 141660 KiB
Current children cumulated memory: 118124 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 2.99 3.85 4/198 6363
/proc/meminfo: memFree=31218216/32770624 swapFree=66921524/67108860
[pid=6348] ppid=6345 vsize=149976 memory=126436 CPUtime=162.25 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 84690 0 0 0 16218 7 0 0 20 0 1 0 412035137 153575424 31609 33554432000 4194304 6210612 140735786038656 140735786036312 5446764 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 37494 31609 859 493 0 30799 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 149976 KiB
Current children cumulated memory: 126436 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.81 3.73 4/198 6368
/proc/meminfo: memFree=31214548/32770624 swapFree=66921528/67108860
[pid=6348] ppid=6345 vsize=150504 memory=126936 CPUtime=222.24 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 85780 0 0 0 22217 7 0 0 20 0 1 0 412035137 154116096 31734 33554432000 4194304 6210612 140735786038656 140735786036312 5445997 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 37626 31734 859 493 0 30931 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 150504 KiB
Current children cumulated memory: 126936 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 2.68 3.63 4/198 6374
/proc/meminfo: memFree=31208956/32770624 swapFree=66921528/67108860
[pid=6348] ppid=6345 vsize=153540 memory=130000 CPUtime=282.22 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 88568 0 0 0 28215 7 0 0 20 0 1 0 412035137 157224960 32500 33554432000 4194304 6210612 140735786038656 140735786036312 5454016 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 38385 32500 859 493 0 31690 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 153540 KiB
Current children cumulated memory: 130000 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.56 3.53 4/198 6385
/proc/meminfo: memFree=31199232/32770624 swapFree=66921540/67108860
[pid=6348] ppid=6345 vsize=153936 memory=130424 CPUtime=342.21 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 90200 0 0 0 34214 7 0 0 20 0 1 0 412035137 157630464 32606 33554432000 4194304 6210612 140735786038656 140735786036312 5446104 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 38484 32606 859 493 0 31789 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 130424 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.45 3.43 4/198 6411
/proc/meminfo: memFree=31196836/32770624 swapFree=66921556/67108860
[pid=6348] ppid=6345 vsize=154332 memory=130740 CPUtime=402.19 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 91528 0 0 0 40212 7 0 0 20 0 1 0 412035137 158035968 32685 33554432000 4194304 6210612 140735786038656 140735786036312 5440464 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 38583 32685 859 493 0 31888 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 154332 KiB
Current children cumulated memory: 130740 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.37 3.34 4/198 6417
/proc/meminfo: memFree=31194256/32770624 swapFree=66921556/67108860
[pid=6348] ppid=6345 vsize=154596 memory=131108 CPUtime=462.19 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 92004 0 0 0 46211 8 0 0 20 0 1 0 412035137 158306304 32777 33554432000 4194304 6210612 140735786038656 140735786036312 5454016 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 38649 32777 859 493 0 31954 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 154596 KiB
Current children cumulated memory: 131108 KiB
################
# More data... #
################
/proc/6348/statm: 42378 36525 859 493 0 35683 0
Current children cumulated CPU time: 1721.94 s
Current children cumulated vsize: 169512 KiB
Current children cumulated memory: 146100 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.34 4/199 6535
/proc/meminfo: memFree=31176984/32770624 swapFree=66921564/67108860
[pid=6348] ppid=6345 vsize=169644 memory=146160 CPUtime=1781.93 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 107760 0 0 0 178183 10 0 0 20 0 1 0 412035137 173715456 36540 33554432000 4194304 6210612 140735786038656 140735786036312 5440645 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42411 36540 859 493 0 35716 0
Current children cumulated CPU time: 1781.93 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 146160 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.31 4/198 6540
/proc/meminfo: memFree=31177128/32770624 swapFree=66921564/67108860
[pid=6348] ppid=6345 vsize=169644 memory=146168 CPUtime=1841.92 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 108329 0 0 0 184182 10 0 0 20 0 1 0 412035137 173715456 36542 33554432000 4194304 6210612 140735786038656 140735786036312 5446119 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42411 36542 859 493 0 35716 0
Current children cumulated CPU time: 1841.92 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 146168 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.30 4/198 6546
/proc/meminfo: memFree=31176836/32770624 swapFree=66921564/67108860
[pid=6348] ppid=6345 vsize=169776 memory=146268 CPUtime=1901.9 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 108939 0 0 0 190180 10 0 0 20 0 1 0 412035137 173850624 36567 33554432000 4194304 6210612 140735786038656 140735786036312 5442951 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42444 36567 859 493 0 35749 0
Current children cumulated CPU time: 1901.9 s
Current children cumulated vsize: 169776 KiB
Current children cumulated memory: 146268 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.28 4/198 6549
/proc/meminfo: memFree=31176896/32770624 swapFree=66921564/67108860
[pid=6348] ppid=6345 vsize=169908 memory=146396 CPUtime=1961.89 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 109507 0 0 0 196179 10 0 0 20 0 1 0 412035137 173985792 36599 33554432000 4194304 6210612 140735786038656 140735786036312 140217616952202 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42477 36599 859 493 0 35782 0
Current children cumulated CPU time: 1961.89 s
Current children cumulated vsize: 169908 KiB
Current children cumulated memory: 146396 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.27 4/198 6554
/proc/meminfo: memFree=31177136/32770624 swapFree=66921564/67108860
[pid=6348] ppid=6345 vsize=170172 memory=146716 CPUtime=2021.88 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 110285 0 0 0 202178 10 0 0 20 0 1 0 412035137 174256128 36679 33554432000 4194304 6210612 140735786038656 140735786036312 5446058 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42543 36679 859 493 0 35848 0
Current children cumulated CPU time: 2021.88 s
Current children cumulated vsize: 170172 KiB
Current children cumulated memory: 146716 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.25 4/198 6560
/proc/meminfo: memFree=31176324/32770624 swapFree=66921564/67108860
[pid=6348] ppid=6345 vsize=170304 memory=146792 CPUtime=2081.87 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 110966 0 0 0 208177 10 0 0 20 0 1 0 412035137 174391296 36698 33554432000 4194304 6210612 140735786038656 140735786036312 5442804 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42576 36698 859 493 0 35881 0
Current children cumulated CPU time: 2081.87 s
Current children cumulated vsize: 170304 KiB
Current children cumulated memory: 146792 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.23 4/199 6572
/proc/meminfo: memFree=31176104/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=170436 memory=146936 CPUtime=2141.86 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 111765 0 0 0 214176 10 0 0 20 0 1 0 412035137 174526464 36734 33554432000 4194304 6210612 140735786038656 140735786036312 5442936 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42609 36734 859 493 0 35914 0
Current children cumulated CPU time: 2141.86 s
Current children cumulated vsize: 170436 KiB
Current children cumulated memory: 146936 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.22 4/199 6576
/proc/meminfo: memFree=31176236/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=170832 memory=147380 CPUtime=2201.84 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 112722 0 0 0 220174 10 0 0 20 0 1 0 412035137 174931968 36845 33554432000 4194304 6210612 140735786038656 140735786036312 5453762 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 42708 36845 859 493 0 36013 0
Current children cumulated CPU time: 2201.84 s
Current children cumulated vsize: 170832 KiB
Current children cumulated memory: 147380 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.21 4/199 6582
/proc/meminfo: memFree=31172464/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=172020 memory=148552 CPUtime=2261.83 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 113526 0 0 0 226173 10 0 0 20 0 1 0 412035137 176148480 37138 33554432000 4194304 6210612 140735786038656 140735786036312 5440946 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 43005 37138 859 493 0 36310 0
Current children cumulated CPU time: 2261.83 s
Current children cumulated vsize: 172020 KiB
Current children cumulated memory: 148552 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.19 4/199 6586
/proc/meminfo: memFree=31173704/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=172416 memory=148924 CPUtime=2321.82 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 114363 0 0 0 232172 10 0 0 20 0 1 0 412035137 176553984 37231 33554432000 4194304 6210612 140735786038656 140735786036312 5068929 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 43104 37231 859 493 0 36409 0
Current children cumulated CPU time: 2321.82 s
Current children cumulated vsize: 172416 KiB
Current children cumulated memory: 148924 KiB
[startup+2382.3 s]
/proc/loadavg: 2.67 2.17 2.24 4/199 6590
/proc/meminfo: memFree=31174100/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=172548 memory=149056 CPUtime=2381.81 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 114832 0 0 0 238171 10 0 0 20 0 1 0 412035137 176689152 37264 33554432000 4194304 6210612 140735786038656 140735786036312 5480108 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 43137 37264 859 493 0 36442 0
Current children cumulated CPU time: 2381.81 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149056 KiB
[startup+2442.3 s]
/proc/loadavg: 2.66 2.29 2.27 4/198 6596
/proc/meminfo: memFree=31172688/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=172548 memory=149068 CPUtime=2441.8 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 115297 0 0 0 244170 10 0 0 20 0 1 0 412035137 176689152 37267 33554432000 4194304 6210612 140735786038656 140735786036312 140217607927715 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 43137 37267 859 493 0 36442 0
Current children cumulated CPU time: 2441.8 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149068 KiB
[startup+2502.3 s]
/proc/loadavg: 2.24 2.23 2.26 4/198 6600
/proc/meminfo: memFree=31172708/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=172680 memory=149092 CPUtime=2501.79 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 115743 0 0 0 250169 10 0 0 20 0 1 0 412035137 176824320 37273 33554432000 4194304 6210612 140735786038656 140735786036312 140217607931472 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 43170 37273 859 493 0 36475 0
Current children cumulated CPU time: 2501.79 s
Current children cumulated vsize: 172680 KiB
Current children cumulated memory: 149092 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.17 2.22 2.25 4/198 6601
/proc/meminfo: memFree=31172520/32770624 swapFree=66921580/67108860
[pid=6348] ppid=6345 vsize=172680 memory=149236 CPUtime=2519.49 cores=0,2,4,6
/proc/6348/stat : 6348 (cosoco) R 6345 6348 6287 0 -1 4202496 116087 0 0 0 251939 10 0 0 20 0 1 0 412035137 176824320 37309 33554432000 4194304 6210612 140735786038656 140735786036312 5446088 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40128512 140735786042379 140735786042481 140735786042481 140735786045390 0
/proc/6348/statm: 43170 37309 859 493 0 36475 0
Current children cumulated CPU time: 2519.49 s
Current children cumulated vsize: 172680 KiB
Current children cumulated memory: 149236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 6348 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.4 s, system=0.107978 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.5
CPU user time (s): 2519.4
CPU system time (s): 0.107978
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 172680
Max. memory (cumulated for all children) (KiB): 149236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.4
system time used= 0.107978
maximum resident set size= 149308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116133
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= 34
involuntary context switches= 3038
# summary of solver processes directly reported to runsolver:
# pid: 6348
# total CPU time (s): 2519.5
# total CPU user time (s): 2519.4
# total CPU system time (s): 0.107978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6908 second user time and 14.6844 second system time
The end