Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | ? (MO) | 1398.07 | 860.389 |
Name | Crossword/ Crossword-m18-ogd2008-vg-16-17_c18.xml |
MD5SUM | 23da8342a2898ede5001de7625d13c59 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3756.51 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 272 |
Number of constraints | 33 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":272}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":272}] |
Minimum constraint arity | 16 |
Maximum constraint arity | 17 |
Distribution of constraint arities | [{"arity":16,"count":17},{"arity":17,"count":16}] |
Number of extensional constraints | 33 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":33}] |
Optimization problem | NO |
Type of objective |
0.65/0.53 0.65/0.53 scop order+glucose-syrup (2018-07-07) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Fri Jul 27 05:08:03 CEST 2018 0.65/0.56 c PID: 17826 0.65/0.56 c IP: 172.20.3.150 0.65/0.56 c HOST: node150.alineos.net 0.65/0.56 c (0,0) Parsing Begin 2.40/1.19 c (0,0) Parsing End 2.40/1.20 c (0,0) CSP: 272 int (0 aux), 0 bool (0 aux), 33 ctr, max domain size 26 2.40/1.20 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.40/1.20 c (0,0) Constraint Name Generate Begin 2.72/1.20 c (0,0) Ctr:HOME/instance-4297073-1532660882.xml,ExtensionSupport:IntVar 2.72/1.20 c (0,0) Constraint Name Generate End 2.72/1.20 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.72/1.20 c (0,0) CSP to CSPinCNF Begin 70.71/49.64 c (49,47) translated 4 (10%) constraints 132.33/88.79 c (88,83) translated 7 (20%) constraints 189.36/127.02 c (126,118) translated 10 (30%) constraints 264.16/177.62 c (177,165) translated 14 (40%) constraints 315.05/215.16 c (214,201) translated 17 (50%) constraints 398.90/273.44 c (272,255) translated 20 (60%) constraints 489.08/334.85 c (334,313) translated 24 (70%) constraints 552.41/380.42 c (379,356) translated 27 (80%) constraints 618.40/427.66 c (427,400) translated 30 (90%) constraints 684.46/473.69 c (473,443) translated 33 (100%) constraints 731.67/508.94 c (508,477) STATISTICS1:HOME/instance-4297073-1532660882.xml,ExtensionSupport:IntVar,2141553,11823046,-1,26,27,1,,26:14381411;25:407589;2:19761537,27:33;25:16;24:84;23:84;22:183;21:67;20:183;19:348;18:181;17:298;16:432;15:519;14:733;13:1177;12:1206;11:1474;10:2100;9:2845;8:3816;7:5447;6:10582;5:17836;4:4746363;3:1142892;2:5884147,1:34550537;0:33, 731.67/508.94 c (508,477) =========================================== 731.67/508.94 c (508,477) Order 731.67/508.94 c (508,477) =========================================== 748.55/523.24 c (522,491) translated 1182305 (10%) constraints 768.54/538.28 c (537,505) translated 2364610 (20%) constraints 788.86/553.24 c (552,519) translated 3546914 (30%) constraints 808.77/568.16 c (567,533) translated 4729219 (40%) constraints 828.76/583.06 c (582,548) translated 5911523 (50%) constraints 848.89/598.00 c (597,562) translated 7093828 (60%) constraints 869.03/613.05 c (612,576) translated 8276133 (70%) constraints 889.31/628.05 c (627,590) translated 9458437 (80%) constraints 909.57/643.06 c (642,605) translated 10640742 (90%) constraints 929.86/658.16 c (657,619) translated 11823046 (100%) constraints 929.86/658.16 c (657,619) CSP to CSPinCNF End 930.59/658.88 c (658,620) CSP: 272 int (0 aux), 2141281 bool (2141281 aux), 11823046 ctr, max domain size 26 930.59/658.88 c (658,620) Heap : 18027 MiB used (max 21738 MiB), NonHeap : 27 MiB used (max 0 MiB) 930.59/658.88 c (658,620) CSPinCNF Propagation Begin 1195.05/737.90 c (737,672) 0 values, 33 unsatisfiable literals, and 0 valid clauses are removed 1195.05/737.90 c (737,672) CSPinCNF Propagation End 1195.75/738.65 c (738,673) CSP: 272 int (0 aux), 2141281 bool (2141281 aux), 11823046 ctr, max domain size 26 1195.75/738.65 c (738,673) Heap : 18824 MiB used (max 20619 MiB), NonHeap : 28 MiB used (max 0 MiB) 1195.75/738.65 c (738,673) Simplify CSPinCNF Begin 1293.30/765.89 c (765,690) Simplify CSPinCNF End 1294.10/766.64 c (766,690) CSP: 272 int (0 aux), 2141281 bool (2141281 aux), 11823046 ctr, max domain size 26 1294.10/766.64 c (766,690) Heap : 15519 MiB used (max 21240 MiB), NonHeap : 27 MiB used (max 0 MiB) 1294.10/766.64 c (766,690) Calculate Precise Domain Begin 1294.10/766.64 c (766,690) 0 values are removed by re-calculation 1294.10/766.64 c (766,690) Calculate Precise Domain End 1294.80/767.39 c (766,691) CSP: 272 int (0 aux), 2141281 bool (2141281 aux), 11823046 ctr, max domain size 26 1294.80/767.39 c (766,691) Heap : 15519 MiB used (max 21240 MiB), NonHeap : 27 MiB used (max 0 MiB) 1294.80/767.39 c (766,691) CSPinCNF to SatSolver Begin 1311.07/775.76 c (775,698) 1182305 (10 %) CSP clauses are encoded (2148064 SAT variables, 1188815 SAT clauses) 1316.97/781.25 c (780,704) 2364610 (20 %) CSP clauses are encoded (2148064 SAT variables, 2371120 SAT clauses) 1322.50/786.98 c (786,709) 3546914 (30 %) CSP clauses are encoded (2148064 SAT variables, 3553424 SAT clauses) 1328.11/792.43 c (791,715) 4729219 (40 %) CSP clauses are encoded (2148064 SAT variables, 4735729 SAT clauses) 1333.80/798.08 c (797,720) 5911523 (50 %) CSP clauses are encoded (2148064 SAT variables, 5918033 SAT clauses) 1339.50/803.65 c (803,726) 7093828 (60 %) CSP clauses are encoded (2148064 SAT variables, 7100338 SAT clauses) 1345.12/809.18 c (808,731) 8276133 (70 %) CSP clauses are encoded (2148064 SAT variables, 8282643 SAT clauses) 1350.76/814.67 c (814,737) 9458437 (80 %) CSP clauses are encoded (2148064 SAT variables, 9464947 SAT clauses) 1356.38/820.17 c (819,742) 10640742 (90 %) CSP clauses are encoded (2148064 SAT variables, 10647252 SAT clauses) 1361.97/825.65 c (825,748) 11823046 (100 %) CSP clauses are encoded (2148064 SAT variables, 11829556 SAT clauses) 1361.97/825.65 c (825,748) CSPinCNF to SatSolver End 1361.97/825.65 c (825,748) Heap : 16278 MiB used (max 21376 MiB), NonHeap : 28 MiB used (max 0 MiB) 1387.30/849.73 c (849,772) STATISTICS2:HOME/instance-4297073-1532660882.xml,ExtensionSupport:IntVar,2141553,11823046,-1,26,26,1,,26:14381411;25:407589;2:19761537,26:33;25:16;24:84;23:84;22:183;21:67;20:183;19:348;18:181;17:298;16:432;15:519;14:733;13:1177;12:1206;11:1474;10:2100;9:2845;8:3816;7:5447;6:10582;5:17836;4:4746363;3:1142892;2:5884147,1:34550537, 1387.30/849.73 c (849,772) SatSolver.solve Begin 1387.30/849.73 c (849,772) 2148064 bool, 11829557 clause 1387.30/849.73 c (849,772) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297073-1532660882.xml-scop-17826.cnf HOME/instance-4297073-1532660882.xml-scop-17826.cnf.out 1397.67/860.01 c (859,0) receiving signal SIGTERM 1397.67/860.01 s UNKNOWN 1387.43/860.22 c (859,772) SatSolver is killed by some reasons. 1387.43/860.22 c (859,772) 0,0,658,738,766,766,825,TO,TO,STOP-AFTER(DIMACS) 1387.43/860.22 c END-Prog: Fri Jul 27 05:22:23 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 (9825 MiB free) memory of node 1: 16384 MiB (13926 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297073-1532660882/watcher-4297073-1532660882 -o /tmp/evaluation-result-4297073-1532660882/solver-4297073-1532660882 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532653186-16741 --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-4297073-1532660882.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=17826, runsolver pid=17823 [startup+0.100125 s]* /proc/loadavg: 8.76 8.89 8.50 2/198 17846 /proc/meminfo: memFree=24227108/32770624 swapFree=67108860/67108860 [pid=17826] ppid=17823 vsize=27312552 memory=110756 CPUtime=0.1 cores=0-7 /proc/17826/stat : 17826 (java) S 17823 17826 16714 0 -1 1077944320 6698 0 0 0 8 2 0 0 20 0 20 0 83651495 27968053248 27689 33554432000 4194304 4196468 140726530663792 140726530646336 140102169743095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 /proc/17826/statm: 6828138 27689 2750 1 0 6790598 0 [pid=17826/tid=17828] ppid=17823 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17826/task/17828/stat : 17828 (java) R 17823 17826 16714 0 -1 4202560 4866 0 0 0 7 2 0 0 20 0 20 0 83651496 27968053248 27754 33554432000 4194304 4196468 140726530663792 140102141569424 140102169755030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17829] ppid=17823 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17826/task/17829/stat : 17829 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140102173985680 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17830] ppid=17823 vsize=27312552 memory=140537389147776 CPUtime=0 cores=0-7 /proc/17826/task/17830/stat : 17830 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140101988141840 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17831] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17831/stat : 17831 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140101987089552 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17832] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17832/stat : 17832 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140101986036752 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17833] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17833/stat : 17833 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140101984983440 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17834] ppid=17823 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/17826/task/17834/stat : 17834 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140101983930640 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17835] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17835/stat : 17835 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140101982878352 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17836] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17836/stat : 17836 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 27754 33554432000 4194304 4196468 140726530663792 140101981825552 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17837] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17837/stat : 17837 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651500 27968053248 27754 33554432000 4194304 4196468 140726530663792 140100488907376 140102169754242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17838] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17838/stat : 17838 (java) S 17823 17826 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83651500 27968053248 27754 33554432000 4194304 4196468 140726530663792 140099954140448 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17839] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17839/stat : 17839 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651501 27968053248 27754 33554432000 4194304 4196468 140726530663792 140099685705328 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17840] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17840/stat : 17840 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 27754 33554432000 4194304 4196468 140726530663792 140099311196752 140102169761691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17841] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17841/stat : 17841 (java) S 17823 17826 16714 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 27754 33554432000 4194304 4196468 140726530663792 140100487854192 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17842] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17842/stat : 17842 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 27754 33554432000 4194304 4196468 140726530663792 140100486801392 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17843] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17843/stat : 17843 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 27754 33554432000 4194304 4196468 140726530663792 140100485749104 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17844] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17844/stat : 17844 (java) S 17823 17826 16714 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 27754 33554432000 4194304 4196468 140726530663792 140100484696304 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17845] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17845/stat : 17845 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 27754 33554432000 4194304 4196468 140726530663792 140098813291360 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17846] ppid=17823 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/17826/task/17846/stat : 17846 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651504 27968053248 27754 33554432000 4194304 4196468 140726530663792 140100483644208 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 110756 KiB [startup+0.210234 s]* /proc/loadavg: 8.76 8.89 8.50 2/198 17846 /proc/meminfo: memFree=24208936/32770624 swapFree=67108860/67108860 [pid=17826] ppid=17823 vsize=27312552 memory=125148 CPUtime=0.24 cores=0-7 /proc/17826/stat : 17826 (java) S 17823 17826 16714 0 -1 1077944320 10541 0 0 0 21 3 0 0 20 0 20 0 83651495 27968053248 31287 33554432000 4194304 4196468 140726530663792 140726530646336 140102169743095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 /proc/17826/statm: 6828138 31287 2907 1 0 6790598 0 [pid=17826/tid=17828] ppid=17823 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/17826/task/17828/stat : 17828 (java) R 17823 17826 16714 0 -1 4202560 8458 0 0 0 17 2 0 0 20 0 20 0 83651496 27968053248 31352 33554432000 4194304 4196468 140726530663792 140102141533760 140102153823582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17829] ppid=17823 vsize=27312552 memory=10869 CPUtime=0 cores=0-7 /proc/17826/task/17829/stat : 17829 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140102173985680 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17830] ppid=17823 vsize=27312552 memory=140537389636124 CPUtime=0 cores=0-7 /proc/17826/task/17830/stat : 17830 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140101988141840 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17831] ppid=17823 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/17826/task/17831/stat : 17831 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140101987089552 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17832] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17832/stat : 17832 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140101986036752 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17833] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17833/stat : 17833 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140101984983440 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17834] ppid=17823 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/17826/task/17834/stat : 17834 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140101983930640 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17835] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17835/stat : 17835 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140101982878352 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17836] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17836/stat : 17836 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 31352 33554432000 4194304 4196468 140726530663792 140101981825552 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17837] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17837/stat : 17837 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651500 27968053248 31352 33554432000 4194304 4196468 140726530663792 140100488907376 140102169754242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17838] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17838/stat : 17838 (java) S 17823 17826 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83651500 27968053248 31352 33554432000 4194304 4196468 140726530663792 140099954140448 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17839] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17839/stat : 17839 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651501 27968053248 31352 33554432000 4194304 4196468 140726530663792 140099685705328 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17840] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17840/stat : 17840 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 31352 33554432000 4194304 4196468 140726530663792 140099311196752 140102169761691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17841] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17841/stat : 17841 (java) S 17823 17826 16714 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 31352 33554432000 4194304 4196468 140726530663792 140100487854192 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17842] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17842/stat : 17842 (java) S 17823 17826 16714 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 31352 33554432000 4194304 4196468 140726530663792 140100486801392 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17843] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17843/stat : 17843 (java) S 17823 17826 16714 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 31352 33554432000 4194304 4196468 140726530663792 140100485749104 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17844] ppid=17823 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/17826/task/17844/stat : 17844 (java) S 17823 17826 16714 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 83651503 27968053248 31352 33554432000 4194304 4196468 140726530663792 140100484696304 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17845] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17845/stat : 17845 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 31352 33554432000 4194304 4196468 140726530663792 140098813291360 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17846] ppid=17823 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/17826/task/17846/stat : 17846 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651504 27968053248 31352 33554432000 4194304 4196468 140726530663792 140100483644208 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125148 KiB [startup+0.310016 s]* /proc/loadavg: 8.76 8.89 8.50 2/198 17846 /proc/meminfo: memFree=24205276/32770624 swapFree=67108860/67108860 [pid=17826] ppid=17823 vsize=27312552 memory=129436 CPUtime=0.42 cores=0-7 /proc/17826/stat : 17826 (java) S 17823 17826 16714 0 -1 1077944320 11181 0 0 0 38 4 0 0 20 0 20 0 83651495 27968053248 32359 33554432000 4194304 4196468 140726530663792 140726530646336 140102169743095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 /proc/17826/statm: 6828138 32359 3014 1 0 6790598 0 [pid=17826/tid=17828] ppid=17823 vsize=27312552 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/17826/task/17828/stat : 17828 (java) R 17823 17826 16714 0 -1 4202560 8901 0 0 0 27 3 0 0 20 0 20 0 83651496 27968053248 32359 33554432000 4194304 4196468 140726530663792 140102141547248 140102153823582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17829] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17829/stat : 17829 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140102173985680 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17830] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17830/stat : 17830 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140101988141840 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17831] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17831/stat : 17831 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140101987089552 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17832] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17832/stat : 17832 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140101986036752 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17833] ppid=17823 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/17826/task/17833/stat : 17833 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140101984983440 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17834] ppid=17823 vsize=27312552 memory=140537235600303 CPUtime=0 cores=0-7 /proc/17826/task/17834/stat : 17834 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140101983930640 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17835] ppid=17823 vsize=27312552 memory=140537235602608 CPUtime=0 cores=0-7 /proc/17826/task/17835/stat : 17835 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140101982878352 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17836] ppid=17823 vsize=27312552 memory=140537235604912 CPUtime=0 cores=0-7 /proc/17826/task/17836/stat : 17836 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27968053248 32359 33554432000 4194304 4196468 140726530663792 140101981825552 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17837] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17837/stat : 17837 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651500 27968053248 32359 33554432000 4194304 4196468 140726530663792 140100488907376 140102169754242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17838] ppid=17823 vsize=27312552 memory=281074471216784 CPUtime=0 cores=0-7 /proc/17826/task/17838/stat : 17838 (java) S 17823 17826 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83651500 27968053248 32359 33554432000 4194304 4196468 140726530663792 140099954140448 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17839] ppid=17823 vsize=27312552 memory=281074471223696 CPUtime=0 cores=0-7 /proc/17826/task/17839/stat : 17839 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651501 27968053248 32359 33554432000 4194304 4196468 140726530663792 140099685705328 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17840] ppid=17823 vsize=27312552 memory=281074471164976 CPUtime=0 cores=0-7 /proc/17826/task/17840/stat : 17840 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 32359 33554432000 4194304 4196468 140726530663792 140099311196752 140102169761691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17841] ppid=17823 vsize=27312552 memory=281074471237520 CPUtime=0.01 cores=0-7 /proc/17826/task/17841/stat : 17841 (java) S 17823 17826 16714 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 83651503 27968053248 32359 33554432000 4194304 4196468 140726530663792 140100487854192 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17842] ppid=17823 vsize=27312552 memory=281074471244432 CPUtime=0.01 cores=0-7 /proc/17826/task/17842/stat : 17842 (java) S 17823 17826 16714 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 20 0 83651503 27968053248 32359 33554432000 4194304 4196468 140726530663792 140100486801392 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17843] ppid=17823 vsize=27312552 memory=281074471242128 CPUtime=0.01 cores=0-7 /proc/17826/task/17843/stat : 17843 (java) S 17823 17826 16714 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 20 0 83651503 27968053248 32359 33554432000 4194304 4196468 140726530663792 140100485749104 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17844] ppid=17823 vsize=27312552 memory=281074471258736 CPUtime=0.06 cores=0-7 /proc/17826/task/17844/stat : 17844 (java) S 17823 17826 16714 0 -1 1077944384 333 0 0 0 6 0 0 0 20 0 20 0 83651503 27968053248 32359 33554432000 4194304 4196468 140726530663792 140100484696304 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17845] ppid=17823 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17845/stat : 17845 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651503 27968053248 32359 33554432000 4194304 4196468 140726530663792 140098813291360 140102169753301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17846] ppid=17823 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/17826/task/17846/stat : 17846 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651504 27968053248 32359 33554432000 4194304 4196468 140726530663792 140100483644208 140102169754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 129436 KiB [startup+0.700872 s] /proc/loadavg: 8.76 8.89 8.50 2/198 17846 /proc/meminfo: memFree=24180844/32770624 swapFree=67108860/67108860 [pid=17826] ppid=17823 vsize=27318824 memory=169044 CPUtime=0.99 cores=0-7 /proc/17826/stat : 17826 (java) S 17823 17826 16714 0 -1 1077944320 18300 0 0 0 93 6 0 0 20 0 20 0 83651495 27974475776 42261 33554432000 4194304 4196468 140726530663792 140726530646336 140102169743095 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 /proc/17826/statm: 6829706 42261 3146 1 0 6791110 0 [pid=17826/tid=17828] ppid=17823 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/17826/task/17828/stat : 17828 (java) R 17823 17826 16714 0 -1 4202560 15434 0 0 0 62 5 0 0 20 0 20 0 83651496 27974475776 42261 33554432000 4194304 4196468 140726530663792 140102141581024 140102169765021 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17829] ppid=17823 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17829/stat : 17829 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140102173985680 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17830] ppid=17823 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17830/stat : 17830 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140101988141840 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17831] ppid=17823 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/17826/task/17831/stat : 17831 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140101987089552 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17832] ppid=17823 vsize=27318824 memory=792 CPUtime=0 cores=0-7 /proc/17826/task/17832/stat : 17832 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140101986036752 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17833] ppid=17823 vsize=27318824 memory=1008 CPUtime=0 cores=0-7 /proc/17826/task/17833/stat : 17833 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140101984983440 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17834] ppid=17823 vsize=27318824 memory=1228 CPUtime=0 cores=0-7 /proc/17826/task/17834/stat : 17834 (java) S 17823 17826 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140101983930640 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17835] ppid=17823 vsize=27318824 memory=1200 CPUtime=0 cores=0-7 /proc/17826/task/17835/stat : 17835 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140101982878352 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17836] ppid=17823 vsize=27318824 memory=15876 CPUtime=0 cores=0-7 /proc/17826/task/17836/stat : 17836 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651498 27974475776 42261 33554432000 4194304 4196468 140726530663792 140101981825552 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17837] ppid=17823 vsize=27318824 memory=18268 CPUtime=0 cores=0-7 /proc/17826/task/17837/stat : 17837 (java) S 17823 17826 16714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83651500 27974475776 42261 33554432000 4194304 4196468 140726530663792 140100488907376 140102169754242 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 ################ # More data... # ################ /proc/17826/task/17837/stat : 17837 (java) S 17823 17826 16714 0 -1 1077944384 18380 0 0 0 59 5 0 0 20 0 20 0 83651500 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140100488907376 140102169754242 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17838] ppid=17823 vsize=27327160 memory=7892 CPUtime=0 cores=0-7 /proc/17826/task/17838/stat : 17838 (java) S 17823 17826 16714 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 83651500 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140099954140512 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17839] ppid=17823 vsize=27327160 memory=23312236 CPUtime=0 cores=0-7 /proc/17826/task/17839/stat : 17839 (java) S 17823 17826 16714 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 83651501 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140099685705344 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17840] ppid=17823 vsize=27327160 memory=23312236 CPUtime=0 cores=0-7 /proc/17826/task/17840/stat : 17840 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83651503 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140099311196752 140102169761691 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17841] ppid=17823 vsize=27327160 memory=23312236 CPUtime=4.06 cores=0-7 /proc/17826/task/17841/stat : 17841 (java) S 17823 17826 16714 0 -1 1077944384 18875 0 0 0 402 4 0 0 20 0 20 0 83651503 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140100487854192 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17842] ppid=17823 vsize=27327160 memory=24828 CPUtime=3.51 cores=0-7 /proc/17826/task/17842/stat : 17842 (java) S 17823 17826 16714 0 -1 1077944384 20093 0 0 0 346 5 0 0 20 0 20 0 83651503 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140100486801392 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17843] ppid=17823 vsize=27327160 memory=23312236 CPUtime=4.15 cores=0-7 /proc/17826/task/17843/stat : 17843 (java) S 17823 17826 16714 0 -1 1077944384 19704 0 0 0 412 3 0 0 20 0 20 0 83651503 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140100485749104 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17844] ppid=17823 vsize=27327160 memory=23312236 CPUtime=1.36 cores=0-7 /proc/17826/task/17844/stat : 17844 (java) S 17823 17826 16714 0 -1 1077944384 31121 0 0 0 132 4 0 0 20 0 20 0 83651503 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140100484696304 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17845] ppid=17823 vsize=27327160 memory=23312236 CPUtime=0 cores=0-7 /proc/17826/task/17845/stat : 17845 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83651503 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140098813291360 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17846] ppid=17823 vsize=27327160 memory=23312236 CPUtime=0.41 cores=0-7 /proc/17826/task/17846/stat : 17846 (java) S 17823 17826 16714 0 -1 1077944384 1444 0 0 0 20 21 0 0 20 0 20 0 83651504 27983011840 5828059 33554432000 4194304 4196468 140726530663792 140100483644208 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 Current children cumulated CPU time: 1358.57 s Current children cumulated vsize: 27327160 KiB Current children cumulated memory: 23312236 KiB Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+860.001 s]* /proc/loadavg: 1.40 1.99 4.25 2/203 17866 /proc/meminfo: memFree=205108/32770624 swapFree=67108860/67108860 [pid=17826] ppid=17823 vsize=27982760 memory=23317464 CPUtime=1387.43 cores=0-7 /proc/17826/stat : 17826 (java) S 17823 17826 16714 0 -1 1077944320 558644 0 0 0 134591 4152 0 0 20 0 24 0 83651495 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140726530646336 140102169743095 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 /proc/17826/statm: 6995690 5829366 3277 1 0 6956546 0 [pid=17861] ppid=17826 vsize=3771132 memory=3574056 CPUtime=10.24 cores=0-7 /proc/17861/stat : 17861 (glucose-syrup) R 17826 17826 16714 0 -1 4202496 1008606 0 0 0 790 234 0 0 20 0 1 0 83736471 3861639168 893514 33554432000 4194304 4373367 140730357736256 140730357734104 140288859458533 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6470912 6472264 28315648 140730357744559 140730357744812 140730357744812 140730357747655 0 /proc/17861/statm: 942783 893514 360 44 0 938471 0 [pid=17826/tid=17828] ppid=17823 vsize=27982760 memory=-4075877051373423738 CPUtime=772.74 cores=0-7 /proc/17826/task/17828/stat : 17828 (java) S 17823 17826 16714 0 -1 1077944384 96335 0 0 0 77078 196 0 0 20 0 24 0 83651496 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140102141582336 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17829] ppid=17823 vsize=27982760 memory=4872558044660077418 CPUtime=75.07 cores=0-7 /proc/17826/task/17829/stat : 17829 (java) S 17823 17826 16714 0 -1 1077944384 39875 0 0 0 7019 488 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140102173985680 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 72 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17830] ppid=17823 vsize=27982760 memory=2374448 CPUtime=74.86 cores=0-7 /proc/17826/task/17830/stat : 17830 (java) S 17823 17826 16714 0 -1 1077944384 48939 0 0 0 7024 462 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101988141840 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 78 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17831] ppid=17823 vsize=27982760 memory=6791534058613427641 CPUtime=75.15 cores=0-7 /proc/17826/task/17831/stat : 17831 (java) S 17823 17826 16714 0 -1 1077944384 45227 0 0 0 6967 548 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101987089552 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 70 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17832] ppid=17823 vsize=27982760 memory=3296 CPUtime=74.37 cores=0-7 /proc/17826/task/17832/stat : 17832 (java) S 17823 17826 16714 0 -1 1077944384 38950 0 0 0 6987 450 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101986036752 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 75 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17833] ppid=17823 vsize=27982760 memory=-4075877051373423738 CPUtime=75.24 cores=0-7 /proc/17826/task/17833/stat : 17833 (java) S 17823 17826 16714 0 -1 1077944384 55198 0 0 0 7012 512 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101984983440 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 64 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17834] ppid=17823 vsize=27982760 memory=23312388 CPUtime=75.2 cores=0-7 /proc/17826/task/17834/stat : 17834 (java) S 17823 17826 16714 0 -1 1077944384 36571 0 0 0 6985 535 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101983930640 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 65 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17835] ppid=17823 vsize=27982760 memory=288230574492221466 CPUtime=75.21 cores=0-7 /proc/17826/task/17835/stat : 17835 (java) S 17823 17826 16714 0 -1 1077944384 33452 0 0 0 7033 488 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101982878352 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 66 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17836] ppid=17823 vsize=27982760 memory=288230583166042426 CPUtime=74.88 cores=0-7 /proc/17826/task/17836/stat : 17836 (java) S 17823 17826 16714 0 -1 1077944384 44845 0 0 0 7060 428 0 0 20 0 24 0 83651498 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101981825552 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 79 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17837] ppid=17823 vsize=27982760 memory=13573716680378929 CPUtime=0.65 cores=0-7 /proc/17826/task/17837/stat : 17837 (java) S 17823 17826 16714 0 -1 1077944384 19099 0 0 0 60 5 0 0 20 0 24 0 83651500 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140100488907376 140102169754242 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17838] ppid=17823 vsize=27982760 memory=4128 CPUtime=0 cores=0-7 /proc/17826/task/17838/stat : 17838 (java) S 17823 17826 16714 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 24 0 83651500 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140099954140512 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17839] ppid=17823 vsize=27982760 memory=2200 CPUtime=0 cores=0-7 /proc/17826/task/17839/stat : 17839 (java) S 17823 17826 16714 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 83651501 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140099685705344 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17840] ppid=17823 vsize=27982760 memory=7892 CPUtime=0 cores=0-7 /proc/17826/task/17840/stat : 17840 (java) S 17823 17826 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83651503 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140099311196752 140102169761691 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17841] ppid=17823 vsize=27982760 memory=840 CPUtime=4.21 cores=0-7 /proc/17826/task/17841/stat : 17841 (java) S 17823 17826 16714 0 -1 1077944384 20904 0 0 0 417 4 0 0 20 0 24 0 83651503 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140100487854192 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17842] ppid=17823 vsize=27982760 memory=1800 CPUtime=3.65 cores=0-7 /proc/17826/task/17842/stat : 17842 (java) S 17823 17826 16714 0 -1 1077944384 21599 0 0 0 360 5 0 0 20 0 24 0 83651503 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140100486801392 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17843] ppid=17823 vsize=27982760 memory=920 CPUtime=4.23 cores=0-7 /proc/17826/task/17843/stat : 17843 (java) S 17823 17826 16714 0 -1 1077944384 21095 0 0 0 420 3 0 0 20 0 24 0 83651503 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140100485749104 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17844] ppid=17823 vsize=27982760 memory=4140 CPUtime=1.39 cores=0-7 /proc/17826/task/17844/stat : 17844 (java) S 17823 17826 16714 0 -1 1077944384 33639 0 0 0 135 4 0 0 20 0 24 0 83651503 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140100484696304 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17845] ppid=17823 vsize=27982760 memory=956 CPUtime=0 cores=0-7 /proc/17826/task/17845/stat : 17845 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83651503 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140098813291360 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17846] ppid=17823 vsize=27982760 memory=2424 CPUtime=0.44 cores=0-7 /proc/17826/task/17846/stat : 17846 (java) S 17823 17826 16714 0 -1 1077944384 1508 0 0 0 22 22 0 0 20 0 24 0 83651504 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140100483644208 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17862] ppid=17823 vsize=27982760 memory=288230591722422566 CPUtime=0 cores=0-7 /proc/17826/task/17862/stat : 17862 (java) S 17823 17826 16714 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 83736471 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140101967988544 140102169767705 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17864] ppid=17823 vsize=27982760 memory=16097061506385263 CPUtime=0 cores=0-7 /proc/17826/task/17864/stat : 17864 (java) S 17823 17826 16714 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 83736471 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140098142190896 140102169765021 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17865] ppid=17823 vsize=27982760 memory=2240 CPUtime=0 cores=0-7 /proc/17826/task/17865/stat : 17865 (java) S 17823 17826 16714 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83736471 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140098410626224 140102169765021 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17866] ppid=17823 vsize=27982760 memory=4128 CPUtime=0 cores=0-7 /proc/17826/task/17866/stat : 17866 (java) S 17823 17826 16714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 83736473 28654346240 5829366 33554432000 4194304 4196468 140726530663792 140097873763616 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 Current children cumulated CPU time: 1397.67 s Current children cumulated vsize: 31753892 KiB Current children cumulated memory: 26891520 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+860.389 s] # the end of solver process 17826 was just reported to runsolver # cumulated CPU time of all completed processes: user=1353.82 s, system=44.2441 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+860.201 s] /proc/loadavg: 1.40 1.99 4.25 2/203 17866 /proc/meminfo: memFree=205108/32770624 swapFree=67108860/67108860 [pid=17826] ppid=17823 vsize=28179372 memory=23319512 CPUtime=1387.43 cores=0-7 /proc/17826/stat : 17826 (java) S 17823 17826 16714 0 -1 1077944320 558688 0 0 0 134591 4152 0 0 20 0 25 0 83651495 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140726530646336 140102169743095 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 /proc/17826/statm: 7044843 5829878 3277 1 0 7005699 0 [pid=17826/tid=17828] ppid=17823 vsize=28179372 memory=288230583166042426 CPUtime=772.74 cores=0-7 /proc/17826/task/17828/stat : 17828 (java) S 17823 17826 16714 0 -1 1077944384 96335 0 0 0 77078 196 0 0 20 0 25 0 83651496 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140102141582336 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17829] ppid=17823 vsize=28179372 memory=13573716680378929 CPUtime=75.07 cores=0-7 /proc/17826/task/17829/stat : 17829 (java) S 17823 17826 16714 0 -1 1077944384 39875 0 0 0 7019 488 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140102173985680 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 72 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17830] ppid=17823 vsize=28179372 memory=4612 CPUtime=74.86 cores=0-7 /proc/17826/task/17830/stat : 17830 (java) S 17823 17826 16714 0 -1 1077944384 48939 0 0 0 7024 462 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101988141840 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 78 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17831] ppid=17823 vsize=28179372 memory=9920 CPUtime=75.15 cores=0-7 /proc/17826/task/17831/stat : 17831 (java) S 17823 17826 16714 0 -1 1077944384 45227 0 0 0 6967 548 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101987089552 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 70 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17832] ppid=17823 vsize=28179372 memory=1944 CPUtime=74.37 cores=0-7 /proc/17826/task/17832/stat : 17832 (java) S 17823 17826 16714 0 -1 1077944384 38950 0 0 0 6987 450 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101986036752 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 75 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17833] ppid=17823 vsize=28179372 memory=1428 CPUtime=75.24 cores=0-7 /proc/17826/task/17833/stat : 17833 (java) S 17823 17826 16714 0 -1 1077944384 55198 0 0 0 7012 512 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101984983440 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 64 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17834] ppid=17823 vsize=28179372 memory=4136 CPUtime=75.2 cores=0-7 /proc/17826/task/17834/stat : 17834 (java) S 17823 17826 16714 0 -1 1077944384 36571 0 0 0 6985 535 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101983930640 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 65 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17835] ppid=17823 vsize=28179372 memory=24828 CPUtime=75.21 cores=0-7 /proc/17826/task/17835/stat : 17835 (java) S 17823 17826 16714 0 -1 1077944384 33452 0 0 0 7033 488 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101982878352 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 66 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17836] ppid=17823 vsize=28179372 memory=1292 CPUtime=74.88 cores=0-7 /proc/17826/task/17836/stat : 17836 (java) S 17823 17826 16714 0 -1 1077944384 44845 0 0 0 7060 428 0 0 20 0 25 0 83651498 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101981825552 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 79 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17837] ppid=17823 vsize=28179372 memory=2436 CPUtime=0.65 cores=0-7 /proc/17826/task/17837/stat : 17837 (java) S 17823 17826 16714 0 -1 1077944384 19099 0 0 0 60 5 0 0 20 0 25 0 83651500 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140100488907376 140102169754242 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17838] ppid=17823 vsize=28179372 memory=1728 CPUtime=0 cores=0-7 /proc/17826/task/17838/stat : 17838 (java) S 17823 17826 16714 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 25 0 83651500 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140099954140512 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17839] ppid=17823 vsize=28179372 memory=1708 CPUtime=0 cores=0-7 /proc/17826/task/17839/stat : 17839 (java) S 17823 17826 16714 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 25 0 83651501 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140099685705344 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17840] ppid=17823 vsize=28179372 memory=5792 CPUtime=0 cores=0-7 /proc/17826/task/17840/stat : 17840 (java) S 17823 17826 16714 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 25 0 83651503 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140099311196752 140102169761691 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17841] ppid=17823 vsize=28179372 memory=2200 CPUtime=4.21 cores=0-7 /proc/17826/task/17841/stat : 17841 (java) S 17823 17826 16714 0 -1 1077944384 20904 0 0 0 417 4 0 0 20 0 25 0 83651503 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140100487854192 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17842] ppid=17823 vsize=28179372 memory=7892 CPUtime=3.65 cores=0-7 /proc/17826/task/17842/stat : 17842 (java) S 17823 17826 16714 0 -1 1077944384 21599 0 0 0 360 5 0 0 20 0 25 0 83651503 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140100486801392 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17843] ppid=17823 vsize=28179372 memory=840 CPUtime=4.23 cores=0-7 /proc/17826/task/17843/stat : 17843 (java) S 17823 17826 16714 0 -1 1077944384 21095 0 0 0 420 3 0 0 20 0 25 0 83651503 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140100485749104 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17844] ppid=17823 vsize=28179372 memory=1800 CPUtime=1.39 cores=0-7 /proc/17826/task/17844/stat : 17844 (java) S 17823 17826 16714 0 -1 1077944384 33639 0 0 0 135 4 0 0 20 0 25 0 83651503 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140100484696304 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17845] ppid=17823 vsize=28179372 memory=920 CPUtime=0 cores=0-7 /proc/17826/task/17845/stat : 17845 (java) S 17823 17826 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 83651503 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140098813291360 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17846] ppid=17823 vsize=28179372 memory=4140 CPUtime=0.44 cores=0-7 /proc/17826/task/17846/stat : 17846 (java) S 17823 17826 16714 0 -1 1077944384 1508 0 0 0 22 22 0 0 20 0 25 0 83651504 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140100483644208 140102169754242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17862] ppid=17823 vsize=28179372 memory=4100 CPUtime=0 cores=0-7 /proc/17826/task/17862/stat : 17862 (java) S 17823 17826 16714 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 25 0 83736471 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140101967988544 140102169767705 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17864] ppid=17823 vsize=28179372 memory=288230591722422566 CPUtime=0 cores=0-7 /proc/17826/task/17864/stat : 17864 (java) S 17823 17826 16714 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 25 0 83736471 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140098142190896 140102169765021 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17865] ppid=17823 vsize=28179372 memory=16097061506385263 CPUtime=0 cores=0-7 /proc/17826/task/17865/stat : 17865 (java) S 17823 17826 16714 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 25 0 83736471 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140098410626224 140102169765021 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 [pid=17826/tid=17866] ppid=17823 vsize=28179372 memory=23312388 CPUtime=0 cores=0-7 /proc/17826/task/17866/stat : 17866 (java) S 17823 17826 16714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 25 0 83736473 28855676928 5829878 33554432000 4194304 4196468 140726530663792 140097873763616 140102169753301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31715328 140726530671577 140726530671877 140726530671877 140726530674639 0 Current children cumulated CPU time: 1387.43 s Current children cumulated vsize: 28179372 KiB Current children cumulated memory: 23319512 KiB [startup+860.331 s]* /proc/loadavg: 1.40 1.99 4.25 2/180 17867 /proc/meminfo: memFree=18543880/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): 860.389 CPU time (s): 1398.07 CPU user time (s): 1353.82 CPU system time (s): 44.2441 CPU usage (%): 162.493 Max. virtual memory (cumulated for all children) (KiB): 31753892 Max. memory (cumulated for all children) (KiB): 26891520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1353.82 system time used= 44.2441 maximum resident set size= 23319516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1567570 page faults= 0 swaps= 0 block input operations= 16 block output operations= 516784 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44333 involuntary context switches= 6266 # summary of solver processes directly reported to runsolver: # pid: 17826 # total CPU time (s): 1398.07 # total CPU user time (s): 1353.82 # total CPU system time (s): 44.2441 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.93482 second user time and 9.22467 second system time The end
Begin job on node150 at 2018-07-27 05:08:02 IDJOB=4297073 IDBENCH=141435 IDSOLVER=2758 FILE ID=node150/4297073-1532660882 RUNJOBID= node150-1532653186-16741 PBS_JOBID= 21022212 Free space on /tmp= 53100 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-16-17_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-4297073-1532660882/watcher-4297073-1532660882 -o /tmp/evaluation-result-4297073-1532660882/solver-4297073-1532660882 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532653186-16741 --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-4297073-1532660882.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 23da8342a2898ede5001de7625d13c59 RANDOM SEED=1859977597 node150.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.76 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.76 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.76 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.76 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: 24322640 kB MemAvailable: 31927800 kB Buffers: 216680 kB Cached: 7581744 kB SwapCached: 0 kB Active: 2197528 kB Inactive: 5652996 kB Active(anon): 4860 kB Inactive(anon): 75200 kB Active(file): 2192668 kB Inactive(file): 5577796 kB Unevictable: 7744 kB Mlocked: 7744 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9904 kB Writeback: 32 kB AnonPages: 59956 kB Mapped: 41348 kB Shmem: 25224 kB Slab: 291256 kB SReclaimable: 263156 kB SUnreclaim: 28100 kB KernelStack: 3168 kB PageTables: 4680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 53092 MiB End job on node150 at 2018-07-27 05:22:23