2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco 2.0 parallel	OPT	4	1480.05	186.35
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 (15442 MiB free)
  memory of node 1: 16384 MiB (15796 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409992-1569828314/watcher-4409992-1569828314 -o /tmp/evaluation-result-4409992-1569828314/solver-4409992-1569828314 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1569816069-18432 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409992-1569828314.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=20290, runsolver pid=20287
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 7.98 8.27 8.39 2/192 20291
/proc/meminfo: memFree=31972844/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=44900 memory=21112 CPUtime=0.09 cores=0-7
/proc/20290/stat : 20290 (cosoco) R 20287 20290 18405 0 -1 4202496 5462 0 0 0 9 0 0 0 20 0 1 0 559103834 45977600 5278 33554432000 4194304 6211132 140735769527920 140735769524456 140533046139877 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 11225 5278 821 493 0 4530 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44900 KiB
Current children cumulated memory: 21112 KiB

[startup+0.20894 s]*
/proc/loadavg: 7.98 8.27 8.39 2/192 20291
/proc/meminfo: memFree=31958584/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=59144 memory=35428 CPUtime=0.21 cores=0-7
/proc/20290/stat : 20290 (cosoco) R 20287 20290 18405 0 -1 4202496 9030 0 0 0 20 1 0 0 20 0 1 0 559103834 60563456 8857 33554432000 4194304 6211132 140735769527920 140735769524456 140533046139877 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 14786 8857 822 493 0 8091 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59144 KiB
Current children cumulated memory: 35428 KiB

[startup+0.308673 s]*
/proc/loadavg: 7.98 8.27 8.39 2/192 20291
/proc/meminfo: memFree=31945564/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=72208 memory=48488 CPUtime=0.31 cores=0-7
/proc/20290/stat : 20290 (cosoco) R 20287 20290 18405 0 -1 4202496 12312 0 0 0 29 2 0 0 20 0 1 0 559103834 73940992 12122 33554432000 4194304 6211132 140735769527920 140735769524456 140533046139877 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 18052 12122 822 493 0 11357 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 72208 KiB
Current children cumulated memory: 48488 KiB

[startup+0.700329 s]
/proc/loadavg: 7.98 8.27 8.39 2/192 20291
/proc/meminfo: memFree=31919256/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=122760 memory=99020 CPUtime=0.69 cores=0-7
/proc/20290/stat : 20290 (cosoco) R 20287 20290 18405 0 -1 4202496 24944 0 0 0 66 3 0 0 20 0 1 0 559103834 125706240 24755 33554432000 4194304 6211132 140735769527920 140735769522360 140533046139877 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 30690 24755 822 493 0 23995 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122760 KiB
Current children cumulated memory: 99020 KiB

[startup+1.50124 s]
/proc/loadavg: 7.98 8.27 8.39 2/192 20291
/proc/meminfo: memFree=31855892/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=766848 memory=223560 CPUtime=4.62 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 61888 0 0 0 449 13 0 0 20 0 9 0 559103834 785252352 55890 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 191712 55890 855 493 0 185017 0
[pid=20290/tid=20292] ppid=20287 vsize=766848 memory=576460756329955604 CPUtime=0.45 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 3179 0 0 0 45 0 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140533039037768 5008831 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=766848 memory=288230621904647454 CPUtime=0.42 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 3221 0 0 0 42 0 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140533030644248 5392272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=766848 memory=288230376155876730 CPUtime=0.45 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 3427 0 0 0 44 1 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140533022251576 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=766848 memory=0 CPUtime=0.45 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 3196 0 0 0 44 1 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140533013858840 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=766848 memory=0 CPUtime=0.45 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 3307 0 0 0 44 1 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140533005466136 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=766848 memory=6935054825532540783 CPUtime=0.45 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 3322 0 0 0 44 1 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140532997074248 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=766848 memory=0 CPUtime=0.44 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 3571 0 0 0 43 1 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140532988680760 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=766848 memory=-6800859132029471843 CPUtime=0.45 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 4171 0 0 0 44 1 0 0 20 0 9 0 559103934 785252352 55890 33554432000 4194304 6211132 140735769527920 140532980288528 5165636 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 766848 KiB
Current children cumulated memory: 223560 KiB

[startup+3.11024 s]
/proc/loadavg: 7.98 8.27 8.39 9/200 20299
/proc/meminfo: memFree=31765852/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=766848 memory=223872 CPUtime=17.47 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 96822 0 0 0 1721 26 0 0 20 0 9 0 559103834 785252352 55968 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 191712 55968 855 493 0 185017 0
[pid=20290/tid=20292] ppid=20287 vsize=766848 memory=0 CPUtime=2.06 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 9116 0 0 0 205 1 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140533039037768 5392301 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=766848 memory=0 CPUtime=2.04 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 5091 0 0 0 202 2 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140533030644248 5392301 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=766848 memory=0 CPUtime=2.05 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 8930 0 0 0 204 1 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140533022251544 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=766848 memory=0 CPUtime=2.03 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 6314 0 0 0 199 4 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140533013858840 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=766848 memory=4121979161034375398 CPUtime=2.06 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 5970 0 0 0 203 3 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140533005466136 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=766848 memory=0 CPUtime=2.06 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 6390 0 0 0 203 3 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140532997073464 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=766848 memory=0 CPUtime=2.05 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 8432 0 0 0 204 1 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140532988680760 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=766848 memory=0 CPUtime=2.06 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 12085 0 0 0 204 2 0 0 20 0 9 0 559103934 785252352 55968 33554432000 4194304 6211132 140735769527920 140532980288528 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 17.47 s
Current children cumulated vsize: 766848 KiB
Current children cumulated memory: 223872 KiB

[startup+6.30124 s]
/proc/loadavg: 7.91 8.25 8.38 9/200 20299
/proc/meminfo: memFree=31766436/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=766848 memory=224056 CPUtime=42.95 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 166352 0 0 0 4257 38 0 0 20 0 9 0 559103834 785252352 56014 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 191712 56014 855 493 0 185017 0
[pid=20290/tid=20292] ppid=20287 vsize=766848 memory=0 CPUtime=5.25 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 18439 0 0 0 523 2 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140533039037768 5392371 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=766848 memory=139688523900543 CPUtime=5.23 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 12324 0 0 0 519 4 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140533030644248 5392740 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=766848 memory=0 CPUtime=5.24 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 19281 0 0 0 521 3 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140533022251624 5397384 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=766848 memory=7012512883730063247 CPUtime=5.18 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 13675 0 0 0 513 5 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140533013858872 5392378 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=766848 memory=0 CPUtime=5.25 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 14376 0 0 0 520 5 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140533005466168 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=766848 memory=279368161419952 CPUtime=5.25 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 17003 0 0 0 520 5 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140532997073432 5392293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=766848 memory=223996 CPUtime=5.24 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 15695 0 0 0 522 2 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140532988680808 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=766848 memory=7079775636674209361 CPUtime=5.25 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 21065 0 0 0 522 3 0 0 20 0 9 0 559103934 785252352 56014 33554432000 4194304 6211132 140735769527920 140532980288528 5392310 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 42.95 s
Current children cumulated vsize: 766848 KiB
Current children cumulated memory: 224056 KiB

[startup+12.7012 s]
/proc/loadavg: 7.91 8.24 8.38 9/200 20299
/proc/meminfo: memFree=31767344/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=766848 memory=224160 CPUtime=94.05 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 270153 0 0 0 9347 58 0 0 20 0 9 0 559103834 785252352 56040 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 191712 56040 855 493 0 185017 0
[pid=20290/tid=20292] ppid=20287 vsize=766848 memory=279368161528432 CPUtime=11.64 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 31892 0 0 0 1160 4 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140533039037768 5397255 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=766848 memory=0 CPUtime=11.62 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 20631 0 0 0 1155 7 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140533030644248 5392384 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=766848 memory=0 CPUtime=11.64 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 32958 0 0 0 1159 5 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140533022251576 5397400 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=766848 memory=292418639 CPUtime=11.49 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 26252 0 0 0 1141 8 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140533013858840 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=766848 memory=0 CPUtime=11.65 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 28111 0 0 0 1157 8 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140533005466168 5009314 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=766848 memory=215 CPUtime=11.64 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 33906 0 0 0 1157 7 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140532997073432 5009206 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=766848 memory=214 CPUtime=11.64 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 27863 0 0 0 1160 4 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140532988680728 5397400 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=766848 memory=215 CPUtime=11.64 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 34056 0 0 0 1159 5 0 0 20 0 9 0 559103934 785252352 56040 33554432000 4194304 6211132 140735769527920 140532980288528 5009225 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 94.05 s
Current children cumulated vsize: 766848 KiB
Current children cumulated memory: 224160 KiB

[startup+25.5012 s]
/proc/loadavg: 7.93 8.23 8.38 9/201 20301
/proc/meminfo: memFree=31766556/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=766848 memory=224220 CPUtime=196.25 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 410571 0 0 0 19543 82 0 0 20 0 9 0 559103834 785252352 56055 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 191712 56055 855 493 0 185017 0
[pid=20290/tid=20292] ppid=20287 vsize=766848 memory=224192 CPUtime=24.45 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 50244 0 0 0 2437 8 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140533039037768 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=766848 memory=224220 CPUtime=24.42 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 31466 0 0 0 2432 10 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140533030644280 5165617 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=766848 memory=224192 CPUtime=24.43 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 51899 0 0 0 2435 8 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140533022251576 5397255 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=766848 memory=65 CPUtime=24.11 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 44485 0 0 0 2400 11 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140533013858840 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=766848 memory=10080 CPUtime=24.44 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 47894 0 0 0 2433 11 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140533005466216 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=766848 memory=988 CPUtime=24.44 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 56610 0 0 0 2434 10 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140532997073432 5397258 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=766848 memory=224172 CPUtime=24.43 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 44436 0 0 0 2437 6 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140532988680808 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=766848 memory=4420 CPUtime=24.45 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 49043 0 0 0 2437 8 0 0 20 0 9 0 559103934 785252352 56055 33554432000 4194304 6211132 140735769527920 140532980288528 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 196.25 s
Current children cumulated vsize: 766848 KiB
Current children cumulated memory: 224220 KiB


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

Current children cumulated CPU time: 1423.03 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 214488 KiB

[startup+182.401 s]
/proc/loadavg: 8.06 8.16 8.33 9/199 20311
/proc/meminfo: memFree=31776184/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=750460 memory=214508 CPUtime=1448.57 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 672946 0 0 0 144727 130 0 0 20 0 9 0 559103834 768471040 53627 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 187615 53627 855 493 0 180920 0
[pid=20290/tid=20292] ppid=20287 vsize=750460 memory=10080 CPUtime=181.25 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 85430 0 0 0 18112 13 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533039037568 5392352 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=750460 memory=214508 CPUtime=181.22 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 56204 0 0 0 18104 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533030644752 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=750460 memory=3600 CPUtime=181.24 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 84013 0 0 0 18110 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533022251704 5165649 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=750460 memory=214488 CPUtime=179.59 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 78406 0 0 0 17941 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533013859000 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=750460 memory=214488 CPUtime=180.55 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 85212 0 0 0 18038 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533005466640 5397343 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=750460 memory=2032 CPUtime=181.15 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 92910 0 0 0 18098 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532997073592 5112718 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=750460 memory=214508 CPUtime=181.24 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 73714 0 0 0 18113 11 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532988680888 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=750460 memory=2032 CPUtime=181.27 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 82563 0 0 0 18113 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532980288640 5397200 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 1448.57 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 214508 KiB

[startup+184.001 s]*
/proc/loadavg: 8.06 8.16 8.33 9/199 20311
/proc/meminfo: memFree=31776308/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=750460 memory=214508 CPUtime=1461.42 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 672951 0 0 0 146012 130 0 0 20 0 9 0 559103834 768471040 53627 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 187615 53627 855 493 0 180920 0
[pid=20290/tid=20292] ppid=20287 vsize=750460 memory=6935054825532540783 CPUtime=182.86 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 85430 0 0 0 18273 13 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533039037568 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=750460 memory=4126316290023845779 CPUtime=182.82 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 56204 0 0 0 18264 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533030644752 5397407 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=750460 memory=924 CPUtime=182.85 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 84013 0 0 0 18271 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533022251704 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=750460 memory=1548 CPUtime=181.17 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 78410 0 0 0 18099 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533013859000 5392352 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=750460 memory=1980 CPUtime=182.16 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 85213 0 0 0 18199 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533005466640 5409493 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=750460 memory=2500 CPUtime=182.76 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 92910 0 0 0 18259 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532997073592 5392293 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=750460 memory=1448 CPUtime=182.85 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 73714 0 0 0 18274 11 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532988680888 5397486 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=750460 memory=896 CPUtime=182.88 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 82563 0 0 0 18274 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532980288640 5392352 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 1461.42 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 214508 KiB

[startup+185.601 s]
/proc/loadavg: 8.05 8.16 8.32 9/199 20311
/proc/meminfo: memFree=31776348/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=750460 memory=214508 CPUtime=1474.13 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 672958 0 0 0 147283 130 0 0 20 0 9 0 559103834 768471040 53627 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 187615 53627 855 493 0 180920 0
[pid=20290/tid=20292] ppid=20287 vsize=750460 memory=214508 CPUtime=184.45 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 85430 0 0 0 18432 13 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533039037568 5165640 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=750460 memory=214476 CPUtime=184.41 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 56207 0 0 0 18423 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533030644752 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=750460 memory=214476 CPUtime=184.44 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 84013 0 0 0 18430 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533022251704 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=750460 memory=6935054825532540783 CPUtime=182.76 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 78412 0 0 0 18258 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533013859000 5392324 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=750460 memory=3960 CPUtime=183.75 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 85213 0 0 0 18358 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533005466640 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=750460 memory=10080 CPUtime=184.35 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 92912 0 0 0 18418 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532997073592 5008831 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=750460 memory=988 CPUtime=184.44 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 73714 0 0 0 18433 11 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532988680888 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=750460 memory=6935054825532540783 CPUtime=184.47 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 82563 0 0 0 18433 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532980288640 5008971 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 1474.13 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 214508 KiB

[startup+186.001 s]*
/proc/loadavg: 8.05 8.16 8.32 9/199 20311
/proc/meminfo: memFree=31776348/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=750460 memory=214508 CPUtime=1477.39 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 672958 0 0 0 147609 130 0 0 20 0 9 0 559103834 768471040 53627 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 187615 53627 855 493 0 180920 0
[pid=20290/tid=20292] ppid=20287 vsize=750460 memory=6935054825532540783 CPUtime=184.86 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 85430 0 0 0 18473 13 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533039037568 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=750460 memory=4126316290023845779 CPUtime=184.8 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 56207 0 0 0 18462 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533030644752 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=750460 memory=14012 CPUtime=184.85 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 84013 0 0 0 18471 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533022251704 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=750460 memory=5280 CPUtime=183.17 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 78412 0 0 0 18299 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533013859000 5390116 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=750460 memory=2124 CPUtime=184.16 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 85213 0 0 0 18399 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533005466640 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=750460 memory=1040 CPUtime=184.75 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 92912 0 0 0 18458 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532997073592 5390448 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=750460 memory=2832 CPUtime=184.85 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 73714 0 0 0 18474 11 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532988680888 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=750460 memory=1224 CPUtime=184.88 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 82563 0 0 0 18474 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532980288640 5390476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 1477.39 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 214508 KiB

[startup+186.201 s]
/proc/loadavg: 8.05 8.16 8.32 9/199 20311
/proc/meminfo: memFree=31776348/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=750460 memory=214508 CPUtime=1478.92 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 672958 0 0 0 147762 130 0 0 20 0 9 0 559103834 768471040 53627 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 187615 53627 855 493 0 180920 0
[pid=20290/tid=20292] ppid=20287 vsize=750460 memory=5280 CPUtime=185.05 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 85430 0 0 0 18492 13 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533039037568 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=750460 memory=2124 CPUtime=184.99 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 56207 0 0 0 18481 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533030644752 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=750460 memory=11800 CPUtime=185.04 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 84013 0 0 0 18490 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533022251704 5008827 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=750460 memory=500 CPUtime=183.36 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 78412 0 0 0 18318 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533013859000 5165670 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=750460 memory=3960 CPUtime=184.35 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 85213 0 0 0 18418 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533005466640 5392384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=750460 memory=7312 CPUtime=184.95 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 92912 0 0 0 18478 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532997073592 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=750460 memory=1680 CPUtime=185.04 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 73714 0 0 0 18493 11 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532988680888 5186344 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=750460 memory=1064 CPUtime=185.07 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 82563 0 0 0 18493 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532980288640 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 1478.92 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 214508 KiB

[startup+186.301 s]
/proc/loadavg: 8.05 8.16 8.32 9/199 20311
/proc/meminfo: memFree=31776348/32770624 swapFree=66947700/67108860
[pid=20290] ppid=20287 vsize=750460 memory=214508 CPUtime=1479.72 cores=0-7
/proc/20290/stat : 20290 (cosoco) S 20287 20290 18405 0 -1 1077944320 673016 0 0 0 147842 130 0 0 20 0 9 0 559103834 768471040 53627 33554432000 4194304 6211132 140735769527920 140735769526176 140533062180599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
/proc/20290/statm: 187615 53627 855 493 0 180920 0
[pid=20290/tid=20292] ppid=20287 vsize=750460 memory=3600 CPUtime=185.15 cores=0-7
/proc/20290/task/20292/stat : 20292 (cosoco) R 20287 20290 18405 0 -1 4202560 85435 0 0 0 18502 13 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533039037568 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20293] ppid=20287 vsize=750460 memory=1420 CPUtime=185.09 cores=0-7
/proc/20290/task/20293/stat : 20293 (cosoco) R 20287 20290 18405 0 -1 4202560 56235 0 0 0 18491 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533030645008 5008831 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20294] ppid=20287 vsize=750460 memory=214508 CPUtime=185.14 cores=0-7
/proc/20290/task/20294/stat : 20294 (cosoco) R 20287 20290 18405 0 -1 4202560 84032 0 0 0 18500 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533022251704 5392378 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20295] ppid=20287 vsize=750460 memory=214440 CPUtime=183.46 cores=0-7
/proc/20290/task/20295/stat : 20295 (cosoco) R 20287 20290 18405 0 -1 4202560 78413 0 0 0 18328 18 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533013859000 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20296] ppid=20287 vsize=750460 memory=214476 CPUtime=184.45 cores=0-7
/proc/20290/task/20296/stat : 20296 (cosoco) R 20287 20290 18405 0 -1 4202560 85213 0 0 0 18428 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140533005466640 5397504 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20297] ppid=20287 vsize=750460 memory=214488 CPUtime=185.05 cores=0-7
/proc/20290/task/20297/stat : 20297 (cosoco) R 20287 20290 18405 0 -1 4202560 92912 0 0 0 18488 17 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532997073592 5397281 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20298] ppid=20287 vsize=750460 memory=214508 CPUtime=185.14 cores=0-7
/proc/20290/task/20298/stat : 20298 (cosoco) R 20287 20290 18405 0 -1 4202560 73719 0 0 0 18503 11 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532988680888 5009098 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
[pid=20290/tid=20299] ppid=20287 vsize=750460 memory=214508 CPUtime=185.17 cores=0-7
/proc/20290/task/20299/stat : 20299 (cosoco) R 20287 20290 18405 0 -1 4202560 82563 0 0 0 18503 14 0 0 20 0 9 0 559103934 768471040 53627 33554432000 4194304 6211132 140735769527920 140532980288640 5392371 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11337728 140735769535510 140735769535602 140735769535602 140735769538510 0
Current children cumulated CPU time: 1479.72 s
Current children cumulated vsize: 750460 KiB
Current children cumulated memory: 214508 KiB

Child status: 0
Real time (s): 186.35
CPU time (s): 1480.05
CPU user time (s): 1478.74
CPU system time (s): 1.314
CPU usage (%): 794.235
Max. virtual memory (cumulated for all children) (KiB): 820128
Max. memory (cumulated for all children) (KiB): 256028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1478.74
system time used= 1.314
maximum resident set size= 259348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673108
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= 7968
involuntary context switches= 12343


# summary of solver processes directly reported to runsolver:
#   pid: 20290
#   total CPU time (s): 1480.05
#   total CPU user time (s): 1478.74
#   total CPU system time (s): 1.314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.868069 second user time and 1.74314 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	233.796
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 4409992

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
