Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 6.00762 | 2.82987 |
Name | Dubois/Dubois-m1-s1/ Dubois-050.xml |
MD5SUM | 630ab63eaf7c5bcaa7f0eb192a58705a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.009281 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 150 |
Number of constraints | 100 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":150}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":150}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":100}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32035-serial-file.bin HOME/instance-4405501-1569336331.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 15:44:08 CEST 2019 0.66/0.56 c PID: 32038 0.66/0.56 c IP: 172.20.3.106 0.66/0.56 c HOST: node106.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.40/0.93 c (0,0) Parsing End 1.40/0.99 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 100 ctr, max domain size 2 1.40/0.99 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.99 c (0,0) Constraint Name Generate Begin 1.40/0.99 c (0,0) Ctr:HOME/instance-4405501-1569336331.xml,ExtensionSupport:Var 1.40/0.99 c (0,0) Constraint Name Generate End 1.40/0.99 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.99 c (0,0) CSP to CSPinCNF Begin 1.93/1.22 c (0,0) translated 10 (10%) constraints 1.93/1.29 c (0,0) translated 20 (20%) constraints 2.22/1.34 c (0,0) translated 30 (30%) constraints 2.22/1.37 c (0,0) translated 40 (40%) constraints 2.52/1.40 c (0,0) translated 50 (50%) constraints 2.52/1.43 c (0,0) translated 60 (60%) constraints 2.52/1.46 c (0,0) translated 70 (70%) constraints 2.52/1.48 c (0,0) translated 80 (80%) constraints 2.85/1.50 c (0,0) translated 90 (90%) constraints 2.85/1.52 c (0,0) translated 100 (100%) constraints 2.85/1.53 c (0,0) =========================================== 2.85/1.53 c (0,0) Hybrid: #OE=550, #LE=0 2.85/1.53 c (0,0) Hybrid 2.85/1.53 c (0,0) =========================================== 2.85/1.56 c (1,1) translated 190 (10%) constraints 2.85/1.57 c (1,1) translated 380 (20%) constraints 2.85/1.58 c (1,1) translated 570 (30%) constraints 2.85/1.59 c (1,1) translated 760 (40%) constraints 2.85/1.60 c (1,1) translated 950 (50%) constraints 3.29/1.61 c (1,1) translated 1140 (60%) constraints 3.29/1.62 c (1,1) translated 1330 (70%) constraints 3.29/1.63 c (1,1) translated 1520 (80%) constraints 3.29/1.64 c (1,1) translated 1710 (90%) constraints 3.29/1.65 c (1,1) translated 1900 (100%) constraints 3.29/1.65 c (1,1) CSP to CSPinCNF End 3.29/1.65 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.29/1.65 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.29/1.65 c (1,1) CSPinCNF Propagation Begin 3.70/1.71 c (1,1) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed 3.70/1.71 c (1,1) CSPinCNF Propagation End 3.70/1.71 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.70/1.71 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.70/1.71 c (1,1) Hybrid: #OE=550, #LE=0 3.70/1.71 c (1,1) Simplify CSPinCNF Begin 3.70/1.73 c (1,1) Simplify CSPinCNF End 3.70/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.70/1.73 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.70/1.73 c (1,1) Calculate Precise Domain Begin 3.70/1.73 c (1,1) 0 values are removed by re-calculation 3.70/1.73 c (1,1) Calculate Precise Domain End 3.70/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.70/1.73 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.70/1.73 c (1,1) CSPinCNF to SatSolver Begin 4.11/1.81 c (1,1) 190 (10 %) CSP clauses are encoded (0 SAT variables, 189 SAT clauses) 4.11/1.83 c (1,1) 380 (20 %) CSP clauses are encoded (0 SAT variables, 379 SAT clauses) 4.11/1.84 c (1,1) 570 (30 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses) 4.11/1.85 c (1,1) 760 (40 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses) 4.11/1.86 c (1,1) 950 (50 %) CSP clauses are encoded (0 SAT variables, 949 SAT clauses) 4.11/1.87 c (1,1) 1140 (60 %) CSP clauses are encoded (0 SAT variables, 1139 SAT clauses) 4.11/1.87 c (1,1) 1330 (70 %) CSP clauses are encoded (0 SAT variables, 1329 SAT clauses) 4.11/1.88 c (1,1) 1520 (80 %) CSP clauses are encoded (0 SAT variables, 1519 SAT clauses) 4.11/1.89 c (1,1) 1710 (90 %) CSP clauses are encoded (0 SAT variables, 1709 SAT clauses) 4.11/1.90 c (1,1) 1900 (100 %) CSP clauses are encoded (0 SAT variables, 1899 SAT clauses) 4.11/1.90 c (1,1) CSPinCNF to SatSolver End 4.11/1.90 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.11/1.90 c (1,1) 550 bool, 1900 clause 4.11/1.90 c (1,1) Export Begin 4.57/1.99 c (1,1) Export to HOME/scop-32035-serial-file.bin 4.57/1.99 c (1,1) Export End 4.57/2.00 c (1,1) Export File Size: 0.03 MB 4.57/2.00 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 4.57/2.00 c END-Prog: Tue Sep 24 15:44:09 CEST 2019 4.75/2.02 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32035-serial-file.bin 4.76/2.48 c (0,0) Read Serial File Begin 4.76/2.48 c (0,0) HOME/scop-32035-serial-file.bin 4.76/2.70 c (0,0) Read Serial File End 4.76/2.72 4.76/2.72 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 4.76/2.72 (Solving Process) 4.76/2.72 4.76/2.74 c BEGIN-Prog: Tue Sep 24 15:44:10 CEST 2019 4.76/2.74 c PID: 32058 4.76/2.74 c IP: 172.20.3.106 4.76/2.74 c HOST: node106.alineos.net 4.76/2.74 c (0,0) SatSolver.solve Begin 4.76/2.74 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405501-1569336331.xml-scop-32038.cnf 4.76/2.77 c (0,0) c 4.76/2.77 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.76/2.77 c (0,0) c 4.76/2.77 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.76/2.77 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.76/2.77 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.76/2.77 c (0,0) c | | 4.76/2.77 c (0,0) c | Number of variables: 550 | 4.76/2.77 c (0,0) c | Number of clauses: 1900 | 4.76/2.77 c (0,0) c | Parse time: 0.00 s | 4.76/2.77 c (0,0) c | | 4.76/2.77 c (0,0) c | Simplification time: 0.00 s | 4.76/2.77 c (0,0) c | | 4.76/2.77 c (0,0) c ========================================================================================================= 4.76/2.77 c (0,0) Solved by unit propagation 4.76/2.77 c (0,0) c real time : 0.0040381 s 4.76/2.77 c (0,0) c cpu time : 0.006296 s 4.76/2.77 c (0,0) 4.76/2.77 c (0,0) s UNSATISFIABLE 4.76/2.81 c (0,0) SatSolver.solve End 4.76/2.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.76/2.81 c (0,0) Show results Begin 4.76/2.81 s UNSATISFIABLE 4.76/2.81 c (0,0) Show results End 4.76/2.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.76/2.82 c (0,0) 0,0,STOP-AFTER(ALL) 4.76/2.82 c END-Prog: Tue Sep 24 15:44:10 CEST 2019
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 (9668 MiB free) memory of node 1: 16384 MiB (15034 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405501-1569336331/watcher-4405501-1569336331 -o /tmp/evaluation-result-4405501-1569336331/solver-4405501-1569336331 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405501-1569336331.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=32035, runsolver pid=32032 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 3.13 3.59 1.74 2/211 32057 /proc/meminfo: memFree=25201820/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509887084 115843072 349 33554432000 4194304 5098028 140731801434624 140731801431880 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 349 296 221 0 87 0 [pid=32038] ppid=32035 vsize=27314120 memory=106616 CPUtime=0.1 cores=0-7 /proc/32038/stat : 32038 (java) S 32035 32035 31481 0 -1 1077944320 6199 0 0 0 8 2 0 0 20 0 20 0 509887084 27969658880 26589 33554432000 4194304 4196468 140725062841360 140725062823904 140240896638711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 /proc/32038/statm: 6828530 26654 2817 1 0 6790935 0 [pid=32038/tid=32039] ppid=32035 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/32038/task/32039/stat : 32039 (java) R 32035 32035 31481 0 -1 4202560 4274 0 0 0 7 2 0 0 20 0 20 0 509887085 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240868462264 140240888875838 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32040] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32040/stat : 32040 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240900880784 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32041] ppid=32035 vsize=27314120 memory=140642036180608 CPUtime=0 cores=0-7 /proc/32038/task/32041/stat : 32041 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240684275984 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32042] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32042/stat : 32042 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240683223696 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32043] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32043/stat : 32043 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240316520976 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32044] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32044/stat : 32044 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240315468688 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32045] ppid=32035 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32038/task/32045/stat : 32045 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240314415888 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32046] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32046/stat : 32046 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240313363600 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32047] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32047/stat : 32047 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240312310800 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32048] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32048/stat : 32048 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240156055664 140240896649858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32049] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32049/stat : 32049 (java) S 32035 32035 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 26654 33554432000 4194304 4196468 140725062841360 140238533944096 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32050] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32050/stat : 32050 (java) S 32035 32035 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 26654 33554432000 4194304 4196468 140725062841360 140238399722608 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32051] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32051/stat : 32051 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 26654 33554432000 4194304 4196468 140725062841360 140238025218128 140240896657307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32052] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32052/stat : 32052 (java) S 32035 32035 31481 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240155003504 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32053] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32053/stat : 32053 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240153950704 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32054] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32054/stat : 32054 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240152898416 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32055] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32055/stat : 32055 (java) R 32035 32035 31481 0 -1 4202560 291 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240151845616 140240888875838 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32056] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32056/stat : 32056 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 26654 33554432000 4194304 4196468 140725062841360 140237527312736 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32057] ppid=32035 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32038/task/32057/stat : 32057 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 26654 33554432000 4194304 4196468 140725062841360 140240150792496 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108012 KiB [startup+0.211281 s]* /proc/loadavg: 3.13 3.59 1.74 2/211 32057 /proc/meminfo: memFree=25180524/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509887084 115843072 349 33554432000 4194304 5098028 140731801434624 140731801431880 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 349 296 221 0 87 0 [pid=32038] ppid=32035 vsize=27314120 memory=123588 CPUtime=0.24 cores=0-7 /proc/32038/stat : 32038 (java) S 32035 32035 31481 0 -1 1077944320 11784 0 0 0 20 4 0 0 20 0 20 0 509887084 27969658880 30897 33554432000 4194304 4196468 140725062841360 140725062823904 140240896638711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 /proc/32038/statm: 6828530 30897 2921 1 0 6790935 0 [pid=32038/tid=32039] ppid=32035 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/32038/task/32039/stat : 32039 (java) R 32035 32035 31481 0 -1 4202560 9464 0 0 0 16 3 0 0 20 0 20 0 509887085 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240868447184 140240880719198 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32040] ppid=32035 vsize=27314120 memory=329 CPUtime=0 cores=0-7 /proc/32038/task/32040/stat : 32040 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240900880784 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32041] ppid=32035 vsize=27314120 memory=140642036209741 CPUtime=0 cores=0-7 /proc/32038/task/32041/stat : 32041 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240684275984 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32042] ppid=32035 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32038/task/32042/stat : 32042 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240683223696 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32043] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32043/stat : 32043 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240316520976 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32044] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32044/stat : 32044 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240315468688 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32045] ppid=32035 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32038/task/32045/stat : 32045 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240314415888 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32046] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32046/stat : 32046 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240313363600 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32047] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32047/stat : 32047 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240312310800 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32048] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32048/stat : 32048 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240156055664 140240896649858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32049] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32049/stat : 32049 (java) S 32035 32035 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 30897 33554432000 4194304 4196468 140725062841360 140238533944096 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32050] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32050/stat : 32050 (java) S 32035 32035 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 30897 33554432000 4194304 4196468 140725062841360 140238399722608 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32051] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32051/stat : 32051 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 30897 33554432000 4194304 4196468 140725062841360 140238025218128 140240896657307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32052] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32052/stat : 32052 (java) S 32035 32035 31481 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240155003504 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32053] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32053/stat : 32053 (java) S 32035 32035 31481 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240153950704 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32054] ppid=32035 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32038/task/32054/stat : 32054 (java) S 32035 32035 31481 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240152898416 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32055] ppid=32035 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/32038/task/32055/stat : 32055 (java) S 32035 32035 31481 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 509887092 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240151845616 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32056] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32056/stat : 32056 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 30897 33554432000 4194304 4196468 140725062841360 140237527312736 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32057] ppid=32035 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32038/task/32057/stat : 32057 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 30897 33554432000 4194304 4196468 140725062841360 140240150792496 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124984 KiB [startup+0.310278 s]* /proc/loadavg: 3.13 3.59 1.74 2/211 32057 /proc/meminfo: memFree=25177484/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509887084 115843072 349 33554432000 4194304 5098028 140731801434624 140731801431880 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 349 296 221 0 87 0 [pid=32038] ppid=32035 vsize=27314120 memory=127468 CPUtime=0.42 cores=0-7 /proc/32038/stat : 32038 (java) S 32035 32035 31481 0 -1 1077944320 12301 0 0 0 38 4 0 0 20 0 20 0 509887084 27969658880 31867 33554432000 4194304 4196468 140725062841360 140725062823904 140240896638711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 /proc/32038/statm: 6828530 31867 3009 1 0 6790935 0 [pid=32038/tid=32039] ppid=32035 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/32038/task/32039/stat : 32039 (java) R 32035 32035 31481 0 -1 4202560 9786 0 0 0 26 4 0 0 20 0 20 0 509887085 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240868432816 140240878202307 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32040] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32040/stat : 32040 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240900880784 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32041] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32041/stat : 32041 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240684275984 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32042] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32042/stat : 32042 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240683223696 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32043] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32043/stat : 32043 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240316520976 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32044] ppid=32035 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/32038/task/32044/stat : 32044 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240315468688 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32045] ppid=32035 vsize=27314120 memory=140641925428143 CPUtime=0 cores=0-7 /proc/32038/task/32045/stat : 32045 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240314415888 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32046] ppid=32035 vsize=27314120 memory=140641925430448 CPUtime=0 cores=0-7 /proc/32038/task/32046/stat : 32046 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240313363600 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32047] ppid=32035 vsize=27314120 memory=140641925432752 CPUtime=0 cores=0-7 /proc/32038/task/32047/stat : 32047 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887087 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240312310800 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32048] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32048/stat : 32048 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240156055664 140240896649858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32049] ppid=32035 vsize=27314120 memory=281283850872464 CPUtime=0 cores=0-7 /proc/32038/task/32049/stat : 32049 (java) S 32035 32035 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 31867 33554432000 4194304 4196468 140725062841360 140238533944096 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32050] ppid=32035 vsize=27314120 memory=281283850879376 CPUtime=0 cores=0-7 /proc/32038/task/32050/stat : 32050 (java) S 32035 32035 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509887089 27969658880 31867 33554432000 4194304 4196468 140725062841360 140238399722608 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32051] ppid=32035 vsize=27314120 memory=281283850820656 CPUtime=0 cores=0-7 /proc/32038/task/32051/stat : 32051 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 31867 33554432000 4194304 4196468 140725062841360 140238025218128 140240896657307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32052] ppid=32035 vsize=27314120 memory=281283850893200 CPUtime=0 cores=0-7 /proc/32038/task/32052/stat : 32052 (java) S 32035 32035 31481 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240155003504 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32053] ppid=32035 vsize=27314120 memory=281283850900112 CPUtime=0.01 cores=0-7 /proc/32038/task/32053/stat : 32053 (java) S 32035 32035 31481 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 509887092 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240153950704 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32054] ppid=32035 vsize=27314120 memory=281283850897808 CPUtime=0.02 cores=0-7 /proc/32038/task/32054/stat : 32054 (java) S 32035 32035 31481 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 20 0 509887092 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240152898416 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32055] ppid=32035 vsize=27314120 memory=281283850913968 CPUtime=0.07 cores=0-7 /proc/32038/task/32055/stat : 32055 (java) S 32035 32035 31481 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 20 0 509887092 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240151845616 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32056] ppid=32035 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32056/stat : 32056 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 31867 33554432000 4194304 4196468 140725062841360 140237527312736 140240896648917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32057] ppid=32035 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32038/task/32057/stat : 32057 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27969658880 31867 33554432000 4194304 4196468 140725062841360 140240150792496 140240896649858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128864 KiB [startup+0.700973 s] /proc/loadavg: 3.13 3.59 1.74 2/211 32057 /proc/meminfo: memFree=25156008/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509887084 115843072 349 33554432000 4194304 5098028 140731801434624 140731801431880 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 349 296 221 0 87 0 [pid=32038] ppid=32035 vsize=27322516 memory=163668 CPUtime=0.99 cores=0-7 /proc/32038/stat : 32038 (java) S 32035 32035 31481 0 -1 1077944320 20111 0 0 0 93 6 0 0 20 0 20 0 509887084 27978256384 40917 33554432000 4194304 4196468 140725062841360 140725062823904 140240896638711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 /proc/32038/statm: 6830629 40917 3193 1 0 6791959 0 [pid=32038/tid=32039] ppid=32035 vsize=27322516 memory=281283851271856 CPUtime=0.67 cores=0-7 /proc/32038/task/32039/stat : 32039 (java) R 32035 32035 31481 0 -1 4202560 17021 0 0 0 62 5 0 0 20 0 20 0 509887085 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240868467072 140240880719198 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32040] ppid=32035 vsize=27322516 memory=140641925636976 CPUtime=0 cores=0-7 /proc/32038/task/32040/stat : 32040 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240900880784 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32041] ppid=32035 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32041/stat : 32041 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240684275984 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32042] ppid=32035 vsize=27322516 memory=1056 CPUtime=0 cores=0-7 /proc/32038/task/32042/stat : 32042 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240683223696 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 ################ # More data... # ################ [pid=32038/tid=32045] ppid=32035 vsize=27322516 memory=14012 CPUtime=0 cores=0-7 /proc/32038/task/32045/stat : 32045 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240314415888 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32046] ppid=32035 vsize=27322516 memory=2116 CPUtime=0 cores=0-7 /proc/32038/task/32046/stat : 32046 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240313363600 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32047] ppid=32035 vsize=27322516 memory=23860 CPUtime=0 cores=0-7 /proc/32038/task/32047/stat : 32047 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887087 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240312310800 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32048] ppid=32035 vsize=27322516 memory=12024 CPUtime=0 cores=0-7 /proc/32038/task/32048/stat : 32048 (java) S 32035 32035 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 509887089 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240156055664 140240896649858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32049] ppid=32035 vsize=27322516 memory=1556 CPUtime=0 cores=0-7 /proc/32038/task/32049/stat : 32049 (java) S 32035 32035 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509887089 27978256384 40917 33554432000 4194304 4196468 140725062841360 140238533944096 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32050] ppid=32035 vsize=27322516 memory=500 CPUtime=0 cores=0-7 /proc/32038/task/32050/stat : 32050 (java) S 32035 32035 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509887089 27978256384 40917 33554432000 4194304 4196468 140725062841360 140238399722608 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32051] ppid=32035 vsize=27322516 memory=928 CPUtime=0 cores=0-7 /proc/32038/task/32051/stat : 32051 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27978256384 40917 33554432000 4194304 4196468 140725062841360 140238025218128 140240896657307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32052] ppid=32035 vsize=27322516 memory=22244 CPUtime=0.04 cores=0-7 /proc/32038/task/32052/stat : 32052 (java) S 32035 32035 31481 0 -1 1077944384 659 0 0 0 4 0 0 0 20 0 20 0 509887092 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240155003504 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32053] ppid=32035 vsize=27322516 memory=772 CPUtime=0.03 cores=0-7 /proc/32038/task/32053/stat : 32053 (java) S 32035 32035 31481 0 -1 1077944384 120 0 0 0 3 0 0 0 20 0 20 0 509887092 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240153950704 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32054] ppid=32035 vsize=27322516 memory=3648 CPUtime=0.07 cores=0-7 /proc/32038/task/32054/stat : 32054 (java) S 32035 32035 31481 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 20 0 509887092 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240152898416 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32055] ppid=32035 vsize=27322516 memory=948 CPUtime=0.15 cores=0-7 /proc/32038/task/32055/stat : 32055 (java) S 32035 32035 31481 0 -1 1077944384 622 0 0 0 15 0 0 0 20 0 20 0 509887092 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240151845616 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32056] ppid=32035 vsize=27322516 memory=2832 CPUtime=0 cores=0-7 /proc/32038/task/32056/stat : 32056 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27978256384 40917 33554432000 4194304 4196468 140725062841360 140237527312736 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32057] ppid=32035 vsize=27322516 memory=9588 CPUtime=0 cores=0-7 /proc/32038/task/32057/stat : 32057 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27978256384 40917 33554432000 4194304 4196468 140725062841360 140240150792496 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 27435644 KiB Current children cumulated memory: 165064 KiB [startup+1.50096 s] /proc/loadavg: 3.13 3.59 1.74 3/211 32057 /proc/meminfo: memFree=25122520/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509887084 115843072 349 33554432000 4194304 5098028 140731801434624 140731801431880 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 349 296 221 0 87 0 [pid=32038] ppid=32035 vsize=27326612 memory=212232 CPUtime=2.85 cores=0-7 /proc/32038/stat : 32038 (java) S 32035 32035 31481 0 -1 1077944320 23568 0 0 0 274 11 0 0 20 0 20 0 509887084 27982450688 53058 33554432000 4194304 4196468 140725062841360 140725062823904 140240896638711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 /proc/32038/statm: 6831653 53058 3246 1 0 6792983 0 [pid=32038/tid=32039] ppid=32035 vsize=27326612 memory=0 CPUtime=1.47 cores=0-7 /proc/32038/task/32039/stat : 32039 (java) R 32035 32035 31481 0 -1 4202560 18406 0 0 0 141 6 0 0 20 0 20 0 509887085 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240868466880 140240367907418 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32040] ppid=32035 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32040/stat : 32040 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240900880784 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32041] ppid=32035 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32041/stat : 32041 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240684275984 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32042] ppid=32035 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32042/stat : 32042 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240683223696 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32043] ppid=32035 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32043/stat : 32043 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240316520976 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32044] ppid=32035 vsize=27326612 memory=4580 CPUtime=0 cores=0-7 /proc/32038/task/32044/stat : 32044 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240315468688 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32045] ppid=32035 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32045/stat : 32045 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240314415888 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32046] ppid=32035 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/32038/task/32046/stat : 32046 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240313363600 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32047] ppid=32035 vsize=27326612 memory=140646331147903 CPUtime=0 cores=0-7 /proc/32038/task/32047/stat : 32047 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240312310800 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32048] ppid=32035 vsize=27326612 memory=-7099730328564634196 CPUtime=0 cores=0-7 /proc/32038/task/32048/stat : 32048 (java) S 32035 32035 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 509887089 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240156055664 140240896649858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32049] ppid=32035 vsize=27326612 memory=-7169539485663701033 CPUtime=0 cores=0-7 /proc/32038/task/32049/stat : 32049 (java) S 32035 32035 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509887089 27982450688 53058 33554432000 4194304 4196468 140725062841360 140238533944096 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32050] ppid=32035 vsize=27326612 memory=-5921431000321636112 CPUtime=0 cores=0-7 /proc/32038/task/32050/stat : 32050 (java) S 32035 32035 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509887089 27982450688 53058 33554432000 4194304 4196468 140725062841360 140238399722608 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32051] ppid=32035 vsize=27326612 memory=-2746958450906831424 CPUtime=0 cores=0-7 /proc/32038/task/32051/stat : 32051 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27982450688 53058 33554432000 4194304 4196468 140725062841360 140238025218128 140240896657307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32052] ppid=32035 vsize=27326612 memory=8401352418782109792 CPUtime=0.2 cores=0-7 /proc/32038/task/32052/stat : 32052 (java) S 32035 32035 31481 0 -1 1077944384 782 0 0 0 19 1 0 0 20 0 20 0 509887092 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240155003504 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32053] ppid=32035 vsize=27326612 memory=7682744562847679290 CPUtime=0.24 cores=0-7 /proc/32038/task/32053/stat : 32053 (java) R 32035 32035 31481 0 -1 4202560 555 0 0 0 24 0 0 0 20 0 20 0 509887092 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240153929824 140240874233457 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32054] ppid=32035 vsize=27326612 memory=1056 CPUtime=0.25 cores=0-7 /proc/32038/task/32054/stat : 32054 (java) S 32035 32035 31481 0 -1 1077944384 443 0 0 0 25 0 0 0 20 0 20 0 509887092 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240152898416 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32055] ppid=32035 vsize=27326612 memory=1716 CPUtime=0.64 cores=0-7 /proc/32038/task/32055/stat : 32055 (java) S 32035 32035 31481 0 -1 1077944384 2021 0 0 0 63 1 0 0 20 0 20 0 509887092 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240151845616 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32056] ppid=32035 vsize=27326612 memory=6168 CPUtime=0 cores=0-7 /proc/32038/task/32056/stat : 32056 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27982450688 53058 33554432000 4194304 4196468 140725062841360 140237527312736 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32057] ppid=32035 vsize=27326612 memory=14012 CPUtime=0 cores=0-7 /proc/32038/task/32057/stat : 32057 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27982450688 53058 33554432000 4194304 4196468 140725062841360 140240150792496 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 Current children cumulated CPU time: 2.85 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 213628 KiB [startup+2.82977 s] # the end of solver process 32035 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.76804 s, system=0.239573 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.61033 s] /proc/loadavg: 3.13 3.59 1.74 3/211 32057 /proc/meminfo: memFree=25122520/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509887084 115843072 349 33554432000 4194304 5098028 140731801434624 140731801431880 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 349 296 221 0 87 0 [pid=32038] ppid=32035 vsize=27326612 memory=225004 CPUtime=3.29 cores=0-7 /proc/32038/stat : 32038 (java) S 32035 32035 31481 0 -1 1077944320 24187 0 0 0 318 11 0 0 20 0 20 0 509887084 27982450688 56251 33554432000 4194304 4196468 140725062841360 140725062823904 140240896638711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 /proc/32038/statm: 6831653 56251 3247 1 0 6792983 0 [pid=32038/tid=32039] ppid=32035 vsize=27326612 memory=12024 CPUtime=1.58 cores=0-7 /proc/32038/task/32039/stat : 32039 (java) R 32035 32035 31481 0 -1 4202560 18454 0 0 0 151 7 0 0 20 0 20 0 509887085 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240868467456 140240367888354 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32040] ppid=32035 vsize=27326612 memory=1556 CPUtime=0 cores=0-7 /proc/32038/task/32040/stat : 32040 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240900880784 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32041] ppid=32035 vsize=27326612 memory=500 CPUtime=0 cores=0-7 /proc/32038/task/32041/stat : 32041 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240684275984 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32042] ppid=32035 vsize=27326612 memory=2024 CPUtime=0 cores=0-7 /proc/32038/task/32042/stat : 32042 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240683223696 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32043] ppid=32035 vsize=27326612 memory=1376 CPUtime=0 cores=0-7 /proc/32038/task/32043/stat : 32043 (java) S 32035 32035 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240316520976 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32044] ppid=32035 vsize=27326612 memory=1128 CPUtime=0 cores=0-7 /proc/32038/task/32044/stat : 32044 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240315468688 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32045] ppid=32035 vsize=27326612 memory=772 CPUtime=0 cores=0-7 /proc/32038/task/32045/stat : 32045 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240314415888 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32046] ppid=32035 vsize=27326612 memory=3648 CPUtime=0 cores=0-7 /proc/32038/task/32046/stat : 32046 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240313363600 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32047] ppid=32035 vsize=27326612 memory=948 CPUtime=0 cores=0-7 /proc/32038/task/32047/stat : 32047 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887087 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240312310800 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32048] ppid=32035 vsize=27326612 memory=2832 CPUtime=0 cores=0-7 /proc/32038/task/32048/stat : 32048 (java) S 32035 32035 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 509887089 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240156055664 140240896649858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32049] ppid=32035 vsize=27326612 memory=9588 CPUtime=0 cores=0-7 /proc/32038/task/32049/stat : 32049 (java) S 32035 32035 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509887089 27982450688 56251 33554432000 4194304 4196468 140725062841360 140238533944096 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32050] ppid=32035 vsize=27326612 memory=1548 CPUtime=0 cores=0-7 /proc/32038/task/32050/stat : 32050 (java) S 32035 32035 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509887089 27982450688 56251 33554432000 4194304 4196468 140725062841360 140238399722608 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32051] ppid=32035 vsize=27326612 memory=628 CPUtime=0 cores=0-7 /proc/32038/task/32051/stat : 32051 (java) S 32035 32035 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509887092 27982450688 56251 33554432000 4194304 4196468 140725062841360 140238025218128 140240896657307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32052] ppid=32035 vsize=27326612 memory=1056 CPUtime=0.3 cores=0-7 /proc/32038/task/32052/stat : 32052 (java) R 32035 32035 31481 0 -1 4202560 881 0 0 0 29 1 0 0 20 0 20 0 509887092 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240155003504 140240881762284 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32053] ppid=32035 vsize=27326612 memory=1716 CPUtime=0.35 cores=0-7 /proc/32038/task/32053/stat : 32053 (java) R 32035 32035 31481 0 -1 4202560 877 0 0 0 35 0 0 0 20 0 20 0 509887092 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240153930400 140240880135499 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32054] ppid=32035 vsize=27326612 memory=6168 CPUtime=0.34 cores=0-7 /proc/32038/task/32054/stat : 32054 (java) R 32035 32035 31481 0 -1 4202560 506 0 0 0 34 0 0 0 20 0 20 0 509887092 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240152898336 140240875989881 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32055] ppid=32035 vsize=27326612 memory=14012 CPUtime=0.68 cores=0-7 /proc/32038/task/32055/stat : 32055 (java) S 32035 32035 31481 0 -1 1077944384 2108 0 0 0 67 1 0 0 20 0 20 0 509887092 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240151845616 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32056] ppid=32035 vsize=27326612 memory=2116 CPUtime=0 cores=0-7 /proc/32038/task/32056/stat : 32056 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27982450688 56251 33554432000 4194304 4196468 140725062841360 140237527312736 140240896648917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 [pid=32038/tid=32057] ppid=32035 vsize=27326612 memory=23860 CPUtime=0 cores=0-7 /proc/32038/task/32057/stat : 32057 (java) S 32035 32035 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509887092 27982450688 56251 33554432000 4194304 4196468 140725062841360 140240150792496 140240896649858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14782464 140725062849258 140725062849686 140725062849686 140725062852559 0 Current children cumulated CPU time: 3.29 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 226400 KiB [startup+2.40034 s] /proc/loadavg: 3.13 3.59 1.74 2/210 32057 /proc/meminfo: memFree=25038180/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1476 CPUtime=4.76 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 583 27012 0 0 0 0 461 15 20 0 1 0 509887084 115843072 369 33554432000 4194304 5098028 140731801434624 140731801431368 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 4.76 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB [startup+2.8003 s] /proc/loadavg: 3.13 3.59 1.74 2/210 32057 /proc/meminfo: memFree=25038180/32770624 swapFree=66999716/67108860 [pid=32035] ppid=32032 vsize=113128 memory=1476 CPUtime=4.76 cores=0-7 /proc/32035/stat : 32035 (scop.sh) S 32032 32035 31481 0 -1 4202496 583 27012 0 0 0 0 461 15 20 0 1 0 509887084 115843072 369 33554432000 4194304 5098028 140731801434624 140731801431368 140646812516988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29822976 140731801441060 140731801441388 140731801441388 140731801444301 0 /proc/32035/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 4.76 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 2.82987 CPU time (s): 6.00762 CPU user time (s): 5.76804 CPU system time (s): 0.239573 CPU usage (%): 212.293 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 271096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.76804 system time used= 0.239573 maximum resident set size= 270044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49667 page faults= 0 swaps= 0 block input operations= 0 block output operations= 328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7305 involuntary context switches= 21 # summary of solver processes directly reported to runsolver: # pid: 32035 # total CPU time (s): 6.00762 # total CPU user time (s): 5.76804 # total CPU system time (s): 0.239573 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.045362 second user time and 0.062242 second system time The end
Begin job on node106 at 2019-09-24 15:44:07 IDJOB=4405501 IDBENCH=126861 IDSOLVER=2868 FILE ID=node106/4405501-1569336331 RUNJOBID= node106-1569332296-31508 PBS_JOBID= 21705069 Free space on /tmp= 23488 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-050.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405501-1569336331/watcher-4405501-1569336331 -o /tmp/evaluation-result-4405501-1569336331/solver-4405501-1569336331 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405501-1569336331.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a RANDOM SEED=1435980845 node106.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.79 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.79 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.79 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.79 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: 25295320 kB MemAvailable: 31843728 kB Buffers: 86196 kB Cached: 6634220 kB SwapCached: 4584 kB Active: 3362668 kB Inactive: 3366992 kB Active(anon): 4100 kB Inactive(anon): 57724 kB Active(file): 3358568 kB Inactive(file): 3309268 kB Unevictable: 107728 kB Mlocked: 107728 kB SwapTotal: 67108860 kB SwapFree: 66999716 kB Dirty: 20448 kB Writeback: 8 kB AnonPages: 112868 kB Mapped: 54196 kB Shmem: 43672 kB Slab: 337928 kB SReclaimable: 309032 kB SUnreclaim: 28896 kB KernelStack: 3408 kB PageTables: 5924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23468 MiB End job on node106 at 2019-09-24 15:44:10