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 (14811 MiB free)
memory of node 1: 16384 MiB (15361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397806-1568584929/watcher-4397806-1568584929 -o /tmp/evaluation-result-4397806-1568584929/solver-4397806-1568584929 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568569067-5215 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397806-1568584929.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=7450, runsolver pid=7447
[startup+0.100148 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 7451
/proc/meminfo: memFree=30896048/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=28280 memory=4476 CPUtime=0.1 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 1290 0 0 0 10 0 0 0 20 0 1 0 434748825 28958720 1119 33554432000 4194304 6211092 140734844522336 140734844518872 5810210 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 7070 1119 810 493 0 375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4476 KiB
[startup+0.20955 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 7451
/proc/meminfo: memFree=30890840/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=33812 memory=10148 CPUtime=0.2 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 2702 0 0 0 20 0 0 0 20 0 1 0 434748825 34623488 2537 33554432000 4194304 6211092 140734844522336 140734844518872 140534200699877 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 8453 2537 837 493 0 1758 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33812 KiB
Current children cumulated memory: 10148 KiB
[startup+0.30944 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 7451
/proc/meminfo: memFree=30885632/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=39076 memory=15404 CPUtime=0.3 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 4031 0 0 0 30 0 0 0 20 0 1 0 434748825 40013824 3851 33554432000 4194304 6211092 140734844522336 140734844518872 140534200699877 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 9769 3851 837 493 0 3074 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 15404 KiB
[startup+0.700306 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 7451
/proc/meminfo: memFree=30878996/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=45356 memory=21912 CPUtime=0.68 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 5674 0 0 0 68 0 0 0 20 0 1 0 434748825 46444544 5478 33554432000 4194304 6211092 140734844522336 140734844520600 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11339 5478 877 493 0 4644 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 21912 KiB
[startup+1.50028 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 7451
/proc/meminfo: memFree=30878624/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=45356 memory=21912 CPUtime=1.48 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 5688 0 0 0 148 0 0 0 20 0 1 0 434748825 46444544 5478 33554432000 4194304 6211092 140734844522336 140734844520600 5250251 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11339 5478 877 493 0 4644 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 21912 KiB
[startup+3.10934 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 7451
/proc/meminfo: memFree=30878824/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=45356 memory=21992 CPUtime=3.09 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 9626 0 0 0 309 0 0 0 20 0 1 0 434748825 46444544 5498 33554432000 4194304 6211092 140734844522336 140734844520600 5250287 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11339 5498 877 493 0 4644 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 21992 KiB
[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 7452
/proc/meminfo: memFree=30878652/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=45356 memory=22008 CPUtime=6.28 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 13442 0 0 0 628 0 0 0 20 0 1 0 434748825 46444544 5502 33554432000 4194304 6211092 140734844522336 140734844519576 5155804 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11339 5502 877 493 0 4644 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 22008 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 7454
/proc/meminfo: memFree=30876972/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=45356 memory=22008 CPUtime=12.69 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 17384 0 0 0 1268 1 0 0 20 0 1 0 434748825 46444544 5502 33554432000 4194304 6211092 140734844522336 140734844519576 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11339 5502 877 493 0 4644 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 22008 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 7454
/proc/meminfo: memFree=30876588/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46412 memory=22896 CPUtime=25.49 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 25782 0 0 0 2548 1 0 0 20 0 1 0 434748825 47525888 5724 33554432000 4194304 6211092 140734844522336 140734844510216 5193754 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11603 5724 878 493 0 4908 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 46412 KiB
Current children cumulated memory: 22896 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7477
/proc/meminfo: memFree=30875396/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46544 memory=23200 CPUtime=51.09 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 26570 0 0 0 5108 1 0 0 20 0 1 0 434748825 47661056 5800 33554432000 4194304 6211092 140734844522336 140734844519576 5156465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11636 5800 878 493 0 4941 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 23200 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7483
/proc/meminfo: memFree=30875452/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46544 memory=23204 CPUtime=102.28 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 27295 0 0 0 10227 1 0 0 20 0 1 0 434748825 47661056 5801 33554432000 4194304 6211092 140734844522336 140734844519576 5250450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11636 5801 878 493 0 4941 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 23204 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7487
/proc/meminfo: memFree=30877896/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46544 memory=23204 CPUtime=162.27 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 28019 0 0 0 16226 1 0 0 20 0 1 0 434748825 47661056 5801 33554432000 4194304 6211092 140734844522336 140734844519576 5250289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11636 5801 878 493 0 4941 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 23204 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7556
/proc/meminfo: memFree=30879608/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46544 memory=23204 CPUtime=222.27 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 28752 0 0 0 22226 1 0 0 20 0 1 0 434748825 47661056 5801 33554432000 4194304 6211092 140734844522336 140734844519576 5156682 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11636 5801 878 493 0 4941 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 23204 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7562
/proc/meminfo: memFree=30879436/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46544 memory=23224 CPUtime=282.26 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 29484 0 0 0 28225 1 0 0 20 0 1 0 434748825 47661056 5806 33554432000 4194304 6211092 140734844522336 140734844519576 5156476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11636 5806 878 493 0 4941 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 23224 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7566
/proc/meminfo: memFree=30879536/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23244 CPUtime=342.26 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 30228 0 0 0 34225 1 0 0 20 0 1 0 434748825 47796224 5811 33554432000 4194304 6211092 140734844522336 140734844519576 5155511 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5811 878 493 0 4974 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23244 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 7570
/proc/meminfo: memFree=30879764/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23284 CPUtime=402.25 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 30981 0 0 0 40224 1 0 0 20 0 1 0 434748825 47796224 5821 33554432000 4194304 6211092 140734844522336 140734844519576 5155523 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5821 878 493 0 4974 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23284 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7576
/proc/meminfo: memFree=30879444/32770624 swapFree=66925380/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23292 CPUtime=462.25 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 31734 0 0 0 46224 1 0 0 20 0 1 0 434748825 47796224 5823 33554432000 4194304 6211092 140734844522336 140734844519576 5157244 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5823 878 493 0 4974 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23292 KiB
################
# More data... #
################
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 7684
/proc/meminfo: memFree=30878568/32770624 swapFree=66925384/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=1662.16 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 46315 0 0 0 166214 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5157466 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7691
/proc/meminfo: memFree=30877560/32770624 swapFree=66925384/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=1722.16 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 47027 0 0 0 172214 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5250234 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 7695
/proc/meminfo: memFree=30879128/32770624 swapFree=66925384/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=1782.15 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 47727 0 0 0 178213 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7707
/proc/meminfo: memFree=30876876/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=1842.14 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 48426 0 0 0 184212 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5250467 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7713
/proc/meminfo: memFree=30877400/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=1902.14 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 49115 0 0 0 190212 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5157428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7717
/proc/meminfo: memFree=30877284/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=1962.13 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 49830 0 0 0 196211 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 7721
/proc/meminfo: memFree=30878176/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=2022.13 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 50543 0 0 0 202211 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5156232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 7727
/proc/meminfo: memFree=30878112/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=2082.13 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 51255 0 0 0 208211 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5250450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 7731
/proc/meminfo: memFree=30878556/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46676 memory=23372 CPUtime=2142.12 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 51964 0 0 0 214210 2 0 0 20 0 1 0 434748825 47796224 5843 33554432000 4194304 6211092 140734844522336 140734844519576 5158100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11669 5843 878 493 0 4974 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23372 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 7735
/proc/meminfo: memFree=30878844/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46808 memory=23372 CPUtime=2202.12 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 52740 0 0 0 220210 2 0 0 20 0 1 0 434748825 47931392 5843 33554432000 4194304 6211092 140734844522336 140734844519736 5250224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11702 5843 878 493 0 5007 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 46808 KiB
Current children cumulated memory: 23372 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7741
/proc/meminfo: memFree=30878416/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46808 memory=23384 CPUtime=2262.11 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 53510 0 0 0 226209 2 0 0 20 0 1 0 434748825 47931392 5846 33554432000 4194304 6211092 140734844522336 140734844519736 5156928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11702 5846 878 493 0 5007 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 46808 KiB
Current children cumulated memory: 23384 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 7745
/proc/meminfo: memFree=30878420/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46808 memory=23384 CPUtime=2322.11 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 54240 0 0 0 232209 2 0 0 20 0 1 0 434748825 47931392 5846 33554432000 4194304 6211092 140734844522336 140734844519736 5158100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11702 5846 878 493 0 5007 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 46808 KiB
Current children cumulated memory: 23384 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 7749
/proc/meminfo: memFree=30878480/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46808 memory=23384 CPUtime=2382.11 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 54957 0 0 0 238208 3 0 0 20 0 1 0 434748825 47931392 5846 33554432000 4194304 6211092 140734844522336 140734844519736 5155337 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11702 5846 878 493 0 5007 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 46808 KiB
Current children cumulated memory: 23384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7759
/proc/meminfo: memFree=30877792/32770624 swapFree=66925388/67108860
[pid=7450] ppid=7447 vsize=46808 memory=23384 CPUtime=2400.01 cores=1,3,5,7
/proc/7450/stat : 7450 (cosoco) R 7447 7450 5183 0 -1 4202496 55709 0 0 0 239998 3 0 0 20 0 1 0 434748825 47931392 5846 33554432000 4194304 6211092 140734844522336 140734844519736 5155523 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 17428480 140734844523531 140734844523633 140734844523633 140734844526542 0
/proc/7450/statm: 11702 5846 878 493 0 5007 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 46808 KiB
Current children cumulated memory: 23384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 7450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.98 s, system=0.034997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.02
CPU user time (s): 2399.98
CPU system time (s): 0.034997
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 46808
Max. memory (cumulated for all children) (KiB): 23384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.034997
maximum resident set size= 23448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55764
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= 23
involuntary context switches= 645
# summary of solver processes directly reported to runsolver:
# pid: 7450
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.98
# total CPU system time (s): 0.034997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79859 second user time and 15.2169 second system time
The end