Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 5.94662 | 2.82242 |
Name | Sat/Sat-m1-various/ pret-150-40.xml |
MD5SUM | 798862a2384da12f90df47f1a27f971a |
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.010862 |
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-1061-serial-file.bin HOME/instance-4405508-1569241156.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.57 c BEGIN-Prog: Mon Sep 23 14:18:35 CEST 2019 0.66/0.57 c PID: 1064 0.66/0.57 c IP: 172.20.3.140 0.66/0.57 c HOST: node140.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.42/0.94 c (0,0) Parsing End 1.42/0.95 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 100 ctr, max domain size 2 1.42/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.42/0.95 c (0,0) Constraint Name Generate Begin 1.42/0.95 c (0,0) Ctr:HOME/instance-4405508-1569241156.xml,ExtensionSupport:Var 1.42/0.95 c (0,0) Constraint Name Generate End 1.42/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.42/0.95 c (0,0) CSP to CSPinCNF Begin 1.92/1.23 c (0,0) translated 10 (10%) constraints 2.21/1.30 c (0,0) translated 20 (20%) constraints 2.21/1.35 c (0,0) translated 30 (30%) constraints 2.21/1.39 c (0,0) translated 40 (40%) constraints 2.50/1.42 c (0,0) translated 50 (50%) constraints 2.50/1.45 c (0,0) translated 60 (60%) constraints 2.50/1.47 c (0,0) translated 70 (70%) constraints 2.50/1.49 c (0,0) translated 80 (80%) constraints 2.79/1.52 c (0,0) translated 90 (90%) constraints 2.79/1.54 c (0,0) translated 100 (100%) constraints 2.79/1.54 c (0,0) =========================================== 2.79/1.54 c (1,0) Hybrid: #OE=550, #LE=0 2.79/1.54 c (1,0) Hybrid 2.79/1.54 c (1,0) =========================================== 2.79/1.57 c (1,1) translated 190 (10%) constraints 2.79/1.58 c (1,1) translated 380 (20%) constraints 2.79/1.59 c (1,1) translated 570 (30%) constraints 3.20/1.60 c (1,1) translated 760 (40%) constraints 3.20/1.61 c (1,1) translated 950 (50%) constraints 3.20/1.62 c (1,1) translated 1140 (60%) constraints 3.20/1.63 c (1,1) translated 1330 (70%) constraints 3.20/1.64 c (1,1) translated 1520 (80%) constraints 3.20/1.65 c (1,1) translated 1710 (90%) constraints 3.20/1.66 c (1,1) translated 1900 (100%) constraints 3.20/1.66 c (1,1) CSP to CSPinCNF End 3.20/1.67 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.20/1.67 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.20/1.67 c (1,1) CSPinCNF Propagation Begin 3.63/1.72 c (1,1) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed 3.63/1.72 c (1,1) CSPinCNF Propagation End 3.63/1.72 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.63/1.72 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.63/1.73 c (1,1) Hybrid: #OE=550, #LE=0 3.63/1.73 c (1,1) Simplify CSPinCNF Begin 3.63/1.74 c (1,1) Simplify CSPinCNF End 3.63/1.74 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.63/1.74 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.63/1.74 c (1,1) Calculate Precise Domain Begin 3.63/1.74 c (1,1) 0 values are removed by re-calculation 3.63/1.74 c (1,1) Calculate Precise Domain End 3.63/1.74 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.63/1.74 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.63/1.74 c (1,1) CSPinCNF to SatSolver Begin 4.02/1.83 c (1,1) 190 (10 %) CSP clauses are encoded (0 SAT variables, 189 SAT clauses) 4.02/1.84 c (1,1) 380 (20 %) CSP clauses are encoded (0 SAT variables, 379 SAT clauses) 4.02/1.86 c (1,1) 570 (30 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses) 4.02/1.86 c (1,1) 760 (40 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses) 4.02/1.87 c (1,1) 950 (50 %) CSP clauses are encoded (0 SAT variables, 949 SAT clauses) 4.02/1.88 c (1,1) 1140 (60 %) CSP clauses are encoded (0 SAT variables, 1139 SAT clauses) 4.02/1.89 c (1,1) 1330 (70 %) CSP clauses are encoded (0 SAT variables, 1329 SAT clauses) 4.02/1.90 c (1,1) 1520 (80 %) CSP clauses are encoded (0 SAT variables, 1519 SAT clauses) 4.46/1.90 c (1,1) 1710 (90 %) CSP clauses are encoded (0 SAT variables, 1709 SAT clauses) 4.46/1.91 c (1,1) 1900 (100 %) CSP clauses are encoded (0 SAT variables, 1899 SAT clauses) 4.46/1.91 c (1,1) CSPinCNF to SatSolver End 4.46/1.91 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.46/1.91 c (1,1) 550 bool, 1900 clause 4.46/1.91 c (1,1) Export Begin 4.46/2.01 c (1,1) Export to HOME/scop-1061-serial-file.bin 4.46/2.01 c (1,1) Export End 4.70/2.01 c (1,1) Export File Size: 0.03 MB 4.70/2.01 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 4.70/2.01 c END-Prog: Mon Sep 23 14:18:37 CEST 2019 4.70/2.02 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1061-serial-file.bin 4.72/2.48 c (0,0) Read Serial File Begin 4.72/2.48 c (0,0) HOME/scop-1061-serial-file.bin 4.72/2.70 c (0,0) Read Serial File End 4.72/2.71 4.72/2.71 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 4.72/2.71 (Solving Process) 4.72/2.71 4.72/2.74 c BEGIN-Prog: Mon Sep 23 14:18:37 CEST 2019 4.72/2.74 c PID: 1086 4.72/2.74 c IP: 172.20.3.140 4.72/2.74 c HOST: node140.alineos.net 4.72/2.74 c (0,0) SatSolver.solve Begin 4.72/2.74 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405508-1569241156.xml-scop-1064.cnf 4.72/2.77 c (0,0) c 4.72/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.72/2.77 c (0,0) c 4.72/2.77 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.72/2.77 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.72/2.77 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.72/2.77 c (0,0) c | | 4.72/2.77 c (0,0) c | Number of variables: 550 | 4.72/2.77 c (0,0) c | Number of clauses: 1900 | 4.72/2.77 c (0,0) c | Parse time: 0.00 s | 4.72/2.77 c (0,0) c | | 4.72/2.77 c (0,0) c | Simplification time: 0.00 s | 4.72/2.77 c (0,0) c | | 4.72/2.77 c (0,0) c ========================================================================================================= 4.72/2.77 c (0,0) Solved by unit propagation 4.72/2.77 c (0,0) c real time : 0.00459099 s 4.72/2.77 c (0,0) c cpu time : 0.00555 s 4.72/2.77 c (0,0) 4.72/2.77 c (0,0) s UNSATISFIABLE 4.72/2.81 c (0,0) SatSolver.solve End 4.72/2.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.72/2.81 c (0,0) Show results Begin 4.72/2.81 s UNSATISFIABLE 4.72/2.81 c (0,0) Show results End 4.72/2.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.72/2.81 c (0,0) 0,0,STOP-AFTER(ALL) 4.72/2.81 c END-Prog: Mon Sep 23 14:18:37 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 (14096 MiB free) memory of node 1: 16384 MiB (10968 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405508-1569241156/watcher-4405508-1569241156 -o /var/tmp/evaluation-result-4405508-1569241156/solver-4405508-1569241156 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569238587-611 --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-4405508-1569241156.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 Current StackSize limit: 8192 KiB solver pid=1061, runsolver pid=1057 [startup+0.100137 s]* /proc/loadavg: 1.08 1.10 1.00 2/211 1085 /proc/meminfo: memFree=25575568/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500053922 115843072 350 33554432000 4194304 5098028 140720831732400 140720831729656 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 350 297 221 0 87 0 [pid=1064] ppid=1061 vsize=27314120 memory=104056 CPUtime=0.1 cores=0-7 /proc/1064/stat : 1064 (java) S 1061 1061 564 0 -1 1077944320 6565 0 0 0 8 2 0 0 20 0 20 0 500053922 27969658880 26014 33554432000 4194304 4196468 140727034504384 140727034486928 140215412051703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 /proc/1064/statm: 6828530 26014 2816 1 0 6790935 0 [pid=1064/tid=1065] ppid=1061 vsize=27314120 memory=8390339637985935414 CPUtime=0.08 cores=0-7 /proc/1064/task/1065/stat : 1065 (java) R 1061 1061 564 0 -1 4202560 4646 0 0 0 7 1 0 0 20 0 20 0 500053922 27969658880 26014 33554432000 4194304 4196468 140727034504384 140215383855904 140215398119822 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1066] ppid=1061 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7 /proc/1064/task/1066/stat : 1066 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26014 33554432000 4194304 4196468 140727034504384 140215416294544 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1067] ppid=1061 vsize=27314120 memory=288370253938460288 CPUtime=0 cores=0-7 /proc/1064/task/1067/stat : 1067 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26014 33554432000 4194304 4196468 140727034504384 140214834408464 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1069] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1069/stat : 1069 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26014 33554432000 4194304 4196468 140727034504384 140214833355664 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1070] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1070/stat : 1070 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26014 33554432000 4194304 4196468 140727034504384 140214832302864 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1071] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1071/stat : 1071 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26526 33554432000 4194304 4196468 140727034504384 140214831250064 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1073] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1073/stat : 1073 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26526 33554432000 4194304 4196468 140727034504384 140214830197264 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1074] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1074/stat : 1074 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26526 33554432000 4194304 4196468 140727034504384 140214829144464 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1075] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1075/stat : 1075 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 26526 33554432000 4194304 4196468 140727034504384 140214828091664 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1076] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1076/stat : 1076 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053926 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213799377776 140215412062850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1077] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1077/stat : 1077 (java) S 1061 1061 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500053927 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213166794272 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1078] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1078/stat : 1078 (java) S 1061 1061 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500053927 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213032572272 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1079] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1079/stat : 1079 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 26526 33554432000 4194304 4196468 140727034504384 140212658067792 140215412070299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1080] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1080/stat : 1080 (java) S 1061 1061 564 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213798324592 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1081] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1081/stat : 1081 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213797271792 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1082] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1082/stat : 1082 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213796218992 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1083] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1083/stat : 1083 (java) S 1061 1061 564 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213795166192 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1084] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1084/stat : 1084 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27969658880 26526 33554432000 4194304 4196468 140727034504384 140212160162912 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1085] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1085/stat : 1085 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053930 27969658880 26526 33554432000 4194304 4196468 140727034504384 140213794114608 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105456 KiB [startup+0.210494 s]* /proc/loadavg: 1.08 1.10 1.00 3/211 1085 /proc/meminfo: memFree=25556684/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500053922 115843072 350 33554432000 4194304 5098028 140720831732400 140720831729656 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 350 297 221 0 87 0 [pid=1064] ppid=1061 vsize=27314120 memory=120804 CPUtime=0.25 cores=0-7 /proc/1064/stat : 1064 (java) S 1061 1061 564 0 -1 1077944320 11502 0 0 0 21 4 0 0 20 0 20 0 500053922 27969658880 30201 33554432000 4194304 4196468 140727034504384 140727034486928 140215412051703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 /proc/1064/statm: 6828530 30201 2915 1 0 6790935 0 [pid=1064/tid=1065] ppid=1061 vsize=27314120 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/1064/task/1065/stat : 1065 (java) R 1061 1061 564 0 -1 4202560 9135 0 0 0 17 3 0 0 20 0 20 0 500053922 27969658880 30201 33554432000 4194304 4196468 140727034504384 140215383856128 140215396132190 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1066] ppid=1061 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7 /proc/1064/task/1066/stat : 1066 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140215416294544 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1067] ppid=1061 vsize=27314120 memory=288370253938460288 CPUtime=0 cores=0-7 /proc/1064/task/1067/stat : 1067 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140214834408464 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1069] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1069/stat : 1069 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140214833355664 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1070] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1070/stat : 1070 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140214832302864 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1071] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1071/stat : 1071 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140214831250064 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1073] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1073/stat : 1073 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140214830197264 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1074] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1074/stat : 1074 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140214829144464 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1075] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1075/stat : 1075 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 30201 33554432000 4194304 4196468 140727034504384 140214828091664 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1076] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1076/stat : 1076 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053926 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213799377776 140215412062850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1077] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1077/stat : 1077 (java) S 1061 1061 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500053927 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213166794272 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1078] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1078/stat : 1078 (java) S 1061 1061 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500053927 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213032572272 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1079] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1079/stat : 1079 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 30201 33554432000 4194304 4196468 140727034504384 140212658067792 140215412070299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1080] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1080/stat : 1080 (java) S 1061 1061 564 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213798324592 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1081] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1081/stat : 1081 (java) S 1061 1061 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213797271792 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1082] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1082/stat : 1082 (java) S 1061 1061 564 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213796218992 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1083] ppid=1061 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/1064/task/1083/stat : 1083 (java) S 1061 1061 564 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 20 0 500053929 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213795166192 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1084] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1084/stat : 1084 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27969658880 30201 33554432000 4194304 4196468 140727034504384 140212160162912 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1085] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1085/stat : 1085 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053930 27969658880 30201 33554432000 4194304 4196468 140727034504384 140213794114608 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 122204 KiB [startup+0.312469 s]* /proc/loadavg: 1.08 1.10 1.00 2/211 1085 /proc/meminfo: memFree=25553644/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500053922 115843072 350 33554432000 4194304 5098028 140720831732400 140720831729656 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 350 297 221 0 87 0 [pid=1064] ppid=1061 vsize=27314120 memory=124912 CPUtime=0.43 cores=0-7 /proc/1064/stat : 1064 (java) S 1061 1061 564 0 -1 1077944320 12643 0 0 0 38 5 0 0 20 0 20 0 500053922 27969658880 31228 33554432000 4194304 4196468 140727034504384 140727034486928 140215412051703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 /proc/1064/statm: 6828530 31228 3029 1 0 6790935 0 [pid=1064/tid=1065] ppid=1061 vsize=27314120 memory=1399051139730258233 CPUtime=0.3 cores=0-7 /proc/1064/task/1065/stat : 1065 (java) R 1061 1061 564 0 -1 4202560 10032 0 0 0 26 4 0 0 20 0 20 0 500053922 27969658880 31228 33554432000 4194304 4196468 140727034504384 140215383849768 140215396132190 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1066] ppid=1061 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1064/task/1066/stat : 1066 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140215416294544 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1067] ppid=1061 vsize=27314120 memory=2828 CPUtime=0 cores=0-7 /proc/1064/task/1067/stat : 1067 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140214834408464 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1069] ppid=1061 vsize=27314120 memory=1048 CPUtime=0 cores=0-7 /proc/1064/task/1069/stat : 1069 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140214833355664 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1070] ppid=1061 vsize=27314120 memory=6124 CPUtime=0 cores=0-7 /proc/1064/task/1070/stat : 1070 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140214832302864 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1071] ppid=1061 vsize=27314120 memory=916 CPUtime=0 cores=0-7 /proc/1064/task/1071/stat : 1071 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140214831250064 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1073] ppid=1061 vsize=27314120 memory=612 CPUtime=0 cores=0-7 /proc/1064/task/1073/stat : 1073 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140214830197264 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1074] ppid=1061 vsize=27314120 memory=4204 CPUtime=0 cores=0-7 /proc/1064/task/1074/stat : 1074 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140214829144464 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1075] ppid=1061 vsize=27314120 memory=1220 CPUtime=0 cores=0-7 /proc/1064/task/1075/stat : 1075 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27969658880 31228 33554432000 4194304 4196468 140727034504384 140214828091664 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1076] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1076/stat : 1076 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053926 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213799377776 140215412062850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1077] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1077/stat : 1077 (java) S 1061 1061 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500053927 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213166794272 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1078] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1078/stat : 1078 (java) S 1061 1061 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500053927 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213032572272 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1079] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1079/stat : 1079 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 31228 33554432000 4194304 4196468 140727034504384 140212658067792 140215412070299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1080] ppid=1061 vsize=27314120 memory=67 CPUtime=0.02 cores=0-7 /proc/1064/task/1080/stat : 1080 (java) S 1061 1061 564 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 500053929 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213798324592 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1081] ppid=1061 vsize=27314120 memory=35 CPUtime=0 cores=0-7 /proc/1064/task/1081/stat : 1081 (java) S 1061 1061 564 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 500053929 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213797271792 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1082] ppid=1061 vsize=27314120 memory=2244 CPUtime=0.01 cores=0-7 /proc/1064/task/1082/stat : 1082 (java) R 1061 1061 564 0 -1 4202560 155 0 0 0 1 0 0 0 20 0 20 0 500053929 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213796218992 140215395546260 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1083] ppid=1061 vsize=27314120 memory=2244 CPUtime=0.07 cores=0-7 /proc/1064/task/1083/stat : 1083 (java) S 1061 1061 564 0 -1 1077944384 625 0 0 0 7 0 0 0 20 0 20 0 500053929 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213795166192 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1084] ppid=1061 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1084/stat : 1084 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27969658880 31228 33554432000 4194304 4196468 140727034504384 140212160162912 140215412061909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1085] ppid=1061 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1064/task/1085/stat : 1085 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053930 27969658880 31228 33554432000 4194304 4196468 140727034504384 140213794114608 140215412062850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126312 KiB [startup+0.700969 s] /proc/loadavg: 1.08 1.10 1.00 3/211 1085 /proc/meminfo: memFree=25530772/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500053922 115843072 350 33554432000 4194304 5098028 140720831732400 140720831729656 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 350 297 221 0 87 0 [pid=1064] ppid=1061 vsize=27322440 memory=163092 CPUtime=1.02 cores=0-7 /proc/1064/stat : 1064 (java) S 1061 1061 564 0 -1 1077944320 20403 0 0 0 94 8 0 0 20 0 20 0 500053922 27978178560 40773 33554432000 4194304 4196468 140727034504384 140727034486928 140215412051703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 /proc/1064/statm: 6830610 40773 3182 1 0 6791959 0 [pid=1064/tid=1065] ppid=1061 vsize=27322440 memory=2244 CPUtime=0.68 cores=0-7 /proc/1064/task/1065/stat : 1065 (java) R 1061 1061 564 0 -1 4202560 17058 0 0 0 62 6 0 0 20 0 20 0 500053922 27978178560 40773 33554432000 4194304 4196468 140727034504384 140215383888960 140215396095333 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1066] ppid=1061 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1066/stat : 1066 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27978178560 40773 33554432000 4194304 4196468 140727034504384 140215416294544 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1067] ppid=1061 vsize=27322440 memory=148 CPUtime=0 cores=0-7 /proc/1064/task/1067/stat : 1067 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27978178560 40773 33554432000 4194304 4196468 140727034504384 140214834408464 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1069] ppid=1061 vsize=27322440 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/1064/task/1069/stat : 1069 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053925 27978178560 40773 33554432000 4194304 4196468 140727034504384 140214833355664 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 ################ # More data... # ################ [pid=1064/tid=1073] ppid=1061 vsize=27322440 memory=50 CPUtime=0 cores=0-7 /proc/1064/task/1073/stat : 1073 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27978178560 40773 33554432000 4194304 4196468 140727034504384 140214830197264 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1074] ppid=1061 vsize=27322440 memory=139877689683609 CPUtime=0 cores=0-7 /proc/1064/task/1074/stat : 1074 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27978178560 40773 33554432000 4194304 4196468 140727034504384 140214829144464 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1075] ppid=1061 vsize=27322440 memory=279755379374144 CPUtime=0 cores=0-7 /proc/1064/task/1075/stat : 1075 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27978178560 40773 33554432000 4194304 4196468 140727034504384 140214828091664 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1076] ppid=1061 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1076/stat : 1076 (java) S 1061 1061 564 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500053926 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213799377776 140215412062850 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1077] ppid=1061 vsize=27322440 memory=33521 CPUtime=0 cores=0-7 /proc/1064/task/1077/stat : 1077 (java) S 1061 1061 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500053927 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213166794272 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1078] ppid=1061 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1078/stat : 1078 (java) S 1061 1061 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500053927 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213032572272 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1079] ppid=1061 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1079/stat : 1079 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053929 27978178560 40773 33554432000 4194304 4196468 140727034504384 140212658067792 140215412070299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1080] ppid=1061 vsize=27322440 memory=4580 CPUtime=0.04 cores=0-7 /proc/1064/task/1080/stat : 1080 (java) S 1061 1061 564 0 -1 1077944384 534 0 0 0 4 0 0 0 20 0 20 0 500053929 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213798324592 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1081] ppid=1061 vsize=27322440 memory=0 CPUtime=0.06 cores=0-7 /proc/1064/task/1081/stat : 1081 (java) S 1061 1061 564 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 20 0 500053929 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213797271792 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1082] ppid=1061 vsize=27322440 memory=0 CPUtime=0.06 cores=0-7 /proc/1064/task/1082/stat : 1082 (java) S 1061 1061 564 0 -1 1077944384 367 0 0 0 6 0 0 0 20 0 20 0 500053929 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213796218992 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1083] ppid=1061 vsize=27322440 memory=532 CPUtime=0.15 cores=0-7 /proc/1064/task/1083/stat : 1083 (java) R 1061 1061 564 0 -1 4202560 784 0 0 0 15 0 0 0 20 0 20 0 500053929 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213795161920 140215412063638 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1084] ppid=1061 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1084/stat : 1084 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27978178560 40773 33554432000 4194304 4196468 140727034504384 140212160162912 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1085] ppid=1061 vsize=27322440 memory=4580 CPUtime=0 cores=0-7 /proc/1064/task/1085/stat : 1085 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053930 27978178560 40773 33554432000 4194304 4196468 140727034504384 140213794114608 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 Current children cumulated CPU time: 1.02 s Current children cumulated vsize: 27435568 KiB Current children cumulated memory: 164492 KiB [startup+1.50099 s] /proc/loadavg: 1.08 1.10 1.00 3/211 1085 /proc/meminfo: memFree=25504712/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500053922 115843072 350 33554432000 4194304 5098028 140720831732400 140720831729656 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 350 297 221 0 87 0 [pid=1064] ppid=1061 vsize=27326612 memory=209080 CPUtime=2.79 cores=0-7 /proc/1064/stat : 1064 (java) S 1061 1061 564 0 -1 1077944320 23768 0 0 0 268 11 0 0 20 0 20 0 500053922 27982450688 52270 33554432000 4194304 4196468 140727034504384 140727034486928 140215412051703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 /proc/1064/statm: 6831653 52270 3246 1 0 6792983 0 [pid=1064/tid=1065] ppid=1061 vsize=27326612 memory=0 CPUtime=1.47 cores=0-7 /proc/1064/task/1065/stat : 1065 (java) R 1061 1061 564 0 -1 4202560 18527 0 0 0 140 7 0 0 20 0 20 0 500053922 27982450688 52270 33554432000 4194304 4196468 140727034504384 140215383886400 140214919616584 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1066] ppid=1061 vsize=27326612 memory=4580 CPUtime=0 cores=0-7 /proc/1064/task/1066/stat : 1066 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140215416294544 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1067] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1067/stat : 1067 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140214834408464 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1069] ppid=1061 vsize=27326612 memory=144431160232024 CPUtime=0 cores=0-7 /proc/1064/task/1069/stat : 1069 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140214833355664 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1070] ppid=1061 vsize=27326612 memory=144431160232025 CPUtime=0 cores=0-7 /proc/1064/task/1070/stat : 1070 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140214832302864 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1071] ppid=1061 vsize=27326612 memory=4294967328 CPUtime=0 cores=0-7 /proc/1064/task/1071/stat : 1071 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140214831250064 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1073] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1073/stat : 1073 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140214830197264 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1074] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1074/stat : 1074 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140214829144464 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1075] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1075/stat : 1075 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 52270 33554432000 4194304 4196468 140727034504384 140214828091664 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1076] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1076/stat : 1076 (java) S 1061 1061 564 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500053926 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213799377776 140215412062850 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1077] ppid=1061 vsize=27326612 memory=55 CPUtime=0 cores=0-7 /proc/1064/task/1077/stat : 1077 (java) S 1061 1061 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500053927 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213166794272 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1078] ppid=1061 vsize=27326612 memory=7883313791464714290 CPUtime=0 cores=0-7 /proc/1064/task/1078/stat : 1078 (java) S 1061 1061 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500053927 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213032572272 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1079] ppid=1061 vsize=27326612 memory=7020451390610690762 CPUtime=0 cores=0-7 /proc/1064/task/1079/stat : 1079 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053929 27982450688 52270 33554432000 4194304 4196468 140727034504384 140212658067792 140215412070299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1080] ppid=1061 vsize=27326612 memory=0 CPUtime=0.19 cores=0-7 /proc/1064/task/1080/stat : 1080 (java) R 1061 1061 564 0 -1 4202560 653 0 0 0 19 0 0 0 20 0 20 0 500053929 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213798316048 140215412073050 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1081] ppid=1061 vsize=27326612 memory=2241 CPUtime=0.23 cores=0-7 /proc/1064/task/1081/stat : 1081 (java) R 1061 1061 564 0 -1 4202560 536 0 0 0 23 0 0 0 20 0 20 0 500053929 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213797253328 140215412073050 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1082] ppid=1061 vsize=27326612 memory=2244 CPUtime=0.22 cores=0-7 /proc/1064/task/1082/stat : 1082 (java) R 1061 1061 564 0 -1 4202560 484 0 0 0 21 1 0 0 20 0 20 0 500053929 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213796199584 140215393574614 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1083] ppid=1061 vsize=27326612 memory=7093353409595170230 CPUtime=0.62 cores=0-7 /proc/1064/task/1083/stat : 1083 (java) S 1061 1061 564 0 -1 1077944384 2206 0 0 0 62 0 0 0 20 0 20 0 500053929 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213795166192 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1084] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1084/stat : 1084 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27982450688 52270 33554432000 4194304 4196468 140727034504384 140212160162912 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1085] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1085/stat : 1085 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27982450688 52270 33554432000 4194304 4196468 140727034504384 140213794114608 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 Current children cumulated CPU time: 2.79 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 210480 KiB [startup+2.82238 s] # the end of solver process 1061 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.7014 s, system=0.245224 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60116 s] /proc/loadavg: 1.08 1.10 1.00 3/211 1085 /proc/meminfo: memFree=25504712/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500053922 115843072 350 33554432000 4194304 5098028 140720831732400 140720831729656 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 350 297 221 0 87 0 [pid=1064] ppid=1061 vsize=27326612 memory=219932 CPUtime=3.2 cores=0-7 /proc/1064/stat : 1064 (java) S 1061 1061 564 0 -1 1077944320 24554 0 0 0 309 11 0 0 20 0 20 0 500053922 27982450688 54983 33554432000 4194304 4196468 140727034504384 140727034486928 140215412051703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 /proc/1064/statm: 6831653 54983 3247 1 0 6792983 0 [pid=1064/tid=1065] ppid=1061 vsize=27326612 memory=0 CPUtime=1.57 cores=0-7 /proc/1064/task/1065/stat : 1065 (java) R 1061 1061 564 0 -1 4202560 18574 0 0 0 150 7 0 0 20 0 20 0 500053922 27982450688 54983 33554432000 4194304 4196468 140727034504384 140215383889936 140214915344444 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1066] ppid=1061 vsize=27326612 memory=139877689847601 CPUtime=0 cores=0-7 /proc/1064/task/1066/stat : 1066 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140215416294544 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1067] ppid=1061 vsize=27326612 memory=10286446673921 CPUtime=0 cores=0-7 /proc/1064/task/1067/stat : 1067 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140214834408464 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1069] ppid=1061 vsize=27326612 memory=382 CPUtime=0 cores=0-7 /proc/1064/task/1069/stat : 1069 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140214833355664 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1070] ppid=1061 vsize=27326612 memory=10 CPUtime=0 cores=0-7 /proc/1064/task/1070/stat : 1070 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140214832302864 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1071] ppid=1061 vsize=27326612 memory=177 CPUtime=0 cores=0-7 /proc/1064/task/1071/stat : 1071 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140214831250064 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1073] ppid=1061 vsize=27326612 memory=18067 CPUtime=0 cores=0-7 /proc/1064/task/1073/stat : 1073 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140214830197264 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1074] ppid=1061 vsize=27326612 memory=1201 CPUtime=0 cores=0-7 /proc/1064/task/1074/stat : 1074 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140214829144464 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1075] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1075/stat : 1075 (java) S 1061 1061 564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500053925 27982450688 54983 33554432000 4194304 4196468 140727034504384 140214828091664 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1076] ppid=1061 vsize=27326612 memory=715 CPUtime=0 cores=0-7 /proc/1064/task/1076/stat : 1076 (java) S 1061 1061 564 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 500053926 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213799377776 140215412062850 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1077] ppid=1061 vsize=27326612 memory=15 CPUtime=0 cores=0-7 /proc/1064/task/1077/stat : 1077 (java) S 1061 1061 564 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500053927 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213166794272 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1078] ppid=1061 vsize=27326612 memory=447 CPUtime=0 cores=0-7 /proc/1064/task/1078/stat : 1078 (java) S 1061 1061 564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500053927 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213032572272 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1079] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1079/stat : 1079 (java) S 1061 1061 564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500053929 27982450688 54983 33554432000 4194304 4196468 140727034504384 140212658067792 140215412070299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1080] ppid=1061 vsize=27326612 memory=3624 CPUtime=0.28 cores=0-7 /proc/1064/task/1080/stat : 1080 (java) R 1061 1061 564 0 -1 4202560 794 0 0 0 28 0 0 0 20 0 20 0 500053929 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213798324592 140215392687383 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1081] ppid=1061 vsize=27326612 memory=0 CPUtime=0.32 cores=0-7 /proc/1064/task/1081/stat : 1081 (java) S 1061 1061 564 0 -1 1077944384 569 0 0 0 32 0 0 0 20 0 20 0 500053929 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213797271792 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1082] ppid=1061 vsize=27326612 memory=139877689903184 CPUtime=0.32 cores=0-7 /proc/1064/task/1082/stat : 1082 (java) R 1061 1061 564 0 -1 4202560 982 0 0 0 31 1 0 0 20 0 20 0 500053929 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213796211624 140215395537630 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1083] ppid=1061 vsize=27326612 memory=0 CPUtime=0.66 cores=0-7 /proc/1064/task/1083/stat : 1083 (java) S 1061 1061 564 0 -1 1077944384 2270 0 0 0 66 0 0 0 20 0 20 0 500053929 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213795166192 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1084] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1084/stat : 1084 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27982450688 54983 33554432000 4194304 4196468 140727034504384 140212160162912 140215412061909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 [pid=1064/tid=1085] ppid=1061 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/1064/task/1085/stat : 1085 (java) S 1061 1061 564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500053930 27982450688 54983 33554432000 4194304 4196468 140727034504384 140213794114608 140215412062850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12898304 140727034507975 140727034508422 140727034508422 140727034511311 0 Current children cumulated CPU time: 3.2 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 221332 KiB [startup+2.40034 s] /proc/loadavg: 1.08 1.10 1.00 4/211 1085 /proc/meminfo: memFree=25415328/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1476 CPUtime=4.72 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 583 27243 0 0 0 0 457 15 20 0 1 0 500053922 115843072 369 33554432000 4194304 5098028 140720831732400 140720831729144 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 4.72 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB [startup+2.80024 s] /proc/loadavg: 1.08 1.10 1.00 4/211 1085 /proc/meminfo: memFree=25415328/32770624 swapFree=66997372/67108860 [pid=1061] ppid=1057 vsize=113128 memory=1476 CPUtime=4.72 cores=0-7 /proc/1061/stat : 1061 (scop.sh) S 1057 1061 564 0 -1 4202496 583 27243 0 0 0 0 457 15 20 0 1 0 500053922 115843072 369 33554432000 4194304 5098028 140720831732400 140720831729144 139979367981692 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34545664 140720831738620 140720831738968 140720831738968 140720831741897 0 /proc/1061/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 4.72 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 2.82242 CPU time (s): 5.94662 CPU user time (s): 5.7014 CPU system time (s): 0.245224 CPU usage (%): 210.692 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 267720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.7014 system time used= 0.245224 maximum resident set size= 268916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48543 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= 7268 involuntary context switches= 18 # summary of solver processes directly reported to runsolver: # pid: 1061 # total CPU time (s): 5.94662 # total CPU user time (s): 5.7014 # total CPU system time (s): 0.245224 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.042281 second user time and 0.066305 second system time The end
Begin job on node140 at 2019-09-23 14:18:34 IDJOB=4405508 IDBENCH=123586 IDSOLVER=2868 FILE ID=node140/4405508-1569241156 RUNJOBID= node140-1569238587-611 PBS_JOBID= 21704899 Free space on /var/tmp= 13516 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Sat/Sat-m1-various/pret-150-40.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 /var/tmp/evaluation-result-4405508-1569241156/watcher-4405508-1569241156 -o /var/tmp/evaluation-result-4405508-1569241156/solver-4405508-1569241156 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569238587-611 --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-4405508-1569241156.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 798862a2384da12f90df47f1a27f971a RANDOM SEED=600633216 node140.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.43 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.43 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.43 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.43 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: 25667224 kB MemAvailable: 31843636 kB Buffers: 110124 kB Cached: 6164684 kB SwapCached: 2884 kB Active: 3120320 kB Inactive: 3163312 kB Active(anon): 4964 kB Inactive(anon): 59016 kB Active(file): 3115356 kB Inactive(file): 3104296 kB Unevictable: 107032 kB Mlocked: 107032 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 20684 kB Writeback: 0 kB AnonPages: 120856 kB Mapped: 54884 kB Shmem: 46668 kB Slab: 413624 kB SReclaimable: 385220 kB SUnreclaim: 28404 kB KernelStack: 3712 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514856 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13496 MiB End job on node140 at 2019-09-23 14:18:37