Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 5 | 2012.45 | 252.021 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-myciel5.xml |
MD5SUM | a954d880863fe6e02d270e9cafb0ae96 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 19.3894 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 47 |
Number of constraints | 236 |
Number of domains | 1 |
Minimum domain size | 47 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":47,"count":47}] |
Minimum variable degree | 6 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":6,"count":5},{"degree":7,"count":5},{"degree":8,"count":6},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":5},{"degree":12,"count":1},{"degree":13,"count":7},{"degree":17,"count":5},{"degree":21,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":236}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 236 |
Distribution of constraint types | [{"type":"intension","count":236}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -model -nbcores=8 HOME/instance-4409862-1569828159.xml 0.00/0.04 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.04 s 0.00/0.04 c | 0.00/0.04 c | Variables: 47 0.00/0.04 c | Domain Sizes: 47..47 0.00/0.04 c | 0.00/0.04 c | Constraints: 237 0.00/0.04 c | Arity: 2..47 -- Binary: 236 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | (X != Y): 236 0.00/0.04 c | Max constant: 1 0.00/0.04 c | 0.00/0.04 c | Objective: Minimize Max constant 0.00/0.04 0.00/0.04 c ========================================================================================================= 0.00/0.04 c Parallel mode: Portfolio 0.00/0.04 c [pFactory][Group N°0] created (threads:8). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.04 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] task 7 launched on thread 1. 0.00/0.04 c [pFactory][Group N°0] task 6 launched on thread 2. 0.00/0.04 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.04 c [pFactory][Group N°0] task 4 launched on thread 5. 0.00/0.04 c [pFactory][Group N°0] task 3 launched on thread 6. 0.00/0.04 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.04 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.04 o 5 2012.35/252.02 c [pFactory][Group N°0] task 0 launched on thread 7. 2012.35/252.02 2012.35/252.02 c *** INTERRUPTED *** 2012.35/252.02 c call to solver : 1 2012.35/252.02 c 2012.35/252.02 c restarts : 524404 2012.35/252.02 c conflicts : 8285672 (4117 /sec) 2012.35/252.02 c decisions : 47699179 (23702 /sec) 2012.35/252.02 c propagations : 530478179 (263600 /sec) 2012.35/252.02 c root propagations : 2969 2012.35/252.02 c filter calls : 2965525271 (1473602 /sec) 2012.35/252.02 c useless filter calls : 2530684500 (85 %) 2012.35/252.02 c Memory used : 605.06 MB 2012.35/252.02 c Best bound time (wc) : 0.0401649 s 2012.35/252.02 c CPU time : 2012.43 s 2012.35/252.02 c real time : 252.016 s 2012.35/252.02 2012.35/252.02 s SATISFIABLE 2012.35/252.02 c Best value found: 5 2012.35/252.02 2012.35/252.02 2012.35/252.02 v <instantiation type='solution' cost='5'> 2012.35/252.02 v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] 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[4] x[5] x[6] x[7] x[8] x[9] </list> 2012.35/252.02 v <values>1 1 3 4 3 4 2 2 2 3 4 0 2 5 1 3 0 3 0 2 2 0 1 3 0 2 0 3 0 3 0 2 2 0 0 3 0 2 0 0 1 2 2 2 3 4 2 </values> 2012.35/252.02 v </instantiation> 2012.35/252.02
OK 5
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 (15440 MiB free) memory of node 1: 16384 MiB (15730 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409862-1569828159/watcher-4409862-1569828159 -o /tmp/evaluation-result-4409862-1569828159/solver-4409862-1569828159 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node121-1569816066-8013 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409862-1569828159.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=9664, runsolver pid=9661 [startup+0.100717 s]* /proc/loadavg: 5.96 8.45 8.89 10/200 9673 /proc/meminfo: memFree=31915644/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=6460 CPUtime=0.54 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 2079 0 0 0 54 0 0 0 20 0 9 0 559078445 634445824 1615 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1615 870 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=1398722017469774279 CPUtime=0.06 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 6 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710857006208 5009195 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=4872558142750482497 CPUtime=0.06 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 85 0 0 0 6 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710848613392 5392378 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=140190107301504 CPUtime=0.06 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 6 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710840220688 5392301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=0 CPUtime=0.06 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710831827984 5397258 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=0 CPUtime=0.06 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710823435280 5396447 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=0 CPUtime=0.06 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 52 0 0 0 6 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710815042592 5165693 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=-1 CPUtime=0.05 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710806649872 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=0 CPUtime=0.06 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710798257168 5112718 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 6460 KiB [startup+0.210714 s]* /proc/loadavg: 5.96 8.45 8.89 9/200 9673 /proc/meminfo: memFree=31915644/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=6460 CPUtime=1.4 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 2079 0 0 0 140 0 0 0 20 0 9 0 559078445 634445824 1615 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1615 870 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=8316850467074736180 CPUtime=0.17 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 17 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710857006208 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=2996194 CPUtime=0.17 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 85 0 0 0 17 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710848613392 5396424 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=140190107311232 CPUtime=0.17 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 17 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710840220688 5009195 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=-1 CPUtime=0.17 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 35 0 0 0 17 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710831827984 5165708 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=0 CPUtime=0.17 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 36 0 0 0 17 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710823435280 5397297 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=0 CPUtime=0.17 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 52 0 0 0 17 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710815042888 5392367 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=-1 CPUtime=0.15 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 38 0 0 0 15 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710806649872 5397414 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=0 CPUtime=0.17 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 29 0 0 0 17 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710798257168 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 1.4 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 6460 KiB [startup+0.309715 s]* /proc/loadavg: 5.96 8.45 8.89 9/200 9673 /proc/meminfo: memFree=31916264/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=6460 CPUtime=2.19 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 2079 0 0 0 218 1 0 0 20 0 9 0 559078445 634445824 1615 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1615 870 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=1398722017469774279 CPUtime=0.27 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 27 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710857006208 5009195 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 85 0 0 0 27 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710848613392 5165671 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=0 CPUtime=0.27 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 27 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710840220688 5008971 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=6944656592455359580 CPUtime=0.27 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 35 0 0 0 27 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710831827984 5397493 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=6656426216303648864 CPUtime=0.27 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 36 0 0 0 27 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710823435280 5207550 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=0 CPUtime=0.26 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 52 0 0 0 26 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710815042888 5397481 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=0 CPUtime=0.24 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 38 0 0 0 24 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710806649872 5009195 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=0 CPUtime=0.27 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710798257168 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 2.19 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 6460 KiB [startup+0.700715 s] /proc/loadavg: 5.96 8.45 8.89 9/200 9673 /proc/meminfo: memFree=31916264/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=6460 CPUtime=5.23 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 2079 0 0 0 522 1 0 0 20 0 9 0 559078445 634445824 1615 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1615 870 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=-7035114785800479027 CPUtime=0.65 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 65 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710857006208 5397251 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=1764 CPUtime=0.65 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 85 0 0 0 65 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710848613392 5390520 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=111632 CPUtime=0.65 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 56 0 0 0 65 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710840220688 5009195 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=804 CPUtime=0.65 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 35 0 0 0 65 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710831827984 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=1804 CPUtime=0.65 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 36 0 0 0 65 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710823435280 5390448 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=920 CPUtime=0.65 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 52 0 0 0 65 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710815042888 5165701 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=7100839861465685612 CPUtime=0.6 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 38 0 0 0 60 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710806649872 5165777 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=3054156605268465310 CPUtime=0.65 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 29 0 0 0 65 0 0 0 20 0 9 0 559078450 634445824 1615 33554432000 4194304 6211132 140720336567200 140710798257168 5392746 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 5.23 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 6460 KiB [startup+1.50071 s] /proc/loadavg: 5.96 8.45 8.89 9/200 9673 /proc/meminfo: memFree=31916264/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=11.62 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 2784 0 0 0 1161 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=6433861010613 CPUtime=1.45 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 153 0 0 0 145 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006208 5397227 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=288230621803970871 CPUtime=1.45 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 180 0 0 0 145 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613392 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=0 CPUtime=1.45 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 102 0 0 0 145 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220688 5392751 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=0 CPUtime=1.45 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 228 0 0 0 145 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=0 CPUtime=1.45 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 85 0 0 0 145 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435280 5408911 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=0 CPUtime=1.45 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 94 0 0 0 145 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042888 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=-2746958450906831424 CPUtime=1.39 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 164 0 0 0 139 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649872 5186260 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=0 CPUtime=1.45 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 86 0 0 0 145 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5009104 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 11.62 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB [startup+3.10971 s] /proc/loadavg: 5.96 8.45 8.89 9/200 9673 /proc/meminfo: memFree=31916440/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=24.47 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 3499 0 0 0 2446 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=7540 CPUtime=3.06 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 253 0 0 0 306 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006208 5009314 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=6944938067432061290 CPUtime=3.06 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 272 0 0 0 306 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613392 5008840 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=0 CPUtime=3.06 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 129 0 0 0 306 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220688 5009195 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=0 CPUtime=3.06 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 327 0 0 0 306 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5390476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=6460 CPUtime=3.06 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 197 0 0 0 306 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435280 5392367 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=2212 CPUtime=3.05 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 170 0 0 0 305 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042888 5392293 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=6460 CPUtime=2.98 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 254 0 0 0 298 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649872 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=7540 CPUtime=3.06 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 205 0 0 0 306 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5165640 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 24.47 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB [startup+6.30071 s] /proc/loadavg: 6.05 8.43 8.88 9/200 9673 /proc/meminfo: memFree=31916936/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=49.96 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 4938 0 0 0 4995 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=7540 CPUtime=6.25 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 434 0 0 0 625 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006016 5392749 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=140194402268799 CPUtime=6.25 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 497 0 0 0 625 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613392 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=0 CPUtime=6.25 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 266 0 0 0 625 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220688 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=0 CPUtime=6.25 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 565 0 0 0 625 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5390500 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 ################ # More data... # ################ /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 800 0 0 0 2544 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220688 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=0 CPUtime=25.45 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 1284 0 0 0 2545 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5207617 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=3472328296227681489 CPUtime=25.45 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 950 0 0 0 2545 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435280 5165640 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=3620 CPUtime=25.44 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 674 0 0 0 2544 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042888 5392384 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=10648 CPUtime=25.09 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 1120 0 0 0 2509 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649872 5392753 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=2004 CPUtime=25.45 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 1162 0 0 0 2545 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 203.29 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB [startup+51.1097 s] /proc/loadavg: 7.08 8.37 8.84 9/200 9676 /proc/meminfo: memFree=31918240/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=407.83 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 12874 0 0 0 40782 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=7540 CPUtime=51.06 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 1425 0 0 0 5106 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006016 5392736 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=5085 CPUtime=51.05 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 1587 0 0 0 5105 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613392 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=7540 CPUtime=51.04 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 1035 0 0 0 5104 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220688 5186301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=0 CPUtime=51.06 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 1718 0 0 0 5106 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5193763 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=0 CPUtime=51.05 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 1343 0 0 0 5105 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435280 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=0 CPUtime=51.04 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 1021 0 0 0 5104 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042888 5417184 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=7540 CPUtime=50.38 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 1401 0 0 0 5038 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649872 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=7540 CPUtime=51.06 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 1652 0 0 0 5106 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5392352 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 407.83 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB [startup+102.304 s] /proc/loadavg: 7.60 8.31 8.79 9/200 9679 /proc/meminfo: memFree=31917984/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=816.71 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 15764 0 0 0 81670 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=7540 CPUtime=102.25 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 1727 0 0 0 10225 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006016 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=7540 CPUtime=102.24 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 2023 0 0 0 10224 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613392 5165653 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=0 CPUtime=102.22 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 1347 0 0 0 10222 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220608 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=55 CPUtime=102.25 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 2169 0 0 0 10225 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=164 CPUtime=102.24 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 1644 0 0 0 10224 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435280 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=7540 CPUtime=102.23 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 1312 0 0 0 10223 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042496 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=140194402268799 CPUtime=100.96 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 1756 0 0 0 10096 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649872 5112689 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=-7035114785800479027 CPUtime=102.25 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 2094 0 0 0 10225 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5392293 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 816.71 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB [startup+162.301 s] /proc/loadavg: 8.07 8.30 8.76 9/200 9684 /proc/meminfo: memFree=31917144/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=1295.88 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 16508 0 0 0 129587 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=7540 CPUtime=162.24 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 1815 0 0 0 16224 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006016 5112718 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=7540 CPUtime=161.75 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 2139 0 0 0 16175 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613392 5390520 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=7540 CPUtime=162.21 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 1447 0 0 0 16221 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220608 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=7540 CPUtime=162.24 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 2243 0 0 0 16224 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5409414 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=0 CPUtime=162.23 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 1738 0 0 0 16223 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435200 5008844 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=7164218000754174320 CPUtime=162.21 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 1375 0 0 0 16221 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042496 5409414 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=7540 CPUtime=160.68 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 1840 0 0 0 16068 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649872 5397321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=756 CPUtime=162.25 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 2219 0 0 0 16225 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5403762 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 1295.88 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB [startup+222.301 s] /proc/loadavg: 8.55 8.40 8.77 9/199 9688 /proc/meminfo: memFree=31918088/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=1775.09 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 17245 0 0 0 177508 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=7540 CPUtime=222.24 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 1902 0 0 0 22224 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006016 5009098 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=7540 CPUtime=221.01 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 2244 0 0 0 22101 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613312 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=7540 CPUtime=222.2 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 1536 0 0 0 22220 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220608 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=7540 CPUtime=222.24 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 2313 0 0 0 22224 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5392384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=7540 CPUtime=222.2 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 1836 0 0 0 22220 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435200 5392367 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=7540 CPUtime=222.2 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 1465 0 0 0 22220 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042496 5008971 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=7540 CPUtime=220.67 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 1929 0 0 0 22067 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649792 5008971 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=1028 CPUtime=222.24 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 2328 0 0 0 22224 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5165625 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 1775.09 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.73 8.46 8.77 9/199 9690 /proc/meminfo: memFree=31917128/32770624 swapFree=66993532/67108860 [pid=9664] ppid=9661 vsize=619576 memory=7540 CPUtime=2012.35 cores=0-7 /proc/9664/stat : 9664 (cosoco) S 9661 9664 7986 0 -1 1077944320 17973 0 0 0 201234 1 0 0 20 0 9 0 559078445 634445824 1885 33554432000 4194304 6211132 140720336567200 140720336565456 140710880149239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 /proc/9664/statm: 154894 1885 872 493 0 148199 0 [pid=9664/tid=9666] ppid=9661 vsize=619576 memory=2828 CPUtime=251.94 cores=0-7 /proc/9664/task/9666/stat : 9666 (cosoco) R 9661 9664 7986 0 -1 4202560 2023 0 0 0 25194 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710857006016 5165653 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9667] ppid=9661 vsize=619576 memory=756 CPUtime=250.35 cores=0-7 /proc/9664/task/9667/stat : 9667 (cosoco) R 9661 9664 7986 0 -1 4202560 2362 0 0 0 25035 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710848613312 5391484 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9668] ppid=9661 vsize=619576 memory=1548 CPUtime=251.91 cores=0-7 /proc/9664/task/9668/stat : 9668 (cosoco) R 9661 9664 7986 0 -1 4202560 1597 0 0 0 25191 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710840220608 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9669] ppid=9661 vsize=619576 memory=4872558044660077418 CPUtime=251.94 cores=0-7 /proc/9664/task/9669/stat : 9669 (cosoco) R 9661 9664 7986 0 -1 4202560 2380 0 0 0 25194 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710831827984 5165642 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9670] ppid=9661 vsize=619576 memory=288230621803970871 CPUtime=251.9 cores=0-7 /proc/9664/task/9670/stat : 9670 (cosoco) R 9661 9664 7986 0 -1 4202560 1930 0 0 0 25190 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710823435200 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9671] ppid=9661 vsize=619576 memory=14127844787751476 CPUtime=251.9 cores=0-7 /proc/9664/task/9671/stat : 9671 (cosoco) R 9661 9664 7986 0 -1 4202560 1539 0 0 0 25190 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710815042496 5112160 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9672] ppid=9661 vsize=619576 memory=12028 CPUtime=250.38 cores=0-7 /proc/9664/task/9672/stat : 9672 (cosoco) R 9661 9664 7986 0 -1 4202560 2005 0 0 0 25038 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710806649792 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 [pid=9664/tid=9673] ppid=9661 vsize=619576 memory=6624 CPUtime=251.95 cores=0-7 /proc/9664/task/9673/stat : 9673 (cosoco) R 9661 9664 7986 0 -1 4202560 2445 0 0 0 25195 0 0 0 20 0 9 0 559078450 634445824 1885 33554432000 4194304 6211132 140720336567200 140710798257168 5186231 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21725184 140720336569366 140720336569458 140720336569458 140720336572366 0 Current children cumulated CPU time: 2012.35 s Current children cumulated vsize: 619576 KiB Current children cumulated memory: 7540 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.021 s] # the end of solver process 9664 was just reported to runsolver # cumulated CPU time of all completed processes: user=2012.43 s, system=0.014993 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.021 CPU time (s): 2012.45 CPU user time (s): 2012.43 CPU system time (s): 0.014993 CPU usage (%): 798.525 Max. virtual memory (cumulated for all children) (KiB): 619576 Max. memory (cumulated for all children) (KiB): 7540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2012.43 system time used= 0.014993 maximum resident set size= 7660 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18022 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= 534 involuntary context switches= 17646 # summary of solver processes directly reported to runsolver: # pid: 9664 # total CPU time (s): 2012.45 # total CPU user time (s): 2012.43 # total CPU system time (s): 0.014993 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.13083 second user time and 1.93276 second system time The end
Begin job on node121 at 2019-09-30 09:21:56 IDJOB=4409862 IDBENCH=120561 IDSOLVER=2878 FILE ID=node121/4409862-1569828159 RUNJOBID= node121-1569816066-8013 PBS_JOBID= 21705901 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-myciel5.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409862-1569828159/watcher-4409862-1569828159 -o /tmp/evaluation-result-4409862-1569828159/solver-4409862-1569828159 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node121-1569816066-8013 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409862-1569828159.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a954d880863fe6e02d270e9cafb0ae96 RANDOM SEED=1872666433 node121.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.75 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.75 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.75 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.75 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: 31919248 kB MemAvailable: 31881088 kB Buffers: 69172 kB Cached: 210132 kB SwapCached: 4524 kB Active: 144228 kB Inactive: 143384 kB Active(anon): 2912 kB Inactive(anon): 80052 kB Active(file): 141316 kB Inactive(file): 63332 kB Unevictable: 109564 kB Mlocked: 109564 kB SwapTotal: 67108860 kB SwapFree: 66993532 kB Dirty: 2840 kB Writeback: 0 kB AnonPages: 196496 kB Mapped: 27148 kB Shmem: 66168 kB Slab: 154684 kB SReclaimable: 125452 kB SUnreclaim: 29232 kB KernelStack: 3728 kB PageTables: 5656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538948 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node121 at 2019-09-30 09:26:08