Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 55 | 70.2588 | 8.82439 |
Name | GolombRuler/ GolombRuler-a3v18-10_c18.xml |
MD5SUM | fd7701f01011f2453d3fac3f444f25b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 28.5824 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -model -nbcores=8 HOME/instance-4409876-1569836977.xml 0.00/0.03 c enable optimization 0.00/0.03 c ========================================[ Problem Statistics ]=========================================== 0.00/0.03 c | 0.00/0.03 c | Parse time : 0.02 s 0.00/0.03 c | 0.00/0.03 c | Variables: 110 0.00/0.03 c | Domain Sizes: 100..101 0.00/0.03 c | 0.00/0.03 c | Constraints: 47 0.00/0.03 c | Arity: 1..45 -- Unary: 1 -- Ternary: 45 0.00/0.03 c | 0.00/0.03 c | Types: 0.00/0.03 c | All Different: 1 0.00/0.03 c | Intension: 1 0.00/0.03 c | Sum: 45 0.00/0.03 c | 0.00/0.03 c | Objective: Minimize Intension 0.00/0.03 0.00/0.03 c ========================================================================================================= 0.00/0.03 c Parallel mode: Portfolio 0.00/0.03 c [pFactory][Group N°0] created (threads:8). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.03 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.03 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.03 c [pFactory][Group N°0] task 7 launched on thread 7. 0.00/0.03 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.03 c [pFactory][Group N°0] task 5 launched on thread 3. 0.00/0.03 c [pFactory][Group N°0] task 4 launched on thread 4. 0.00/0.03 c [pFactory][Group N°0] task 3 launched on thread 1. 0.00/0.03 c [pFactory][Group N°0] task 2 launched on thread 5. 0.00/0.03 c [pFactory][Group N°0] task 1 launched on thread 2. 0.00/0.03 c [pFactory][Group N°0] task 0 launched on thread 6. 0.00/0.03 o 77 0.00/0.03 o 72 0.00/0.06 o 71 0.00/0.06 o 69 0.00/0.07 o 63 0.70/0.21 o 62 7.00/0.91 o 61 19.77/2.54 o 60 42.91/5.45 o 59 56.55/7.12 o 55 70.07/8.82 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 0. 70.07/8.82 c [pFactory][Group N°0] Thread N°0 is joined. 70.07/8.82 c [pFactory][Group N°0] Thread N°1 is joined. 70.07/8.82 c [pFactory][Group N°0] Thread N°2 is joined. 70.07/8.82 c [pFactory][Group N°0] Thread N°3 is joined. 70.07/8.82 c [pFactory][Group N°0] Thread N°4 is joined. 70.07/8.82 c [pFactory][Group N°0] Thread N°5 is joined. 70.07/8.82 c [pFactory][Group N°0] Thread N°6 is joined. 70.07/8.82 c [pFactory][Group N°0] Thread N°7 is joined. 70.07/8.82 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6) 70.07/8.82 s OPTIMUM FOUND 70.07/8.82 c call to solver : 8 70.07/8.82 c 70.07/8.82 c restarts : 15094 70.07/8.82 c conflicts : 53181 (757 /sec) 70.07/8.82 c decisions : 110335 (1571 /sec) 70.07/8.82 c propagations : 30872548 (439450 /sec) 70.07/8.82 c root propagations : 330 70.07/8.82 c filter calls : 6036762 (85929 /sec) 70.07/8.82 c useless filter calls : 905484 (14 %) 70.07/8.82 c Memory used : 572.27 MB 70.07/8.82 c Best bound time (wc) : 7.12277 s 70.07/8.82 c CPU time : 70.2527 s 70.07/8.82 c real time : 8.81861 s 70.07/8.82 70.07/8.82 70.07/8.82 v <instantiation type='solution' cost='55'> 70.07/8.82 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 70.07/8.82 v <values>0 1 6 10 23 26 34 41 53 55 * 1 6 10 23 26 34 41 53 55 * * 5 9 22 25 33 40 52 54 * * * 4 17 20 28 35 47 49 * * * * 13 16 24 31 43 45 * * * * * 3 11 18 30 32 * * * * * * 8 15 27 29 * * * * * * * 7 19 21 * * * * * * * * 12 14 * * * * * * * * * 2 * * * * * * * * * * </values> 70.07/8.82 v </instantiation> 70.07/8.82
OK 55
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 (15143 MiB free) memory of node 1: 16384 MiB (15543 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409876-1569836977/watcher-4409876-1569836977 -o /tmp/evaluation-result-4409876-1569836977/solver-4409876-1569836977 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409876-1569836977.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=19711, runsolver pid=19708 Current StackSize limit: 8192 KiB [startup+0.100336 s]* /proc/loadavg: 8.92 8.37 8.29 9/198 19720 /proc/meminfo: memFree=31421196/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618916 memory=5700 CPUtime=0.7 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 1979 0 0 0 70 0 0 0 20 0 9 0 559952683 633769984 1425 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154729 1425 867 493 0 148034 0 [pid=19711/tid=19713] ppid=19708 vsize=618916 memory=576460756329955530 CPUtime=0.08 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 8 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819317632272 5150011 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618916 memory=0 CPUtime=0.08 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 8 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819309238664 5149690 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618916 memory=139752993696991 CPUtime=0.08 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 8 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819300846400 5148954 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618916 memory=0 CPUtime=0.07 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 64 0 0 0 7 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819292453904 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618916 memory=0 CPUtime=0.08 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 57 0 0 0 8 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819284061216 5149266 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618916 memory=0 CPUtime=0.08 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 46 0 0 0 8 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819275668512 5389851 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618916 memory=-1 CPUtime=0.08 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 39 0 0 0 8 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819267276048 5390144 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618916 memory=0 CPUtime=0.08 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 8 0 0 0 20 0 9 0 559952685 633769984 1425 33554432000 4194304 6211132 140734275294784 139819258882880 5076535 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 0.7 s Current children cumulated vsize: 618916 KiB Current children cumulated memory: 5700 KiB [startup+0.210341 s]* /proc/loadavg: 8.92 8.37 8.29 9/198 19720 /proc/meminfo: memFree=31421196/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=5852 CPUtime=1.56 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 1980 0 0 0 156 0 0 0 20 0 9 0 559952683 633634816 1463 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1463 867 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 19 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819317632272 5082376 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=10927 CPUtime=0.19 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 19 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819309238664 5149680 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=288370129145390720 CPUtime=0.19 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 19 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819300846400 5149680 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=-1 CPUtime=0.17 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 64 0 0 0 17 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819292454216 5075192 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=0 CPUtime=0.19 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 57 0 0 0 19 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819284061216 5081220 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=0 CPUtime=0.19 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 47 0 0 0 19 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819275668512 5149714 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=-1 CPUtime=0.19 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 39 0 0 0 19 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819267276048 5078919 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=0 CPUtime=0.19 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 19 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819258882880 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 1.56 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 5852 KiB [startup+0.309338 s]* /proc/loadavg: 8.92 8.37 8.29 9/198 19720 /proc/meminfo: memFree=31421196/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=5852 CPUtime=2.35 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 1980 0 0 0 235 0 0 0 20 0 9 0 559952683 633634816 1463 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1463 867 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 29 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819317632272 5075269 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=0 CPUtime=0.29 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 29 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819309238664 5076389 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=0 CPUtime=0.29 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 29 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819300846400 5079063 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=6944656592455097440 CPUtime=0.26 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 64 0 0 0 26 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819292454216 5078940 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=0 CPUtime=0.29 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 57 0 0 0 29 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819284061216 5389855 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=0 CPUtime=0.29 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 47 0 0 0 29 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819275668512 5397248 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=0 CPUtime=0.29 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 39 0 0 0 29 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819267276048 5149945 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=0 CPUtime=0.29 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 29 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819258883200 5150994 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 2.35 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 5852 KiB [startup+0.701336 s] /proc/loadavg: 8.92 8.37 8.29 9/198 19720 /proc/meminfo: memFree=31421196/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=5852 CPUtime=5.4 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 1980 0 0 0 540 0 0 0 20 0 9 0 559952683 633634816 1463 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1463 867 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=14012 CPUtime=0.67 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 67 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819317632272 5074413 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=6620 CPUtime=0.67 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 67 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819309238664 5149800 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=2120 CPUtime=0.67 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 45 0 0 0 67 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819300846400 5389864 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=12036 CPUtime=0.63 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 64 0 0 0 63 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819292454216 5075263 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=496 CPUtime=0.68 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 57 0 0 0 68 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819284061200 5075751 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=1560 CPUtime=0.67 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 47 0 0 0 67 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819275668344 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=928 CPUtime=0.67 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 39 0 0 0 67 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819267276048 5078953 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=1680 CPUtime=0.68 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 54 0 0 0 68 0 0 0 20 0 9 0 559952685 633634816 1463 33554432000 4194304 6211132 140734275294784 139819258883200 5149706 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 5.4 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 5852 KiB [startup+1.50134 s] /proc/loadavg: 8.92 8.37 8.29 9/198 19720 /proc/meminfo: memFree=31421272/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=6988 CPUtime=11.79 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 2592 0 0 0 1179 0 0 0 20 0 9 0 559952683 633634816 1747 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1747 880 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=0 CPUtime=1.47 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 92 0 0 0 147 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819317632272 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=0 CPUtime=1.47 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 108 0 0 0 147 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819309239312 5081228 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=0 CPUtime=1.47 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 147 0 0 0 147 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819300846608 5081205 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=8243114992657236051 CPUtime=1.42 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 98 0 0 0 142 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819292454160 5075735 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=288291094993830768 CPUtime=1.47 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 93 0 0 0 147 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819284061200 5439838 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=0 CPUtime=1.47 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 158 0 0 0 147 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819275668344 5082759 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=9500 CPUtime=1.47 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 218 0 0 0 147 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819267276048 5075221 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=279505734371104 CPUtime=1.47 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 103 0 0 0 147 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819258883200 5075974 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 11.79 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 6988 KiB [startup+3.11034 s] /proc/loadavg: 8.85 8.36 8.29 9/198 19722 /proc/meminfo: memFree=31419944/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=6988 CPUtime=24.61 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 3097 0 0 0 2461 0 0 0 20 0 9 0 559952683 633634816 1747 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1747 880 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=6673 CPUtime=3.08 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 141 0 0 0 308 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819317632272 5082800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=4420 CPUtime=3.08 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 170 0 0 0 308 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819309239312 5186336 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=6628 CPUtime=3.08 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 226 0 0 0 308 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819300846608 5076396 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=139757288646271 CPUtime=3 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 152 0 0 0 300 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819292454160 5149737 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=6944652177228980320 CPUtime=3.08 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 168 0 0 0 308 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819284061200 5078752 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=6935649255759568960 CPUtime=3.08 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 219 0 0 0 308 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819275668752 5081371 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=31876 CPUtime=3.07 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 313 0 0 0 307 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819267275792 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=7596606704703778904 CPUtime=3.08 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 133 0 0 0 308 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819258883200 5149714 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 24.61 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 6988 KiB [startup+6.30134 s] /proc/loadavg: 8.85 8.36 8.29 9/198 19722 /proc/meminfo: memFree=31420000/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=6988 CPUtime=50.1 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 3808 0 0 0 5010 0 0 0 20 0 9 0 559952683 633634816 1747 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1747 880 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=-4546129931942301728 CPUtime=6.27 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 187 0 0 0 627 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819317632272 5008840 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=6988 CPUtime=6.27 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 246 0 0 0 627 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819309239312 5193765 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=6656426216303648864 CPUtime=6.27 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 324 0 0 0 627 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819300846608 5148998 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=6656426216303648864 CPUtime=6.16 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 303 0 0 0 616 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819292453904 5075560 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=3580 CPUtime=6.27 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 229 0 0 0 627 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819284061200 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=10684 CPUtime=6.27 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 324 0 0 0 627 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819275668752 5076265 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=988 CPUtime=6.26 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 417 0 0 0 626 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819267275792 5075208 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=2016 CPUtime=6.27 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 203 0 0 0 627 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819258883200 5075568 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 50.1 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 6988 KiB [startup+8.82437 s] # the end of solver process 19711 was just reported to runsolver # cumulated CPU time of all completed processes: user=70.2528 s, system=0.005996 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40134 s] /proc/loadavg: 8.85 8.36 8.29 9/198 19722 /proc/meminfo: memFree=31420000/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=6988 CPUtime=50.9 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 3809 0 0 0 5090 0 0 0 20 0 9 0 559952683 633634816 1747 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1747 880 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=357 CPUtime=6.37 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 187 0 0 0 637 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819317632272 5081360 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=4611 CPUtime=6.37 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 247 0 0 0 637 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819309239312 5078791 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=577 CPUtime=6.37 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 324 0 0 0 637 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819300846608 5149709 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=577 CPUtime=6.26 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 303 0 0 0 626 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819292453904 5149790 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=577 CPUtime=6.37 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 229 0 0 0 637 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819284061200 5075941 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=567 CPUtime=6.37 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 324 0 0 0 637 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819275668752 5149152 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=8332 CPUtime=6.36 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 417 0 0 0 636 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819267275792 5082393 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=4008 CPUtime=6.37 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 203 0 0 0 637 0 0 0 20 0 9 0 559952685 633634816 1747 33554432000 4194304 6211132 140734275294784 139819258883200 5076356 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 50.9 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 6988 KiB [startup+8.00134 s]* /proc/loadavg: 8.78 8.36 8.29 9/198 19722 /proc/meminfo: memFree=31420124/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=6996 CPUtime=63.74 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 3890 0 0 0 6374 0 0 0 20 0 9 0 559952683 633634816 1749 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1749 880 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=8317482817917895235 CPUtime=7.98 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 201 0 0 0 798 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819317632016 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=279505734663296 CPUtime=7.98 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 251 0 0 0 798 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819309239200 5082411 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=6656426216303648864 CPUtime=7.98 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 333 0 0 0 798 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819300846608 5079049 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=6944656592455360604 CPUtime=7.84 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 314 0 0 0 784 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819292454016 5076437 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=6944656592387989600 CPUtime=7.98 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 236 0 0 0 798 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819284061312 5081341 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=0 CPUtime=7.98 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 330 0 0 0 798 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819275668496 5150604 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=0 CPUtime=7.97 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 435 0 0 0 797 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819267275904 5193735 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=0 CPUtime=7.98 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 215 0 0 0 798 0 0 0 20 0 9 0 559952685 633634816 1749 33554432000 4194304 6211132 140734275294784 139819258883088 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 63.74 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 6996 KiB [startup+8.40134 s] /proc/loadavg: 8.78 8.36 8.29 9/198 19722 /proc/meminfo: memFree=31420124/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=7072 CPUtime=66.87 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 4415 0 0 0 6687 0 0 0 20 0 9 0 559952683 633634816 1768 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1768 880 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=145 CPUtime=8.37 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 251 0 0 0 837 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819317632016 5149924 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=0 CPUtime=8.37 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 323 0 0 0 837 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819309239200 5148642 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=1 CPUtime=8.37 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 407 0 0 0 837 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819300846608 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=6996 CPUtime=8.23 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 343 0 0 0 823 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819292453656 5078812 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=9500 CPUtime=8.37 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 299 0 0 0 837 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819284061312 5078884 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=1120 CPUtime=8.37 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 386 0 0 0 837 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819275668496 5079440 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=776 CPUtime=8.36 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 555 0 0 0 836 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819267275904 5078765 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=1724 CPUtime=8.37 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 276 0 0 0 837 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819258883088 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 66.87 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 7072 KiB [startup+8.80134 s] /proc/loadavg: 8.78 8.36 8.29 9/198 19722 /proc/meminfo: memFree=31420124/32770624 swapFree=66954412/67108860 [pid=19711] ppid=19708 vsize=618784 memory=7072 CPUtime=70.07 cores=0-7 /proc/19711/stat : 19711 (cosoco) S 19708 19711 16875 0 -1 1077944320 4463 0 0 0 7007 0 0 0 20 0 9 0 559952683 633634816 1768 33554432000 4194304 6211132 140734275294784 140734275293040 139819340775159 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 /proc/19711/statm: 154696 1768 880 493 0 148001 0 [pid=19711/tid=19713] ppid=19708 vsize=618784 memory=2016 CPUtime=8.77 cores=0-7 /proc/19711/task/19713/stat : 19713 (cosoco) R 19708 19711 16875 0 -1 4202560 254 0 0 0 877 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819317632016 5078752 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19714] ppid=19708 vsize=618784 memory=1284 CPUtime=8.77 cores=0-7 /proc/19711/task/19714/stat : 19714 (cosoco) R 19708 19711 16875 0 -1 4202560 329 0 0 0 877 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819309239200 5074429 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19715] ppid=19708 vsize=618784 memory=1044 CPUtime=8.77 cores=0-7 /proc/19711/task/19715/stat : 19715 (cosoco) R 19708 19711 16875 0 -1 4202560 412 0 0 0 877 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819300846608 5075751 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19716] ppid=19708 vsize=618784 memory=6996 CPUtime=8.63 cores=0-7 /proc/19711/task/19716/stat : 19716 (cosoco) R 19708 19711 16875 0 -1 4202560 348 0 0 0 863 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819292453752 5081325 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19717] ppid=19708 vsize=618784 memory=988 CPUtime=8.77 cores=0-7 /proc/19711/task/19717/stat : 19717 (cosoco) R 19708 19711 16875 0 -1 4202560 302 0 0 0 877 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819284061312 5081322 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19718] ppid=19708 vsize=618784 memory=2016 CPUtime=8.77 cores=0-7 /proc/19711/task/19718/stat : 19718 (cosoco) R 19708 19711 16875 0 -1 4202560 404 0 0 0 877 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819275668496 5082336 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19719] ppid=19708 vsize=618784 memory=33 CPUtime=8.76 cores=0-7 /proc/19711/task/19719/stat : 19719 (cosoco) R 19708 19711 16875 0 -1 4202560 559 0 0 0 876 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819267275904 5082800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 [pid=19711/tid=19720] ppid=19708 vsize=618784 memory=6996 CPUtime=8.77 cores=0-7 /proc/19711/task/19720/stat : 19720 (cosoco) R 19708 19711 16875 0 -1 4202560 280 0 0 0 877 0 0 0 20 0 9 0 559952685 633634816 1768 33554432000 4194304 6211132 140734275294784 139819258883088 5081305 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33447936 140734275302422 140734275302514 140734275302514 140734275305422 0 Current children cumulated CPU time: 70.07 s Current children cumulated vsize: 618784 KiB Current children cumulated memory: 7072 KiB Child status: 0 Real time (s): 8.82439 CPU time (s): 70.2588 CPU user time (s): 70.2528 CPU system time (s): 0.005996 CPU usage (%): 796.188 Max. virtual memory (cumulated for all children) (KiB): 618916 Max. memory (cumulated for all children) (KiB): 7072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 70.2528 system time used= 0.005996 maximum resident set size= 7252 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4528 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= 94 involuntary context switches= 528 # summary of solver processes directly reported to runsolver: # pid: 19711 # total CPU time (s): 70.2588 # total CPU user time (s): 70.2528 # total CPU system time (s): 0.005996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.047506 second user time and 0.115562 second system time The end
Begin job on node107 at 2019-09-30 10:47:30 IDJOB=4409876 IDBENCH=141371 IDSOLVER=2878 FILE ID=node107/4409876-1569836977 RUNJOBID= node107-1569823193-16902 PBS_JOBID= 21705928 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-10_c18.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409876-1569836977/watcher-4409876-1569836977 -o /tmp/evaluation-result-4409876-1569836977/solver-4409876-1569836977 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409876-1569836977.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fd7701f01011f2453d3fac3f444f25b8 RANDOM SEED=274588723 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 31422600 kB MemAvailable: 31831660 kB Buffers: 211716 kB Cached: 532068 kB SwapCached: 48108 kB Active: 353400 kB Inactive: 440404 kB Active(anon): 15336 kB Inactive(anon): 112456 kB Active(file): 338064 kB Inactive(file): 327948 kB Unevictable: 109672 kB Mlocked: 109672 kB SwapTotal: 67108860 kB SwapFree: 66954412 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 112788 kB Mapped: 26880 kB Shmem: 69360 kB Slab: 146324 kB SReclaimable: 117768 kB SUnreclaim: 28556 kB KernelStack: 3312 kB PageTables: 4892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node107 at 2019-09-30 10:47:39