| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 45.2784 | 25.7103 |
| Name | Crossword/ Crossword-m18-ogd2008-vg-04-05_c18.xml |
| MD5SUM | 340365fb59c69c653973bf6f753c5e6c |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 3.5247 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 20 |
| Number of constraints | 9 |
| Number of domains | 1 |
| Minimum domain size | 26 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":26,"count":20}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":20}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 5 |
| Distribution of constraint arities | [{"arity":4,"count":5},{"arity":5,"count":4}] |
| Number of extensional constraints | 9 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":9}] |
| 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: Fri Jul 27 05:22:19 CEST 2018 0.66/0.56 c PID: 11476 0.66/0.56 c IP: 172.20.3.139 0.66/0.56 c HOST: node139.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.75/0.98 c (0,0) Parsing End 1.75/0.99 c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 9 ctr, max domain size 26 1.75/0.99 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.75/0.99 c (0,0) Constraint Name Generate Begin 1.75/0.99 c (0,0) Ctr:HOME/instance-4297061-1532661738.xml,ExtensionSupport:IntVar 1.75/0.99 c (0,0) Constraint Name Generate End 1.75/0.99 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.75/0.99 c (0,0) CSP to CSPinCNF Begin 2.06/1.03 c (0,0) translated 1 (10%) constraints 16.79/6.42 c (5,5) translated 2 (20%) constraints 20.85/8.71 c (8,8) translated 3 (30%) constraints 22.81/10.69 c (10,10) translated 4 (40%) constraints 25.12/12.69 c (12,12) translated 5 (50%) constraints 26.22/13.69 c (13,13) translated 6 (60%) constraints 26.83/14.28 c (13,13) translated 7 (70%) constraints 27.47/14.88 c (14,14) translated 8 (80%) constraints 28.08/15.47 c (14,14) translated 9 (90%) constraints 31.97/17.00 c (16,16) STATISTICS1:HOME/instance-4297061-1532661738.xml,ExtensionSupport:IntVar,22058,269366,-1,26,27,1,,26:458087;2:479995,27:51;26:53;25:58;24:52;23:58;22:80;21:79;20:66;19:69;18:70;17:113;16:105;15:113;14:150;13:111;12:173;11:233;10:303;9:333;8:619;7:849;6:1101;5:1434;4:128643;3:96346;2:38104,1:938082;0:9, 31.97/17.00 c (16,16) =========================================== 31.97/17.00 c (16,16) Order 31.97/17.00 c (16,16) =========================================== 32.91/17.41 c (16,16) translated 26937 (10%) constraints 33.24/17.77 c (17,16) translated 53874 (20%) constraints 33.74/18.12 c (17,17) translated 80810 (30%) constraints 34.03/18.46 c (17,17) translated 107747 (40%) constraints 34.43/18.81 c (18,17) translated 134683 (50%) constraints 34.74/19.15 c (18,18) translated 161620 (60%) constraints 35.13/19.50 c (18,18) translated 188557 (70%) constraints 35.50/19.84 c (19,19) translated 215493 (80%) constraints 35.81/20.16 c (19,19) translated 242430 (90%) constraints 36.12/20.48 c (19,19) translated 269366 (100%) constraints 36.12/20.48 c (19,19) CSP to CSPinCNF End 36.25/20.50 c (19,19) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26 36.25/20.50 c (19,19) Heap : 2942 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 36.25/20.50 c (19,19) CSPinCNF Propagation Begin 37.99/21.91 c (21,21) 0 values, 9 unsatisfiable literals, and 0 valid clauses are removed 37.99/21.91 c (21,21) CSPinCNF Propagation End 37.99/21.92 c (21,21) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26 37.99/21.92 c (21,21) Heap : 4377 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 37.99/21.92 c (21,21) Simplify CSPinCNF Begin 38.57/22.41 c (21,21) Simplify CSPinCNF End 38.57/22.42 c (21,21) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26 38.57/22.42 c (21,21) Heap : 4598 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 38.57/22.42 c (21,21) Calculate Precise Domain Begin 38.57/22.42 c (21,21) 0 values are removed by re-calculation 38.57/22.42 c (21,21) Calculate Precise Domain End 38.57/22.42 c (21,21) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26 38.57/22.42 c (21,21) Heap : 4598 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 38.57/22.42 c (21,21) CSPinCNF to SatSolver Begin 39.54/22.73 c (22,21) 26937 (10 %) CSP clauses are encoded (22538 SAT variables, 27416 SAT clauses) 39.68/22.88 c (22,22) 53874 (20 %) CSP clauses are encoded (22538 SAT variables, 54353 SAT clauses) 39.88/23.02 c (22,22) 80810 (30 %) CSP clauses are encoded (22538 SAT variables, 81289 SAT clauses) 40.00/23.17 c (22,22) 107747 (40 %) CSP clauses are encoded (22538 SAT variables, 108226 SAT clauses) 40.19/23.31 c (22,22) 134683 (50 %) CSP clauses are encoded (22538 SAT variables, 135162 SAT clauses) 40.29/23.46 c (22,22) 161620 (60 %) CSP clauses are encoded (22538 SAT variables, 162099 SAT clauses) 40.49/23.60 c (23,22) 188557 (70 %) CSP clauses are encoded (22538 SAT variables, 189036 SAT clauses) 40.59/23.73 c (23,22) 215493 (80 %) CSP clauses are encoded (22538 SAT variables, 215972 SAT clauses) 40.69/23.87 c (23,23) 242430 (90 %) CSP clauses are encoded (22538 SAT variables, 242909 SAT clauses) 42.83/24.25 c (23,23) 269366 (100 %) CSP clauses are encoded (22538 SAT variables, 269845 SAT clauses) 42.83/24.25 c (23,23) CSPinCNF to SatSolver End 42.83/24.25 c (23,23) Heap : 377 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 43.75/24.97 c (24,23) STATISTICS2:HOME/instance-4297061-1532661738.xml,ExtensionSupport:IntVar,22058,269366,-1,26,27,1,,26:458087;2:479995,27:42;26:62;25:58;24:52;23:58;22:80;21:79;20:66;19:69;18:70;17:113;16:105;15:113;14:150;13:111;12:173;11:233;10:303;9:333;8:619;7:849;6:1101;5:1434;4:128643;3:96346;2:38104,1:938082, 43.75/24.97 c (24,23) SatSolver.solve Begin 43.75/24.97 c (24,23) 22538 bool, 269846 clause 43.75/24.97 c (24,23) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297061-1532661738.xml-scop-11476.cnf HOME/instance-4297061-1532661738.xml-scop-11476.cnf.out 44.45/25.58 c (25,0) c 44.45/25.58 c (25,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 44.45/25.58 c (25,0) c 44.45/25.58 c (25,0) c WARNING: for repeatability, setting FPU to use double precision 44.45/25.58 c (25,0) c 8 solvers engines and 1 companion as a blackboard created. 44.45/25.58 c (25,0) c ========================================[ Problem Statistics ]=========================================== 44.45/25.58 c (25,0) c | | 44.45/25.58 c (25,0) c | Number of variables: 22538 | 44.45/25.58 c (25,0) c | Number of clauses: 269846 | 44.45/25.58 c (25,0) c | Parse time: 0.09 s | 44.45/25.59 c (25,0) c | | 44.45/25.59 c (25,0) c | Eliminated clauses: 0.07 Mb | 44.45/25.59 c (25,0) c | Simplification time: 0.33 s | 44.45/25.59 c (25,0) c | | 44.45/25.59 c (25,0) c | Generating clones | 44.45/25.59 c (25,0) c | all clones generated. Memory = 159.66Mb. | 44.45/25.59 c (25,0) c ========================================================================================================| 44.45/25.59 c (25,0) c last restart ## conflicts : 52 175 44.45/25.59 c (25,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer). 44.45/25.59 c (25,0) c Total Memory so far : 741.27Mb 44.45/25.59 c (25,0) c 44.45/25.59 c (25,0) c real time : 0.599587 s 44.45/25.59 c (25,0) c cpu time : 0.800926 s 44.45/25.59 c (25,0) c 44.45/25.59 c (25,0) c 44.45/25.59 c (25,0) c 44.45/25.59 c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 44.45/25.59 c (25,0) c 44.45/25.59 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.45/25.59 c (25,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 44.45/25.59 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.45/25.59 c (25,0) c | Conflicts | 414 | 52 | 61 | 37 | 62 | 60 | 41 | 39 | 62 | 44.45/25.59 c (25,0) c | Decisions | 6277 | 549 | 851 | 763 | 860 | 847 | 782 | 765 | 860 | 44.45/25.59 c (25,0) c | Propagations | 423051 | 38314 | 57674 | 48828 | 60998 | 56976 | 49887 | 49376 | 60998 | 44.45/25.59 c (25,0) c | Avg_Trail | | 16437 | 15991 | 16628 | 15978 | 15938 | 16458 | 16539 | 15978 | 44.45/25.59 c (25,0) c | Avg_DL | | 187 | 252 | 263 | 252 | 253 | 259 | 261 | 252 | 44.45/25.59 c (25,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.45/25.59 c (25,0) c | Exported | 7 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 44.45/25.59 c (25,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.45/25.59 c (25,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 44.45/25.59 c (25,0) c | Binaries | | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 44.45/25.59 c (25,0) c | Glues | | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 44.45/25.59 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.45/25.59 c (25,0) c | Orig_Seen | 0 % | 418 | 1091 | 632 | 1157 | 1089 | 915 | 773 | 1157 | 44.45/25.59 c (25,0) c | Diff Orig seen| | X | 673 | 214 | 739 | 671 | 497 | 355 | 739 | 44.45/25.59 c (25,0) c | Hamming | 3 % | X | 912 | 863 | 907 | 893 | 858 | 867 | 907 | 44.45/25.59 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.45/25.59 c (25,0) 44.45/25.59 c (25,0) s SATISFIABLE 43.93/25.62 c (25,23) SatSolver.solve End 43.93/25.62 c (25,23) Heap : 1858 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 43.93/25.62 c (25,23) Show results Begin 43.93/25.63 c (25,23) x[0][0] = 0 43.93/25.63 c (25,23) x[0][1] = 6 43.93/25.63 c (25,23) x[0][2] = 13 43.93/25.63 c (25,23) x[0][3] = 4 43.93/25.63 c (25,23) x[0][4] = 1 43.93/25.63 c (25,23) x[1][0] = 3 43.93/25.63 c (25,23) x[1][1] = 17 43.93/25.63 c (25,23) x[1][2] = 14 43.93/25.63 c (25,23) x[1][3] = 12 43.93/25.63 c (25,23) x[1][4] = 0 43.93/25.63 c (25,23) x[2][0] = 18 43.93/25.63 c (25,23) x[2][1] = 20 43.93/25.63 c (25,23) x[2][2] = 2 43.93/25.63 c (25,23) x[2][3] = 14 43.93/25.63 c (25,23) x[2][4] = 13 43.93/25.63 c (25,23) x[3][0] = 11 43.93/25.63 c (25,23) x[3][1] = 4 43.93/25.63 c (25,23) x[3][2] = 4 43.93/25.63 c (25,23) x[3][3] = 20 43.93/25.63 c (25,23) x[3][4] = 22 43.93/25.63 s SATISFIABLE 43.93/25.63 v <instantiation> 43.93/25.63 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4]</list> 43.93/25.63 v <values>0 6 13 4 1 3 17 14 12 0 18 20 2 14 13 11 4 4 20 22</values> 43.93/25.63 v </instantiation> 43.93/25.63 c (25,23) Show results End 43.93/25.63 c (25,23) Heap : 1858 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 43.93/25.63 c (25,23) 0,0,19,21,21,21,23,25,25,STOP-AFTER(ALL) 43.93/25.63 c END-Prog: Fri Jul 27 05:22:44 CEST 2018
OK
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 (3988 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-4297061-1532661738/watcher-4297061-1532661738 -o /tmp/evaluation-result-4297061-1532661738/solver-4297061-1532661738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532655391-10321 --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-4297061-1532661738.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=11476, runsolver pid=11473
[startup+0.100152 s]*
/proc/loadavg: 7.41 8.50 8.73 2/199 11496
/proc/meminfo: memFree=12207568/32770624 swapFree=67108860/67108860
[pid=11476] ppid=11473 vsize=27312552 memory=108676 CPUtime=0.1 cores=0-7
/proc/11476/stat : 11476 (java) S 11473 11476 10294 0 -1 1077944320 6161 0 0 0 8 2 0 0 20 0 20 0 83736981 27968053248 27169 33554432000 4194304 4196468 140732372328416 140732372310960 140459429211895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
/proc/11476/statm: 6828138 27169 2751 1 0 6790598 0
[pid=11476/tid=11478] ppid=11473 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11476/task/11478/stat : 11478 (java) R 11473 11476 10294 0 -1 4202560 4284 0 0 0 7 2 0 0 20 0 20 0 83736981 27968053248 27169 33554432000 4194304 4196468 140732372328416 140459401017368 140459409488720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11479] ppid=11473 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11476/task/11479/stat : 11479 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140459433454224 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11480] ppid=11473 vsize=27312552 memory=140650648753792 CPUtime=0 cores=0-7
/proc/11476/task/11480/stat : 11480 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458850990608 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11481] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11481/stat : 11481 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458849937808 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11482] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11482/stat : 11482 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458848885008 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11483] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11483/stat : 11483 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458847833232 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11484] ppid=11473 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11476/task/11484/stat : 11484 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458846780432 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11485] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11485/stat : 11485 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458845727632 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11486] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11486/stat : 11486 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458844674832 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11487] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11487/stat : 11487 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736985 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458421270896 140459429223042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11488] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11488/stat : 11488 (java) S 11473 11476 10294 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83736986 27968053248 27169 33554432000 4194304 4196468 140732372328416 140457375949856 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11489] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11489/stat : 11489 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736986 27968053248 27169 33554432000 4194304 4196468 140732372328416 140457107514224 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11490] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11490/stat : 11490 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 27169 33554432000 4194304 4196468 140732372328416 140456733005648 140459429230491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11491] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11491/stat : 11491 (java) S 11473 11476 10294 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458420218736 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11492] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11492/stat : 11492 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458419165936 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11493] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11493/stat : 11493 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458418113136 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11494] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11494/stat : 11494 (java) S 11473 11476 10294 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458417060336 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11495] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11495/stat : 11495 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 27169 33554432000 4194304 4196468 140732372328416 140456235100768 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11496] ppid=11473 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11476/task/11496/stat : 11496 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 27169 33554432000 4194304 4196468 140732372328416 140458416007728 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108676 KiB
[startup+0.210341 s]*
/proc/loadavg: 7.41 8.50 8.73 2/199 11496
/proc/meminfo: memFree=12188932/32770624 swapFree=67108860/67108860
[pid=11476] ppid=11473 vsize=27312552 memory=123328 CPUtime=0.24 cores=0-7
/proc/11476/stat : 11476 (java) S 11473 11476 10294 0 -1 1077944320 10048 0 0 0 21 3 0 0 20 0 20 0 83736981 27968053248 30832 33554432000 4194304 4196468 140732372328416 140732372310960 140459429211895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
/proc/11476/statm: 6828138 30832 2910 1 0 6790598 0
[pid=11476/tid=11478] ppid=11473 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/11476/task/11478/stat : 11478 (java) R 11473 11476 10294 0 -1 4202560 7964 0 0 0 17 2 0 0 20 0 20 0 83736981 27968053248 30832 33554432000 4194304 4196468 140732372328416 140459401033696 140459413292382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11479] ppid=11473 vsize=27312552 memory=12881 CPUtime=0 cores=0-7
/proc/11476/task/11479/stat : 11479 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140459433454224 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11480] ppid=11473 vsize=27312552 memory=140650649218520 CPUtime=0 cores=0-7
/proc/11476/task/11480/stat : 11480 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458850990608 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11481] ppid=11473 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11476/task/11481/stat : 11481 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458849937808 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11482] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11482/stat : 11482 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458848885008 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11483] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11483/stat : 11483 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458847833232 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11484] ppid=11473 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11476/task/11484/stat : 11484 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458846780432 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11485] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11485/stat : 11485 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458845727632 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11486] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11486/stat : 11486 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458844674832 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11487] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11487/stat : 11487 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736985 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458421270896 140459429223042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11488] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11488/stat : 11488 (java) S 11473 11476 10294 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83736986 27968053248 30832 33554432000 4194304 4196468 140732372328416 140457375949856 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11489] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11489/stat : 11489 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736986 27968053248 30832 33554432000 4194304 4196468 140732372328416 140457107514224 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11490] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11490/stat : 11490 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 30832 33554432000 4194304 4196468 140732372328416 140456733005648 140459429230491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11491] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11491/stat : 11491 (java) S 11473 11476 10294 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458420218736 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11492] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11492/stat : 11492 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458419165936 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11493] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11493/stat : 11493 (java) S 11473 11476 10294 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458418113136 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11494] ppid=11473 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/11476/task/11494/stat : 11494 (java) S 11473 11476 10294 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 83736989 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458417060336 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11495] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11495/stat : 11495 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 30832 33554432000 4194304 4196468 140732372328416 140456235100768 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11496] ppid=11473 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11476/task/11496/stat : 11496 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 30832 33554432000 4194304 4196468 140732372328416 140458416007728 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123328 KiB
[startup+0.310104 s]*
/proc/loadavg: 7.41 8.50 8.73 2/199 11496
/proc/meminfo: memFree=12185272/32770624 swapFree=67108860/67108860
[pid=11476] ppid=11473 vsize=27312552 memory=127748 CPUtime=0.42 cores=0-7
/proc/11476/stat : 11476 (java) S 11473 11476 10294 0 -1 1077944320 10717 0 0 0 38 4 0 0 20 0 20 0 83736981 27968053248 31937 33554432000 4194304 4196468 140732372328416 140732372310960 140459429211895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
/proc/11476/statm: 6828138 31937 3022 1 0 6790598 0
[pid=11476/tid=11478] ppid=11473 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11476/task/11478/stat : 11478 (java) R 11473 11476 10294 0 -1 4202560 8414 0 0 0 26 3 0 0 20 0 20 0 83736981 27968053248 31937 33554432000 4194304 4196468 140732372328416 140459401016048 140459410776873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11479] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11479/stat : 11479 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140459433454224 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11480] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11480/stat : 11480 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458850990608 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11481] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11481/stat : 11481 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458849937808 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11482] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11482/stat : 11482 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458848885008 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11483] ppid=11473 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/11476/task/11483/stat : 11483 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458847833232 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11484] ppid=11473 vsize=27312552 memory=140650515362735 CPUtime=0 cores=0-7
/proc/11476/task/11484/stat : 11484 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458846780432 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11485] ppid=11473 vsize=27312552 memory=140650515365040 CPUtime=0 cores=0-7
/proc/11476/task/11485/stat : 11485 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458845727632 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11486] ppid=11473 vsize=27312552 memory=140650515367344 CPUtime=0 cores=0-7
/proc/11476/task/11486/stat : 11486 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458844674832 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11487] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11487/stat : 11487 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736985 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458421270896 140459429223042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11488] ppid=11473 vsize=27312552 memory=281301030741648 CPUtime=0 cores=0-7
/proc/11476/task/11488/stat : 11488 (java) S 11473 11476 10294 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83736986 27968053248 31937 33554432000 4194304 4196468 140732372328416 140457375949856 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11489] ppid=11473 vsize=27312552 memory=281301030748560 CPUtime=0 cores=0-7
/proc/11476/task/11489/stat : 11489 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736986 27968053248 31937 33554432000 4194304 4196468 140732372328416 140457107514224 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11490] ppid=11473 vsize=27312552 memory=281301030689840 CPUtime=0 cores=0-7
/proc/11476/task/11490/stat : 11490 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 31937 33554432000 4194304 4196468 140732372328416 140456733005648 140459429230491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11491] ppid=11473 vsize=27312552 memory=281301030762384 CPUtime=0.01 cores=0-7
/proc/11476/task/11491/stat : 11491 (java) S 11473 11476 10294 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 83736989 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458420218736 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11492] ppid=11473 vsize=27312552 memory=281301030769296 CPUtime=0 cores=0-7
/proc/11476/task/11492/stat : 11492 (java) S 11473 11476 10294 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458419165936 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11493] ppid=11473 vsize=27312552 memory=281301030766992 CPUtime=0.01 cores=0-7
/proc/11476/task/11493/stat : 11493 (java) S 11473 11476 10294 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 83736989 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458418113136 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11494] ppid=11473 vsize=27312552 memory=281301030783600 CPUtime=0.07 cores=0-7
/proc/11476/task/11494/stat : 11494 (java) S 11473 11476 10294 0 -1 1077944384 342 0 0 0 7 0 0 0 20 0 20 0 83736989 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458417060336 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11495] ppid=11473 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11495/stat : 11495 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 31937 33554432000 4194304 4196468 140732372328416 140456235100768 140459429222101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11496] ppid=11473 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11476/task/11496/stat : 11496 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736989 27968053248 31937 33554432000 4194304 4196468 140732372328416 140458416007728 140459429223042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127748 KiB
[startup+0.700875 s]
/proc/loadavg: 7.41 8.50 8.73 2/199 11496
/proc/meminfo: memFree=12160936/32770624 swapFree=67108860/67108860
[pid=11476] ppid=11473 vsize=27320872 memory=167388 CPUtime=0.99 cores=0-7
/proc/11476/stat : 11476 (java) S 11473 11476 10294 0 -1 1077944320 17883 0 0 0 93 6 0 0 20 0 20 0 83736981 27976572928 41847 33554432000 4194304 4196468 140732372328416 140732372310960 140459429211895 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
/proc/11476/statm: 6830218 41847 3140 1 0 6791622 0
[pid=11476/tid=11478] ppid=11473 vsize=27320872 memory=0 CPUtime=0.67 cores=0-7
/proc/11476/task/11478/stat : 11478 (java) R 11473 11476 10294 0 -1 4202560 15029 0 0 0 62 5 0 0 20 0 20 0 83736981 27976572928 41847 33554432000 4194304 4196468 140732372328416 140459401048016 140459429233821 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11479] ppid=11473 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11479/stat : 11479 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140459433454224 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11480] ppid=11473 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11480/stat : 11480 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458850990608 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11481] ppid=11473 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11481/stat : 11481 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458849937808 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11482] ppid=11473 vsize=27320872 memory=1200 CPUtime=0 cores=0-7
/proc/11476/task/11482/stat : 11482 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458848885008 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11483] ppid=11473 vsize=27320872 memory=10608 CPUtime=0 cores=0-7
/proc/11476/task/11483/stat : 11483 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458847833232 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11484] ppid=11473 vsize=27320872 memory=4616 CPUtime=0 cores=0-7
/proc/11476/task/11484/stat : 11484 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458846780432 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11485] ppid=11473 vsize=27320872 memory=1428 CPUtime=0 cores=0-7
/proc/11476/task/11485/stat : 11485 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458845727632 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11486] ppid=11473 vsize=27320872 memory=15876 CPUtime=0 cores=0-7
/proc/11476/task/11486/stat : 11486 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458844674832 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11487] ppid=11473 vsize=27320872 memory=16436 CPUtime=0 cores=0-7
/proc/11476/task/11487/stat : 11487 (java) S 11473 11476 10294 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83736985 27976572928 41847 33554432000 4194304 4196468 140732372328416 140458421270896 140459429223042 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
################
# More data... #
################
[pid=11476/tid=11484] ppid=11473 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11484/stat : 11484 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83736984 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458846780432 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11485] ppid=11473 vsize=27325044 memory=3617302418291190631 CPUtime=0 cores=0-7
/proc/11476/task/11485/stat : 11485 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458845727632 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11486] ppid=11473 vsize=27325044 memory=7453009213784216674 CPUtime=0 cores=0-7
/proc/11476/task/11486/stat : 11486 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736984 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458844674832 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11487] ppid=11473 vsize=27325044 memory=281301031890944 CPUtime=0 cores=0-7
/proc/11476/task/11487/stat : 11487 (java) S 11473 11476 10294 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 83736985 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458421270896 140459429223042 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11488] ppid=11473 vsize=27325044 memory=281301031640480 CPUtime=0 cores=0-7
/proc/11476/task/11488/stat : 11488 (java) S 11473 11476 10294 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83736986 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140457375949856 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11489] ppid=11473 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11489/stat : 11489 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736986 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140457107514224 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11490] ppid=11473 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11490/stat : 11490 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83736989 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140456733005648 140459429230491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11491] ppid=11473 vsize=27325044 memory=0 CPUtime=3.48 cores=0-7
/proc/11476/task/11491/stat : 11491 (java) S 11473 11476 10294 0 -1 1077944384 5980 0 0 0 347 1 0 0 20 0 20 0 83736989 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458420218736 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11492] ppid=11473 vsize=27325044 memory=44324 CPUtime=4.44 cores=0-7
/proc/11476/task/11492/stat : 11492 (java) R 11473 11476 10294 0 -1 4202560 3927 0 0 0 443 1 0 0 20 0 20 0 83736989 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458419151136 140459429233242 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11493] ppid=11473 vsize=27325044 memory=56 CPUtime=3.67 cores=0-7
/proc/11476/task/11493/stat : 11493 (java) S 11473 11476 10294 0 -1 1077944384 2795 0 0 0 367 0 0 0 20 0 20 0 83736989 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458418113136 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11494] ppid=11473 vsize=27325044 memory=0 CPUtime=0.95 cores=0-7
/proc/11476/task/11494/stat : 11494 (java) S 11473 11476 10294 0 -1 1077944384 3215 0 0 0 95 0 0 0 20 0 20 0 83736989 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458417060336 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11495] ppid=11473 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11495/stat : 11495 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140456235100768 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11496] ppid=11473 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11496/stat : 11496 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83736989 27980845056 1055507 33554432000 4194304 4196468 140732372328416 140458416007728 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 4222028 KiB
[startup+25.501 s]
/proc/loadavg: 5.47 7.94 8.54 3/203 11501
/proc/meminfo: memFree=5801852/32770624 swapFree=67108860/67108860
[pid=11476] ppid=11473 vsize=27982760 memory=6497892 CPUtime=43.89 cores=0-7
/proc/11476/stat : 11476 (java) S 11473 11476 10294 0 -1 1077944320 42262 0 0 0 4134 255 0 0 20 0 24 0 83736981 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140732372310960 140459429211895 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
/proc/11476/statm: 6995690 1624473 3237 1 0 6956546 0
[pid=11497] ppid=11476 vsize=753872 memory=148524 CPUtime=0.56 cores=0-7
/proc/11497/stat : 11497 (glucose-syrup) S 11476 11476 10294 0 -1 1077944320 25104 0 0 0 49 7 0 0 20 0 9 0 83739480 771964928 37131 33554432000 4194304 4373367 140735709370144 140735709368688 140003295132290 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 27586560 140735709377455 140735709377708 140735709377708 140735709380551 0
/proc/11497/statm: 188468 37131 370 44 0 184156 0
[pid=11476/tid=11478] ppid=11473 vsize=27982760 memory=140650515521146 CPUtime=24.44 cores=0-7
/proc/11476/task/11478/stat : 11478 (java) S 11473 11476 10294 0 -1 1077944384 21013 0 0 0 2351 93 0 0 20 0 24 0 83736981 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140459401051136 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11479] ppid=11473 vsize=27982760 memory=0 CPUtime=0.51 cores=0-7
/proc/11476/task/11479/stat : 11479 (java) S 11473 11476 10294 0 -1 1077944384 275 0 0 0 33 18 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140459433454224 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11480] ppid=11473 vsize=27982760 memory=33 CPUtime=0.52 cores=0-7
/proc/11476/task/11480/stat : 11480 (java) S 11473 11476 10294 0 -1 1077944384 340 0 0 0 30 22 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458850990608 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11481] ppid=11473 vsize=27982760 memory=7086247349196514151 CPUtime=0.52 cores=0-7
/proc/11476/task/11481/stat : 11481 (java) S 11473 11476 10294 0 -1 1077944384 287 0 0 0 32 20 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458849937808 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11482] ppid=11473 vsize=27982760 memory=6791534058613427641 CPUtime=0.52 cores=0-7
/proc/11476/task/11482/stat : 11482 (java) S 11473 11476 10294 0 -1 1077944384 276 0 0 0 34 18 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458848885008 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11483] ppid=11473 vsize=27982760 memory=9992 CPUtime=0.52 cores=0-7
/proc/11476/task/11483/stat : 11483 (java) S 11473 11476 10294 0 -1 1077944384 267 0 0 0 35 17 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458847833232 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11484] ppid=11473 vsize=27982760 memory=1228 CPUtime=0.51 cores=0-7
/proc/11476/task/11484/stat : 11484 (java) S 11473 11476 10294 0 -1 1077944384 327 0 0 0 30 21 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458846780432 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11485] ppid=11473 vsize=27982760 memory=140650515669480 CPUtime=0.52 cores=0-7
/proc/11476/task/11485/stat : 11485 (java) S 11473 11476 10294 0 -1 1077944384 258 0 0 0 34 18 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458845727632 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11486] ppid=11473 vsize=27982760 memory=-7531822216213012384 CPUtime=0.5 cores=0-7
/proc/11476/task/11486/stat : 11486 (java) S 11473 11476 10294 0 -1 1077944384 359 0 0 0 33 17 0 0 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458844674832 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11487] ppid=11473 vsize=27982760 memory=-7384994778349281184 CPUtime=0.01 cores=0-7
/proc/11476/task/11487/stat : 11487 (java) S 11473 11476 10294 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 24 0 83736985 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458421270896 140459429223042 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11488] ppid=11473 vsize=27982760 memory=2815424 CPUtime=0 cores=0-7
/proc/11476/task/11488/stat : 11488 (java) S 11473 11476 10294 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 24 0 83736986 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140457375949920 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11489] ppid=11473 vsize=27982760 memory=6162244 CPUtime=0 cores=0-7
/proc/11476/task/11489/stat : 11489 (java) S 11473 11476 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83736986 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140457107514240 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11490] ppid=11473 vsize=27982760 memory=24396 CPUtime=0 cores=0-7
/proc/11476/task/11490/stat : 11490 (java) S 11473 11476 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140456733005648 140459429230491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11491] ppid=11473 vsize=27982760 memory=6162300 CPUtime=4.21 cores=0-7
/proc/11476/task/11491/stat : 11491 (java) S 11473 11476 10294 0 -1 1077944384 5983 0 0 0 420 1 0 0 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458420218736 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11492] ppid=11473 vsize=27982760 memory=0 CPUtime=5.29 cores=0-7
/proc/11476/task/11492/stat : 11492 (java) S 11473 11476 10294 0 -1 1077944384 3929 0 0 0 527 2 0 0 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458419165936 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11493] ppid=11473 vsize=27982760 memory=281301030561856 CPUtime=4.46 cores=0-7
/proc/11476/task/11493/stat : 11493 (java) S 11473 11476 10294 0 -1 1077944384 2820 0 0 0 446 0 0 0 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458418113136 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11494] ppid=11473 vsize=27982760 memory=132 CPUtime=1.22 cores=0-7
/proc/11476/task/11494/stat : 11494 (java) S 11473 11476 10294 0 -1 1077944384 4722 0 0 0 121 1 0 0 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458417060336 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11495] ppid=11473 vsize=27982760 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/11476/task/11495/stat : 11495 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140456235100768 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11496] ppid=11473 vsize=27982760 memory=14134428972616243 CPUtime=0 cores=0-7
/proc/11476/task/11496/stat : 11496 (java) S 11473 11476 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458416007728 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11498] ppid=11473 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/11476/task/11498/stat : 11498 (java) S 11473 11476 10294 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83739480 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140459255292992 140459429236505 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11500] ppid=11473 vsize=27982760 memory=2200 CPUtime=0 cores=0-7
/proc/11476/task/11500/stat : 11500 (java) S 11473 11476 10294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 83739480 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140455564001328 140459429233821 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11501] ppid=11473 vsize=27982760 memory=7528 CPUtime=0 cores=0-7
/proc/11476/task/11501/stat : 11501 (java) S 11473 11476 10294 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 83739480 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140455832436656 140459429233821 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11502] ppid=11473 vsize=27982760 memory=844 CPUtime=0 cores=0-7
/proc/11476/task/11502/stat : 11502 (java) S 11473 11476 10294 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83739482 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140455295573536 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
Current children cumulated CPU time: 44.45 s
Current children cumulated vsize: 28736632 KiB
Current children cumulated memory: 6646416 KiB
[startup+25.7103 s]
# the end of solver process 11476 was just reported to runsolver
# cumulated CPU time of all completed processes: user=42.357 s, system=2.92138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6013 s]
/proc/loadavg: 5.47 7.94 8.54 3/203 11501
/proc/meminfo: memFree=5801852/32770624 swapFree=67108860/67108860
[pid=11476] ppid=11473 vsize=27982760 memory=6497892 CPUtime=43.93 cores=0-7
/proc/11476/stat : 11476 (java) S 11473 11476 10294 0 -1 1077944320 42266 0 0 0 4138 255 0 0 20 0 24 0 83736981 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140732372310960 140459429211895 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
/proc/11476/statm: 6995690 1624473 3237 1 0 6956546 0
[pid=11476/tid=11478] ppid=11473 vsize=27982760 memory=1200 CPUtime=24.44 cores=0-7
/proc/11476/task/11478/stat : 11478 (java) S 11473 11476 10294 0 -1 1077944384 21013 0 0 0 2351 93 0 0 20 0 24 0 83736981 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140459401051136 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11479] ppid=11473 vsize=27982760 memory=10608 CPUtime=1.63 cores=0-7
/proc/11476/task/11479/stat : 11479 (java) S 11473 11476 10294 0 -1 1077944384 275 29405 0 0 33 18 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140459433454224 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11480] ppid=11473 vsize=27982760 memory=4616 CPUtime=1.64 cores=0-7
/proc/11476/task/11480/stat : 11480 (java) S 11473 11476 10294 0 -1 1077944384 340 29405 0 0 30 22 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458850990608 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11481] ppid=11473 vsize=27982760 memory=1428 CPUtime=1.64 cores=0-7
/proc/11476/task/11481/stat : 11481 (java) S 11473 11476 10294 0 -1 1077944384 287 29405 0 0 32 20 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458849937808 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11482] ppid=11473 vsize=27982760 memory=15876 CPUtime=1.64 cores=0-7
/proc/11476/task/11482/stat : 11482 (java) S 11473 11476 10294 0 -1 1077944384 276 29405 0 0 34 18 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458848885008 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11483] ppid=11473 vsize=27982760 memory=16436 CPUtime=1.64 cores=0-7
/proc/11476/task/11483/stat : 11483 (java) S 11473 11476 10294 0 -1 1077944384 267 29405 0 0 35 17 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458847833232 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11484] ppid=11473 vsize=27982760 memory=14308 CPUtime=1.63 cores=0-7
/proc/11476/task/11484/stat : 11484 (java) S 11473 11476 10294 0 -1 1077944384 327 29405 0 0 30 21 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458846780432 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11485] ppid=11473 vsize=27982760 memory=4048 CPUtime=1.64 cores=0-7
/proc/11476/task/11485/stat : 11485 (java) S 11473 11476 10294 0 -1 1077944384 258 29405 0 0 34 18 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458845727632 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11486] ppid=11473 vsize=27982760 memory=0 CPUtime=1.62 cores=0-7
/proc/11476/task/11486/stat : 11486 (java) S 11473 11476 10294 0 -1 1077944384 359 29405 0 0 33 17 80 32 20 0 24 0 83736984 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458844674832 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11487] ppid=11473 vsize=27982760 memory=0 CPUtime=1.13 cores=0-7
/proc/11476/task/11487/stat : 11487 (java) R 11473 11476 10294 0 -1 4202560 22 29405 0 0 1 0 80 32 20 0 24 0 83736985 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458421270816 140459429222101 0 0 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11488] ppid=11473 vsize=27982760 memory=0 CPUtime=1.12 cores=0-7
/proc/11476/task/11488/stat : 11488 (java) S 11473 11476 10294 0 -1 1077944384 15 29405 0 0 0 0 80 32 20 0 24 0 83736986 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140457375949920 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11489] ppid=11473 vsize=27982760 memory=2209 CPUtime=1.12 cores=0-7
/proc/11476/task/11489/stat : 11489 (java) S 11473 11476 10294 0 -1 1077944384 2 29405 0 0 0 0 80 32 20 0 24 0 83736986 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140457107514240 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11490] ppid=11473 vsize=27982760 memory=8996 CPUtime=1.12 cores=0-7
/proc/11476/task/11490/stat : 11490 (java) S 11473 11476 10294 0 -1 1077944384 1 29405 0 0 0 0 80 32 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140456733005648 140459429230491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11491] ppid=11473 vsize=27982760 memory=0 CPUtime=5.33 cores=0-7
/proc/11476/task/11491/stat : 11491 (java) R 11473 11476 10294 0 -1 4202560 5983 29405 0 0 420 1 80 32 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458420210688 140459408906000 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11492] ppid=11473 vsize=27982760 memory=0 CPUtime=6.41 cores=0-7
/proc/11476/task/11492/stat : 11492 (java) R 11473 11476 10294 0 -1 1077944384 3929 29405 0 0 527 2 80 32 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458419147904 140459429222101 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11493] ppid=11473 vsize=27982760 memory=0 CPUtime=5.59 cores=0-7
/proc/11476/task/11493/stat : 11493 (java) R 11473 11476 10294 0 -1 4202560 2820 29405 0 0 447 0 80 32 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458418113136 140459408427221 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11494] ppid=11473 vsize=27982760 memory=0 CPUtime=2.35 cores=0-7
/proc/11476/task/11494/stat : 11494 (java) S 11473 11476 10294 0 -1 1077944384 4724 29405 0 0 122 1 80 32 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458417060336 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11495] ppid=11473 vsize=27982760 memory=1292 CPUtime=1.12 cores=0-7
/proc/11476/task/11495/stat : 11495 (java) S 11473 11476 10294 0 -1 1077944384 3 29405 0 0 0 0 80 32 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140456235100768 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11496] ppid=11473 vsize=27982760 memory=2416 CPUtime=1.12 cores=0-7
/proc/11476/task/11496/stat : 11496 (java) S 11473 11476 10294 0 -1 1077944384 3 29405 0 0 0 0 80 32 20 0 24 0 83736989 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140458416007728 140459429223042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11498] ppid=11473 vsize=27982760 memory=1728 CPUtime=1.12 cores=0-7
/proc/11476/task/11498/stat : 11498 (java) S 11473 11476 10294 0 -1 1077944384 21 29405 0 0 0 0 80 32 20 0 24 0 83739480 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140459255291408 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11500] ppid=11473 vsize=27982760 memory=1700 CPUtime=1.13 cores=0-7
/proc/11476/task/11500/stat : 11500 (java) S 11473 11476 10294 0 -1 1077944384 7 29405 0 0 1 0 80 32 20 0 24 0 83739480 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140455564008624 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11501] ppid=11473 vsize=27982760 memory=796 CPUtime=1.12 cores=0-7
/proc/11476/task/11501/stat : 11501 (java) S 11473 11476 10294 0 -1 1077944384 20 29405 0 0 0 0 80 32 20 0 24 0 83739480 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140455832446688 140459429222101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
[pid=11476/tid=11502] ppid=11473 vsize=27982760 memory=5408 CPUtime=1.12 cores=0-7
/proc/11476/task/11502/stat : 11502 (java) R 11473 11476 10294 0 -1 4202560 4 29405 0 0 0 0 80 32 20 0 24 0 83739482 28654346240 1624473 33554432000 4194304 4196468 140732372328416 140455295572560 140459429233242 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26087424 140732372329433 140732372329733 140732372329733 140732372332495 0
Current children cumulated CPU time: 43.93 s
Current children cumulated vsize: 27982760 KiB
Current children cumulated memory: 6497892 KiB
[startup+25.701 s]*
/proc/loadavg: 5.47 7.94 8.54 2/181 11510
/proc/meminfo: memFree=12154012/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 25.7103
CPU time (s): 45.2784
CPU user time (s): 42.357
CPU system time (s): 2.92138
CPU usage (%): 176.11
Max. virtual memory (cumulated for all children) (KiB): 28736632
Max. memory (cumulated for all children) (KiB): 6646416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.357
system time used= 2.92138
maximum resident set size= 6497904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41165
involuntary context switches= 115
# summary of solver processes directly reported to runsolver:
# pid: 11476
# total CPU time (s): 45.2784
# total CPU user time (s): 42.357
# total CPU system time (s): 2.92138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.180372 second user time and 0.316025 second system time
The end
Begin job on node139 at 2018-07-27 05:22:18 IDJOB=4297061 IDBENCH=141437 IDSOLVER=2758 FILE ID=node139/4297061-1532661738 RUNJOBID= node139-1532655391-10321 PBS_JOBID= 21022223 Free space on /tmp= 38720 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-04-05_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-4297061-1532661738/watcher-4297061-1532661738 -o /tmp/evaluation-result-4297061-1532661738/solver-4297061-1532661738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532655391-10321 --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-4297061-1532661738.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 340365fb59c69c653973bf6f753c5e6c RANDOM SEED=1562253383 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: 12301420 kB MemAvailable: 31928172 kB Buffers: 248896 kB Cached: 19333452 kB SwapCached: 0 kB Active: 3057556 kB Inactive: 16576032 kB Active(anon): 5740 kB Inactive(anon): 73540 kB Active(file): 3051816 kB Inactive(file): 16502492 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8784 kB Writeback: 0 kB AnonPages: 119736 kB Mapped: 41912 kB Shmem: 25228 kB Slab: 528600 kB SReclaimable: 500904 kB SUnreclaim: 27696 kB KernelStack: 3200 kB PageTables: 5036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324432 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 38708 MiB End job on node139 at 2018-07-27 05:22:44