Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-07) | UNSAT | 25.0344 | 6.62252 |
Name | SocialGolfers/ SocialGolfers-5-5-8-cp_c18.xml |
MD5SUM | 9b78f23c985b0ab0793e8fc03cc65dc7 |
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 | 25.0344 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 8410 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":200}] |
Minimum variable degree | 170 |
Maximum variable degree | 171 |
Distribution of variable degrees | [{"degree":170,"count":175},{"degree":171,"count":25}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":4,"count":8400},{"arity":25,"count":9},{"arity":200,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 8400 |
Distribution of constraint types | [{"type":"intension","count":8400},{"type":"lex","count":1},{"type":"cardinality","count":8},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.65/0.53 0.65/0.53 scop both+glucose-syrup (2018-07-07) 0.65/0.53 0.65/0.55 c BEGIN-Prog: Fri Jul 27 04:05:39 CEST 2018 0.65/0.55 c PID: 4148 0.65/0.55 c IP: 172.20.3.104 0.65/0.55 c HOST: node104.alineos.net 0.65/0.56 c (0,0) Parsing Begin 5.74/2.05 c (1,1) Parsing End 5.74/2.06 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 8410 ctr, max domain size 5 5.74/2.06 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 5.74/2.06 c (1,1) Constraint Name Generate Begin 6.18/2.13 c (1,1) Ctr:HOME/instance-4297243-1532657139.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or 6.18/2.13 c (1,1) Constraint Name Generate End 6.18/2.13 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.18/2.13 c (1,1) CSP to CSPinCNF Begin 7.29/2.41 c (1,1) translated 841 (10%) constraints 7.29/2.47 c (1,1) translated 1682 (20%) constraints 7.64/2.51 c (1,1) translated 2523 (30%) constraints 7.64/2.55 c (2,2) translated 3364 (40%) constraints 7.64/2.59 c (2,2) translated 4205 (50%) constraints 8.03/2.63 c (2,2) translated 5046 (60%) constraints 8.03/2.65 c (2,2) translated 5887 (70%) constraints 8.03/2.68 c (2,2) translated 6728 (80%) constraints 8.37/2.70 c (2,2) translated 7569 (90%) constraints 9.69/3.09 c (2,2) translated 8410 (100%) constraints 11.46/3.59 c (3,3) STATISTICS1:HOME/instance-4297243-1532657139.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1505,11137,16777216,5,4,25,16777216:80;5:15306;1:2197,5:32411;2:3915;1:4620,4:8705;3:1031;2:1305;1:96,25:80;2:17503;1:5965, 11.46/3.59 c (3,3) =========================================== 11.46/3.59 c (3,3) Both Encoding selects: 11.46/3.59 c (3,3) Order 11.46/3.59 c (3,3) =========================================== 11.88/3.69 c (3,3) translated 1114 (10%) constraints 12.30/3.76 c (3,3) translated 2228 (20%) constraints 12.71/3.83 c (3,3) translated 3342 (30%) constraints 12.71/3.88 c (3,3) translated 4455 (40%) constraints 12.95/3.94 c (3,3) translated 5569 (50%) constraints 12.95/4.00 c (3,3) translated 6683 (60%) constraints 13.22/4.05 c (3,3) translated 7796 (70%) constraints 13.47/4.16 c (3,3) translated 8910 (80%) constraints 13.88/4.26 c (3,3) translated 10024 (90%) constraints 14.25/4.32 c (3,3) translated 11137 (100%) constraints 14.25/4.33 c (3,3) CSP to CSPinCNF End 14.25/4.33 c (3,3) CSP: 320 int (120 aux), 2305 bool (2305 aux), 13442 ctr, max domain size 6 14.25/4.33 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 14.25/4.33 c (3,3) CSPinCNF Propagation Begin 15.01/4.56 c (4,4) 345 values, 3418 unsatisfiable literals, and 2743 valid clauses are removed 15.01/4.56 c (4,4) CSPinCNF Propagation End 15.01/4.56 c (4,4) CSP: 590 int (390 aux), 2035 bool (2035 aux), 10699 ctr, max domain size 6 15.01/4.56 c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 15.01/4.56 c (4,4) Simplify CSPinCNF Begin 15.71/4.79 c (4,4) Simplify CSPinCNF End 15.71/4.80 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6 15.71/4.80 c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 15.71/4.80 c (4,4) Calculate Precise Domain Begin 16.08/4.85 c (4,4) 0 values are removed by re-calculation 16.08/4.85 c (4,4) Calculate Precise Domain End 16.08/4.85 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6 16.08/4.85 c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 16.08/4.85 c (4,4) CSPinCNF to SatSolver Begin 16.39/5.00 c (4,4) 1525 (10 %) CSP clauses are encoded (7810 SAT variables, 6753 SAT clauses) 16.82/5.05 c (4,4) 3050 (20 %) CSP clauses are encoded (7810 SAT variables, 12578 SAT clauses) 16.82/5.10 c (4,4) 4575 (30 %) CSP clauses are encoded (7810 SAT variables, 17903 SAT clauses) 17.23/5.14 c (4,4) 6100 (40 %) CSP clauses are encoded (7810 SAT variables, 23244 SAT clauses) 17.23/5.16 c (4,4) 7625 (50 %) CSP clauses are encoded (7810 SAT variables, 25369 SAT clauses) 17.23/5.17 c (4,4) 9150 (60 %) CSP clauses are encoded (7810 SAT variables, 26894 SAT clauses) 17.23/5.19 c (4,4) 10675 (70 %) CSP clauses are encoded (7810 SAT variables, 28419 SAT clauses) 17.98/5.37 c (4,4) 12200 (80 %) CSP clauses are encoded (7810 SAT variables, 53509 SAT clauses) 18.49/5.51 c (4,4) 13725 (90 %) CSP clauses are encoded (7810 SAT variables, 78599 SAT clauses) 18.49/5.56 c (5,5) 15249 (100 %) CSP clauses are encoded (7810 SAT variables, 90081 SAT clauses) 18.49/5.56 c (5,5) CSPinCNF to SatSolver End 18.49/5.56 c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 18.69/5.68 c (5,5) STATISTICS2:HOME/instance-4297243-1532657139.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,7175,15249,512,6,4,10,512:70;256:140;36:70;5:4806;1:59,6:420;5:12471;2:37710;1:59,4:6577;3:559;2:7807;1:306,10:70;9:140;3:70;2:4865;1:38760, 18.69/5.68 c (5,5) SatSolver.solve Begin 18.69/5.68 c (5,5) 7810 bool, 90085 clause 18.69/5.68 c (5,5) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297243-1532657139.xml-scop-4148.cnf HOME/instance-4297243-1532657139.xml-scop-4148.cnf.out 24.26/6.59 c (6,0) c 24.26/6.59 c (6,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 24.26/6.59 c (6,0) c 24.26/6.59 c (6,0) c WARNING: for repeatability, setting FPU to use double precision 24.26/6.59 c (6,0) c 8 solvers engines and 1 companion as a blackboard created. 24.26/6.59 c (6,0) c ========================================[ Problem Statistics ]=========================================== 24.26/6.59 c (6,0) c | | 24.26/6.59 c (6,0) c | Number of variables: 7810 | 24.26/6.59 c (6,0) c | Number of clauses: 90085 | 24.26/6.59 c (6,0) c | Parse time: 0.04 s | 24.26/6.59 c (6,0) c | | 24.26/6.59 c (6,0) c | Eliminated clauses: 0.03 Mb | 24.26/6.59 c (6,0) c | Simplification time: 0.16 s | 24.26/6.59 c (6,0) c | | 24.26/6.59 c (6,0) c | Generating clones | 24.26/6.59 c (6,0) c | all clones generated. Memory = 71.89Mb. | 24.26/6.59 c (6,0) c ========================================================================================================| 24.26/6.59 c (6,0) c Thread 6 is 100% pure glucose! First thread to finish! (UNSAT answer). 24.26/6.59 c (6,0) c Total Memory so far : 669.52Mb 24.26/6.59 c (6,0) c 24.26/6.59 c (6,0) c real time : 0.893202 s 24.26/6.59 c (6,0) c cpu time : 5.224 s 24.26/6.59 c (6,0) c 24.26/6.59 c (6,0) c 24.26/6.59 c (6,0) c 24.26/6.59 c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 24.26/6.59 c (6,0) c 24.26/6.59 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.26/6.59 c (6,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 24.26/6.59 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.26/6.59 c (6,0) c | Conflicts | 119464 | 13079 | 14241 | 13820 | 13527 | 14305 | 12623 | 25591 | 12278 | 24.26/6.59 c (6,0) c | Decisions | 201703 | 23076 | 23948 | 24311 | 22562 | 25735 | 22708 | 38425 | 20938 | 24.26/6.59 c (6,0) c | Propagations | 16512517 | 2192757 | 1887360 | 2067404 | 2027048 | 1993681 | 2130065 | 2188437 | 2025765 | 24.26/6.59 c (6,0) c | Avg_Trail | | 1967 | 1840 | 2056 | 1834 | 1931 | 2029 | 1187 | 2129 | 24.26/6.59 c (6,0) c | Avg_DL | | 41 | 56 | 48 | 49 | 51 | 55 | 24 | 49 | 24.26/6.59 c (6,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 24.26/6.59 c (6,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 24.26/6.59 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.26/6.59 c (6,0) c | Exported | 22757 | 2173 | 2501 | 2289 | 2345 | 2615 | 2047 | 6883 | 1904 | 24.26/6.59 c (6,0) c | Imported | 148459 | 20107 | 18356 | 17861 | 19674 | 18003 | 20252 | 15874 | 18332 | 24.26/6.59 c (6,0) c | Good | 2020 | 294 | 200 | 195 | 297 | 209 | 303 | 274 | 248 | 24.26/6.59 c (6,0) c | Purge | 146439 | 19813 | 18156 | 17666 | 19377 | 17794 | 19949 | 15600 | 18084 | 24.26/6.59 c (6,0) c | Promoted | 3994 | 444 | 565 | 478 | 551 | 576 | 634 | 216 | 530 | 24.26/6.59 c (6,0) c | Remove_Imp | 26380 | 0 | 8326 | 7833 | 0 | 7969 | 0 | 0 | 2252 | 24.26/6.59 c (6,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 24.26/6.59 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.26/6.59 c (6,0) c | Unaries | | 25 | 3 | 5 | 2 | 5 | 3 | 12 | 5 | 24.26/6.59 c (6,0) c | Binaries | | 16 | 79 | 77 | 10 | 69 | 7 | 54 | 16 | 24.26/6.59 c (6,0) c | Glues | | 270 | 377 | 394 | 249 | 359 | 253 | 350 | 218 | 24.26/6.59 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.26/6.59 c (6,0) c | Orig_Seen | 22 % | 22573 | 19275 | 22446 | 20467 | 21678 | 19680 | 10469 | 23410 | 24.26/6.59 c (6,0) c | Diff Orig seen| | 12104 | 8806 | 11977 | 9998 | 11209 | 9211 | X | 12941 | 24.26/6.59 c (6,0) c | Hamming | 20 % | 1760 | 1439 | 1669 | 1505 | 1578 | 1502 | X | 1582 | 24.26/6.59 c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.26/6.59 c (6,0) 24.26/6.59 c (6,0) s UNSATISFIABLE 25.00/6.60 c (6,5) SatSolver.solve End 25.00/6.60 c (6,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 25.00/6.60 c (6,5) Show results Begin 25.00/6.60 s UNSATISFIABLE 25.00/6.60 c (6,5) Show results End 25.00/6.60 c (6,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 25.00/6.60 c (6,5) 1,1,3,4,4,4,5,6,6,STOP-AFTER(ALL) 25.00/6.60 c END-Prog: Fri Jul 27 04:05:45 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 (10437 MiB free) memory of node 1: 16384 MiB (12499 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297243-1532657139/watcher-4297243-1532657139 -o /tmp/evaluation-result-4297243-1532657139/solver-4297243-1532657139 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532654585-3249 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297243-1532657139.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=4148, runsolver pid=4145 [startup+0.10006 s]* /proc/loadavg: 7.82 8.49 8.64 3/200 4168 /proc/meminfo: memFree=23392188/32770624 swapFree=67108800/67108860 [pid=4148] ppid=4145 vsize=27312552 memory=109112 CPUtime=0.11 cores=0-7 /proc/4148/stat : 4148 (java) S 4145 4148 3222 0 -1 1077944320 6797 0 0 0 8 3 0 0 20 0 20 0 83277041 27968053248 27278 33554432000 4194304 4196468 140728378971952 140728378954496 140127677255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 /proc/4148/statm: 6828138 27278 2746 1 0 6790598 0 [pid=4148/tid=4150] ppid=4145 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/4148/task/4150/stat : 4150 (java) R 4145 4148 3222 0 -1 4202560 4926 0 0 0 7 2 0 0 20 0 20 0 83277042 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127649081744 140127661335902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4151] ppid=4145 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4148/task/4151/stat : 4151 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127681497744 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4152] ppid=4145 vsize=27312552 memory=140240613099136 CPUtime=0 cores=0-7 /proc/4148/task/4152/stat : 4152 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127495653904 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4153] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4153/stat : 4153 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127494601104 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4154] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4154/stat : 4154 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127493548304 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4155] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4155/stat : 4155 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127492496528 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4156] ppid=4145 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/4148/task/4156/stat : 4156 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127491443728 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4157] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4157/stat : 4157 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127490390928 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4158] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4158/stat : 4158 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 27278 33554432000 4194304 4196468 140728378971952 140127489338128 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4159] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4159/stat : 4159 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125796235632 140127677266562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4160] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4160/stat : 4160 (java) S 4145 4148 3222 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125656835104 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4161] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4161/stat : 4161 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125388399472 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4162] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4162/stat : 4162 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125013890896 140127677274011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4163] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4163/stat : 4163 (java) S 4145 4148 3222 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125795183472 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4164] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4164/stat : 4164 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125794130672 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4165] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4165/stat : 4165 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125793077872 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4166] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4166/stat : 4166 (java) S 4145 4148 3222 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125522614768 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4167] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4167/stat : 4167 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 27278 33554432000 4194304 4196468 140728378971952 140124515986016 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4168] ppid=4145 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/4148/task/4168/stat : 4168 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 27278 33554432000 4194304 4196468 140728378971952 140125521562160 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 109112 KiB [startup+0.210013 s]* /proc/loadavg: 7.82 8.49 8.64 3/200 4168 /proc/meminfo: memFree=23376188/32770624 swapFree=67108800/67108860 [pid=4148] ppid=4145 vsize=27312552 memory=123540 CPUtime=0.25 cores=0-7 /proc/4148/stat : 4148 (java) S 4145 4148 3222 0 -1 1077944320 10594 0 0 0 21 4 0 0 20 0 20 0 83277041 27968053248 30885 33554432000 4194304 4196468 140728378971952 140728378954496 140127677255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 /proc/4148/statm: 6828138 30885 2883 1 0 6790598 0 [pid=4148/tid=4150] ppid=4145 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/4148/task/4150/stat : 4150 (java) R 4145 4148 3222 0 -1 4202560 8503 0 0 0 17 3 0 0 20 0 20 0 83277042 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127649046080 140127677277341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4151] ppid=4145 vsize=27312552 memory=11921 CPUtime=0 cores=0-7 /proc/4148/task/4151/stat : 4151 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127681497744 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4152] ppid=4145 vsize=27312552 memory=140240613103538 CPUtime=0 cores=0-7 /proc/4148/task/4152/stat : 4152 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127495653904 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4153] ppid=4145 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/4148/task/4153/stat : 4153 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127494601104 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4154] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4154/stat : 4154 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127493548304 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4155] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4155/stat : 4155 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127492496528 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4156] ppid=4145 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/4148/task/4156/stat : 4156 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127491443728 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4157] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4157/stat : 4157 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127490390928 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4158] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4158/stat : 4158 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 30885 33554432000 4194304 4196468 140728378971952 140127489338128 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4159] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4159/stat : 4159 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125796235632 140127677266562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4160] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4160/stat : 4160 (java) S 4145 4148 3222 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125656835104 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4161] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4161/stat : 4161 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125388399472 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4162] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4162/stat : 4162 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125013890896 140127677274011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4163] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4163/stat : 4163 (java) S 4145 4148 3222 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125795183472 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4164] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4164/stat : 4164 (java) S 4145 4148 3222 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125794130672 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4165] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4165/stat : 4165 (java) S 4145 4148 3222 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125793077872 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4166] ppid=4145 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/4148/task/4166/stat : 4166 (java) S 4145 4148 3222 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 20 0 83277049 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125522614768 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4167] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4167/stat : 4167 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 30885 33554432000 4194304 4196468 140728378971952 140124515986016 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4168] ppid=4145 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/4148/task/4168/stat : 4168 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 30885 33554432000 4194304 4196468 140728378971952 140125521562160 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 123540 KiB [startup+0.309353 s]* /proc/loadavg: 7.82 8.49 8.64 2/200 4168 /proc/meminfo: memFree=23372708/32770624 swapFree=67108800/67108860 [pid=4148] ppid=4145 vsize=27312552 memory=127468 CPUtime=0.41 cores=0-7 /proc/4148/stat : 4148 (java) S 4145 4148 3222 0 -1 1077944320 11204 0 0 0 37 4 0 0 20 0 20 0 83277041 27968053248 31867 33554432000 4194304 4196468 140728378971952 140728378954496 140127677255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 /proc/4148/statm: 6828138 31867 3018 1 0 6790598 0 [pid=4148/tid=4150] ppid=4145 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/4148/task/4150/stat : 4150 (java) R 4145 4148 3222 0 -1 4202560 8922 0 0 0 26 3 0 0 20 0 20 0 83277042 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127649059568 140127661335902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4151] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4151/stat : 4151 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127681497744 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4152] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4152/stat : 4152 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127495653904 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4153] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4153/stat : 4153 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127494601104 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4154] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4154/stat : 4154 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127493548304 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4155] ppid=4145 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/4148/task/4155/stat : 4155 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127492496528 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4156] ppid=4145 vsize=27312552 memory=140240480203695 CPUtime=0 cores=0-7 /proc/4148/task/4156/stat : 4156 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127491443728 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4157] ppid=4145 vsize=27312552 memory=140240480206000 CPUtime=0 cores=0-7 /proc/4148/task/4157/stat : 4157 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127490390928 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4158] ppid=4145 vsize=27312552 memory=140240480208304 CPUtime=0 cores=0-7 /proc/4148/task/4158/stat : 4158 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277044 27968053248 31867 33554432000 4194304 4196468 140728378971952 140127489338128 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4159] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4159/stat : 4159 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125796235632 140127677266562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4160] ppid=4145 vsize=27312552 memory=280480960423568 CPUtime=0 cores=0-7 /proc/4148/task/4160/stat : 4160 (java) S 4145 4148 3222 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125656835104 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4161] ppid=4145 vsize=27312552 memory=280480960430480 CPUtime=0 cores=0-7 /proc/4148/task/4161/stat : 4161 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277046 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125388399472 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4162] ppid=4145 vsize=27312552 memory=280480960371760 CPUtime=0 cores=0-7 /proc/4148/task/4162/stat : 4162 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125013890896 140127677274011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4163] ppid=4145 vsize=27312552 memory=280480960444304 CPUtime=0.01 cores=0-7 /proc/4148/task/4163/stat : 4163 (java) S 4145 4148 3222 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 83277049 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125795183472 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4164] ppid=4145 vsize=27312552 memory=280480960451216 CPUtime=0.01 cores=0-7 /proc/4148/task/4164/stat : 4164 (java) S 4145 4148 3222 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 83277049 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125794130672 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4165] ppid=4145 vsize=27312552 memory=280480960448912 CPUtime=0.01 cores=0-7 /proc/4148/task/4165/stat : 4165 (java) S 4145 4148 3222 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 83277049 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125793077872 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4166] ppid=4145 vsize=27312552 memory=280480960465520 CPUtime=0.07 cores=0-7 /proc/4148/task/4166/stat : 4166 (java) S 4145 4148 3222 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 20 0 83277049 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125522614768 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4167] ppid=4145 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4167/stat : 4167 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 31867 33554432000 4194304 4196468 140728378971952 140124515986016 140127677265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4168] ppid=4145 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/4148/task/4168/stat : 4168 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277049 27968053248 31867 33554432000 4194304 4196468 140728378971952 140125521562160 140127677266562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 127468 KiB [startup+0.700755 s] /proc/loadavg: 7.82 8.49 8.64 2/200 4168 /proc/meminfo: memFree=23348648/32770624 swapFree=67108800/67108860 [pid=4148] ppid=4145 vsize=27318824 memory=166740 CPUtime=1.03 cores=0-7 /proc/4148/stat : 4148 (java) S 4145 4148 3222 0 -1 1077944320 18269 0 0 0 96 7 0 0 20 0 20 0 83277041 27974475776 41685 33554432000 4194304 4196468 140728378971952 140728378954496 140127677255415 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 /proc/4148/statm: 6829706 41685 3135 1 0 6791110 0 [pid=4148/tid=4150] ppid=4145 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/4148/task/4150/stat : 4150 (java) R 4145 4148 3222 0 -1 4202560 15431 0 0 0 62 5 0 0 20 0 20 0 83277042 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127649091680 140127677277341 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4151] ppid=4145 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4151/stat : 4151 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127681497744 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4152] ppid=4145 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4152/stat : 4152 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127495653904 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4153] ppid=4145 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4153/stat : 4153 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127494601104 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4154] ppid=4145 vsize=27318824 memory=8548 CPUtime=0 cores=0-7 /proc/4148/task/4154/stat : 4154 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127493548304 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4155] ppid=4145 vsize=27318824 memory=1012 CPUtime=0 cores=0-7 /proc/4148/task/4155/stat : 4155 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127492496528 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4156] ppid=4145 vsize=27318824 memory=1444 CPUtime=0 cores=0-7 /proc/4148/task/4156/stat : 4156 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127491443728 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4157] ppid=4145 vsize=27318824 memory=1200 CPUtime=0 cores=0-7 /proc/4148/task/4157/stat : 4157 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127490390928 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4158] ppid=4145 vsize=27318824 memory=15872 CPUtime=0 cores=0-7 /proc/4148/task/4158/stat : 4158 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83277044 27974475776 41685 33554432000 4194304 4196468 140728378971952 140127489338128 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4159] ppid=4145 vsize=27318824 memory=14944 CPUtime=0 cores=0-7 /proc/4148/task/4159/stat : 4159 (java) S 4145 4148 3222 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83277046 27974475776 41685 33554432000 4194304 4196468 140728378971952 140125796235632 140127677266562 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 ################ # More data... # ################ /proc/4148/task/4162/stat : 4162 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125013890896 140127677274011 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4163] ppid=4145 vsize=27984808 memory=55 CPUtime=4.11 cores=0-7 /proc/4148/task/4163/stat : 4163 (java) S 4145 4148 3222 0 -1 1077944384 4364 0 0 0 410 1 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125795183472 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4164] ppid=4145 vsize=27984808 memory=-6352670693803649130 CPUtime=4 cores=0-7 /proc/4148/task/4164/stat : 4164 (java) S 4145 4148 3222 0 -1 1077944384 4536 0 0 0 399 1 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125794130672 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4165] ppid=4145 vsize=27984808 memory=8187704045996132563 CPUtime=4.18 cores=0-7 /proc/4148/task/4165/stat : 4165 (java) S 4145 4148 3222 0 -1 1077944384 5532 0 0 0 416 2 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125793077872 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4166] ppid=4145 vsize=27984808 memory=6944656592455097440 CPUtime=1.58 cores=0-7 /proc/4148/task/4166/stat : 4166 (java) S 4145 4148 3222 0 -1 1077944384 4041 0 0 0 157 1 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125522614768 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4167] ppid=4145 vsize=27984808 memory=-6876588628788339086 CPUtime=0 cores=0-7 /proc/4148/task/4167/stat : 4167 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140124515986016 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4168] ppid=4145 vsize=27984808 memory=-7966001967407402336 CPUtime=0 cores=0-7 /proc/4148/task/4168/stat : 4168 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125521562160 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4170] ppid=4145 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4170/stat : 4170 (java) S 4145 4148 3222 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83277611 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127469184064 140127677280025 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4172] ppid=4145 vsize=27984808 memory=1724 CPUtime=0 cores=0-7 /proc/4148/task/4172/stat : 4172 (java) S 4145 4148 3222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 83277611 28656443392 423741 33554432000 4194304 4196468 140728378971952 140123844886576 140127677277341 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4173] ppid=4145 vsize=27984808 memory=8548 CPUtime=0 cores=0-7 /proc/4148/task/4173/stat : 4173 (java) S 4145 4148 3222 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 83277612 28656443392 423741 33554432000 4194304 4196468 140728378971952 140124113321904 140127677277341 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4174] ppid=4145 vsize=27984808 memory=1012 CPUtime=0 cores=0-7 /proc/4148/task/4174/stat : 4174 (java) S 4145 4148 3222 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83277613 28656443392 423741 33554432000 4194304 4196468 140728378971952 140123576458784 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 Current children cumulated CPU time: 22.73 s Current children cumulated vsize: 28663320 KiB Current children cumulated memory: 1802612 KiB [startup+6.62246 s] # the end of solver process 4148 was just reported to runsolver # cumulated CPU time of all completed processes: user=24.5019 s, system=0.532459 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40414 s] /proc/loadavg: 7.60 8.43 8.62 8/213 4182 /proc/meminfo: memFree=21740432/32770624 swapFree=67108800/67108860 [pid=4148] ppid=4145 vsize=27984808 memory=1694964 CPUtime=19.63 cores=0-7 /proc/4148/stat : 4148 (java) S 4145 4148 3222 0 -1 1077944320 38967 0 0 0 1926 37 0 0 20 0 24 0 83277041 28656443392 423741 33554432000 4194304 4196468 140728378971952 140728378954496 140127677255415 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 /proc/4148/statm: 6996202 423741 3241 1 0 6957058 0 [pid=4169] ppid=4148 vsize=678512 memory=110604 CPUtime=3.86 cores=0-7 /proc/4169/stat : 4169 (glucose-syrup) S 4148 4148 3222 0 -1 1077944320 21479 0 0 0 375 11 0 0 20 0 9 0 83277611 694796288 27651 33554432000 4194304 4373367 140733906467200 140733906465744 140385140292226 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 /proc/4169/statm: 169628 27651 386 44 0 165316 0 [pid=4169/tid=4175] ppid=4148 vsize=678512 memory=15872 CPUtime=0.45 cores=0-7 /proc/4169/task/4175/stat : 4175 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 1694 0 0 0 44 1 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140385117859016 4271928 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4169/tid=4176] ppid=4148 vsize=678512 memory=14944 CPUtime=0.44 cores=0-7 /proc/4169/task/4176/stat : 4176 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 1568 0 0 0 44 0 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140385109466312 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4169/tid=4177] ppid=4148 vsize=678512 memory=16240 CPUtime=0.45 cores=0-7 /proc/4169/task/4177/stat : 4177 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 1378 0 0 0 44 1 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140385101073680 4234650 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4169/tid=4178] ppid=4148 vsize=678512 memory=1368876 CPUtime=0.44 cores=0-7 /proc/4169/task/4178/stat : 4178 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 977 0 0 0 44 0 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140385092680904 4295977 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4169/tid=4179] ppid=4148 vsize=678512 memory=7306062783016687413 CPUtime=0.44 cores=0-7 /proc/4169/task/4179/stat : 4179 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 1796 0 0 0 43 1 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140385084288200 4259510 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4169/tid=4180] ppid=4148 vsize=678512 memory=7521672624102662759 CPUtime=0.45 cores=0-7 /proc/4169/task/4180/stat : 4180 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 937 0 0 0 44 1 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140385075895496 4296037 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4169/tid=4181] ppid=4148 vsize=678512 memory=7595725831727968097 CPUtime=0.44 cores=0-7 /proc/4169/task/4181/stat : 4181 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 1598 0 0 0 44 0 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140385067502792 4271728 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4169/tid=4182] ppid=4148 vsize=678512 memory=5863783907151335781 CPUtime=0.44 cores=0-7 /proc/4169/task/4182/stat : 4182 (glucose-syrup) R 4148 4148 3222 0 -1 4202560 1317 0 0 0 43 1 0 0 20 0 9 0 83277634 694796288 27651 33554432000 4194304 4373367 140733906467200 140384924892360 4272316 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 27815936 140733906469809 140733906470060 140733906470060 140733906472903 0 [pid=4148/tid=4150] ppid=4145 vsize=27984808 memory=5863783907151335781 CPUtime=5.7 cores=0-7 /proc/4148/task/4150/stat : 4150 (java) S 4145 4148 3222 0 -1 1077944384 19096 0 0 0 541 29 0 0 20 0 24 0 83277042 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127649094656 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4151] ppid=4145 vsize=27984808 memory=5863783907151335781 CPUtime=0 cores=0-7 /proc/4148/task/4151/stat : 4151 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127681497744 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4152] ppid=4145 vsize=27984808 memory=5863783907151335781 CPUtime=0 cores=0-7 /proc/4148/task/4152/stat : 4152 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127495653904 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4153] ppid=4145 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4148/task/4153/stat : 4153 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127494601104 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4154] ppid=4145 vsize=27984808 memory=-2915664423308613022 CPUtime=0 cores=0-7 /proc/4148/task/4154/stat : 4154 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127493548304 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4155] ppid=4145 vsize=27984808 memory=-7812800578125854340 CPUtime=0 cores=0-7 /proc/4148/task/4155/stat : 4155 (java) S 4145 4148 3222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127492496528 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4156] ppid=4145 vsize=27984808 memory=-8814480682729174208 CPUtime=0 cores=0-7 /proc/4148/task/4156/stat : 4156 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127491443728 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4157] ppid=4145 vsize=27984808 memory=8041071072173593435 CPUtime=0 cores=0-7 /proc/4148/task/4157/stat : 4157 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127490390928 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4158] ppid=4145 vsize=27984808 memory=-8253362664378451622 CPUtime=0 cores=0-7 /proc/4148/task/4158/stat : 4158 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83277044 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127489338128 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4159] ppid=4145 vsize=27984808 memory=8219758291264094825 CPUtime=0 cores=0-7 /proc/4148/task/4159/stat : 4159 (java) S 4145 4148 3222 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 83277046 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125796235632 140127677266562 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4160] ppid=4145 vsize=27984808 memory=140240613125761 CPUtime=0 cores=0-7 /proc/4148/task/4160/stat : 4160 (java) S 4145 4148 3222 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83277046 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125656835104 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4161] ppid=4145 vsize=27984808 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/4148/task/4161/stat : 4161 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277046 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125388399472 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4162] ppid=4145 vsize=27984808 memory=5787213827113576551 CPUtime=0 cores=0-7 /proc/4148/task/4162/stat : 4162 (java) S 4145 4148 3222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125013890896 140127677274011 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4163] ppid=4145 vsize=27984808 memory=7158297138891347536 CPUtime=4.11 cores=0-7 /proc/4148/task/4163/stat : 4163 (java) S 4145 4148 3222 0 -1 1077944384 4364 0 0 0 410 1 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125795183472 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4164] ppid=4145 vsize=27984808 memory=15872 CPUtime=4 cores=0-7 /proc/4148/task/4164/stat : 4164 (java) S 4145 4148 3222 0 -1 1077944384 4536 0 0 0 399 1 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125794130672 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4165] ppid=4145 vsize=27984808 memory=2241 CPUtime=4.18 cores=0-7 /proc/4148/task/4165/stat : 4165 (java) S 4145 4148 3222 0 -1 1077944384 5532 0 0 0 416 2 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125793077872 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4166] ppid=4145 vsize=27984808 memory=0 CPUtime=1.58 cores=0-7 /proc/4148/task/4166/stat : 4166 (java) S 4145 4148 3222 0 -1 1077944384 4041 0 0 0 157 1 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125522614768 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4167] ppid=4145 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4167/stat : 4167 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140124515986016 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4168] ppid=4145 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4168/stat : 4168 (java) S 4145 4148 3222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83277049 28656443392 423741 33554432000 4194304 4196468 140728378971952 140125521562160 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4170] ppid=4145 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4170/stat : 4170 (java) S 4145 4148 3222 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83277611 28656443392 423741 33554432000 4194304 4196468 140728378971952 140127469184064 140127677280025 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4172] ppid=4145 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4172/stat : 4172 (java) S 4145 4148 3222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 83277611 28656443392 423741 33554432000 4194304 4196468 140728378971952 140123844886576 140127677277341 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4173] ppid=4145 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/4148/task/4173/stat : 4173 (java) S 4145 4148 3222 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 83277612 28656443392 423741 33554432000 4194304 4196468 140728378971952 140124113321904 140127677277341 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4174] ppid=4145 vsize=27984808 memory=3760822568206220760 CPUtime=0 cores=0-7 /proc/4148/task/4174/stat : 4174 (java) S 4145 4148 3222 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83277613 28656443392 423741 33554432000 4194304 4196468 140728378971952 140123576458784 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 Current children cumulated CPU time: 23.49 s Current children cumulated vsize: 28663320 KiB Current children cumulated memory: 1805568 KiB [startup+6.60124 s] /proc/loadavg: 7.60 8.43 8.62 8/213 4182 /proc/meminfo: memFree=21740432/32770624 swapFree=67108800/67108860 [pid=4148] ppid=4145 vsize=27984808 memory=1694964 CPUtime=25 cores=0-7 /proc/4148/stat : 4148 (java) S 4145 4148 3222 0 -1 1077944320 38973 26589 0 0 1927 37 522 14 20 0 24 0 83277041 28656443392 423741 33554432000 4194304 4196468 140728378971952 140728378954496 140127677255415 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 /proc/4148/statm: 6996202 423741 3241 1 0 6957058 0 [pid=4148/tid=4150] ppid=4145 vsize=27984808 memory=0 CPUtime=11.06 cores=0-7 /proc/4148/task/4150/stat : 4150 (java) S 4145 4148 3222 0 -1 1077944384 19096 26589 0 0 541 29 522 14 20 0 24 0 83277042 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127649094656 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4151] ppid=4145 vsize=27984808 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4151/stat : 4151 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 24 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127681497744 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4152] ppid=4145 vsize=27984808 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4152/stat : 4152 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 24 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127495653904 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4153] ppid=4145 vsize=27984808 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4153/stat : 4153 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 24 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127494601104 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4154] ppid=4145 vsize=27984808 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4154/stat : 4154 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 24 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127493548304 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4155] ppid=4145 vsize=27984808 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4155/stat : 4155 (java) S 4145 4148 3222 0 -1 1077944384 2 26589 0 0 0 0 522 14 20 0 23 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127492496528 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4156] ppid=4145 vsize=27984808 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4156/stat : 4156 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 23 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127491443728 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4157] ppid=4145 vsize=27984808 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4157/stat : 4157 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 23 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127490390928 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4158] ppid=4145 vsize=27984808 memory=1580 CPUtime=5.36 cores=0-7 /proc/4148/task/4158/stat : 4158 (java) S 4145 4148 3222 0 -1 1077944384 3 26589 0 0 0 0 522 14 20 0 23 0 83277044 28656443392 423239 33554432000 4194304 4196468 140728378971952 140127489338128 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4159] ppid=4145 vsize=27984808 memory=2244 CPUtime=5.36 cores=0-7 /proc/4148/task/4159/stat : 4159 (java) S 4145 4148 3222 0 -1 1077944384 7 26589 0 0 0 0 522 14 20 0 23 0 83277046 28656443392 423239 33554432000 4194304 4196468 140728378971952 140125796235792 140127677265621 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4160] ppid=4145 vsize=27984808 memory=4136 CPUtime=5.36 cores=0-7 /proc/4148/task/4160/stat : 4160 (java) S 4145 4148 3222 0 -1 1077944384 14 26589 0 0 0 0 522 14 20 0 23 0 83277046 28656443392 423239 33554432000 4194304 4196468 140728378971952 140125656835104 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4161] ppid=4145 vsize=27984808 memory=2204 CPUtime=5.36 cores=0-7 /proc/4148/task/4161/stat : 4161 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 23 0 83277046 28656443392 423239 33554432000 4194304 4196468 140728378971952 140125388399472 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4162] ppid=4145 vsize=27984808 memory=7532 CPUtime=5.36 cores=0-7 /proc/4148/task/4162/stat : 4162 (java) S 4145 4148 3222 0 -1 1077944384 1 26589 0 0 0 0 522 14 20 0 23 0 83277049 28656443392 423234 33554432000 4194304 4196468 140728378971952 140125013890896 140127677274011 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4163] ppid=4145 vsize=27853732 memory=0 CPUtime=9.47 cores=0-7 /proc/4148/task/4163/stat : 4163 (java) S 4145 4148 3222 0 -1 1077944384 4364 26589 0 0 410 1 522 14 20 0 22 0 83277049 28522221568 423234 33554432000 4194304 4196468 140728378971952 140125795183472 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4164] ppid=4145 vsize=27853732 memory=0 CPUtime=9.36 cores=0-7 /proc/4148/task/4164/stat : 4164 (java) S 4145 4148 3222 0 -1 1077944384 4536 26589 0 0 399 1 522 14 20 0 22 0 83277049 28522221568 423234 33554432000 4194304 4196468 140728378971952 140125794130672 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4165] ppid=4145 vsize=27853732 memory=0 CPUtime=9.54 cores=0-7 /proc/4148/task/4165/stat : 4165 (java) S 4145 4148 3222 0 -1 1077944384 5532 26589 0 0 416 2 522 14 20 0 22 0 83277049 28522221568 423234 33554432000 4194304 4196468 140728378971952 140125793077872 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4166] ppid=4145 vsize=27853732 memory=0 CPUtime=6.94 cores=0-7 /proc/4148/task/4166/stat : 4166 (java) S 4145 4148 3222 0 -1 1077944384 4042 26589 0 0 157 1 522 14 20 0 22 0 83277049 28522221568 423234 33554432000 4194304 4196468 140728378971952 140125522614768 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4167] ppid=4145 vsize=27853732 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4167/stat : 4167 (java) S 4145 4148 3222 0 -1 1077944384 3 26589 0 0 0 0 522 14 20 0 22 0 83277049 28522221568 423234 33554432000 4194304 4196468 140728378971952 140124515986016 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4168] ppid=4145 vsize=27853732 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4168/stat : 4168 (java) S 4145 4148 3222 0 -1 1077944384 3 26589 0 0 0 0 522 14 20 0 22 0 83277049 28522221568 423234 33554432000 4194304 4196468 140728378971952 140125521562160 140127677266562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4170] ppid=4145 vsize=27853732 memory=0 CPUtime=5.36 cores=0-7 /proc/4148/task/4170/stat : 4170 (java) S 4145 4148 3222 0 -1 1077944384 23 26589 0 0 0 0 522 14 20 0 22 0 83277611 28522221568 423234 33554432000 4194304 4196468 140728378971952 140127469182704 140127677265621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 [pid=4148/tid=4174] ppid=4145 vsize=27853732 memory=84 CPUtime=5.36 cores=0-7 /proc/4148/task/4174/stat : 4174 (java) R 4145 4148 3222 0 -1 4202560 9 26589 0 0 0 0 522 14 20 0 22 0 83277613 28522221568 423234 33554432000 4194304 4196468 140728378971952 140123576458624 140127656333297 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21737472 140728378975194 140728378975493 140728378975493 140728378978255 0 Current children cumulated CPU time: 25 s Current children cumulated vsize: 27984808 KiB Current children cumulated memory: 1694964 KiB Child status: 0 Real time (s): 6.62252 CPU time (s): 25.0344 CPU user time (s): 24.5019 CPU system time (s): 0.532459 CPU usage (%): 378.019 Max. virtual memory (cumulated for all children) (KiB): 28685084 Max. memory (cumulated for all children) (KiB): 1825312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.5019 system time used= 0.532459 maximum resident set size= 1697792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65607 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4456 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18192 involuntary context switches= 77 # summary of solver processes directly reported to runsolver: # pid: 4148 # total CPU time (s): 25.0344 # total CPU user time (s): 24.5019 # total CPU system time (s): 0.532459 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.072124 second user time and 0.107693 second system time The end
Begin job on node104 at 2018-07-27 04:05:39 IDJOB=4297243 IDBENCH=141385 IDSOLVER=2759 FILE ID=node104/4297243-1532657139 RUNJOBID= node104-1532654585-3249 PBS_JOBID= 21022220 Free space on /tmp= 48344 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-5-5-8-cp_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297243-1532657139/watcher-4297243-1532657139 -o /tmp/evaluation-result-4297243-1532657139/solver-4297243-1532657139 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532654585-3249 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297243-1532657139.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9b78f23c985b0ab0793e8fc03cc65dc7 RANDOM SEED=88157806 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23488104 kB MemAvailable: 31927864 kB Buffers: 193488 kB Cached: 8461556 kB SwapCached: 60 kB Active: 4019656 kB Inactive: 4687844 kB Active(anon): 4088 kB Inactive(anon): 76776 kB Active(file): 4015568 kB Inactive(file): 4611068 kB Unevictable: 7168 kB Mlocked: 7168 kB SwapTotal: 67108860 kB SwapFree: 67108800 kB Dirty: 9068 kB Writeback: 0 kB AnonPages: 60076 kB Mapped: 41636 kB Shmem: 25168 kB Slab: 269632 kB SReclaimable: 241584 kB SUnreclaim: 28048 kB KernelStack: 3296 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48336 MiB End job on node104 at 2018-07-27 04:05:45