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.O parallel	SAT (TO)	12	2009.8	252.024
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 (14368 MiB free)
  memory of node 1: 16384 MiB (15505 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398601-1568607037/watcher-4398601-1568607037 -o /tmp/evaluation-result-4398601-1568607037/solver-4398601-1568607037 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568596704-22922 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398601-1568607037.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
Current StackSize limit: 8192 KiB
solver pid=24517, runsolver pid=24514


[startup+0.100153 s]*
/proc/loadavg: 7.77 8.15 8.21 2/191 24518
/proc/meminfo: memFree=30560292/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=58940 memory=35104 CPUtime=0.1 cores=0-7
/proc/24517/stat : 24517 (cosoco) R 24514 24517 22895 0 -1 4202496 9001 0 0 0 9 1 0 0 20 0 1 0 436970500 60354560 8776 33554432000 4194304 6211092 140737066441232 140737066437768 139826931891173 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 14735 8776 821 493 0 8040 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58940 KiB
Current children cumulated memory: 35104 KiB

[startup+0.209135 s]*
/proc/loadavg: 7.77 8.15 8.21 2/191 24518
/proc/meminfo: memFree=30543552/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=75308 memory=51736 CPUtime=0.2 cores=0-7
/proc/24517/stat : 24517 (cosoco) R 24514 24517 22895 0 -1 4202496 13105 0 0 0 19 1 0 0 20 0 1 0 436970500 77115392 12934 33554432000 4194304 6211092 140737066441232 140737066437768 139826932351980 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 18860 12934 821 493 0 12165 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75308 KiB
Current children cumulated memory: 51736 KiB

[startup+0.311432 s]*
/proc/loadavg: 7.77 8.15 8.21 6/199 24526
/proc/meminfo: memFree=30529152/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=678228 memory=64972 CPUtime=0.38 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 16433 0 0 0 36 2 0 0 20 0 9 0 436970500 694505472 16243 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 169557 16243 864 493 0 162862 0
[pid=24517/tid=24519] ppid=24514 vsize=678228 memory=288355116380323867 CPUtime=0 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826924788920 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=678228 memory=288230604657664836 CPUtime=0.01 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826916396216 5392352 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=678228 memory=288370976519837568 CPUtime=0.01 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826908003512 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=678228 memory=1834 CPUtime=0.01 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826899610808 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=678228 memory=0 CPUtime=0 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826891218104 5392320 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=678228 memory=0 CPUtime=0.01 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826882825400 5392320 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=678228 memory=-1 CPUtime=0.01 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826874432696 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=678228 memory=0 CPUtime=0 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 436970530 694505472 16243 33554432000 4194304 6211092 140737066441232 139826866039992 139826931891173 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 678228 KiB
Current children cumulated memory: 64972 KiB

[startup+0.700506 s]
/proc/loadavg: 7.77 8.15 8.21 9/199 24526
/proc/meminfo: memFree=30528224/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=700780 memory=128376 CPUtime=3.25 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 35065 0 0 0 318 7 0 0 20 0 9 0 436970500 717598720 32094 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 175195 32094 872 493 0 168500 0
[pid=24517/tid=24519] ppid=24514 vsize=700780 memory=0 CPUtime=0.36 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 2316 0 0 0 36 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826924788504 139826931886910 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=700780 memory=140600250848369 CPUtime=0.36 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 2006 0 0 0 36 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826916395656 139826931886910 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=700780 memory=6944656592455360604 CPUtime=0.37 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) D 24514 24517 22895 0 -1 4202560 2374 0 0 0 37 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826908003192 139826931891173 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=700780 memory=0 CPUtime=0.36 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 1941 0 0 0 36 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826899610344 139826931886910 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=700780 memory=0 CPUtime=0.35 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 2568 0 0 0 35 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826891217784 139826931891173 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=700780 memory=0 CPUtime=0.36 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 2609 0 0 0 36 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826882825080 139826931891173 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=700780 memory=0 CPUtime=0.36 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 2595 0 0 0 36 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826874432280 139826931886910 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=700780 memory=1060 CPUtime=0.34 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 2268 0 0 0 34 0 0 0 20 0 9 0 436970530 717598720 32094 33554432000 4194304 6211092 140737066441232 139826866039576 139826931886910 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 700780 KiB
Current children cumulated memory: 128376 KiB

[startup+1.50092 s]
/proc/loadavg: 7.77 8.15 8.21 9/199 24526
/proc/meminfo: memFree=30378084/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=215132 CPUtime=9.05 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 66748 0 0 0 885 20 0 0 20 0 9 0 436970500 728068096 53783 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 53783 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=0 CPUtime=1.06 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 5686 0 0 0 105 1 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826924788752 5392320 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=0 CPUtime=1.09 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 7585 0 0 0 108 1 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826916396048 5392269 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=140600368126769 CPUtime=1.09 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 6002 0 0 0 107 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826908003656 5392343 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=0 CPUtime=1.09 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 7970 0 0 0 107 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826899610640 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=3184238520326814576 CPUtime=1.09 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 5882 0 0 0 107 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826891218248 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=3472468896478548640 CPUtime=1.08 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 5282 0 0 0 107 1 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826882825544 5392265 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=984 CPUtime=1.09 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 6754 0 0 0 108 1 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826874432840 5392265 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=2004 CPUtime=1.05 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 5178 0 0 0 103 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826866040136 5392265 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 215132 KiB

[startup+3.11892 s]
/proc/loadavg: 7.77 8.15 8.21 9/199 24526
/proc/meminfo: memFree=30379956/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=215132 CPUtime=21.97 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 67110 0 0 0 2177 20 0 0 20 0 9 0 436970500 728068096 53783 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 53783 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=129 CPUtime=2.68 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 5686 0 0 0 267 1 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826924788752 5392281 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=140604663092863 CPUtime=2.71 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 7585 0 0 0 270 1 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826916396048 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=0 CPUtime=2.71 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 6002 0 0 0 269 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826908003656 5392261 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=0 CPUtime=2.71 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 8027 0 0 0 269 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826899610640 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=44892 CPUtime=2.71 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 6041 0 0 0 269 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826891218248 5392269 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=33 CPUtime=2.71 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 5407 0 0 0 269 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826882825544 5008918 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=-1664385933527490352 CPUtime=2.71 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 6754 0 0 0 270 1 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826874432840 5392265 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=3620 CPUtime=2.65 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 5199 0 0 0 263 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826866040136 5009189 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 21.97 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 215132 KiB

[startup+6.30092 s]
/proc/loadavg: 7.71 8.13 8.20 9/199 24526
/proc/meminfo: memFree=30379848/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=215132 CPUtime=47.39 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 106229 0 0 0 4714 25 0 0 20 0 9 0 436970500 728068096 53783 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 53783 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=6944656575208382560 CPUtime=5.86 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 9917 0 0 0 584 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826924788752 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=140604663092863 CPUtime=5.89 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 13494 0 0 0 587 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826916396048 5008971 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=215132 CPUtime=5.9 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 10986 0 0 0 587 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826908003656 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=3620 CPUtime=5.89 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 13984 0 0 0 587 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826899610640 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=1720 CPUtime=5.89 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 9682 0 0 0 586 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826891218248 5397375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=5944 CPUtime=5.89 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 10327 0 0 0 587 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826882825544 5390444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=215132 CPUtime=5.89 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 11983 0 0 0 587 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826874432840 5009317 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=215132 CPUtime=5.79 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 9447 0 0 0 576 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826866040136 5392261 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 47.39 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 215132 KiB

[startup+12.7009 s]
/proc/loadavg: 7.73 8.13 8.20 9/200 24535
/proc/meminfo: memFree=30379392/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=215132 CPUtime=98.47 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 132729 0 0 0 9819 28 0 0 20 0 9 0 436970500 728068096 53783 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 53783 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=215132 CPUtime=12.26 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 13699 0 0 0 1223 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826924788752 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=0 CPUtime=12.29 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 16935 0 0 0 1226 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826916396048 5392261 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=-6280613099765721194 CPUtime=12.3 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 14272 0 0 0 1227 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826908003656 5193699 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=0 CPUtime=12.27 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 17726 0 0 0 1225 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826899610640 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=215132 CPUtime=12.28 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 12689 0 0 0 1225 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826891218248 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=215132 CPUtime=12.29 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 13406 0 0 0 1226 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826882825544 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=1208 CPUtime=12.29 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 15200 0 0 0 1227 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826874432840 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0

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

/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 16144 0 0 0 2506 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826908003656 5392349 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=22572 CPUtime=25.08 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 19066 0 0 0 2505 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826899610640 5409431 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=2120 CPUtime=25.08 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 14125 0 0 0 2505 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826891218248 5392261 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=599 CPUtime=25.08 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 15402 0 0 0 2505 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826882825544 5392265 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=589 CPUtime=25.09 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 17046 0 0 0 2507 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826874432840 5008918 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=215132 CPUtime=24.75 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 13887 0 0 0 2472 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826866040136 5397375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 200.71 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 215132 KiB

[startup+51.1189 s]
/proc/loadavg: 7.86 8.12 8.19 9/200 24536
/proc/meminfo: memFree=30380352/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=215132 CPUtime=405.34 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 172168 0 0 0 40501 33 0 0 20 0 9 0 436970500 728068096 53783 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 53783 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=215132 CPUtime=50.67 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 18427 0 0 0 5064 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826924788752 5392292 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=281200502529024 CPUtime=50.71 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 22960 0 0 0 5068 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826916396048 5392261 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=3620 CPUtime=50.71 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 19898 0 0 0 5067 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826908003656 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=44896 CPUtime=50.69 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 21415 0 0 0 5066 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826899610640 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=215132 CPUtime=50.71 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 16747 0 0 0 5067 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826891218248 5392269 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=215132 CPUtime=50.7 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 19379 0 0 0 5066 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826882825544 5392343 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=215132 CPUtime=50.7 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 19437 0 0 0 5068 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826874432840 5392261 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=1556 CPUtime=50.07 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 17496 0 0 0 5003 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826866040136 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 405.34 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 215132 KiB

[startup+102.301 s]
/proc/loadavg: 7.99 8.11 8.19 9/200 24540
/proc/meminfo: memFree=30380328/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=215132 CPUtime=814.04 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 204826 0 0 0 81367 37 0 0 20 0 9 0 436970500 728068096 53783 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 53783 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=0 CPUtime=101.84 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 23090 0 0 0 10180 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826924788752 5397375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=215132 CPUtime=101.87 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 27308 0 0 0 10184 3 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826916396048 5392261 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=281200502009232 CPUtime=101.88 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 24419 0 0 0 10184 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826908003656 5392352 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=3620 CPUtime=101.86 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 24758 0 0 0 10182 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826899610640 5009314 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=164 CPUtime=101.87 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 20993 0 0 0 10183 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826891218248 5392261 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=140604663092863 CPUtime=101.85 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 23740 0 0 0 10181 4 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826882825544 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=215132 CPUtime=101.74 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 22630 0 0 0 10172 2 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826874432840 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=215132 CPUtime=100.73 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 21479 0 0 0 10068 5 0 0 20 0 9 0 436970530 728068096 53783 33554432000 4194304 6211092 140737066441232 139826866040136 5165621 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 814.04 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 215132 KiB

[startup+162.301 s]
/proc/loadavg: 8.06 8.11 8.18 9/200 24543
/proc/meminfo: memFree=30380312/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=215308 CPUtime=1293.21 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 208539 0 0 0 129284 37 0 0 20 0 9 0 436970500 728068096 53827 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 53827 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=215272 CPUtime=161.83 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 23316 0 0 0 16179 4 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826924788752 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=215272 CPUtime=161.86 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 28056 0 0 0 16183 3 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826916396048 5397352 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=215272 CPUtime=161.31 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 24894 0 0 0 16126 5 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826908003656 5392320 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=215272 CPUtime=161.84 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 25412 0 0 0 16180 4 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826899610640 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=210668145917848 CPUtime=161.76 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 21257 0 0 0 16172 4 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826891218248 5392265 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=215308 CPUtime=161.84 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 24289 0 0 0 16180 4 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826882825544 5392343 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=215272 CPUtime=161.64 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 23126 0 0 0 16162 2 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826874432840 5392708 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=215236 CPUtime=160.73 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 21780 0 0 0 16068 5 0 0 20 0 9 0 436970530 728068096 53827 33554432000 4194304 6211092 140737066441232 139826866040136 5409439 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 1293.21 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 215308 KiB

[startup+222.301 s]
/proc/loadavg: 8.33 8.17 8.20 9/200 24546
/proc/meminfo: memFree=30378268/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=216800 CPUtime=1772.42 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 211973 0 0 0 177204 38 0 0 20 0 9 0 436970500 728068096 54200 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 54200 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=3620 CPUtime=221.82 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 23545 0 0 0 22178 4 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826924788752 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=216800 CPUtime=221.84 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 28612 0 0 0 22181 3 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826916396048 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=216736 CPUtime=220.82 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 25232 0 0 0 22077 5 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826908003656 5392261 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=216736 CPUtime=221.84 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 25699 0 0 0 22180 4 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826899610640 5392265 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=216800 CPUtime=221.74 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 21595 0 0 0 22170 4 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826891218248 5390468 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=216800 CPUtime=221.6 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 24833 0 0 0 22155 5 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826882825544 5165610 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=216800 CPUtime=221.64 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 23604 0 0 0 22162 2 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826874432840 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=216800 CPUtime=220.73 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 22444 0 0 0 22068 5 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826866040136 5112713 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 1772.42 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 216800 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.59 8.25 8.22 9/200 24549
/proc/meminfo: memFree=30381976/32770624 swapFree=66967340/67108860
[pid=24517] ppid=24514 vsize=711004 memory=216800 CPUtime=2009.7 cores=0-7
/proc/24517/stat : 24517 (cosoco) S 24514 24517 22895 0 -1 1077944320 212000 0 0 0 200932 38 0 0 20 0 9 0 436970500 728068096 54200 33554432000 4194304 6211092 140737066441232 140737066439488 139826947931895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
/proc/24517/statm: 177751 54200 873 493 0 171056 0
[pid=24517/tid=24519] ppid=24514 vsize=711004 memory=1720 CPUtime=251.53 cores=0-7
/proc/24517/task/24519/stat : 24519 (cosoco) R 24514 24517 22895 0 -1 4202560 23553 0 0 0 25149 4 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826924788752 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24520] ppid=24514 vsize=711004 memory=5944 CPUtime=251.55 cores=0-7
/proc/24517/task/24520/stat : 24520 (cosoco) R 24514 24517 22895 0 -1 4202560 28612 0 0 0 25152 3 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826916396048 5112713 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24521] ppid=24514 vsize=711004 memory=10564 CPUtime=250.51 cores=0-7
/proc/24517/task/24521/stat : 24521 (cosoco) R 24514 24517 22895 0 -1 4202560 25232 0 0 0 25046 5 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826908003656 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24522] ppid=24514 vsize=711004 memory=-7003737579269690708 CPUtime=251.55 cores=0-7
/proc/24517/task/24522/stat : 24522 (cosoco) R 24514 24517 22895 0 -1 4202560 25709 0 0 0 25151 4 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826899610640 5392261 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24523] ppid=24514 vsize=711004 memory=288230583166042426 CPUtime=251.45 cores=0-7
/proc/24517/task/24523/stat : 24523 (cosoco) R 24514 24517 22895 0 -1 4202560 21595 0 0 0 25141 4 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826891218248 5392261 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24524] ppid=24514 vsize=711004 memory=15537410121404135 CPUtime=250.95 cores=0-7
/proc/24517/task/24524/stat : 24524 (cosoco) R 24514 24517 22895 0 -1 4202560 24837 0 0 0 25090 5 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826882825544 5396740 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24525] ppid=24514 vsize=711004 memory=940 CPUtime=251.35 cores=0-7
/proc/24517/task/24525/stat : 24525 (cosoco) R 24514 24517 22895 0 -1 4202560 23609 0 0 0 25133 2 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826874432840 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
[pid=24517/tid=24526] ppid=24514 vsize=711004 memory=14008 CPUtime=250.44 cores=0-7
/proc/24517/task/24526/stat : 24526 (cosoco) R 24514 24517 22895 0 -1 4202560 22444 0 0 0 25039 5 0 0 20 0 9 0 436970530 728068096 54200 33554432000 4194304 6211092 140737066441232 139826866040136 5392261 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41775104 140737066443798 140737066443890 140737066443890 140737066446798 0
Current children cumulated CPU time: 2009.7 s
Current children cumulated vsize: 711004 KiB
Current children cumulated memory: 216800 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.024 s]
# the end of solver process 24517 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2009.41 s, system=0.389836 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 252.024
CPU time (s): 2009.8
CPU user time (s): 2009.41
CPU system time (s): 0.389836
CPU usage (%): 797.465
Max. virtual memory (cumulated for all children) (KiB): 743796
Max. memory (cumulated for all children) (KiB): 240272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2009.41
system time used= 0.389836
maximum resident set size= 240272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212050
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= 26550
involuntary context switches= 16669


# summary of solver processes directly reported to runsolver:
#   pid: 24517
#   total CPU time (s): 2009.8
#   total CPU user time (s): 2009.41
#   total CPU system time (s): 0.389836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1178 second user time and 1.94502 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4398601

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
