Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 3 | 2011.7 | 252.021 |
Name | Opd/Opd-sum-small/ Opd-11-011-005.xml |
MD5SUM | 7a6a01f2d694ae1725dbabce720210ef |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1.31481 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 122 |
Number of constraints | 67 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":2,"count":121},{"size":10,"count":1}] |
Minimum variable degree | 12 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":12,"count":121},{"degree":56,"count":1}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 121 |
Distribution of constraint arities | [{"arity":11,"count":11},{"arity":23,"count":55},{"arity":121,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":66}] |
Optimization problem | YES |
Type of objective | min VAR |
1.51/0.42 c 1.51/0.42 c This is cosoco 2.00 -- 1.51/0.42 c 1.51/0.42 c command line: cosoco -model -nbcores=8 HOME/instance-4409860-1569828473.xml 1.51/0.42 c enable optimization 1.51/0.42 c ========================================[ Problem Statistics ]=========================================== 1.51/0.42 c | 1.51/0.42 c | Parse time : 0.13 s 1.51/0.42 c | 1.51/0.42 c | Variables: 122 1.51/0.42 c | Domain Sizes: 2..10 1.51/0.42 c | 1.51/0.42 c | Constraints: 87 1.51/0.42 c | Arity: 1..23 -- Unary: 1 1.51/0.42 c | 1.51/0.42 c | Types: 1.51/0.42 c | Intension: 56 1.51/0.42 c | Lex: 20 1.51/0.42 c | Sum: 11 1.51/0.42 c | 1.51/0.42 c | Objective: Minimize Intension 1.51/0.42 1.51/0.42 c ========================================================================================================= 1.51/0.42 c Parallel mode: Portfolio 1.51/0.42 c [pFactory][Group N°0] created (threads:8). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1.51/0.42 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1.51/0.42 c [pFactory][Group N°0] concurrent mode: enabled. 1.51/0.42 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1.51/0.42 c [pFactory][Group N°0] task 7 launched on thread 0. 1.51/0.42 c [pFactory][Group N°0] task 6 launched on thread 1. 1.51/0.42 c [pFactory][Group N°0] task 5 launched on thread 2. 1.51/0.42 c [pFactory][Group N°0] task 4 launched on thread 5. 1.51/0.42 c [pFactory][Group N°0] task 3 launched on thread 4. 1.51/0.42 c [pFactory][Group N°0] task 2 launched on thread 3. 1.51/0.42 c [pFactory][Group N°0] task 1 launched on thread 6. 1.51/0.42 c [pFactory][Group N°0] task 0 launched on thread 7. 1.51/0.42 o 5 5.34/0.88 o 4 12.53/1.71 o 3 2011.59/252.02 2011.59/252.02 c *** INTERRUPTED *** 2011.59/252.02 c call to solver : 2 2011.59/252.02 c 2011.59/252.02 c restarts : 574 2011.59/252.02 c conflicts : 5378 (3 /sec) 2011.59/252.02 c decisions : 42442 (21 /sec) 2011.59/252.02 c propagations : 145639 (72 /sec) 2011.59/252.02 c root propagations : 286 2011.59/252.02 c filter calls : 943697 (469 /sec) 2011.59/252.02 c useless filter calls : 898210 (95 %) 2011.59/252.02 c Memory used : 608.12 MB 2011.59/252.02 c Best bound time (wc) : 1.71206 s 2011.59/252.02 c CPU time : 2011.65 s 2011.59/252.02 c real time : 252.014 s 2011.59/252.02 2011.59/252.02 s SATISFIABLE 2011.59/252.02 c Best value found: 3 2011.59/252.02 2011.59/252.02 2011.59/252.02 v <instantiation type='solution' cost='3'> 2011.59/252.02 v <list>x[0][0] x[0][10] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[1][0] x[1][10] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][10] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2011.59/252.02 v <values>0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 3 </values> 2011.59/252.02 v </instantiation> 2011.59/252.02
OK 3
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (15398 MiB free) memory of node 1: 16384 MiB (15303 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409860-1569828473/watcher-4409860-1569828473 -o /tmp/evaluation-result-4409860-1569828473/solver-4409860-1569828473 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569816239-988 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409860-1569828473.xml running on 8 cores: 0-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=2937, runsolver pid=2934 Current StackSize limit: 8192 KiB [startup+0.100152 s]* /proc/loadavg: 7.80 8.01 7.96 2/191 2938 /proc/meminfo: memFree=31436156/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=31272 memory=7596 CPUtime=0.1 cores=0-7 /proc/2937/stat : 2937 (cosoco) R 2934 2937 961 0 -1 4202496 2098 0 0 0 10 0 0 0 20 0 1 0 558788829 32022528 1899 33554432000 4194304 6211132 140735787743936 140735787740472 140188983581669 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 7818 1899 849 493 0 1123 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31272 KiB Current children cumulated memory: 7596 KiB [startup+0.210673 s]* /proc/loadavg: 7.80 8.01 7.96 9/199 2946 /proc/meminfo: memFree=31433020/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=10476 CPUtime=0.72 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 3106 0 0 0 72 0 0 0 20 0 9 0 558788829 637652992 2619 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 2619 874 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=8316850467074736180 CPUtime=0.07 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 80 0 0 0 7 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188976478632 5441106 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=9431 CPUtime=0.07 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 45 0 0 0 7 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188968086264 5455685 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=139989180178018 CPUtime=0.07 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 68 0 0 0 7 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188959693560 5451501 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=-1 CPUtime=0.07 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 57 0 0 0 7 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188951300776 140188993526609 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=0 CPUtime=0.07 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 57 0 0 0 7 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188942908152 5164880 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=0 CPUtime=0.06 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 51 0 0 0 6 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188934515368 5069360 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=-1 CPUtime=0.07 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 92 0 0 0 7 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188926122408 5453940 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=0 CPUtime=0.07 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 92 0 0 0 7 0 0 0 20 0 9 0 558788843 637652992 2619 33554432000 4194304 6211132 140735787743936 140188917729960 5451509 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 0.72 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 10476 KiB [startup+0.310673 s]* /proc/loadavg: 7.80 8.01 7.96 9/199 2946 /proc/meminfo: memFree=31432664/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=11516 CPUtime=1.51 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 3258 0 0 0 151 0 0 0 20 0 9 0 558788829 637652992 2879 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 2879 882 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=1398722017469774279 CPUtime=0.17 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 93 0 0 0 17 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188976478632 140188993526616 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=4126316290023845779 CPUtime=0.17 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 96 0 0 0 17 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188968086264 5451514 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=0 CPUtime=0.17 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 88 0 0 0 17 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188959693560 5452266 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=0 CPUtime=0.17 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 76 0 0 0 17 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188951300776 5069369 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=0 CPUtime=0.17 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 78 0 0 0 17 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188942908152 140188984507840 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=0 CPUtime=0.15 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 77 0 0 0 15 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188934515368 5443045 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=0 CPUtime=0.17 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 94 0 0 0 17 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188926122600 5453940 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=0 CPUtime=0.17 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 93 0 0 0 17 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188917729960 5446311 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 1.51 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 11516 KiB [startup+0.700673 s] /proc/loadavg: 7.80 8.01 7.96 9/199 2946 /proc/meminfo: memFree=31432552/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=11516 CPUtime=4.54 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 3451 0 0 0 454 0 0 0 20 0 9 0 558788829 637652992 2879 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 2879 882 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=2832 CPUtime=0.55 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 116 0 0 0 55 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188976478888 5446646 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=1564 CPUtime=0.55 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 115 0 0 0 55 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188968086088 5452189 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=8392 CPUtime=0.55 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 112 0 0 0 55 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188959693416 5446936 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=14008 CPUtime=0.55 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 106 0 0 0 55 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188951300776 5453944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=6516 CPUtime=0.55 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 108 0 0 0 55 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188942907912 5446296 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=139993475126911 CPUtime=0.51 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 111 0 0 0 51 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188934515368 5446307 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=6935651454800449616 CPUtime=0.55 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 109 0 0 0 55 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188926122664 5454192 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=6935655852846960720 CPUtime=0.55 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 109 0 0 0 55 0 0 0 20 0 9 0 558788843 637652992 2879 33554432000 4194304 6211132 140735787743936 140188917729896 5443128 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 4.54 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 11516 KiB [startup+1.50067 s] /proc/loadavg: 7.80 8.01 7.96 9/199 2946 /proc/meminfo: memFree=31432552/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13060 CPUtime=10.93 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 5747 0 0 0 1092 1 0 0 20 0 9 0 558788829 637652992 3265 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3265 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=0 CPUtime=1.35 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 447 0 0 0 135 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188976478888 5446265 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=293999427 CPUtime=1.35 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 362 0 0 0 135 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188968086536 5440729 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=0 CPUtime=1.35 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 407 0 0 0 135 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188959693416 140188984507807 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=0 CPUtime=1.35 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 388 0 0 0 135 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188951300712 5478718 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=57 CPUtime=1.35 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 345 0 0 0 135 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188942908072 140188984502179 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=0 CPUtime=1.3 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 393 0 0 0 130 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188934515112 5454208 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=1056 CPUtime=1.35 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 409 0 0 0 135 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188926122664 5446959 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=772 CPUtime=1.35 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 431 0 0 0 135 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188917729896 5440652 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 10.93 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13060 KiB [startup+3.11067 s] /proc/loadavg: 7.80 8.01 7.96 9/199 2946 /proc/meminfo: memFree=31431368/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13060 CPUtime=23.79 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 5867 0 0 0 2378 1 0 0 20 0 9 0 558788829 637652992 3265 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3265 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=14008 CPUtime=2.96 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 452 0 0 0 296 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188976478888 5446681 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=6516 CPUtime=2.96 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 389 0 0 0 296 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188968086536 5442996 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=279978046620864 CPUtime=2.96 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 420 0 0 0 296 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188959693416 5446114 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=3619856523924630121 CPUtime=2.96 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 406 0 0 0 296 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188951300712 5453946 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=55 CPUtime=2.96 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 390 0 0 0 296 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188942908072 5164873 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=0 CPUtime=2.88 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 393 0 0 0 288 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188934515112 140188984505918 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=0 CPUtime=2.96 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 413 0 0 0 296 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188926122664 5441152 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=0 CPUtime=2.96 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 439 0 0 0 296 0 0 0 20 0 9 0 558788843 637652992 3265 33554432000 4194304 6211132 140735787743936 140188917729752 5443090 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 23.79 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13060 KiB [startup+6.30067 s] /proc/loadavg: 7.73 7.99 7.95 9/199 2946 /proc/meminfo: memFree=31430908/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13312 CPUtime=49.27 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 12830 0 0 0 4925 2 0 0 20 0 9 0 558788829 637652992 3328 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3328 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=13312 CPUtime=6.15 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 1406 0 0 0 615 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188976478888 5453944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=1056 CPUtime=6.15 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 1379 0 0 0 615 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188968086120 5443128 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=20004 CPUtime=6.15 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 1179 0 0 0 615 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188959693224 5446292 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=735 CPUtime=6.15 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 1024 0 0 0 615 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188951300776 5446280 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=5857 CPUtime=6.15 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 1378 0 0 0 615 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188942907832 140188984505904 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=499 CPUtime=6.03 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 1287 0 0 0 603 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188934515112 5442978 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=1343 CPUtime=6.15 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 1450 0 0 0 615 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188926122600 5478441 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=0 CPUtime=6.15 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 1162 0 0 0 615 0 0 0 20 0 9 0 558788843 637652992 3328 33554432000 4194304 6211132 140735787743936 140188917729752 140188984502179 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 49.27 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13312 KiB [startup+12.7007 s] /proc/loadavg: 7.76 7.99 7.95 9/199 2948 /proc/meminfo: memFree=31430004/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13356 CPUtime=100.37 cores=0-7 ################ # More data... # ################ /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 2021 0 0 0 2535 0 0 0 20 0 9 0 558788843 637652992 3351 33554432000 4194304 6211132 140735787743936 140188959693416 5443093 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=288230596050944315 CPUtime=25.35 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 2100 0 0 0 2535 0 0 0 20 0 9 0 558788843 637652992 3351 33554432000 4194304 6211132 140735787743936 140188951300520 5452177 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=0 CPUtime=25.35 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 2184 0 0 0 2535 0 0 0 20 0 9 0 558788843 637652992 3351 33554432000 4194304 6211132 140735787743936 140188942907816 5164837 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=0 CPUtime=24.98 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 2224 0 0 0 2498 0 0 0 20 0 9 0 558788843 637652992 3351 33554432000 4194304 6211132 140735787743936 140188934515112 5451509 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=0 CPUtime=25.34 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 2206 0 0 0 2534 0 0 0 20 0 9 0 558788843 637652992 3351 33554432000 4194304 6211132 140735787743936 140188926122408 5441142 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=2044 CPUtime=25.34 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 2110 0 0 0 2534 0 0 0 20 0 9 0 558788843 637652992 3351 33554432000 4194304 6211132 140735787743936 140188917729896 5069369 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 202.61 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13404 KiB [startup+51.1107 s] /proc/loadavg: 7.87 7.99 7.95 9/199 2950 /proc/meminfo: memFree=31430928/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13420 CPUtime=407.14 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 24955 0 0 0 40711 3 0 0 20 0 9 0 558788829 637652992 3355 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3355 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=13420 CPUtime=50.96 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 3116 0 0 0 5096 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188976478648 140188984502196 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=13420 CPUtime=50.96 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 2838 0 0 0 5096 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188968086120 5443057 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=279978046502160 CPUtime=50.95 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 2644 0 0 0 5095 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188959693416 5454220 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=55 CPUtime=50.96 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 2668 0 0 0 5096 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188951300520 5454208 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=279974892436494 CPUtime=50.95 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 2807 0 0 0 5095 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188942907816 5453940 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=33 CPUtime=50.25 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 2808 0 0 0 5025 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188934515112 5443143 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=0 CPUtime=50.95 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 2939 0 0 0 5095 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188926122408 5451516 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=0 CPUtime=50.96 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 2570 0 0 0 5096 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188917729896 5478664 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 407.14 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13420 KiB [startup+102.301 s] /proc/loadavg: 7.95 7.99 7.95 9/199 2954 /proc/meminfo: memFree=31430192/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13420 CPUtime=815.97 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 29834 0 0 0 81594 3 0 0 20 0 9 0 558788829 637652992 3355 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3355 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=13420 CPUtime=102.14 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 3779 0 0 0 10214 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188976478648 5451602 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=0 CPUtime=102.16 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 3442 0 0 0 10216 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188968086120 5455690 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=279978046479808 CPUtime=102.14 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 3271 0 0 0 10214 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188959693416 5443101 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=0 CPUtime=102.15 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 3242 0 0 0 10215 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188951300520 5164796 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=3612 CPUtime=102.12 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 3370 0 0 0 10212 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188942907816 140188984507827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=10420 CPUtime=100.78 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 3362 0 0 0 10078 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188934515112 5454208 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=3612 CPUtime=102.14 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 3576 0 0 0 10214 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188926122408 5451627 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=1056 CPUtime=102.15 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 3227 0 0 0 10215 0 0 0 20 0 9 0 558788843 637652992 3355 33554432000 4194304 6211132 140735787743936 140188917729896 5009686 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 815.97 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13420 KiB [startup+162.301 s] /proc/loadavg: 8.02 8.01 7.96 9/199 2957 /proc/meminfo: memFree=31434748/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13424 CPUtime=1295.17 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 31824 0 0 0 129513 4 0 0 20 0 9 0 558788829 637652992 3356 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3356 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=13424 CPUtime=162.14 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 4030 0 0 0 16214 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188976478648 5474524 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=13424 CPUtime=162.16 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 3684 0 0 0 16216 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188968085928 5164841 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=13424 CPUtime=162.14 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 3487 0 0 0 16214 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188959693416 5443045 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=13424 CPUtime=162.15 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 3515 0 0 0 16215 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188951300520 5478680 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=3936 CPUtime=162.11 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 3614 0 0 0 16211 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188942907816 5441122 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=1088 CPUtime=160 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 3633 0 0 0 16000 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188934515112 5451514 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=772 CPUtime=162.13 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 3778 0 0 0 16213 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188926122408 5443135 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=1696 CPUtime=162.13 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 3518 0 0 0 16213 0 0 0 20 0 9 0 558788843 637652992 3356 33554432000 4194304 6211132 140735787743936 140188917729896 5446944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 1295.17 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13424 KiB [startup+222.301 s] /proc/loadavg: 8.01 8.01 7.96 9/201 2969 /proc/meminfo: memFree=31434880/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13436 CPUtime=1774.34 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 33754 0 0 0 177430 4 0 0 20 0 9 0 558788829 637652992 3359 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3359 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=13436 CPUtime=222.14 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 4264 0 0 0 22214 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188976478648 140188993526612 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=13436 CPUtime=222.15 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 3936 0 0 0 22215 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188968085928 140188984505918 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=13436 CPUtime=222.14 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 3688 0 0 0 22214 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188959693416 5451560 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=13436 CPUtime=222.15 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 3733 0 0 0 22215 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188951300520 5454212 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=13436 CPUtime=222.09 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 3801 0 0 0 22209 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188942907864 140188984507812 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=3612 CPUtime=219.22 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 3939 0 0 0 21922 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188934515112 5164777 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=13436 CPUtime=222.12 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 4023 0 0 0 22212 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188926122408 5443065 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=2044 CPUtime=222.12 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 3805 0 0 0 22212 0 0 0 20 0 9 0 558788843 637652992 3359 33554432000 4194304 6211132 140735787743936 140188917729896 140188984505924 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 1774.34 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13436 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.08 8.02 7.97 9/201 2972 /proc/meminfo: memFree=31435244/32770688 swapFree=67001808/67108860 [pid=2937] ppid=2934 vsize=622708 memory=13448 CPUtime=2011.59 cores=0-7 /proc/2937/stat : 2937 (cosoco) S 2934 2937 961 0 -1 1077944320 35574 0 0 0 201155 4 0 0 20 0 9 0 558788829 637652992 3362 33554432000 4194304 6211132 140735787743936 140735787742192 140188999622391 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 /proc/2937/statm: 155677 3362 883 493 0 148982 0 [pid=2937/tid=2939] ppid=2934 vsize=622708 memory=1398722017469774279 CPUtime=251.85 cores=0-7 /proc/2937/task/2939/stat : 2939 (cosoco) R 2934 2937 961 0 -1 4202560 4525 0 0 0 25185 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188976478648 5164777 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2940] ppid=2934 vsize=622708 memory=4126316290023845779 CPUtime=251.85 cores=0-7 /proc/2937/task/2940/stat : 2940 (cosoco) R 2934 2937 961 0 -1 4202560 4112 0 0 0 25185 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188968085928 5478744 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2941] ppid=2934 vsize=622708 memory=772 CPUtime=251.85 cores=0-7 /proc/2937/task/2941/stat : 2941 (cosoco) R 2934 2937 961 0 -1 4202560 3905 0 0 0 25185 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188959693416 5478424 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2942] ppid=2934 vsize=622708 memory=1760 CPUtime=251.86 cores=0-7 /proc/2937/task/2942/stat : 2942 (cosoco) R 2934 2937 961 0 -1 4202560 4007 0 0 0 25186 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188951300520 140188984505178 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2943] ppid=2934 vsize=622708 memory=111636 CPUtime=251.8 cores=0-7 /proc/2937/task/2943/stat : 2943 (cosoco) R 2934 2937 961 0 -1 4202560 4083 0 0 0 25180 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188942907864 5441106 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2944] ppid=2934 vsize=622708 memory=800 CPUtime=248.52 cores=0-7 /proc/2937/task/2944/stat : 2944 (cosoco) R 2934 2937 961 0 -1 4202560 4129 0 0 0 24852 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188934515304 140188984505932 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2945] ppid=2934 vsize=622708 memory=1408 CPUtime=251.83 cores=0-7 /proc/2937/task/2945/stat : 2945 (cosoco) R 2934 2937 961 0 -1 4202560 4213 0 0 0 25183 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188926122408 5478718 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 [pid=2937/tid=2946] ppid=2934 vsize=622708 memory=2752 CPUtime=251.83 cores=0-7 /proc/2937/task/2946/stat : 2946 (cosoco) R 2934 2937 961 0 -1 4202560 4035 0 0 0 25183 0 0 0 20 0 9 0 558788843 637652992 3362 33554432000 4194304 6211132 140735787743936 140188917729896 5453944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33267712 140735787750422 140735787750514 140735787750514 140735787753422 0 Current children cumulated CPU time: 2011.59 s Current children cumulated vsize: 622708 KiB Current children cumulated memory: 13448 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.021 s] # the end of solver process 2937 was just reported to runsolver # cumulated CPU time of all completed processes: user=2011.65 s, system=0.047979 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.021 CPU time (s): 2011.7 CPU user time (s): 2011.65 CPU system time (s): 0.047979 CPU usage (%): 798.224 Max. virtual memory (cumulated for all children) (KiB): 622708 Max. memory (cumulated for all children) (KiB): 13448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2011.65 system time used= 0.047979 maximum resident set size= 13684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35628 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= 65 involuntary context switches= 16961 # summary of solver processes directly reported to runsolver: # pid: 2937 # total CPU time (s): 2011.7 # total CPU user time (s): 2011.65 # total CPU system time (s): 0.047979 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.28505 second user time and 2.0623 second system time The end
Begin job on node116 at 2019-09-30 09:27:11 IDJOB=4409860 IDBENCH=122977 IDSOLVER=2878 FILE ID=node116/4409860-1569828473 RUNJOBID= node116-1569816239-988 PBS_JOBID= 21705903 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-11-011-005.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409860-1569828473/watcher-4409860-1569828473 -o /tmp/evaluation-result-4409860-1569828473/solver-4409860-1569828473 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569816239-988 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409860-1569828473.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7a6a01f2d694ae1725dbabce720210ef RANDOM SEED=2037295135 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 31439676 kB MemAvailable: 31851644 kB Buffers: 205272 kB Cached: 526616 kB SwapCached: 3336 kB Active: 380520 kB Inactive: 357856 kB Active(anon): 24060 kB Inactive(anon): 63244 kB Active(file): 356460 kB Inactive(file): 294612 kB Unevictable: 109448 kB Mlocked: 109448 kB SwapTotal: 67108860 kB SwapFree: 67001808 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 181000 kB Mapped: 27084 kB Shmem: 72424 kB Slab: 183444 kB SReclaimable: 153464 kB SUnreclaim: 29980 kB KernelStack: 3712 kB PageTables: 5252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 539236 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node116 at 2019-09-30 09:31:23