Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | OPT | 1053 | 1811.29 | 226.815 |
| Name | Mario/Mario-zinc-s1/ Mario-n-medium-2.xml |
| MD5SUM | d930a285b222420c6879960cff9efc87 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1053 |
| Best CPU time to get the best result obtained on this benchmark | 218.444 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 90 |
| Number of constraints | 61 |
| Number of domains | 54 |
| Minimum domain size | 1 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":5},{"size":30,"count":54}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
| Number of extensional constraints | 30 |
| Number of intensional constraints | 29 |
| Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4398427-1568605626.xml 0.00/0.01 c intension iff(eq(g[2],0),eq(s[2],2)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[3],0),eq(s[3],3)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[4],0),eq(s[4],4)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[5],0),eq(s[5],5)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[6],0),eq(s[6],6)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[7],0),eq(s[7],7)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[8],0),eq(s[8],8)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[9],0),eq(s[9],9)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[10],0),eq(s[10],10)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[11],0),eq(s[11],11)) -> extension (support ? 1) - 30tuples 0.00/0.01 c intension iff(eq(g[12],0),eq(s[12],12)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[13],0),eq(s[13],13)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[14],0),eq(s[14],14)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[15],0),eq(s[15],15)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[16],0),eq(s[16],16)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[17],0),eq(s[17],17)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[18],0),eq(s[18],18)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[19],0),eq(s[19],19)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[20],0),eq(s[20],20)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[21],0),eq(s[21],21)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[22],0),eq(s[22],22)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[23],0),eq(s[23],23)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[24],0),eq(s[24],24)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[25],0),eq(s[25],25)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[26],0),eq(s[26],26)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[27],0),eq(s[27],27)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[28],0),eq(s[28],28)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[29],0),eq(s[29],29)) -> extension (support ? 1) - 30tuples 0.00/0.04 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.02 s 0.00/0.04 c | 0.00/0.04 c | Variables: 90 0.00/0.04 c | Domain Sizes: 1..30 0.00/0.04 c | 0.00/0.04 c | Constraints: 62 0.00/0.04 c | Arity: 1..30 -- Unary: 1 -- Binary: 58 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | Circuit: 1 0.00/0.04 c | Extension: 58 (nb tuples: 30..30) -- (shared: 0) 0.00/0.04 c | Sum: 2 0.00/0.04 c | Unary: 1 0.00/0.04 c | 0.00/0.04 c | Objective: Maximize Sum 0.00/0.04 0.00/0.04 c ========================================================================================================= 0.00/0.04 c Parallel mode: Portfolio 0.00/0.04 c [pFactory][Group N°0] created (threads:8). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.04 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] task 7 launched on thread 4. 0.00/0.04 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.04 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.04 c [pFactory][Group N°0] task 4 launched on thread 5. 0.00/0.04 c [pFactory][Group N°0] task 3 launched on thread 2. 0.00/0.04 c [pFactory][Group N°0] task 2 launched on thread 6. 0.00/0.04 c [pFactory][Group N°0] task 1 launched on thread 7. 0.00/0.04 c [pFactory][Group N°0] task 0 launched on thread 3. 0.00/0.04 o 0 0.00/0.04 o 14 0.00/0.04 o 16 0.00/0.04 o 48 0.00/0.04 o 132 0.00/0.04 o 179 0.00/0.04 o 241 0.00/0.04 o 281 0.00/0.05 o 414 0.00/0.06 o 541 0.66/0.16 o 597 0.66/0.19 o 691 2.31/0.33 o 705 7.80/1.09 o 751 10.93/1.49 o 799 18.92/2.41 o 838 26.90/3.44 o 853 30.90/4.00 o 902 62.05/7.89 o 915 79.68/10.03 o 977 88.47/11.12 o 989 172.27/21.68 o 990 275.30/34.55 o 1053 1811.17/226.81 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 7. 1811.17/226.81 c [pFactory][Group N°0] Thread N°0 is joined. 1811.17/226.81 c [pFactory][Group N°0] Thread N°1 is joined. 1811.17/226.81 c [pFactory][Group N°0] Thread N°2 is joined. 1811.17/226.81 c [pFactory][Group N°0] Thread N°3 is joined. 1811.17/226.81 c [pFactory][Group N°0] Thread N°4 is joined. 1811.17/226.81 c [pFactory][Group N°0] Thread N°5 is joined. 1811.17/226.81 c [pFactory][Group N°0] Thread N°6 is joined. 1811.17/226.81 c [pFactory][Group N°0] Thread N°7 is joined. 1811.17/226.81 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°4) 1811.17/226.81 s OPTIMUM FOUND 1811.17/226.81 c call to solver : 17 1811.17/226.81 c 1811.17/226.81 c restarts : 94606 1811.17/226.81 c conflicts : 1021990 (564 /sec) 1811.17/226.81 c decisions : 3215882 (1775 /sec) 1811.17/226.81 c propagations : 270142983 (149145 /sec) 1811.17/226.81 c root propagations : 443 1811.17/226.81 c filter calls : 102653196 (56675 /sec) 1811.17/226.81 c useless filter calls : 47353368 (46 %) 1811.17/226.81 c Memory used : 572.93 MB 1811.17/226.81 c Best bound time (wc) : 34.5457 s 1811.17/226.81 c CPU time : 1811.28 s 1811.17/226.81 c real time : 226.809 s 1811.17/226.81 1811.17/226.81 1811.17/226.81 v <instantiation type='solution' cost='1053'> 1811.17/226.81 v <list>f[0] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[1] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] g[0] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[1] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] </list> 1811.17/226.81 v <values>34 207 228 122 0 16 0 23 0 0 85 0 127 0 270 0 68 152 0 45 34 55 296 83 13 0 0 31 54 54 0 94 86 34 0 14 0 67 0 0 31 0 78 0 99 0 56 14 0 35 53 62 40 67 89 0 0 19 47 68 10 22 4 20 13 24 15 12 17 18 16 0 28 21 14 23 7 3 26 11 27 8 29 19 1 5 6 2 9 25 </values> 1811.17/226.81 v </instantiation> 1811.17/226.81
OK 1053
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 (14647 MiB free)
memory of node 1: 16384 MiB (14230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398427-1568605626/watcher-4398427-1568605626 -o /tmp/evaluation-result-4398427-1568605626/solver-4398427-1568605626 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398427-1568605626.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=17255, runsolver pid=17252
Current StackSize limit: 8192 KiB
[startup+0.100816 s]*
/proc/loadavg: 7.24 3.94 4.84 9/199 17264
/proc/meminfo: memFree=29568848/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=6328 CPUtime=0.66 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 1933 0 0 0 66 0 0 0 20 0 9 0 436477462 634327040 1582 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1582 895 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292613704640 5396423 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=4872558142750482753 CPUtime=0.08 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 29 0 0 0 8 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292605312272 5155345 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=140666583815808 CPUtime=0.08 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292596919312 5390011 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=0 CPUtime=0.07 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292588526720 5250293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=0 CPUtime=0.08 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 23 0 0 0 8 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292580133904 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=0 CPUtime=0.08 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292571741200 5397286 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=-1 CPUtime=0.08 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 22 0 0 0 8 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292563348752 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=0 CPUtime=0.08 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292554955792 5079352 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+0.210821 s]*
/proc/loadavg: 7.24 3.94 4.84 9/199 17264
/proc/meminfo: memFree=29568848/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=6328 CPUtime=1.52 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 1933 0 0 0 152 0 0 0 20 0 9 0 436477462 634327040 1582 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1582 895 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 19 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292613704640 5074400 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=10867 CPUtime=0.19 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 29 0 0 0 19 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292605312272 5078762 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=4051182640223917728 CPUtime=0.19 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 19 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292596919312 5158028 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=-1 CPUtime=0.17 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292588526720 5078852 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=0 CPUtime=0.19 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 23 0 0 0 19 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292580133904 5081184 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=0 CPUtime=0.19 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 19 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292571741200 5078744 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=-1 CPUtime=0.19 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 22 0 0 0 19 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292563348752 5392292 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=0 CPUtime=0.19 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 19 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292554955792 5082393 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+0.309815 s]*
/proc/loadavg: 7.24 3.94 4.84 9/199 17264
/proc/meminfo: memFree=29568848/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=6328 CPUtime=2.31 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 1933 0 0 0 231 0 0 0 20 0 9 0 436477462 634327040 1582 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1582 895 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=8317482817917895235 CPUtime=0.28 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 28 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292613704640 5081767 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=4872558044660077418 CPUtime=0.28 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 29 0 0 0 28 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292605312272 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 28 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292596919312 5082416 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=6944656592455097440 CPUtime=0.26 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 26 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292588526720 5079076 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=6656426216303648864 CPUtime=0.29 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 23 0 0 0 29 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292580133904 5156465 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 28 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292571741200 5075221 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 22 0 0 0 28 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292563348752 5155807 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 28 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292554955792 5075897 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+0.700823 s]
/proc/loadavg: 7.24 3.94 4.84 9/199 17264
/proc/meminfo: memFree=29568848/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=6328 CPUtime=5.35 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 1933 0 0 0 535 0 0 0 20 0 9 0 436477462 634327040 1582 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1582 895 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=6935054825532540783 CPUtime=0.67 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 67 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292613704640 5082475 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=1760 CPUtime=0.67 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 29 0 0 0 67 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292605312272 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=111636 CPUtime=0.67 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 67 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292596919312 5075694 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=808 CPUtime=0.62 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 62 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292588526864 5079248 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=1804 CPUtime=0.67 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 23 0 0 0 67 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292580133904 5250279 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=920 CPUtime=0.67 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 67 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292571741200 5082358 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=-7175204567652784766 CPUtime=0.67 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 22 0 0 0 67 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292563348752 5076256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=3054156605268465310 CPUtime=0.67 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 21 0 0 0 67 0 0 0 20 0 9 0 436477465 634327040 1582 33554432000 4194304 6211092 140726824122032 140292554955792 5079432 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+1.50082 s]
/proc/loadavg: 7.24 3.94 4.84 9/199 17264
/proc/meminfo: memFree=29568848/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7032 CPUtime=11.73 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 2693 0 0 0 1173 0 0 0 20 0 9 0 436477462 634327040 1758 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1758 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=6493990552776 CPUtime=1.47 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 82 0 0 0 147 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292613704640 5081301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=288230596050944315 CPUtime=1.47 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 146 0 0 0 147 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292605312128 5193744 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=0 CPUtime=1.47 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 85 0 0 0 147 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292596919312 5389819 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=0 CPUtime=1.41 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 163 0 0 0 141 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292588526864 5075393 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=0 CPUtime=1.47 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 73 0 0 0 147 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292580134160 5390498 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=0 CPUtime=1.47 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 156 0 0 0 147 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292571741200 5081194 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=-7241597079701628969 CPUtime=1.47 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 93 0 0 0 147 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292563348752 5079374 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=0 CPUtime=1.47 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 141 0 0 0 147 0 0 0 20 0 9 0 436477465 634327040 1758 33554432000 4194304 6211092 140726824122032 140292554956048 5079295 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 11.73 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7032 KiB
[startup+3.10982 s]
/proc/loadavg: 7.24 3.94 4.84 9/199 17264
/proc/meminfo: memFree=29568972/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7036 CPUtime=24.58 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 3449 0 0 0 2458 0 0 0 20 0 9 0 436477462 634327040 1759 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1759 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=7032 CPUtime=3.08 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 173 0 0 0 308 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292613704640 5074504 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=7016671349533276567 CPUtime=3.08 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 241 0 0 0 308 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292605312128 5075269 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=0 CPUtime=3.08 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 155 0 0 0 308 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292596919312 5082393 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=0 CPUtime=2.99 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 282 0 0 0 299 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292588526864 5082431 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=6328 CPUtime=3.08 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 178 0 0 0 308 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292580134160 5250293 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=2212 CPUtime=3.07 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 254 0 0 0 307 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292571741200 5082818 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=6328 CPUtime=3.07 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 175 0 0 0 307 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292563348496 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=7032 CPUtime=3.08 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 237 0 0 0 308 0 0 0 20 0 9 0 436477465 634327040 1759 33554432000 4194304 6211092 140726824122032 140292554956048 5079072 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 24.58 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7036 KiB
[startup+6.30082 s]
/proc/loadavg: 7.38 4.02 4.86 9/199 17264
/proc/meminfo: memFree=29568536/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7040 CPUtime=50.07 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 5016 0 0 0 5007 0 0 0 20 0 9 0 436477462 634327040 1760 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1760 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=140666487280048 CPUtime=6.27 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 316 0 0 0 627 0 0 0 20 0 9 0 436477465 634327040 1760 33554432000 4194304 6211092 140726824122032 140292613704640 5078762 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=140666487280080 CPUtime=6.27 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 445 0 0 0 627 0 0 0 20 0 9 0 436477465 634327040 1760 33554432000 4194304 6211092 140726824122032 140292605312272 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=56 CPUtime=6.27 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 340 0 0 0 627 0 0 0 20 0 9 0 436477465 634327040 1760 33554432000 4194304 6211092 140726824122032 140292596919312 5082818 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=4136101504004403488 CPUtime=6.15 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 535 0 0 0 615 0 0 0 20 0 9 0 436477465 634327040 1760 33554432000 4194304 6211092 140726824122032 140292588526864 5078812 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
################
# More data... #
################
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 14553 0 0 0 129602 1 0 0 20 0 9 0 436477462 634327040 1771 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1771 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=7084 CPUtime=162.24 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 1413 0 0 0 16224 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292613704640 5081341 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=7084 CPUtime=162.24 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 1598 0 0 0 16224 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292605312272 5075228 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=7084 CPUtime=162.25 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 1527 0 0 0 16225 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292596919568 5081337 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=7084 CPUtime=160.23 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 2072 0 0 0 16023 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292588526608 5082381 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=7084 CPUtime=162.25 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 1494 0 0 0 16225 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292580134160 5076443 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=7084 CPUtime=162.27 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 1613 0 0 0 16227 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292571741312 5250260 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=7084 CPUtime=162.23 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 1485 0 0 0 16223 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292563348496 5250279 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=1440 CPUtime=162.26 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 1597 0 0 0 16226 0 0 0 20 0 9 0 436477465 634327040 1771 33554432000 4194304 6211092 140726824122032 140292554955792 5082393 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 1296.03 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7084 KiB
[startup+222.301 s]
/proc/loadavg: 8.00 6.08 5.52 9/199 17284
/proc/meminfo: memFree=29570096/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7092 CPUtime=1775.23 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 15339 0 0 0 177522 1 0 0 20 0 9 0 436477462 634327040 1773 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1773 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=7092 CPUtime=222.24 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 1504 0 0 0 22224 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292613704640 5145128 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=7092 CPUtime=222.24 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 1690 0 0 0 22224 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292605312272 5079352 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=7092 CPUtime=222.23 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 1611 0 0 0 22223 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292596919568 5193744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=7092 CPUtime=219.49 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 2207 0 0 0 21949 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292588526608 5008816 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=7092 CPUtime=222.24 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 1596 0 0 0 22224 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292580134160 5076121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=7092 CPUtime=222.27 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 1698 0 0 0 22227 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292571741312 5078861 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=7092 CPUtime=222.2 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 1584 0 0 0 22220 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292563348496 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=7092 CPUtime=222.25 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 1695 0 0 0 22225 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292554955792 5250284 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 1775.23 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7092 KiB
[startup+226.815 s]
# the end of solver process 17255 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1811.28 s, system=0.014993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224.001 s]*
/proc/loadavg: 8.00 6.11 5.53 9/199 17284
/proc/meminfo: memFree=29570220/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7092 CPUtime=1788.87 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 15340 0 0 0 178886 1 0 0 20 0 9 0 436477462 634327040 1773 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1773 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=8317482817917895235 CPUtime=223.95 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 1504 0 0 0 22395 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292613704640 5396409 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=4872558044660077418 CPUtime=223.95 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 1690 0 0 0 22395 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292605312272 5079352 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=9580 CPUtime=223.94 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 1612 0 0 0 22394 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292596919568 5393334 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=1052 CPUtime=221.18 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 2207 0 0 0 22118 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292588526608 5193710 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=776 CPUtime=223.95 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 1596 0 0 0 22395 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292580134160 5082818 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=2832 CPUtime=223.97 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 1698 0 0 0 22397 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292571741312 5078951 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=668 CPUtime=223.91 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 1584 0 0 0 22391 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292563348496 5082814 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=1256 CPUtime=223.96 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 1695 0 0 0 22396 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292554955792 5076389 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 1788.87 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7092 KiB
[startup+225.601 s]
/proc/loadavg: 8.00 6.11 5.53 9/199 17284
/proc/meminfo: memFree=29570220/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7092 CPUtime=1801.59 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 15342 0 0 0 180158 1 0 0 20 0 9 0 436477462 634327040 1773 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1773 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=111636 CPUtime=225.54 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 1504 0 0 0 22554 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292613704640 5250241 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=808 CPUtime=225.54 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 1690 0 0 0 22554 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292605312272 5017373 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=1076 CPUtime=225.53 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 1613 0 0 0 22553 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292596919568 5074403 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=14008 CPUtime=222.76 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 2207 0 0 0 22276 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292588526608 5157562 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=25100 CPUtime=225.54 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 1596 0 0 0 22554 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292580134160 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=7092 CPUtime=225.57 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 1698 0 0 0 22557 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292571741312 5075237 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=1436 CPUtime=225.5 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 1585 0 0 0 22550 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292563348496 5082389 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=4152 CPUtime=225.55 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 1695 0 0 0 22555 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292554955792 5076389 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 1801.59 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7092 KiB
[startup+226.401 s]
/proc/loadavg: 8.00 6.11 5.53 9/199 17284
/proc/meminfo: memFree=29570344/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7092 CPUtime=1807.98 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 15349 0 0 0 180797 1 0 0 20 0 9 0 436477462 634327040 1773 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1773 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=808 CPUtime=226.34 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 1505 0 0 0 22634 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292613704640 5078740 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=1804 CPUtime=226.34 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 1691 0 0 0 22634 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292605312272 5250279 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=6935054825532540783 CPUtime=226.33 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 1613 0 0 0 22633 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292596919568 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=45772 CPUtime=223.55 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 2207 0 0 0 22355 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292588526608 5076336 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=988 CPUtime=226.34 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 1598 0 0 0 22634 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292580134160 5155982 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=7092 CPUtime=226.37 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 1699 0 0 0 22637 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292571741312 5081728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=1436 CPUtime=226.3 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 1586 0 0 0 22630 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292563348496 5076434 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=6935054825532540783 CPUtime=226.35 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 1696 0 0 0 22635 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292554955792 5076434 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 1807.98 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7092 KiB
[startup+226.801 s]
/proc/loadavg: 8.00 6.11 5.53 9/199 17284
/proc/meminfo: memFree=29570344/32770624 swapFree=66939904/67108860
[pid=17255] ppid=17252 vsize=619460 memory=7092 CPUtime=1811.17 cores=0-7
/proc/17255/stat : 17255 (cosoco) S 17252 17255 15549 0 -1 1077944320 15349 0 0 0 181116 1 0 0 20 0 9 0 436477462 634327040 1773 33554432000 4194304 6211092 140726824122032 140726824120288 140292636847863 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
/proc/17255/statm: 154865 1773 904 493 0 148170 0
[pid=17255/tid=17257] ppid=17252 vsize=619460 memory=45776 CPUtime=226.74 cores=0-7
/proc/17255/task/17257/stat : 17257 (cosoco) R 17252 17255 15549 0 -1 4202560 1505 0 0 0 22674 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292613704640 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17258] ppid=17252 vsize=619460 memory=988 CPUtime=226.74 cores=0-7
/proc/17255/task/17258/stat : 17258 (cosoco) R 17252 17255 15549 0 -1 4202560 1691 0 0 0 22674 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292605312272 5074395 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17259] ppid=17252 vsize=619460 memory=2008 CPUtime=226.73 cores=0-7
/proc/17255/task/17259/stat : 17259 (cosoco) R 17252 17255 15549 0 -1 4202560 1613 0 0 0 22673 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292596919568 5250301 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17260] ppid=17252 vsize=619460 memory=1436 CPUtime=223.94 cores=0-7
/proc/17255/task/17260/stat : 17260 (cosoco) R 17252 17255 15549 0 -1 4202560 2207 0 0 0 22394 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292588526608 5081767 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17261] ppid=17252 vsize=619460 memory=7092 CPUtime=226.74 cores=0-7
/proc/17255/task/17261/stat : 17261 (cosoco) R 17252 17255 15549 0 -1 4202560 1598 0 0 0 22674 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292580134160 5390011 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17262] ppid=17252 vsize=619460 memory=288230596050944315 CPUtime=226.77 cores=0-7
/proc/17255/task/17262/stat : 17262 (cosoco) R 17252 17255 15549 0 -1 4202560 1699 0 0 0 22677 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292571741312 5250287 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17263] ppid=17252 vsize=619460 memory=15816698942990773 CPUtime=226.7 cores=0-7
/proc/17255/task/17263/stat : 17263 (cosoco) R 17252 17255 15549 0 -1 4202560 1586 0 0 0 22670 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292563348496 5079352 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
[pid=17255/tid=17264] ppid=17252 vsize=619460 memory=816 CPUtime=226.75 cores=0-7
/proc/17255/task/17264/stat : 17264 (cosoco) R 17252 17255 15549 0 -1 4202560 1696 0 0 0 22675 0 0 0 20 0 9 0 436477465 634327040 1773 33554432000 4194304 6211092 140726824122032 140292554955792 5397230 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38883328 140726824129553 140726824129645 140726824129645 140726824132558 0
Current children cumulated CPU time: 1811.17 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7092 KiB
Child status: 0
Real time (s): 226.815
CPU time (s): 1811.29
CPU user time (s): 1811.28
CPU system time (s): 0.014993
CPU usage (%): 798.576
Max. virtual memory (cumulated for all children) (KiB): 619460
Max. memory (cumulated for all children) (KiB): 7092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1811.28
system time used= 0.014993
maximum resident set size= 7220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15416
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= 123
involuntary context switches= 15525
# summary of solver processes directly reported to runsolver:
# pid: 17255
# total CPU time (s): 1811.29
# total CPU user time (s): 1811.28
# total CPU system time (s): 0.014993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03488 second user time and 1.77412 second system time
The end
Begin job on node119 at 2019-09-16 05:46:26 IDJOB=4398427 IDBENCH=133278 IDSOLVER=2851 FILE ID=node119/4398427-1568605626 RUNJOBID= node119-1568597993-15576 PBS_JOBID= 21703416 Free space on /tmp= 61372 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-2.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398427-1568605626/watcher-4398427-1568605626 -o /tmp/evaluation-result-4398427-1568605626/solver-4398427-1568605626 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398427-1568605626.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d930a285b222420c6879960cff9efc87 RANDOM SEED=185803269 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29570364 kB MemAvailable: 31820156 kB Buffers: 86756 kB Cached: 2445848 kB SwapCached: 61076 kB Active: 1244292 kB Inactive: 1355252 kB Active(anon): 4212 kB Inactive(anon): 112096 kB Active(file): 1240080 kB Inactive(file): 1243156 kB Unevictable: 107752 kB Mlocked: 107752 kB SwapTotal: 67108860 kB SwapFree: 66939904 kB Dirty: 2844 kB Writeback: 0 kB AnonPages: 124040 kB Mapped: 46800 kB Shmem: 41008 kB Slab: 193928 kB SReclaimable: 164780 kB SUnreclaim: 29148 kB KernelStack: 3728 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61368 MiB End job on node119 at 2019-09-16 05:50:13