Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | UNSAT | 22.4784 | 7.49253 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f01_c18.xml |
MD5SUM | 835bf91cf13c47564ae451efb141e04e |
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 | 22.4784 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 43 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":36,"count":336},{"size":43,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
Optimization problem | NO |
Type of objective |
0.66/0.52 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Thu Jul 26 23:04:30 CEST 2018 0.66/0.55 c PID: 828 0.66/0.55 c IP: 172.20.3.104 0.66/0.55 c HOST: node104.alineos.net 0.66/0.56 c (0,0) Parsing Begin 5.85/2.00 c (1,1) Parsing End 6.27/2.01 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 43 6.27/2.01 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 6.27/2.01 c (1,1) Constraint Name Generate Begin 6.27/2.04 c (1,1) Ctr:HOME/instance-4297115-1532639069.xml,Dist:Eq:IntVar:Le:Num 6.27/2.04 c (1,1) Constraint Name Generate End 6.27/2.04 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 6.27/2.04 c (1,1) CSP to CSPinCNF Begin 7.31/2.32 c (1,1) translated 411 (10%) constraints 7.31/2.38 c (1,1) translated 821 (20%) constraints 7.70/2.43 c (1,1) translated 1231 (30%) constraints 7.70/2.48 c (1,1) translated 1642 (40%) constraints 8.10/2.52 c (1,1) translated 2052 (50%) constraints 8.10/2.56 c (2,2) translated 2462 (60%) constraints 8.10/2.59 c (2,2) translated 2873 (70%) constraints 8.49/2.63 c (2,2) translated 3283 (80%) constraints 8.49/2.66 c (2,2) translated 3693 (90%) constraints 8.92/2.79 c (2,2) translated 4103 (100%) constraints 9.77/2.90 c (2,2) STATISTICS1:HOME/instance-4297115-1532639069.xml,Dist:Eq:IntVar:Le:Num,680,4783,43,43,2,2,43:3314;36:5144;23:24;22:344;6:60,43:9348;36:7956;23:40;22:364;6:64,2:4103;1:680,2:8886, 9.77/2.90 c (2,2) =========================================== 9.77/2.90 c (2,2) Order 9.77/2.90 c (2,2) =========================================== 9.77/2.93 c (2,2) translated 479 (10%) constraints 9.77/2.95 c (2,2) translated 957 (20%) constraints 9.77/2.96 c (2,2) translated 1435 (30%) constraints 9.77/2.98 c (2,2) translated 1914 (40%) constraints 9.77/2.99 c (2,2) translated 2392 (50%) constraints 10.20/3.01 c (2,2) translated 2870 (60%) constraints 10.20/3.02 c (2,2) translated 3349 (70%) constraints 10.20/3.03 c (2,2) translated 3827 (80%) constraints 10.20/3.04 c (2,2) translated 4305 (90%) constraints 10.20/3.05 c (2,2) translated 4783 (100%) constraints 10.20/3.06 c (2,2) CSP to CSPinCNF End 10.20/3.06 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 43 10.20/3.06 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 10.20/3.06 c (2,2) CSPinCNF Propagation Begin 12.51/4.57 c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 12.51/4.57 c (4,4) CSPinCNF Propagation End 12.51/4.57 c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 43 12.51/4.57 c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 12.51/4.57 c (4,4) Simplify CSPinCNF Begin 13.26/4.82 c (4,4) Simplify CSPinCNF End 13.26/4.83 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 43 13.61/4.93 c (4,4) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 13.61/4.93 c (4,4) Calculate Precise Domain Begin 13.61/4.93 c (4,4) 0 values are removed by re-calculation 13.61/4.93 c (4,4) Calculate Precise Domain End 13.61/4.93 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 43 13.61/4.93 c (4,4) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 13.61/4.93 c (4,4) CSPinCNF to SatSolver Begin 14.78/5.21 c (4,4) 1299 (10 %) CSP clauses are encoded (34050 SAT variables, 56415 SAT clauses) 15.01/5.31 c (4,4) 2598 (20 %) CSP clauses are encoded (34050 SAT variables, 87295 SAT clauses) 15.01/5.39 c (4,4) 3897 (30 %) CSP clauses are encoded (34050 SAT variables, 116165 SAT clauses) 15.11/5.48 c (4,4) 5196 (40 %) CSP clauses are encoded (34050 SAT variables, 147364 SAT clauses) 15.23/5.57 c (5,4) 6495 (50 %) CSP clauses are encoded (34050 SAT variables, 178874 SAT clauses) 15.35/5.66 c (5,5) 7794 (60 %) CSP clauses are encoded (34050 SAT variables, 211484 SAT clauses) 15.48/5.75 c (5,5) 9093 (70 %) CSP clauses are encoded (34050 SAT variables, 244110 SAT clauses) 15.63/5.85 c (5,5) 10392 (80 %) CSP clauses are encoded (34050 SAT variables, 276914 SAT clauses) 15.76/5.93 c (5,5) 11691 (90 %) CSP clauses are encoded (34050 SAT variables, 308838 SAT clauses) 15.76/6.00 c (5,5) 12989 (100 %) CSP clauses are encoded (34050 SAT variables, 338903 SAT clauses) 15.76/6.00 c (5,5) CSPinCNF to SatSolver End 15.76/6.00 c (5,5) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 15.89/6.08 c (5,5) STATISTICS2:HOME/instance-4297115-1532639069.xml,Dist:Eq:IntVar:Le:Num,8886,12989,43,43,2,2,43:3314;36:5144;23:24;22:344;6:60,43:9348;36:7956;23:40;22:364;6:64;2:16412,2:12309;1:680,2:8886;1:16412, 15.89/6.08 c (5,5) SatSolver.solve Begin 15.89/6.08 c (5,5) 34050 bool, 338915 clause 15.89/6.08 c (5,5) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297115-1532639069.xml-scop-828.cnf HOME/instance-4297115-1532639069.xml-scop-828.cnf.out 22.02/7.45 c (6,0) c 22.02/7.45 c (6,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 22.02/7.45 c (6,0) c 22.02/7.45 c (6,0) c WARNING: for repeatability, setting FPU to use double precision 22.02/7.45 c (6,0) c 8 solvers engines and 1 companion as a blackboard created. 22.02/7.45 c (6,0) c ========================================[ Problem Statistics ]=========================================== 22.02/7.45 c (6,0) c | | 22.02/7.45 c (6,0) c | Number of variables: 34050 | 22.02/7.45 c (6,0) c | Number of clauses: 338915 | 22.02/7.45 c (6,0) c | Parse time: 0.14 s | 22.02/7.45 c (6,0) c | | 22.02/7.45 c (6,0) c | Eliminated clauses: 0.08 Mb | 22.02/7.45 c (6,0) c | Simplification time: 0.36 s | 22.02/7.45 c (6,0) c | | 22.02/7.45 c (6,0) c | Generating clones | 22.02/7.45 c (6,0) c | all clones generated. Memory = 260.01Mb. | 22.02/7.45 c (6,0) c ========================================================================================================| 22.02/7.45 c (6,0) c Thread 4 is 100% pure glucose! First thread to finish! (UNSAT answer). 22.02/7.45 c (6,0) c Total Memory so far : 837.73Mb 22.02/7.45 c (6,0) c 22.02/7.45 c (6,0) c real time : 1.35352 s 22.02/7.45 c (6,0) c cpu time : 5.63259 s 22.02/7.45 c (6,0) c 22.02/7.45 c (6,0) c 22.02/7.45 c (6,0) c 22.02/7.45 c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 22.02/7.45 c (6,0) c 22.02/7.45 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.02/7.45 c (6,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 22.02/7.45 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.02/7.45 c (6,0) c | Conflicts | 84128 | 10323 | 10521 | 10668 | 10971 | 10065 | 10485 | 10680 | 10415 | 22.02/7.45 c (6,0) c | Decisions | 115687 | 13870 | 14433 | 14721 | 15053 | 13916 | 14482 | 14733 | 14479 | 22.02/7.45 c (6,0) c | Propagations | 15391621 | 1993157 | 1923724 | 1934180 | 1943410 | 1869785 | 1919318 | 1943268 | 1864779 | 22.02/7.45 c (6,0) c | Avg_Trail | | 1085 | 1192 | 1190 | 1180 | 1222 | 1188 | 1186 | 1209 | 22.02/7.45 c (6,0) c | Avg_DL | | 18 | 23 | 23 | 22 | 24 | 24 | 23 | 24 | 22.02/7.45 c (6,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.02/7.45 c (6,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.02/7.45 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.02/7.45 c (6,0) c | Exported | 16587 | 2365 | 1946 | 2234 | 2088 | 1931 | 1988 | 1936 | 2099 | 22.02/7.45 c (6,0) c | Imported | 86179 | 714 | 7470 | 11187 | 11333 | 14656 | 14592 | 11814 | 14413 | 22.02/7.45 c (6,0) c | Good | 601 | 37 | 58 | 68 | 65 | 88 | 108 | 71 | 106 | 22.02/7.45 c (6,0) c | Purge | 85578 | 677 | 7412 | 11119 | 11268 | 14568 | 14484 | 11743 | 14307 | 22.02/7.45 c (6,0) c | Promoted | 5824 | 125 | 652 | 694 | 841 | 837 | 908 | 877 | 890 | 22.02/7.45 c (6,0) c | Remove_Imp | 494 | 0 | 0 | 0 | 0 | 494 | 0 | 0 | 0 | 22.02/7.45 c (6,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.02/7.45 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.02/7.45 c (6,0) c | Unaries | | 0 | 0 | 1 | 1 | 10 | 1 | 0 | 0 | 22.02/7.45 c (6,0) c | Binaries | | 7 | 12 | 15 | 19 | 32 | 11 | 15 | 9 | 22.02/7.45 c (6,0) c | Glues | | 202 | 238 | 255 | 249 | 291 | 245 | 217 | 255 | 22.02/7.45 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.02/7.45 c (6,0) c | Orig_Seen | 2 % | 10021 | 9824 | 10082 | 9922 | 10002 | 10151 | 9840 | 10015 | 22.02/7.45 c (6,0) c | Diff Orig seen| | 19 | - 178 | 80 | - 80 | X | 149 | - 162 | 13 | 22.02/7.45 c (6,0) c | Hamming | 4 % | 7310 | 548 | 398 | 384 | X | 550 | 532 | 435 | 22.02/7.45 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.02/7.45 c (6,0) 22.02/7.45 c (6,0) s UNSATISFIABLE 22.02/7.46 c (6,5) SatSolver.solve End 22.02/7.46 c (6,5) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 22.02/7.46 c (6,5) Show results Begin 22.02/7.46 s UNSATISFIABLE 22.02/7.46 c (6,5) Show results End 22.02/7.46 c (6,5) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 22.02/7.46 c (6,5) 1,1,2,4,4,4,5,6,6,STOP-AFTER(ALL) 22.02/7.46 c END-Prog: Thu Jul 26 23:04:37 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 (3733 MiB free) memory of node 1: 16384 MiB (7097 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297115-1532639069/watcher-4297115-1532639069 -o /tmp/evaluation-result-4297115-1532639069/solver-4297115-1532639069 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532633882-32505 --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-4297115-1532639069.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=828, runsolver pid=825 [startup+0.100109 s]* /proc/loadavg: 6.88 8.04 8.26 3/200 848 /proc/meminfo: memFree=10997740/32770624 swapFree=67108860/67108860 [pid=828] ppid=825 vsize=27312552 memory=106764 CPUtime=0.1 cores=0-7 /proc/828/stat : 828 (java) S 825 828 32478 0 -1 1077944320 6220 0 0 0 8 2 0 0 20 0 20 0 81470107 27968053248 26691 33554432000 4194304 4196468 140725676008752 140725675991296 140632356257527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 /proc/828/statm: 6828138 26691 2749 1 0 6790598 0 [pid=828/tid=830] ppid=825 vsize=27312552 memory=8316850467074736180 CPUtime=0.09 cores=0-7 /proc/828/task/830/stat : 830 (java) R 825 828 32478 0 -1 4202560 4392 0 0 0 7 2 0 0 20 0 20 0 81470108 27968053248 26756 33554432000 4194304 4196468 140725676008752 140632328092208 140631808817422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=831] ppid=825 vsize=27312552 memory=11948 CPUtime=0 cores=0-7 /proc/828/task/831/stat : 831 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140632360499856 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=832] ppid=825 vsize=27312552 memory=288370923741492864 CPUtime=0 cores=0-7 /proc/828/task/832/stat : 832 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140632128514576 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=833] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/833/stat : 833 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631777905040 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=834] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/834/stat : 834 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631776852240 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=835] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/835/stat : 835 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631775800464 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=836] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/836/stat : 836 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631774747664 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=837] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/837/stat : 837 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631773694864 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=838] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/838/stat : 838 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631772642064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=839] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/839/stat : 839 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631730714992 140632356268674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=840] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/840/stat : 840 (java) S 825 828 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 26756 33554432000 4194304 4196468 140725676008752 140629979948064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=841] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/841/stat : 841 (java) S 825 828 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 26756 33554432000 4194304 4196468 140725676008752 140629845726064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=842] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/842/stat : 842 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 26756 33554432000 4194304 4196468 140725676008752 140629471221584 140632356276123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=843] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/843/stat : 843 (java) S 825 828 32478 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631729662832 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=844] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/844/stat : 844 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631728610032 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=845] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/845/stat : 845 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631727557232 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=846] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/846/stat : 846 (java) S 825 828 32478 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631726504432 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=847] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/847/stat : 847 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 26756 33554432000 4194304 4196468 140725676008752 140628973316704 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=848] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/848/stat : 848 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 26756 33554432000 4194304 4196468 140725676008752 140631611533872 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 106764 KiB [startup+0.210037 s]* /proc/loadavg: 6.88 8.04 8.26 2/200 848 /proc/meminfo: memFree=10982392/32770624 swapFree=67108860/67108860 [pid=828] ppid=825 vsize=27312552 memory=121160 CPUtime=0.24 cores=0-7 /proc/828/stat : 828 (java) S 825 828 32478 0 -1 1077944320 10074 0 0 0 21 3 0 0 20 0 20 0 81470107 27968053248 30290 33554432000 4194304 4196468 140725676008752 140725675991296 140632356257527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 /proc/828/statm: 6828138 30290 2909 1 0 6790598 0 [pid=828/tid=830] ppid=825 vsize=27312552 memory=7882827048052850738 CPUtime=0.2 cores=0-7 /proc/828/task/830/stat : 830 (java) R 825 828 32478 0 -1 4202560 7975 0 0 0 17 3 0 0 20 0 20 0 81470108 27968053248 30355 33554432000 4194304 4196468 140725676008752 140632328048192 140632356279453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=831] ppid=825 vsize=27312552 memory=328 CPUtime=0 cores=0-7 /proc/828/task/831/stat : 831 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140632360499856 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=832] ppid=825 vsize=27312552 memory=288370923741492864 CPUtime=0 cores=0-7 /proc/828/task/832/stat : 832 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140632128514576 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=833] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/833/stat : 833 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631777905040 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=834] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/834/stat : 834 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631776852240 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=835] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/835/stat : 835 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631775800464 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=836] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/836/stat : 836 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631774747664 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=837] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/837/stat : 837 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631773694864 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=838] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/838/stat : 838 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631772642064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=839] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/839/stat : 839 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631730714992 140632356268674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=840] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/840/stat : 840 (java) S 825 828 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 30355 33554432000 4194304 4196468 140725676008752 140629979948064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=841] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/841/stat : 841 (java) S 825 828 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 30355 33554432000 4194304 4196468 140725676008752 140629845726064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=842] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/842/stat : 842 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 30355 33554432000 4194304 4196468 140725676008752 140629471221584 140632356276123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=843] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/843/stat : 843 (java) S 825 828 32478 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631729662832 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=844] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/844/stat : 844 (java) S 825 828 32478 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631728610032 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=845] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/845/stat : 845 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631727557232 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=846] ppid=825 vsize=27312552 memory=-1 CPUtime=0.02 cores=0-7 /proc/828/task/846/stat : 846 (java) S 825 828 32478 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 20 0 81470115 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631726504432 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=847] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/847/stat : 847 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 30355 33554432000 4194304 4196468 140725676008752 140628973316704 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=848] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/848/stat : 848 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 30355 33554432000 4194304 4196468 140725676008752 140631611533872 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 121160 KiB [startup+0.309306 s]* /proc/loadavg: 6.88 8.04 8.26 2/200 848 /proc/meminfo: memFree=10978204/32770624 swapFree=67108860/67108860 [pid=828] ppid=825 vsize=27312552 memory=125136 CPUtime=0.41 cores=0-7 /proc/828/stat : 828 (java) S 825 828 32478 0 -1 1077944320 10680 0 0 0 38 3 0 0 20 0 20 0 81470107 27968053248 31284 33554432000 4194304 4196468 140725676008752 140725675991296 140632356257527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 /proc/828/statm: 6828138 31284 2969 1 0 6790598 0 [pid=828/tid=830] ppid=825 vsize=27312552 memory=7532 CPUtime=0.29 cores=0-7 /proc/828/task/830/stat : 830 (java) R 825 828 32478 0 -1 4202560 8401 0 0 0 26 3 0 0 20 0 20 0 81470108 27968053248 31284 33554432000 4194304 4196468 140725676008752 140632328061680 140632356279453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=831] ppid=825 vsize=27312552 memory=844 CPUtime=0 cores=0-7 /proc/828/task/831/stat : 831 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140632360499856 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=832] ppid=825 vsize=27312552 memory=281095025836404 CPUtime=0 cores=0-7 /proc/828/task/832/stat : 832 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140632128514576 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=833] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/833/stat : 833 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631777905040 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=834] ppid=825 vsize=27312552 memory=4224 CPUtime=0 cores=0-7 /proc/828/task/834/stat : 834 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631776852240 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=835] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/835/stat : 835 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631775800464 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=836] ppid=825 vsize=27312552 memory=11606 CPUtime=0 cores=0-7 /proc/828/task/836/stat : 836 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631774747664 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=837] ppid=825 vsize=27312552 memory=288230376152109978 CPUtime=0 cores=0-7 /proc/828/task/837/stat : 837 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631773694864 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=838] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/838/stat : 838 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631772642064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=839] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/839/stat : 839 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631730714992 140632356268674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=840] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/840/stat : 840 (java) S 825 828 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 31284 33554432000 4194304 4196468 140725676008752 140629979948064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=841] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/841/stat : 841 (java) S 825 828 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81470112 27968053248 31284 33554432000 4194304 4196468 140725676008752 140629845726064 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=842] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/842/stat : 842 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 31284 33554432000 4194304 4196468 140725676008752 140629471221584 140632356276123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=843] ppid=825 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/828/task/843/stat : 843 (java) S 825 828 32478 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 81470115 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631729662832 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=844] ppid=825 vsize=27312552 memory=0 CPUtime=0.01 cores=0-7 /proc/828/task/844/stat : 844 (java) S 825 828 32478 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 81470115 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631728610032 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=845] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/845/stat : 845 (java) S 825 828 32478 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631727557232 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=846] ppid=825 vsize=27312552 memory=0 CPUtime=0.07 cores=0-7 /proc/828/task/846/stat : 846 (java) S 825 828 32478 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 20 0 81470115 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631726504432 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=847] ppid=825 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/828/task/847/stat : 847 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 31284 33554432000 4194304 4196468 140725676008752 140628973316704 140632356267733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=848] ppid=825 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/828/task/848/stat : 848 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470115 27968053248 31284 33554432000 4194304 4196468 140725676008752 140631611533872 140632356268674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125136 KiB [startup+0.70086 s] /proc/loadavg: 6.88 8.04 8.26 2/200 848 /proc/meminfo: memFree=10954020/32770624 swapFree=67108860/67108860 [pid=828] ppid=825 vsize=27318824 memory=162492 CPUtime=1.01 cores=0-7 /proc/828/stat : 828 (java) S 825 828 32478 0 -1 1077944320 17731 0 0 0 95 6 0 0 20 0 20 0 81470107 27974475776 40623 33554432000 4194304 4196468 140725676008752 140725675991296 140632356257527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 /proc/828/statm: 6829706 40623 3103 1 0 6791110 0 [pid=828/tid=830] ppid=825 vsize=27318824 memory=4140 CPUtime=0.67 cores=0-7 /proc/828/task/830/stat : 830 (java) R 825 828 32478 0 -1 4202560 14911 0 0 0 63 4 0 0 20 0 20 0 81470108 27974475776 40623 33554432000 4194304 4196468 140725676008752 140632328096080 140632356269462 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=831] ppid=825 vsize=27318824 memory=33 CPUtime=0 cores=0-7 /proc/828/task/831/stat : 831 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140632360499856 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=832] ppid=825 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/828/task/832/stat : 832 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140632128514576 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=833] ppid=825 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/828/task/833/stat : 833 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140631777905040 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=834] ppid=825 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/828/task/834/stat : 834 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140631776852240 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=835] ppid=825 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/828/task/835/stat : 835 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140631775800464 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=836] ppid=825 vsize=27318824 memory=1012 CPUtime=0 cores=0-7 /proc/828/task/836/stat : 836 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140631774747664 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=837] ppid=825 vsize=27318824 memory=1444 CPUtime=0 cores=0-7 /proc/828/task/837/stat : 837 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140631773694864 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=838] ppid=825 vsize=27318824 memory=1200 CPUtime=0 cores=0-7 /proc/828/task/838/stat : 838 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81470110 27974475776 40623 33554432000 4194304 4196468 140725676008752 140631772642064 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=839] ppid=825 vsize=27318824 memory=15872 CPUtime=0 cores=0-7 /proc/828/task/839/stat : 839 (java) S 825 828 32478 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81470112 27974475776 40623 33554432000 4194304 4196468 140725676008752 140631730714992 140632356268674 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 ################ # More data... # ################ [pid=828/tid=846] ppid=825 vsize=27984808 memory=12036 CPUtime=1.48 cores=0-7 /proc/828/task/846/stat : 846 (java) S 825 828 32478 0 -1 1077944384 4146 0 0 0 146 2 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631726504432 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=847] ppid=825 vsize=27984808 memory=1724 CPUtime=0 cores=0-7 /proc/828/task/847/stat : 847 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628973316704 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=848] ppid=825 vsize=27984808 memory=8560 CPUtime=0 cores=0-7 /proc/828/task/848/stat : 848 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631611533872 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 Current children cumulated CPU time: 16.67 s Current children cumulated vsize: 27984808 KiB Current children cumulated memory: 3227092 KiB [startup+7.20816 s] /proc/loadavg: 6.46 7.91 8.21 9/213 862 /proc/meminfo: memFree=7606764/32770624 swapFree=67108860/67108860 [pid=828] ppid=825 vsize=27984808 memory=3227092 CPUtime=16.67 cores=0-7 /proc/828/stat : 828 (java) S 825 828 32478 0 -1 1077944320 34162 0 0 0 1604 63 0 0 20 0 24 0 81470107 28656443392 806773 33554432000 4194304 4196468 140725676008752 140725675991296 140632356257527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 /proc/828/statm: 6996202 806773 3233 1 0 6957058 0 [pid=849] ppid=828 vsize=857168 memory=264176 CPUtime=3.81 cores=0-7 /proc/849/stat : 849 (glucose-syrup) S 828 828 32478 0 -1 1077944320 46976 0 0 0 369 12 0 0 20 0 9 0 81470717 877740032 66044 33554432000 4194304 4373367 140731627778816 140731627777360 140024818797186 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 /proc/849/statm: 214292 66044 385 44 0 209980 0 [pid=849/tid=855] ppid=828 vsize=857168 memory=0 CPUtime=0.39 cores=0-7 /proc/849/task/855/stat : 855 (glucose-syrup) R 828 828 32478 0 -1 4202560 501 0 0 0 39 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024789662864 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=856] ppid=828 vsize=857168 memory=0 CPUtime=0.39 cores=0-7 /proc/849/task/856/stat : 856 (glucose-syrup) R 828 828 32478 0 -1 4202560 553 0 0 0 39 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024781270288 140024804084542 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=857] ppid=828 vsize=857168 memory=0 CPUtime=0.39 cores=0-7 /proc/849/task/857/stat : 857 (glucose-syrup) R 828 828 32478 0 -1 4202560 528 0 0 0 39 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024758873232 4272316 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=858] ppid=828 vsize=857168 memory=0 CPUtime=0.38 cores=0-7 /proc/849/task/858/stat : 858 (glucose-syrup) R 828 828 32478 0 -1 4202560 557 0 0 0 38 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024750480656 4272338 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=859] ppid=828 vsize=857168 memory=668169 CPUtime=0.37 cores=0-7 /proc/849/task/859/stat : 859 (glucose-syrup) R 828 828 32478 0 -1 4202560 554 0 0 0 37 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024742087448 4291436 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=860] ppid=828 vsize=857168 memory=6944656592455097440 CPUtime=0.38 cores=0-7 /proc/849/task/860/stat : 860 (glucose-syrup) R 828 828 32478 0 -1 4202560 547 0 0 0 38 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024657997072 4271925 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=861] ppid=828 vsize=857168 memory=6944656592455359580 CPUtime=0.39 cores=0-7 /proc/849/task/861/stat : 861 (glucose-syrup) R 828 828 32478 0 -1 4202560 551 0 0 0 39 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024733695296 4291421 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=862] ppid=828 vsize=857168 memory=6944656592455360604 CPUtime=0.37 cores=0-7 /proc/849/task/862/stat : 862 (glucose-syrup) R 828 828 32478 0 -1 4202560 537 0 0 0 37 0 0 0 20 0 9 0 81470785 877740032 66044 33554432000 4194304 4373367 140731627778816 140024649604368 4259400 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=828/tid=830] ppid=825 vsize=27984808 memory=9023629670928638048 CPUtime=6 cores=0-7 /proc/828/task/830/stat : 830 (java) S 825 828 32478 0 -1 1077944384 18674 0 0 0 545 55 0 0 20 0 24 0 81470108 28656443392 806773 33554432000 4194304 4196468 140725676008752 140632328096768 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=831] ppid=825 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/828/task/831/stat : 831 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140632360499856 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=832] ppid=825 vsize=27984808 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/828/task/832/stat : 832 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140632128514576 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=833] ppid=825 vsize=27984808 memory=15534111552963949 CPUtime=0 cores=0-7 /proc/828/task/833/stat : 833 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631777905040 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=834] ppid=825 vsize=27984808 memory=16436 CPUtime=0 cores=0-7 /proc/828/task/834/stat : 834 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631776852240 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=835] ppid=825 vsize=27984808 memory=4048 CPUtime=0 cores=0-7 /proc/828/task/835/stat : 835 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631775800464 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=836] ppid=825 vsize=27984808 memory=640 CPUtime=0 cores=0-7 /proc/828/task/836/stat : 836 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631774747664 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=837] ppid=825 vsize=27984808 memory=1792 CPUtime=0 cores=0-7 /proc/828/task/837/stat : 837 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631773694864 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=838] ppid=825 vsize=27984808 memory=960 CPUtime=0 cores=0-7 /proc/828/task/838/stat : 838 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631772642064 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=839] ppid=825 vsize=27984808 memory=1232 CPUtime=0 cores=0-7 /proc/828/task/839/stat : 839 (java) S 825 828 32478 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81470112 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631730714992 140632356268674 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=840] ppid=825 vsize=27984808 memory=2340 CPUtime=0 cores=0-7 /proc/828/task/840/stat : 840 (java) S 825 828 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81470112 28656443392 806773 33554432000 4194304 4196468 140725676008752 140629979948064 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=841] ppid=825 vsize=27984808 memory=928 CPUtime=0 cores=0-7 /proc/828/task/841/stat : 841 (java) S 825 828 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81470112 28656443392 806773 33554432000 4194304 4196468 140725676008752 140629845726064 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=842] ppid=825 vsize=27984808 memory=33 CPUtime=0 cores=0-7 /proc/828/task/842/stat : 842 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140629471221584 140632356276123 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=843] ppid=825 vsize=27984808 memory=281091651143472 CPUtime=2.9 cores=0-7 /proc/828/task/843/stat : 843 (java) S 825 828 32478 0 -1 1077944384 2246 0 0 0 289 1 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631729662832 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=844] ppid=825 vsize=27984808 memory=3472468843663838944 CPUtime=3.19 cores=0-7 /proc/828/task/844/stat : 844 (java) S 825 828 32478 0 -1 1077944384 3362 0 0 0 318 1 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631728610032 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=845] ppid=825 vsize=27984808 memory=1 CPUtime=3.04 cores=0-7 /proc/828/task/845/stat : 845 (java) S 825 828 32478 0 -1 1077944384 4313 0 0 0 303 1 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631727557232 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=846] ppid=825 vsize=27984808 memory=0 CPUtime=1.48 cores=0-7 /proc/828/task/846/stat : 846 (java) S 825 828 32478 0 -1 1077944384 4146 0 0 0 146 2 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631726504432 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=847] ppid=825 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/828/task/847/stat : 847 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628973316704 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=848] ppid=825 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/828/task/848/stat : 848 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631611533872 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=850] ppid=825 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/828/task/850/stat : 850 (java) S 825 828 32478 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81470717 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631725118528 140632356282137 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=852] ppid=825 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/828/task/852/stat : 852 (java) S 825 828 32478 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 81470718 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628302217264 140632356279453 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=853] ppid=825 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/828/task/853/stat : 853 (java) S 825 828 32478 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 81470718 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628570652592 140632356279453 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=854] ppid=825 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/828/task/854/stat : 854 (java) S 825 828 32478 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81470720 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628033789472 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 Current children cumulated CPU time: 20.48 s Current children cumulated vsize: 28841976 KiB Current children cumulated memory: 3491268 KiB [startup+7.40215 s] /proc/loadavg: 6.46 7.91 8.21 9/213 862 /proc/meminfo: memFree=7606764/32770624 swapFree=67108860/67108860 [pid=828] ppid=825 vsize=27984808 memory=3227092 CPUtime=16.67 cores=0-7 /proc/828/stat : 828 (java) S 825 828 32478 0 -1 1077944320 34162 0 0 0 1604 63 0 0 20 0 24 0 81470107 28656443392 806773 33554432000 4194304 4196468 140725676008752 140725675991296 140632356257527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 /proc/828/statm: 6996202 806773 3233 1 0 6957058 0 [pid=849] ppid=828 vsize=857696 memory=265232 CPUtime=5.35 cores=0-7 /proc/849/stat : 849 (glucose-syrup) S 828 828 32478 0 -1 1077944320 47372 0 0 0 523 12 0 0 20 0 9 0 81470717 878280704 66308 33554432000 4194304 4373367 140731627778816 140731627777360 140024818797186 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 /proc/849/statm: 214424 66308 385 44 0 210112 0 [pid=849/tid=855] ppid=828 vsize=857696 memory=0 CPUtime=0.58 cores=0-7 /proc/849/task/855/stat : 855 (glucose-syrup) R 828 828 32478 0 -1 4202560 518 0 0 0 58 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024789662920 4272316 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=856] ppid=828 vsize=857696 memory=7311575578961226595 CPUtime=0.58 cores=0-7 /proc/849/task/856/stat : 856 (glucose-syrup) R 828 828 32478 0 -1 4202560 590 0 0 0 58 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024781270216 4271914 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=857] ppid=828 vsize=857696 memory=-7965959130280075168 CPUtime=0.58 cores=0-7 /proc/849/task/857/stat : 857 (glucose-syrup) R 828 828 32478 0 -1 4202560 593 0 0 0 58 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024758873456 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=858] ppid=828 vsize=857696 memory=8761921863948460080 CPUtime=0.58 cores=0-7 /proc/849/task/858/stat : 858 (glucose-syrup) R 828 828 32478 0 -1 4202560 630 0 0 0 58 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024750480656 4272316 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=859] ppid=828 vsize=857696 memory=4048 CPUtime=0.56 cores=0-7 /proc/849/task/859/stat : 859 (glucose-syrup) R 828 828 32478 0 -1 4202560 571 0 0 0 56 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024742088048 4271882 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=860] ppid=828 vsize=857696 memory=640 CPUtime=0.58 cores=0-7 /proc/849/task/860/stat : 860 (glucose-syrup) R 828 828 32478 0 -1 4202560 596 0 0 0 58 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024657997072 140024804084542 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=861] ppid=828 vsize=857696 memory=1792 CPUtime=0.58 cores=0-7 /proc/849/task/861/stat : 861 (glucose-syrup) R 828 828 32478 0 -1 4202560 626 0 0 0 58 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024733695248 4258958 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=849/tid=862] ppid=828 vsize=857696 memory=960 CPUtime=0.57 cores=0-7 /proc/849/task/862/stat : 862 (glucose-syrup) R 828 828 32478 0 -1 4202560 600 0 0 0 57 0 0 0 20 0 9 0 81470785 878280704 66308 33554432000 4194304 4373367 140731627778816 140024649604240 4258984 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 7614464 140731627787187 140731627787436 140731627787436 140731627790279 0 [pid=828/tid=830] ppid=825 vsize=27984808 memory=1232 CPUtime=6 cores=0-7 /proc/828/task/830/stat : 830 (java) S 825 828 32478 0 -1 1077944384 18674 0 0 0 545 55 0 0 20 0 24 0 81470108 28656443392 806773 33554432000 4194304 4196468 140725676008752 140632328096768 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=831] ppid=825 vsize=27984808 memory=2340 CPUtime=0 cores=0-7 /proc/828/task/831/stat : 831 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140632360499856 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=832] ppid=825 vsize=27984808 memory=928 CPUtime=0 cores=0-7 /proc/828/task/832/stat : 832 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140632128514576 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=833] ppid=825 vsize=27984808 memory=1580 CPUtime=0 cores=0-7 /proc/828/task/833/stat : 833 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631777905040 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=834] ppid=825 vsize=27984808 memory=2244 CPUtime=0 cores=0-7 /proc/828/task/834/stat : 834 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631776852240 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=835] ppid=825 vsize=27984808 memory=4136 CPUtime=0 cores=0-7 /proc/828/task/835/stat : 835 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631775800464 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=836] ppid=825 vsize=27984808 memory=2204 CPUtime=0 cores=0-7 /proc/828/task/836/stat : 836 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631774747664 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=837] ppid=825 vsize=27984808 memory=7532 CPUtime=0 cores=0-7 /proc/828/task/837/stat : 837 (java) S 825 828 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631773694864 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=838] ppid=825 vsize=27984808 memory=844 CPUtime=0 cores=0-7 /proc/828/task/838/stat : 838 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470110 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631772642064 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=839] ppid=825 vsize=27984808 memory=1796 CPUtime=0 cores=0-7 /proc/828/task/839/stat : 839 (java) S 825 828 32478 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81470112 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631730714992 140632356268674 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=840] ppid=825 vsize=27984808 memory=916 CPUtime=0 cores=0-7 /proc/828/task/840/stat : 840 (java) S 825 828 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81470112 28656443392 806773 33554432000 4194304 4196468 140725676008752 140629979948064 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=841] ppid=825 vsize=27984808 memory=739271074934772341 CPUtime=0 cores=0-7 /proc/828/task/841/stat : 841 (java) S 825 828 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81470112 28656443392 806773 33554432000 4194304 4196468 140725676008752 140629845726064 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=842] ppid=825 vsize=27984808 memory=-6948614817169703622 CPUtime=0 cores=0-7 /proc/828/task/842/stat : 842 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140629471221584 140632356276123 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=843] ppid=825 vsize=27984808 memory=-3252517613199061085 CPUtime=2.9 cores=0-7 /proc/828/task/843/stat : 843 (java) S 825 828 32478 0 -1 1077944384 2246 0 0 0 289 1 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631729662832 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=844] ppid=825 vsize=27984808 memory=11933 CPUtime=3.19 cores=0-7 /proc/828/task/844/stat : 844 (java) S 825 828 32478 0 -1 1077944384 3362 0 0 0 318 1 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631728610032 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=845] ppid=825 vsize=27984808 memory=0 CPUtime=3.04 cores=0-7 /proc/828/task/845/stat : 845 (java) S 825 828 32478 0 -1 1077944384 4313 0 0 0 303 1 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631727557232 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=846] ppid=825 vsize=27984808 memory=3473595774397111843 CPUtime=1.48 cores=0-7 /proc/828/task/846/stat : 846 (java) S 825 828 32478 0 -1 1077944384 4146 0 0 0 146 2 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631726504432 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=847] ppid=825 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/828/task/847/stat : 847 (java) S 825 828 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628973316704 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=848] ppid=825 vsize=27984808 memory=8174723239089013032 CPUtime=0 cores=0-7 /proc/828/task/848/stat : 848 (java) S 825 828 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81470115 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631611533872 140632356268674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=850] ppid=825 vsize=27984808 memory=288288891675625657 CPUtime=0 cores=0-7 /proc/828/task/850/stat : 850 (java) S 825 828 32478 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81470717 28656443392 806773 33554432000 4194304 4196468 140725676008752 140631725118528 140632356282137 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=852] ppid=825 vsize=27984808 memory=-7016477082672850541 CPUtime=0 cores=0-7 /proc/828/task/852/stat : 852 (java) S 825 828 32478 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 81470718 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628302217264 140632356279453 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=853] ppid=825 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/828/task/853/stat : 853 (java) S 825 828 32478 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 81470718 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628570652592 140632356279453 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 [pid=828/tid=854] ppid=825 vsize=27984808 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/828/task/854/stat : 854 (java) S 825 828 32478 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81470720 28656443392 806773 33554432000 4194304 4196468 140725676008752 140628033789472 140632356267733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140725676016601 140725676016901 140725676016901 140725676019663 0 Current children cumulated CPU time: 22.02 s Current children cumulated vsize: 28842504 KiB Current children cumulated memory: 3492324 KiB Child status: 0 Real time (s): 7.49253 CPU time (s): 22.4784 CPU user time (s): 21.6847 CPU system time (s): 0.793696 CPU usage (%): 300.01 Max. virtual memory (cumulated for all children) (KiB): 28842504 Max. memory (cumulated for all children) (KiB): 3492324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.6847 system time used= 0.793696 maximum resident set size= 3229888 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81808 page faults= 0 swaps= 0 block input operations= 0 block output operations= 13200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12121 involuntary context switches= 80 # summary of solver processes directly reported to runsolver: # pid: 828 # total CPU time (s): 22.4784 # total CPU user time (s): 21.6847 # total CPU system time (s): 0.793696 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.082188 second user time and 0.107695 second system time The end
Begin job on node104 at 2018-07-26 23:04:29 IDJOB=4297115 IDBENCH=141182 IDSOLVER=2758 FILE ID=node104/4297115-1532639069 RUNJOBID= node104-1532633882-32505 PBS_JOBID= 21022178 Free space on /tmp= 48344 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f01_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-4297115-1532639069/watcher-4297115-1532639069 -o /tmp/evaluation-result-4297115-1532639069/solver-4297115-1532639069 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532633882-32505 --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-4297115-1532639069.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 835bf91cf13c47564ae451efb141e04e RANDOM SEED=611997869 node104.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.11 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.11 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.11 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.11 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: 11091492 kB MemAvailable: 31925688 kB Buffers: 229036 kB Cached: 20596816 kB SwapCached: 0 kB Active: 4199212 kB Inactive: 16679180 kB Active(anon): 4488 kB Inactive(anon): 76236 kB Active(file): 4194724 kB Inactive(file): 16602944 kB Unevictable: 7168 kB Mlocked: 7168 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8608 kB Writeback: 0 kB AnonPages: 69784 kB Mapped: 41688 kB Shmem: 25228 kB Slab: 492864 kB SReclaimable: 464988 kB SUnreclaim: 27876 kB KernelStack: 3552 kB PageTables: 5892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324408 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48336 MiB End job on node104 at 2018-07-26 23:04:37