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

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco 2.0 parallel	SAT (TO)	12	20124.2	2520.02
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 (15112 MiB free)
  memory of node 1: 16384 MiB (15646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409561-1569818837/watcher-4409561-1569818837 -o /tmp/evaluation-result-4409561-1569818837/solver-4409561-1569818837 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569816268-30830 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409561-1569818837.xml 

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

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


[startup+0.100162 s]*
/proc/loadavg: 7.71 8.17 7.86 2/191 31257
/proc/meminfo: memFree=31466716/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=59336 memory=35632 CPUtime=0.1 cores=0-7
/proc/31256/stat : 31256 (cosoco) R 31253 31256 30803 0 -1 4202496 9098 0 0 0 9 1 0 0 20 0 1 0 558151378 60760064 8908 33554432000 4194304 6211132 140730466881408 140730466877944 139773851679717 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 14834 8908 821 493 0 8139 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59336 KiB
Current children cumulated memory: 35632 KiB

[startup+0.209366 s]*
/proc/loadavg: 7.71 8.17 7.86 2/191 31257
/proc/meminfo: memFree=31449976/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=75968 memory=52264 CPUtime=0.21 cores=0-7
/proc/31256/stat : 31256 (cosoco) R 31253 31256 30803 0 -1 4202496 13246 0 0 0 19 2 0 0 20 0 1 0 558151378 77791232 13066 33554432000 4194304 6211132 140730466881408 140730466877944 139773851679717 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 18992 13066 821 493 0 12297 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75968 KiB
Current children cumulated memory: 52264 KiB

[startup+0.318337 s]*
/proc/loadavg: 7.71 8.17 7.86 9/199 31265
/proc/meminfo: memFree=31435948/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=678228 memory=64936 CPUtime=0.47 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 16472 0 0 0 45 2 0 0 20 0 9 0 558151378 694505472 16234 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 169557 16234 864 493 0 162862 0
[pid=31256/tid=31258] ppid=31253 vsize=678228 memory=1398722017469774279 CPUtime=0.02 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773844577464 5165636 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773836185184 139773851748907 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773827792056 139773851679717 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773819399776 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773811006648 139773851679717 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773802614368 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773794221664 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=678228 memory=0 CPUtime=0.01 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 9 0 558151408 694505472 16234 33554432000 4194304 6211132 140730466881408 139773785828536 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 678228 KiB
Current children cumulated memory: 64936 KiB

[startup+0.700925 s]
/proc/loadavg: 7.71 8.17 7.86 9/199 31265
/proc/meminfo: memFree=31434776/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=700784 memory=120760 CPUtime=3.34 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 32217 0 0 0 328 6 0 0 20 0 9 0 558151378 717602816 30190 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 175196 30190 872 493 0 168501 0
[pid=31256/tid=31258] ppid=31253 vsize=700784 memory=2836 CPUtime=0.38 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) D 31253 31256 30803 0 -1 4202560 2242 0 0 0 38 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773844577144 139773851675454 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=700784 memory=1540 CPUtime=0.37 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) D 31253 31256 30803 0 -1 4202560 1745 0 0 0 37 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773836184200 139773851675454 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=700784 memory=1732 CPUtime=0.38 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) D 31253 31256 30803 0 -1 4202560 2295 0 0 0 38 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773827791736 139773851675454 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=700784 memory=6172 CPUtime=0.37 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) D 31253 31256 30803 0 -1 4202560 1951 0 0 0 37 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773819399032 139773851679717 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=700784 memory=772 CPUtime=0.38 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 1942 0 0 0 38 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773811006328 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=700784 memory=139688455005823 CPUtime=0.38 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) D 31253 31256 30803 0 -1 4202560 1874 0 0 0 38 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773802613624 139773851675454 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=700784 memory=5788345327976277333 CPUtime=0.38 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) D 31253 31256 30803 0 -1 4202560 2009 0 0 0 38 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773794220920 139773851679717 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=700784 memory=7007707949394126417 CPUtime=0.34 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 1749 0 0 0 34 0 0 0 20 0 9 0 558151408 717602816 30190 33554432000 4194304 6211132 140730466881408 139773785828216 139773852155479 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 3.34 s
Current children cumulated vsize: 700784 KiB
Current children cumulated memory: 120760 KiB

[startup+1.50133 s]
/proc/loadavg: 7.71 8.17 7.86 9/199 31265
/proc/meminfo: memFree=31318108/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181600 CPUtime=9.45 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 62939 0 0 0 928 17 0 0 20 0 9 0 558151378 711286784 45400 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45400 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=0 CPUtime=1.12 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 5167 0 0 0 111 1 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773844577608 5396441 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=1764 CPUtime=1.14 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 7421 0 0 0 112 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773836184592 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=111628 CPUtime=1.14 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 5383 0 0 0 112 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773827792200 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=53156 CPUtime=1.14 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 5192 0 0 0 113 1 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773819399496 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=279368027240352 CPUtime=1.14 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 5066 0 0 0 112 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773811006792 5392293 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=139684013616624 CPUtime=1.15 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 6299 0 0 0 113 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773802614088 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=6656426216303648864 CPUtime=1.13 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 6700 0 0 0 113 0 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773794221072 5392293 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=0 CPUtime=1.12 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 5301 0 0 0 110 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773785828680 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 9.45 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181600 KiB

[startup+3.10933 s]
/proc/loadavg: 7.73 8.17 7.86 9/199 31265
/proc/meminfo: memFree=31318356/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181600 CPUtime=22.29 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 63077 0 0 0 2212 17 0 0 20 0 9 0 558151378 711286784 45400 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45400 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=0 CPUtime=2.71 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 5167 0 0 0 270 1 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773844577608 5392293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=0 CPUtime=2.75 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 7421 0 0 0 273 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773836184592 5008958 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=0 CPUtime=2.75 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 5383 0 0 0 273 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773827792200 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=0 CPUtime=2.75 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 5267 0 0 0 274 1 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773819399496 5392384 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=0 CPUtime=2.75 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 5070 0 0 0 273 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773811006792 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=0 CPUtime=2.76 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 6336 0 0 0 274 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773802614088 5392293 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=0 CPUtime=2.74 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 6700 0 0 0 274 0 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773794221072 5392378 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=0 CPUtime=2.73 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 5323 0 0 0 271 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773785828680 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 22.29 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181600 KiB

[startup+6.30133 s]
/proc/loadavg: 7.73 8.17 7.86 9/199 31265
/proc/meminfo: memFree=31318976/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181600 CPUtime=47.79 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 102488 0 0 0 4757 22 0 0 20 0 9 0 558151378 711286784 45400 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45400 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=181600 CPUtime=5.86 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 10544 0 0 0 584 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773844577608 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=139688455005823 CPUtime=5.93 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 12655 0 0 0 591 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773836184592 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=928 CPUtime=5.94 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 8932 0 0 0 592 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773827792200 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=1688 CPUtime=5.94 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 9536 0 0 0 593 1 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773819399496 5008971 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=3620 CPUtime=5.95 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 10166 0 0 0 592 3 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773811006792 5112713 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=0 CPUtime=5.94 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 12525 0 0 0 592 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773802614088 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=0 CPUtime=5.93 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 11745 0 0 0 592 1 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773794221072 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=0 CPUtime=5.92 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 9975 0 0 0 590 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773785828680 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 47.79 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181600 KiB

[startup+12.7013 s]
/proc/loadavg: 7.75 8.17 7.86 9/200 31267
/proc/meminfo: memFree=31318380/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181600 CPUtime=98.9 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 129254 0 0 0 9864 26 0 0 20 0 9 0 558151378 711286784 45400 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45400 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=181600 CPUtime=12.18 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 13751 0 0 0 1216 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773844577608 5165656 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=1123 CPUtime=12.34 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 16597 0 0 0 1231 3 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773836184592 5165712 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=1122 CPUtime=12.34 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 11640 0 0 0 1231 3 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773827792200 5409493 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=181600 CPUtime=12.34 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 13173 0 0 0 1232 2 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773819399496 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=181600 CPUtime=12.34 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 13013 0 0 0 1231 3 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773811006792 5392293 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=181600 CPUtime=12.34 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 16618 0 0 0 1231 3 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773802614088 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=2372 CPUtime=12.33 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 15209 0 0 0 1232 1 0 0 20 0 9 0 558151408 711286784 45400 33554432000 4194304 6211132 140730466881408 139773794221072 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0

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

/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 26716 0 0 0 226158 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773827792200 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=181856 CPUtime=2261.69 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 27486 0 0 0 226165 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773819399496 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=181856 CPUtime=2261.61 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 28554 0 0 0 226156 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773811006792 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=181856 CPUtime=2260.07 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 36455 0 0 0 226002 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773802614088 5392297 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=10472 CPUtime=2261.56 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 31284 0 0 0 226152 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773794221072 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=984 CPUtime=2257.79 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 28511 0 0 0 225773 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773785828680 5392747 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 18065.9 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181856 KiB

[startup+2322.3 s]
/proc/loadavg: 8.06 8.22 8.20 9/199 31462
/proc/meminfo: memFree=31321932/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181856 CPUtime=18545.1 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 258661 0 0 0 1854461 48 0 0 20 0 9 0 558151378 711286784 45464 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45464 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=6935054825532540783 CPUtime=2317.85 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 28363 0 0 0 231780 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773844577608 5392272 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=181856 CPUtime=2303.3 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 34209 0 0 0 230324 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773836184592 5392384 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=181856 CPUtime=2321.62 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 26840 0 0 0 232156 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773827792200 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=181856 CPUtime=2321.67 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 27566 0 0 0 232163 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773819399496 5392297 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=181856 CPUtime=2321.61 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 28728 0 0 0 232156 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773811006792 5392352 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=181856 CPUtime=2320.06 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 36572 0 0 0 232001 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773802614088 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=181856 CPUtime=2321.55 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 31344 0 0 0 232151 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773794221072 5165755 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=181856 CPUtime=2317.05 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 28629 0 0 0 231699 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773785828680 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 18545.1 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181856 KiB

[startup+2382.3 s]
/proc/loadavg: 8.02 8.18 8.19 9/199 31465
/proc/meminfo: memFree=31321760/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181856 CPUtime=19024.3 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 259571 0 0 0 1902383 48 0 0 20 0 9 0 558151378 711286784 45464 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45464 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=3620 CPUtime=2377.85 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 28441 0 0 0 237780 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773844577608 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=181856 CPUtime=2363.29 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 34327 0 0 0 236323 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773836184592 5392293 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=181856 CPUtime=2381.62 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 26956 0 0 0 238156 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773827792200 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=181856 CPUtime=2381.67 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 27686 0 0 0 238163 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773819399496 5392297 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=181856 CPUtime=2381.6 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 28864 0 0 0 238155 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773811006792 5397414 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=0 CPUtime=2380.05 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 36698 0 0 0 238000 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773802614088 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=6409 CPUtime=2381.54 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 31475 0 0 0 238150 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773794221072 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=181856 CPUtime=2376.31 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 28714 0 0 0 237625 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773785828680 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 19024.3 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181856 KiB

[startup+2442.3 s]
/proc/loadavg: 8.01 8.14 8.18 9/200 31470
/proc/meminfo: memFree=31321352/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181856 CPUtime=19503.5 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 260478 0 0 0 1950304 48 0 0 20 0 9 0 558151378 711286784 45464 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45464 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=181856 CPUtime=2437.85 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 28554 0 0 0 243780 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773844577608 5392293 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=181856 CPUtime=2423.29 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 34453 0 0 0 242323 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773836184592 5392297 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=181856 CPUtime=2441.61 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 27070 0 0 0 244155 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773827792200 5392282 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=181856 CPUtime=2441.66 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 27777 0 0 0 244162 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773819399496 5397267 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=181856 CPUtime=2441.59 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 28961 0 0 0 244154 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773811006792 5397384 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=181856 CPUtime=2440.05 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 36840 0 0 0 244000 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773802614088 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=181856 CPUtime=2441.53 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 31549 0 0 0 244149 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773794221072 5008971 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=181856 CPUtime=2435.56 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 28864 0 0 0 243550 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773785828680 5392324 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 19503.5 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181856 KiB

[startup+2502.3 s]
/proc/loadavg: 8.00 8.12 8.17 9/199 31496
/proc/meminfo: memFree=31321960/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181856 CPUtime=19982.7 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 261391 0 0 0 1998221 48 0 0 20 0 9 0 558151378 711286784 45464 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45464 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=1060 CPUtime=2497.84 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 28620 0 0 0 249779 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773844577608 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=0 CPUtime=2483.29 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 34574 0 0 0 248323 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773836184592 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=181856 CPUtime=2501.59 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 27207 0 0 0 250153 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773827792200 5392293 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=740 CPUtime=2501.65 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 27953 0 0 0 250161 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773819399496 5008816 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=181856 CPUtime=2501.58 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 29052 0 0 0 250153 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773811006792 5392293 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=181856 CPUtime=2500.05 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 36931 0 0 0 250000 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773802614088 5392301 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=181856 CPUtime=2501.52 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 31682 0 0 0 250148 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773794221072 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=181856 CPUtime=2494.8 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 28962 0 0 0 249474 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773785828680 5409463 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 19982.7 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181856 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.00 8.11 8.17 9/199 31497
/proc/meminfo: memFree=31321612/32770624 swapFree=66997716/67108860
[pid=31256] ppid=31253 vsize=694616 memory=181856 CPUtime=20124.1 cores=0-7
/proc/31256/stat : 31256 (cosoco) S 31253 31256 30803 0 -1 1077944320 261401 0 0 0 2012365 48 0 0 20 0 9 0 558151378 711286784 45464 33554432000 4194304 6211132 140730466881408 140730466879664 139773867720439 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
/proc/31256/statm: 173654 45464 873 493 0 166959 0
[pid=31256/tid=31258] ppid=31253 vsize=694616 memory=4132 CPUtime=2515.55 cores=0-7
/proc/31256/task/31258/stat : 31258 (cosoco) R 31253 31256 30803 0 -1 4202560 28620 0 0 0 251550 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773844577608 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31259] ppid=31253 vsize=694616 memory=1408 CPUtime=2500.99 cores=0-7
/proc/31256/task/31259/stat : 31259 (cosoco) R 31253 31256 30803 0 -1 4202560 34574 0 0 0 250093 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773836184592 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31260] ppid=31253 vsize=694616 memory=1398722017469774279 CPUtime=2519.29 cores=0-7
/proc/31256/task/31260/stat : 31260 (cosoco) R 31253 31256 30803 0 -1 4202560 27207 0 0 0 251923 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773827792200 5009142 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31261] ppid=31253 vsize=694616 memory=984 CPUtime=2519.36 cores=0-7
/proc/31256/task/31261/stat : 31261 (cosoco) R 31253 31256 30803 0 -1 4202560 27953 0 0 0 251932 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773819399496 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31262] ppid=31253 vsize=694616 memory=2004 CPUtime=2519.29 cores=0-7
/proc/31256/task/31262/stat : 31262 (cosoco) R 31253 31256 30803 0 -1 4202560 29052 0 0 0 251924 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773811006792 5392293 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31263] ppid=31253 vsize=694616 memory=1432 CPUtime=2517.75 cores=0-7
/proc/31256/task/31263/stat : 31263 (cosoco) R 31253 31256 30803 0 -1 4202560 36934 0 0 0 251770 5 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773802614088 5392297 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31264] ppid=31253 vsize=694616 memory=1060 CPUtime=2519.23 cores=0-7
/proc/31256/task/31264/stat : 31264 (cosoco) R 31253 31256 30803 0 -1 4202560 31689 0 0 0 251919 4 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773794221072 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
[pid=31256/tid=31265] ppid=31253 vsize=694616 memory=740 CPUtime=2512.28 cores=0-7
/proc/31256/task/31265/stat : 31265 (cosoco) R 31253 31256 30803 0 -1 4202560 28962 0 0 0 251222 6 0 0 20 0 9 0 558151408 711286784 45464 33554432000 4194304 6211132 140730466881408 139773785828680 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13213696 140730466886673 140730466886765 140730466886765 140730466889678 0
Current children cumulated CPU time: 20124.1 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 181856 KiB

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

[startup+2520.02 s]
# the end of solver process 31256 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20123.7 s, system=0.490783 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 20124.2
CPU user time (s): 20123.7
CPU system time (s): 0.490783
CPU usage (%): 798.573
Max. virtual memory (cumulated for all children) (KiB): 719216
Max. memory (cumulated for all children) (KiB): 181856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20123.7
system time used= 0.490783
maximum resident set size= 210972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261450
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= 9889
involuntary context switches= 165874


# summary of solver processes directly reported to runsolver:
#   pid: 31256
#   total CPU time (s): 20124.2
#   total CPU user time (s): 20123.7
#   total CPU system time (s): 0.490783

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9101 second user time and 19.5902 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	28.0774
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 4409561

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
