2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco 2.O parallel	OPT	4	4829.17	605.863
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 (10776 MiB free)
  memory of node 1: 16384 MiB (13223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398432-1568598512/watcher-4398432-1568598512 -o /tmp/evaluation-result-4398432-1568598512/solver-4398432-1568598512 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568595839-29710 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398432-1568598512.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30178, runsolver pid=30175
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 7.86 8.08 7.80 2/191 30179
/proc/meminfo: memFree=24560760/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=44768 memory=21112 CPUtime=0.1 cores=0-7
/proc/30178/stat : 30178 (cosoco) R 30175 30178 29683 0 -1 4202496 5454 0 0 0 10 0 0 0 20 0 1 0 435788568 45842432 5278 33554432000 4194304 6211092 140734329290592 140734329287128 139885979286501 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 11192 5278 821 493 0 4497 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 21112 KiB

[startup+0.208869 s]*
/proc/loadavg: 7.86 8.08 7.80 2/191 30179
/proc/meminfo: memFree=24546624/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=59012 memory=35168 CPUtime=0.21 cores=0-7
/proc/30178/stat : 30178 (cosoco) R 30175 30178 29683 0 -1 4202496 9005 0 0 0 20 1 0 0 20 0 1 0 435788568 60428288 8792 33554432000 4194304 6211092 140734329290592 140734329287128 139885979286501 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 14753 8792 822 493 0 8058 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59012 KiB
Current children cumulated memory: 35168 KiB

[startup+0.308646 s]*
/proc/loadavg: 7.86 8.08 7.80 2/191 30179
/proc/meminfo: memFree=24533604/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=72076 memory=48228 CPUtime=0.3 cores=0-7
/proc/30178/stat : 30178 (cosoco) R 30175 30178 29683 0 -1 4202496 12279 0 0 0 29 1 0 0 20 0 1 0 435788568 73805824 12057 33554432000 4194304 6211092 140734329290592 140734329287128 139885979286501 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 18019 12057 822 493 0 11324 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72076 KiB
Current children cumulated memory: 48228 KiB

[startup+0.700327 s]
/proc/loadavg: 7.86 8.08 7.80 2/191 30179
/proc/meminfo: memFree=24506944/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=122496 memory=98636 CPUtime=0.69 cores=0-7
/proc/30178/stat : 30178 (cosoco) R 30175 30178 29683 0 -1 4202496 24857 0 0 0 65 4 0 0 20 0 1 0 435788568 125435904 24659 33554432000 4194304 6211092 140734329290592 140734329287128 139885988641628 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 30624 24659 822 493 0 23929 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122496 KiB
Current children cumulated memory: 98636 KiB

[startup+1.50132 s]
/proc/loadavg: 7.31 7.96 7.77 2/191 30179
/proc/meminfo: memFree=24443952/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=758656 memory=226452 CPUtime=4.6 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 61265 0 0 0 447 13 0 0 20 0 9 0 435788568 776863744 56613 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 189664 56613 855 493 0 182969 0
[pid=30178/tid=30180] ppid=30175 vsize=758656 memory=5059471475862 CPUtime=0.45 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 3644 0 0 0 44 1 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885972184080 5389832 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=758656 memory=0 CPUtime=0.45 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 3942 0 0 0 44 1 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885963791248 5165624 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=758656 memory=6943526294502006880 CPUtime=0.45 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 2994 0 0 0 44 1 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885955398672 5392343 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=758656 memory=0 CPUtime=0.43 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 3633 0 0 0 43 0 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885947006080 5404182 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=758656 memory=0 CPUtime=0.44 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 3106 0 0 0 44 0 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885938613280 5165604 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=758656 memory=280397745229712 CPUtime=0.45 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 2978 0 0 0 45 0 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885930220672 5392261 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=758656 memory=10843 CPUtime=0.44 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 3036 0 0 0 44 0 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885921827856 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=758656 memory=12384 CPUtime=0.44 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 3437 0 0 0 43 1 0 0 20 0 9 0 435788669 776863744 56613 33554432000 4194304 6211092 140734329290592 139885913435152 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 758656 KiB
Current children cumulated memory: 226452 KiB

[startup+3.11032 s]
/proc/loadavg: 7.31 7.96 7.77 11/199 30187
/proc/meminfo: memFree=24360848/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=218644 CPUtime=17.45 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 96122 0 0 0 1719 26 0 0 20 0 9 0 435788568 768471040 54661 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54661 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=183 CPUtime=2.06 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 9372 0 0 0 204 2 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885972184392 5009314 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=3924 CPUtime=2.05 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 12066 0 0 0 204 1 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885963791344 5397219 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=0 CPUtime=2.05 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 5547 0 0 0 202 3 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885955398672 5392719 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=0 CPUtime=2.04 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 6294 0 0 0 201 3 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885947006080 5009098 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=0 CPUtime=2.05 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 6015 0 0 0 202 3 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885938613376 5392261 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=2362 CPUtime=2.03 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 5304 0 0 0 201 2 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885930220672 5397289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=57 CPUtime=2.05 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 8193 0 0 0 204 1 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885921827856 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=288230377007612191 CPUtime=2.04 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 8836 0 0 0 203 1 0 0 20 0 9 0 435788669 768471040 54661 33554432000 4194304 6211092 140734329290592 139885913435152 5008918 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 17.45 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 218644 KiB

[startup+6.30132 s]
/proc/loadavg: 7.12 7.91 7.75 10/199 30187
/proc/meminfo: memFree=24362104/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=218656 CPUtime=42.93 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 165880 0 0 0 4256 37 0 0 20 0 9 0 435788568 768471040 54664 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54664 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=218656 CPUtime=5.24 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 18615 0 0 0 521 3 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885972184392 5397375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=0 CPUtime=5.25 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 22968 0 0 0 522 3 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885963791344 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=140203298920063 CPUtime=5.24 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 11264 0 0 0 520 4 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885955398672 5390468 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=57 CPUtime=5.23 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 14805 0 0 0 519 4 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885947005496 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=288230377007612191 CPUtime=5.24 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 14410 0 0 0 519 5 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885938613376 5207585 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=3924 CPUtime=5.17 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 12199 0 0 0 514 3 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885930220088 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=45988 CPUtime=5.24 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 17918 0 0 0 522 2 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885921827856 5392278 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=1228 CPUtime=5.23 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 19206 0 0 0 521 2 0 0 20 0 9 0 435788669 768471040 54664 33554432000 4194304 6211092 140734329290592 139885913435152 5008971 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 42.93 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 218656 KiB

[startup+12.7013 s]
/proc/loadavg: 7.27 7.93 7.76 14/199 30187
/proc/meminfo: memFree=24361356/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=218968 CPUtime=93.96 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 297685 0 0 0 9338 58 0 0 20 0 9 0 435788568 768471040 54742 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54742 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=280397745712224 CPUtime=11.64 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 35219 0 0 0 1158 6 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885972184392 5392346 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=3924 CPUtime=11.63 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 45190 0 0 0 1158 5 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885963791376 5409439 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=45988 CPUtime=11.63 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 24482 0 0 0 1157 6 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885955398672 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=218968 CPUtime=11.62 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 28095 0 0 0 1155 7 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885947006080 5392269 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=15541812429348949 CPUtime=11.64 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 31999 0 0 0 1155 9 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885938612920 5008918 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=0 CPUtime=11.48 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 25269 0 0 0 1142 6 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885930220216 5392714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=0 CPUtime=11.63 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 35632 0 0 0 1159 4 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885921827512 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=0 CPUtime=11.62 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 37304 0 0 0 1157 5 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885913435264 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 93.96 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 218968 KiB

[startup+25.5013 s]
/proc/loadavg: 7.39 7.93 7.76 10/199 30188
/proc/meminfo: memFree=24362388/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=218968 CPUtime=196.11 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 386068 0 0 0 19539 72 0 0 20 0 9 0 435788568 768471040 54742 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54742 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=0 CPUtime=24.43 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 46518 0 0 0 2435 8 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885972184392 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=6515465389257 CPUtime=24.42 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 59878 0 0 0 2435 7 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885963791376 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=45988 CPUtime=24.43 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 33707 0 0 0 2435 8 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885955398672 5397235 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=1228 CPUtime=24.41 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 37616 0 0 0 2432 9 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885947006080 5392339 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=6935054825532540783 CPUtime=24.41 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 44517 0 0 0 2431 10 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885938612920 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=1536 CPUtime=24.1 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 34047 0 0 0 2402 8 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885930220216 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=218968 CPUtime=24.42 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 46696 0 0 0 2437 5 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885921827512 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=1792 CPUtime=24.42 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 48594 0 0 0 2435 7 0 0 20 0 9 0 435788669 768471040 54742 33554432000 4194304 6211092 140734329290592 139885913435264 5112702 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 196.11 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 218968 KiB


################
# More data... #
################

Current children cumulated CPU time: 4692.96 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 219240 KiB

[startup+595.201 s]
/proc/loadavg: 8.41 8.25 8.00 10/199 30233
/proc/meminfo: memFree=24362968/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=219240 CPUtime=4744.06 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 580876 0 0 0 474301 105 0 0 20 0 9 0 435788568 768471040 54810 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54810 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=219240 CPUtime=593.89 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 71094 0 0 0 59378 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885972184392 5392261 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=219240 CPUtime=593.87 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 89695 0 0 0 59376 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885963791376 5392339 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=288230596050944315 CPUtime=593.61 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 53124 0 0 0 59349 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885955398672 5392265 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=219240 CPUtime=587.86 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 60772 0 0 0 58771 15 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885947005968 5165719 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=1228 CPUtime=593.07 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 75178 0 0 0 59291 16 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885938613264 5392343 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=2352 CPUtime=593.05 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 56425 0 0 0 59293 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885930220216 5112687 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=280397745829472 CPUtime=593.92 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 69435 0 0 0 59383 9 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885921827856 5392714 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=3920778652919541792 CPUtime=593.73 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 70658 0 0 0 59363 10 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885913435264 5392714 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 4744.06 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 219240 KiB

[startup+601.601 s]
/proc/loadavg: 8.42 8.26 8.00 10/199 30233
/proc/meminfo: memFree=24363308/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=219240 CPUtime=4795.16 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 580877 0 0 0 479411 105 0 0 20 0 9 0 435788568 768471040 54810 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54810 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=219240 CPUtime=600.29 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 71094 0 0 0 60018 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885972184392 5389938 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=0 CPUtime=600.27 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 89696 0 0 0 60016 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885963791376 5112713 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=4872558044660077418 CPUtime=599.92 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 53124 0 0 0 59980 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885955398672 5112713 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=45992 CPUtime=594.25 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 60772 0 0 0 59410 15 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885947005968 5392343 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=18133351927027 CPUtime=599.47 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 75178 0 0 0 59931 16 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885938613264 5392261 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=0 CPUtime=599.45 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 56425 0 0 0 59933 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885930220216 5380267 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=1192 CPUtime=600.32 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 69435 0 0 0 60023 9 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885921827856 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=5536 CPUtime=600.12 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 70658 0 0 0 60002 10 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885913435264 5009317 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 4795.16 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 219240 KiB

[startup+603.201 s]
/proc/loadavg: 8.42 8.26 8.00 10/199 30233
/proc/meminfo: memFree=24363308/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=219240 CPUtime=4807.93 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 580878 0 0 0 480688 105 0 0 20 0 9 0 435788568 768471040 54810 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54810 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=45992 CPUtime=601.89 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 71094 0 0 0 60178 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885972184392 5165680 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=6935054825532540783 CPUtime=601.87 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 89696 0 0 0 60176 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885963791376 5392339 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=219240 CPUtime=601.5 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 53124 0 0 0 60138 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885955398672 5397289 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=1100 CPUtime=595.85 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 60772 0 0 0 59570 15 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885947005968 5165617 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=15208 CPUtime=601.07 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 75179 0 0 0 60091 16 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885938613264 5392715 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=1636 CPUtime=601.05 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 56425 0 0 0 60093 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885930220216 5392261 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=812 CPUtime=601.92 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 69435 0 0 0 60183 9 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885921827856 5397454 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=1840 CPUtime=601.72 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 70658 0 0 0 60162 10 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885913435264 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 4807.93 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 219240 KiB

[startup+604.801 s]
/proc/loadavg: 8.42 8.26 8.00 10/199 30233
/proc/meminfo: memFree=24363308/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=219240 CPUtime=4820.72 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 580883 0 0 0 481967 105 0 0 20 0 9 0 435788568 768471040 54810 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54810 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=3924 CPUtime=603.49 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 71094 0 0 0 60338 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885972184392 5397216 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=45992 CPUtime=603.47 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 89696 0 0 0 60336 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885963791376 5112713 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=6935054825532540783 CPUtime=603.08 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 53124 0 0 0 60296 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885955398672 5392261 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=1636 CPUtime=597.45 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 60772 0 0 0 59730 15 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885947005968 5392704 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=8612 CPUtime=602.67 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 75179 0 0 0 60251 16 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885938613264 5390468 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=219240 CPUtime=602.65 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 56425 0 0 0 60253 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885930220216 5390468 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=5536 CPUtime=603.52 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 69435 0 0 0 60343 9 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885921827856 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=1228 CPUtime=603.32 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 70663 0 0 0 60322 10 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885913435264 5009210 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 4820.72 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 219240 KiB

[startup+605.601 s]
/proc/loadavg: 8.42 8.26 8.00 10/199 30233
/proc/meminfo: memFree=24363308/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=219240 CPUtime=4827.1 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 580921 0 0 0 482605 105 0 0 20 0 9 0 435788568 768471040 54810 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54810 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=1536 CPUtime=604.29 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 71094 0 0 0 60418 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885972184392 5009195 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=219240 CPUtime=604.27 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 89697 0 0 0 60416 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885963791376 5392265 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=4872558044660077418 CPUtime=603.87 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 53124 0 0 0 60375 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885955398672 5409449 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=3924 CPUtime=598.25 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 60783 0 0 0 59810 15 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885947005968 5397235 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=45992 CPUtime=603.47 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 75179 0 0 0 60331 16 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885938613264 5009142 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=1228 CPUtime=603.45 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 56425 0 0 0 60333 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885930220216 5392339 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=2352 CPUtime=604.32 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 69444 0 0 0 60423 9 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885921827872 5392261 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=1792 CPUtime=604.12 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 70680 0 0 0 60402 10 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885913435408 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 4827.1 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 219240 KiB

[startup+605.801 s]
/proc/loadavg: 8.42 8.26 8.00 10/199 30233
/proc/meminfo: memFree=24363308/32770624 swapFree=67108848/67108860
[pid=30178] ppid=30175 vsize=750460 memory=219240 CPUtime=4828.7 cores=0-7
/proc/30178/stat : 30178 (cosoco) S 30175 30178 29683 0 -1 1077944320 580956 0 0 0 482765 105 0 0 20 0 9 0 435788568 768471040 54810 33554432000 4194304 6211092 140734329290592 140734329288848 139885995327223 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
/proc/30178/statm: 187615 54810 856 493 0 180920 0
[pid=30178/tid=30180] ppid=30175 vsize=750460 memory=1192 CPUtime=604.49 cores=0-7
/proc/30178/task/30180/stat : 30180 (cosoco) R 30175 30178 29683 0 -1 4202560 71094 0 0 0 60438 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885972184392 5390488 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30181] ppid=30175 vsize=750460 memory=5536 CPUtime=604.47 cores=0-7
/proc/30178/task/30181/stat : 30181 (cosoco) R 30175 30178 29683 0 -1 4202560 89697 0 0 0 60436 11 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885963791376 5392265 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30182] ppid=30175 vsize=750460 memory=1384 CPUtime=604.06 cores=0-7
/proc/30178/task/30182/stat : 30182 (cosoco) R 30175 30178 29683 0 -1 4202560 53125 0 0 0 60394 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885955398672 5392240 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30183] ppid=30175 vsize=750460 memory=7200 CPUtime=598.45 cores=0-7
/proc/30178/task/30183/stat : 30183 (cosoco) R 30175 30178 29683 0 -1 4202560 60787 0 0 0 59830 15 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885947005968 5009016 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30184] ppid=30175 vsize=750460 memory=1100 CPUtime=603.67 cores=0-7
/proc/30178/task/30184/stat : 30184 (cosoco) R 30175 30178 29683 0 -1 4202560 75188 0 0 0 60351 16 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885938613264 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30185] ppid=30175 vsize=750460 memory=15208 CPUtime=603.65 cores=0-7
/proc/30178/task/30185/stat : 30185 (cosoco) R 30175 30178 29683 0 -1 4202560 56444 0 0 0 60353 12 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885930220576 5397175 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30186] ppid=30175 vsize=750460 memory=27228 CPUtime=604.52 cores=0-7
/proc/30178/task/30186/stat : 30186 (cosoco) R 30175 30178 29683 0 -1 4202560 69444 0 0 0 60443 9 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885921827872 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
[pid=30178/tid=30187] ppid=30175 vsize=750460 memory=4048 CPUtime=604.32 cores=0-7
/proc/30178/task/30187/stat : 30187 (cosoco) R 30175 30178 29683 0 -1 4202560 70682 0 0 0 60422 10 0 0 20 0 9 0 435788669 768471040 54810 33554432000 4194304 6211092 140734329290592 139885913435408 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 12615680 140734329295889 140734329295981 140734329295981 140734329298894 0
Current children cumulated CPU time: 4828.7 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 219240 KiB

Child status: 0
Real time (s): 605.863
CPU time (s): 4829.17
CPU user time (s): 4828.11
CPU system time (s): 1.05729
CPU usage (%): 797.073
Max. virtual memory (cumulated for all children) (KiB): 787348
Max. memory (cumulated for all children) (KiB): 241400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4828.11
system time used= 1.05729
maximum resident set size= 254064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581124
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= 7791
involuntary context switches= 39481


# summary of solver processes directly reported to runsolver:
#   pid: 30178
#   total CPU time (s): 4829.17
#   total CPU user time (s): 4828.11
#   total CPU system time (s): 1.05729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.08328 second user time and 5.46397 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	238.735
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4398432

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
