| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | ? (MO) | 131.271 | 127.45 |
| Name | MagicHexagon/ MagicHexagon-08-0006_c18.xml |
| MD5SUM | e0f43de676a90a3e6f61e2deb5ab7ad8 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 52 |
| Number of domains | 1 |
| Minimum domain size | 169 |
| Maximum domain size | 169 |
| Distribution of domain sizes | [{"size":169,"count":169}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 169 |
| Distribution of constraint arities | [{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6 |
| Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.53 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.56 c BEGIN-Prog: Fri Jul 27 08:36:56 CEST 2018 0.66/0.56 c PID: 8449 0.66/0.56 c IP: 172.20.3.137 0.66/0.56 c HOST: node137.alineos.net 0.66/0.56 c (0,0) Parsing Begin 1.40/0.93 c (0,0) Parsing End 1.40/0.94 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 52 ctr, max domain size 169 1.40/0.94 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.94 c (0,0) Constraint Name Generate Begin 1.40/0.95 c (0,0) Ctr:HOME/instance-4296956-1532673416.xml,AllDifferent:IntVar:Lt:Num:WeightedSum 1.40/0.95 c (0,0) Constraint Name Generate End 1.40/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.40/0.95 c (0,0) CSP to CSPinCNF Begin 3.87/1.79 c (1,1) translated 6 (10%) constraints 4.29/1.80 c (1,1) translated 11 (20%) constraints 4.29/1.80 c (1,1) translated 16 (30%) constraints 4.29/1.81 c (1,1) translated 21 (40%) constraints 4.29/1.81 c (1,1) translated 26 (50%) constraints 4.29/1.82 c (1,1) translated 32 (60%) constraints 4.29/1.82 c (1,1) translated 37 (70%) constraints 4.29/1.82 c (1,1) translated 42 (80%) constraints 4.29/1.83 c (1,1) translated 47 (90%) constraints 4.29/1.83 c (1,1) translated 52 (100%) constraints 4.74/1.99 c (1,1) STATISTICS1:HOME/instance-4296956-1532673416.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,169,14249,9223372036854775807,169,169,15,9223372036854775807:66;665416609183179904:12;3890918073946176:4;3867757847315544:8;169:13203;168:661;167:338,169:28199;168:700;167:350,169:2;2:14196;1:51,15:6;14:12;13:12;12:12;11:12;10:12;9:12;8:12;2:14202;1:338,712336:6;620944:12;535824:12;456976:12;383161:12;316969:12 4.74/1.99 c (1,1) =========================================== 4.74/1.99 c (1,1) Order 4.74/1.99 c (1,1) =========================================== 5.20/2.09 c (1,1) translated 1425 (10%) constraints 5.64/2.14 c (1,1) translated 2850 (20%) constraints 5.64/2.19 c (1,1) translated 4275 (30%) constraints 6.00/2.24 c (1,1) translated 5700 (40%) constraints 6.00/2.27 c (1,1) translated 7125 (50%) constraints 6.41/2.31 c (1,1) translated 8550 (60%) constraints 6.41/2.36 c (1,1) translated 9975 (70%) constraints 6.79/2.41 c (1,1) translated 11400 (80%) constraints 6.79/2.45 c (1,1) translated 12825 (90%) constraints 7.60/2.62 c (2,2) translated 14249 (100%) constraints 7.60/2.63 c (2,2) CSP to CSPinCNF End 7.60/2.63 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841 7.60/2.63 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 7.60/2.63 c (2,2) CSPinCNF Propagation Begin 8.03/2.75 c (2,2) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed 8.03/2.75 c (2,2) CSPinCNF Propagation End 8.03/2.75 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841 8.03/2.75 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 8.03/2.75 c (2,2) Simplify CSPinCNF Begin 10.33/3.38 c (2,2) Simplify CSPinCNF End 10.33/3.39 c (2,2) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841 10.33/3.39 c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.33/3.39 c (2,2) Calculate Precise Domain Begin 10.48/3.43 c (2,2) 5 values are removed by re-calculation 10.48/3.43 c (2,2) Calculate Precise Domain End 10.48/3.44 c (2,2) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841 10.48/3.44 c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 10.48/3.44 c (2,2) CSPinCNF to SatSolver Begin 13.07/4.95 c (4,4) 4343 (10 %) CSP clauses are encoded (224554 SAT variables, 684733 SAT clauses) 14.43/6.14 c (5,5) 8686 (20 %) CSP clauses are encoded (224554 SAT variables, 1175218 SAT clauses) 15.67/7.30 c (6,6) 13029 (30 %) CSP clauses are encoded (224554 SAT variables, 1665841 SAT clauses) 16.78/8.47 c (7,7) 17372 (40 %) CSP clauses are encoded (224554 SAT variables, 2156456 SAT clauses) 18.18/9.55 c (9,8) 21715 (50 %) CSP clauses are encoded (224554 SAT variables, 2647235 SAT clauses) 19.22/11.04 c (10,9) 26058 (60 %) CSP clauses are encoded (224554 SAT variables, 3137834 SAT clauses) 20.21/12.05 c (11,10) 30401 (70 %) CSP clauses are encoded (224554 SAT variables, 3628417 SAT clauses) 21.21/13.06 c (12,11) 34744 (80 %) CSP clauses are encoded (224554 SAT variables, 4119144 SAT clauses) 22.21/14.08 c (13,12) 39087 (90 %) CSP clauses are encoded (224554 SAT variables, 4609377 SAT clauses) 114.47/111.88 c (111,96) 43430 (100 %) CSP clauses are encoded (224554 SAT variables, 71248814 SAT clauses) 114.47/111.88 c (111,96) CSPinCNF to SatSolver End 114.47/111.88 c (111,96) Heap : 5761 MiB used (max 22436 MiB), NonHeap : 29 MiB used (max 0 MiB) 115.43/112.11 c (111,96) STATISTICS2:HOME/instance-4296956-1532673416.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,28933,43430,704760,841,167,3,704760:6;565993:12;452929:24;339865:12;255025:24;170185:42;169848:6;169511:6;127723:6;127386:4;127049:2;113569:108;56953:114;56784:18;56615:18;28561:396;28392:18;28223:18;169:26406;168:984;167:1008,841:84;840:12;839:12;673:216;505:228;504:12;503:12;379:24;378:16;377:8;337:792;336:36;335:36;169:56072;168:1032;167:1037;2:56784,167:1;164:1;2:42588;1:840,3:834;2:28398;1:57115, 115.43/112.11 c (111,96) SatSolver.solve Begin 115.43/112.11 c (111,96) 224554 bool, 71248980 clause 115.43/112.11 c (111,96) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296956-1532673416.xml-scop-8449.cnf HOME/instance-4296956-1532673416.xml-scop-8449.cnf.out 130.81/127.01 c (126,0) receiving signal SIGTERM 130.81/127.01 s UNKNOWN 115.95/127.16 c (126,96) SatSolver is killed by some reasons. 115.95/127.16 c (126,96) 0,0,2,2,2,2,111,TO,TO,STOP-AFTER(DIMACS) 115.95/127.17 c END-Prog: Fri Jul 27 08:39:03 CEST 2018
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 (13491 MiB free)
memory of node 1: 16384 MiB (14044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296956-1532673416/watcher-4296956-1532673416 -o /tmp/evaluation-result-4296956-1532673416/solver-4296956-1532673416 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296956-1532673416.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8449, runsolver pid=8446
Current StackSize limit: 8192 KiB
[startup+0.101003 s]*
/proc/loadavg: 8.92 9.15 8.92 3/198 8469
/proc/meminfo: memFree=28101772/32770624 swapFree=67108436/67108860
[pid=8449] ppid=8446 vsize=27312552 memory=108792 CPUtime=0.11 cores=0-7
/proc/8449/stat : 8449 (java) S 8446 8449 8405 0 -1 1077944320 6726 0 0 0 9 2 0 0 20 0 20 0 84904756 27968053248 27198 33554432000 4194304 4196468 140723443705648 140723443688192 140191298907895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
/proc/8449/statm: 6828138 27198 2745 1 0 6790598 0
[pid=8449/tid=8451] ppid=8446 vsize=27312552 memory=4426647499904807840 CPUtime=0.09 cores=0-7
/proc/8449/task/8451/stat : 8451 (java) R 8446 8449 8405 0 -1 4202560 4841 0 0 0 7 2 0 0 20 0 20 0 84904756 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191270722256 140191280471455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8452] ppid=8446 vsize=27312552 memory=732370113534561253 CPUtime=0 cores=0-7
/proc/8449/task/8452/stat : 8452 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191303150608 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8453] ppid=8446 vsize=27312552 memory=139975197107840 CPUtime=0 cores=0-7
/proc/8449/task/8453/stat : 8453 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191117307024 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8454] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8454/stat : 8454 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191116253968 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8455] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8455/stat : 8455 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191115201424 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8456] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8456/stat : 8456 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191114148368 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8457] ppid=8446 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8449/task/8457/stat : 8457 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191113095824 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8458] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8458/stat : 8458 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191112042768 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8459] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8459/stat : 8459 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 27198 33554432000 4194304 4196468 140723443705648 140191110990224 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8460] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8460/stat : 8460 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904760 27968053248 27198 33554432000 4194304 4196468 140723443705648 140190291012336 140191298919042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8461] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8461/stat : 8461 (java) S 8446 8449 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84904761 27968053248 27198 33554432000 4194304 4196468 140723443705648 140189276038816 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8462] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8462/stat : 8462 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904761 27968053248 27198 33554432000 4194304 4196468 140723443705648 140189007602928 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8463] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8463/stat : 8463 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 27198 33554432000 4194304 4196468 140723443705648 140188633094608 140191298926491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8464] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8464/stat : 8464 (java) S 8446 8449 8405 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 27198 33554432000 4194304 4196468 140723443705648 140190289959152 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8465] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8465/stat : 8465 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 27198 33554432000 4194304 4196468 140723443705648 140190288906608 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8466] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8466/stat : 8466 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 27198 33554432000 4194304 4196468 140723443705648 140190287853552 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8467] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8467/stat : 8467 (java) S 8446 8449 8405 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 27198 33554432000 4194304 4196468 140723443705648 140190286801008 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8468] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8468/stat : 8468 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904764 27968053248 27198 33554432000 4194304 4196468 140723443705648 140188135189472 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8469] ppid=8446 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8449/task/8469/stat : 8469 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904764 27968053248 27198 33554432000 4194304 4196468 140723443705648 140190285749424 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108792 KiB
[startup+0.210345 s]*
/proc/loadavg: 8.92 9.15 8.92 2/198 8469
/proc/meminfo: memFree=28086028/32770624 swapFree=67108436/67108860
[pid=8449] ppid=8446 vsize=27312552 memory=123172 CPUtime=0.24 cores=0-7
/proc/8449/stat : 8449 (java) S 8446 8449 8405 0 -1 1077944320 10560 0 0 0 21 3 0 0 20 0 20 0 84904756 27968053248 30793 33554432000 4194304 4196468 140723443705648 140723443688192 140191298907895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
/proc/8449/statm: 6828138 30793 2898 1 0 6790598 0
[pid=8449/tid=8451] ppid=8446 vsize=27312552 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/8449/task/8451/stat : 8451 (java) R 8446 8449 8405 0 -1 4202560 8467 0 0 0 17 3 0 0 20 0 20 0 84904756 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191270689168 140191282988382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8452] ppid=8446 vsize=27312552 memory=288230613264367967 CPUtime=0 cores=0-7
/proc/8449/task/8452/stat : 8452 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191303150608 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8453] ppid=8446 vsize=27312552 memory=14268919597147800 CPUtime=0 cores=0-7
/proc/8449/task/8453/stat : 8453 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191117307024 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8454] ppid=8446 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8449/task/8454/stat : 8454 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191116253968 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8455] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8455/stat : 8455 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191115201424 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8456] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8456/stat : 8456 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191114148368 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8457] ppid=8446 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8449/task/8457/stat : 8457 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191113095824 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8458] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8458/stat : 8458 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191112042768 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8459] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8459/stat : 8459 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 30793 33554432000 4194304 4196468 140723443705648 140191110990224 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8460] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8460/stat : 8460 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904760 27968053248 30793 33554432000 4194304 4196468 140723443705648 140190291012336 140191298919042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8461] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8461/stat : 8461 (java) S 8446 8449 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84904761 27968053248 30793 33554432000 4194304 4196468 140723443705648 140189276038816 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8462] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8462/stat : 8462 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904761 27968053248 30793 33554432000 4194304 4196468 140723443705648 140189007602928 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8463] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8463/stat : 8463 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 30793 33554432000 4194304 4196468 140723443705648 140188633094608 140191298926491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8464] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8464/stat : 8464 (java) S 8446 8449 8405 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 30793 33554432000 4194304 4196468 140723443705648 140190289959152 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8465] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8465/stat : 8465 (java) R 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 30793 33554432000 4194304 4196468 140723443705648 140190288906608 140191298919042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8466] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8466/stat : 8466 (java) S 8446 8449 8405 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 30793 33554432000 4194304 4196468 140723443705648 140190287853552 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8467] ppid=8446 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/8449/task/8467/stat : 8467 (java) S 8446 8449 8405 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 20 0 84904763 27968053248 30793 33554432000 4194304 4196468 140723443705648 140190286801008 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8468] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8468/stat : 8468 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904764 27968053248 30793 33554432000 4194304 4196468 140723443705648 140188135189472 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8469] ppid=8446 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8449/task/8469/stat : 8469 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904764 27968053248 30793 33554432000 4194304 4196468 140723443705648 140190285749424 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123172 KiB
[startup+0.310214 s]*
/proc/loadavg: 8.92 9.15 8.92 2/198 8469
/proc/meminfo: memFree=28082244/32770624 swapFree=67108436/67108860
[pid=8449] ppid=8446 vsize=27312552 memory=127172 CPUtime=0.42 cores=0-7
/proc/8449/stat : 8449 (java) S 8446 8449 8405 0 -1 1077944320 11193 0 0 0 38 4 0 0 20 0 20 0 84904756 27968053248 31793 33554432000 4194304 4196468 140723443705648 140723443688192 140191298907895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
/proc/8449/statm: 6828138 31793 2948 1 0 6790598 0
[pid=8449/tid=8451] ppid=8446 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8449/task/8451/stat : 8451 (java) R 8446 8449 8405 0 -1 4202560 8913 0 0 0 26 3 0 0 20 0 20 0 84904756 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191270712048 140191282094704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8452] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8452/stat : 8452 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191303150608 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8453] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8453/stat : 8453 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191117307024 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8454] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8454/stat : 8454 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191116253968 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8455] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8455/stat : 8455 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191115201424 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8456] ppid=8446 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/8449/task/8456/stat : 8456 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191114148368 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8457] ppid=8446 vsize=27312552 memory=139975064646575 CPUtime=0 cores=0-7
/proc/8449/task/8457/stat : 8457 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191113095824 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8458] ppid=8446 vsize=27312552 memory=139975064648880 CPUtime=0 cores=0-7
/proc/8449/task/8458/stat : 8458 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191112042768 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8459] ppid=8446 vsize=27312552 memory=139975064651184 CPUtime=0 cores=0-7
/proc/8449/task/8459/stat : 8459 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27968053248 31793 33554432000 4194304 4196468 140723443705648 140191110990224 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8460] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8460/stat : 8460 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904760 27968053248 31793 33554432000 4194304 4196468 140723443705648 140190291012336 140191298919042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8461] ppid=8446 vsize=27312552 memory=279950129309328 CPUtime=0 cores=0-7
/proc/8449/task/8461/stat : 8461 (java) S 8446 8449 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84904761 27968053248 31793 33554432000 4194304 4196468 140723443705648 140189276038816 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8462] ppid=8446 vsize=27312552 memory=279950129316240 CPUtime=0 cores=0-7
/proc/8449/task/8462/stat : 8462 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904761 27968053248 31793 33554432000 4194304 4196468 140723443705648 140189007602928 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8463] ppid=8446 vsize=27312552 memory=279950129257520 CPUtime=0 cores=0-7
/proc/8449/task/8463/stat : 8463 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904763 27968053248 31793 33554432000 4194304 4196468 140723443705648 140188633094608 140191298926491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8464] ppid=8446 vsize=27312552 memory=279950129330064 CPUtime=0.02 cores=0-7
/proc/8449/task/8464/stat : 8464 (java) S 8446 8449 8405 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 20 0 84904763 27968053248 31793 33554432000 4194304 4196468 140723443705648 140190289959152 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8465] ppid=8446 vsize=27312552 memory=279950129336976 CPUtime=0.01 cores=0-7
/proc/8449/task/8465/stat : 8465 (java) S 8446 8449 8405 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 84904763 27968053248 31793 33554432000 4194304 4196468 140723443705648 140190288906608 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8466] ppid=8446 vsize=27312552 memory=279950129334672 CPUtime=0.01 cores=0-7
/proc/8449/task/8466/stat : 8466 (java) S 8446 8449 8405 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 84904763 27968053248 31793 33554432000 4194304 4196468 140723443705648 140190287853552 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8467] ppid=8446 vsize=27312552 memory=279950129351232 CPUtime=0.07 cores=0-7
/proc/8449/task/8467/stat : 8467 (java) S 8446 8449 8405 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 20 0 84904763 27968053248 31793 33554432000 4194304 4196468 140723443705648 140190286801008 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8468] ppid=8446 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8468/stat : 8468 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904764 27968053248 31793 33554432000 4194304 4196468 140723443705648 140188135189472 140191298918101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8469] ppid=8446 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8449/task/8469/stat : 8469 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904764 27968053248 31793 33554432000 4194304 4196468 140723443705648 140190285749424 140191298919042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127172 KiB
[startup+0.700911 s]
/proc/loadavg: 8.92 9.15 8.92 2/198 8469
/proc/meminfo: memFree=28057924/32770624 swapFree=67108436/67108860
[pid=8449] ppid=8446 vsize=27320948 memory=165276 CPUtime=0.99 cores=0-7
/proc/8449/stat : 8449 (java) S 8446 8449 8405 0 -1 1077944320 18430 0 0 0 94 5 0 0 20 0 20 0 84904756 27976650752 41319 33554432000 4194304 4196468 140723443705648 140723443688192 140191298907895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
/proc/8449/statm: 6830237 41319 3150 1 0 6791622 0
[pid=8449/tid=8451] ppid=8446 vsize=27320948 memory=7950651320381760340 CPUtime=0.67 cores=0-7
/proc/8449/task/8451/stat : 8451 (java) R 8446 8449 8405 0 -1 4202560 15662 0 0 0 62 5 0 0 20 0 20 0 84904756 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191270725392 140191298929821 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8452] ppid=8446 vsize=27320948 memory=36369783079464 CPUtime=0 cores=0-7
/proc/8449/task/8452/stat : 8452 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191303150608 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8453] ppid=8446 vsize=27320948 memory=139975064657210 CPUtime=0 cores=0-7
/proc/8449/task/8453/stat : 8453 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191117307024 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8454] ppid=8446 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8454/stat : 8454 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191116253968 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8455] ppid=8446 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8455/stat : 8455 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191115201424 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8456] ppid=8446 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8456/stat : 8456 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191114148368 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8457] ppid=8446 vsize=27320948 memory=2353 CPUtime=0 cores=0-7
/proc/8449/task/8457/stat : 8457 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191113095824 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8458] ppid=8446 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/8449/task/8458/stat : 8458 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191112042768 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8459] ppid=8446 vsize=27320948 memory=1784 CPUtime=0 cores=0-7
/proc/8449/task/8459/stat : 8459 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84904759 27976650752 41319 33554432000 4194304 4196468 140723443705648 140191110990224 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8460] ppid=8446 vsize=27320948 memory=5752 CPUtime=0 cores=0-7
/proc/8449/task/8460/stat : 8460 (java) S 8446 8449 8405 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84904760 27976650752 41319 33554432000 4194304 4196468 140723443705648 140190291012336 140191298919042 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
################
# More data... #
################
/proc/8449/task/8453/stat : 8453 (java) S 8446 8449 8405 0 -1 1077944384 565 0 0 0 90 6 0 0 20 0 24 0 84904759 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140191117307024 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8454] ppid=8446 vsize=27984808 memory=7014751519666951273 CPUtime=0.96 cores=0-7
/proc/8449/task/8454/stat : 8454 (java) S 8446 8449 8405 0 -1 1077944384 1714 0 0 0 89 7 0 0 20 0 24 0 84904759 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140191116253968 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8455] ppid=8446 vsize=27984808 memory=7157735280246805609 CPUtime=0.96 cores=0-7
/proc/8449/task/8455/stat : 8455 (java) S 8446 8449 8405 0 -1 1077944384 480 0 0 0 90 6 0 0 20 0 24 0 84904759 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140191115201424 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8456] ppid=8446 vsize=27984808 memory=7157735280246805609 CPUtime=0.97 cores=0-7
/proc/8449/task/8456/stat : 8456 (java) S 8446 8449 8405 0 -1 1077944384 516 0 0 0 90 7 0 0 20 0 24 0 84904759 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140191114148368 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8457] ppid=8446 vsize=27984808 memory=7157735280246805609 CPUtime=0.97 cores=0-7
/proc/8449/task/8457/stat : 8457 (java) S 8446 8449 8405 0 -1 1077944384 1013 0 0 0 91 6 0 0 20 0 24 0 84904759 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140191113095824 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8458] ppid=8446 vsize=27984808 memory=4625243341474388053 CPUtime=0.97 cores=0-7
/proc/8449/task/8458/stat : 8458 (java) S 8446 8449 8405 0 -1 1077944384 519 0 0 0 91 6 0 0 20 0 24 0 84904759 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140191112042768 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8459] ppid=8446 vsize=27984808 memory=0 CPUtime=0.97 cores=0-7
/proc/8449/task/8459/stat : 8459 (java) S 8446 8449 8405 0 -1 1077944384 559 0 0 0 91 6 0 0 20 0 24 0 84904759 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140191110990224 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8460] ppid=8446 vsize=27984808 memory=-8033974095847610000 CPUtime=0.03 cores=0-7
/proc/8449/task/8460/stat : 8460 (java) S 8446 8449 8405 0 -1 1077944384 591 0 0 0 3 0 0 0 20 0 24 0 84904760 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140190291012336 140191298919042 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8461] ppid=8446 vsize=27984808 memory=8331469315247200104 CPUtime=0 cores=0-7
/proc/8449/task/8461/stat : 8461 (java) S 8446 8449 8405 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84904761 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140189276038880 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8462] ppid=8446 vsize=27984808 memory=7524222370075399277 CPUtime=0 cores=0-7
/proc/8449/task/8462/stat : 8462 (java) S 8446 8449 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84904761 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140189007602944 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8463] ppid=8446 vsize=27984808 memory=279950129103088 CPUtime=0 cores=0-7
/proc/8449/task/8463/stat : 8463 (java) S 8446 8449 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84904763 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140188633094608 140191298926491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8464] ppid=8446 vsize=27984808 memory=0 CPUtime=3.65 cores=0-7
/proc/8449/task/8464/stat : 8464 (java) S 8446 8449 8405 0 -1 1077944384 5871 0 0 0 363 2 0 0 20 0 24 0 84904763 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140190289959152 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8465] ppid=8446 vsize=27984808 memory=0 CPUtime=2.86 cores=0-7
/proc/8449/task/8465/stat : 8465 (java) S 8446 8449 8405 0 -1 1077944384 4187 0 0 0 286 0 0 0 20 0 24 0 84904763 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140190288906608 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8466] ppid=8446 vsize=27984808 memory=0 CPUtime=2.92 cores=0-7
/proc/8449/task/8466/stat : 8466 (java) S 8446 8449 8405 0 -1 1077944384 5643 0 0 0 290 2 0 0 20 0 24 0 84904763 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140190287853552 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8467] ppid=8446 vsize=27984808 memory=0 CPUtime=1.2 cores=0-7
/proc/8449/task/8467/stat : 8467 (java) S 8446 8449 8405 0 -1 1077944384 6283 0 0 0 118 2 0 0 20 0 24 0 84904763 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140190286801008 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8468] ppid=8446 vsize=27984808 memory=3684006296416302648 CPUtime=0 cores=0-7
/proc/8449/task/8468/stat : 8468 (java) S 8446 8449 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84904764 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140188135189472 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8469] ppid=8446 vsize=27984808 memory=3684006296416302648 CPUtime=0.06 cores=0-7
/proc/8449/task/8469/stat : 8469 (java) S 8446 8449 8405 0 -1 1077944384 80 0 0 0 4 2 0 0 20 0 24 0 84904764 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140190285749424 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8471] ppid=8446 vsize=27984808 memory=4641643773500747111 CPUtime=0 cores=0-7
/proc/8449/task/8471/stat : 8471 (java) S 8446 8449 8405 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 84915969 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140190685660608 140191298932505 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8473] ppid=8446 vsize=27984808 memory=7223890824783030893 CPUtime=0 cores=0-7
/proc/8449/task/8473/stat : 8473 (java) S 8446 8449 8405 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 84915970 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140187464089008 140191298929821 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8474] ppid=8446 vsize=27984808 memory=14413722206601246 CPUtime=0 cores=0-7
/proc/8449/task/8474/stat : 8474 (java) S 8446 8449 8405 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84915970 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140187732524592 140191298929821 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8475] ppid=8446 vsize=27984808 memory=297237799617429830 CPUtime=0 cores=0-7
/proc/8449/task/8475/stat : 8475 (java) S 8446 8449 8405 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 84915972 28656443392 1962858 33554432000 4194304 4196468 140723443705648 140187195661216 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
Current children cumulated CPU time: 130.81 s
Current children cumulated vsize: 31746888 KiB
Current children cumulated memory: 11294576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+127.45 s]
# the end of solver process 8449 was just reported to runsolver
# cumulated CPU time of all completed processes: user=124.181 s, system=7.08956 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+127.201 s]
/proc/loadavg: 2.23 6.45 7.95 2/203 8475
/proc/meminfo: memFree=15295204/32770624 swapFree=67108436/67108860
[pid=8449] ppid=8446 vsize=28050344 memory=7851504 CPUtime=131 cores=0-7
/proc/8449/stat : 8449 (java) S 8446 8449 8405 0 -1 1077944320 65359 584105 0 0 11056 542 1361 141 20 0 23 0 84904756 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140723443688192 140191298907895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
/proc/8449/statm: 7012586 1962876 3268 1 0 6973442 0
[pid=8449/tid=8451] ppid=8446 vsize=28050344 memory=7851432 CPUtime=112.36 cores=0-7
/proc/8449/task/8451/stat : 8451 (java) S 8446 8449 8405 0 -1 1077944384 34695 584105 0 0 9261 473 1361 141 20 0 23 0 84904756 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191270748096 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 1375 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8452] ppid=8446 vsize=28050344 memory=3190928 CPUtime=15.99 cores=0-7
/proc/8449/task/8452/stat : 8452 (java) S 8446 8449 8405 0 -1 1077944384 1182 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191303150608 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8453] ppid=8446 vsize=28050344 memory=-7003737579269690708 CPUtime=15.98 cores=0-7
/proc/8449/task/8453/stat : 8453 (java) S 8446 8449 8405 0 -1 1077944384 565 584105 0 0 90 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191117307024 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8454] ppid=8446 vsize=28050344 memory=3355972 CPUtime=15.98 cores=0-7
/proc/8449/task/8454/stat : 8454 (java) S 8446 8449 8405 0 -1 1077944384 1714 584105 0 0 89 7 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191116253968 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8455] ppid=8446 vsize=28050344 memory=1412 CPUtime=15.98 cores=0-7
/proc/8449/task/8455/stat : 8455 (java) S 8446 8449 8405 0 -1 1077944384 480 584105 0 0 90 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191115201424 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8456] ppid=8446 vsize=28050344 memory=3152 CPUtime=15.99 cores=0-7
/proc/8449/task/8456/stat : 8456 (java) S 8446 8449 8405 0 -1 1077944384 516 584105 0 0 90 7 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191114148368 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8457] ppid=8446 vsize=28050344 memory=4140 CPUtime=15.99 cores=0-7
/proc/8449/task/8457/stat : 8457 (java) S 8446 8449 8405 0 -1 1077944384 1013 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191113095824 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8458] ppid=8446 vsize=28050344 memory=24804 CPUtime=15.99 cores=0-7
/proc/8449/task/8458/stat : 8458 (java) S 8446 8449 8405 0 -1 1077944384 519 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191112042768 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8459] ppid=8446 vsize=28050344 memory=1296 CPUtime=15.99 cores=0-7
/proc/8449/task/8459/stat : 8459 (java) S 8446 8449 8405 0 -1 1077944384 559 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191110990224 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8460] ppid=8446 vsize=28050344 memory=2412 CPUtime=15.05 cores=0-7
/proc/8449/task/8460/stat : 8460 (java) S 8446 8449 8405 0 -1 1077944384 597 584105 0 0 3 0 1361 141 20 0 23 0 84904760 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190291012336 140191298919042 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8461] ppid=8446 vsize=28050344 memory=1784 CPUtime=15.02 cores=0-7
/proc/8449/task/8461/stat : 8461 (java) S 8446 8449 8405 0 -1 1077944384 14 584105 0 0 0 0 1361 141 20 0 23 0 84904761 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140189276038880 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8462] ppid=8446 vsize=28050344 memory=5752 CPUtime=15.02 cores=0-7
/proc/8449/task/8462/stat : 8462 (java) S 8446 8449 8405 0 -1 1077944384 2 584105 0 0 0 0 1361 141 20 0 23 0 84904761 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140189007602944 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8463] ppid=8446 vsize=28050344 memory=4588 CPUtime=15.02 cores=0-7
/proc/8449/task/8463/stat : 8463 (java) S 8446 8449 8405 0 -1 1077944384 28 584105 0 0 0 0 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140188633094608 140191298926491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8464] ppid=8446 vsize=28050344 memory=1612 CPUtime=18.67 cores=0-7
/proc/8449/task/8464/stat : 8464 (java) S 8446 8449 8405 0 -1 1077944384 5871 584105 0 0 363 2 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190289959152 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8465] ppid=8446 vsize=28050344 memory=1780 CPUtime=17.88 cores=0-7
/proc/8449/task/8465/stat : 8465 (java) S 8446 8449 8405 0 -1 1077944384 4187 584105 0 0 286 0 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190288906608 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8466] ppid=8446 vsize=28050344 memory=1236 CPUtime=17.94 cores=0-7
/proc/8449/task/8466/stat : 8466 (java) S 8446 8449 8405 0 -1 1077944384 5643 584105 0 0 290 2 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190287853552 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8467] ppid=8446 vsize=28050344 memory=960 CPUtime=16.22 cores=0-7
/proc/8449/task/8467/stat : 8467 (java) S 8446 8449 8405 0 -1 1077944384 6284 584105 0 0 118 2 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190286801008 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8468] ppid=8446 vsize=28050344 memory=6504 CPUtime=15.02 cores=0-7
/proc/8449/task/8468/stat : 8468 (java) S 8446 8449 8405 0 -1 1077944384 3 584105 0 0 0 0 1361 141 20 0 23 0 84904764 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140188135189472 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8469] ppid=8446 vsize=28050344 memory=1576 CPUtime=15.08 cores=0-7
/proc/8449/task/8469/stat : 8469 (java) S 8446 8449 8405 0 -1 1077944384 80 584105 0 0 4 2 1361 141 20 0 23 0 84904764 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190285749424 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8471] ppid=8446 vsize=28050344 memory=932 CPUtime=15.02 cores=0-7
/proc/8449/task/8471/stat : 8471 (java) S 8446 8449 8405 0 -1 1077944384 24 584105 0 0 0 0 1361 141 20 0 23 0 84915969 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190685659792 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8475] ppid=8446 vsize=28050344 memory=1228 CPUtime=15.02 cores=0-7
/proc/8449/task/8475/stat : 8475 (java) S 8446 8449 8405 0 -1 1077944384 12 584105 0 0 0 0 1361 141 20 0 23 0 84915972 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140187195663024 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
Current children cumulated CPU time: 131 s
Current children cumulated vsize: 28050344 KiB
Current children cumulated memory: 7851504 KiB
[startup+127.401 s]
/proc/loadavg: 2.23 6.45 7.95 2/203 8475
/proc/meminfo: memFree=15295204/32770624 swapFree=67108436/67108860
[pid=8449] ppid=8446 vsize=28050344 memory=7851504 CPUtime=131.2 cores=0-7
/proc/8449/stat : 8449 (java) S 8446 8449 8405 0 -1 1077944320 65359 584105 0 0 11056 562 1361 141 20 0 23 0 84904756 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140723443688192 140191298907895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
/proc/8449/statm: 7012586 1962876 3268 1 0 6973442 0
[pid=8449/tid=8451] ppid=8446 vsize=28050344 memory=279950129793408 CPUtime=112.36 cores=0-7
/proc/8449/task/8451/stat : 8451 (java) S 8446 8449 8405 0 -1 1077944384 34695 584105 0 0 9261 473 1361 141 20 0 23 0 84904756 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191270748096 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 1375 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8452] ppid=8446 vsize=28050344 memory=8112282956445269571 CPUtime=15.99 cores=0-7
/proc/8449/task/8452/stat : 8452 (java) S 8446 8449 8405 0 -1 1077944384 1182 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191303150608 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8453] ppid=8446 vsize=28050344 memory=872 CPUtime=15.98 cores=0-7
/proc/8449/task/8453/stat : 8453 (java) S 8446 8449 8405 0 -1 1077944384 565 584105 0 0 90 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191117307024 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8454] ppid=8446 vsize=28050344 memory=8060 CPUtime=15.98 cores=0-7
/proc/8449/task/8454/stat : 8454 (java) S 8446 8449 8405 0 -1 1077944384 1714 584105 0 0 89 7 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191116253968 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8455] ppid=8446 vsize=28050344 memory=11648 CPUtime=15.98 cores=0-7
/proc/8449/task/8455/stat : 8455 (java) S 8446 8449 8405 0 -1 1077944384 480 584105 0 0 90 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191115201424 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8456] ppid=8446 vsize=28050344 memory=796 CPUtime=15.99 cores=0-7
/proc/8449/task/8456/stat : 8456 (java) S 8446 8449 8405 0 -1 1077944384 516 584105 0 0 90 7 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191114148368 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8457] ppid=8446 vsize=28050344 memory=1388 CPUtime=15.99 cores=0-7
/proc/8449/task/8457/stat : 8457 (java) S 8446 8449 8405 0 -1 1077944384 1013 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191113095824 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8458] ppid=8446 vsize=28050344 memory=1136 CPUtime=15.99 cores=0-7
/proc/8449/task/8458/stat : 8458 (java) S 8446 8449 8405 0 -1 1077944384 519 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191112042768 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8459] ppid=8446 vsize=28050344 memory=15872 CPUtime=15.99 cores=0-7
/proc/8449/task/8459/stat : 8459 (java) S 8446 8449 8405 0 -1 1077944384 559 584105 0 0 91 6 1361 141 20 0 23 0 84904759 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140191110990224 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8460] ppid=8446 vsize=28050344 memory=14420 CPUtime=15.05 cores=0-7
/proc/8449/task/8460/stat : 8460 (java) S 8446 8449 8405 0 -1 1077944384 597 584105 0 0 3 0 1361 141 20 0 23 0 84904760 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190291012336 140191298919042 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8461] ppid=8446 vsize=28050344 memory=16148 CPUtime=15.02 cores=0-7
/proc/8449/task/8461/stat : 8461 (java) S 8446 8449 8405 0 -1 1077944384 14 584105 0 0 0 0 1361 141 20 0 23 0 84904761 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140189276038880 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8462] ppid=8446 vsize=28050344 memory=4004 CPUtime=15.02 cores=0-7
/proc/8449/task/8462/stat : 8462 (java) S 8446 8449 8405 0 -1 1077944384 2 584105 0 0 0 0 1361 141 20 0 23 0 84904761 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140189007602944 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8463] ppid=8446 vsize=28050344 memory=636 CPUtime=15.02 cores=0-7
/proc/8449/task/8463/stat : 8463 (java) S 8446 8449 8405 0 -1 1077944384 28 584105 0 0 0 0 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140188633094608 140191298926491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8464] ppid=8446 vsize=28050344 memory=1780 CPUtime=18.67 cores=0-7
/proc/8449/task/8464/stat : 8464 (java) S 8446 8449 8405 0 -1 1077944384 5871 584105 0 0 363 2 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190289959152 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8465] ppid=8446 vsize=28050344 memory=1236 CPUtime=17.88 cores=0-7
/proc/8449/task/8465/stat : 8465 (java) S 8446 8449 8405 0 -1 1077944384 4187 584105 0 0 286 0 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190288906608 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8466] ppid=8446 vsize=28050344 memory=960 CPUtime=17.94 cores=0-7
/proc/8449/task/8466/stat : 8466 (java) S 8446 8449 8405 0 -1 1077944384 5643 584105 0 0 290 2 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190287853552 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8467] ppid=8446 vsize=28050344 memory=6504 CPUtime=16.22 cores=0-7
/proc/8449/task/8467/stat : 8467 (java) S 8446 8449 8405 0 -1 1077944384 6284 584105 0 0 118 2 1361 141 20 0 23 0 84904763 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190286801008 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8468] ppid=8446 vsize=28050344 memory=1576 CPUtime=15.02 cores=0-7
/proc/8449/task/8468/stat : 8468 (java) S 8446 8449 8405 0 -1 1077944384 3 584105 0 0 0 0 1361 141 20 0 23 0 84904764 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140188135189472 140191298918101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8469] ppid=8446 vsize=28050344 memory=932 CPUtime=15.08 cores=0-7
/proc/8449/task/8469/stat : 8469 (java) S 8446 8449 8405 0 -1 1077944384 80 584105 0 0 4 2 1361 141 20 0 23 0 84904764 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190285749424 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8471] ppid=8446 vsize=28050344 memory=3065008 CPUtime=15.02 cores=0-7
/proc/8449/task/8471/stat : 8471 (java) S 8446 8449 8405 0 -1 1077944384 24 584105 0 0 0 0 1361 141 20 0 23 0 84915969 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140190685659792 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
[pid=8449/tid=8475] ppid=8446 vsize=28050344 memory=7851432 CPUtime=15.02 cores=0-7
/proc/8449/task/8475/stat : 8475 (java) S 8446 8449 8405 0 -1 1077944384 12 584105 0 0 0 0 1361 141 20 0 23 0 84915972 28723552256 1962876 33554432000 4194304 4196468 140723443705648 140187195663024 140191298919042 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140723443708889 140723443709189 140723443709189 140723443711951 0
Current children cumulated CPU time: 131.2 s
Current children cumulated vsize: 28050344 KiB
Current children cumulated memory: 7851504 KiB
Child status: 1
Real time (s): 127.45
CPU time (s): 131.271
CPU user time (s): 124.181
CPU system time (s): 7.08956
CPU usage (%): 102.998
Max. virtual memory (cumulated for all children) (KiB): 31746888
Max. memory (cumulated for all children) (KiB): 11294576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.181
system time used= 7.08956
maximum resident set size= 7853480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649489
page faults= 0
swaps= 0
block input operations= 72
block output operations= 3154288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9828
involuntary context switches= 379
# summary of solver processes directly reported to runsolver:
# pid: 8449
# total CPU time (s): 131.271
# total CPU user time (s): 124.181
# total CPU system time (s): 7.08956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.896019 second user time and 1.12946 second system time
The end
Begin job on node137 at 2018-07-27 08:36:56 IDJOB=4296956 IDBENCH=141562 IDSOLVER=2758 FILE ID=node137/4296956-1532673416 RUNJOBID= node137-1532673416-8432 PBS_JOBID= 21022247 Free space on /tmp= 48160 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-08-0006_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296956-1532673416/watcher-4296956-1532673416 -o /tmp/evaluation-result-4296956-1532673416/solver-4296956-1532673416 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296956-1532673416.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e0f43de676a90a3e6f61e2deb5ab7ad8 RANDOM SEED=486354691 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28197232 kB MemAvailable: 31929860 kB Buffers: 137184 kB Cached: 3830536 kB SwapCached: 32 kB Active: 1749000 kB Inactive: 2275540 kB Active(anon): 4132 kB Inactive(anon): 80300 kB Active(file): 1744868 kB Inactive(file): 2195240 kB Unevictable: 7424 kB Mlocked: 7424 kB SwapTotal: 67108860 kB SwapFree: 67108436 kB Dirty: 8552 kB Writeback: 4 kB AnonPages: 63064 kB Mapped: 39660 kB Shmem: 25052 kB Slab: 243864 kB SReclaimable: 216708 kB SUnreclaim: 27156 kB KernelStack: 3216 kB PageTables: 5144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324152 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 48152 MiB End job on node137 at 2018-07-27 08:39:03