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 | SAT (TO) | 48 | 20118.3 | 2520.02 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-1.xml |
| MD5SUM | bac8a2bd88d13c89c2cced4f7584e960 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 48 |
| Best CPU time to get the best result obtained on this benchmark | 28.4008 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 211 |
| Number of constraints | 4100 |
| Number of domains | 1 |
| Minimum domain size | 211 |
| Maximum domain size | 211 |
| Distribution of domain sizes | [{"size":211,"count":211}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 112 |
| Distribution of variable degrees | [{"degree":1,"count":85},{"degree":29,"count":1},{"degree":30,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":3},{"degree":34,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":7},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":4},{"degree":43,"count":3},{"degree":44,"count":2},{"degree":45,"count":11},{"degree":47,"count":6},{"degree":48,"count":7},{"degree":49,"count":5},{"degree":50,"count":3},{"degree":51,"count":2},{"degree":52,"count":1},{"degree":53,"count":1},"...",{"degree":68,"count":1}, {"degree":72,"count":1}, {"degree":75,"count":1}, {"degree":85,"count":1}, {"degree":87,"count":1}, {"degree":89,"count":1}, {"degree":90,"count":1}, {"degree":92,"count":1}, {"degree":95,"count":1}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":100,"count":1}, {"degree":101,"count":5}, {"degree":102,"count":2}, {"degree":103,"count":1}, {"degree":104,"count":6}, {"degree":105,"count":1}, {"degree":106,"count":1}, {"degree":107,"count":1}, {"degree":108,"count":2}, {"degree":109,"count":1}, {"degree":110,"count":11}, {"degree":111,"count":1}, {"degree":112,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":4100}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 4100 |
| Distribution of constraint types | [{"type":"intension","count":4100}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.84/0.70 c 0.84/0.70 c This is cosoco 2.00 -- 0.84/0.70 c 0.84/0.70 c command line: cosoco -model -nbcores=8 HOME/instance-4398519-1568598447.xml 0.84/0.70 c enable optimization 0.84/0.70 c ========================================[ Problem Statistics ]=========================================== 0.84/0.70 c | 0.84/0.70 c | Parse time : 0.64 s 0.84/0.70 c | 0.84/0.70 c | Variables: 211 0.84/0.70 c | Domain Sizes: 211..211 0.84/0.70 c | 0.84/0.70 c | Constraints: 4101 0.84/0.70 c | Arity: 2..211 -- Binary: 4100 0.84/0.70 c | 0.84/0.70 c | Types: 0.84/0.70 c | (X != Y): 4100 0.84/0.70 c | Max constant: 1 0.84/0.70 c | 0.84/0.70 c | Objective: Minimize Max constant 0.84/0.70 0.84/0.70 c ========================================================================================================= 0.84/0.70 c Parallel mode: Portfolio 0.84/0.70 c [pFactory][Group N°0] created (threads:8). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.84/0.70 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.84/0.70 c [pFactory][Group N°0] concurrent mode: enabled. 0.84/0.70 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.84/0.70 c [pFactory][Group N°0] task 7 launched on thread 0. 0.84/0.70 c [pFactory][Group N°0] task 6 launched on thread 2. 0.84/0.70 c [pFactory][Group N°0] task 5 launched on thread 1. 0.84/0.70 c [pFactory][Group N°0] task 4 launched on thread 6. 0.84/0.70 c [pFactory][Group N°0] task 3 launched on thread 7. 0.84/0.70 c [pFactory][Group N°0] task 2 launched on thread 4. 0.84/0.70 c [pFactory][Group N°0] task 1 launched on thread 3. 0.84/0.70 c [pFactory][Group N°0] task 0 launched on thread 5. 0.84/0.70 o 210 0.84/0.71 o 48 20118.19/2520.02 20118.19/2520.02 c *** INTERRUPTED *** 20118.19/2520.02 c call to solver : 1 20118.19/2520.02 c 20118.19/2520.02 c restarts : 262182 20118.19/2520.02 c conflicts : 3016617 (150 /sec) 20118.19/2520.02 c decisions : 20362434 (1012 /sec) 20118.19/2520.02 c propagations : 1590392211 (79054 /sec) 20118.19/2520.02 c root propagations : 42228 20118.19/2520.02 c filter calls : 50810883908 (2525663 /sec) 20118.19/2520.02 c useless filter calls : 49252470874 (96 %) 20118.19/2520.02 c Memory used : 665.69 MB 20118.19/2520.02 c Best bound time (wc) : 0.705022 s 20118.19/2520.02 c CPU time : 20117.8 s 20118.19/2520.02 c real time : 2520.01 s 20118.19/2520.02 20118.19/2520.02 s SATISFIABLE 20118.19/2520.02 c Best value found: 48 20118.19/2520.02 20118.19/2520.02 20118.19/2520.02 v <instantiation type='solution' cost='48'> 20118.19/2520.02 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> 20118.19/2520.02 v <values>1 0 0 22 0 0 39 0 0 0 0 11 0 0 40 17 0 0 0 0 0 0 12 17 0 0 41 0 42 0 0 42 0 13 0 42 0 17 17 0 0 0 0 43 14 44 44 0 0 23 23 0 0 40 0 15 0 0 0 0 0 0 0 0 44 45 16 44 45 44 0 0 22 0 0 0 0 1 0 44 0 22 45 46 45 45 45 22 12 21 21 21 21 0 0 0 0 0 46 13 44 0 0 0 47 0 22 48 22 22 14 2 0 46 22 0 0 44 0 44 0 0 15 17 16 11 10 9 8 2 3 4 5 3 6 7 0 0 0 18 0 0 0 0 4 19 0 20 0 21 0 17 22 0 0 5 23 0 0 24 0 22 0 0 17 40 6 17 40 0 17 18 19 20 21 23 24 7 25 26 27 28 29 30 31 32 33 25 8 34 0 26 35 0 27 28 36 0 37 9 0 38 0 0 0 0 0 0 0 0 10 </values> 20118.19/2520.02 v </instantiation> 20118.19/2520.02
OK 48
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 (14702 MiB free)
memory of node 1: 16384 MiB (15821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398519-1568598447/watcher-4398519-1568598447 -o /tmp/evaluation-result-4398519-1568598447/solver-4398519-1568598447 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398519-1568598447.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
Current StackSize limit: 8192 KiB
solver pid=1681, runsolver pid=1678
[startup+0.100155 s]*
/proc/loadavg: 7.45 8.08 7.84 2/189 1682
/proc/meminfo: memFree=31248852/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=35476 memory=11724 CPUtime=0.1 cores=0-7
/proc/1681/stat : 1681 (cosoco) R 1678 1681 1328 0 -1 4202496 3117 0 0 0 10 0 0 0 20 0 1 0 436113199 36327424 2931 33554432000 4194304 6211092 140722093277776 140722093274312 140657704954853 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 8869 2931 822 493 0 2174 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35476 KiB
Current children cumulated memory: 11724 KiB
[startup+0.20915 s]*
/proc/loadavg: 7.45 8.08 7.84 2/189 1682
/proc/meminfo: memFree=31239180/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=45088 memory=21336 CPUtime=0.21 cores=0-7
/proc/1681/stat : 1681 (cosoco) R 1678 1681 1328 0 -1 4202496 5523 0 0 0 20 1 0 0 20 0 1 0 436113199 46170112 5334 33554432000 4194304 6211092 140722093277776 140722093272216 140657704954853 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 11272 5334 822 493 0 4577 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45088 KiB
Current children cumulated memory: 21336 KiB
[startup+0.309234 s]*
/proc/loadavg: 7.45 8.08 7.84 2/189 1682
/proc/meminfo: memFree=31230252/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=53916 memory=30032 CPUtime=0.31 cores=0-7
/proc/1681/stat : 1681 (cosoco) R 1678 1681 1328 0 -1 4202496 7733 0 0 0 30 1 0 0 20 0 1 0 436113199 55209984 7508 33554432000 4194304 6211092 140722093277776 140722093272216 140657704954853 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 13512 7508 822 493 0 6817 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53916 KiB
Current children cumulated memory: 30032 KiB
[startup+0.704596 s]
/proc/loadavg: 7.45 8.08 7.84 2/189 1682
/proc/meminfo: memFree=31212768/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=675508 memory=62236 CPUtime=0.84 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 15956 0 0 0 81 3 0 0 20 0 9 0 436113199 691720192 15559 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 168877 15559 864 493 0 162182 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 675508 KiB
Current children cumulated memory: 62236 KiB
[startup+1.50059 s]
/proc/loadavg: 7.45 8.08 7.84 10/197 1690
/proc/meminfo: memFree=31175920/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=681664 memory=84608 CPUtime=7.04 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 23166 0 0 0 698 6 0 0 20 0 9 0 436113199 698023936 21152 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21152 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=0 CPUtime=0.78 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 1217 0 0 0 78 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657697852432 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=-3117775541953849959 CPUtime=0.78 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 707 0 0 0 78 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657689459728 5390511 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=0 CPUtime=0.79 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 1322 0 0 0 79 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657681067024 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=0 CPUtime=0.79 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 704 0 0 0 79 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657672674632 5207589 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=11 CPUtime=0.79 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 1310 0 0 0 79 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657664281616 5397356 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=288230621803970871 CPUtime=0.79 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 707 0 0 0 79 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657655889224 5165634 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=15255939406104049 CPUtime=0.79 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 716 0 0 0 79 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657647496208 5397375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=0 CPUtime=0.79 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 718 0 0 0 79 0 0 0 20 0 9 0 436113268 698023936 21152 33554432000 4194304 6211092 140722093277776 140657639103816 5165604 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 7.04 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 84608 KiB
[startup+3.11059 s]
/proc/loadavg: 7.45 8.08 7.84 9/197 1690
/proc/meminfo: memFree=31176316/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=681664 memory=85208 CPUtime=19.89 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 33866 0 0 0 1980 9 0 0 20 0 9 0 436113199 698023936 21302 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21302 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=288230377057956145 CPUtime=2.4 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 1870 0 0 0 239 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657697852432 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=288285597502801918 CPUtime=2.36 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 2570 0 0 0 236 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657689459728 5392320 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=0 CPUtime=2.39 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 1979 0 0 0 239 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657681067024 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=6576575808607333541 CPUtime=2.39 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 3219 0 0 0 239 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657672674632 5397375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=8993858465908885566 CPUtime=2.39 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 3326 0 0 0 239 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657664281616 5008824 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=-7677921907076219805 CPUtime=2.4 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 2951 0 0 0 240 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657655889224 5397375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=7740088444346855010 CPUtime=2.4 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 995 0 0 0 240 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657647496208 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=0 CPUtime=2.4 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 1191 0 0 0 240 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657639103816 5392269 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 19.89 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 85208 KiB
[startup+6.3006 s]
/proc/loadavg: 7.50 8.08 7.84 9/197 1690
/proc/meminfo: memFree=31176096/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=681664 memory=85208 CPUtime=45.36 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 55419 0 0 0 4523 13 0 0 20 0 9 0 436113199 698023936 21302 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21302 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=85208 CPUtime=5.59 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 5083 0 0 0 557 2 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657697852432 5009098 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=85208 CPUtime=5.51 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 5266 0 0 0 550 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657689459728 5009182 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=0 CPUtime=5.59 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 4060 0 0 0 558 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657681067024 5392320 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=279310179396288 CPUtime=5.59 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 6839 0 0 0 558 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657672674632 5165617 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=85208 CPUtime=5.59 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 6359 0 0 0 558 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657664281616 5165682 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=0 CPUtime=5.58 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 6377 0 0 0 558 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657655889224 5186312 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=84608 CPUtime=5.58 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 2512 0 0 0 558 0 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657647496208 5390444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=-1891255765032775953 CPUtime=5.59 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 3158 0 0 0 558 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657639103816 5165624 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 45.36 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 85208 KiB
[startup+12.7006 s]
/proc/loadavg: 7.54 8.08 7.84 9/197 1692
/proc/meminfo: memFree=31174388/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=681664 memory=85208 CPUtime=96.4 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 85323 0 0 0 9623 17 0 0 20 0 9 0 436113199 698023936 21302 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21302 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=3576 CPUtime=11.97 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 9669 0 0 0 1195 2 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657697852432 5112672 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=0 CPUtime=11.82 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 8518 0 0 0 1181 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657689459728 5165608 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=139655089692400 CPUtime=11.96 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 6852 0 0 0 1195 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657681067024 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=85208 CPUtime=11.98 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 11925 0 0 0 1197 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657672674632 5008827 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=4206468019014099040 CPUtime=11.98 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 10657 0 0 0 1197 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657664281616 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=7681407940103534243 CPUtime=11.97 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 11638 0 0 0 1196 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657655889224 5165669 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=3576 CPUtime=11.98 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 4858 0 0 0 1197 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657647496208 5165700 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=44924 CPUtime=11.98 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 5441 0 0 0 1197 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657639103816 5392257 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 96.4 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 85208 KiB
[startup+25.5006 s]
/proc/loadavg: 7.61 8.08 7.85 9/197 1693
/proc/meminfo: memFree=31174520/32770624 swapFree=66921380/67108860
[pid=1681] ppid=1678 vsize=681664 memory=85208 CPUtime=198.61 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 109561 0 0 0 19839 22 0 0 20 0 9 0 436113199 698023936 21302 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21302 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=85208 CPUtime=24.77 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 12828 0 0 0 2474 3 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657697852432 5390435 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=85208 CPUtime=24.48 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 10918 0 0 0 2446 2 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657689459728 5390416 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=85208 CPUtime=24.76 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 9203 0 0 0 2474 2 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657681067024 5165608 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=3576 CPUtime=24.78 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 16335 0 0 0 2476 2 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657672674632 5397352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=85208 CPUtime=24.77 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 14075 0 0 0 2476 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657664281616 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=44924 CPUtime=24.76 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 15674 0 0 0 2475 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657655889224 5009317 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=26852 CPUtime=24.77 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 6809 0 0 0 2476 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657647496208 5397226 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=85208 CPUtime=24.73 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 7954 0 0 0 2472 1 0 0 20 0 9 0 436113268 698023936 21302 33554432000 4194304 6211092 140722093277776 140657639103816 5009210 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 198.61 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 85208 KiB
################
# More data... #
################
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 24316 0 0 0 226112 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657681067024 5008852 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=86080 CPUtime=2253.39 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 37736 0 0 0 225334 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657672674632 5165682 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=86080 CPUtime=2260.53 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 30679 0 0 0 226050 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657664281616 5409457 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=86080 CPUtime=2261.27 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 38961 0 0 0 226123 4 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657655889224 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=86080 CPUtime=2261.28 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 18324 0 0 0 226125 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657647496208 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=3576 CPUtime=2242.09 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 20632 0 0 0 224204 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657639103816 5165608 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 18060.2 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 86080 KiB
[startup+2322.3 s]
/proc/loadavg: 8.43 8.23 8.20 9/197 1888
/proc/meminfo: memFree=31175620/32770624 swapFree=66921424/67108860
[pid=1681] ppid=1678 vsize=681664 memory=86080 CPUtime=18539.3 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 248059 0 0 0 1853883 44 0 0 20 0 9 0 436113199 698023936 21520 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21520 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=86080 CPUtime=2320.94 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 31899 0 0 0 232087 7 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657697852432 5112713 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=86080 CPUtime=2317.95 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 25679 0 0 0 231790 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657689459728 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=86080 CPUtime=2321.15 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 24889 0 0 0 232110 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657681067024 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=86080 CPUtime=2313.38 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 38673 0 0 0 231333 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657672674632 5008831 0 0 4096 8405026 0 0 0 -1 3 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=86080 CPUtime=2320.52 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 31045 0 0 0 232049 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657664281616 5390468 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=86080 CPUtime=2321.24 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 39724 0 0 0 232120 4 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657655889224 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=86080 CPUtime=2321.27 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 18883 0 0 0 232124 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657647496208 5390435 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=86080 CPUtime=2302.08 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 21502 0 0 0 230203 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657639103816 5392339 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 18539.3 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 86080 KiB
[startup+2382.3 s]
/proc/loadavg: 8.51 8.31 8.23 9/197 1892
/proc/meminfo: memFree=31175420/32770624 swapFree=66921424/67108860
[pid=1681] ppid=1678 vsize=681664 memory=86080 CPUtime=19018.4 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 248503 0 0 0 1901799 44 0 0 20 0 9 0 436113199 698023936 21520 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21520 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=3576 CPUtime=2380.93 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 31981 0 0 0 238086 7 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657697852432 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=86080 CPUtime=2377.18 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 25723 0 0 0 237713 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657689459728 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=86080 CPUtime=2381.14 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 24927 0 0 0 238109 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657681067024 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=86080 CPUtime=2373.37 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 38730 0 0 0 237332 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657672674632 5404540 0 0 4096 8405026 0 0 0 -1 3 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=86080 CPUtime=2380.52 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 31076 0 0 0 238049 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657664281616 5392261 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=86080 CPUtime=2381.21 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 39768 0 0 0 238117 4 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657655889224 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=86080 CPUtime=2381.26 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 18950 0 0 0 238123 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657647496208 5390435 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=86080 CPUtime=2362.07 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 21583 0 0 0 236202 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657639103816 5165624 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 19018.4 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 86080 KiB
[startup+2442.3 s]
/proc/loadavg: 8.24 8.27 8.22 9/198 1897
/proc/meminfo: memFree=31176156/32770624 swapFree=66921424/67108860
[pid=1681] ppid=1678 vsize=681664 memory=86080 CPUtime=19497.6 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 248935 0 0 0 1949717 44 0 0 20 0 9 0 436113199 698023936 21520 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21520 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=86080 CPUtime=2440.93 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 32029 0 0 0 244086 7 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657697852432 5392343 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=86080 CPUtime=2436.42 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 25784 0 0 0 243637 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657689459728 5390449 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=86080 CPUtime=2441.13 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 24969 0 0 0 244108 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657681067024 5392292 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=86080 CPUtime=2433.37 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 38797 0 0 0 243332 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657672674632 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=86080 CPUtime=2440.51 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 31119 0 0 0 244048 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657664281616 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=86080 CPUtime=2441.19 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 39827 0 0 0 244115 4 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657655889224 5165608 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=86080 CPUtime=2441.25 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 19006 0 0 0 244122 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657647496208 5390483 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=86080 CPUtime=2422.06 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 21639 0 0 0 242201 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657639103816 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 19497.6 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 86080 KiB
[startup+2502.3 s]
/proc/loadavg: 8.09 8.22 8.21 9/198 1908
/proc/meminfo: memFree=31175004/32770624 swapFree=66921428/67108860
[pid=1681] ppid=1678 vsize=681664 memory=86080 CPUtime=19976.8 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 249355 0 0 0 1997632 45 0 0 20 0 9 0 436113199 698023936 21520 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21520 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=86080 CPUtime=2500.92 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 32056 0 0 0 250085 7 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657697852432 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=86080 CPUtime=2495.66 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 25839 0 0 0 249561 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657689459728 5397375 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=86080 CPUtime=2501.11 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 25036 0 0 0 250106 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657681067024 5186246 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=86080 CPUtime=2493.36 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 38857 0 0 0 249331 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657672674632 5390468 0 0 4096 8405026 0 0 0 -1 3 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=86080 CPUtime=2500.51 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 31139 0 0 0 250048 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657664281616 5390435 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=86080 CPUtime=2501.16 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 39896 0 0 0 250112 4 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657655889224 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=86080 CPUtime=2501.25 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 19058 0 0 0 250122 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657647496208 5186210 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=0 CPUtime=2482.05 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 21709 0 0 0 248200 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657639103816 5397375 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 19976.8 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 86080 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.07 8.21 8.21 9/198 1908
/proc/meminfo: memFree=31175128/32770624 swapFree=66921428/67108860
[pid=1681] ppid=1678 vsize=681664 memory=86080 CPUtime=20118.2 cores=0-7
/proc/1681/stat : 1681 (cosoco) S 1678 1681 1328 0 -1 1077944320 249355 0 0 0 2011774 45 0 0 20 0 9 0 436113199 698023936 21520 33554432000 4194304 6211092 140722093277776 140722093276032 140657720995575 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
/proc/1681/statm: 170416 21520 873 493 0 163721 0
[pid=1681/tid=1683] ppid=1678 vsize=681664 memory=1399051139730258233 CPUtime=2518.63 cores=0-7
/proc/1681/task/1683/stat : 1683 (cosoco) R 1678 1681 1328 0 -1 4202560 32056 0 0 0 251856 7 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657697852432 5165716 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1684] ppid=1678 vsize=681664 memory=4872558044660077418 CPUtime=2513.14 cores=0-7
/proc/1681/task/1684/stat : 1684 (cosoco) R 1678 1681 1328 0 -1 4202560 25839 0 0 0 251309 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657689459728 5165648 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1685] ppid=1678 vsize=681664 memory=1560 CPUtime=2518.81 cores=0-7
/proc/1681/task/1685/stat : 1685 (cosoco) R 1678 1681 1328 0 -1 4202560 25036 0 0 0 251876 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657681067024 5165593 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1686] ppid=1678 vsize=681664 memory=500 CPUtime=2511.07 cores=0-7
/proc/1681/task/1686/stat : 1686 (cosoco) R 1678 1681 1328 0 -1 4202560 38857 0 0 0 251102 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657672674632 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1687] ppid=1678 vsize=681664 memory=928 CPUtime=2518.21 cores=0-7
/proc/1681/task/1687/stat : 1687 (cosoco) R 1678 1681 1328 0 -1 4202560 31139 0 0 0 251818 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657664281616 5009101 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1688] ppid=1678 vsize=681664 memory=1804 CPUtime=2518.87 cores=0-7
/proc/1681/task/1688/stat : 1688 (cosoco) R 1678 1681 1328 0 -1 4202560 39896 0 0 0 251883 4 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657655889224 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1689] ppid=1678 vsize=681664 memory=1448 CPUtime=2518.96 cores=0-7
/proc/1681/task/1689/stat : 1689 (cosoco) R 1678 1681 1328 0 -1 4202560 19058 0 0 0 251893 3 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657647496208 5009005 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
[pid=1681/tid=1690] ppid=1678 vsize=681664 memory=1748 CPUtime=2499.76 cores=0-7
/proc/1681/task/1690/stat : 1690 (cosoco) R 1678 1681 1328 0 -1 4202560 21709 0 0 0 249971 5 0 0 20 0 9 0 436113268 698023936 21520 33554432000 4194304 6211092 140722093277776 140657639103816 5397454 0 0 4096 8405026 0 0 0 -1 0 0 0 3 0 0 8312316 8317760 41029632 140722093282321 140722093282413 140722093282413 140722093285326 0
Current children cumulated CPU time: 20118.2 s
Current children cumulated vsize: 681664 KiB
Current children cumulated memory: 86080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 1681 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20117.8 s, system=0.455724 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 20118.3
CPU user time (s): 20117.8
CPU system time (s): 0.455724
CPU usage (%): 798.338
Max. virtual memory (cumulated for all children) (KiB): 681664
Max. memory (cumulated for all children) (KiB): 86080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20117.8
system time used= 0.455724
maximum resident set size= 86216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249404
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= 3355
involuntary context switches= 139075
# summary of solver processes directly reported to runsolver:
# pid: 1681
# total CPU time (s): 20118.3
# total CPU user time (s): 20117.8
# total CPU system time (s): 0.455724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.293 second user time and 21.7522 second system time
The end
Begin job on node139 at 2019-09-16 03:49:17 IDJOB=4398519 IDBENCH=120638 IDSOLVER=2851 FILE ID=node139/4398519-1568598447 RUNJOBID= node139-1568596036-1355 PBS_JOBID= 21703395 Free space on /tmp= 59556 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-zeroin-i-1.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398519-1568598447/watcher-4398519-1568598447 -o /tmp/evaluation-result-4398519-1568598447/solver-4398519-1568598447 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398519-1568598447.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bac8a2bd88d13c89c2cced4f7584e960 RANDOM SEED=1128812994 node139.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.57 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.57 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.57 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.57 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: 31256320 kB MemAvailable: 31828692 kB Buffers: 90116 kB Cached: 772916 kB SwapCached: 78084 kB Active: 515416 kB Inactive: 430124 kB Active(anon): 7832 kB Inactive(anon): 116904 kB Active(file): 507584 kB Inactive(file): 313220 kB Unevictable: 107864 kB Mlocked: 107864 kB SwapTotal: 67108860 kB SwapFree: 66921380 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 128064 kB Mapped: 46312 kB Shmem: 33352 kB Slab: 163636 kB SReclaimable: 134808 kB SUnreclaim: 28828 kB KernelStack: 3680 kB PageTables: 5544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496308 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59556 MiB End job on node139 at 2019-09-16 04:31:17