Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | ? (TO) | 2011.96 | 252.023 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml |
MD5SUM | 0823366b416f0d4f591b1c2bb0d09de5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 616 |
Best CPU time to get the best result obtained on this benchmark | 1752.82 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 410 |
Number of constraints | 330 |
Number of domains | 12 |
Minimum domain size | 8 |
Maximum domain size | 723 |
Distribution of domain sizes | [{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":723,"count":210}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 12 |
Distribution of constraint arities | [{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 110 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
2011.86/252.02 c 2011.86/252.02 c This is cosoco 2.00 -- 2011.86/252.02 c 2011.86/252.02 c command line: cosoco -model -nbcores=8 HOME/instance-4398792-1568605570.xml 2011.86/252.02 c enable optimization 2011.86/252.02 c ========================================[ Problem Statistics ]=========================================== 2011.86/252.02 c | 2011.86/252.02 c | Parse time : 0.05 s 2011.86/252.02 c | 2011.86/252.02 c | Variables: 410 2011.86/252.02 c | Domain Sizes: 8..723 2011.86/252.02 c | 2011.86/252.02 c | Constraints: 771 2011.86/252.02 c | Arity: 1..12 -- Unary: 10 -- Binary: 550 -- Ternary: 100 2011.86/252.02 c | 2011.86/252.02 c | Types: 2011.86/252.02 c | All Different: 10 2011.86/252.02 c | Disjunctive: 450 2011.86/252.02 c | Element Variable: 100 2011.86/252.02 c | Extension: 100 (nb tuples: 10..10) -- (shared: 720) 2011.86/252.02 c | Max constant: 1 2011.86/252.02 c | Sum: 100 2011.86/252.02 c | Unary: 10 2011.86/252.02 c | 2011.86/252.02 c | Objective: Minimize Max constant 2011.86/252.02 2011.86/252.02 c ========================================================================================================= 2011.86/252.02 c Parallel mode: Portfolio 2011.86/252.02 c [pFactory][Group N°0] created (threads:8). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 2011.86/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 2011.86/252.02 c [pFactory][Group N°0] concurrent mode: enabled. 2011.86/252.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 2011.86/252.02 c [pFactory][Group N°0] task 7 launched on thread 0. 2011.86/252.02 c [pFactory][Group N°0] task 6 launched on thread 1. 2011.86/252.02 c [pFactory][Group N°0] task 5 launched on thread 5. 2011.86/252.02 c [pFactory][Group N°0] task 4 launched on thread 6. 2011.86/252.02 c [pFactory][Group N°0] task 3 launched on thread 3. 2011.86/252.02 c [pFactory][Group N°0] task 2 launched on thread 7. 2011.86/252.02 c [pFactory][Group N°0] task 1 launched on thread 4. 2011.86/252.02 c [pFactory][Group N°0] task 0 launched on thread 2. 2011.86/252.02 2011.86/252.02 c *** INTERRUPTED *** 2011.86/252.02 c call to solver : 0 2011.86/252.02 c 2011.86/252.02 c restarts : 14439 2011.86/252.02 c conflicts : 137291 (68 /sec) 2011.86/252.02 c decisions : 839139 (417 /sec) 2011.86/252.02 c propagations : 599616204 (298048 /sec) 2011.86/252.02 c root propagations : 17674 2011.86/252.02 c filter calls : 82599366 (41057 /sec) 2011.86/252.02 c useless filter calls : 67104574 (81 %) 2011.86/252.02 c Memory used : 637.48 MB 2011.86/252.02 c Best bound time (wc) : -1.56861e+09 s 2011.86/252.02 c CPU time : 2011.81 s 2011.86/252.02 c real time : 252.015 s 2011.86/252.02 2011.86/252.02 c No Bound found! 2011.86/252.02 2011.86/252.02 s UNKNOWN
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 (15478 MiB free) memory of node 1: 16384 MiB (15596 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398792-1568605570/watcher-4398792-1568605570 -o /tmp/evaluation-result-4398792-1568605570/solver-4398792-1568605570 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568595834-11491 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398792-1568605570.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=13793, runsolver pid=13790 Current StackSize limit: 8192 KiB [startup+0.100966 s]* /proc/loadavg: 8.07 8.19 8.27 9/203 13802 /proc/meminfo: memFree=31776280/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=51320 CPUtime=0.37 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 13419 0 0 0 35 2 0 0 20 0 9 0 436806531 668442624 12830 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 12830 866 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=-7318199385821508803 CPUtime=0.03 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 673 0 0 0 3 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499335216144 140499342314302 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=732370001318337509 CPUtime=0.04 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 673 0 0 0 4 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499326823440 5156928 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=139862980884096 CPUtime=0.03 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 3 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499318430736 5393970 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=0.04 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 4 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499310037640 5158006 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=0 CPUtime=0.03 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 3 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499301645328 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=0 CPUtime=0.04 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 4 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499293252624 5158028 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=-1 CPUtime=0.03 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 676 0 0 0 3 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499284859920 5390036 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=0 CPUtime=0.03 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 3 0 0 0 20 0 9 0 436806537 668442624 12830 33554432000 4194304 6211092 140724699242400 140499276467216 5393945 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 0.37 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 51320 KiB [startup+0.210967 s]* /proc/loadavg: 8.07 8.19 8.27 9/203 13802 /proc/meminfo: memFree=31775908/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=51584 CPUtime=1.23 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 13472 0 0 0 121 2 0 0 20 0 9 0 436806531 668442624 12896 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 12896 866 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=-3398145943129763647 CPUtime=0.14 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 719 0 0 0 14 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499335216144 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=279725839415032 CPUtime=0.14 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 673 0 0 0 14 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499326823440 5393965 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=139862980884096 CPUtime=0.14 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 14 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499318430736 5168216 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=0.15 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 15 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499310037640 5155600 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=0 CPUtime=0.14 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 14 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499301645328 140499342328720 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=0 CPUtime=0.14 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 14 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499293252624 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=-1 CPUtime=0.12 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 676 0 0 0 12 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499284859920 5158020 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=0 CPUtime=0.14 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 14 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499276467216 5102815 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 1.23 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 51584 KiB [startup+0.310959 s]* /proc/loadavg: 8.07 8.19 8.27 9/203 13802 /proc/meminfo: memFree=31775908/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=51584 CPUtime=2.02 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 13472 0 0 0 200 2 0 0 20 0 9 0 436806531 668442624 12896 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 12896 866 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=14964 CPUtime=0.24 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 719 0 0 0 24 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499335216144 5193696 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=7959527003428693897 CPUtime=0.24 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 673 0 0 0 24 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499326823440 5168336 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=139862980884096 CPUtime=0.24 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 24 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499318430736 5168192 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=0.25 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 25 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499310037640 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=0 CPUtime=0.24 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 24 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499301645328 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=0 CPUtime=0.24 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 24 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499293252624 5393951 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=0 CPUtime=0.21 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 676 0 0 0 21 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499284859920 5393890 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=0 CPUtime=0.24 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 24 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499276467216 5393920 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 2.02 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 51584 KiB [startup+0.700963 s] /proc/loadavg: 8.07 8.19 8.27 9/203 13802 /proc/meminfo: memFree=31775136/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=51584 CPUtime=5.05 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 13499 0 0 0 503 2 0 0 20 0 9 0 436806531 668442624 12896 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 12896 866 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=139867275851391 CPUtime=0.62 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 746 0 0 0 62 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499335215512 5193708 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=30560 CPUtime=0.63 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 673 0 0 0 63 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499326823440 5168216 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=984 CPUtime=0.62 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 62 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499318430736 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=0.63 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 63 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499310037640 5102854 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=0 CPUtime=0.62 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 62 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499301645328 5102783 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=0 CPUtime=0.63 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 63 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499293252736 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=0 CPUtime=0.57 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 676 0 0 0 57 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499284859920 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=1052 CPUtime=0.62 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 675 0 0 0 62 0 0 0 20 0 9 0 436806537 668442624 12896 33554432000 4194304 6211092 140724699242400 140499276467032 5393965 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 5.05 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 51584 KiB [startup+1.50096 s] /proc/loadavg: 8.07 8.19 8.27 9/203 13802 /proc/meminfo: memFree=31775136/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52180 CPUtime=11.44 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 21557 0 0 0 1138 6 0 0 20 0 9 0 436806531 668442624 13045 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13045 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=51584 CPUtime=1.42 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 1598 0 0 0 142 0 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499335215512 5102848 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=30560 CPUtime=1.43 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 1497 0 0 0 142 1 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499326823440 5167504 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=984 CPUtime=1.42 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 2161 0 0 0 142 0 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499318430736 5168192 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=1.43 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 1989 0 0 0 143 0 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499310037640 5167550 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=-7812193691855986592 CPUtime=1.42 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 1718 0 0 0 142 0 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499301645328 5193696 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=3624 CPUtime=1.42 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 1488 0 0 0 142 0 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499293252736 5102783 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=30560 CPUtime=1.36 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 1721 0 0 0 135 1 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499284859920 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=0 CPUtime=1.42 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 1356 0 0 0 142 0 0 0 20 0 9 0 436806537 668442624 13045 33554432000 4194304 6211092 140724699242400 140499276467032 5156880 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 11.44 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52180 KiB [startup+3.11096 s] /proc/loadavg: 8.07 8.19 8.27 9/203 13803 /proc/meminfo: memFree=31771620/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52208 CPUtime=24.3 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 27563 0 0 0 2423 7 0 0 20 0 9 0 436806531 668442624 13052 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13052 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=0 CPUtime=3.03 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 1887 0 0 0 303 0 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499335215592 5102815 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=4986457031815 CPUtime=3.04 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 2499 0 0 0 303 1 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499326823440 5168336 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=52180 CPUtime=3.03 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 3154 0 0 0 303 0 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499318430736 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=3.04 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 3125 0 0 0 304 0 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499310037640 5102851 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=0 CPUtime=3.03 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 2892 0 0 0 303 0 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499301645328 5102734 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=0 CPUtime=3.03 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 1922 0 0 0 303 0 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499293252736 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=7667211696781814361 CPUtime=2.94 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 2227 0 0 0 293 1 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499284859920 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=5787213831341171538 CPUtime=3.03 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 1828 0 0 0 303 0 0 0 20 0 9 0 436806537 668442624 13052 33554432000 4194304 6211092 140724699242400 140499276467032 5102815 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 24.3 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52208 KiB [startup+6.30096 s] /proc/loadavg: 8.06 8.18 8.27 9/203 13803 /proc/meminfo: memFree=31770992/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52224 CPUtime=49.77 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 44931 0 0 0 4968 9 0 0 20 0 9 0 436806531 668442624 13056 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13056 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=139867275851391 CPUtime=6.22 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 3819 0 0 0 621 1 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499335215560 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=52224 CPUtime=6.23 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 4391 0 0 0 622 1 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499326823440 5393920 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=52208 CPUtime=6.22 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 5390 0 0 0 622 0 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499318430736 5393965 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=6.22 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 5280 0 0 0 622 0 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499310038032 5168363 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 ################ # More data... # ################ /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 8889 0 0 0 2541 1 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499318430736 5193710 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=3624 CPUtime=25.42 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 8002 0 0 0 2542 0 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499310038032 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=52224 CPUtime=25.41 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 8190 0 0 0 2541 0 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499301645440 5157360 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=288230596050944315 CPUtime=25.42 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 6783 0 0 0 2541 1 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499293252736 5393965 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=15255943717849727 CPUtime=25.03 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 8068 0 0 0 2502 1 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499284859920 5193710 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=52224 CPUtime=25.42 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 7130 0 0 0 2542 0 0 0 20 0 9 0 436806537 668442624 13056 33554432000 4194304 6211092 140724699242400 140499276467032 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 203.1 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52224 KiB [startup+51.111 s] /proc/loadavg: 8.34 8.25 8.29 9/203 13806 /proc/meminfo: memFree=31771148/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52252 CPUtime=407.59 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 76972 0 0 0 40747 12 0 0 20 0 9 0 436806531 668442624 13063 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13063 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=52252 CPUtime=51.03 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 7452 0 0 0 5102 1 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499335215576 5168192 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=52232 CPUtime=51.02 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 7744 0 0 0 5101 1 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499326823440 5167507 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=52252 CPUtime=51.02 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 10026 0 0 0 5101 1 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499318430736 5393951 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=52252 CPUtime=51.03 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 9218 0 0 0 5103 0 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499310038032 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=0 CPUtime=51.02 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 9436 0 0 0 5101 1 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499301645440 5393920 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=164 CPUtime=51.03 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 8029 0 0 0 5101 2 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499293252736 5167538 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=1000 CPUtime=50.29 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 9010 0 0 0 5028 1 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499284859920 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=8008 CPUtime=51.02 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 8028 0 0 0 5102 0 0 0 20 0 9 0 436806537 668442624 13063 33554432000 4194304 6211092 140724699242400 140499276467032 5167914 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 407.59 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52252 KiB [startup+102.301 s] /proc/loadavg: 8.21 8.23 8.28 9/203 13809 /proc/meminfo: memFree=31771536/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52552 CPUtime=816.32 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 87867 0 0 0 81619 13 0 0 20 0 9 0 436806531 668442624 13138 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13138 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=776 CPUtime=102.21 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 8700 0 0 0 10220 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499335215592 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=52312 CPUtime=102.19 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 9083 0 0 0 10218 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499326823440 5102783 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=52312 CPUtime=102.18 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 11494 0 0 0 10217 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499318430736 5393984 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=0 CPUtime=102.21 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 10733 0 0 0 10221 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499310038032 5102871 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=0 CPUtime=102.19 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 10782 0 0 0 10218 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499301645440 5102815 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=52552 CPUtime=102.2 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 9347 0 0 0 10218 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499293252736 5167917 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=52432 CPUtime=100.8 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 10532 0 0 0 10078 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499284859920 5393920 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=52252 CPUtime=102.2 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 9167 0 0 0 10220 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499276467032 5166878 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 816.32 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52552 KiB [startup+162.301 s] /proc/loadavg: 8.14 8.21 8.27 9/203 13812 /proc/meminfo: memFree=31772868/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52552 CPUtime=1295.47 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 91484 0 0 0 129534 13 0 0 20 0 9 0 436806531 668442624 13138 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13138 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=52552 CPUtime=162.19 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 9217 0 0 0 16218 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499335215592 5167901 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=52552 CPUtime=162.18 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 9396 0 0 0 16217 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499326823440 5168225 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=52552 CPUtime=162.16 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 11919 0 0 0 16215 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499318430736 5155471 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=52552 CPUtime=162.19 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 11146 0 0 0 16219 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499310038032 5167504 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=52552 CPUtime=162.18 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 11186 0 0 0 16217 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499301645440 5193710 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=52552 CPUtime=162.2 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 9729 0 0 0 16218 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499293252736 5393965 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=52552 CPUtime=160.03 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 11090 0 0 0 16001 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499284859920 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=3624 CPUtime=162.2 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 9772 0 0 0 16220 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499276467032 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 1295.47 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52552 KiB [startup+222.301 s] /proc/loadavg: 8.19 8.23 8.28 9/204 13817 /proc/meminfo: memFree=31771724/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52552 CPUtime=1774.62 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 94995 0 0 0 177448 14 0 0 20 0 9 0 436806531 668442624 13138 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13138 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=52552 CPUtime=222.18 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 9600 0 0 0 22217 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499335215592 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=52552 CPUtime=222.17 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 9894 0 0 0 22216 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499326823440 5168488 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=52552 CPUtime=222.15 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 12348 0 0 0 22214 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499318430736 5393920 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=52552 CPUtime=222.17 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 11718 0 0 0 22217 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499310038032 5102695 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=52552 CPUtime=222.17 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 11642 0 0 0 22216 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499301645440 5193696 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=52552 CPUtime=222.19 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 10145 0 0 0 22217 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499293252736 5167504 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=52552 CPUtime=219.25 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 11402 0 0 0 21923 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499284859920 5393920 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=1052 CPUtime=222.19 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 10217 0 0 0 22219 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499276467032 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 1774.62 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52552 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.12 8.21 8.27 9/203 13818 /proc/meminfo: memFree=31771216/32770624 swapFree=66970416/67108860 [pid=13793] ppid=13790 vsize=652776 memory=52552 CPUtime=2011.86 cores=0-7 /proc/13793/stat : 13793 (cosoco) S 13790 13793 11464 0 -1 1077944320 97951 0 0 0 201172 14 0 0 20 0 9 0 436806531 668442624 13138 33554432000 4194304 6211092 140724699242400 140724699240656 140499358359287 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 /proc/13793/statm: 163194 13138 867 493 0 156499 0 [pid=13793/tid=13795] ppid=13790 vsize=652776 memory=9328 CPUtime=251.88 cores=0-7 /proc/13793/task/13795/stat : 13795 (cosoco) R 13790 13793 11464 0 -1 4202560 9994 0 0 0 25187 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499335215592 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13796] ppid=13790 vsize=652776 memory=1716 CPUtime=251.87 cores=0-7 /proc/13793/task/13796/stat : 13796 (cosoco) R 13790 13793 11464 0 -1 4202560 10121 0 0 0 25186 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499326823440 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13797] ppid=13790 vsize=652776 memory=1216 CPUtime=251.86 cores=0-7 /proc/13793/task/13797/stat : 13797 (cosoco) R 13790 13793 11464 0 -1 4202560 12777 0 0 0 25185 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499318430736 5393920 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13798] ppid=13790 vsize=652776 memory=-7003737579269690708 CPUtime=251.88 cores=0-7 /proc/13793/task/13798/stat : 13798 (cosoco) R 13790 13793 11464 0 -1 4202560 12123 0 0 0 25188 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499310038032 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13799] ppid=13790 vsize=652776 memory=1804 CPUtime=251.88 cores=0-7 /proc/13793/task/13799/stat : 13799 (cosoco) R 13790 13793 11464 0 -1 4202560 12037 0 0 0 25187 1 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499301645440 5102851 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13800] ppid=13790 vsize=652776 memory=920 CPUtime=251.89 cores=0-7 /proc/13793/task/13800/stat : 13800 (cosoco) R 13790 13793 11464 0 -1 4202560 10684 0 0 0 25187 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499293252736 5186239 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13801] ppid=13790 vsize=652776 memory=4476 CPUtime=248.56 cores=0-7 /proc/13793/task/13801/stat : 13801 (cosoco) R 13790 13793 11464 0 -1 4202560 11708 0 0 0 24854 2 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499284859920 5193708 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 [pid=13793/tid=13802] ppid=13790 vsize=652776 memory=4100 CPUtime=251.9 cores=0-7 /proc/13793/task/13802/stat : 13802 (cosoco) R 13790 13793 11464 0 -1 4202560 10478 0 0 0 25190 0 0 0 20 0 9 0 436806537 668442624 13138 33554432000 4194304 6211092 140724699242400 140499276467032 5102806 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28684288 140724699243542 140724699243634 140724699243634 140724699246542 0 Current children cumulated CPU time: 2011.86 s Current children cumulated vsize: 652776 KiB Current children cumulated memory: 52552 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.023 s] # the end of solver process 13793 was just reported to runsolver # cumulated CPU time of all completed processes: user=2011.81 s, system=0.147913 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): 2011.96 CPU user time (s): 2011.81 CPU system time (s): 0.147913 CPU usage (%): 798.322 Max. virtual memory (cumulated for all children) (KiB): 652776 Max. memory (cumulated for all children) (KiB): 52552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2011.81 system time used= 0.147913 maximum resident set size= 52876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97996 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= 943 involuntary context switches= 18974 # summary of solver processes directly reported to runsolver: # pid: 13793 # total CPU time (s): 2011.96 # total CPU user time (s): 2011.81 # total CPU system time (s): 0.147913 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.22147 second user time and 2.09549 second system time The end
Begin job on node135 at 2019-09-16 05:45:30 IDJOB=4398792 IDBENCH=115840 IDSOLVER=2852 FILE ID=node135/4398792-1568605570 RUNJOBID= node135-1568595834-11491 PBS_JOBID= 21703393 Free space on /tmp= 61372 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-6.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398792-1568605570/watcher-4398792-1568605570 -o /tmp/evaluation-result-4398792-1568605570/solver-4398792-1568605570 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568595834-11491 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398792-1568605570.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0823366b416f0d4f591b1c2bb0d09de5 RANDOM SEED=2057754574 node135.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.76 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.76 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.76 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.76 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: 31820828 kB MemAvailable: 31864772 kB Buffers: 27224 kB Cached: 304308 kB SwapCached: 32724 kB Active: 170332 kB Inactive: 198772 kB Active(anon): 4160 kB Inactive(anon): 76500 kB Active(file): 166172 kB Inactive(file): 122272 kB Unevictable: 109492 kB Mlocked: 109492 kB SwapTotal: 67108860 kB SwapFree: 66970416 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 119280 kB Mapped: 41464 kB Shmem: 34472 kB Slab: 173304 kB SReclaimable: 142672 kB SUnreclaim: 30632 kB KernelStack: 3664 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506300 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61368 MiB End job on node135 at 2019-09-16 05:49:42