Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 5.89301 | 2.81544 |
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-10523-serial-file.bin HOME/instance-4392648-1568422282.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: Sat Sep 14 02:50:45 CEST 2019 0.66/0.57 c PID: 10526 0.66/0.57 c IP: 172.20.3.149 0.66/0.57 c HOST: node149.alineos.net 0.66/0.58 c (0,0) Parsing Begin 1.38/0.94 c (0,0) Parsing End 1.38/0.94 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 100 ctr, max domain size 2 1.38/0.94 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.38/0.94 c (0,0) Constraint Name Generate Begin 1.38/0.95 c (0,0) Ctr:HOME/instance-4392648-1568422282.xml,ExtensionSupport:Var 1.38/0.95 c (0,0) Constraint Name Generate End 1.38/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.38/0.95 c (0,0) CSP to CSPinCNF Begin 1.88/1.23 c (0,0) translated 10 (10%) constraints 1.88/1.30 c (0,0) translated 20 (20%) constraints 2.17/1.35 c (0,0) translated 30 (30%) constraints 2.17/1.38 c (0,0) translated 40 (40%) constraints 2.45/1.41 c (0,0) translated 50 (50%) constraints 2.45/1.44 c (0,0) translated 60 (60%) constraints 2.45/1.46 c (0,0) translated 70 (70%) constraints 2.45/1.49 c (0,0) translated 80 (80%) constraints 2.78/1.51 c (0,0) translated 90 (90%) constraints 2.78/1.53 c (0,0) translated 100 (100%) constraints 2.78/1.53 c (0,0) =========================================== 2.78/1.54 c (0,0) Hybrid: #OE=550, #LE=0 2.78/1.54 c (0,0) Hybrid 2.78/1.54 c (0,0) =========================================== 2.78/1.56 c (1,1) translated 190 (10%) constraints 2.78/1.58 c (1,1) translated 380 (20%) constraints 2.78/1.59 c (1,1) translated 570 (30%) constraints 3.18/1.60 c (1,1) translated 760 (40%) constraints 3.18/1.61 c (1,1) translated 950 (50%) constraints 3.18/1.62 c (1,1) translated 1140 (60%) constraints 3.18/1.63 c (1,1) translated 1330 (70%) constraints 3.18/1.64 c (1,1) translated 1520 (80%) constraints 3.18/1.65 c (1,1) translated 1710 (90%) constraints 3.18/1.66 c (1,1) translated 1900 (100%) constraints 3.18/1.66 c (1,1) CSP to CSPinCNF End 3.18/1.66 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.18/1.66 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.18/1.66 c (1,1) CSPinCNF Propagation Begin 3.58/1.71 c (1,1) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed 3.58/1.71 c (1,1) CSPinCNF Propagation End 3.58/1.71 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.58/1.71 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.58/1.71 c (1,1) Hybrid: #OE=550, #LE=0 3.58/1.71 c (1,1) Simplify CSPinCNF Begin 3.58/1.73 c (1,1) Simplify CSPinCNF End 3.58/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.58/1.73 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.58/1.73 c (1,1) Calculate Precise Domain Begin 3.58/1.73 c (1,1) 0 values are removed by re-calculation 3.58/1.73 c (1,1) Calculate Precise Domain End 3.58/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2 3.58/1.73 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.58/1.73 c (1,1) CSPinCNF to SatSolver Begin 4.01/1.81 c (1,1) 190 (10 %) CSP clauses are encoded (0 SAT variables, 189 SAT clauses) 4.01/1.83 c (1,1) 380 (20 %) CSP clauses are encoded (0 SAT variables, 379 SAT clauses) 4.01/1.84 c (1,1) 570 (30 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses) 4.01/1.85 c (1,1) 760 (40 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses) 4.01/1.86 c (1,1) 950 (50 %) CSP clauses are encoded (0 SAT variables, 949 SAT clauses) 4.01/1.87 c (1,1) 1140 (60 %) CSP clauses are encoded (0 SAT variables, 1139 SAT clauses) 4.01/1.87 c (1,1) 1330 (70 %) CSP clauses are encoded (0 SAT variables, 1329 SAT clauses) 4.01/1.88 c (1,1) 1520 (80 %) CSP clauses are encoded (0 SAT variables, 1519 SAT clauses) 4.01/1.89 c (1,1) 1710 (90 %) CSP clauses are encoded (0 SAT variables, 1709 SAT clauses) 4.01/1.89 c (1,1) 1900 (100 %) CSP clauses are encoded (0 SAT variables, 1899 SAT clauses) 4.01/1.89 c (1,1) CSPinCNF to SatSolver End 4.01/1.89 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.01/1.89 c (1,1) 550 bool, 1900 clause 4.01/1.89 c (1,1) Export Begin 4.46/1.99 c (1,1) Export to HOME/scop-10523-serial-file.bin 4.46/1.99 c (1,1) Export End 4.46/1.99 c (1,1) Export File Size: 0.03 MB 4.46/1.99 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 4.46/1.99 c END-Prog: Sat Sep 14 02:50:46 CEST 2019 0.00/2.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10523-serial-file.bin 4.67/2.47 c (0,0) Read Serial File Begin 4.67/2.47 c (0,0) HOME/scop-10523-serial-file.bin 4.67/2.69 c (0,0) Read Serial File End 4.67/2.71 4.67/2.71 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 4.67/2.71 (Solving Process) 4.67/2.71 4.67/2.73 c BEGIN-Prog: Sat Sep 14 02:50:47 CEST 2019 4.67/2.73 c PID: 10546 4.67/2.73 c IP: 172.20.3.149 4.67/2.73 c HOST: node149.alineos.net 4.67/2.73 c (0,0) SatSolver.solve Begin 4.67/2.73 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392648-1568422282.xml-scop-10526.cnf 4.67/2.76 c (0,0) c 4.67/2.76 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.67/2.76 c (0,0) c 4.67/2.76 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.67/2.76 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.67/2.76 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.67/2.76 c (0,0) c | | 4.67/2.76 c (0,0) c | Number of variables: 550 | 4.67/2.76 c (0,0) c | Number of clauses: 1900 | 4.67/2.76 c (0,0) c | Parse time: 0.00 s | 4.67/2.76 c (0,0) c | | 4.67/2.76 c (0,0) c | Simplification time: 0.00 s | 4.67/2.76 c (0,0) c | | 4.67/2.76 c (0,0) c ========================================================================================================= 4.67/2.76 c (0,0) Solved by unit propagation 4.67/2.76 c (0,0) c real time : 0.00427699 s 4.67/2.76 c (0,0) c cpu time : 0.003721 s 4.67/2.76 c (0,0) 4.67/2.76 c (0,0) s UNSATISFIABLE 4.67/2.80 c (0,0) SatSolver.solve End 4.67/2.80 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.67/2.80 c (0,0) Show results Begin 4.67/2.80 s UNSATISFIABLE 4.67/2.80 c (0,0) Show results End 4.67/2.80 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.67/2.80 c (0,0) 0,0,STOP-AFTER(ALL) 4.67/2.80 c END-Prog: Sat Sep 14 02:50:47 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 (14857 MiB free) memory of node 1: 16384 MiB (15321 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392648-1568422282/watcher-4392648-1568422282 -o /tmp/evaluation-result-4392648-1568422282/solver-4392648-1568422282 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --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-4392648-1568422282.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=10523, runsolver pid=10520 [startup+0.100112 s]* /proc/loadavg: 7.66 8.09 8.19 3/212 10545 /proc/meminfo: memFree=30808936/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418466876 115843072 349 33554432000 4194304 5098028 140735863995536 140735863992792 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 349 296 221 0 87 0 [pid=10526] ppid=10523 vsize=27314120 memory=105748 CPUtime=0.11 cores=0-7 /proc/10526/stat : 10526 (java) S 10523 10523 6415 0 -1 1077944320 6528 0 0 0 8 3 0 0 20 0 20 0 418466876 27969658880 26437 33554432000 4194304 4196468 140724738279920 140724738262464 139651368775415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 /proc/10526/statm: 6828530 26437 2797 1 0 6790935 0 [pid=10526/tid=10527] ppid=10523 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/10526/task/10527/stat : 10527 (java) R 10523 10523 6415 0 -1 4202560 4620 0 0 0 6 2 0 0 20 0 20 0 418466877 27969658880 26437 33554432000 4194304 4196468 140724738279920 139651340601744 139651368797341 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10528] ppid=10523 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10526/task/10528/stat : 10528 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139651373017488 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10529] ppid=10523 vsize=27314120 memory=139710632130176 CPUtime=0 cores=0-7 /proc/10526/task/10529/stat : 10529 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139650791012624 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10530] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10530/stat : 10530 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139650789960336 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10531] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10531/stat : 10531 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139650788907536 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10532] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10532/stat : 10532 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139650787855248 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10533] ppid=10523 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10526/task/10533/stat : 10533 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139650786802448 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10534] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10534/stat : 10534 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139650785750160 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10535] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10535/stat : 10535 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 26437 33554432000 4194304 4196468 140724738279920 139650784697360 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10536] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10536/stat : 10536 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 26437 33554432000 4194304 4196468 140724738279920 139649890388080 139651368786562 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10537] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10537/stat : 10537 (java) S 10523 10523 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 26437 33554432000 4194304 4196468 140724738279920 139649116791584 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10538] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10538/stat : 10538 (java) S 10523 10523 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 26437 33554432000 4194304 4196468 140724738279920 139648982570096 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10539] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10539/stat : 10539 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 26437 33554432000 4194304 4196468 140724738279920 139648608065616 139651368794011 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10540] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10540/stat : 10540 (java) S 10523 10523 6415 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 26437 33554432000 4194304 4196468 140724738279920 139649889335920 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10541] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10541/stat : 10541 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 26437 33554432000 4194304 4196468 140724738279920 139649888283120 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10542] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10542/stat : 10542 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 26437 33554432000 4194304 4196468 140724738279920 139649887230832 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10543] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10543/stat : 10543 (java) S 10523 10523 6415 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 26437 33554432000 4194304 4196468 140724738279920 139649886178032 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10544] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10544/stat : 10544 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 26437 33554432000 4194304 4196468 140724738279920 139648110160224 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10545] ppid=10523 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10526/task/10545/stat : 10545 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 26437 33554432000 4194304 4196468 140724738279920 139649885124912 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107144 KiB [startup+0.210206 s]* /proc/loadavg: 7.66 8.09 8.19 3/212 10545 /proc/meminfo: memFree=30787404/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418466876 115843072 349 33554432000 4194304 5098028 140735863995536 140735863992792 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 349 296 221 0 87 0 [pid=10526] ppid=10523 vsize=27314120 memory=124808 CPUtime=0.24 cores=0-7 /proc/10526/stat : 10526 (java) S 10523 10523 6415 0 -1 1077944320 12142 0 0 0 20 4 0 0 20 0 20 0 418466876 27969658880 31202 33554432000 4194304 4196468 140724738279920 140724738262464 139651368775415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 /proc/10526/statm: 6828530 31202 2936 1 0 6790935 0 [pid=10526/tid=10527] ppid=10523 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10526/task/10527/stat : 10527 (java) R 10523 10523 6415 0 -1 4202560 9835 0 0 0 16 3 0 0 20 0 20 0 418466877 27969658880 31202 33554432000 4194304 4196468 140724738279920 139651340574800 139651368789302 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10528] ppid=10523 vsize=27314120 memory=329 CPUtime=0 cores=0-7 /proc/10526/task/10528/stat : 10528 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139651373017488 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10529] ppid=10523 vsize=27314120 memory=139710632140179 CPUtime=0 cores=0-7 /proc/10526/task/10529/stat : 10529 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139650791012624 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10530] ppid=10523 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10526/task/10530/stat : 10530 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139650789960336 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10531] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10531/stat : 10531 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139650788907536 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10532] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10532/stat : 10532 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139650787855248 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10533] ppid=10523 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10526/task/10533/stat : 10533 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139650786802448 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10534] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10534/stat : 10534 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139650785750160 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10535] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10535/stat : 10535 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 31202 33554432000 4194304 4196468 140724738279920 139650784697360 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10536] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10536/stat : 10536 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 31202 33554432000 4194304 4196468 140724738279920 139649890388080 139651368786562 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10537] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10537/stat : 10537 (java) S 10523 10523 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 31202 33554432000 4194304 4196468 140724738279920 139649116791584 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10538] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10538/stat : 10538 (java) S 10523 10523 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 31202 33554432000 4194304 4196468 140724738279920 139648982570096 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10539] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10539/stat : 10539 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 31202 33554432000 4194304 4196468 140724738279920 139648608065616 139651368794011 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10540] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10540/stat : 10540 (java) S 10523 10523 6415 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 31202 33554432000 4194304 4196468 140724738279920 139649889335920 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10541] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10541/stat : 10541 (java) S 10523 10523 6415 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 31202 33554432000 4194304 4196468 140724738279920 139649888283120 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10542] ppid=10523 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10526/task/10542/stat : 10542 (java) S 10523 10523 6415 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 31202 33554432000 4194304 4196468 140724738279920 139649887230832 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10543] ppid=10523 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/10526/task/10543/stat : 10543 (java) S 10523 10523 6415 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 418466884 27969658880 31202 33554432000 4194304 4196468 140724738279920 139649886178032 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10544] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10544/stat : 10544 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 31202 33554432000 4194304 4196468 140724738279920 139648110160224 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10545] ppid=10523 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10526/task/10545/stat : 10545 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 31202 33554432000 4194304 4196468 140724738279920 139649885124912 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126204 KiB [startup+0.309662 s]* /proc/loadavg: 7.66 8.09 8.19 2/212 10545 /proc/meminfo: memFree=30784736/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418466876 115843072 349 33554432000 4194304 5098028 140735863995536 140735863992792 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 349 296 221 0 87 0 [pid=10526] ppid=10523 vsize=27314120 memory=128676 CPUtime=0.43 cores=0-7 /proc/10526/stat : 10526 (java) S 10523 10523 6415 0 -1 1077944320 12493 0 0 0 38 5 0 0 20 0 20 0 418466876 27969658880 32169 33554432000 4194304 4196468 140724738279920 140724738262464 139651368775415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 /proc/10526/statm: 6828530 32169 3059 1 0 6790935 0 [pid=10526/tid=10527] ppid=10523 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/10526/task/10527/stat : 10527 (java) R 10523 10523 6415 0 -1 4202560 10019 0 0 0 26 4 0 0 20 0 20 0 418466877 27969658880 32169 33554432000 4194304 4196468 140724738279920 139651340605488 139651368789264 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10528] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10528/stat : 10528 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139651373017488 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10529] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10529/stat : 10529 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139650791012624 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10530] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10530/stat : 10530 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139650789960336 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10531] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10531/stat : 10531 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139650788907536 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10532] ppid=10523 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/10526/task/10532/stat : 10532 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139650787855248 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10533] ppid=10523 vsize=27314120 memory=139710521504687 CPUtime=0 cores=0-7 /proc/10526/task/10533/stat : 10533 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139650786802448 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10534] ppid=10523 vsize=27314120 memory=139710521506992 CPUtime=0 cores=0-7 /proc/10526/task/10534/stat : 10534 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139650785750160 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10535] ppid=10523 vsize=27314120 memory=139710521509296 CPUtime=0 cores=0-7 /proc/10526/task/10535/stat : 10535 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27969658880 32169 33554432000 4194304 4196468 140724738279920 139650784697360 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10536] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10536/stat : 10536 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 32169 33554432000 4194304 4196468 140724738279920 139649890388080 139651368786562 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10537] ppid=10523 vsize=27314120 memory=279421043025552 CPUtime=0 cores=0-7 /proc/10526/task/10537/stat : 10537 (java) S 10523 10523 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 32169 33554432000 4194304 4196468 140724738279920 139649116791584 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10538] ppid=10523 vsize=27314120 memory=279421043032464 CPUtime=0 cores=0-7 /proc/10526/task/10538/stat : 10538 (java) S 10523 10523 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418466881 27969658880 32169 33554432000 4194304 4196468 140724738279920 139648982570096 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10539] ppid=10523 vsize=27314120 memory=279421042973616 CPUtime=0 cores=0-7 /proc/10526/task/10539/stat : 10539 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 32169 33554432000 4194304 4196468 140724738279920 139648608065616 139651368794011 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10540] ppid=10523 vsize=27314120 memory=279421043046288 CPUtime=0.01 cores=0-7 /proc/10526/task/10540/stat : 10540 (java) S 10523 10523 6415 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 418466884 27969658880 32169 33554432000 4194304 4196468 140724738279920 139649889335920 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10541] ppid=10523 vsize=27314120 memory=279421043053200 CPUtime=0 cores=0-7 /proc/10526/task/10541/stat : 10541 (java) R 10523 10523 6415 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 32169 33554432000 4194304 4196468 140724738279920 139649888283120 139651361012542 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10542] ppid=10523 vsize=27314120 memory=279421043050896 CPUtime=0.02 cores=0-7 /proc/10526/task/10542/stat : 10542 (java) S 10523 10523 6415 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 20 0 418466884 27969658880 32169 33554432000 4194304 4196468 140724738279920 139649887230832 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10543] ppid=10523 vsize=27314120 memory=279421043067056 CPUtime=0.07 cores=0-7 /proc/10526/task/10543/stat : 10543 (java) S 10523 10523 6415 0 -1 1077944384 481 0 0 0 7 0 0 0 20 0 20 0 418466884 27969658880 32169 33554432000 4194304 4196468 140724738279920 139649886178032 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10544] ppid=10523 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10544/stat : 10544 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 32169 33554432000 4194304 4196468 140724738279920 139648110160224 139651368785621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10545] ppid=10523 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10526/task/10545/stat : 10545 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27969658880 32169 33554432000 4194304 4196468 140724738279920 139649885124912 139651368786562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130072 KiB [startup+0.700933 s] /proc/loadavg: 7.66 8.09 8.19 2/212 10545 /proc/meminfo: memFree=30763156/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418466876 115843072 349 33554432000 4194304 5098028 140735863995536 140735863992792 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 349 296 221 0 87 0 [pid=10526] ppid=10523 vsize=27322440 memory=163132 CPUtime=0.99 cores=0-7 /proc/10526/stat : 10526 (java) S 10523 10523 6415 0 -1 1077944320 19870 0 0 0 92 7 0 0 20 0 20 0 418466876 27978178560 40783 33554432000 4194304 4196468 140724738279920 140724738262464 139651368775415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 /proc/10526/statm: 6830610 40783 3167 1 0 6791959 0 [pid=10526/tid=10527] ppid=10523 vsize=27322440 memory=279421043424944 CPUtime=0.68 cores=0-7 /proc/10526/task/10527/stat : 10527 (java) R 10523 10523 6415 0 -1 4202560 17018 0 0 0 62 6 0 0 20 0 20 0 418466877 27978178560 40783 33554432000 4194304 4196468 140724738279920 139651340610480 139651352819045 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10528] ppid=10523 vsize=27322440 memory=139710521713520 CPUtime=0 cores=0-7 /proc/10526/task/10528/stat : 10528 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27978178560 40783 33554432000 4194304 4196468 140724738279920 139651373017488 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10529] ppid=10523 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10529/stat : 10529 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27978178560 40783 33554432000 4194304 4196468 140724738279920 139650791012624 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10530] ppid=10523 vsize=27322440 memory=5980 CPUtime=0 cores=0-7 /proc/10526/task/10530/stat : 10530 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27978178560 40783 33554432000 4194304 4196468 140724738279920 139650789960336 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 ################ # More data... # ################ [pid=10526/tid=10533] ppid=10523 vsize=27322440 memory=2832 CPUtime=0 cores=0-7 /proc/10526/task/10533/stat : 10533 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27978178560 40783 33554432000 4194304 4196468 140724738279920 139650786802448 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10534] ppid=10523 vsize=27322440 memory=14012 CPUtime=0 cores=0-7 /proc/10526/task/10534/stat : 10534 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27978178560 40783 33554432000 4194304 4196468 140724738279920 139650785750160 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10535] ppid=10523 vsize=27322440 memory=2112 CPUtime=0 cores=0-7 /proc/10526/task/10535/stat : 10535 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27978178560 40783 33554432000 4194304 4196468 140724738279920 139650784697360 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10536] ppid=10523 vsize=27322440 memory=12040 CPUtime=0 cores=0-7 /proc/10526/task/10536/stat : 10536 (java) S 10523 10523 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418466881 27978178560 40783 33554432000 4194304 4196468 140724738279920 139649890388080 139651368786562 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10537] ppid=10523 vsize=27322440 memory=23956 CPUtime=0 cores=0-7 /proc/10526/task/10537/stat : 10537 (java) S 10523 10523 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418466881 27978178560 40783 33554432000 4194304 4196468 140724738279920 139649116791584 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10538] ppid=10523 vsize=27322440 memory=1556 CPUtime=0 cores=0-7 /proc/10526/task/10538/stat : 10538 (java) S 10523 10523 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418466881 27978178560 40783 33554432000 4194304 4196468 140724738279920 139648982570096 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10539] ppid=10523 vsize=27322440 memory=532 CPUtime=0 cores=0-7 /proc/10526/task/10539/stat : 10539 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27978178560 40783 33554432000 4194304 4196468 140724738279920 139648608065616 139651368794011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10540] ppid=10523 vsize=27322440 memory=0 CPUtime=0.03 cores=0-7 /proc/10526/task/10540/stat : 10540 (java) S 10523 10523 6415 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 20 0 418466884 27978178560 40783 33554432000 4194304 4196468 140724738279920 139649889335920 139651368786562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10541] ppid=10523 vsize=27322440 memory=1056 CPUtime=0.03 cores=0-7 /proc/10526/task/10541/stat : 10541 (java) S 10523 10523 6415 0 -1 1077944384 184 0 0 0 3 0 0 0 20 0 20 0 418466884 27978178560 40783 33554432000 4194304 4196468 140724738279920 139649888283120 139651368786562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10542] ppid=10523 vsize=27322440 memory=1556 CPUtime=0.07 cores=0-7 /proc/10526/task/10542/stat : 10542 (java) R 10523 10523 6415 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 20 0 418466884 27978178560 40783 33554432000 4194304 4196468 140724738279920 139649887230832 139651368796762 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10543] ppid=10523 vsize=27322440 memory=11568 CPUtime=0.15 cores=0-7 /proc/10526/task/10543/stat : 10543 (java) R 10523 10523 6415 0 -1 4202560 544 0 0 0 15 0 0 0 20 0 20 0 418466884 27978178560 40783 33554432000 4194304 4196468 140724738279920 139649886178032 139651347396944 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10544] ppid=10523 vsize=27322440 memory=1532 CPUtime=0 cores=0-7 /proc/10526/task/10544/stat : 10544 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27978178560 40783 33554432000 4194304 4196468 140724738279920 139648110160224 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10545] ppid=10523 vsize=27322440 memory=1088 CPUtime=0 cores=0-7 /proc/10526/task/10545/stat : 10545 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27978178560 40783 33554432000 4194304 4196468 140724738279920 139649885124912 139651368786562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 27435568 KiB Current children cumulated memory: 164528 KiB [startup+1.50092 s] /proc/loadavg: 7.66 8.09 8.19 2/212 10545 /proc/meminfo: memFree=30739000/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418466876 115843072 349 33554432000 4194304 5098028 140735863995536 140735863992792 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 349 296 221 0 87 0 [pid=10526] ppid=10523 vsize=27326612 memory=209784 CPUtime=2.78 cores=0-7 /proc/10526/stat : 10526 (java) S 10523 10523 6415 0 -1 1077944320 23492 0 0 0 266 12 0 0 20 0 20 0 418466876 27982450688 52446 33554432000 4194304 4196468 140724738279920 140724738262464 139651368775415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 /proc/10526/statm: 6831653 52446 3249 1 0 6792983 0 [pid=10526/tid=10527] ppid=10523 vsize=27326612 memory=14698482732632482 CPUtime=1.47 cores=0-7 /proc/10526/task/10527/stat : 10527 (java) R 10523 10523 6415 0 -1 4202560 18478 0 0 0 139 8 0 0 20 0 20 0 418466877 27982450688 52446 33554432000 4194304 4196468 140724738279920 139651340601696 139650876589374 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10528] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10528/stat : 10528 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139651373017488 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10529] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10529/stat : 10529 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139650791012624 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10530] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10530/stat : 10530 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139650789960336 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10531] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10531/stat : 10531 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139650788907536 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10532] ppid=10523 vsize=27326612 memory=4580 CPUtime=0 cores=0-7 /proc/10526/task/10532/stat : 10532 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139650787855248 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10533] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10533/stat : 10533 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139650786802448 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10534] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10534/stat : 10534 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139650785750160 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10535] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10535/stat : 10535 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 52446 33554432000 4194304 4196468 140724738279920 139650784697360 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10536] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10536/stat : 10536 (java) S 10523 10523 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418466881 27982450688 52446 33554432000 4194304 4196468 140724738279920 139649890388080 139651368786562 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10537] ppid=10523 vsize=27326612 memory=2244 CPUtime=0 cores=0-7 /proc/10526/task/10537/stat : 10537 (java) S 10523 10523 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418466881 27982450688 52446 33554432000 4194304 4196468 140724738279920 139649116791584 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10538] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10538/stat : 10538 (java) S 10523 10523 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418466881 27982450688 52446 33554432000 4194304 4196468 140724738279920 139648982570096 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10539] ppid=10523 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10526/task/10539/stat : 10539 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27982450688 52446 33554432000 4194304 4196468 140724738279920 139648608065616 139651368794011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10540] ppid=10523 vsize=27326612 memory=0 CPUtime=0.21 cores=0-7 /proc/10526/task/10540/stat : 10540 (java) R 10523 10523 6415 0 -1 4202560 763 0 0 0 20 1 0 0 20 0 20 0 418466884 27982450688 52446 33554432000 4194304 4196468 140724738279920 139649889320384 139651348021214 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10541] ppid=10523 vsize=27326612 memory=0 CPUtime=0.18 cores=0-7 /proc/10526/task/10541/stat : 10541 (java) R 10523 10523 6415 0 -1 4202560 476 0 0 0 18 0 0 0 20 0 20 0 418466884 27982450688 52446 33554432000 4194304 4196468 140724738279920 139649888271056 139651353901443 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10542] ppid=10523 vsize=27326612 memory=0 CPUtime=0.25 cores=0-7 /proc/10526/task/10542/stat : 10542 (java) R 10523 10523 6415 0 -1 4202560 465 0 0 0 25 0 0 0 20 0 20 0 418466884 27982450688 52446 33554432000 4194304 4196468 140724738279920 139649887218384 139651353680587 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10543] ppid=10523 vsize=27326612 memory=6944656575208382560 CPUtime=0.62 cores=0-7 /proc/10526/task/10543/stat : 10543 (java) R 10523 10523 6415 0 -1 4202560 1948 0 0 0 62 0 0 0 20 0 20 0 418466884 27982450688 52446 33554432000 4194304 4196468 140724738279920 139649886178032 139651368796762 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10544] ppid=10523 vsize=27326612 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/10526/task/10544/stat : 10544 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27982450688 52446 33554432000 4194304 4196468 140724738279920 139648110160224 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10545] ppid=10523 vsize=27326612 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/10526/task/10545/stat : 10545 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27982450688 52446 33554432000 4194304 4196468 140724738279920 139649885124912 139651368786562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 Current children cumulated CPU time: 2.78 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 211180 KiB [startup+2.8154 s] # the end of solver process 10523 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.64037 s, system=0.252639 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60112 s] /proc/loadavg: 7.66 8.09 8.19 2/212 10545 /proc/meminfo: memFree=30739000/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418466876 115843072 349 33554432000 4194304 5098028 140735863995536 140735863992792 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 349 296 221 0 87 0 [pid=10526] ppid=10523 vsize=27326612 memory=222200 CPUtime=3.18 cores=0-7 /proc/10526/stat : 10526 (java) S 10523 10523 6415 0 -1 1077944320 24034 0 0 0 306 12 0 0 20 0 20 0 418466876 27982450688 55550 33554432000 4194304 4196468 140724738279920 140724738262464 139651368775415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 /proc/10526/statm: 6831653 55550 3249 1 0 6792983 0 [pid=10526/tid=10527] ppid=10523 vsize=27326612 memory=6944656592455359580 CPUtime=1.57 cores=0-7 /proc/10526/task/10527/stat : 10527 (java) R 10523 10523 6415 0 -1 4202560 18524 0 0 0 149 8 0 0 20 0 20 0 418466877 27982450688 55550 33554432000 4194304 4196468 140724738279920 139651340597648 139650871930075 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10528] ppid=10523 vsize=27326612 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/10526/task/10528/stat : 10528 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139651373017488 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10529] ppid=10523 vsize=27326612 memory=1396 CPUtime=0 cores=0-7 /proc/10526/task/10529/stat : 10529 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139650791012624 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10530] ppid=10523 vsize=27326612 memory=3620 CPUtime=0 cores=0-7 /proc/10526/task/10530/stat : 10530 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139650789960336 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10531] ppid=10523 vsize=27326612 memory=40296 CPUtime=0 cores=0-7 /proc/10526/task/10531/stat : 10531 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139650788907536 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10532] ppid=10523 vsize=27326612 memory=1988 CPUtime=0 cores=0-7 /proc/10526/task/10532/stat : 10532 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139650787855248 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10533] ppid=10523 vsize=27326612 memory=988 CPUtime=0 cores=0-7 /proc/10526/task/10533/stat : 10533 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139650786802448 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10534] ppid=10523 vsize=27326612 memory=1428 CPUtime=0 cores=0-7 /proc/10526/task/10534/stat : 10534 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139650785750160 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10535] ppid=10523 vsize=27326612 memory=1772 CPUtime=0 cores=0-7 /proc/10526/task/10535/stat : 10535 (java) S 10523 10523 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418466879 27982450688 55550 33554432000 4194304 4196468 140724738279920 139650784697360 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10536] ppid=10523 vsize=27326612 memory=1056 CPUtime=0 cores=0-7 /proc/10526/task/10536/stat : 10536 (java) S 10523 10523 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418466881 27982450688 55550 33554432000 4194304 4196468 140724738279920 139649890388080 139651368786562 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10537] ppid=10523 vsize=27326612 memory=1556 CPUtime=0 cores=0-7 /proc/10526/task/10537/stat : 10537 (java) S 10523 10523 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418466881 27982450688 55550 33554432000 4194304 4196468 140724738279920 139649116791584 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10538] ppid=10523 vsize=27326612 memory=11568 CPUtime=0 cores=0-7 /proc/10526/task/10538/stat : 10538 (java) S 10523 10523 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418466881 27982450688 55550 33554432000 4194304 4196468 140724738279920 139648982570096 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10539] ppid=10523 vsize=27326612 memory=1532 CPUtime=0 cores=0-7 /proc/10526/task/10539/stat : 10539 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27982450688 55550 33554432000 4194304 4196468 140724738279920 139648608065616 139651368794011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10540] ppid=10523 vsize=27326612 memory=164 CPUtime=0.29 cores=0-7 /proc/10526/task/10540/stat : 10540 (java) R 10523 10523 6415 0 -1 4202560 861 0 0 0 28 1 0 0 20 0 20 0 418466884 27982450688 55550 33554432000 4194304 4196468 140724738279920 139649889335920 139651354839408 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10541] ppid=10523 vsize=27326612 memory=-9001734013606258791 CPUtime=0.28 cores=0-7 /proc/10526/task/10541/stat : 10541 (java) R 10523 10523 6415 0 -1 4202560 724 0 0 0 28 0 0 0 20 0 20 0 418466884 27982450688 55550 33554432000 4194304 4196468 140724738279920 139649888281520 139651354792968 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10542] ppid=10523 vsize=27326612 memory=-7384994778349281184 CPUtime=0.33 cores=0-7 /proc/10526/task/10542/stat : 10542 (java) R 10523 10523 6415 0 -1 4202560 531 0 0 0 33 0 0 0 20 0 20 0 418466884 27982450688 55550 33554432000 4194304 4196468 140724738279920 139649887230832 139651348435776 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10543] ppid=10523 vsize=27326612 memory=-9001734013606258791 CPUtime=0.66 cores=0-7 /proc/10526/task/10543/stat : 10543 (java) S 10523 10523 6415 0 -1 1077944384 2031 0 0 0 66 0 0 0 20 0 20 0 418466884 27982450688 55550 33554432000 4194304 4196468 140724738279920 139649886178032 139651368786562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10544] ppid=10523 vsize=27326612 memory=-9001734013606258791 CPUtime=0 cores=0-7 /proc/10526/task/10544/stat : 10544 (java) S 10523 10523 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418466884 27982450688 55550 33554432000 4194304 4196468 140724738279920 139648110160224 139651368785621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 [pid=10526/tid=10545] ppid=10523 vsize=27326612 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/10526/task/10545/stat : 10545 (java) S 10523 10523 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418466884 27982450688 55550 33554432000 4194304 4196468 140724738279920 139649885124912 139651368786562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140724738282218 140724738282646 140724738282646 140724738285519 0 Current children cumulated CPU time: 3.18 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 223596 KiB [startup+2.40024 s] /proc/loadavg: 7.66 8.09 8.19 1/211 10545 /proc/meminfo: memFree=30648488/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1476 CPUtime=4.67 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 583 26600 0 0 0 0 452 15 20 0 1 0 418466876 115843072 369 33554432000 4194304 5098028 140735863995536 140735863992280 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 4.67 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB [startup+2.80023 s] /proc/loadavg: 7.66 8.09 8.19 1/211 10545 /proc/meminfo: memFree=30648488/32770624 swapFree=66940940/67108860 [pid=10523] ppid=10520 vsize=113128 memory=1476 CPUtime=4.67 cores=0-7 /proc/10523/stat : 10523 (scop.sh) S 10520 10523 6415 0 -1 4202496 583 26600 0 0 0 0 452 15 20 0 1 0 418466876 115843072 369 33554432000 4194304 5098028 140735863995536 140735863992280 140569924297340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7421952 140735864001316 140735864001644 140735864001644 140735864004557 0 /proc/10523/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 4.67 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 2.81544 CPU time (s): 5.89301 CPU user time (s): 5.64037 CPU system time (s): 0.252639 CPU usage (%): 209.31 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 260820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.64037 system time used= 0.252639 maximum resident set size= 268392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47937 page faults= 0 swaps= 0 block input operations= 0 block output operations= 288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7447 involuntary context switches= 6 # summary of solver processes directly reported to runsolver: # pid: 10523 # total CPU time (s): 5.89301 # total CPU user time (s): 5.64037 # total CPU system time (s): 0.252639 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.044537 second user time and 0.061964 second system time The end
Begin job on node149 at 2019-09-14 02:50:44 IDJOB=4392648 IDBENCH=123586 IDSOLVER=2839 FILE ID=node149/4392648-1568422282 RUNJOBID= node149-1568416730-6442 PBS_JOBID= 21702252 Free space on /tmp= 61424 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) 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 /tmp/evaluation-result-4392648-1568422282/watcher-4392648-1568422282 -o /tmp/evaluation-result-4392648-1568422282/solver-4392648-1568422282 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --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-4392648-1568422282.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 798862a2384da12f90df47f1a27f971a RANDOM SEED=634117694 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30903084 kB MemAvailable: 31858272 kB Buffers: 176444 kB Cached: 1079264 kB SwapCached: 61308 kB Active: 602796 kB Inactive: 714556 kB Active(anon): 29296 kB Inactive(anon): 72460 kB Active(file): 573500 kB Inactive(file): 642096 kB Unevictable: 111252 kB Mlocked: 111252 kB SwapTotal: 67108860 kB SwapFree: 66940940 kB Dirty: 20708 kB Writeback: 4 kB AnonPages: 106336 kB Mapped: 44040 kB Shmem: 31364 kB Slab: 139792 kB SReclaimable: 110856 kB SUnreclaim: 28936 kB KernelStack: 3824 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498588 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 61440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61404 MiB End job on node149 at 2019-09-14 02:50:47