Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-07) | ? (MO) | 300.892 | 233.511 |
Name | Eternity/ Eternity-14-14_c18.xml |
MD5SUM | 66051f32d3df5832063947322816fa6d |
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 | 616 |
Number of constraints | 253 |
Number of domains | 2 |
Minimum domain size | 21 |
Maximum domain size | 196 |
Distribution of domain sizes | [{"size":21,"count":420},{"size":196,"count":196}] |
Minimum variable degree | 1 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":1,"count":13},{"degree":2,"count":602},{"degree":15,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 196 |
Distribution of constraint arities | [{"arity":1,"count":56},{"arity":5,"count":196},{"arity":196,"count":1}] |
Number of extensional constraints | 196 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"extension","count":196},{"type":"intension","count":56},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.66/0.53 0.66/0.53 scop both+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Fri Jul 27 14:36:39 CEST 2018 0.66/0.55 c PID: 20145 0.66/0.55 c IP: 172.20.3.105 0.66/0.55 c HOST: node105.alineos.net 0.66/0.56 c (0,0) Parsing Begin 2.90/1.46 c (0,0) Parsing End 2.90/1.47 c (0,0) CSP: 616 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 196 2.90/1.47 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.90/1.47 c (0,0) Constraint Name Generate Begin 2.90/1.48 c (0,0) Ctr:HOME/instance-4297207-1532694998.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num 2.90/1.48 c (0,0) Constraint Name Generate End 2.90/1.48 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.90/1.48 c (0,0) CSP to CSPinCNF Begin 32.27/19.40 c (18,18) translated 26 (10%) constraints 50.19/35.44 c (34,34) translated 51 (20%) constraints 68.74/51.57 c (51,50) translated 76 (30%) constraints 88.25/68.36 c (67,66) translated 102 (40%) constraints 107.12/84.49 c (83,82) translated 127 (50%) constraints 126.71/100.74 c (100,98) translated 152 (60%) constraints 147.77/117.73 c (117,114) translated 178 (70%) constraints 165.11/130.93 c (130,127) translated 203 (80%) constraints 165.11/130.93 c (130,127) translated 228 (90%) constraints 165.11/130.93 c (130,127) translated 253 (100%) constraints 174.16/135.75 c (135,131) STATISTICS1:HOME/instance-4297207-1532694998.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,228172,1465060,196,196,197,2,196:19110,196:115052;21:1739556;2:2500176;1:133868,197:196;196:2;5:26264;4:610540;3:220304;2:607698;1:56,2:19110;1:4450488;0:196, 174.16/135.75 c (135,131) =========================================== 174.16/135.75 c (135,131) Both Encoding selects: 174.16/135.75 c (135,131) Order 174.16/135.75 c (135,131) =========================================== 177.78/138.23 c (137,133) translated 146506 (10%) constraints 179.90/140.38 c (139,136) translated 293012 (20%) constraints 182.10/142.53 c (141,138) translated 439518 (30%) constraints 184.20/144.69 c (144,140) translated 586024 (40%) constraints 186.40/146.85 c (146,142) translated 732530 (50%) constraints 193.44/149.62 c (149,144) translated 879036 (60%) constraints 195.54/151.77 c (151,146) translated 1025542 (70%) constraints 197.74/153.99 c (153,149) translated 1172048 (80%) constraints 200.04/156.22 c (155,151) translated 1318554 (90%) constraints 202.24/158.45 c (157,153) translated 1465060 (100%) constraints 202.24/158.45 c (157,153) CSP to CSPinCNF End 202.39/158.54 c (158,153) CSP: 616 int (0 aux), 227556 bool (227556 aux), 1465116 ctr, max domain size 196 202.39/158.54 c (158,153) Heap : 4893 MiB used (max 21501 MiB), NonHeap : 31 MiB used (max 0 MiB) 202.39/158.54 c (158,153) CSPinCNF Propagation Begin 262.23/204.10 c (203,197) 47718 values, 250600 unsatisfiable literals, and 276085 valid clauses are removed 262.23/204.10 c (203,197) CSPinCNF Propagation End 262.33/204.18 c (203,197) CSP: 40654 int (40038 aux), 187518 bool (187518 aux), 1189031 ctr, max domain size 196 262.33/204.18 c (203,197) Heap : 6528 MiB used (max 20570 MiB), NonHeap : 32 MiB used (max 0 MiB) 262.33/204.18 c (203,197) Simplify CSPinCNF Begin 265.21/206.44 c (205,199) Simplify CSPinCNF End 265.31/206.53 c (205,199) CSP: 40654 int (40038 aux), 225738 bool (225738 aux), 1227251 ctr, max domain size 196 265.31/206.53 c (205,199) Heap : 7746 MiB used (max 20570 MiB), NonHeap : 32 MiB used (max 0 MiB) 265.31/206.53 c (205,199) Calculate Precise Domain Begin 265.31/206.53 c (205,199) 0 values are removed by re-calculation 265.31/206.53 c (205,199) Calculate Precise Domain End 265.41/206.62 c (206,199) CSP: 40654 int (40038 aux), 225738 bool (225738 aux), 1227251 ctr, max domain size 196 265.41/206.62 c (206,199) Heap : 7746 MiB used (max 20570 MiB), NonHeap : 32 MiB used (max 0 MiB) 265.41/206.62 c (206,199) CSPinCNF to SatSolver Begin 286.34/220.03 c (219,211) 122726 (10 %) CSP clauses are encoded (263558 SAT variables, 5000149 SAT clauses) 286.99/220.66 c (220,211) 245451 (20 %) CSP clauses are encoded (263558 SAT variables, 5122874 SAT clauses) 287.59/221.29 c (220,212) 368176 (30 %) CSP clauses are encoded (263558 SAT variables, 5245599 SAT clauses) 288.29/221.91 c (221,213) 490901 (40 %) CSP clauses are encoded (263558 SAT variables, 5368324 SAT clauses) 288.89/222.52 c (221,213) 613626 (50 %) CSP clauses are encoded (263558 SAT variables, 5491049 SAT clauses) 289.50/223.13 c (222,214) 736351 (60 %) CSP clauses are encoded (263558 SAT variables, 5613774 SAT clauses) 290.09/223.75 c (223,215) 859076 (70 %) CSP clauses are encoded (263558 SAT variables, 5736499 SAT clauses) 290.69/224.37 c (223,215) 981801 (80 %) CSP clauses are encoded (263558 SAT variables, 5859224 SAT clauses) 291.38/225.13 c (224,216) 1104526 (90 %) CSP clauses are encoded (263558 SAT variables, 5981949 SAT clauses) 292.02/225.77 c (225,216) 1227251 (100 %) CSP clauses are encoded (263558 SAT variables, 6104674 SAT clauses) 292.02/225.77 c (225,216) CSPinCNF to SatSolver End 292.02/225.77 c (225,216) Heap : 2725 MiB used (max 21548 MiB), NonHeap : 31 MiB used (max 0 MiB) 296.14/229.03 c (228,220) STATISTICS2:HOME/instance-4297207-1532694998.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,266392,1227251,196,196,196,2,196:20592;52:16080;4:1548,196:112608;52:23664;21:1502394;4:1588;2:2086502,196:145;144:1;52:48;5:19776;4:483216;3:177602;2:546463,2:38220;1:3650316, 296.14/229.03 c (228,220) SatSolver.solve Begin 296.14/229.03 c (228,220) 263558 bool, 6104675 clause 296.14/229.03 c (228,220) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297207-1532694998.xml-scop-20145.cnf HOME/instance-4297207-1532694998.xml-scop-20145.cnf.out 300.66/233.30 c (232,0) receiving signal SIGTERM 300.66/233.30 s UNKNOWN 296.27/233.42 c (232,220) SatSolver is killed by some reasons. 296.27/233.42 c (232,220) 0,0,158,203,205,206,225,TO,TO,STOP-AFTER(DIMACS) 296.27/233.42 c END-Prog: Fri Jul 27 14:40:32 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 (8475 MiB free) memory of node 1: 16384 MiB (11552 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297207-1532694998/watcher-4297207-1532694998 -o /tmp/evaluation-result-4297207-1532694998/solver-4297207-1532694998 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532687379-19294 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297207-1532694998.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=20145, runsolver pid=20142 [startup+0.100156 s]* /proc/loadavg: 7.86 8.25 8.31 3/198 20165 /proc/meminfo: memFree=20412832/32770624 swapFree=67108860/67108860 [pid=20145] ppid=20142 vsize=27312552 memory=108532 CPUtime=0.11 cores=0-7 /proc/20145/stat : 20145 (java) S 20142 20145 19267 0 -1 1077944320 6660 0 0 0 9 2 0 0 20 0 20 0 87062996 27968053248 27133 33554432000 4194304 4196468 140729188262736 140729188245280 140556655783671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 /proc/20145/statm: 6828138 27133 2744 1 0 6790598 0 [pid=20145/tid=20147] ppid=20142 vsize=27312552 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/20145/task/20147/stat : 20147 (java) R 20142 20145 19267 0 -1 4202560 4770 0 0 0 7 1 0 0 20 0 20 0 87062996 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556627589144 140556639864158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20148] ppid=20142 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20145/task/20148/stat : 20148 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556660026384 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20149] ppid=20142 vsize=27312552 memory=140481339156096 CPUtime=0 cores=0-7 /proc/20145/task/20149/stat : 20149 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556443421840 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20150] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20150/stat : 20150 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556442368784 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20151] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20151/stat : 20151 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556441316240 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20152] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20152/stat : 20152 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556440263184 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20153] ppid=20142 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/20145/task/20153/stat : 20153 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556439210640 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20154] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20154/stat : 20154 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556438157584 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20155] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20155/stat : 20155 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556437105040 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20156] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20156/stat : 20156 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87063000 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556030073584 140556655794818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20157] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20157/stat : 20157 (java) S 20142 20145 19267 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 87063000 27968053248 27133 33554432000 4194304 4196468 140729188262736 140554616694432 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20158] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20158/stat : 20158 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063001 27968053248 27133 33554432000 4194304 4196468 140729188262736 140554348258544 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20159] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20159/stat : 20159 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 27133 33554432000 4194304 4196468 140729188262736 140553973750224 140556655802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20160] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20160/stat : 20160 (java) S 20142 20145 19267 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556029020400 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20161] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20161/stat : 20161 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 27133 33554432000 4194304 4196468 140729188262736 140556027967856 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20162] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20162/stat : 20162 (java) S 20142 20145 19267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 27133 33554432000 4194304 4196468 140729188262736 140555778516976 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20163] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20163/stat : 20163 (java) S 20142 20145 19267 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 27133 33554432000 4194304 4196468 140729188262736 140555777464432 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20164] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20164/stat : 20164 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 27133 33554432000 4194304 4196468 140729188262736 140553475845088 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20165] ppid=20142 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/20145/task/20165/stat : 20165 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 27133 33554432000 4194304 4196468 140729188262736 140555776412848 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 108532 KiB [startup+0.210392 s]* /proc/loadavg: 7.86 8.25 8.31 2/198 20165 /proc/meminfo: memFree=20396584/32770624 swapFree=67108860/67108860 [pid=20145] ppid=20142 vsize=27312552 memory=123232 CPUtime=0.25 cores=0-7 /proc/20145/stat : 20145 (java) S 20142 20145 19267 0 -1 1077944320 10567 0 0 0 22 3 0 0 20 0 20 0 87062996 27968053248 30808 33554432000 4194304 4196468 140729188262736 140729188245280 140556655783671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 /proc/20145/statm: 6828138 30808 2880 1 0 6790598 0 [pid=20145/tid=20147] ppid=20142 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/20145/task/20147/stat : 20147 (java) R 20142 20145 19267 0 -1 4202560 8464 0 0 0 17 2 0 0 20 0 20 0 87062996 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556627598928 140556655805018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20148] ppid=20142 vsize=27312552 memory=13939 CPUtime=0 cores=0-7 /proc/20145/task/20148/stat : 20148 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556660026384 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20149] ppid=20142 vsize=27312552 memory=3617717596504549024 CPUtime=0 cores=0-7 /proc/20145/task/20149/stat : 20149 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556443421840 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20150] ppid=20142 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/20145/task/20150/stat : 20150 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556442368784 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20151] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20151/stat : 20151 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556441316240 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20152] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20152/stat : 20152 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556440263184 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20153] ppid=20142 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/20145/task/20153/stat : 20153 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556439210640 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20154] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20154/stat : 20154 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556438157584 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20155] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20155/stat : 20155 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556437105040 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20156] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20156/stat : 20156 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87063000 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556030073584 140556655794818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20157] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20157/stat : 20157 (java) S 20142 20145 19267 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 87063000 27968053248 30808 33554432000 4194304 4196468 140729188262736 140554616694432 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20158] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20158/stat : 20158 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063001 27968053248 30808 33554432000 4194304 4196468 140729188262736 140554348258544 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20159] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20159/stat : 20159 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 30808 33554432000 4194304 4196468 140729188262736 140553973750224 140556655802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20160] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20160/stat : 20160 (java) S 20142 20145 19267 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556029020400 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20161] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20161/stat : 20161 (java) S 20142 20145 19267 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 30808 33554432000 4194304 4196468 140729188262736 140556027967856 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20162] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20162/stat : 20162 (java) S 20142 20145 19267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 30808 33554432000 4194304 4196468 140729188262736 140555778516976 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20163] ppid=20142 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/20145/task/20163/stat : 20163 (java) S 20142 20145 19267 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 87063003 27968053248 30808 33554432000 4194304 4196468 140729188262736 140555777464432 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20164] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20164/stat : 20164 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 30808 33554432000 4194304 4196468 140729188262736 140553475845088 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20165] ppid=20142 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/20145/task/20165/stat : 20165 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 30808 33554432000 4194304 4196468 140729188262736 140555776412848 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 123232 KiB [startup+0.310275 s]* /proc/loadavg: 7.86 8.25 8.31 2/198 20165 /proc/meminfo: memFree=20392152/32770624 swapFree=67108860/67108860 [pid=20145] ppid=20142 vsize=27312552 memory=127128 CPUtime=0.42 cores=0-7 /proc/20145/stat : 20145 (java) S 20142 20145 19267 0 -1 1077944320 11198 0 0 0 38 4 0 0 20 0 20 0 87062996 27968053248 31782 33554432000 4194304 4196468 140729188262736 140729188245280 140556655783671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 /proc/20145/statm: 6828138 31782 2968 1 0 6790598 0 [pid=20145/tid=20147] ppid=20142 vsize=27312552 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20145/task/20147/stat : 20147 (java) R 20142 20145 19267 0 -1 4202560 8903 0 0 0 27 3 0 0 20 0 20 0 87062996 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556627587824 140556639864158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20148] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20148/stat : 20148 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556660026384 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20149] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20149/stat : 20149 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556443421840 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20150] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20150/stat : 20150 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556442368784 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20151] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20151/stat : 20151 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556441316240 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20152] ppid=20142 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/20145/task/20152/stat : 20152 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556440263184 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20153] ppid=20142 vsize=27312552 memory=140481199698863 CPUtime=0 cores=0-7 /proc/20145/task/20153/stat : 20153 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556439210640 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20154] ppid=20142 vsize=27312552 memory=140481199701168 CPUtime=0 cores=0-7 /proc/20145/task/20154/stat : 20154 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556438157584 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20155] ppid=20142 vsize=27312552 memory=140481199703472 CPUtime=0 cores=0-7 /proc/20145/task/20155/stat : 20155 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556437105040 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20156] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20156/stat : 20156 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87063000 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556030073584 140556655794818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20157] ppid=20142 vsize=27312552 memory=280962399413904 CPUtime=0 cores=0-7 /proc/20145/task/20157/stat : 20157 (java) S 20142 20145 19267 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 87063000 27968053248 31782 33554432000 4194304 4196468 140729188262736 140554616694432 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20158] ppid=20142 vsize=27312552 memory=280962399420816 CPUtime=0 cores=0-7 /proc/20145/task/20158/stat : 20158 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063001 27968053248 31782 33554432000 4194304 4196468 140729188262736 140554348258544 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20159] ppid=20142 vsize=27312552 memory=280962399362096 CPUtime=0 cores=0-7 /proc/20145/task/20159/stat : 20159 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 31782 33554432000 4194304 4196468 140729188262736 140553973750224 140556655802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20160] ppid=20142 vsize=27312552 memory=280962399434640 CPUtime=0.01 cores=0-7 /proc/20145/task/20160/stat : 20160 (java) S 20142 20145 19267 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 20 0 87063003 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556029020400 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20161] ppid=20142 vsize=27312552 memory=280962399441552 CPUtime=0.01 cores=0-7 /proc/20145/task/20161/stat : 20161 (java) S 20142 20145 19267 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 87063003 27968053248 31782 33554432000 4194304 4196468 140729188262736 140556027967856 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20162] ppid=20142 vsize=27312552 memory=280962399439248 CPUtime=0 cores=0-7 /proc/20145/task/20162/stat : 20162 (java) S 20142 20145 19267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 31782 33554432000 4194304 4196468 140729188262736 140555778516976 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20163] ppid=20142 vsize=27312552 memory=280962399455856 CPUtime=0.07 cores=0-7 /proc/20145/task/20163/stat : 20163 (java) S 20142 20145 19267 0 -1 1077944384 326 0 0 0 7 0 0 0 20 0 20 0 87063003 27968053248 31782 33554432000 4194304 4196468 140729188262736 140555777464432 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20164] ppid=20142 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20164/stat : 20164 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 31782 33554432000 4194304 4196468 140729188262736 140553475845088 140556655793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20165] ppid=20142 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/20145/task/20165/stat : 20165 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063003 27968053248 31782 33554432000 4194304 4196468 140729188262736 140555776412848 140556655794818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 127128 KiB [startup+0.700937 s] /proc/loadavg: 7.86 8.25 8.31 2/198 20165 /proc/meminfo: memFree=20368092/32770624 swapFree=67108860/67108860 [pid=20145] ppid=20142 vsize=27318824 memory=167228 CPUtime=1.02 cores=0-7 /proc/20145/stat : 20145 (java) S 20142 20145 19267 0 -1 1077944320 18327 0 0 0 97 5 0 0 20 0 20 0 87062996 27974475776 41807 33554432000 4194304 4196468 140729188262736 140729188245280 140556655783671 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 /proc/20145/statm: 6829706 41807 3152 1 0 6791110 0 [pid=20145/tid=20147] ppid=20142 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/20145/task/20147/stat : 20147 (java) R 20142 20145 19267 0 -1 4202560 15405 0 0 0 63 4 0 0 20 0 20 0 87062996 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556627621056 140556655805597 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20148] ppid=20142 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20148/stat : 20148 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556660026384 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20149] ppid=20142 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20149/stat : 20149 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556443421840 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20150] ppid=20142 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20150/stat : 20150 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556442368784 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20151] ppid=20142 vsize=27318824 memory=1196 CPUtime=0 cores=0-7 /proc/20145/task/20151/stat : 20151 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556441316240 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20152] ppid=20142 vsize=27318824 memory=8540 CPUtime=0 cores=0-7 /proc/20145/task/20152/stat : 20152 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556440263184 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20153] ppid=20142 vsize=27318824 memory=4616 CPUtime=0 cores=0-7 /proc/20145/task/20153/stat : 20153 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556439210640 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20154] ppid=20142 vsize=27318824 memory=1424 CPUtime=0 cores=0-7 /proc/20145/task/20154/stat : 20154 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556438157584 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20155] ppid=20142 vsize=27318824 memory=15868 CPUtime=0 cores=0-7 /proc/20145/task/20155/stat : 20155 (java) S 20142 20145 19267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87062998 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556437105040 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20156] ppid=20142 vsize=27318824 memory=4052 CPUtime=0 cores=0-7 /proc/20145/task/20156/stat : 20156 (java) S 20142 20145 19267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87063000 27974475776 41807 33554432000 4194304 4196468 140729188262736 140556030073584 140556655794818 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 ################ # More data... # ################ /proc/20145/task/20156/stat : 20156 (java) S 20142 20145 19267 0 -1 1077944384 1052 0 0 0 4 0 0 0 20 0 20 0 87063000 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140556030073584 140556655794818 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20157] ppid=20142 vsize=27327160 memory=10511456 CPUtime=0 cores=0-7 /proc/20145/task/20157/stat : 20157 (java) S 20142 20145 19267 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 87063000 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140554616694496 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20158] ppid=20142 vsize=27327160 memory=10511456 CPUtime=0 cores=0-7 /proc/20145/task/20158/stat : 20158 (java) S 20142 20145 19267 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 87063001 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140554348258560 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20159] ppid=20142 vsize=27327160 memory=10110496 CPUtime=0 cores=0-7 /proc/20145/task/20159/stat : 20159 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87063003 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140553973750224 140556655802267 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20160] ppid=20142 vsize=27327160 memory=4136 CPUtime=4.67 cores=0-7 /proc/20145/task/20160/stat : 20160 (java) S 20142 20145 19267 0 -1 1077944384 10414 0 0 0 464 3 0 0 20 0 20 0 87063003 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140556029020400 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20161] ppid=20142 vsize=27327160 memory=4136 CPUtime=5.61 cores=0-7 /proc/20145/task/20161/stat : 20161 (java) S 20142 20145 19267 0 -1 1077944384 10885 0 0 0 559 2 0 0 20 0 20 0 87063003 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140556027967856 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20162] ppid=20142 vsize=27327160 memory=0 CPUtime=5.2 cores=0-7 /proc/20145/task/20162/stat : 20162 (java) S 20142 20145 19267 0 -1 1077944384 10038 0 0 0 518 2 0 0 20 0 20 0 87063003 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140555778516976 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20163] ppid=20142 vsize=27327160 memory=0 CPUtime=1.66 cores=0-7 /proc/20145/task/20163/stat : 20163 (java) S 20142 20145 19267 0 -1 1077944384 17332 0 0 0 161 5 0 0 20 0 20 0 87063003 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140555777464432 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20164] ppid=20142 vsize=27327160 memory=10536240 CPUtime=0 cores=0-7 /proc/20145/task/20164/stat : 20164 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87063003 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140553475845088 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20165] ppid=20142 vsize=27327160 memory=1792 CPUtime=0.08 cores=0-7 /proc/20145/task/20165/stat : 20165 (java) S 20142 20145 19267 0 -1 1077944384 376 0 0 0 2 6 0 0 20 0 20 0 87063003 27983011840 2634060 33554432000 4194304 4196468 140729188262736 140555776412848 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 Current children cumulated CPU time: 288.69 s Current children cumulated vsize: 27327160 KiB Current children cumulated memory: 10536240 KiB Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+233.301 s] /proc/loadavg: 1.60 4.55 6.78 2/204 20180 /proc/meminfo: memFree=7052956/32770624 swapFree=67108860/67108860 [pid=20145] ppid=20142 vsize=27984808 memory=10548156 CPUtime=296.26 cores=0-7 /proc/20145/stat : 20145 (java) S 20142 20145 19267 0 -1 1077944320 134822 0 0 0 28308 1318 0 0 20 0 24 0 87062996 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140729188245280 140556655783671 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 /proc/20145/statm: 6996202 2637039 3263 1 0 6957058 0 [pid=20175] ppid=20145 vsize=3930348 memory=3246064 CPUtime=4.4 cores=0-7 /proc/20175/stat : 20175 (glucose-syrup) S 20145 20145 19267 0 -1 1077944320 425939 0 0 0 339 101 0 0 20 0 9 0 87085901 4024676352 811516 33554432000 4194304 4373367 140724774513104 140724774511648 140018587396738 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 37888000 140724774519727 140724774519980 140724774519980 140724774522823 0 /proc/20175/statm: 982587 811516 366 44 0 978275 0 [pid=20145/tid=20147] ppid=20142 vsize=27984808 memory=10548156 CPUtime=220.8 cores=0-7 /proc/20145/task/20147/stat : 20147 (java) S 20142 20145 19267 0 -1 1077944384 44985 0 0 0 21948 132 0 0 20 0 24 0 87062996 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556627622912 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 99 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20148] ppid=20142 vsize=27984808 memory=10551480 CPUtime=7.18 cores=0-7 /proc/20145/task/20148/stat : 20148 (java) S 20142 20145 19267 0 -1 1077944384 3420 0 0 0 571 147 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556660026384 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20149] ppid=20142 vsize=27984808 memory=10551480 CPUtime=7.17 cores=0-7 /proc/20145/task/20149/stat : 20149 (java) S 20142 20145 19267 0 -1 1077944384 4008 0 0 0 568 149 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556443421840 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20150] ppid=20142 vsize=27984808 memory=10548156 CPUtime=7.18 cores=0-7 /proc/20145/task/20150/stat : 20150 (java) S 20142 20145 19267 0 -1 1077944384 3049 0 0 0 569 149 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556442368784 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20151] ppid=20142 vsize=27984808 memory=10511456 CPUtime=7.18 cores=0-7 /proc/20145/task/20151/stat : 20151 (java) S 20142 20145 19267 0 -1 1077944384 3133 0 0 0 568 150 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556441316240 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20152] ppid=20142 vsize=27984808 memory=707 CPUtime=7.07 cores=0-7 /proc/20145/task/20152/stat : 20152 (java) S 20142 20145 19267 0 -1 1077944384 3842 0 0 0 568 139 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556440263184 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20153] ppid=20142 vsize=27984808 memory=33 CPUtime=7.13 cores=0-7 /proc/20145/task/20153/stat : 20153 (java) S 20142 20145 19267 0 -1 1077944384 4719 0 0 0 566 147 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556439210640 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20154] ppid=20142 vsize=27984808 memory=10511456 CPUtime=7.15 cores=0-7 /proc/20145/task/20154/stat : 20154 (java) S 20142 20145 19267 0 -1 1077944384 3718 0 0 0 571 144 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556438157584 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20155] ppid=20142 vsize=27984808 memory=10110496 CPUtime=7.12 cores=0-7 /proc/20145/task/20155/stat : 20155 (java) S 20142 20145 19267 0 -1 1077944384 3623 0 0 0 577 135 0 0 20 0 24 0 87062998 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556437105040 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20156] ppid=20142 vsize=27984808 memory=4136 CPUtime=0.04 cores=0-7 /proc/20145/task/20156/stat : 20156 (java) S 20142 20145 19267 0 -1 1077944384 2200 0 0 0 4 0 0 0 20 0 24 0 87063000 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556030073584 140556655794818 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20157] ppid=20142 vsize=27984808 memory=4136 CPUtime=0 cores=0-7 /proc/20145/task/20157/stat : 20157 (java) S 20142 20145 19267 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 24 0 87063000 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140554616694496 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20158] ppid=20142 vsize=27984808 memory=4136 CPUtime=0 cores=0-7 /proc/20145/task/20158/stat : 20158 (java) S 20142 20145 19267 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 24 0 87063001 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140554348258560 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20159] ppid=20142 vsize=27984808 memory=25464 CPUtime=0 cores=0-7 /proc/20145/task/20159/stat : 20159 (java) S 20142 20145 19267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 87063003 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140553973750224 140556655802267 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20160] ppid=20142 vsize=27984808 memory=4052 CPUtime=4.85 cores=0-7 /proc/20145/task/20160/stat : 20160 (java) S 20142 20145 19267 0 -1 1077944384 12302 0 0 0 482 3 0 0 20 0 24 0 87063003 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556029020400 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20161] ppid=20142 vsize=27984808 memory=18252 CPUtime=5.93 cores=0-7 /proc/20145/task/20161/stat : 20161 (java) S 20142 20145 19267 0 -1 1077944384 13392 0 0 0 590 3 0 0 20 0 24 0 87063003 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556027967856 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20162] ppid=20142 vsize=27984808 memory=1728 CPUtime=5.5 cores=0-7 /proc/20145/task/20162/stat : 20162 (java) S 20142 20145 19267 0 -1 1077944384 12493 0 0 0 548 2 0 0 20 0 24 0 87063003 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140555778516976 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20163] ppid=20142 vsize=27984808 memory=796 CPUtime=1.7 cores=0-7 /proc/20145/task/20163/stat : 20163 (java) S 20142 20145 19267 0 -1 1077944384 18095 0 0 0 165 5 0 0 20 0 24 0 87063003 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140555777464432 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20164] ppid=20142 vsize=27984808 memory=10551480 CPUtime=0 cores=0-7 /proc/20145/task/20164/stat : 20164 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 87063003 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140553475845088 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20165] ppid=20142 vsize=27984808 memory=400368 CPUtime=0.08 cores=0-7 /proc/20145/task/20165/stat : 20165 (java) S 20142 20145 19267 0 -1 1077944384 415 0 0 0 2 6 0 0 20 0 24 0 87063003 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140555776412848 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20176] ppid=20142 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/20145/task/20176/stat : 20176 (java) S 20142 20145 19267 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 87085901 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140556026582464 140556655808281 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20178] ppid=20142 vsize=27984808 memory=734262404833751072 CPUtime=0 cores=0-7 /proc/20145/task/20178/stat : 20178 (java) S 20142 20145 19267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 87085901 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140552804744624 140556655805597 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20179] ppid=20142 vsize=27984808 memory=248300 CPUtime=0 cores=0-7 /proc/20145/task/20179/stat : 20179 (java) S 20142 20145 19267 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 87085902 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140553073180208 140556655805597 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20180] ppid=20142 vsize=27984808 memory=10536240 CPUtime=0 cores=0-7 /proc/20145/task/20180/stat : 20180 (java) S 20142 20145 19267 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 87085903 28656443392 2637039 33554432000 4194304 4196468 140729188262736 140552536316832 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 Current children cumulated CPU time: 300.66 s Current children cumulated vsize: 31915156 KiB Current children cumulated memory: 13794220 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+233.511 s] # the end of solver process 20145 was just reported to runsolver # cumulated CPU time of all completed processes: user=286.479 s, system=14.4136 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+233.406 s] /proc/loadavg: 1.60 4.55 6.78 2/204 20180 /proc/meminfo: memFree=7052956/32770624 swapFree=67108860/67108860 [pid=20145] ppid=20142 vsize=28181420 memory=10550204 CPUtime=296.27 cores=0-7 /proc/20145/stat : 20145 (java) S 20142 20145 19267 0 -1 1077944320 134868 0 0 0 28308 1319 0 0 20 0 25 0 87062996 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140729188245280 140556655783671 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 /proc/20145/statm: 7045355 2637551 3263 1 0 7006211 0 [pid=20145/tid=20147] ppid=20142 vsize=28181420 memory=15824378344507954 CPUtime=220.8 cores=0-7 /proc/20145/task/20147/stat : 20147 (java) S 20142 20145 19267 0 -1 1077944384 44985 0 0 0 21948 132 0 0 20 0 25 0 87062996 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556627622912 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 99 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20148] ppid=20142 vsize=28181420 memory=644 CPUtime=7.18 cores=0-7 /proc/20145/task/20148/stat : 20148 (java) S 20142 20145 19267 0 -1 1077944384 3420 0 0 0 571 147 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556660026384 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20149] ppid=20142 vsize=28181420 memory=1936 CPUtime=7.17 cores=0-7 /proc/20145/task/20149/stat : 20149 (java) S 20142 20145 19267 0 -1 1077944384 4008 0 0 0 568 149 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556443421840 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20150] ppid=20142 vsize=28181420 memory=1196 CPUtime=7.18 cores=0-7 /proc/20145/task/20150/stat : 20150 (java) S 20142 20145 19267 0 -1 1077944384 3049 0 0 0 569 149 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556442368784 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20151] ppid=20142 vsize=28181420 memory=8540 CPUtime=7.18 cores=0-7 /proc/20145/task/20151/stat : 20151 (java) S 20142 20145 19267 0 -1 1077944384 3133 0 0 0 568 150 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556441316240 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20152] ppid=20142 vsize=28181420 memory=4616 CPUtime=7.07 cores=0-7 /proc/20145/task/20152/stat : 20152 (java) S 20142 20145 19267 0 -1 1077944384 3842 0 0 0 568 139 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556440263184 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20153] ppid=20142 vsize=28181420 memory=1424 CPUtime=7.13 cores=0-7 /proc/20145/task/20153/stat : 20153 (java) S 20142 20145 19267 0 -1 1077944384 4719 0 0 0 566 147 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556439210640 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20154] ppid=20142 vsize=28181420 memory=15868 CPUtime=7.15 cores=0-7 /proc/20145/task/20154/stat : 20154 (java) S 20142 20145 19267 0 -1 1077944384 3718 0 0 0 571 144 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556438157584 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20155] ppid=20142 vsize=28181420 memory=4052 CPUtime=7.12 cores=0-7 /proc/20145/task/20155/stat : 20155 (java) S 20142 20145 19267 0 -1 1077944384 3623 0 0 0 577 135 0 0 20 0 25 0 87062998 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556437105040 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20156] ppid=20142 vsize=28181420 memory=18252 CPUtime=0.04 cores=0-7 /proc/20145/task/20156/stat : 20156 (java) S 20142 20145 19267 0 -1 1077944384 2200 0 0 0 4 0 0 0 20 0 25 0 87063000 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556030073584 140556655794818 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20157] ppid=20142 vsize=28181420 memory=14752 CPUtime=0 cores=0-7 /proc/20145/task/20157/stat : 20157 (java) S 20142 20145 19267 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 25 0 87063000 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140554616694496 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20158] ppid=20142 vsize=28181420 memory=644 CPUtime=0 cores=0-7 /proc/20145/task/20158/stat : 20158 (java) S 20142 20145 19267 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 25 0 87063001 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140554348258560 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20159] ppid=20142 vsize=28181420 memory=280962401454656 CPUtime=0 cores=0-7 /proc/20145/task/20159/stat : 20159 (java) S 20142 20145 19267 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 25 0 87063003 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140553973750224 140556655802267 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20160] ppid=20142 vsize=28181420 memory=916 CPUtime=4.85 cores=0-7 /proc/20145/task/20160/stat : 20160 (java) S 20142 20145 19267 0 -1 1077944384 12302 0 0 0 482 3 0 0 20 0 25 0 87063003 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556029020400 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20161] ppid=20142 vsize=28181420 memory=4136 CPUtime=5.93 cores=0-7 /proc/20145/task/20161/stat : 20161 (java) S 20142 20145 19267 0 -1 1077944384 13392 0 0 0 590 3 0 0 20 0 25 0 87063003 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556027967856 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20162] ppid=20142 vsize=28181420 memory=1412 CPUtime=5.5 cores=0-7 /proc/20145/task/20162/stat : 20162 (java) S 20142 20145 19267 0 -1 1077944384 12493 0 0 0 548 2 0 0 20 0 25 0 87063003 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140555778516976 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20163] ppid=20142 vsize=28181420 memory=3204 CPUtime=1.7 cores=0-7 /proc/20145/task/20163/stat : 20163 (java) S 20142 20145 19267 0 -1 1077944384 18095 0 0 0 165 5 0 0 20 0 25 0 87063003 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140555777464432 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20164] ppid=20142 vsize=28181420 memory=10546304 CPUtime=0 cores=0-7 /proc/20145/task/20164/stat : 20164 (java) S 20142 20145 19267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 87063003 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140553475845088 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20165] ppid=20142 vsize=28181420 memory=4104 CPUtime=0.08 cores=0-7 /proc/20145/task/20165/stat : 20165 (java) S 20142 20145 19267 0 -1 1077944384 415 0 0 0 2 6 0 0 20 0 25 0 87063003 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140555776412848 140556655794818 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20176] ppid=20142 vsize=28181420 memory=1398720917958146503 CPUtime=0 cores=0-7 /proc/20145/task/20176/stat : 20176 (java) S 20142 20145 19267 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 25 0 87085901 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140556026582464 140556655808281 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20178] ppid=20142 vsize=28181420 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20145/task/20178/stat : 20178 (java) S 20142 20145 19267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 25 0 87085901 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140552804744624 140556655805597 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20179] ppid=20142 vsize=28181420 memory=3047711553320166262 CPUtime=0 cores=0-7 /proc/20145/task/20179/stat : 20179 (java) S 20142 20145 19267 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 25 0 87085902 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140553073180208 140556655805597 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 [pid=20145/tid=20180] ppid=20142 vsize=28181420 memory=8514701219730523551 CPUtime=0 cores=0-7 /proc/20145/task/20180/stat : 20180 (java) S 20142 20145 19267 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 25 0 87085903 28857774080 2637551 33554432000 4194304 4196468 140729188262736 140552536316832 140556655793877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15138816 140729188271066 140729188271365 140729188271365 140729188274127 0 Current children cumulated CPU time: 296.27 s Current children cumulated vsize: 28181420 KiB Current children cumulated memory: 10550204 KiB [startup+233.501 s]* /proc/loadavg: 1.60 4.55 6.78 2/181 20189 /proc/meminfo: memFree=20336720/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 1 Real time (s): 233.511 CPU time (s): 300.892 CPU user time (s): 286.479 CPU system time (s): 14.4136 CPU usage (%): 128.855 Max. virtual memory (cumulated for all children) (KiB): 31915156 Max. memory (cumulated for all children) (KiB): 13794220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 286.479 system time used= 14.4136 maximum resident set size= 10551480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 561014 page faults= 0 swaps= 0 block input operations= 0 block output operations= 266200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22596 involuntary context switches= 792 # summary of solver processes directly reported to runsolver: # pid: 20145 # total CPU time (s): 300.892 # total CPU user time (s): 286.479 # total CPU system time (s): 14.4136 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.7154 second user time and 2.2683 second system time The end
Begin job on node105 at 2018-07-27 14:36:38 IDJOB=4297207 IDBENCH=141660 IDSOLVER=2759 FILE ID=node105/4297207-1532694998 RUNJOBID= node105-1532687379-19294 PBS_JOBID= 21022279 Free space on /tmp= 44624 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Eternity/Eternity-14-14_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297207-1532694998/watcher-4297207-1532694998 -o /tmp/evaluation-result-4297207-1532694998/solver-4297207-1532694998 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532687379-19294 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297207-1532694998.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 66051f32d3df5832063947322816fa6d RANDOM SEED=1549515943 node105.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.32 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.32 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.32 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.32 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: 20508576 kB MemAvailable: 31932872 kB Buffers: 258532 kB Cached: 11306040 kB SwapCached: 0 kB Active: 2370252 kB Inactive: 9246100 kB Active(anon): 6144 kB Inactive(anon): 73364 kB Active(file): 2364108 kB Inactive(file): 9172736 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 10644 kB Writeback: 0 kB AnonPages: 59104 kB Mapped: 41892 kB Shmem: 25228 kB Slab: 342984 kB SReclaimable: 315912 kB SUnreclaim: 27072 kB KernelStack: 3168 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44612 MiB End job on node105 at 2018-07-27 14:40:32