Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 30 | 149.145 | 18.6956 |
Name | StillLife/StillLife-m1-s1/ StillLife-04-14.xml |
MD5SUM | 19ed80590beafaab4553f21dc50e09e4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 16.7855 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 140 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":56},{"size":9,"count":56}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":56},{"degree":7,"count":4},{"degree":8,"count":28},{"degree":10,"count":24}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":56},{"arity":3,"count":28},{"arity":4,"count":4},{"arity":6,"count":28},{"arity":9,"count":24}] |
Number of extensional constraints | 84 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":84},{"type":"sum","count":56}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.02 c 0.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4398622-1568606125.xml 0.00/0.02 c enable optimization 0.00/0.02 c ========================================[ Problem Statistics ]=========================================== 0.00/0.02 c | 0.00/0.02 c | Parse time : 0.01 s 0.00/0.02 c | 0.00/0.02 c | Variables: 112 0.00/0.02 c | Domain Sizes: 2..9 0.00/0.02 c | 0.00/0.02 c | Constraints: 141 0.00/0.02 c | Arity: 2..56 -- Binary: 56 -- Ternary: 28 0.00/0.02 c | 0.00/0.02 c | Types: 0.00/0.02 c | Extension: 84 (nb tuples: 1..10) -- (shared: 632) 0.00/0.02 c | Sum: 57 0.00/0.02 c | 0.00/0.02 c | Objective: Maximize Sum 0.00/0.02 0.00/0.02 c ========================================================================================================= 0.00/0.02 c Parallel mode: Portfolio 0.00/0.02 c [pFactory][Group N°0] created (threads:8). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.02 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.02 c [pFactory][Group N°0] task 7 launched on thread 6. 0.00/0.02 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.02 c [pFactory][Group N°0] task 5 launched on thread 2. 0.00/0.02 c [pFactory][Group N°0] task 4 launched on thread 1. 0.00/0.02 c [pFactory][Group N°0] task 3 launched on thread 7. 0.00/0.02 c [pFactory][Group N°0] task 2 launched on thread 3. 0.00/0.02 c [pFactory][Group N°0] task 1 launched on thread 5. 0.00/0.02 c [pFactory][Group N°0] task 0 launched on thread 4. 0.00/0.02 o 20 0.00/0.02 o 26 0.73/0.14 o 27 0.73/0.16 o 28 8.69/1.16 o 30 148.38/18.69 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 0. 148.38/18.69 c [pFactory][Group N°0] Thread N°0 is joined. 148.38/18.69 c [pFactory][Group N°0] Thread N°1 is joined. 148.38/18.69 c [pFactory][Group N°0] Thread N°2 is joined. 148.38/18.69 c [pFactory][Group N°0] Thread N°3 is joined. 148.38/18.69 c [pFactory][Group N°0] Thread N°4 is joined. 148.38/18.69 c [pFactory][Group N°0] Thread N°5 is joined. 148.38/18.69 c [pFactory][Group N°0] Thread N°6 is joined. 148.38/18.69 c [pFactory][Group N°0] Thread N°7 is joined. 148.38/18.69 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°4) 148.38/18.69 s OPTIMUM FOUND 148.38/18.69 c call to solver : 4 148.38/18.69 c 148.38/18.69 c restarts : 17548 148.38/18.69 c conflicts : 216098 (1449 /sec) 148.38/18.69 c decisions : 1173957 (7871 /sec) 148.38/18.69 c propagations : 17423523 (116826 /sec) 148.38/18.69 c root propagations : 104 148.38/18.69 c filter calls : 26511905 (177764 /sec) 148.38/18.69 c useless filter calls : 16562961 (62 %) 148.38/18.69 c Memory used : 572.27 MB 148.38/18.69 c Best bound time (wc) : 1.16034 s 148.38/18.69 c CPU time : 149.141 s 148.38/18.69 c real time : 18.6896 s 148.38/18.69 148.38/18.69 148.38/18.69 v <instantiation type='solution' cost='30'> 148.38/18.69 v <list>s[0][0] s[0][10] s[0][11] s[0][12] s[0][13] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][10] s[1][11] s[1][12] s[1][13] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][10] s[2][11] s[2][12] s[2][13] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][10] s[3][11] s[3][12] s[3][13] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] 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[1][0] x[1][10] x[1][11] x[1][12] x[1][13] 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][11] x[2][12] x[2][13] 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][11] x[3][12] x[3][13] 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] </list> 148.38/18.69 v <values>2 4 2 3 2 2 4 2 3 2 2 2 3 2 4 6 3 6 2 3 6 3 6 2 4 2 6 3 4 6 3 6 2 3 6 3 6 2 4 2 6 3 2 4 2 3 2 2 4 2 3 2 2 2 3 2 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 </values> 148.38/18.69 v </instantiation> 148.38/18.69
OK 30
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 (10001 MiB free) memory of node 1: 16384 MiB (15142 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398622-1568606125/watcher-4398622-1568606125 -o /tmp/evaluation-result-4398622-1568606125/solver-4398622-1568606125 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568597902-4463 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398622-1568606125.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=5533, runsolver pid=5530 Current StackSize limit: 8192 KiB [startup+0.100466 s]* /proc/loadavg: 8.48 8.34 8.32 9/201 5542 /proc/meminfo: memFree=25744700/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=5600 CPUtime=0.73 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 1760 0 0 0 73 0 0 0 20 0 9 0 436851140 633630720 1400 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1400 886 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=-7389666250745804993 CPUtime=0.09 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462861548560 5149192 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=732370056003767269 CPUtime=0.09 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462853155856 5186312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=139917666313856 CPUtime=0.09 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462844763408 5155341 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=0.09 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 9 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462836370448 5156465 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=0 CPUtime=0.09 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 9 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462827977568 5156460 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=0 CPUtime=0.09 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 9 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462819585040 5250234 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=-1 CPUtime=0.09 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462811192336 5156471 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=0 CPUtime=0.08 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 18 0 0 0 8 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462802799632 5156240 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 0.73 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 5600 KiB [startup+0.210459 s]* /proc/loadavg: 8.48 8.34 8.32 9/201 5542 /proc/meminfo: memFree=25744700/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=5600 CPUtime=1.6 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 1761 0 0 0 160 0 0 0 20 0 9 0 436851140 633630720 1400 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1400 886 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=-3398145943129763647 CPUtime=0.2 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 20 0 0 0 20 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462861548560 5158176 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=279835218568952 CPUtime=0.2 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 20 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462853155856 5149008 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=139917666313856 CPUtime=0.2 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 20 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462844763408 5149953 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=0.2 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 20 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462836370448 5193696 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=0 CPUtime=0.2 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 20 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462827977568 5150746 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=0 CPUtime=0.2 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 20 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462819585040 5250251 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=-1 CPUtime=0.2 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 20 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462811192336 5148905 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=0 CPUtime=0.18 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 18 0 0 0 18 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462802799632 5148651 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 1.6 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 5600 KiB [startup+0.309464 s]* /proc/loadavg: 8.48 8.34 8.32 10/201 5542 /proc/meminfo: memFree=25745544/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=5600 CPUtime=2.38 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 1761 0 0 0 238 0 0 0 20 0 9 0 436851140 633630720 1400 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1400 886 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=0 CPUtime=0.3 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 20 0 0 0 30 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462861548560 5250450 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=7959527060090427017 CPUtime=0.3 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 30 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462853156112 5250284 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=139917666313856 CPUtime=0.3 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 30 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462844763408 5250241 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=0.29 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 29 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462836370448 5156931 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=0 CPUtime=0.3 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 30 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462827978000 5033474 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=0 CPUtime=0.3 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 30 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462819585040 5033853 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=0 CPUtime=0.3 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 30 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462811192336 5155734 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=0 CPUtime=0.27 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 18 0 0 0 27 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462802799632 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 2.38 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 5600 KiB [startup+0.700464 s] /proc/loadavg: 8.48 8.34 8.32 9/201 5542 /proc/meminfo: memFree=25745544/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=5600 CPUtime=5.43 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 1761 0 0 0 543 0 0 0 20 0 9 0 436851140 633630720 1400 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1400 886 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=139921961281151 CPUtime=0.68 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 20 0 0 0 68 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462861548560 5150928 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=45460 CPUtime=0.68 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 68 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462853156112 5250251 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=1988 CPUtime=0.68 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 68 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462844763408 5149120 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=0.68 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 68 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462836370448 5250293 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=0 CPUtime=0.68 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 68 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462827978000 5250241 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=0 CPUtime=0.68 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 21 0 0 0 68 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462819585040 5250241 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=0 CPUtime=0.68 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 24 0 0 0 68 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462811192336 5156256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=11568 CPUtime=0.63 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 18 0 0 0 63 0 0 0 20 0 9 0 436851141 633630720 1400 33554432000 4194304 6211092 140732017560096 140462802799632 5186317 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 5.43 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 5600 KiB [startup+1.50046 s] /proc/loadavg: 8.48 8.34 8.32 9/201 5542 /proc/meminfo: memFree=25745544/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=11.81 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 2423 0 0 0 1181 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=5600 CPUtime=1.48 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 80 0 0 0 148 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5396407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=45460 CPUtime=1.48 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 131 0 0 0 148 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=1988 CPUtime=1.48 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 81 0 0 0 148 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5156936 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=1.48 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 136 0 0 0 148 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=-7088785026379990432 CPUtime=1.48 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 75 0 0 0 148 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5017418 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=3620 CPUtime=1.48 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 141 0 0 0 148 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5250284 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=45460 CPUtime=1.48 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 68 0 0 0 148 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5155345 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=0 CPUtime=1.42 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 120 0 0 0 142 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5193744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 11.81 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB [startup+3.10946 s] /proc/loadavg: 8.45 8.34 8.32 9/201 5542 /proc/meminfo: memFree=25745792/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=24.66 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 3059 0 0 0 2466 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=0 CPUtime=3.09 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 164 0 0 0 309 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5396301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=4879082849377 CPUtime=3.09 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 211 0 0 0 309 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5250234 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=6280 CPUtime=3.09 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 133 0 0 0 309 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5155639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=3.09 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 224 0 0 0 309 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5033424 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=0 CPUtime=3.09 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 159 0 0 0 309 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=0 CPUtime=3.09 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 225 0 0 0 309 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5149953 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=3906087897758000742 CPUtime=3.09 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 158 0 0 0 309 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5156465 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=4639622827774857296 CPUtime=3 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 194 0 0 0 300 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5250298 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 24.66 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB [startup+6.30047 s] /proc/loadavg: 8.45 8.34 8.32 9/200 5542 /proc/meminfo: memFree=25746348/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=50.14 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 4354 0 0 0 5014 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=139921961281151 CPUtime=6.28 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 304 0 0 0 628 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5250284 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=6280 CPUtime=6.28 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 387 0 0 0 628 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5193696 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=6280 CPUtime=6.28 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 278 0 0 0 628 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5156931 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=6.28 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 423 0 0 0 628 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5250241 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 ################ # More data... # ################ /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 5704 0 0 0 10126 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=6280 CPUtime=12.68 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 461 0 0 0 1268 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5155353 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=6280 CPUtime=12.68 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 561 0 0 0 1268 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5156256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=279835104804816 CPUtime=12.68 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 411 0 0 0 1268 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5250224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=-3472574513799858005 CPUtime=12.68 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 593 0 0 0 1268 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5008987 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=6280 CPUtime=12.67 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 480 0 0 0 1267 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5156256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=0 CPUtime=12.68 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 606 0 0 0 1268 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5250224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=2326 CPUtime=12.67 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 474 0 0 0 1267 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5155655 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=6280 CPUtime=12.49 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 527 0 0 0 1249 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5250293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 101.26 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB [startup+18.6956 s] # the end of solver process 5533 was just reported to runsolver # cumulated CPU time of all completed processes: user=149.141 s, system=0.003998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8015 s] /proc/loadavg: 8.49 8.35 8.32 9/200 5542 /proc/meminfo: memFree=25747656/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=102.07 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 5704 0 0 0 10207 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=6234198260453186709 CPUtime=12.78 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 461 0 0 0 1278 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5149244 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=-7035114785800479027 CPUtime=12.78 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 561 0 0 0 1278 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5156931 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=1056 CPUtime=12.78 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 411 0 0 0 1278 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5193744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=1556 CPUtime=12.78 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 593 0 0 0 1278 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5151120 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=11568 CPUtime=12.77 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 480 0 0 0 1277 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5148998 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=279835105035168 CPUtime=12.78 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 606 0 0 0 1278 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5157458 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=8026303079768077621 CPUtime=12.78 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 474 0 0 0 1278 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5250298 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=0 CPUtime=12.59 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 527 0 0 0 1259 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5148679 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 102.07 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB [startup+16.0005 s]* /proc/loadavg: 8.53 8.36 8.33 9/199 5543 /proc/meminfo: memFree=25747780/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=127.67 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 6406 0 0 0 12767 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=-7035114785800479027 CPUtime=15.99 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 524 0 0 0 1599 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5155345 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=-7003737579269690708 CPUtime=15.98 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 644 0 0 0 1598 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5157412 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=6000 CPUtime=15.98 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 501 0 0 0 1598 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5155341 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=0 CPUtime=15.98 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 695 0 0 0 1598 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5156911 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=6944656592455359580 CPUtime=15.98 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 572 0 0 0 1598 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5390011 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=0 CPUtime=15.99 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 700 0 0 0 1599 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=0 CPUtime=15.98 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 563 0 0 0 1598 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5148850 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=0 CPUtime=15.75 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 616 0 0 0 1575 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5155345 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 127.67 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB [startup+17.6005 s] /proc/loadavg: 8.53 8.36 8.33 9/199 5543 /proc/meminfo: memFree=25748028/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=140.39 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 6409 0 0 0 14039 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=-8990767739041718176 CPUtime=17.58 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 525 0 0 0 1758 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=6280 CPUtime=17.58 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 644 0 0 0 1758 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5156240 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=-7741295725737516405 CPUtime=17.58 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 502 0 0 0 1758 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5397244 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=1518 CPUtime=17.58 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 696 0 0 0 1758 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5149217 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=1518 CPUtime=17.57 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 572 0 0 0 1757 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=1518 CPUtime=17.58 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 700 0 0 0 1758 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5380401 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=1517 CPUtime=17.57 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 563 0 0 0 1757 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5193754 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=1518 CPUtime=17.33 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 616 0 0 0 1733 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5250241 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 140.39 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB [startup+18.4005 s] /proc/loadavg: 8.57 8.37 8.33 9/199 5543 /proc/meminfo: memFree=25748152/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=146.78 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 6409 0 0 0 14678 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=1764 CPUtime=18.38 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 525 0 0 0 1838 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5156456 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=111628 CPUtime=18.38 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 644 0 0 0 1838 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5396606 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=800 CPUtime=18.38 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 502 0 0 0 1838 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5186269 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=1804 CPUtime=18.38 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 696 0 0 0 1838 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5148679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=-7035114785800479027 CPUtime=18.37 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 572 0 0 0 1837 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=288230604624101685 CPUtime=18.38 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 700 0 0 0 1838 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=15823283127847329 CPUtime=18.37 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 563 0 0 0 1837 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5148966 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=1118 CPUtime=18.11 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 616 0 0 0 1811 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5156928 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 146.78 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB [startup+18.6005 s] /proc/loadavg: 8.57 8.37 8.33 9/199 5543 /proc/meminfo: memFree=25748152/32770624 swapFree=66941260/67108860 [pid=5533] ppid=5530 vsize=618780 memory=6280 CPUtime=148.38 cores=0-7 /proc/5533/stat : 5533 (cosoco) S 5530 5533 4436 0 -1 1077944320 6409 0 0 0 14838 0 0 0 20 0 9 0 436851140 633630720 1570 33554432000 4194304 6211092 140732017560096 140732017558352 140462884691703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 /proc/5533/statm: 154695 1570 894 493 0 148000 0 [pid=5533/tid=5535] ppid=5530 vsize=618780 memory=674 CPUtime=18.58 cores=0-7 /proc/5533/task/5535/stat : 5535 (cosoco) R 5530 5533 4436 0 -1 4202560 525 0 0 0 1858 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462861548560 5148693 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5536] ppid=5530 vsize=618780 memory=3 CPUtime=18.58 cores=0-7 /proc/5533/task/5536/stat : 5536 (cosoco) R 5530 5533 4436 0 -1 4202560 644 0 0 0 1858 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462853156112 5409424 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5537] ppid=5530 vsize=618780 memory=988 CPUtime=18.58 cores=0-7 /proc/5533/task/5537/stat : 5537 (cosoco) R 5530 5533 4436 0 -1 4202560 502 0 0 0 1858 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462844763408 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5538] ppid=5530 vsize=618780 memory=1428 CPUtime=18.58 cores=0-7 /proc/5533/task/5538/stat : 5538 (cosoco) R 5530 5533 4436 0 -1 4202560 696 0 0 0 1858 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462836370448 5155345 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5539] ppid=5530 vsize=618780 memory=6280 CPUtime=18.57 cores=0-7 /proc/5533/task/5539/stat : 5539 (cosoco) R 5530 5533 4436 0 -1 4202560 572 0 0 0 1857 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462827978000 5250298 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5540] ppid=5530 vsize=618780 memory=2112 CPUtime=18.58 cores=0-7 /proc/5533/task/5540/stat : 5540 (cosoco) R 5530 5533 4436 0 -1 4202560 700 0 0 0 1858 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462819585296 5155345 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5541] ppid=5530 vsize=618780 memory=6280 CPUtime=18.57 cores=0-7 /proc/5533/task/5541/stat : 5541 (cosoco) R 5530 5533 4436 0 -1 4202560 563 0 0 0 1857 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462811192336 5155487 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 [pid=5533/tid=5542] ppid=5530 vsize=618780 memory=26612 CPUtime=18.31 cores=0-7 /proc/5533/task/5542/stat : 5542 (cosoco) R 5530 5533 4436 0 -1 4202560 616 0 0 0 1831 0 0 0 20 0 9 0 436851141 633630720 1570 33554432000 4194304 6211092 140732017560096 140462802799632 5156465 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23019520 140732017562646 140732017562738 140732017562738 140732017565646 0 Current children cumulated CPU time: 148.38 s Current children cumulated vsize: 618780 KiB Current children cumulated memory: 6280 KiB Child status: 0 Real time (s): 18.6956 CPU time (s): 149.145 CPU user time (s): 149.141 CPU system time (s): 0.003998 CPU usage (%): 797.754 Max. virtual memory (cumulated for all children) (KiB): 618780 Max. memory (cumulated for all children) (KiB): 6280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 149.141 system time used= 0.003998 maximum resident set size= 6444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6475 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= 101 involuntary context switches= 1420 # summary of solver processes directly reported to runsolver: # pid: 5533 # total CPU time (s): 149.145 # total CPU user time (s): 149.141 # total CPU system time (s): 0.003998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.109165 second user time and 0.175668 second system time The end
Begin job on node149 at 2019-09-16 05:54:47 IDJOB=4398622 IDBENCH=115938 IDSOLVER=2852 FILE ID=node149/4398622-1568606125 RUNJOBID= node149-1568597902-4463 PBS_JOBID= 21703414 Free space on /tmp= 61420 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-04-14.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398622-1568606125/watcher-4398622-1568606125 -o /tmp/evaluation-result-4398622-1568606125/solver-4398622-1568606125 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568597902-4463 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398622-1568606125.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 19ed80590beafaab4553f21dc50e09e4 RANDOM SEED=1207558462 node149.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.81 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.81 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.81 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.81 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: 25746924 kB MemAvailable: 31841640 kB Buffers: 218880 kB Cached: 6176412 kB SwapCached: 61236 kB Active: 2513480 kB Inactive: 3944240 kB Active(anon): 29884 kB Inactive(anon): 80892 kB Active(file): 2483596 kB Inactive(file): 3863348 kB Unevictable: 111228 kB Mlocked: 111228 kB SwapTotal: 67108860 kB SwapFree: 66941260 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 123944 kB Mapped: 47220 kB Shmem: 39860 kB Slab: 156276 kB SReclaimable: 127216 kB SUnreclaim: 29060 kB KernelStack: 3744 kB PageTables: 5620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61420 MiB End job on node149 at 2019-09-16 05:55:05