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 (15218 MiB free)
memory of node 1: 16384 MiB (15516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408479-1569787393/watcher-4408479-1569787393 -o /tmp/evaluation-result-4408479-1569787393/solver-4408479-1569787393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7895 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408479-1569787393.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
Current StackSize limit: 8192 KiB
solver pid=7925, runsolver pid=7922
[startup+0.100164 s]*
/proc/loadavg: 0.00 0.01 0.05 1/199 7926
/proc/meminfo: memFree=31467472/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=8040 memory=204 CPUtime=0 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) D 7922 7925 7864 0 -1 4194304 176 0 0 0 0 0 0 0 20 0 1 0 554653015 8232960 51 33554432000 4194304 6211132 140726538187808 140726538184856 140288093608442 0 0 4096 0 18446744071580431491 0 0 17 6 0 0 1 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 2010 51 39 493 0 44 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 204 KiB
[startup+0.209388 s]*
/proc/loadavg: 0.00 0.01 0.05 1/199 7926
/proc/meminfo: memFree=31467208/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=8040 memory=208 CPUtime=0 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) D 7922 7925 7864 0 -1 1077936128 182 0 0 0 0 0 0 0 20 0 1 0 554653015 8232960 52 33554432000 4194304 6211132 140726538187808 140726538184936 140288093603527 0 0 4096 0 18446744072101617188 0 0 17 6 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 2010 52 39 493 0 45 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 208 KiB
[startup+0.309291 s]*
/proc/loadavg: 0.00 0.01 0.05 1/199 7926
/proc/meminfo: memFree=31467208/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=24932 memory=356 CPUtime=0 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) D 7922 7925 7864 0 -1 1077936128 225 0 0 0 0 0 0 0 20 0 1 0 554653015 25530368 89 33554432000 4194304 6211132 140726538187808 140726538184296 140288093603527 0 0 4096 0 18446744072101617188 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 6233 89 63 493 0 56 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24932 KiB
Current children cumulated memory: 356 KiB
[startup+0.700375 s]
/proc/loadavg: 0.00 0.01 0.05 3/199 7926
/proc/meminfo: memFree=31334392/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45564 memory=22080 CPUtime=0.37 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 5718 0 0 0 37 0 0 0 20 0 1 0 554653015 46657536 5520 33554432000 4194304 6211132 140726538187808 140726538184296 5168401 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11391 5520 895 493 0 4696 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 45564 KiB
Current children cumulated memory: 22080 KiB
[startup+1.50034 s]
/proc/loadavg: 0.00 0.01 0.05 3/199 7926
/proc/meminfo: memFree=31169232/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45564 memory=22080 CPUtime=1.17 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 5719 0 0 0 117 0 0 0 20 0 1 0 554653015 46657536 5520 33554432000 4194304 6211132 140726538187808 140726538184296 5167059 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11391 5520 895 493 0 4696 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 45564 KiB
Current children cumulated memory: 22080 KiB
[startup+3.10936 s]
/proc/loadavg: 0.00 0.01 0.05 3/199 7926
/proc/meminfo: memFree=30448404/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45564 memory=22228 CPUtime=2.78 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 9753 0 0 0 277 1 0 0 20 0 1 0 554653015 46657536 5557 33554432000 4194304 6211132 140726538187808 140726538185080 5167219 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11391 5557 895 493 0 4696 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 45564 KiB
Current children cumulated memory: 22228 KiB
[startup+6.30034 s]
/proc/loadavg: 0.16 0.05 0.06 3/199 7926
/proc/meminfo: memFree=30447580/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22320 CPUtime=5.97 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 14216 0 0 0 596 1 0 0 20 0 1 0 554653015 46792704 5580 33554432000 4194304 6211132 140726538187808 140726538185080 5393983 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5580 895 493 0 4729 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22320 KiB
[startup+12.7003 s]
/proc/loadavg: 0.31 0.08 0.07 3/199 7927
/proc/meminfo: memFree=30445748/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22380 CPUtime=12.37 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 18165 0 0 0 1236 1 0 0 20 0 1 0 554653015 46792704 5595 33554432000 4194304 6211132 140726538187808 140726538185080 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5595 895 493 0 4729 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22380 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 7927
/proc/meminfo: memFree=30442192/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22388 CPUtime=25.18 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 26367 0 0 0 2516 2 0 0 20 0 1 0 554653015 46792704 5597 33554432000 4194304 6211132 140726538187808 140726538185080 5103522 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5597 895 493 0 4729 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22388 KiB
[startup+51.1094 s]
/proc/loadavg: 1.13 0.32 0.15 3/199 7930
/proc/meminfo: memFree=30439460/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22388 CPUtime=50.78 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 30413 0 0 0 5076 2 0 0 20 0 1 0 554653015 46792704 5597 33554432000 4194304 6211132 140726538187808 140726538185080 5167536 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5597 895 493 0 4729 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22388 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.25 3/199 7934
/proc/meminfo: memFree=30437752/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22408 CPUtime=101.97 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 34459 0 0 0 10195 2 0 0 20 0 1 0 554653015 46792704 5602 33554432000 4194304 6211132 140726538187808 140726538185080 5167920 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5602 895 493 0 4729 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22408 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 3/200 7940
/proc/meminfo: memFree=30436496/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22408 CPUtime=161.97 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 38501 0 0 0 16195 2 0 0 20 0 1 0 554653015 46792704 5602 33554432000 4194304 6211132 140726538187808 140726538185080 5167924 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5602 895 493 0 4729 0
Current children cumulated CPU time: 161.97 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22408 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 3/199 7944
/proc/meminfo: memFree=30435480/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22408 CPUtime=221.97 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 42304 0 0 0 22195 2 0 0 20 0 1 0 554653015 46792704 5602 33554432000 4194304 6211132 140726538187808 140726538185080 5394016 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5602 895 493 0 4729 0
Current children cumulated CPU time: 221.97 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22408 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/199 7948
/proc/meminfo: memFree=30434680/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22412 CPUtime=281.98 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 45897 0 0 0 28195 3 0 0 20 0 1 0 554653015 46792704 5603 33554432000 4194304 6211132 140726538187808 140726538185080 5167933 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5603 895 493 0 4729 0
Current children cumulated CPU time: 281.98 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22412 KiB
[startup+342.3 s]
/proc/loadavg: 2.48 1.50 0.69 3/200 7954
/proc/meminfo: memFree=30434644/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22412 CPUtime=341.98 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 49488 0 0 0 34195 3 0 0 20 0 1 0 554653015 46792704 5603 33554432000 4194304 6211132 140726538187808 140726538185080 5167553 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5603 895 493 0 4729 0
Current children cumulated CPU time: 341.98 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22412 KiB
[startup+402.3 s]
/proc/loadavg: 2.40 1.64 0.79 3/199 7958
/proc/meminfo: memFree=30434192/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=45696 memory=22412 CPUtime=401.98 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 53504 0 0 0 40195 3 0 0 20 0 1 0 554653015 46792704 5603 33554432000 4194304 6211132 140726538187808 140726538185080 5102842 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11424 5603 895 493 0 4729 0
Current children cumulated CPU time: 401.98 s
Current children cumulated vsize: 45696 KiB
Current children cumulated memory: 22412 KiB
[startup+462.3 s]
/proc/loadavg: 2.38 1.79 0.90 3/200 7970
/proc/meminfo: memFree=30433500/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22728 CPUtime=461.98 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 56610 0 0 0 46195 3 0 0 20 0 1 0 554653015 47198208 5682 33554432000 4194304 6211132 140726538187808 140726538185128 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5682 895 493 0 4828 0
Current children cumulated CPU time: 461.98 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22728 KiB
################
# More data... #
################
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 1721.99 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/202 8092
/proc/meminfo: memFree=30432704/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=1781.99 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 69895 0 0 0 178195 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5102834 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/201 8096
/proc/meminfo: memFree=30433860/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=1842 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 69918 0 0 0 184196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/201 8100
/proc/meminfo: memFree=30434020/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=1902 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70031 0 0 0 190196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5394002 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 1902 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/199 8106
/proc/meminfo: memFree=30433844/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=1962 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70070 0 0 0 196196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5166701 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/199 8111
/proc/meminfo: memFree=30433588/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2022 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70112 0 0 0 202196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2022 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/199 8115
/proc/meminfo: memFree=30433556/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2082 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70188 0 0 0 208196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5167924 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2082 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/200 8121
/proc/meminfo: memFree=30432728/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2142 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70226 0 0 0 214196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5168224 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2142 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/199 8125
/proc/meminfo: memFree=30433628/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2202 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70262 0 0 0 220196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5167539 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2202 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/199 8136
/proc/meminfo: memFree=30432280/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2262 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70298 0 0 0 226196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/200 8142
/proc/meminfo: memFree=30432132/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2322 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70375 0 0 0 232196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5167561 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/199 8146
/proc/meminfo: memFree=30432908/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2382 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70403 0 0 0 238196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2382 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 8150
/proc/meminfo: memFree=30432400/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2442 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70432 0 0 0 244196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2442 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 8156
/proc/meminfo: memFree=30432980/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2502 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70509 0 0 0 250196 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5168257 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2502 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 1.88 2/197 8156
/proc/meminfo: memFree=31446964/32770624 swapFree=66936012/67108860
[pid=7925] ppid=7922 vsize=46092 memory=22772 CPUtime=2519.71 cores=0,2,4,6
/proc/7925/stat : 7925 (cosoco) R 7922 7925 7864 0 -1 4202496 70545 0 0 0 251967 4 0 0 20 0 1 0 554653015 47198208 5693 33554432000 4194304 6211132 140726538187808 140726538185128 5167960 0 0 4096 8405026 0 0 0 17 4 0 0 6 0 0 8312316 8317760 16736256 140726538191883 140726538191985 140726538191985 140726538194894 0
/proc/7925/statm: 11523 5693 895 493 0 4828 0
Current children cumulated CPU time: 2519.71 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 22772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7925 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.68 s, system=0.047 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.73
CPU user time (s): 2519.68
CPU system time (s): 0.047
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 46092
Max. memory (cumulated for all children) (KiB): 22772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.047
maximum resident set size= 22840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70594
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= 52
involuntary context switches= 679
# summary of solver processes directly reported to runsolver:
# pid: 7925
# total CPU time (s): 2519.73
# total CPU user time (s): 2519.68
# total CPU system time (s): 0.047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40177 second user time and 16.3729 second system time
The end