Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | UNSAT | 20.0865 | 6.83926 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f04_c18.xml |
MD5SUM | 3c3f91fe2d5d1aa7af585cdf812638b5 |
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 | 20.0865 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":14},{"size":33,"count":336},{"size":40,"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:05:07 CEST 2018 0.66/0.55 c PID: 8582 0.66/0.55 c IP: 172.20.3.139 0.66/0.55 c HOST: node139.alineos.net 0.66/0.56 c (0,0) Parsing Begin 5.76/1.96 c (1,1) Parsing End 5.76/1.97 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 40 5.76/1.97 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.76/1.97 c (1,1) Constraint Name Generate Begin 5.76/1.99 c (1,1) Ctr:HOME/instance-4297113-1532639106.xml,Dist:Eq:IntVar:Le:Num 5.76/1.99 c (1,1) Constraint Name Generate End 5.76/1.99 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.76/1.99 c (1,1) CSP to CSPinCNF Begin 6.86/2.25 c (1,1) translated 411 (10%) constraints 7.24/2.32 c (1,1) translated 821 (20%) constraints 7.24/2.37 c (1,1) translated 1231 (30%) constraints 7.63/2.41 c (1,1) translated 1642 (40%) constraints 7.63/2.46 c (1,1) translated 2052 (50%) constraints 7.63/2.50 c (1,1) translated 2462 (60%) constraints 8.01/2.53 c (2,1) translated 2873 (70%) constraints 8.01/2.57 c (2,2) translated 3283 (80%) constraints 8.42/2.60 c (2,2) translated 3693 (90%) constraints 8.87/2.73 c (2,2) translated 4103 (100%) constraints 9.31/2.82 c (2,2) STATISTICS1:HOME/instance-4297113-1532639106.xml,Dist:Eq:IntVar:Le:Num,680,4783,40,40,2,2,40:3314;33:5144;22:368;6:60,40:9348;33:7956;22:404;6:64,2:4103;1:680,2:8886, 9.31/2.82 c (2,2) =========================================== 9.31/2.82 c (2,2) Order 9.31/2.82 c (2,2) =========================================== 9.31/2.85 c (2,2) translated 479 (10%) constraints 9.31/2.87 c (2,2) translated 957 (20%) constraints 9.31/2.89 c (2,2) translated 1435 (30%) constraints 9.74/2.90 c (2,2) translated 1914 (40%) constraints 9.74/2.92 c (2,2) translated 2392 (50%) constraints 9.74/2.93 c (2,2) translated 2870 (60%) constraints 9.74/2.94 c (2,2) translated 3349 (70%) constraints 9.74/2.96 c (2,2) translated 3827 (80%) constraints 9.74/2.97 c (2,2) translated 4305 (90%) constraints 9.74/2.98 c (2,2) translated 4783 (100%) constraints 9.74/2.98 c (2,2) CSP to CSPinCNF End 9.74/2.98 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40 9.74/2.98 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 9.74/2.98 c (2,2) CSPinCNF Propagation Begin 12.12/4.38 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 12.12/4.38 c (3,3) CSPinCNF Propagation End 12.12/4.38 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40 12.12/4.38 c (3,3) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 12.12/4.38 c (3,3) Simplify CSPinCNF Begin 12.83/4.63 c (4,4) Simplify CSPinCNF End 12.83/4.63 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40 12.83/4.63 c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.83/4.63 c (4,4) Calculate Precise Domain Begin 12.83/4.63 c (4,4) 0 values are removed by re-calculation 12.83/4.63 c (4,4) Calculate Precise Domain End 12.83/4.64 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40 12.83/4.64 c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.83/4.64 c (4,4) CSPinCNF to SatSolver Begin 14.12/4.95 c (4,4) 1299 (10 %) CSP clauses are encoded (32054 SAT variables, 51964 SAT clauses) 14.55/5.06 c (4,4) 2598 (20 %) CSP clauses are encoded (32054 SAT variables, 80330 SAT clauses) 14.79/5.14 c (4,4) 3897 (30 %) CSP clauses are encoded (32054 SAT variables, 106604 SAT clauses) 14.92/5.23 c (4,4) 5196 (40 %) CSP clauses are encoded (32054 SAT variables, 135237 SAT clauses) 15.13/5.33 c (4,4) 6495 (50 %) CSP clauses are encoded (32054 SAT variables, 164767 SAT clauses) 15.35/5.43 c (4,4) 7794 (60 %) CSP clauses are encoded (32054 SAT variables, 195014 SAT clauses) 15.57/5.53 c (4,4) 9093 (70 %) CSP clauses are encoded (32054 SAT variables, 225087 SAT clauses) 15.69/5.61 c (5,5) 10392 (80 %) CSP clauses are encoded (32054 SAT variables, 255305 SAT clauses) 15.69/5.69 c (5,5) 11691 (90 %) CSP clauses are encoded (32054 SAT variables, 284527 SAT clauses) 15.85/5.76 c (5,5) 12989 (100 %) CSP clauses are encoded (32054 SAT variables, 311511 SAT clauses) 15.85/5.76 c (5,5) CSPinCNF to SatSolver End 15.85/5.76 c (5,5) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 37 MiB used (max 0 MiB) 16.13/5.86 c (5,5) STATISTICS2:HOME/instance-4297113-1532639106.xml,Dist:Eq:IntVar:Le:Num,8886,12989,40,40,2,2,40:3314;33:5144;22:368;6:60,40:9348;33:7956;22:404;6:64;2:16412,2:12309;1:680,2:8886;1:16412, 16.13/5.86 c (5,5) SatSolver.solve Begin 16.13/5.86 c (5,5) 32054 bool, 311523 clause 16.13/5.86 c (5,5) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297113-1532639106.xml-scop-8582.cnf HOME/instance-4297113-1532639106.xml-scop-8582.cnf.out 19.26/6.80 c (6,0) c 19.26/6.80 c (6,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 19.26/6.80 c (6,0) c 19.26/6.80 c (6,0) c WARNING: for repeatability, setting FPU to use double precision 19.26/6.80 c (6,0) c 8 solvers engines and 1 companion as a blackboard created. 19.26/6.80 c (6,0) c ========================================[ Problem Statistics ]=========================================== 19.26/6.80 c (6,0) c | | 19.26/6.80 c (6,0) c | Number of variables: 32054 | 19.26/6.80 c (6,0) c | Number of clauses: 311523 | 19.26/6.80 c (6,0) c | Parse time: 0.12 s | 19.26/6.80 c (6,0) c | | 19.26/6.80 c (6,0) c | Eliminated clauses: 0.08 Mb | 19.26/6.80 c (6,0) c | Simplification time: 0.31 s | 19.26/6.80 c (6,0) c | | 19.26/6.80 c (6,0) c | Generating clones | 19.26/6.80 c (6,0) c | all clones generated. Memory = 217.14Mb. | 19.26/6.80 c (6,0) c ========================================================================================================| 19.26/6.80 c (6,0) c Thread 3 is 100% pure glucose! First thread to finish! (UNSAT answer). 19.26/6.80 c (6,0) c Total Memory so far : 793.95Mb 19.26/6.80 c (6,0) c 19.26/6.80 c (6,0) c real time : 0.91854 s 19.26/6.80 c (6,0) c cpu time : 3.13111 s 19.26/6.80 c (6,0) c 19.26/6.80 c (6,0) c 19.26/6.80 c (6,0) c 19.26/6.80 c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 19.26/6.80 c (6,0) c 19.26/6.80 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.26/6.80 c (6,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 19.26/6.80 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.26/6.80 c (6,0) c | Conflicts | 44831 | 5090 | 5529 | 5786 | 5959 | 5521 | 5697 | 5605 | 5644 | 19.26/6.80 c (6,0) c | Decisions | 63901 | 7240 | 7887 | 8277 | 8516 | 7946 | 8120 | 7929 | 7986 | 19.26/6.80 c (6,0) c | Propagations | 8589630 | 1043817 | 1045379 | 1071386 | 1106879 | 1086055 | 1089754 | 1063158 | 1083202 | 19.26/6.80 c (6,0) c | Avg_Trail | | 3403 | 2481 | 2397 | 2356 | 2491 | 2431 | 2447 | 2441 | 19.26/6.80 c (6,0) c | Avg_DL | | 133 | 66 | 63 | 62 | 66 | 65 | 65 | 65 | 19.26/6.80 c (6,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.26/6.80 c (6,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.26/6.80 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.26/6.80 c (6,0) c | Exported | 4347 | 211 | 516 | 690 | 740 | 500 | 565 | 587 | 538 | 19.26/6.80 c (6,0) c | Imported | 14604 | 4035 | 785 | 1458 | 3607 | 778 | 821 | 674 | 2446 | 19.26/6.80 c (6,0) c | Good | 706 | 110 | 76 | 86 | 111 | 80 | 79 | 71 | 93 | 19.26/6.80 c (6,0) c | Purge | 13898 | 3925 | 709 | 1372 | 3496 | 698 | 742 | 603 | 2353 | 19.26/6.80 c (6,0) c | Promoted | 601 | 1 | 89 | 127 | 98 | 69 | 72 | 50 | 95 | 19.26/6.80 c (6,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.26/6.80 c (6,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.26/6.80 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.26/6.80 c (6,0) c | Unaries | | 1 | 0 | 1 | 3 | 0 | 0 | 0 | 0 | 19.26/6.80 c (6,0) c | Binaries | | 19 | 16 | 21 | 23 | 9 | 12 | 19 | 15 | 19.26/6.80 c (6,0) c | Glues | | 129 | 158 | 207 | 195 | 158 | 158 | 173 | 160 | 19.26/6.80 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.82/6.80 c (6,0) c | Orig_Seen | 2 % | 8777 | 9063 | 9120 | 9169 | 9256 | 9112 | 8994 | 9024 | 16.82/6.80 c (6,0) c | Diff Orig seen| | - 392 | - 106 | - 49 | X | 87 | - 57 | - 175 | - 145 | 16.82/6.80 c (6,0) c | Hamming | 4 % | 6338 | 457 | 460 | X | 613 | 415 | 554 | 534 | 16.82/6.80 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.82/6.80 c (6,0) 16.82/6.80 c (6,0) s UNSATISFIABLE 16.82/6.81 c (6,5) SatSolver.solve End 16.82/6.81 c (6,5) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 16.82/6.81 c (6,5) Show results Begin 16.82/6.81 s UNSATISFIABLE 16.82/6.81 c (6,5) Show results End 16.82/6.81 c (6,5) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 16.82/6.81 c (6,5) 1,1,2,3,4,4,5,6,6,STOP-AFTER(ALL) 16.82/6.81 c END-Prog: Thu Jul 26 23:05:13 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 (3998 MiB free) memory of node 1: 16384 MiB (8024 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297113-1532639106/watcher-4297113-1532639106 -o /tmp/evaluation-result-4297113-1532639106/solver-4297113-1532639106 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532634055-7904 --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-4297113-1532639106.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=8582, runsolver pid=8579 [startup+0.10015 s]* /proc/loadavg: 8.78 8.80 8.83 3/199 8602 /proc/meminfo: memFree=12214984/32770624 swapFree=67108860/67108860 [pid=8582] ppid=8579 vsize=27312552 memory=109312 CPUtime=0.11 cores=0-7 /proc/8582/stat : 8582 (java) S 8579 8582 7877 0 -1 1077944320 6848 0 0 0 9 2 0 0 20 0 20 0 81473780 27968053248 27328 33554432000 4194304 4196468 140734772884064 140734772866608 140409393753847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 /proc/8582/statm: 6828138 27328 2747 1 0 6790598 0 [pid=8582/tid=8584] ppid=8579 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/8582/task/8584/stat : 8584 (java) R 8579 8582 7877 0 -1 4202560 4961 0 0 0 7 1 0 0 20 0 20 0 81473781 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409365586048 140409379013381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8585] ppid=8579 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8582/task/8585/stat : 8585 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409397995920 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8586] ppid=8579 vsize=27312552 memory=140456133990016 CPUtime=0 cores=0-7 /proc/8582/task/8586/stat : 8586 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409212152080 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8587] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8587/stat : 8587 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409211099792 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8588] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8588/stat : 8588 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409210046992 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8589] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8589/stat : 8589 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409208994704 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8590] ppid=8579 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8582/task/8590/stat : 8590 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409207941904 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8591] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8591/stat : 8591 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409206889616 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8592] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8592/stat : 8592 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 27328 33554432000 4194304 4196468 140734772884064 140409205836816 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8593] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8593/stat : 8593 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407444850800 140409393764994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8594] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8594/stat : 8594 (java) S 8579 8582 7877 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407312737056 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8595] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8595/stat : 8595 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407044301936 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8596] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8596/stat : 8596 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 27328 33554432000 4194304 4196468 140734772884064 140406669793360 140409393772443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8597] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8597/stat : 8597 (java) S 8579 8582 7877 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407443798640 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8598] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8598/stat : 8598 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407442745840 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8599] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8599/stat : 8599 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407441693552 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8600] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8600/stat : 8600 (java) S 8579 8582 7877 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407440640752 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8601] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8601/stat : 8601 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 27328 33554432000 4194304 4196468 140734772884064 140406171887968 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8602] ppid=8579 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8582/task/8602/stat : 8602 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 27328 33554432000 4194304 4196468 140734772884064 140407439587632 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 109312 KiB [startup+0.210207 s]* /proc/loadavg: 8.24 8.68 8.80 2/199 8602 /proc/meminfo: memFree=12198480/32770624 swapFree=67108860/67108860 [pid=8582] ppid=8579 vsize=27312552 memory=123700 CPUtime=0.24 cores=0-7 /proc/8582/stat : 8582 (java) S 8579 8582 7877 0 -1 1077944320 10650 0 0 0 21 3 0 0 20 0 20 0 81473780 27968053248 30925 33554432000 4194304 4196468 140734772884064 140734772866608 140409393753847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 /proc/8582/statm: 6828138 30925 2886 1 0 6790598 0 [pid=8582/tid=8584] ppid=8579 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/8582/task/8584/stat : 8584 (java) R 8579 8582 7877 0 -1 4202560 8546 0 0 0 17 2 0 0 20 0 20 0 81473781 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409365544512 140409377797477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8585] ppid=8579 vsize=27312552 memory=12881 CPUtime=0 cores=0-7 /proc/8582/task/8585/stat : 8585 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409397995920 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8586] ppid=8579 vsize=27312552 memory=140456133998177 CPUtime=0 cores=0-7 /proc/8582/task/8586/stat : 8586 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409212152080 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8587] ppid=8579 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8582/task/8587/stat : 8587 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409211099792 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8588] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8588/stat : 8588 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409210046992 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8589] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8589/stat : 8589 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409208994704 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8590] ppid=8579 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8582/task/8590/stat : 8590 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409207941904 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8591] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8591/stat : 8591 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409206889616 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8592] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8592/stat : 8592 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 30925 33554432000 4194304 4196468 140734772884064 140409205836816 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8593] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8593/stat : 8593 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407444850800 140409393764994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8594] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8594/stat : 8594 (java) S 8579 8582 7877 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407312737056 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8595] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8595/stat : 8595 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407044301936 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8596] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8596/stat : 8596 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 30925 33554432000 4194304 4196468 140734772884064 140406669793360 140409393772443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8597] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8597/stat : 8597 (java) S 8579 8582 7877 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407443798640 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8598] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8598/stat : 8598 (java) S 8579 8582 7877 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407442745840 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8599] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8599/stat : 8599 (java) S 8579 8582 7877 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407441693552 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8600] ppid=8579 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/8582/task/8600/stat : 8600 (java) S 8579 8582 7877 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 20 0 81473788 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407440640752 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8601] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8601/stat : 8601 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 30925 33554432000 4194304 4196468 140734772884064 140406171887968 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8602] ppid=8579 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8582/task/8602/stat : 8602 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 30925 33554432000 4194304 4196468 140734772884064 140407439587632 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 123700 KiB [startup+0.310239 s]* /proc/loadavg: 8.24 8.68 8.80 2/199 8602 /proc/meminfo: memFree=12195068/32770624 swapFree=67108860/67108860 [pid=8582] ppid=8579 vsize=27312552 memory=127208 CPUtime=0.42 cores=0-7 /proc/8582/stat : 8582 (java) S 8579 8582 7877 0 -1 1077944320 11195 0 0 0 38 4 0 0 20 0 20 0 81473780 27968053248 31802 33554432000 4194304 4196468 140734772884064 140734772866608 140409393753847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 /proc/8582/statm: 6828138 31802 2974 1 0 6790598 0 [pid=8582/tid=8584] ppid=8579 vsize=27312552 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/8582/task/8584/stat : 8584 (java) R 8579 8582 7877 0 -1 4202560 8923 0 0 0 27 3 0 0 20 0 20 0 81473781 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409365557776 140409378919415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8585] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8585/stat : 8585 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409397995920 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8586] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8586/stat : 8586 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409212152080 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8587] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8587/stat : 8587 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409211099792 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8588] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8588/stat : 8588 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409210046992 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8589] ppid=8579 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/8582/task/8589/stat : 8589 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409208994704 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8590] ppid=8579 vsize=27312552 memory=140456033874863 CPUtime=0 cores=0-7 /proc/8582/task/8590/stat : 8590 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409207941904 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8591] ppid=8579 vsize=27312552 memory=140456033877168 CPUtime=0 cores=0-7 /proc/8582/task/8591/stat : 8591 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409206889616 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8592] ppid=8579 vsize=27312552 memory=140456033879472 CPUtime=0 cores=0-7 /proc/8582/task/8592/stat : 8592 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473783 27968053248 31802 33554432000 4194304 4196468 140734772884064 140409205836816 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8593] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8593/stat : 8593 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407444850800 140409393764994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8594] ppid=8579 vsize=27312552 memory=280912067765904 CPUtime=0 cores=0-7 /proc/8582/task/8594/stat : 8594 (java) S 8579 8582 7877 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407312737056 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8595] ppid=8579 vsize=27312552 memory=280912067772816 CPUtime=0 cores=0-7 /proc/8582/task/8595/stat : 8595 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473785 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407044301936 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8596] ppid=8579 vsize=27312552 memory=280912067714096 CPUtime=0 cores=0-7 /proc/8582/task/8596/stat : 8596 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 31802 33554432000 4194304 4196468 140734772884064 140406669793360 140409393772443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8597] ppid=8579 vsize=27312552 memory=280912067786640 CPUtime=0 cores=0-7 /proc/8582/task/8597/stat : 8597 (java) S 8579 8582 7877 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407443798640 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8598] ppid=8579 vsize=27312552 memory=280912067793552 CPUtime=0.02 cores=0-7 /proc/8582/task/8598/stat : 8598 (java) S 8579 8582 7877 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 81473788 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407442745840 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8599] ppid=8579 vsize=27312552 memory=280912067791248 CPUtime=0 cores=0-7 /proc/8582/task/8599/stat : 8599 (java) S 8579 8582 7877 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407441693552 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8600] ppid=8579 vsize=27312552 memory=280912067807856 CPUtime=0.07 cores=0-7 /proc/8582/task/8600/stat : 8600 (java) S 8579 8582 7877 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 20 0 81473788 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407440640752 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8601] ppid=8579 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8601/stat : 8601 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 31802 33554432000 4194304 4196468 140734772884064 140406171887968 140409393764053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8602] ppid=8579 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8582/task/8602/stat : 8602 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473788 27968053248 31802 33554432000 4194304 4196468 140734772884064 140407439587632 140409393764994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 127208 KiB [startup+0.701214 s] /proc/loadavg: 8.24 8.68 8.80 2/199 8602 /proc/meminfo: memFree=12170636/32770624 swapFree=67108860/67108860 [pid=8582] ppid=8579 vsize=27318824 memory=165036 CPUtime=1.02 cores=0-7 /proc/8582/stat : 8582 (java) S 8579 8582 7877 0 -1 1077944320 18227 0 0 0 96 6 0 0 20 0 20 0 81473780 27974475776 41259 33554432000 4194304 4196468 140734772884064 140734772866608 140409393753847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 /proc/8582/statm: 6829706 41259 3141 1 0 6791110 0 [pid=8582/tid=8584] ppid=8579 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/8582/task/8584/stat : 8584 (java) R 8579 8582 7877 0 -1 4202560 15431 0 0 0 63 4 0 0 20 0 20 0 81473781 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409365587568 140408875428988 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8585] ppid=8579 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8585/stat : 8585 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409397995920 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8586] ppid=8579 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8586/stat : 8586 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409212152080 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8587] ppid=8579 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8587/stat : 8587 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409211099792 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8588] ppid=8579 vsize=27318824 memory=1200 CPUtime=0 cores=0-7 /proc/8582/task/8588/stat : 8588 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409210046992 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8589] ppid=8579 vsize=27318824 memory=8584 CPUtime=0 cores=0-7 /proc/8582/task/8589/stat : 8589 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409208994704 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8590] ppid=8579 vsize=27318824 memory=4616 CPUtime=0 cores=0-7 /proc/8582/task/8590/stat : 8590 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409207941904 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8591] ppid=8579 vsize=27318824 memory=1428 CPUtime=0 cores=0-7 /proc/8582/task/8591/stat : 8591 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409206889616 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8592] ppid=8579 vsize=27318824 memory=15876 CPUtime=0 cores=0-7 /proc/8582/task/8592/stat : 8592 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81473783 27974475776 41259 33554432000 4194304 4196468 140734772884064 140409205836816 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8593] ppid=8579 vsize=27318824 memory=16436 CPUtime=0 cores=0-7 /proc/8582/task/8593/stat : 8593 (java) S 8579 8582 7877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81473785 27974475776 41259 33554432000 4194304 4196468 140734772884064 140407444850800 140409393764994 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 ################ # More data... # ################ /proc/8582/task/8590/stat : 8590 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409207941904 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8591] ppid=8579 vsize=27984808 memory=8761640388318109335 CPUtime=0 cores=0-7 /proc/8582/task/8591/stat : 8591 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409206889616 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8592] ppid=8579 vsize=27984808 memory=-7384994778349281184 CPUtime=0 cores=0-7 /proc/8582/task/8592/stat : 8592 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409205836816 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8593] ppid=8579 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/8582/task/8593/stat : 8593 (java) S 8579 8582 7877 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407444850800 140409393764994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8594] ppid=8579 vsize=27984808 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/8582/task/8594/stat : 8594 (java) S 8579 8582 7877 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407312737056 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8595] ppid=8579 vsize=27984808 memory=14134428972616243 CPUtime=0 cores=0-7 /proc/8582/task/8595/stat : 8595 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407044301936 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8596] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8596/stat : 8596 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140406669793360 140409393772443 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8597] ppid=8579 vsize=27984808 memory=0 CPUtime=3.12 cores=0-7 /proc/8582/task/8597/stat : 8597 (java) S 8579 8582 7877 0 -1 1077944384 4288 0 0 0 310 2 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407443798640 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8598] ppid=8579 vsize=27984808 memory=0 CPUtime=3 cores=0-7 /proc/8582/task/8598/stat : 8598 (java) S 8579 8582 7877 0 -1 1077944384 3434 0 0 0 299 1 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407442745840 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8599] ppid=8579 vsize=27984808 memory=0 CPUtime=3.27 cores=0-7 /proc/8582/task/8599/stat : 8599 (java) S 8579 8582 7877 0 -1 1077944384 2433 0 0 0 326 1 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407441693552 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8600] ppid=8579 vsize=27984808 memory=0 CPUtime=1.51 cores=0-7 /proc/8582/task/8600/stat : 8600 (java) S 8579 8582 7877 0 -1 1077944384 4261 0 0 0 149 2 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407440640752 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8601] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8601/stat : 8601 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140406171887968 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8602] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8602/stat : 8602 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407439587632 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8604] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8604/stat : 8604 (java) S 8579 8582 7877 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81474368 28656443392 769237 33554432000 4194304 4196468 140734772884064 140408789800256 140409393778457 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8606] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8606/stat : 8606 (java) S 8579 8582 7877 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 81474369 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405500788528 140409393775773 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8607] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8607/stat : 8607 (java) S 8579 8582 7877 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 81474369 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405232352944 140409393775773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8608] ppid=8579 vsize=27984808 memory=1106132 CPUtime=0 cores=0-7 /proc/8582/task/8608/stat : 8608 (java) S 8579 8582 7877 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 24 0 81474371 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405769232160 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 Current children cumulated CPU time: 17.22 s Current children cumulated vsize: 28048264 KiB Current children cumulated memory: 3114512 KiB [startup+6.83921 s] # the end of solver process 8582 was just reported to runsolver # cumulated CPU time of all completed processes: user=19.4311 s, system=0.655352 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40147 s] /proc/loadavg: 7.74 8.57 8.76 2/204 8608 /proc/meminfo: memFree=9209400/32770624 swapFree=67108860/67108860 [pid=8582] ppid=8579 vsize=27984808 memory=3076948 CPUtime=16.81 cores=0-7 /proc/8582/stat : 8582 (java) S 8579 8582 7877 0 -1 1077944320 35049 0 0 0 1628 53 0 0 20 0 24 0 81473780 28656443392 769237 33554432000 4194304 4196468 140734772884064 140734772866608 140409393753847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 /proc/8582/statm: 6996202 769237 3236 1 0 6957058 0 [pid=8603] ppid=8582 vsize=143492 memory=124460 CPUtime=0.51 cores=0-7 /proc/8603/stat : 8603 (glucose-syrup) R 8582 8582 7877 0 -1 4202496 25483 0 0 0 48 3 0 0 20 0 1 0 81474368 146935808 31115 33554432000 4194304 4373367 140722535324768 140722535322488 4283621 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6470912 6472264 34054144 140722535326641 140722535326892 140722535326892 140722535329735 0 /proc/8603/statm: 35873 31115 366 44 0 31561 0 [pid=8582/tid=8584] ppid=8579 vsize=27984808 memory=0 CPUtime=5.88 cores=0-7 /proc/8582/task/8584/stat : 8584 (java) S 8579 8582 7877 0 -1 1077944384 19222 0 0 0 542 46 0 0 20 0 24 0 81473781 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409365593088 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8585] ppid=8579 vsize=27984808 memory=2416 CPUtime=0 cores=0-7 /proc/8582/task/8585/stat : 8585 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409397995920 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8586] ppid=8579 vsize=27984808 memory=1728 CPUtime=0 cores=0-7 /proc/8582/task/8586/stat : 8586 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409212152080 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8587] ppid=8579 vsize=27984808 memory=1700 CPUtime=0 cores=0-7 /proc/8582/task/8587/stat : 8587 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409211099792 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8588] ppid=8579 vsize=27984808 memory=796 CPUtime=0 cores=0-7 /proc/8582/task/8588/stat : 8588 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409210046992 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8589] ppid=8579 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/8582/task/8589/stat : 8589 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409208994704 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8590] ppid=8579 vsize=27984808 memory=62372 CPUtime=0 cores=0-7 /proc/8582/task/8590/stat : 8590 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409207941904 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8591] ppid=8579 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/8582/task/8591/stat : 8591 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409206889616 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8592] ppid=8579 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/8582/task/8592/stat : 8592 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409205836816 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8593] ppid=8579 vsize=27984808 memory=-5587046532246807594 CPUtime=0 cores=0-7 /proc/8582/task/8593/stat : 8593 (java) S 8579 8582 7877 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407444850800 140409393764994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8594] ppid=8579 vsize=27984808 memory=7233150701346200438 CPUtime=0 cores=0-7 /proc/8582/task/8594/stat : 8594 (java) S 8579 8582 7877 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407312737056 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8595] ppid=8579 vsize=27984808 memory=7016714186490735262 CPUtime=0 cores=0-7 /proc/8582/task/8595/stat : 8595 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407044301936 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8596] ppid=8579 vsize=27984808 memory=-7522837583045875833 CPUtime=0 cores=0-7 /proc/8582/task/8596/stat : 8596 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140406669793360 140409393772443 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8597] ppid=8579 vsize=27984808 memory=-7465405268641471099 CPUtime=3.12 cores=0-7 /proc/8582/task/8597/stat : 8597 (java) S 8579 8582 7877 0 -1 1077944384 4288 0 0 0 310 2 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407443798640 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8598] ppid=8579 vsize=27984808 memory=280912068292592 CPUtime=3 cores=0-7 /proc/8582/task/8598/stat : 8598 (java) S 8579 8582 7877 0 -1 1077944384 3434 0 0 0 299 1 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407442745840 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8599] ppid=8579 vsize=27984808 memory=0 CPUtime=3.27 cores=0-7 /proc/8582/task/8599/stat : 8599 (java) S 8579 8582 7877 0 -1 1077944384 2433 0 0 0 326 1 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407441693552 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8600] ppid=8579 vsize=27984808 memory=0 CPUtime=1.51 cores=0-7 /proc/8582/task/8600/stat : 8600 (java) S 8579 8582 7877 0 -1 1077944384 4261 0 0 0 149 2 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407440640752 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8601] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8601/stat : 8601 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140406171887968 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8602] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8602/stat : 8602 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407439587632 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8604] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8604/stat : 8604 (java) S 8579 8582 7877 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81474368 28656443392 769237 33554432000 4194304 4196468 140734772884064 140408789800256 140409393778457 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8606] ppid=8579 vsize=27984808 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/8582/task/8606/stat : 8606 (java) S 8579 8582 7877 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 81474369 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405500788528 140409393775773 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8607] ppid=8579 vsize=27984808 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/8582/task/8607/stat : 8607 (java) S 8579 8582 7877 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 81474369 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405232352944 140409393775773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8608] ppid=8579 vsize=27984808 memory=140456034038912 CPUtime=0 cores=0-7 /proc/8582/task/8608/stat : 8608 (java) S 8579 8582 7877 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 24 0 81474371 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405769232160 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 Current children cumulated CPU time: 17.32 s Current children cumulated vsize: 28128300 KiB Current children cumulated memory: 3201408 KiB [startup+6.80199 s] /proc/loadavg: 7.74 8.57 8.76 2/204 8608 /proc/meminfo: memFree=9209400/32770624 swapFree=67108860/67108860 [pid=8582] ppid=8579 vsize=27984808 memory=3076948 CPUtime=16.82 cores=0-7 /proc/8582/stat : 8582 (java) S 8579 8582 7877 0 -1 1077944320 35052 0 0 0 1629 53 0 0 20 0 24 0 81473780 28656443392 769237 33554432000 4194304 4196468 140734772884064 140734772866608 140409393753847 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 /proc/8582/statm: 6996202 769237 3236 1 0 6957058 0 [pid=8582/tid=8584] ppid=8579 vsize=27984808 memory=9665 CPUtime=5.88 cores=0-7 /proc/8582/task/8584/stat : 8584 (java) S 8579 8582 7877 0 -1 1077944384 19222 0 0 0 542 46 0 0 20 0 24 0 81473781 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409365593088 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8585] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8585/stat : 8585 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409397995920 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8586] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8586/stat : 8586 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409212152080 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8587] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8587/stat : 8587 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409211099792 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8588] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8588/stat : 8588 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409210046992 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8589] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8589/stat : 8589 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409208994704 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8590] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8590/stat : 8590 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409207941904 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8591] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8591/stat : 8591 (java) S 8579 8582 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409206889616 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8592] ppid=8579 vsize=27984808 memory=-3622645143214314312 CPUtime=0 cores=0-7 /proc/8582/task/8592/stat : 8592 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81473783 28656443392 769237 33554432000 4194304 4196468 140734772884064 140409205836816 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8593] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8593/stat : 8593 (java) S 8579 8582 7877 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407444850800 140409393764994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8594] ppid=8579 vsize=27984808 memory=140456034088384 CPUtime=0 cores=0-7 /proc/8582/task/8594/stat : 8594 (java) S 8579 8582 7877 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407312737056 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8595] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8595/stat : 8595 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473785 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407044301936 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8596] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8596/stat : 8596 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140406669793360 140409393772443 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8597] ppid=8579 vsize=27984808 memory=0 CPUtime=3.12 cores=0-7 /proc/8582/task/8597/stat : 8597 (java) S 8579 8582 7877 0 -1 1077944384 4288 0 0 0 310 2 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407443798640 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8598] ppid=8579 vsize=27984808 memory=12073153071324 CPUtime=3 cores=0-7 /proc/8582/task/8598/stat : 8598 (java) S 8579 8582 7877 0 -1 1077944384 3434 0 0 0 299 1 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407442745840 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8599] ppid=8579 vsize=27984808 memory=288230621803970871 CPUtime=3.27 cores=0-7 /proc/8582/task/8599/stat : 8599 (java) S 8579 8582 7877 0 -1 1077944384 2433 0 0 0 326 1 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407441693552 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8600] ppid=8579 vsize=27984808 memory=14134428972616243 CPUtime=1.51 cores=0-7 /proc/8582/task/8600/stat : 8600 (java) R 8579 8582 7877 0 -1 4202560 4262 0 0 0 149 2 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407440640752 140409393765782 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8601] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8601/stat : 8601 (java) S 8579 8582 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140406171887968 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8602] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8602/stat : 8602 (java) S 8579 8582 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81473788 28656443392 769237 33554432000 4194304 4196468 140734772884064 140407439587632 140409393764994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8604] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8604/stat : 8604 (java) S 8579 8582 7877 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81474368 28656443392 769237 33554432000 4194304 4196468 140734772884064 140408789800256 140409393778457 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8606] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8606/stat : 8606 (java) R 8579 8582 7877 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 81474369 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405500794432 140409385995237 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8607] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8607/stat : 8607 (java) S 8579 8582 7877 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 81474369 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405232352944 140409393775773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 [pid=8582/tid=8608] ppid=8579 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8582/task/8608/stat : 8608 (java) S 8579 8582 7877 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 24 0 81474371 28656443392 769237 33554432000 4194304 4196468 140734772884064 140405769232160 140409393764053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140734772888537 140734772888837 140734772888837 140734772891599 0 Current children cumulated CPU time: 16.82 s Current children cumulated vsize: 27984808 KiB Current children cumulated memory: 3076948 KiB Child status: 0 Real time (s): 6.83926 CPU time (s): 20.0865 CPU user time (s): 19.4311 CPU system time (s): 0.655352 CPU usage (%): 293.693 Max. virtual memory (cumulated for all children) (KiB): 28797412 Max. memory (cumulated for all children) (KiB): 3293220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.4311 system time used= 0.655352 maximum resident set size= 3077892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78078 page faults= 0 swaps= 0 block input operations= 0 block output operations= 12088 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8203 involuntary context switches= 55 # summary of solver processes directly reported to runsolver: # pid: 8582 # total CPU time (s): 20.0865 # total CPU user time (s): 19.4311 # total CPU system time (s): 0.655352 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.077512 second user time and 0.10658 second system time The end
Begin job on node139 at 2018-07-26 23:05:06 IDJOB=4297113 IDBENCH=141183 IDSOLVER=2758 FILE ID=node139/4297113-1532639106 RUNJOBID= node139-1532634055-7904 PBS_JOBID= 21022188 Free space on /tmp= 38720 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f04_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-4297113-1532639106/watcher-4297113-1532639106 -o /tmp/evaluation-result-4297113-1532639106/solver-4297113-1532639106 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532634055-7904 --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-4297113-1532639106.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3c3f91fe2d5d1aa7af585cdf812638b5 RANDOM SEED=746719146 node139.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.80 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.80 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.80 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.80 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: 12312068 kB MemAvailable: 31931920 kB Buffers: 244108 kB Cached: 19330868 kB SwapCached: 0 kB Active: 3050252 kB Inactive: 16575704 kB Active(anon): 5192 kB Inactive(anon): 73540 kB Active(file): 3045060 kB Inactive(file): 16502164 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8180 kB Writeback: 0 kB AnonPages: 58204 kB Mapped: 41212 kB Shmem: 25228 kB Slab: 527864 kB SReclaimable: 501088 kB SUnreclaim: 26776 kB KernelStack: 3184 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38712 MiB End job on node139 at 2018-07-26 23:05:13