Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | UNSAT | 17.8301 | 6.37802 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f08_c18.xml |
MD5SUM | 2cf96eb4ef0a34305468f9a178fec6f7 |
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 | 16.9992 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":20,"count":4},{"size":22,"count":10},{"size":29,"count":336},{"size":36,"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.53 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.56 c BEGIN-Prog: Thu Jul 26 23:09:17 CEST 2018 0.66/0.56 c PID: 12817 0.66/0.56 c IP: 172.20.3.151 0.66/0.56 c HOST: node151.alineos.net 0.66/0.56 c (0,0) Parsing Begin 5.61/1.97 c (1,1) Parsing End 5.61/1.98 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 36 5.61/1.98 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.61/1.98 c (1,1) Constraint Name Generate Begin 5.61/2.00 c (1,1) Ctr:HOME/instance-4297117-1532639357.xml,Dist:Eq:IntVar:Le:Num 5.61/2.00 c (1,1) Constraint Name Generate End 5.61/2.00 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.61/2.00 c (1,1) CSP to CSPinCNF Begin 6.68/2.27 c (1,1) translated 411 (10%) constraints 7.05/2.34 c (1,1) translated 821 (20%) constraints 7.05/2.38 c (1,1) translated 1231 (30%) constraints 7.44/2.43 c (1,1) translated 1642 (40%) constraints 7.44/2.47 c (1,1) translated 2052 (50%) constraints 7.81/2.51 c (1,1) translated 2462 (60%) constraints 7.81/2.54 c (2,1) translated 2873 (70%) constraints 7.81/2.58 c (2,2) translated 3283 (80%) constraints 8.21/2.61 c (2,2) translated 3693 (90%) constraints 8.68/2.75 c (2,2) translated 4103 (100%) constraints 9.06/2.86 c (2,2) STATISTICS1:HOME/instance-4297117-1532639357.xml,Dist:Eq:IntVar:Le:Num,680,4783,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64,2:4103;1:680,2:8886, 9.06/2.86 c (2,2) =========================================== 9.06/2.86 c (2,2) Order 9.06/2.86 c (2,2) =========================================== 9.06/2.89 c (2,2) translated 479 (10%) constraints 9.43/2.91 c (2,2) translated 957 (20%) constraints 9.43/2.92 c (2,2) translated 1435 (30%) constraints 9.43/2.93 c (2,2) translated 1914 (40%) constraints 9.43/2.95 c (2,2) translated 2392 (50%) constraints 9.43/2.96 c (2,2) translated 2870 (60%) constraints 9.43/2.97 c (2,2) translated 3349 (70%) constraints 9.43/2.99 c (2,2) translated 3827 (80%) constraints 9.43/3.00 c (2,2) translated 4305 (90%) constraints 9.82/3.01 c (2,2) translated 4783 (100%) constraints 9.82/3.01 c (2,2) CSP to CSPinCNF End 9.82/3.01 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36 9.82/3.01 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 9.82/3.01 c (2,2) CSPinCNF Propagation Begin 12.37/4.32 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 12.37/4.32 c (3,3) CSPinCNF Propagation End 12.37/4.32 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36 12.37/4.32 c (3,3) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 12.37/4.32 c (3,3) Simplify CSPinCNF Begin 12.85/4.58 c (4,4) Simplify CSPinCNF End 12.85/4.58 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36 12.85/4.58 c (4,4) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.85/4.58 c (4,4) Calculate Precise Domain Begin 12.85/4.58 c (4,4) 0 values are removed by re-calculation 12.85/4.58 c (4,4) Calculate Precise Domain End 12.85/4.59 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36 12.85/4.59 c (4,4) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.85/4.59 c (4,4) CSPinCNF to SatSolver Begin 14.11/4.89 c (4,4) 1299 (10 %) CSP clauses are encoded (29390 SAT variables, 46979 SAT clauses) 14.92/5.01 c (4,4) 2598 (20 %) CSP clauses are encoded (29390 SAT variables, 73084 SAT clauses) 14.92/5.09 c (4,4) 3897 (30 %) CSP clauses are encoded (29390 SAT variables, 97080 SAT clauses) 15.14/5.18 c (4,4) 5196 (40 %) CSP clauses are encoded (29390 SAT variables, 123193 SAT clauses) 15.27/5.27 c (4,4) 6495 (50 %) CSP clauses are encoded (29390 SAT variables, 150090 SAT clauses) 15.49/5.37 c (4,4) 7794 (60 %) CSP clauses are encoded (29390 SAT variables, 177184 SAT clauses) 15.71/5.47 c (4,4) 9093 (70 %) CSP clauses are encoded (29390 SAT variables, 203885 SAT clauses) 15.93/5.54 c (5,4) 10392 (80 %) CSP clauses are encoded (29390 SAT variables, 230656 SAT clauses) 16.09/5.62 c (5,5) 11691 (90 %) CSP clauses are encoded (29390 SAT variables, 256270 SAT clauses) 16.09/5.68 c (5,5) 12989 (100 %) CSP clauses are encoded (29390 SAT variables, 279146 SAT clauses) 16.09/5.68 c (5,5) CSPinCNF to SatSolver End 16.09/5.68 c (5,5) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 37 MiB used (max 0 MiB) 16.32/5.77 c (5,5) STATISTICS2:HOME/instance-4297117-1532639357.xml,Dist:Eq:IntVar:Le:Num,8886,12989,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412, 16.32/5.77 c (5,5) SatSolver.solve Begin 16.32/5.77 c (5,5) 29390 bool, 279158 clause 16.32/5.77 c (5,5) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297117-1532639357.xml-scop-12817.cnf HOME/instance-4297117-1532639357.xml-scop-12817.cnf.out 17.57/6.34 c (5,0) c 17.57/6.34 c (5,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 17.57/6.34 c (5,0) c 17.57/6.34 c (5,0) c WARNING: for repeatability, setting FPU to use double precision 17.57/6.34 c (5,0) c 8 solvers engines and 1 companion as a blackboard created. 17.57/6.34 c (5,0) c ========================================[ Problem Statistics ]=========================================== 17.57/6.34 c (5,0) c | | 17.57/6.34 c (5,0) c | Number of variables: 29390 | 17.57/6.34 c (5,0) c | Number of clauses: 279158 | 17.57/6.34 c (5,0) c | Parse time: 0.12 s | 17.57/6.34 c (5,0) c | | 17.57/6.34 c (5,0) c | Eliminated clauses: 0.08 Mb | 17.57/6.34 c (5,0) c | Simplification time: 0.27 s | 17.57/6.34 c (5,0) c | | 17.57/6.34 c (5,0) c | Generating clones | 17.57/6.34 c (5,0) c | all clones generated. Memory = 200.25Mb. | 17.57/6.34 c (5,0) c ========================================================================================================| 17.57/6.34 c (5,0) c Thread 6 is 100% pure glucose! First thread to finish! (UNSAT answer). 17.57/6.34 c (5,0) c Total Memory so far : 776.28Mb 17.57/6.34 c (5,0) c 17.57/6.34 c (5,0) c real time : 0.547735 s 17.57/6.34 c (5,0) c cpu time : 0.623474 s 17.57/6.34 c (5,0) c 17.57/6.34 c (5,0) c 17.57/6.34 c (5,0) c 17.57/6.34 c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 17.57/6.34 c (5,0) c 17.57/6.34 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.57/6.34 c (5,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 17.57/6.34 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.57/6.34 c (5,0) c | Conflicts | 2688 | 100 | 369 | 347 | 388 | 355 | 348 | 398 | 383 | 17.57/6.34 c (5,0) c | Decisions | 5039 | 903 | 590 | 568 | 609 | 580 | 568 | 617 | 604 | 17.57/6.34 c (5,0) c | Propagations | 389422 | 29493 | 51316 | 48950 | 53127 | 50050 | 49145 | 54608 | 52733 | 17.57/6.34 c (5,0) c | Avg_Trail | | 8076 | 2571 | 2679 | 2473 | 2640 | 2674 | 2419 | 2501 | 17.57/6.34 c (5,0) c | Avg_DL | | 336 | 84 | 88 | 80 | 86 | 88 | 78 | 81 | 17.57/6.34 c (5,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.57/6.34 c (5,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.57/6.34 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.57/6.34 c (5,0) c | Exported | 289 | 5 | 41 | 34 | 45 | 38 | 34 | 49 | 43 | 17.57/6.34 c (5,0) c | Imported | 721 | 0 | 0 | 0 | 241 | 0 | 0 | 237 | 243 | 17.57/6.34 c (5,0) c | Good | 106 | 0 | 0 | 0 | 36 | 0 | 0 | 33 | 37 | 17.57/6.34 c (5,0) c | Purge | 615 | 0 | 0 | 0 | 205 | 0 | 0 | 204 | 206 | 17.57/6.34 c (5,0) c | Promoted | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 17.57/6.34 c (5,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.57/6.34 c (5,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.57/6.34 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.57/6.34 c (5,0) c | Unaries | | 0 | 0 | 0 | 5 | 0 | 0 | 7 | 3 | 17.57/6.34 c (5,0) c | Binaries | | 1 | 6 | 3 | 9 | 4 | 3 | 12 | 8 | 17.57/6.34 c (5,0) c | Glues | | 5 | 41 | 34 | 45 | 38 | 34 | 49 | 43 | 17.57/6.34 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.57/6.34 c (5,0) c | Orig_Seen | 0 % | 1069 | 1505 | 1477 | 1534 | 1488 | 1478 | 1534 | 1521 | 17.57/6.34 c (5,0) c | Diff Orig seen| | - 465 | - 29 | - 57 | - 0 | - 46 | - 56 | X | - 13 | 17.57/6.34 c (5,0) c | Hamming | 3 % | 4978 | 336 | 414 | 80 | 412 | 410 | X | 96 | 17.57/6.34 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.57/6.34 c (5,0) 17.57/6.34 c (5,0) s UNSATISFIABLE 17.57/6.35 c (5,5) SatSolver.solve End 17.57/6.35 c (5,5) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 17.57/6.35 c (5,5) Show results Begin 17.57/6.35 s UNSATISFIABLE 17.57/6.35 c (5,5) Show results End 17.57/6.35 c (5,5) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 17.57/6.35 c (5,5) 1,1,2,3,4,4,5,5,5,STOP-AFTER(ALL) 17.57/6.35 c END-Prog: Thu Jul 26 23:09: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 (12456 MiB free) memory of node 1: 16384 MiB (10331 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297117-1532639357/watcher-4297117-1532639357 -o /tmp/evaluation-result-4297117-1532639357/solver-4297117-1532639357 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532634314-12439 --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-4297117-1532639357.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=12817, runsolver pid=12814 Current StackSize limit: 8192 KiB [startup+0.107483 s]* /proc/loadavg: 8.13 8.53 8.71 4/198 12837 /proc/meminfo: memFree=23239284/32770624 swapFree=67108860/67108860 [pid=12817] ppid=12814 vsize=27312552 memory=107788 CPUtime=0.12 cores=0-7 /proc/12817/stat : 12817 (java) S 12814 12817 12412 0 -1 1077944320 6448 0 0 0 10 2 0 0 20 0 20 0 81498859 27968053248 26947 33554432000 4194304 4196468 140729610238480 140729610221024 139973744889591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 /proc/12817/statm: 6828138 26947 2779 1 0 6790598 0 [pid=12817/tid=12819] ppid=12814 vsize=27312552 memory=4134930498285298233 CPUtime=0.1 cores=0-7 /proc/12817/task/12819/stat : 12819 (java) R 12814 12817 12412 0 -1 4202560 4498 0 0 0 8 2 0 0 20 0 20 0 81498859 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973716700712 139973726453166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12820] ppid=12814 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12817/task/12820/stat : 12820 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973749132304 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12821] ppid=12814 vsize=27312552 memory=140568939837056 CPUtime=0 cores=0-7 /proc/12817/task/12821/stat : 12821 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973532527760 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12822] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12822/stat : 12822 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973531474704 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12823] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12823/stat : 12823 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973530422160 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12824] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12824/stat : 12824 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973529369104 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12825] ppid=12814 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12817/task/12825/stat : 12825 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973528316560 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12826] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12826/stat : 12826 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973527263504 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12827] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12827/stat : 12827 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973526210960 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12828] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12828/stat : 12828 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498863 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973005142768 139973744900738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12829] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12829/stat : 12829 (java) S 12814 12817 12412 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81498864 27968053248 26947 33554432000 4194304 4196468 140729610238480 139971507775136 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12830] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12830/stat : 12830 (java) S 12814 12817 12412 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81498864 27968053248 26947 33554432000 4194304 4196468 140729610238480 139971373552880 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12831] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12831/stat : 12831 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 26947 33554432000 4194304 4196468 140729610238480 139970999048656 139973744908187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12832] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12832/stat : 12832 (java) S 12814 12817 12412 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973004089584 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12833] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12833/stat : 12833 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 26947 33554432000 4194304 4196468 140729610238480 139973003037040 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12834] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12834/stat : 12834 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 27013 33554432000 4194304 4196468 140729610238480 139973001983984 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12835] ppid=12814 vsize=27312552 memory=0 CPUtime=0.01 cores=0-7 /proc/12817/task/12835/stat : 12835 (java) S 12814 12817 12412 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 20 0 81498866 27968053248 27013 33554432000 4194304 4196468 140729610238480 139973000931440 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12836] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12836/stat : 12836 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 27013 33554432000 4194304 4196468 140729610238480 139970501143520 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12837] ppid=12814 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12817/task/12837/stat : 12837 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498867 27968053248 27013 33554432000 4194304 4196468 140729610238480 139972999879856 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 107788 KiB [startup+0.210692 s]* /proc/loadavg: 8.13 8.53 8.71 2/198 12837 /proc/meminfo: memFree=23225828/32770624 swapFree=67108860/67108860 [pid=12817] ppid=12814 vsize=27312552 memory=121140 CPUtime=0.24 cores=0-7 /proc/12817/stat : 12817 (java) S 12814 12817 12412 0 -1 1077944320 10060 0 0 0 21 3 0 0 20 0 20 0 81498859 27968053248 30285 33554432000 4194304 4196468 140729610238480 140729610221024 139973744889591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 /proc/12817/statm: 6828138 30285 2890 1 0 6790598 0 [pid=12817/tid=12819] ppid=12814 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/12817/task/12819/stat : 12819 (java) R 12814 12817 12412 0 -1 4202560 7931 0 0 0 17 3 0 0 20 0 20 0 81498859 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973716711056 139973726283325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12820] ppid=12814 vsize=27312552 memory=14857 CPUtime=0 cores=0-7 /proc/12817/task/12820/stat : 12820 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973749132304 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12821] ppid=12814 vsize=27312552 memory=140568940312459 CPUtime=0 cores=0-7 /proc/12817/task/12821/stat : 12821 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973532527760 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12822] ppid=12814 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12817/task/12822/stat : 12822 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973531474704 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12823] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12823/stat : 12823 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973530422160 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12824] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12824/stat : 12824 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973529369104 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12825] ppid=12814 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12817/task/12825/stat : 12825 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973528316560 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12826] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12826/stat : 12826 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973527263504 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12827] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12827/stat : 12827 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973526210960 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12828] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12828/stat : 12828 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498863 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973005142768 139973744900738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12829] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12829/stat : 12829 (java) S 12814 12817 12412 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81498864 27968053248 30285 33554432000 4194304 4196468 140729610238480 139971507775136 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12830] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12830/stat : 12830 (java) S 12814 12817 12412 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81498864 27968053248 30285 33554432000 4194304 4196468 140729610238480 139971373552880 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12831] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12831/stat : 12831 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 30285 33554432000 4194304 4196468 140729610238480 139970999048656 139973744908187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12832] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12832/stat : 12832 (java) S 12814 12817 12412 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973004089584 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12833] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12833/stat : 12833 (java) S 12814 12817 12412 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973003037040 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12834] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12834/stat : 12834 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973001983984 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12835] ppid=12814 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/12817/task/12835/stat : 12835 (java) S 12814 12817 12412 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 20 0 81498866 27968053248 30285 33554432000 4194304 4196468 140729610238480 139973000931440 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12836] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12836/stat : 12836 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 30285 33554432000 4194304 4196468 140729610238480 139970501143520 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12837] ppid=12814 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12817/task/12837/stat : 12837 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498867 27968053248 30285 33554432000 4194304 4196468 140729610238480 139972999879856 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 121140 KiB [startup+0.310095 s]* /proc/loadavg: 8.13 8.53 8.71 2/198 12837 /proc/meminfo: memFree=23222168/32770624 swapFree=67108860/67108860 [pid=12817] ppid=12814 vsize=27312552 memory=125544 CPUtime=0.41 cores=0-7 /proc/12817/stat : 12817 (java) S 12814 12817 12412 0 -1 1077944320 10700 0 0 0 37 4 0 0 20 0 20 0 81498859 27968053248 31386 33554432000 4194304 4196468 140729610238480 140729610221024 139973744889591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 /proc/12817/statm: 6828138 31386 3030 1 0 6790598 0 [pid=12817/tid=12819] ppid=12814 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12817/task/12819/stat : 12819 (java) R 12814 12817 12412 0 -1 4202560 8371 0 0 0 26 3 0 0 20 0 20 0 81498859 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973716693744 139973728970078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12820] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12820/stat : 12820 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973749132304 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12821] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12821/stat : 12821 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973532527760 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12822] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12822/stat : 12822 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498861 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973531474704 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12823] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12823/stat : 12823 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973530422160 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12824] ppid=12814 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/12817/task/12824/stat : 12824 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973529369104 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12825] ppid=12814 vsize=27312552 memory=140568776766383 CPUtime=0 cores=0-7 /proc/12817/task/12825/stat : 12825 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973528316560 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12826] ppid=12814 vsize=27312552 memory=140568776768688 CPUtime=0 cores=0-7 /proc/12817/task/12826/stat : 12826 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973527263504 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12827] ppid=12814 vsize=27312552 memory=140568776770992 CPUtime=0 cores=0-7 /proc/12817/task/12827/stat : 12827 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498862 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973526210960 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12828] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12828/stat : 12828 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498863 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973005142768 139973744900738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12829] ppid=12814 vsize=27312552 memory=281137553548944 CPUtime=0 cores=0-7 /proc/12817/task/12829/stat : 12829 (java) S 12814 12817 12412 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81498864 27968053248 31386 33554432000 4194304 4196468 140729610238480 139971507775136 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12830] ppid=12814 vsize=27312552 memory=281137553555856 CPUtime=0 cores=0-7 /proc/12817/task/12830/stat : 12830 (java) S 12814 12817 12412 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81498864 27968053248 31386 33554432000 4194304 4196468 140729610238480 139971373552880 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12831] ppid=12814 vsize=27312552 memory=281137553497136 CPUtime=0 cores=0-7 /proc/12817/task/12831/stat : 12831 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 31386 33554432000 4194304 4196468 140729610238480 139970999048656 139973744908187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12832] ppid=12814 vsize=27312552 memory=281137553569680 CPUtime=0.02 cores=0-7 /proc/12817/task/12832/stat : 12832 (java) S 12814 12817 12412 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 20 0 81498866 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973004089584 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12833] ppid=12814 vsize=27312552 memory=281137553576592 CPUtime=0 cores=0-7 /proc/12817/task/12833/stat : 12833 (java) S 12814 12817 12412 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973003037040 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12834] ppid=12814 vsize=27312552 memory=281137553574288 CPUtime=0 cores=0-7 /proc/12817/task/12834/stat : 12834 (java) S 12814 12817 12412 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973001983984 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12835] ppid=12814 vsize=27312552 memory=281137553590896 CPUtime=0.07 cores=0-7 /proc/12817/task/12835/stat : 12835 (java) S 12814 12817 12412 0 -1 1077944384 356 0 0 0 7 0 0 0 20 0 20 0 81498866 27968053248 31386 33554432000 4194304 4196468 140729610238480 139973000931440 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12836] ppid=12814 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12836/stat : 12836 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498866 27968053248 31386 33554432000 4194304 4196468 140729610238480 139970501143520 139973744899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12837] ppid=12814 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12817/task/12837/stat : 12837 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498867 27968053248 31386 33554432000 4194304 4196468 140729610238480 139972999879856 139973744900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125544 KiB [startup+0.702219 s] /proc/loadavg: 8.13 8.53 8.71 2/198 12837 /proc/meminfo: memFree=23197736/32770624 swapFree=67108860/67108860 [pid=12817] ppid=12814 vsize=27318824 memory=162624 CPUtime=1 cores=0-7 /proc/12817/stat : 12817 (java) S 12814 12817 12412 0 -1 1077944320 17748 0 0 0 93 7 0 0 20 0 20 0 81498859 27974475776 40656 33554432000 4194304 4196468 140729610238480 140729610221024 139973744889591 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 /proc/12817/statm: 6829706 40656 3139 1 0 6791110 0 [pid=12817/tid=12819] ppid=12814 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/12817/task/12819/stat : 12819 (java) R 12814 12817 12412 0 -1 4202560 14881 0 0 0 62 5 0 0 20 0 20 0 81498859 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973716727520 139973744901526 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12820] ppid=12814 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12820/stat : 12820 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973749132304 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12821] ppid=12814 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12821/stat : 12821 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498861 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973532527760 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12822] ppid=12814 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12822/stat : 12822 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498861 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973531474704 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12823] ppid=12814 vsize=27318824 memory=4612 CPUtime=0 cores=0-7 /proc/12817/task/12823/stat : 12823 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973530422160 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12824] ppid=12814 vsize=27318824 memory=8552 CPUtime=0 cores=0-7 /proc/12817/task/12824/stat : 12824 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973529369104 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12825] ppid=12814 vsize=27318824 memory=1624 CPUtime=0 cores=0-7 /proc/12817/task/12825/stat : 12825 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498862 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973528316560 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12826] ppid=12814 vsize=27318824 memory=1200 CPUtime=0 cores=0-7 /proc/12817/task/12826/stat : 12826 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27974475776 40656 33554432000 4194304 4196468 140729610238480 139973527263504 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12827] ppid=12814 vsize=27318824 memory=15872 CPUtime=0 cores=0-7 /proc/12817/task/12827/stat : 12827 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498862 27974475776 40683 33554432000 4194304 4196468 140729610238480 139973526210960 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12828] ppid=12814 vsize=27318824 memory=14736 CPUtime=0 cores=0-7 /proc/12817/task/12828/stat : 12828 (java) S 12814 12817 12412 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81498863 27974475776 40683 33554432000 4194304 4196468 140729610238480 139973005142768 139973744900738 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 ################ # More data... # ################ [pid=12817/tid=12823] ppid=12814 vsize=27325044 memory=24064 CPUtime=0 cores=0-7 /proc/12817/task/12823/stat : 12823 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973530422160 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12824] ppid=12814 vsize=27325044 memory=1296 CPUtime=0 cores=0-7 /proc/12817/task/12824/stat : 12824 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973529369104 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12825] ppid=12814 vsize=27325044 memory=2428 CPUtime=0 cores=0-7 /proc/12817/task/12825/stat : 12825 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498862 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973528316560 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12826] ppid=12814 vsize=27325044 memory=1840 CPUtime=0 cores=0-7 /proc/12817/task/12826/stat : 12826 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81498862 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973527263504 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12827] ppid=12814 vsize=27325044 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12817/task/12827/stat : 12827 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498862 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973526210960 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12828] ppid=12814 vsize=27325044 memory=281137553410208 CPUtime=0 cores=0-7 /proc/12817/task/12828/stat : 12828 (java) S 12814 12817 12412 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81498863 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973005142768 139973744900738 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12829] ppid=12814 vsize=27325044 memory=281137553410400 CPUtime=0 cores=0-7 /proc/12817/task/12829/stat : 12829 (java) S 12814 12817 12412 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81498864 27980845056 191647 33554432000 4194304 4196468 140729610238480 139971507775136 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12830] ppid=12814 vsize=27325044 memory=140568776909024 CPUtime=0 cores=0-7 /proc/12817/task/12830/stat : 12830 (java) S 12814 12817 12412 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81498864 27980845056 191647 33554432000 4194304 4196468 140729610238480 139971373552880 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12831] ppid=12814 vsize=27325044 memory=622908 CPUtime=0 cores=0-7 /proc/12817/task/12831/stat : 12831 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498866 27980845056 191647 33554432000 4194304 4196468 140729610238480 139970999048656 139973744908187 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12832] ppid=12814 vsize=27325044 memory=0 CPUtime=2.04 cores=0-7 /proc/12817/task/12832/stat : 12832 (java) R 12814 12817 12412 0 -1 4202560 2104 0 0 0 203 1 0 0 20 0 20 0 81498866 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973004072544 139973726263041 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12833] ppid=12814 vsize=27325044 memory=0 CPUtime=1.99 cores=0-7 /proc/12817/task/12833/stat : 12833 (java) R 12814 12817 12412 0 -1 4202560 3336 0 0 0 198 1 0 0 20 0 20 0 81498866 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973003023064 139973729806933 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12834] ppid=12814 vsize=27325044 memory=0 CPUtime=1.91 cores=0-7 /proc/12817/task/12834/stat : 12834 (java) R 12814 12817 12412 0 -1 4202560 2294 0 0 0 190 1 0 0 20 0 20 0 81498866 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973001970080 139973730006765 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12835] ppid=12814 vsize=27325044 memory=0 CPUtime=1.19 cores=0-7 /proc/12817/task/12835/stat : 12835 (java) S 12814 12817 12412 0 -1 1077944384 4500 0 0 0 117 2 0 0 20 0 20 0 81498866 27980845056 191647 33554432000 4194304 4196468 140729610238480 139973000931440 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12836] ppid=12814 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12836/stat : 12836 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81498866 27980845056 191647 33554432000 4194304 4196468 140729610238480 139970501143520 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12837] ppid=12814 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12837/stat : 12837 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81498867 27980845056 191647 33554432000 4194304 4196468 140729610238480 139972999879856 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 Current children cumulated CPU time: 10.24 s Current children cumulated vsize: 27325044 KiB Current children cumulated memory: 766588 KiB [startup+6.30111 s] /proc/loadavg: 7.48 8.39 8.66 2/203 12843 /proc/meminfo: memFree=20448088/32770624 swapFree=67108860/67108860 [pid=12817] ppid=12814 vsize=27984808 memory=2861172 CPUtime=17.08 cores=0-7 /proc/12817/stat : 12817 (java) S 12814 12817 12412 0 -1 1077944320 38830 0 0 0 1651 57 0 0 20 0 24 0 81498859 28656443392 715293 33554432000 4194304 4196468 140729610238480 140729610221024 139973744889591 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 /proc/12817/statm: 6996202 715293 3237 1 0 6957058 0 [pid=12838] ppid=12817 vsize=193772 memory=170044 CPUtime=0.49 cores=0-7 /proc/12838/stat : 12838 (glucose-syrup) R 12817 12817 12412 0 -1 4202496 32480 0 0 0 45 4 0 0 20 0 1 0 81499438 198422528 42511 33554432000 4194304 4373367 140735451926672 140735451924824 140718924426064 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6470912 6472264 31481856 140735451931567 140735451931820 140735451931820 140735451934663 0 /proc/12838/statm: 48443 42511 366 44 0 44131 0 [pid=12817/tid=12819] ppid=12814 vsize=27984808 memory=14771 CPUtime=5.8 cores=0-7 /proc/12817/task/12819/stat : 12819 (java) S 12814 12817 12412 0 -1 1077944384 18438 0 0 0 532 48 0 0 20 0 24 0 81498859 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973716728832 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12820] ppid=12814 vsize=27984808 memory=21388 CPUtime=0 cores=0-7 /proc/12817/task/12820/stat : 12820 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498861 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973749132304 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12821] ppid=12814 vsize=27984808 memory=4028 CPUtime=0 cores=0-7 /proc/12817/task/12821/stat : 12821 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498861 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973532527760 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12822] ppid=12814 vsize=27984808 memory=24064 CPUtime=0 cores=0-7 /proc/12817/task/12822/stat : 12822 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498861 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973531474704 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12823] ppid=12814 vsize=27984808 memory=1296 CPUtime=0 cores=0-7 /proc/12817/task/12823/stat : 12823 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973530422160 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12824] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12824/stat : 12824 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973529369104 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12825] ppid=12814 vsize=27984808 memory=-4049636988374952755 CPUtime=0 cores=0-7 /proc/12817/task/12825/stat : 12825 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973528316560 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12826] ppid=12814 vsize=27984808 memory=7016714190785702558 CPUtime=0 cores=0-7 /proc/12817/task/12826/stat : 12826 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973527263504 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12827] ppid=12814 vsize=27984808 memory=6944656592455360608 CPUtime=0 cores=0-7 /proc/12817/task/12827/stat : 12827 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973526210960 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12828] ppid=12814 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/12817/task/12828/stat : 12828 (java) S 12814 12817 12412 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81498863 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973005142768 139973744900738 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12829] ppid=12814 vsize=27984808 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/12817/task/12829/stat : 12829 (java) S 12814 12817 12412 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81498864 28656443392 715293 33554432000 4194304 4196468 140729610238480 139971507775136 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12830] ppid=12814 vsize=27984808 memory=15252670952770799 CPUtime=0 cores=0-7 /proc/12817/task/12830/stat : 12830 (java) S 12814 12817 12412 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81498864 28656443392 715293 33554432000 4194304 4196468 140729610238480 139971373552880 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12831] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12831/stat : 12831 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139970999048656 139973744908187 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12832] ppid=12814 vsize=27984808 memory=0 CPUtime=3.15 cores=0-7 /proc/12817/task/12832/stat : 12832 (java) S 12814 12817 12412 0 -1 1077944384 2732 0 0 0 314 1 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973004089584 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12833] ppid=12814 vsize=27984808 memory=0 CPUtime=3.25 cores=0-7 /proc/12817/task/12833/stat : 12833 (java) S 12814 12817 12412 0 -1 1077944384 6124 0 0 0 323 2 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973003037040 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12834] ppid=12814 vsize=27984808 memory=0 CPUtime=3.39 cores=0-7 /proc/12817/task/12834/stat : 12834 (java) S 12814 12817 12412 0 -1 1077944384 5306 0 0 0 337 2 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973001983984 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12835] ppid=12814 vsize=27984808 memory=0 CPUtime=1.44 cores=0-7 /proc/12817/task/12835/stat : 12835 (java) S 12814 12817 12412 0 -1 1077944384 4807 0 0 0 142 2 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973000931440 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12836] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12836/stat : 12836 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139970501143520 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12837] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12837/stat : 12837 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81498867 28656443392 715293 33554432000 4194304 4196468 140729610238480 139972999879856 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12839] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12839/stat : 12839 (java) S 12814 12817 12412 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81499438 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973118989760 139973744914201 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12841] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12841/stat : 12841 (java) S 12814 12817 12412 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 81499439 28656443392 715293 33554432000 4194304 4196468 140729610238480 139969830043056 139973744911517 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12842] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12842/stat : 12842 (java) S 12814 12817 12412 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 81499439 28656443392 715293 33554432000 4194304 4196468 140729610238480 139969561607728 139973744911517 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12843] ppid=12814 vsize=27984808 memory=1049144 CPUtime=0 cores=0-7 /proc/12817/task/12843/stat : 12843 (java) S 12814 12817 12412 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 81499441 28656443392 715293 33554432000 4194304 4196468 140729610238480 139970098486176 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 Current children cumulated CPU time: 17.57 s Current children cumulated vsize: 28178580 KiB Current children cumulated memory: 3031216 KiB [startup+6.37796 s] # the end of solver process 12817 was just reported to runsolver # cumulated CPU time of all completed processes: user=17.1481 s, system=0.682074 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.30111 s] /proc/loadavg: 7.48 8.39 8.66 2/203 12843 /proc/meminfo: memFree=20448088/32770624 swapFree=67108860/67108860 [pid=12817] ppid=12814 vsize=27984808 memory=2861172 CPUtime=17.08 cores=0-7 /proc/12817/stat : 12817 (java) S 12814 12817 12412 0 -1 1077944320 38830 0 0 0 1651 57 0 0 20 0 24 0 81498859 28656443392 715293 33554432000 4194304 4196468 140729610238480 140729610221024 139973744889591 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 /proc/12817/statm: 6996202 715293 3237 1 0 6957058 0 [pid=12838] ppid=12817 vsize=193772 memory=170044 CPUtime=0.49 cores=0-7 /proc/12838/stat : 12838 (glucose-syrup) R 12817 12817 12412 0 -1 4202496 32480 0 0 0 45 4 0 0 20 0 1 0 81499438 198422528 42511 33554432000 4194304 4373367 140735451926672 140735451924824 140718924426064 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6470912 6472264 31481856 140735451931567 140735451931820 140735451931820 140735451934663 0 /proc/12838/statm: 48443 42511 366 44 0 44131 0 [pid=12817/tid=12819] ppid=12814 vsize=27984808 memory=14771 CPUtime=5.8 cores=0-7 /proc/12817/task/12819/stat : 12819 (java) S 12814 12817 12412 0 -1 1077944384 18438 0 0 0 532 48 0 0 20 0 24 0 81498859 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973716728832 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12820] ppid=12814 vsize=27984808 memory=21388 CPUtime=0 cores=0-7 /proc/12817/task/12820/stat : 12820 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498861 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973749132304 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12821] ppid=12814 vsize=27984808 memory=4028 CPUtime=0 cores=0-7 /proc/12817/task/12821/stat : 12821 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498861 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973532527760 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12822] ppid=12814 vsize=27984808 memory=24064 CPUtime=0 cores=0-7 /proc/12817/task/12822/stat : 12822 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498861 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973531474704 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12823] ppid=12814 vsize=27984808 memory=1296 CPUtime=0 cores=0-7 /proc/12817/task/12823/stat : 12823 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973530422160 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12824] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12824/stat : 12824 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973529369104 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12825] ppid=12814 vsize=27984808 memory=-4049636988374952755 CPUtime=0 cores=0-7 /proc/12817/task/12825/stat : 12825 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973528316560 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12826] ppid=12814 vsize=27984808 memory=7016714190785702558 CPUtime=0 cores=0-7 /proc/12817/task/12826/stat : 12826 (java) S 12814 12817 12412 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973527263504 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12827] ppid=12814 vsize=27984808 memory=6944656592455360608 CPUtime=0 cores=0-7 /proc/12817/task/12827/stat : 12827 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81498862 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973526210960 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12828] ppid=12814 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/12817/task/12828/stat : 12828 (java) S 12814 12817 12412 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81498863 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973005142768 139973744900738 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12829] ppid=12814 vsize=27984808 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/12817/task/12829/stat : 12829 (java) S 12814 12817 12412 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81498864 28656443392 715293 33554432000 4194304 4196468 140729610238480 139971507775136 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12830] ppid=12814 vsize=27984808 memory=15252670952770799 CPUtime=0 cores=0-7 /proc/12817/task/12830/stat : 12830 (java) S 12814 12817 12412 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81498864 28656443392 715293 33554432000 4194304 4196468 140729610238480 139971373552880 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12831] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12831/stat : 12831 (java) S 12814 12817 12412 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139970999048656 139973744908187 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12832] ppid=12814 vsize=27984808 memory=0 CPUtime=3.15 cores=0-7 /proc/12817/task/12832/stat : 12832 (java) S 12814 12817 12412 0 -1 1077944384 2732 0 0 0 314 1 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973004089584 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12833] ppid=12814 vsize=27984808 memory=0 CPUtime=3.25 cores=0-7 /proc/12817/task/12833/stat : 12833 (java) S 12814 12817 12412 0 -1 1077944384 6124 0 0 0 323 2 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973003037040 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12834] ppid=12814 vsize=27984808 memory=0 CPUtime=3.39 cores=0-7 /proc/12817/task/12834/stat : 12834 (java) S 12814 12817 12412 0 -1 1077944384 5306 0 0 0 337 2 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973001983984 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12835] ppid=12814 vsize=27984808 memory=0 CPUtime=1.44 cores=0-7 /proc/12817/task/12835/stat : 12835 (java) S 12814 12817 12412 0 -1 1077944384 4807 0 0 0 142 2 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973000931440 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12836] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12836/stat : 12836 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81498866 28656443392 715293 33554432000 4194304 4196468 140729610238480 139970501143520 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12837] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12837/stat : 12837 (java) S 12814 12817 12412 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81498867 28656443392 715293 33554432000 4194304 4196468 140729610238480 139972999879856 139973744900738 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12839] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12839/stat : 12839 (java) S 12814 12817 12412 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81499438 28656443392 715293 33554432000 4194304 4196468 140729610238480 139973118989760 139973744914201 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12841] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12841/stat : 12841 (java) S 12814 12817 12412 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 81499439 28656443392 715293 33554432000 4194304 4196468 140729610238480 139969830043056 139973744911517 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12842] ppid=12814 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12817/task/12842/stat : 12842 (java) S 12814 12817 12412 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 81499439 28656443392 715293 33554432000 4194304 4196468 140729610238480 139969561607728 139973744911517 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 [pid=12817/tid=12843] ppid=12814 vsize=27984808 memory=1049144 CPUtime=0 cores=0-7 /proc/12817/task/12843/stat : 12843 (java) S 12814 12817 12412 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 81499441 28656443392 715293 33554432000 4194304 4196468 140729610238480 139970098486176 139973744899797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140729610245081 140729610245381 140729610245381 140729610248143 0 Current children cumulated CPU time: 17.57 s Current children cumulated vsize: 28178580 KiB Current children cumulated memory: 3031216 KiB Child status: 0 Real time (s): 6.37802 CPU time (s): 17.8301 CPU user time (s): 17.1481 CPU system time (s): 0.682074 CPU usage (%): 279.556 Max. virtual memory (cumulated for all children) (KiB): 28178580 Max. memory (cumulated for all children) (KiB): 3031216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.1481 system time used= 0.682074 maximum resident set size= 2862236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76311 page faults= 0 swaps= 0 block input operations= 0 block output operations= 10792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7786 involuntary context switches= 38 # summary of solver processes directly reported to runsolver: # pid: 12817 # total CPU time (s): 17.8301 # total CPU user time (s): 17.1481 # total CPU system time (s): 0.682074 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.062241 second user time and 0.115202 second system time The end
Begin job on node151 at 2018-07-26 23:09:17 IDJOB=4297117 IDBENCH=141187 IDSOLVER=2758 FILE ID=node151/4297117-1532639357 RUNJOBID= node151-1532634314-12439 PBS_JOBID= 21022189 Free space on /tmp= 54928 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f08_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-4297117-1532639357/watcher-4297117-1532639357 -o /tmp/evaluation-result-4297117-1532639357/solver-4297117-1532639357 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532634314-12439 --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-4297117-1532639357.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2cf96eb4ef0a34305468f9a178fec6f7 RANDOM SEED=1076811163 node151.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.87 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.87 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.87 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.87 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: 23335636 kB MemAvailable: 31939996 kB Buffers: 207056 kB Cached: 8640972 kB SwapCached: 0 kB Active: 1434280 kB Inactive: 7469868 kB Active(anon): 6320 kB Inactive(anon): 77476 kB Active(file): 1427960 kB Inactive(file): 7392392 kB Unevictable: 7824 kB Mlocked: 7824 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8316 kB Writeback: 0 kB AnonPages: 55460 kB Mapped: 41172 kB Shmem: 25224 kB Slab: 227064 kB SReclaimable: 199688 kB SUnreclaim: 27376 kB KernelStack: 3936 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54920 MiB End job on node151 at 2018-07-26 23:09:23