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 | 771 | 1852.89 | 232.051 |
| Name | Mario/Mario-zinc-s1/ Mario-n-medium-5.xml |
| MD5SUM | 36a1aa2a38358c951443c34d8d302d49 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 771 |
| Best CPU time to get the best result obtained on this benchmark | 74.6579 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 90 |
| Number of constraints | 61 |
| Number of domains | 56 |
| Minimum domain size | 1 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":5},{"size":30,"count":55}] |
| 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-4398330-1568605681.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.02 c intension iff(eq(g[9],0),eq(s[9],9)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[10],0),eq(s[10],10)) -> extension (support ? 1) - 30tuples 0.00/0.02 c intension iff(eq(g[11],0),eq(s[11],11)) -> extension (support ? 1) - 30tuples 0.00/0.02 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.03 c intension iff(eq(g[28],0),eq(s[28],28)) -> extension (support ? 1) - 30tuples 0.00/0.03 c intension iff(eq(g[29],0),eq(s[29],29)) -> extension (support ? 1) - 30tuples 0.00/0.03 c enable optimization 0.00/0.03 c ========================================[ Problem Statistics ]=========================================== 0.00/0.03 c | 0.00/0.03 c | Parse time : 0.02 s 0.00/0.03 c | 0.00/0.03 c | Variables: 90 0.00/0.03 c | Domain Sizes: 1..30 0.00/0.03 c | 0.00/0.03 c | Constraints: 62 0.00/0.03 c | Arity: 1..30 -- Unary: 1 -- Binary: 58 0.00/0.03 c | 0.00/0.03 c | Types: 0.00/0.03 c | Circuit: 1 0.00/0.03 c | Extension: 58 (nb tuples: 30..30) -- (shared: 0) 0.00/0.03 c | Sum: 2 0.00/0.03 c | Unary: 1 0.00/0.03 c | 0.00/0.03 c | Objective: Maximize Sum 0.00/0.03 0.00/0.03 c ========================================================================================================= 0.00/0.03 c Parallel mode: Portfolio 0.00/0.03 c [pFactory][Group N°0] created (threads:8). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.03 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.03 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.03 c [pFactory][Group N°0] task 7 launched on thread 3. 0.00/0.03 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.03 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.03 c [pFactory][Group N°0] task 4 launched on thread 2. 0.00/0.03 c [pFactory][Group N°0] task 3 launched on thread 6. 0.00/0.03 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.03 c [pFactory][Group N°0] task 1 launched on thread 7. 0.00/0.03 c [pFactory][Group N°0] task 0 launched on thread 5. 0.00/0.03 o 17 0.00/0.03 o 60 0.00/0.04 o 147 0.00/0.04 o 167 0.00/0.04 o 168 0.00/0.04 o 212 0.00/0.04 o 313 0.00/0.05 o 409 0.63/0.11 o 417 0.63/0.13 o 451 0.63/0.15 o 463 0.63/0.17 o 534 1.50/0.22 o 566 1.50/0.25 o 571 1.50/0.29 o 623 2.28/0.37 o 626 3.08/0.42 o 630 3.08/0.45 o 674 6.13/0.83 o 679 11.71/1.55 o 699 12.51/1.63 o 701 14.91/2.00 o 741 24.56/3.12 o 742 26.88/3.43 o 745 46.05/5.85 o 758 69.21/8.77 o 762 312.07/39.15 o 769 1029.13/128.98 o 771 1852.56/232.05 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 5. 1852.56/232.05 c [pFactory][Group N°0] Thread N°0 is joined. 1852.56/232.05 c [pFactory][Group N°0] Thread N°1 is joined. 1852.56/232.05 c [pFactory][Group N°0] Thread N°2 is joined. 1852.56/232.05 c [pFactory][Group N°0] Thread N°3 is joined. 1852.56/232.05 c [pFactory][Group N°0] Thread N°4 is joined. 1852.56/232.05 c [pFactory][Group N°0] Thread N°5 is joined. 1852.56/232.05 c [pFactory][Group N°0] Thread N°6 is joined. 1852.56/232.05 c [pFactory][Group N°0] Thread N°7 is joined. 1852.56/232.05 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0) 1852.56/232.05 s OPTIMUM FOUND 1852.56/232.05 c call to solver : 15 1852.56/232.05 c 1852.56/232.05 c restarts : 138367 1852.56/232.05 c conflicts : 996498 (538 /sec) 1852.56/232.05 c decisions : 3378218 (1823 /sec) 1852.56/232.05 c propagations : 232043959 (125235 /sec) 1852.56/232.05 c root propagations : 415 1852.56/232.05 c filter calls : 93532031 (50479 /sec) 1852.56/232.05 c useless filter calls : 42525687 (45 %) 1852.56/232.05 c Memory used : 572.93 MB 1852.56/232.05 c Best bound time (wc) : 128.975 s 1852.56/232.05 c CPU time : 1852.87 s 1852.56/232.05 c real time : 232.045 s 1852.56/232.05 1852.56/232.05 1852.56/232.05 v <instantiation type='solution' cost='771'> 1852.56/232.05 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> 1852.56/232.05 v <values>46 58 26 0 43 0 45 178 0 41 40 0 73 0 0 1 0 0 70 61 0 89 180 194 0 0 273 574 0 1 0 31 3 0 60 0 90 78 0 17 17 0 8 0 0 56 0 0 80 47 0 20 74 24 0 0 54 91 0 21 2 11 26 12 10 14 20 1 17 7 13 0 27 21 22 19 24 25 9 16 28 3 23 6 4 5 18 15 8 29 </values> 1852.56/232.05 v </instantiation> 1852.56/232.05
OK 771
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: 16375 MiB (14277 MiB free)
memory of node 1: 16384 MiB (14628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398330-1568605681/watcher-4398330-1568605681 -o /tmp/evaluation-result-4398330-1568605681/solver-4398330-1568605681 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398330-1568605681.xml
running on 8 cores: 0-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=2580, runsolver pid=2577
Current StackSize limit: 8192 KiB
[startup+0.100351 s]*
/proc/loadavg: 6.07 4.52 5.68 9/200 2589
/proc/meminfo: memFree=29597716/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=6328 CPUtime=0.63 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 1923 0 0 0 63 0 0 0 20 0 9 0 436574413 634327040 1582 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1582 895 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=1398722017469774279 CPUtime=0.06 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039886433296 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=4872558142750483522 CPUtime=0.07 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 7 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039878040848 5193696 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=139962572752512 CPUtime=0.07 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 7 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039869647888 5078748 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=0 CPUtime=0.07 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 24 0 0 0 7 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039861255184 5082627 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=0 CPUtime=0.07 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 7 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039852862736 5145191 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=0 CPUtime=0.07 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 7 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039844469776 5193744 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=-1 CPUtime=0.07 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 7 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039836077328 5081355 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=0 CPUtime=0.07 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039827684288 5078762 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+0.211349 s]*
/proc/loadavg: 6.07 4.52 5.68 9/200 2589
/proc/meminfo: memFree=29597716/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=6328 CPUtime=1.5 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 1924 0 0 0 150 0 0 0 20 0 9 0 436574413 634327040 1582 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1582 895 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=8316850467074736180 CPUtime=0.16 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 16 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039886433296 5079289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=1915930 CPUtime=0.18 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039878040848 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=139962572764755 CPUtime=0.18 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 18 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039869648144 5082411 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=-1 CPUtime=0.18 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 25 0 0 0 18 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039861255184 5082224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=0 CPUtime=0.18 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 18 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039852862736 5078748 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=0 CPUtime=0.18 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039844469776 5158000 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=-1 CPUtime=0.18 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039836077328 5081728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=0 CPUtime=0.18 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 21 0 0 0 18 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039827684624 5076434 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+0.31035 s]*
/proc/loadavg: 6.07 4.52 5.68 9/200 2589
/proc/meminfo: memFree=29597716/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=6328 CPUtime=2.28 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 1924 0 0 0 228 0 0 0 20 0 9 0 436574413 634327040 1582 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1582 895 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=1398722017469774279 CPUtime=0.25 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 25 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039886433296 5158089 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=4872558044660077418 CPUtime=0.28 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 28 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039878040848 5009171 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 28 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039869648144 5017373 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=6944656592455097440 CPUtime=0.28 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 25 0 0 0 28 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039861255184 5082336 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=6656426216303648864 CPUtime=0.28 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 28 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039852862736 5017252 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 28 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039844469776 5158185 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 28 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039836077328 5156232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=0 CPUtime=0.28 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 21 0 0 0 28 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039827684624 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+0.70135 s]
/proc/loadavg: 6.07 4.52 5.68 9/200 2589
/proc/meminfo: memFree=29597716/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=6328 CPUtime=5.33 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 1926 0 0 0 533 0 0 0 20 0 9 0 436574413 634327040 1582 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1582 895 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=1056 CPUtime=0.61 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 61 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039886433296 5079092 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=2828 CPUtime=0.66 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 21 0 0 0 66 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039878040848 5156256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=1176 CPUtime=0.66 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 66 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039869648144 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=980 CPUtime=0.67 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 26 0 0 0 67 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039861255184 5397329 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=14008 CPUtime=0.66 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 22 0 0 0 66 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039852862480 5082431 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=12028 CPUtime=0.66 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039844469776 5250234 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=28188 CPUtime=0.66 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039836077328 5250234 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=2120 CPUtime=0.66 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 21 0 0 0 66 0 0 0 20 0 9 0 436574416 634327040 1582 33554432000 4194304 6211092 140728847509872 140039827684480 5250458 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 6328 KiB
[startup+1.50135 s]
/proc/loadavg: 6.07 4.52 5.68 9/200 2589
/proc/meminfo: memFree=29597220/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7024 CPUtime=11.71 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 2697 0 0 0 1171 0 0 0 20 0 9 0 436574413 634327040 1756 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1756 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=0 CPUtime=1.4 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 99 0 0 0 140 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039886433296 5075751 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=6656426216303648864 CPUtime=1.46 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 86 0 0 0 146 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039878040848 5145272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=4485683339795917577 CPUtime=1.46 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 96 0 0 0 146 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039869648144 5250450 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=5228 CPUtime=1.46 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 177 0 0 0 146 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039861255184 5250459 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=279924896212184 CPUtime=1.46 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 93 0 0 0 146 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039852862480 5250298 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=288230617509003574 CPUtime=1.46 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 161 0 0 0 146 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039844469776 5081676 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=14971170189477429 CPUtime=1.46 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 149 0 0 0 146 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039836077328 5250224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=4638778398332768866 CPUtime=1.46 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 84 0 0 0 146 0 0 0 20 0 9 0 436574416 634327040 1756 33554432000 4194304 6211092 140728847509872 140039827684480 5082800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 11.71 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7024 KiB
[startup+3.11035 s]
/proc/loadavg: 6.07 4.52 5.68 9/200 2589
/proc/meminfo: memFree=29596848/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7028 CPUtime=24.56 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 3506 0 0 0 2456 0 0 0 20 0 9 0 436574413 634327040 1757 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1757 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=7024 CPUtime=2.99 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 187 0 0 0 299 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039886433296 5081767 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=139966867719807 CPUtime=3.07 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 179 0 0 0 307 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039878040848 5145199 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=7019257425709197167 CPUtime=3.07 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 202 0 0 0 307 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039869648144 5082233 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=7523071198212214892 CPUtime=3.07 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 292 0 0 0 307 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039861255184 5074400 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=5228 CPUtime=3.07 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 154 0 0 0 307 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039852862480 5389819 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=279924896212184 CPUtime=3.07 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 308 0 0 0 307 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039844469776 5250284 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=288230617509003574 CPUtime=3.07 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 248 0 0 0 307 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039836077328 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=14971170189477429 CPUtime=3.07 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 184 0 0 0 307 0 0 0 20 0 9 0 436574416 634327040 1757 33554432000 4194304 6211092 140728847509872 140039827684480 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 24.56 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7028 KiB
[startup+6.30135 s]
/proc/loadavg: 5.98 4.53 5.67 9/200 2589
/proc/meminfo: memFree=29596396/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7032 CPUtime=50.04 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 4309 0 0 0 5004 0 0 0 20 0 9 0 436574413 634327040 1758 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1758 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=2110313055325860 CPUtime=6.14 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 279 0 0 0 614 0 0 0 20 0 9 0 436574416 634327040 1758 33554432000 4194304 6211092 140728847509872 140039886433296 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=1251 CPUtime=6.26 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 265 0 0 0 626 0 0 0 20 0 9 0 436574416 634327040 1758 33554432000 4194304 6211092 140728847509872 140039878040704 5075221 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=150 CPUtime=6.26 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 268 0 0 0 626 0 0 0 20 0 9 0 436574416 634327040 1758 33554432000 4194304 6211092 140728847509872 140039869648144 5081320 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=156 CPUtime=6.26 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 406 0 0 0 626 0 0 0 20 0 9 0 436574416 634327040 1758 33554432000 4194304 6211092 140728847509872 140039861255184 5075751 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224.001 s]*
/proc/loadavg: 7.95 6.34 6.16 9/200 2607
/proc/meminfo: memFree=29596116/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7112 CPUtime=1788.68 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 14916 0 0 0 178867 1 0 0 20 0 9 0 436574413 634327040 1778 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1778 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=1398722017469774279 CPUtime=221 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 22100 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039886433408 5082427 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=2796 CPUtime=223.95 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 1538 0 0 0 22395 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039878040592 5155341 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=7112 CPUtime=223.95 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 1561 0 0 0 22395 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039869648000 5075571 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=7112 CPUtime=223.96 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 1784 0 0 0 22396 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039861255184 5078752 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=4872558044660077418 CPUtime=223.94 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 1504 0 0 0 22394 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039852862736 5079440 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=2828 CPUtime=223.93 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 2036 0 0 0 22393 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039844469776 5075234 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=1176 CPUtime=223.93 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 1671 0 0 0 22393 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039836077072 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=980 CPUtime=223.95 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 1508 0 0 0 22395 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039827684368 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 1788.68 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7112 KiB
[startup+227.201 s]
/proc/loadavg: 7.95 6.34 6.16 9/201 2610
/proc/meminfo: memFree=29596376/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7112 CPUtime=1814.17 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 14917 0 0 0 181416 1 0 0 20 0 9 0 436574413 634327040 1778 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1778 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=4136 CPUtime=224.15 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 22415 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039886433408 5390084 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=7112 CPUtime=227.15 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 1538 0 0 0 22715 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039878040592 5078967 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=984 CPUtime=227.14 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 22714 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039869648000 5075258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=2020 CPUtime=227.15 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 1784 0 0 0 22715 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039861255184 5193754 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=1808 CPUtime=227.13 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 1504 0 0 0 22713 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039852862736 5082358 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=924 CPUtime=227.11 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 2036 0 0 0 22711 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039844469776 5193696 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=-7035114785800479027 CPUtime=227.12 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 1671 0 0 0 22712 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039836077072 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=7112 CPUtime=227.14 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 1508 0 0 0 22714 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039827684368 5082336 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 1814.17 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7112 KiB
[startup+230.401 s]
/proc/loadavg: 7.95 6.36 6.17 9/200 2610
/proc/meminfo: memFree=29596440/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7112 CPUtime=1839.72 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 14918 0 0 0 183971 1 0 0 20 0 9 0 436574413 634327040 1778 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1778 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=7112 CPUtime=227.31 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 22731 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039886433408 5075263 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=139966867719807 CPUtime=230.35 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 1538 0 0 0 23035 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039878040592 5075571 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=6944652177228980320 CPUtime=230.33 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 23033 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039869648000 5193696 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=4136 CPUtime=230.35 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 1785 0 0 0 23035 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039861255184 5083044 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=1428 CPUtime=230.33 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 1504 0 0 0 23033 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039852862736 5156502 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=3624 CPUtime=230.31 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 2036 0 0 0 23031 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039844469776 5075263 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=53372 CPUtime=230.32 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 1671 0 0 0 23032 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039836077072 5078748 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=9588 CPUtime=230.34 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 1508 0 0 0 23034 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039827684368 5155539 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 1839.72 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7112 KiB
[startup+231.201 s]
/proc/loadavg: 7.95 6.36 6.17 9/200 2610
/proc/meminfo: memFree=29596440/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7112 CPUtime=1846.11 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 14922 0 0 0 184610 1 0 0 20 0 9 0 436574413 634327040 1778 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1778 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=7112 CPUtime=228.1 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 1563 0 0 0 22810 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039886433408 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=7112 CPUtime=231.15 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 1539 0 0 0 23115 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039878040592 5155834 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=1712 CPUtime=231.13 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 23113 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039869648000 5079213 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=1176 CPUtime=231.15 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 1785 0 0 0 23115 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039861255184 5079308 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=980 CPUtime=231.13 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 1505 0 0 0 23113 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039852862736 5081301 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=14008 CPUtime=231.11 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 2036 0 0 0 23111 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039844469776 5017390 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=4156 CPUtime=231.12 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 1672 0 0 0 23112 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039836077072 5078752 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=1056 CPUtime=231.14 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 1508 0 0 0 23114 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039827684368 5156120 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 1846.11 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7112 KiB
[startup+231.601 s]
/proc/loadavg: 7.95 6.36 6.17 9/200 2610
/proc/meminfo: memFree=29596440/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7112 CPUtime=1849.3 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 14922 0 0 0 184929 1 0 0 20 0 9 0 436574413 634327040 1778 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1778 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=4136 CPUtime=228.5 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 1563 0 0 0 22850 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039886433408 5155777 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=1428 CPUtime=231.55 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 1539 0 0 0 23155 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039878040592 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=-7035114785800479027 CPUtime=231.53 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 23153 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039869648000 5078762 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=53372 CPUtime=231.55 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 1785 0 0 0 23155 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039861255184 5157544 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=984 CPUtime=231.53 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 1505 0 0 0 23153 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039852862736 5074429 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=2020 CPUtime=231.51 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 2036 0 0 0 23151 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039844469776 5081808 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=1712 CPUtime=231.52 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 1672 0 0 0 23152 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039836077072 5081419 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=5996 CPUtime=231.54 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 1508 0 0 0 23154 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039827684368 5078904 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 1849.3 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7112 KiB
[startup+232.001 s]*
/proc/loadavg: 7.95 6.36 6.17 9/200 2610
/proc/meminfo: memFree=29596440/32770688 swapFree=66919992/67108860
[pid=2580] ppid=2577 vsize=619460 memory=7112 CPUtime=1852.56 cores=0-7
/proc/2580/stat : 2580 (cosoco) S 2577 2580 460 0 -1 1077944320 14930 0 0 0 185255 1 0 0 20 0 9 0 436574413 634327040 1778 33554432000 4194304 6211092 140728847509872 140728847508128 140039909576439 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
/proc/2580/statm: 154865 1778 904 493 0 148170 0
[pid=2580/tid=2582] ppid=2577 vsize=619460 memory=0 CPUtime=228.89 cores=0-7
/proc/2580/task/2582/stat : 2582 (cosoco) R 2577 2580 460 0 -1 4202560 1564 0 0 0 22889 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039886433408 5074609 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2583] ppid=2577 vsize=619460 memory=4872558044660077418 CPUtime=231.95 cores=0-7
/proc/2580/task/2583/stat : 2583 (cosoco) R 2577 2580 460 0 -1 4202560 1542 0 0 0 23195 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039878040592 5076376 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2584] ppid=2577 vsize=619460 memory=53372 CPUtime=231.94 cores=0-7
/proc/2580/task/2584/stat : 2584 (cosoco) R 2577 2580 460 0 -1 4202560 1562 0 0 0 23194 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039869648000 5081385 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2585] ppid=2577 vsize=619460 memory=7112 CPUtime=231.96 cores=0-7
/proc/2580/task/2585/stat : 2585 (cosoco) R 2577 2580 460 0 -1 4202560 1786 0 0 0 23196 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039861255184 5074580 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2586] ppid=2577 vsize=619460 memory=7112 CPUtime=231.94 cores=0-7
/proc/2580/task/2586/stat : 2586 (cosoco) R 2577 2580 460 0 -1 4202560 1505 0 0 0 23194 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039852862736 5250275 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2587] ppid=2577 vsize=619460 memory=7112 CPUtime=231.92 cores=0-7
/proc/2580/task/2587/stat : 2587 (cosoco) R 2577 2580 460 0 -1 4202560 2037 0 0 0 23192 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039844469776 5397219 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2588] ppid=2577 vsize=619460 memory=4104 CPUtime=231.93 cores=0-7
/proc/2580/task/2588/stat : 2588 (cosoco) R 2577 2580 460 0 -1 4202560 1673 0 0 0 23193 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039836077072 5250240 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
[pid=2580/tid=2589] ppid=2577 vsize=619460 memory=1724 CPUtime=231.95 cores=0-7
/proc/2580/task/2589/stat : 2589 (cosoco) R 2577 2580 460 0 -1 4202560 1509 0 0 0 23195 0 0 0 20 0 9 0 436574416 634327040 1778 33554432000 4194304 6211092 140728847509872 140039827684368 5081767 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35319808 140728847512593 140728847512685 140728847512685 140728847515598 0
Current children cumulated CPU time: 1852.56 s
Current children cumulated vsize: 619460 KiB
Current children cumulated memory: 7112 KiB
Child status: 0
Real time (s): 232.051
CPU time (s): 1852.89
CPU user time (s): 1852.87
CPU system time (s): 0.01799
CPU usage (%): 798.485
Max. virtual memory (cumulated for all children) (KiB): 619460
Max. memory (cumulated for all children) (KiB): 7112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1852.87
system time used= 0.01799
maximum resident set size= 7256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14983
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= 87
involuntary context switches= 16493
# summary of solver processes directly reported to runsolver:
# pid: 2580
# total CPU time (s): 1852.89
# total CPU user time (s): 1852.87
# total CPU system time (s): 0.01799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00896 second user time and 2.02894 second system time
The end
Begin job on node120 at 2011-12-17 12:08:23 IDJOB=4398330 IDBENCH=133279 IDSOLVER=2851 FILE ID=node120/4398330-1568605681 RUNJOBID= node120-1324111741-488 PBS_JOBID= 21703407 Free space on /tmp= 61656 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-5.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398330-1568605681/watcher-4398330-1568605681 -o /tmp/evaluation-result-4398330-1568605681/solver-4398330-1568605681 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398330-1568605681.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 36a1aa2a38358c951443c34d8d302d49 RANDOM SEED=385267924 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29599596 kB MemAvailable: 31827804 kB Buffers: 160428 kB Cached: 2371668 kB SwapCached: 77548 kB Active: 1340976 kB Inactive: 1273088 kB Active(anon): 2248 kB Inactive(anon): 128860 kB Active(file): 1338728 kB Inactive(file): 1144228 kB Unevictable: 107500 kB Mlocked: 107500 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2804 kB Writeback: 148 kB AnonPages: 112788 kB Mapped: 51560 kB Shmem: 41008 kB Slab: 151812 kB SReclaimable: 122176 kB SUnreclaim: 29636 kB KernelStack: 3376 kB PageTables: 5196 kB NFS_Unstable: 108 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 514560 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61652 MiB End job on node120 at 2011-12-17 12:12:16