Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | SAT (TO) | 5 | 2012.5 | 252.023 |
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-4398602-1568607005.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 4. 0.00/0.04 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.04 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.04 c [pFactory][Group N°0] task 4 launched on thread 2. 0.00/0.04 c [pFactory][Group N°0] task 3 launched on thread 6. 0.00/0.04 o 5 2012.39/252.02 c [pFactory][Group N°0] task 2 launched on thread 7. 2012.39/252.02 c [pFactory][Group N°0] task 1 launched on thread 5. 2012.39/252.02 c [pFactory][Group N°0] task 0 launched on thread 3. 2012.39/252.02 2012.39/252.02 c *** INTERRUPTED *** 2012.39/252.02 c call to solver : 1 2012.39/252.02 c 2012.39/252.02 c restarts : 537859 2012.39/252.02 c conflicts : 8402177 (4175 /sec) 2012.39/252.02 c decisions : 48530915 (24115 /sec) 2012.39/252.02 c propagations : 537231166 (266949 /sec) 2012.39/252.02 c root propagations : 2121 2012.39/252.02 c filter calls : 3007002641 (1494171 /sec) 2012.39/252.02 c useless filter calls : 2566415838 (85 %) 2012.39/252.02 c Memory used : 604.93 MB 2012.39/252.02 c Best bound time (wc) : 0.0392039 s 2012.39/252.02 c CPU time : 2012.49 s 2012.39/252.02 c real time : 252.017 s 2012.39/252.02 2012.39/252.02 s SATISFIABLE 2012.39/252.02 c Best value found: 5 2012.39/252.02 2012.39/252.02 2012.39/252.02 v <instantiation type='solution' cost='5'> 2012.39/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.39/252.02 v <values>1 3 1 0 1 2 0 1 0 1 2 0 0 3 4 1 0 1 2 0 1 0 1 1 2 0 3 1 0 1 2 0 1 2 0 1 2 0 3 4 5 0 1 0 1 2 0 </values> 2012.39/252.02 v </instantiation> 2012.39/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 (14701 MiB free) memory of node 1: 16384 MiB (15816 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398602-1568607005/watcher-4398602-1568607005 -o /tmp/evaluation-result-4398602-1568607005/solver-4398602-1568607005 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398602-1568607005.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 solver pid=3363, runsolver pid=3360 Current StackSize limit: 8192 KiB [startup+0.101004 s]* /proc/loadavg: 7.52 8.05 8.01 9/199 3372 /proc/meminfo: memFree=31247584/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=6484 CPUtime=0.54 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 2081 0 0 0 54 0 0 0 20 0 9 0 436969034 634310656 1621 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1621 865 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=7005738693937936738 CPUtime=0.06 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 39 0 0 0 6 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216981081104 5165634 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=4872558044660077418 CPUtime=0.06 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 84 0 0 0 6 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216972688400 5380307 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=139655710193280 CPUtime=0.06 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216964295696 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=0 CPUtime=0.06 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 57 0 0 0 6 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216955902992 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=0 CPUtime=0.06 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 60 0 0 0 6 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216947510288 5392352 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=0 CPUtime=0.06 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216939117464 5112718 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=-1 CPUtime=0.05 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216930724880 5404024 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=0 CPUtime=0.06 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216922332024 5392721 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 6484 KiB [startup+0.210004 s]* /proc/loadavg: 7.52 8.05 8.01 9/199 3372 /proc/meminfo: memFree=31247584/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=6484 CPUtime=1.4 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 2081 0 0 0 140 0 0 0 20 0 9 0 436969034 634310656 1621 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1621 865 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=-7035114785800479027 CPUtime=0.17 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 39 0 0 0 17 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216981081104 5409406 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=4872558142750484545 CPUtime=0.17 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 84 0 0 0 17 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216972688400 5112672 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=139655710193280 CPUtime=0.17 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 36 0 0 0 17 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216964295304 5390488 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=0 CPUtime=0.17 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 57 0 0 0 17 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216955902992 5165608 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=0 CPUtime=0.17 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 60 0 0 0 17 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216947510288 5392714 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=0 CPUtime=0.17 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 17 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216939117464 5392240 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=-1 CPUtime=0.15 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 38 0 0 0 15 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216930724880 5397235 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=0 CPUtime=0.17 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 17 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216922332024 5009142 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 1.4 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 6484 KiB [startup+0.310003 s]* /proc/loadavg: 7.52 8.05 8.01 9/199 3372 /proc/meminfo: memFree=31247584/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=6484 CPUtime=2.19 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 2081 0 0 0 219 0 0 0 20 0 9 0 436969034 634310656 1621 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1621 865 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=-7035114785800479027 CPUtime=0.27 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 39 0 0 0 27 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216981081104 5009218 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=-1 CPUtime=0.27 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 84 0 0 0 27 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216972688400 5009195 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=139655710193280 CPUtime=0.27 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 36 0 0 0 27 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216964295304 5392240 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=-1 CPUtime=0.27 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 57 0 0 0 27 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216955902992 5392320 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=0 CPUtime=0.27 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 60 0 0 0 27 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216947510288 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=0 CPUtime=0.27 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 27 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216939117464 5008824 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=2208 CPUtime=0.24 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 38 0 0 0 24 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216930724880 5165624 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=0 CPUtime=0.27 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 27 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216922332024 5392352 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 2.19 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 6484 KiB [startup+0.700998 s] /proc/loadavg: 7.52 8.05 8.01 9/199 3372 /proc/meminfo: memFree=31247300/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=6484 CPUtime=5.23 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 2081 0 0 0 523 0 0 0 20 0 9 0 436969034 634310656 1621 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1621 865 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=0 CPUtime=0.65 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 39 0 0 0 65 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216981081104 5193731 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=0 CPUtime=0.65 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 84 0 0 0 65 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216972688400 5112689 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=0 CPUtime=0.65 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 36 0 0 0 65 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216964295304 5009016 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=0 CPUtime=0.65 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 57 0 0 0 65 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216955903304 5390444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=10728 CPUtime=0.65 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 60 0 0 0 65 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216947510288 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=1552 CPUtime=0.65 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 65 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216939117192 5380256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=4096 CPUtime=0.6 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 38 0 0 0 60 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216930724880 5009195 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=2832 CPUtime=0.65 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 37 0 0 0 65 0 0 0 20 0 9 0 436969039 634310656 1621 33554432000 4194304 6211092 140724252970112 140216922332024 5165639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 5.23 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 6484 KiB [startup+1.501 s] /proc/loadavg: 7.52 8.05 8.01 9/199 3372 /proc/meminfo: memFree=31247300/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=11.62 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 2797 0 0 0 1162 0 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=139660005160575 CPUtime=1.45 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 83 0 0 0 145 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5008852 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=6943526294502006880 CPUtime=1.45 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 192 0 0 0 145 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5380270 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=55 CPUtime=1.45 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 76 0 0 0 145 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5009016 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=0 CPUtime=1.45 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 218 0 0 0 145 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5392343 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=125 CPUtime=1.45 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 110 0 0 0 145 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5392714 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=125 CPUtime=1.45 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 179 0 0 0 145 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117192 5008971 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=125 CPUtime=1.39 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 152 0 0 0 139 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724880 5009314 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=45204 CPUtime=1.45 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 94 0 0 0 145 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332024 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 11.62 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB [startup+3.11 s] /proc/loadavg: 7.52 8.05 8.01 9/199 3373 /proc/meminfo: memFree=31247192/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=24.46 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 3516 0 0 0 2446 0 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=132 CPUtime=3.06 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 175 0 0 0 306 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5397168 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=199 CPUtime=3.06 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 281 0 0 0 306 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5392269 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=206 CPUtime=3.06 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 121 0 0 0 306 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=6484 CPUtime=3.06 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 323 0 0 0 306 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5392261 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=1060 CPUtime=3.06 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 207 0 0 0 306 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5390478 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=3620 CPUtime=3.06 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 274 0 0 0 306 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117192 5009001 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=45204 CPUtime=2.98 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 242 0 0 0 298 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724880 5392714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=0 CPUtime=3.05 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 200 0 0 0 305 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332024 5390439 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 24.46 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB [startup+6.301 s] /proc/loadavg: 7.24 7.99 7.99 9/200 3375 /proc/meminfo: memFree=31246892/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=49.94 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 4964 0 0 0 4994 0 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=7548 CPUtime=6.25 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 328 0 0 0 625 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5165728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=3472328296227679313 CPUtime=6.25 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 484 0 0 0 625 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5009005 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=139660005160575 CPUtime=6.25 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 268 0 0 0 625 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=7548 CPUtime=6.25 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 555 0 0 0 625 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5390488 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 ################ # More data... # ################ /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 833 0 0 0 2544 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5390468 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=7548 CPUtime=25.45 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 1289 0 0 0 2545 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5390424 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=139655559250073 CPUtime=25.45 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 890 0 0 0 2545 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=7548 CPUtime=25.44 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 1263 0 0 0 2544 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117192 5008971 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=434 CPUtime=25.1 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 1127 0 0 0 2510 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724880 5397304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=314 CPUtime=25.44 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 943 0 0 0 2544 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332024 5165610 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 203.3 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB [startup+51.119 s] /proc/loadavg: 8.08 8.10 8.03 9/200 3377 /proc/meminfo: memFree=31246420/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=407.89 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 12942 0 0 0 40788 1 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=45204 CPUtime=51.06 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 1249 0 0 0 5106 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5193696 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=7548 CPUtime=51.06 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 1417 0 0 0 5106 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5392320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=7548 CPUtime=51.06 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 1177 0 0 0 5106 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5186452 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=7548 CPUtime=51.07 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 1748 0 0 0 5107 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5390145 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=7548 CPUtime=51.06 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 1224 0 0 0 5106 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5390479 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=3620 CPUtime=51.06 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 1645 0 0 0 5106 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117192 5165728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=31247125 CPUtime=50.39 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 1488 0 0 0 5039 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724880 5409457 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=7548 CPUtime=51.06 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 1301 0 0 0 5106 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332096 5390449 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 407.89 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB [startup+102.301 s] /proc/loadavg: 8.11 8.11 8.04 9/199 3380 /proc/meminfo: memFree=31246468/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=816.68 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 15871 0 0 0 81667 1 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=3620 CPUtime=102.23 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 1583 0 0 0 10223 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5392346 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=7548 CPUtime=102.22 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 1774 0 0 0 10222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5009195 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=7548 CPUtime=102.24 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 1519 0 0 0 10224 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5380321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=7548 CPUtime=102.25 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 2185 0 0 0 10225 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5409424 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=0 CPUtime=102.24 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 1569 0 0 0 10224 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5390005 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=0 CPUtime=102.23 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 2052 0 0 0 10223 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117192 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=7548 CPUtime=100.96 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 1869 0 0 0 10096 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724880 5009098 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=45204 CPUtime=102.23 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 1627 0 0 0 10223 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332096 5186312 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 816.68 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB [startup+162.301 s] /proc/loadavg: 8.04 8.09 8.04 9/199 3383 /proc/meminfo: memFree=31245912/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=1295.9 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 16598 0 0 0 129589 1 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=7548 CPUtime=162.21 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 1670 0 0 0 16221 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=7548 CPUtime=162.22 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 1884 0 0 0 16222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5165735 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=7548 CPUtime=162.24 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 1597 0 0 0 16224 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5009195 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=7548 CPUtime=162.24 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 2275 0 0 0 16224 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5165648 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=7548 CPUtime=162.23 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 1658 0 0 0 16223 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5392715 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=7548 CPUtime=162.23 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 2148 0 0 0 16223 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117192 5389976 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=7548 CPUtime=160.23 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 1961 0 0 0 16023 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724880 5396534 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=7548 CPUtime=162.22 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 1712 0 0 0 16222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332096 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 1295.9 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB [startup+222.301 s] /proc/loadavg: 8.02 8.07 8.04 9/197 3386 /proc/meminfo: memFree=31246256/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=1775.12 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 17355 0 0 0 177511 1 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=7548 CPUtime=222.19 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 1778 0 0 0 22219 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5392081 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=7548 CPUtime=222.22 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 1968 0 0 0 22222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5165682 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=7548 CPUtime=222.24 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 1680 0 0 0 22224 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5390424 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=7548 CPUtime=222.22 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 2350 0 0 0 22222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5403720 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=7548 CPUtime=222.22 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 1745 0 0 0 22222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5397352 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=7548 CPUtime=222.22 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 2256 0 0 0 22222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117192 5009016 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=3620 CPUtime=219.51 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 2058 0 0 0 21951 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724800 5165629 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=45204 CPUtime=222.22 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 1827 0 0 0 22222 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332096 5392346 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 1775.12 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.08 8.08 8.04 9/197 3389 /proc/meminfo: memFree=31246644/32770624 swapFree=66921560/67108860 [pid=3363] ppid=3360 vsize=619444 memory=7548 CPUtime=2012.39 cores=0-7 /proc/3363/stat : 3363 (cosoco) S 3360 3363 1328 0 -1 1077944320 18085 0 0 0 201238 1 0 0 20 0 9 0 436969034 634310656 1887 33554432000 4194304 6211092 140724252970112 140724252968368 140217004224247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 /proc/3363/statm: 154861 1887 873 493 0 148166 0 [pid=3363/tid=3365] ppid=3360 vsize=619444 memory=-7035114785800479027 CPUtime=251.89 cores=0-7 /proc/3363/task/3365/stat : 3365 (cosoco) R 3360 3363 1328 0 -1 4202560 1864 0 0 0 25189 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216981081104 5008831 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3366] ppid=3360 vsize=619444 memory=4872558044660077418 CPUtime=251.92 cores=0-7 /proc/3363/task/3366/stat : 3366 (cosoco) R 3360 3363 1328 0 -1 4202560 2058 0 0 0 25192 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216972688400 5186178 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3367] ppid=3360 vsize=619444 memory=7548 CPUtime=251.95 cores=0-7 /proc/3363/task/3367/stat : 3367 (cosoco) R 3360 3363 1328 0 -1 4202560 1765 0 0 0 25195 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216964295304 5165725 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3368] ppid=3360 vsize=619444 memory=808 CPUtime=251.93 cores=0-7 /proc/3363/task/3368/stat : 3368 (cosoco) R 3360 3363 1328 0 -1 4202560 2439 0 0 0 25193 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216955903304 5392713 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3369] ppid=3360 vsize=619444 memory=-7035114785800479027 CPUtime=251.92 cores=0-7 /proc/3363/task/3369/stat : 3369 (cosoco) R 3360 3363 1328 0 -1 4202560 1831 0 0 0 25192 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216947510288 5396672 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3370] ppid=3360 vsize=619444 memory=45204 CPUtime=251.93 cores=0-7 /proc/3363/task/3370/stat : 3370 (cosoco) R 3360 3363 1328 0 -1 4202560 2356 0 0 0 25193 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216939117504 5409449 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3371] ppid=3360 vsize=619444 memory=988 CPUtime=248.84 cores=0-7 /proc/3363/task/3371/stat : 3371 (cosoco) R 3360 3363 1328 0 -1 4202560 2151 0 0 0 24884 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216930724800 5009195 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 [pid=3363/tid=3372] ppid=3360 vsize=619444 memory=6788 CPUtime=251.93 cores=0-7 /proc/3363/task/3372/stat : 3372 (cosoco) R 3360 3363 1328 0 -1 4202560 1928 0 0 0 25193 0 0 0 20 0 9 0 436969039 634310656 1887 33554432000 4194304 6211092 140724252970112 140216922332096 5165593 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33636352 140724252976150 140724252976242 140724252976242 140724252979150 0 Current children cumulated CPU time: 2012.39 s Current children cumulated vsize: 619444 KiB Current children cumulated memory: 7548 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.023 s] # the end of solver process 3363 was just reported to runsolver # cumulated CPU time of all completed processes: user=2012.49 s, system=0.011994 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.023 CPU time (s): 2012.5 CPU user time (s): 2012.49 CPU system time (s): 0.011994 CPU usage (%): 798.539 Max. virtual memory (cumulated for all children) (KiB): 619444 Max. memory (cumulated for all children) (KiB): 7548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2012.49 system time used= 0.011994 maximum resident set size= 7668 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18134 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= 285 involuntary context switches= 13954 # summary of solver processes directly reported to runsolver: # pid: 3363 # total CPU time (s): 2012.5 # total CPU user time (s): 2012.49 # total CPU system time (s): 0.011994 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.15633 second user time and 1.9281 second system time The end
Begin job on node139 at 2019-09-16 06:11:56 IDJOB=4398602 IDBENCH=120561 IDSOLVER=2852 FILE ID=node139/4398602-1568607005 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-myciel5.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398602-1568607005/watcher-4398602-1568607005 -o /tmp/evaluation-result-4398602-1568607005/solver-4398602-1568607005 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398602-1568607005.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a954d880863fe6e02d270e9cafb0ae96 RANDOM SEED=1231972877 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: 31251352 kB MemAvailable: 31830936 kB Buffers: 92980 kB Cached: 776804 kB SwapCached: 78072 kB Active: 517728 kB Inactive: 434008 kB Active(anon): 7088 kB Inactive(anon): 116828 kB Active(file): 510640 kB Inactive(file): 317180 kB Unevictable: 107864 kB Mlocked: 107864 kB SwapTotal: 67108860 kB SwapFree: 66921560 kB Dirty: 2868 kB Writeback: 0 kB AnonPages: 206644 kB Mapped: 46988 kB Shmem: 33476 kB Slab: 163756 kB SReclaimable: 135196 kB SUnreclaim: 28560 kB KernelStack: 3712 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 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 06:16:08