Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-07) | SAT | 296.549 | 39.127 |
Name | StripPacking/ StripPacking-N1c_c18.xml |
MD5SUM | 19f4dcf35e46defaa68e633424c84ce1 |
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 | 31.4902 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 85 |
Number of constraints | 52 |
Number of domains | 19 |
Minimum domain size | 2 |
Maximum domain size | 200 |
Distribution of domain sizes | [{"size":2,"count":51},{"size":200,"count":34}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 68 |
Distribution of constraint arities | [{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}] |
Number of extensional constraints | 17 |
Number of intensional constraints | 34 |
Distribution of constraint types | [{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","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: Thu Jul 26 21:38:16 CEST 2018 0.65/0.55 c PID: 8986 0.65/0.55 c IP: 172.20.3.134 0.65/0.55 c HOST: node134.alineos.net 0.65/0.56 c (0,0) Parsing Begin 1.37/0.97 c (0,0) Parsing End 1.37/0.97 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200 1.37/0.97 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.37/0.97 c (0,0) Constraint Name Generate Begin 1.37/0.98 c (0,0) Ctr:HOME/instance-4297256-1532633895.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num 1.37/0.98 c (0,0) Constraint Name Generate End 1.37/0.98 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.37/0.98 c (0,0) CSP to CSPinCNF Begin 1.58/1.06 c (0,0) translated 6 (10%) constraints 1.58/1.06 c (0,0) translated 11 (20%) constraints 1.58/1.07 c (0,0) translated 16 (30%) constraints 1.58/1.07 c (0,0) translated 21 (40%) constraints 1.58/1.07 c (0,0) translated 26 (50%) constraints 1.58/1.08 c (0,0) translated 32 (60%) constraints 1.75/1.17 c (0,0) translated 37 (70%) constraints 1.93/1.22 c (0,0) translated 42 (80%) constraints 1.93/1.27 c (0,0) translated 47 (90%) constraints 2.21/1.31 c (0,0) translated 52 (100%) constraints 2.50/1.45 c (0,0) STATISTICS1:HOME/instance-4297256-1532633895.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17, 2.50/1.45 c (0,0) =========================================== 2.50/1.45 c (0,0) Both Encoding selects: 2.50/1.46 c (0,0) Order 2.50/1.46 c (0,0) =========================================== 2.50/1.47 c (0,0) translated 43 (10%) constraints 2.50/1.47 c (0,0) translated 85 (20%) constraints 2.50/1.47 c (0,0) translated 128 (30%) constraints 2.50/1.48 c (0,0) translated 170 (40%) constraints 2.50/1.48 c (0,0) translated 213 (50%) constraints 2.50/1.48 c (0,0) translated 255 (60%) constraints 2.50/1.49 c (0,0) translated 298 (70%) constraints 2.50/1.49 c (0,0) translated 340 (80%) constraints 2.87/1.50 c (0,0) translated 383 (90%) constraints 2.87/1.50 c (0,0) translated 425 (100%) constraints 2.87/1.50 c (0,0) CSP to CSPinCNF End 2.87/1.51 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196 2.87/1.51 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 2.87/1.51 c (0,0) CSPinCNF Propagation Begin 2.87/1.58 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed 2.87/1.58 c (1,1) CSPinCNF Propagation End 2.87/1.58 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196 2.87/1.58 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 2.87/1.58 c (1,1) Simplify CSPinCNF Begin 3.27/1.64 c (1,1) Simplify CSPinCNF End 3.27/1.64 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196 3.27/1.64 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.27/1.64 c (1,1) Calculate Precise Domain Begin 3.27/1.64 c (1,1) 0 values are removed by re-calculation 3.27/1.64 c (1,1) Calculate Precise Domain End 3.27/1.64 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196 3.27/1.64 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.27/1.64 c (1,1) CSPinCNF to SatSolver Begin 3.64/1.70 c (1,1) 97 (10 %) CSP clauses are encoded (6455 SAT variables, 5854 SAT clauses) 3.64/1.71 c (1,1) 194 (20 %) CSP clauses are encoded (6455 SAT variables, 5951 SAT clauses) 3.64/1.71 c (1,1) 291 (30 %) CSP clauses are encoded (6455 SAT variables, 6048 SAT clauses) 4.05/1.84 c (1,1) 388 (40 %) CSP clauses are encoded (6455 SAT variables, 24313 SAT clauses) 4.47/1.91 c (1,1) 485 (50 %) CSP clauses are encoded (6455 SAT variables, 45110 SAT clauses) 4.47/1.95 c (1,1) 582 (60 %) CSP clauses are encoded (6455 SAT variables, 60101 SAT clauses) 4.47/2.00 c (1,1) 679 (70 %) CSP clauses are encoded (6455 SAT variables, 80074 SAT clauses) 4.71/2.06 c (1,1) 776 (80 %) CSP clauses are encoded (6455 SAT variables, 102531 SAT clauses) 4.85/2.12 c (1,1) 873 (90 %) CSP clauses are encoded (6455 SAT variables, 124013 SAT clauses) 4.85/2.16 c (1,1) 969 (100 %) CSP clauses are encoded (6455 SAT variables, 141024 SAT clauses) 4.85/2.16 c (1,1) CSPinCNF to SatSolver End 4.85/2.16 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 4.85/2.19 c (1,1) STATISTICS2:HOME/instance-4297256-1532633895.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666, 4.85/2.19 c (1,1) SatSolver.solve Begin 4.85/2.19 c (1,1) 6455 bool, 141255 clause 4.85/2.19 c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297256-1532633895.xml-scop-8986.cnf HOME/instance-4297256-1532633895.xml-scop-8986.cnf.out 76.66/11.52 c (10,0) c 76.66/11.52 c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 76.66/11.52 c (10,0) c 76.66/11.52 c (10,0) c WARNING: for repeatability, setting FPU to use double precision 76.66/11.52 c (10,0) c 8 solvers engines and 1 companion as a blackboard created. 76.66/11.52 c (10,0) c ========================================[ Problem Statistics ]=========================================== 76.66/11.52 c (10,0) c | | 76.66/11.52 c (10,0) c | Number of variables: 6455 | 76.66/11.52 c (10,0) c | Number of clauses: 141255 | 76.66/11.52 c (10,0) c | Parse time: 0.05 s | 76.66/11.52 c (10,0) c | | 76.66/11.52 c (10,0) c | Eliminated clauses: 0.01 Mb | 76.66/11.52 c (10,0) c | Simplification time: 0.24 s | 76.66/11.52 c (10,0) c | | 76.66/11.52 c (10,0) c | Generating clones | 76.66/11.52 c (10,0) c | all clones generated. Memory = 108.00Mb. | 76.66/11.52 c (10,0) c ========================================================================================================| 76.66/11.52 c (10,0) c 76.66/11.52 c (10,0) c |-------------------------------------------------------------------------------------------------------| 76.66/11.52 c (10,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 76.66/11.52 c (10,0) c |-------------------------------------------------------------------------------------------------------| 76.66/11.52 c (10,0) c | 0 | 77 | 65573 | 34193 | 40877 | 18004 | 6050 | 38809 | 1536 | 0.000 | 76.66/11.52 c (10,0) c | 1 | 60 | 56775 | 30233 | 39161 | 14048 | 5762 | 42363 | 1693 | 0.000 | 76.66/11.52 c (10,0) c | 2 | 46 | 61397 | 32661 | 41532 | 16470 | 6093 | 40949 | 1903 | 0.000 | 76.66/11.52 c (10,0) c | 3 | 59 | 63559 | 34290 | 40742 | 18097 | 6358 | 41672 | 1765 | 0.000 | 76.66/11.52 c (10,0) c | 4 | 52 | 56051 | 30895 | 38813 | 14708 | 5605 | 41546 | 1951 | 0.000 | 76.66/11.52 c (10,0) c | 5 | 55 | 62475 | 33210 | 40918 | 17018 | 6182 | 41039 | 1905 | 0.000 | 76.66/11.52 c (10,0) c | 6 | 59 | 60917 | 32995 | 40217 | 16812 | 6109 | 41750 | 1774 | 0.000 | 76.66/11.52 c (10,0) c | 7 | 57 | 56934 | 32166 | 38756 | 15980 | 6014 | 40579 | 1643 | 0.000 | 76.66/11.52 c (10,0) c 76.66/11.53 c (10,0) c synthesis 260644 conflicts 77089414 propagations 6588 conflicts/sec 1948559 propagations/sec 76.66/11.53 c (10,0) c Total Memory so far : 687.51Mb 76.66/11.53 c (10,0) c 76.66/11.53 c (10,0) c |-------------------------------------------------------------------------------------------------------| 76.66/11.53 c (10,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 76.66/11.53 c (10,0) c |-------------------------------------------------------------------------------------------------------| 76.66/11.53 c (10,0) c | 0 | 131 | 103517 | 54643 | 49685 | 16107 | 8844 | 64382 | 3613 | 0.000 | 76.66/11.53 c (10,0) c | 1 | 123 | 96350 | 50881 | 49702 | 24791 | 8684 | 64805 | 3853 | 0.000 | 76.66/11.53 c (10,0) c | 2 | 113 | 102751 | 54552 | 49061 | 16007 | 9099 | 64061 | 4430 | 0.000 | 76.66/11.53 c (10,0) c | 3 | 140 | 104606 | 55873 | 51211 | 17333 | 9376 | 63347 | 3907 | 0.000 | 76.66/11.53 c (10,0) c | 4 | 66 | 94807 | 52047 | 48271 | 13515 | 9316 | 63984 | 3723 | 0.000 | 76.66/11.53 c (10,0) c | 5 | 130 | 105958 | 55402 | 49383 | 16864 | 9316 | 64017 | 4130 | 0.000 | 76.66/11.53 c (10,0) c | 6 | 134 | 105326 | 56163 | 51560 | 17632 | 9370 | 63871 | 4039 | 0.000 | 76.66/11.53 c (10,0) c | 7 | 96 | 93814 | 52693 | 47715 | 14159 | 9487 | 63099 | 3446 | 0.000 | 76.66/11.53 c (10,0) c 172.38/23.52 c (22,0) c synthesis 432255 conflicts 130499630 propagations 6057 conflicts/sec 1828614 propagations/sec 172.38/23.52 c (22,0) c Total Memory so far : 687.51Mb 172.38/23.52 c (22,0) c 172.38/23.52 c (22,0) c |-------------------------------------------------------------------------------------------------------| 172.38/23.52 c (22,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 172.38/23.52 c (22,0) c |-------------------------------------------------------------------------------------------------------| 172.38/23.52 c (22,0) c | 0 | 190 | 138350 | 73043 | 54446 | 19479 | 11704 | 81495 | 5512 | 0.000 | 172.38/23.52 c (22,0) c | 1 | 175 | 127868 | 68601 | 54256 | 15038 | 10873 | 82171 | 5556 | 0.000 | 172.38/23.52 c (22,0) c | 2 | 148 | 138142 | 74548 | 53417 | 20985 | 11714 | 81358 | 6088 | 0.000 | 172.38/23.52 c (22,0) c | 3 | 213 | 139488 | 74428 | 55662 | 20864 | 11891 | 81243 | 5836 | 0.000 | 172.38/23.52 c (22,0) c | 4 | 122 | 129764 | 71078 | 54096 | 17522 | 11624 | 81562 | 5831 | 0.000 | 172.38/23.52 c (22,0) c | 5 | 167 | 140635 | 74884 | 54263 | 21327 | 11982 | 79752 | 5796 | 0.000 | 172.38/23.52 c (22,0) c | 6 | 194 | 139911 | 75331 | 56127 | 21767 | 11620 | 80717 | 5861 | 0.000 | 172.38/23.52 c (22,0) c | 7 | 146 | 127318 | 71295 | 52224 | 17736 | 11827 | 80152 | 5560 | 0.000 | 172.38/23.52 c (22,0) c 172.38/23.52 c (22,0) c synthesis 583208 conflicts 179854353 propagations 5650 conflicts/sec 1742458 propagations/sec 172.38/23.52 c (22,0) c Total Memory so far : 687.51Mb 172.38/23.52 c (22,0) c 172.38/23.52 c (22,0) c |-------------------------------------------------------------------------------------------------------| 172.38/23.52 c (22,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 172.38/23.52 c (22,0) c |-------------------------------------------------------------------------------------------------------| 172.38/23.52 c (22,0) c | 0 | 240 | 170026 | 90284 | 58630 | 19104 | 13903 | 94950 | 7251 | 0.000 | 172.38/23.52 c (22,0) c | 1 | 260 | 160735 | 85682 | 58059 | 32119 | 12836 | 96429 | 7302 | 0.000 | 172.38/23.53 c (22,0) c | 2 | 225 | 170674 | 91481 | 56465 | 20304 | 13924 | 95347 | 8054 | 0.000 | 172.38/23.53 c (22,0) c | 3 | 321 | 173389 | 91270 | 59861 | 20096 | 13625 | 95332 | 7346 | 0.000 | 172.38/23.53 c (22,0) c | 4 | 186 | 161451 | 87254 | 58850 | 33698 | 13931 | 95361 | 7490 | 0.000 | 172.38/23.53 c (22,0) c | 5 | 226 | 171095 | 91621 | 57005 | 20449 | 13948 | 95016 | 7372 | 0.000 | 172.38/23.53 c (22,0) c | 6 | 259 | 169921 | 91731 | 58610 | 20554 | 13388 | 95645 | 7298 | 0.000 | 172.38/23.53 c (22,0) c | 7 | 228 | 160347 | 88022 | 56267 | 34462 | 13742 | 95238 | 7165 | 0.000 | 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c synthesis 717345 conflicts 224721129 propagations 5310 conflicts/sec 1663596 propagations/sec 172.38/23.53 c (22,0) c Total Memory so far : 687.51Mb 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Try to adapt solver strategies 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Try to adapt solver strategies 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Try to adapt solver strategies 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Try to adapt solver strategies 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c 172.38/23.53 c (22,0) c |-------------------------------------------------------------------------------------------------------| 172.38/23.53 c (22,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 172.38/23.53 c (22,0) c |-------------------------------------------------------------------------------------------------------| 172.38/23.53 c (22,0) c | 0 | 312 | 198516 | 105117 | 60687 | 33936 | 15481 | 109674 | 8382 | 0.000 | 172.38/23.53 c (22,0) c | 1 | 323 | 191071 | 101568 | 60425 | 30387 | 14824 | 109696 | 8696 | 0.000 | 172.38/23.53 c (22,0) c | 2 | 295 | 202264 | 107933 | 59058 | 36755 | 16226 | 108758 | 9634 | 0.000 | 172.38/23.53 c (22,0) c | 3 | 367 | 203664 | 107750 | 62949 | 36576 | 15881 | 109283 | 8768 | 0.000 | 268.09/35.52 c (34,0) c | 4 | 232 | 190728 | 103378 | 62000 | 32206 | 16236 | 108935 | 8769 | 0.000 | 268.09/35.52 c (34,0) c | 5 | 314 | 202915 | 108127 | 59737 | 36955 | 15741 | 109396 | 9054 | 0.000 | 268.09/35.52 c (34,0) c | 6 | 354 | 198878 | 106642 | 60778 | 35464 | 15052 | 110065 | 8867 | 0.000 | 268.09/35.52 c (34,0) c | 7 | 311 | 191550 | 104220 | 59241 | 33042 | 15745 | 109352 | 8737 | 0.000 | 268.09/35.52 c (34,0) c 268.09/35.52 c (34,0) c synthesis 844737 conflicts 268639322 propagations 5059 conflicts/sec 1608850 propagations/sec 268.09/35.52 c (34,0) c Total Memory so far : 687.51Mb 268.09/35.52 c (34,0) c 268.09/35.52 c (34,0) c |-------------------------------------------------------------------------------------------------------| 268.09/35.52 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 268.09/35.52 c (34,0) c |-------------------------------------------------------------------------------------------------------| 268.09/35.52 c (34,0) c | 0 | 371 | 224805 | 119348 | 62312 | 27962 | 17203 | 123022 | 9598 | 0.000 | 268.09/35.52 c (34,0) c | 1 | 394 | 218271 | 115517 | 62155 | 24137 | 16660 | 123776 | 10083 | 0.000 | 268.09/35.52 c (34,0) c | 2 | 390 | 232688 | 123596 | 61250 | 32213 | 18088 | 122305 | 10955 | 0.000 | 268.09/35.52 c (34,0) c | 3 | 448 | 233943 | 123756 | 65798 | 32378 | 17803 | 122665 | 10219 | 0.000 | 268.09/35.52 c (34,0) c | 4 | 293 | 222224 | 119854 | 66218 | 28479 | 18774 | 121292 | 10024 | 0.000 | 268.09/35.52 c (34,0) c | 5 | 378 | 229907 | 123116 | 61420 | 31742 | 17477 | 122923 | 10661 | 0.000 | 268.09/35.52 c (34,0) c | 6 | 417 | 229142 | 122453 | 63932 | 31087 | 17017 | 123247 | 10339 | 0.000 | 268.09/35.52 c (34,0) c | 7 | 371 | 217647 | 118467 | 61231 | 27087 | 17458 | 122918 | 10177 | 0.000 | 268.09/35.52 c (34,0) c 268.09/35.52 c (34,0) c synthesis 966108 conflicts 310689402 propagations 4859 conflicts/sec 1562610 propagations/sec 268.09/35.52 c (34,0) c Total Memory so far : 687.51Mb 268.09/35.52 c (34,0) c 268.09/35.52 c (34,0) c |-------------------------------------------------------------------------------------------------------| 268.09/35.52 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 268.09/35.52 c (34,0) c |-------------------------------------------------------------------------------------------------------| 268.09/35.53 c (34,0) c | 0 | 434 | 250151 | 133254 | 63671 | 41868 | 18784 | 133941 | 11285 | 0.000 | 268.09/35.53 c (34,0) c | 1 | 438 | 240237 | 127711 | 63528 | 36331 | 18220 | 134349 | 11370 | 0.000 | 268.09/35.53 c (34,0) c | 2 | 439 | 255513 | 136296 | 62209 | 44913 | 19575 | 134256 | 12051 | 0.000 | 268.09/35.53 c (34,0) c | 3 | 522 | 262251 | 138866 | 67749 | 24685 | 19763 | 134220 | 11870 | 0.000 | 268.09/35.53 c (34,0) c | 4 | 321 | 250541 | 135452 | 70591 | 44077 | 20991 | 132401 | 11426 | 0.000 | 268.09/35.53 c (34,0) c | 5 | 424 | 251895 | 135229 | 62627 | 43855 | 18975 | 134931 | 12062 | 0.000 | 268.09/35.53 c (34,0) c | 6 | 475 | 253619 | 136125 | 65623 | 44758 | 18572 | 135054 | 11618 | 0.000 | 268.09/35.53 c (34,0) c | 7 | 419 | 242203 | 132426 | 62671 | 41046 | 19107 | 134800 | 11338 | 0.000 | 268.09/35.53 c (34,0) c 268.09/35.53 c (34,0) c synthesis 1075359 conflicts 349205257 propagations 4662 conflicts/sec 1513786 propagations/sec 268.09/35.53 c (34,0) c Total Memory so far : 742.22Mb 268.09/35.53 c (34,0) c 268.09/35.53 c (34,0) c |-------------------------------------------------------------------------------------------------------| 268.09/35.53 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 268.09/35.53 c (34,0) c |-------------------------------------------------------------------------------------------------------| 268.09/35.53 c (34,0) c | 0 | 492 | 276056 | 147204 | 65030 | 33022 | 20463 | 147137 | 12651 | 0.000 | 268.09/35.53 c (34,0) c | 1 | 484 | 259000 | 137809 | 64991 | 23623 | 19515 | 147633 | 12437 | 0.000 | 268.09/35.53 c (34,0) c | 2 | 479 | 281141 | 150700 | 63542 | 36508 | 21731 | 146120 | 13171 | 0.000 | 268.09/35.53 c (34,0) c | 3 | 578 | 288550 | 154164 | 68724 | 39983 | 21586 | 146217 | 13238 | 0.000 | 268.09/35.53 c (34,0) c | 4 | 351 | 276567 | 150107 | 72673 | 35929 | 22682 | 144116 | 12622 | 0.000 | 296.07/39.04 c (38,0) c | 5 | 460 | 277858 | 149247 | 64921 | 35069 | 20921 | 146888 | 13210 | 0.000 | 296.07/39.04 c (38,0) c | 6 | 528 | 278982 | 150564 | 67138 | 36385 | 20171 | 147506 | 13122 | 0.000 | 296.07/39.04 c (38,0) c | 7 | 446 | 266246 | 145936 | 63999 | 31757 | 20785 | 146416 | 12436 | 0.000 | 296.07/39.04 c (38,0) c 296.07/39.04 c (38,0) c synthesis 1185731 conflicts 387806587 propagations 4516 conflicts/sec 1476959 propagations/sec 296.07/39.04 c (38,0) c Total Memory so far : 687.51Mb 296.07/39.04 c (38,0) c last restart ## conflicts : 1473 86 296.07/39.05 c (38,0) c Thread 5 is 100% pure glucose! First thread to finish! (SAT answer). 296.07/39.05 c (38,0) c Total Memory so far : 687.51Mb 296.07/39.05 c (38,0) c 296.07/39.05 c (38,0) c real time : 36.8392 s 296.07/39.05 c (38,0) c cpu time : 290.652 s 296.07/39.05 c (38,0) c 296.07/39.05 c (38,0) c 296.07/39.05 c (38,0) c 296.07/39.05 c (38,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 296.07/39.05 c (38,0) c 296.07/39.05 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 296.07/39.05 c (38,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 296.07/39.05 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 296.07/39.05 c (38,0) c | Conflicts | 1267988 | 158392 | 146840 | 160686 | 165551 | 160930 | 158774 | 161189 | 155626 | 296.07/39.05 c (38,0) c | Decisions | 2353780 | 296817 | 274828 | 299137 | 310284 | 295865 | 295351 | 298315 | 283183 | 296.07/39.05 c (38,0) c | Propagations | 417935937 | 51515614 | 48270403 | 52836489 | 54732238 | 53744879 | 51893732 | 53354007 | 51588575 | 296.07/39.05 c (38,0) c | Avg_Trail | | 2728 | 2740 | 2758 | 2780 | 2813 | 2756 | 2738 | 2740 | 296.07/39.05 c (38,0) c | Avg_DL | | 26 | 27 | 27 | 28 | 27 | 27 | 27 | 27 | 296.07/39.05 c (38,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 296.07/39.05 c (38,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 296.07/39.05 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 296.07/39.05 c (38,0) c | Exported | 176890 | 21801 | 20569 | 22708 | 22961 | 23600 | 21963 | 21384 | 21904 | 296.07/39.05 c (38,0) c | Imported | 1235770 | 155063 | 156269 | 154093 | 153833 | 152978 | 154125 | 155446 | 153963 | 296.07/39.05 c (38,0) c | Good | 215 | 26 | 29 | 30 | 27 | 26 | 25 | 25 | 27 | 296.07/39.05 c (38,0) c | Purge | 1235555 | 155037 | 156240 | 154063 | 153806 | 152952 | 154100 | 155421 | 153936 | 296.07/39.05 c (38,0) c | Promoted | 111124 | 13732 | 13213 | 14474 | 14271 | 13821 | 14049 | 14248 | 13316 | 296.07/39.05 c (38,0) c | Remove_Imp | 747530 | 92321 | 101810 | 89496 | 102433 | 88398 | 90423 | 90532 | 92117 | 296.07/39.05 c (38,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 296.07/39.05 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 296.07/39.05 c (38,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 296.07/39.05 c (38,0) c | Binaries | | 5 | 2 | 1 | 4 | 4 | 5 | 6 | 4 | 296.07/39.05 c (38,0) c | Glues | | 50 | 44 | 48 | 57 | 55 | 53 | 45 | 57 | 296.07/39.05 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 296.07/39.05 c (38,0) c | Orig_Seen | 47 % | 65738 | 65482 | 64216 | 70040 | 73957 | 65828 | 68437 | 64778 | 296.07/39.05 c (38,0) c | Diff Orig seen| | - 90 | - 346 | - 1612 | 4212 | 8129 | X | 2609 | - 1050 | 296.07/39.05 c (38,0) c | Hamming | 34 % | 2252 | 2287 | 2114 | 2407 | 2050 | X | 2277 | 2223 | 296.07/39.05 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 296.07/39.05 c (38,0) 296.07/39.05 c (38,0) s SATISFIABLE 296.07/39.06 c (38,1) SatSolver.solve End 296.07/39.06 c (38,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 296.07/39.06 c (38,1) Show results Begin 296.07/39.08 c (38,1) h[0] = 35 296.07/39.08 c (38,1) h[1] = 17 296.07/39.08 c (38,1) h[2] = 36 296.07/39.08 c (38,1) h[3] = 70 296.07/39.08 c (38,1) h[4] = 42 296.07/39.08 c (38,1) h[5] = 5 296.07/39.08 c (38,1) h[6] = 12 296.07/39.08 c (38,1) h[7] = 25 296.07/39.08 c (38,1) h[8] = 11 296.07/39.08 c (38,1) h[9] = 40 296.07/39.08 c (38,1) h[10] = 26 296.07/39.08 c (38,1) h[11] = 44 296.07/39.08 c (38,1) h[12] = 77 296.07/39.08 c (38,1) h[13] = 86 296.07/39.08 c (38,1) h[14] = 79 296.07/39.08 c (38,1) h[15] = 9 296.07/39.08 c (38,1) h[16] = 121 296.07/39.08 c (38,1) r[0] = 1 296.07/39.08 c (38,1) r[1] = 1 296.07/39.08 c (38,1) r[2] = 1 296.07/39.08 c (38,1) r[3] = 1 296.07/39.08 c (38,1) r[4] = 1 296.07/39.08 c (38,1) r[5] = 1 296.07/39.08 c (38,1) r[6] = 1 296.07/39.08 c (38,1) r[7] = 1 296.07/39.08 c (38,1) r[8] = 1 296.07/39.08 c (38,1) r[9] = 1 296.07/39.11 c (38,1) r[10] = 1 296.07/39.11 c (38,1) r[11] = 1 296.07/39.11 c (38,1) r[12] = 1 296.07/39.11 c (38,1) r[13] = 1 296.07/39.11 c (38,1) r[14] = 1 296.07/39.11 c (38,1) r[15] = 1 296.07/39.11 c (38,1) r[16] = 1 296.07/39.11 c (38,1) w[0] = 86 296.07/39.11 c (38,1) w[1] = 54 296.07/39.11 c (38,1) w[2] = 81 296.07/39.11 c (38,1) w[3] = 88 296.07/39.11 c (38,1) w[4] = 117 296.07/39.11 c (38,1) w[5] = 32 296.07/39.11 c (38,1) w[6] = 42 296.07/39.11 c (38,1) w[7] = 15 296.07/39.11 c (38,1) w[8] = 55 296.07/39.11 c (38,1) w[9] = 10 296.51/39.11 c (38,1) w[10] = 78 296.51/39.11 c (38,1) w[11] = 29 296.51/39.11 c (38,1) w[12] = 40 296.51/39.11 c (38,1) w[13] = 49 296.51/39.11 c (38,1) w[14] = 64 296.51/39.11 c (38,1) w[15] = 30 296.51/39.11 c (38,1) w[16] = 34 296.51/39.11 c (38,1) x[0] = 50 296.51/39.11 c (38,1) x[1] = 82 296.51/39.11 c (38,1) x[2] = 55 296.51/39.11 c (38,1) x[3] = 0 296.51/39.11 c (38,1) x[4] = 0 296.51/39.11 c (38,1) x[5] = 50 296.51/39.11 c (38,1) x[6] = 40 296.51/39.11 c (38,1) x[7] = 40 296.51/39.11 c (38,1) x[8] = 0 296.51/39.11 c (38,1) x[9] = 40 296.51/39.11 c (38,1) x[10] = 88 296.51/39.11 c (38,1) x[11] = 88 296.51/39.11 c (38,1) x[12] = 0 296.51/39.11 c (38,1) x[13] = 117 296.51/39.11 c (38,1) x[14] = 136 296.51/39.11 c (38,1) x[15] = 136 296.51/39.11 c (38,1) x[16] = 166 296.51/39.11 c (38,1) y[0] = 165 296.51/39.11 c (38,1) y[1] = 148 296.51/39.11 c (38,1) y[2] = 112 296.51/39.11 c (38,1) y[3] = 42 296.51/39.11 c (38,1) y[4] = 0 296.51/39.11 c (38,1) y[5] = 160 296.51/39.11 c (38,1) y[6] = 148 296.51/39.11 c (38,1) y[7] = 123 296.51/39.11 c (38,1) y[8] = 112 296.51/39.11 c (38,1) y[9] = 160 296.51/39.11 c (38,1) y[10] = 86 296.51/39.11 c (38,1) y[11] = 42 296.51/39.11 c (38,1) y[12] = 123 296.51/39.11 c (38,1) y[13] = 0 296.51/39.11 c (38,1) y[14] = 121 296.51/39.11 c (38,1) y[15] = 112 296.51/39.11 c (38,1) y[16] = 0 296.51/39.11 s SATISFIABLE 296.51/39.11 v <instantiation> 296.51/39.11 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list> 296.51/39.11 v <values>50 82 55 0 0 50 40 40 0 40 88 88 0 117 136 136 166 165 148 112 42 0 160 148 123 112 160 86 42 123 0 121 112 0 86 54 81 88 117 32 42 15 55 10 78 29 40 49 64 30 34 35 17 36 70 42 5 12 25 11 40 26 44 77 86 79 9 121 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values> 296.51/39.11 v </instantiation> 296.51/39.11 c (38,1) Show results End 296.51/39.11 c (38,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 296.51/39.11 c (38,1) 0,0,0,1,1,1,1,38,38,STOP-AFTER(ALL) 296.51/39.11 c END-Prog: Thu Jul 26 21:38:54 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 (9112 MiB free) memory of node 1: 16384 MiB (11233 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297256-1532633895/watcher-4297256-1532633895 -o /tmp/evaluation-result-4297256-1532633895/solver-4297256-1532633895 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532633895-8968 --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-4297256-1532633895.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=8986, runsolver pid=8983 [startup+0.102143 s]* /proc/loadavg: 1.92 2.00 1.95 2/204 9006 /proc/meminfo: memFree=20739092/32770624 swapFree=67108860/67108860 [pid=8986] ppid=8983 vsize=27312552 memory=107976 CPUtime=0.1 cores=0-7 /proc/8986/stat : 8986 (java) S 8983 8986 8941 0 -1 1077944320 6530 0 0 0 8 2 0 0 20 0 20 0 80952701 27968053248 26994 33554432000 4194304 4196468 140722894448288 140722894430832 139676828094199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 /proc/8986/statm: 6828138 26994 2756 1 0 6790598 0 [pid=8986/tid=8988] ppid=8983 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/8986/task/8988/stat : 8988 (java) R 8983 8986 8941 0 -1 4202560 4634 0 0 0 7 2 0 0 20 0 20 0 80952702 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676799890080 139676828106134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8989] ppid=8983 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/8986/task/8989/stat : 8989 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676832336784 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8990] ppid=8983 vsize=27312552 memory=140365498398336 CPUtime=0 cores=0-7 /proc/8986/task/8990/stat : 8990 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676646492944 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8991] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8991/stat : 8991 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676645440656 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8992] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8992/stat : 8992 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676644387856 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8993] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8993/stat : 8993 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676643334544 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8994] ppid=8983 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8986/task/8994/stat : 8994 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676642281744 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8995] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8995/stat : 8995 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676641229456 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8996] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8996/stat : 8996 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 26994 33554432000 4194304 4196468 140722894448288 139676640176656 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8997] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8997/stat : 8997 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952705 27968053248 26994 33554432000 4194304 4196468 140722894448288 139675281881712 139676828105346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8998] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8998/stat : 8998 (java) S 8983 8986 8941 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80952706 27968053248 26994 33554432000 4194304 4196468 140722894448288 139674483942688 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8999] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8999/stat : 8999 (java) S 8983 8986 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952706 27968053248 26994 33554432000 4194304 4196468 140722894448288 139674349721200 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9000] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9000/stat : 9000 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952708 27968053248 26994 33554432000 4194304 4196468 140722894448288 139673975216720 139676828112795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9001] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9001/stat : 9001 (java) S 8983 8986 8941 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 26994 33554432000 4194304 4196468 140722894448288 139675280828528 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9002] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9002/stat : 9002 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 26994 33554432000 4194304 4196468 140722894448288 139675279775728 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9003] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9003/stat : 9003 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 26994 33554432000 4194304 4196468 140722894448288 139675278723440 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9004] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9004/stat : 9004 (java) S 8983 8986 8941 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 26994 33554432000 4194304 4196468 140722894448288 139675277670640 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9005] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9005/stat : 9005 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 26994 33554432000 4194304 4196468 140722894448288 139673477311328 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9006] ppid=8983 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8986/task/9006/stat : 9006 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 26994 33554432000 4194304 4196468 140722894448288 139675276618544 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 107976 KiB [startup+0.210492 s]* /proc/loadavg: 1.92 2.00 1.95 2/204 9006 /proc/meminfo: memFree=20723448/32770624 swapFree=67108860/67108860 [pid=8986] ppid=8983 vsize=27312552 memory=122136 CPUtime=0.24 cores=0-7 /proc/8986/stat : 8986 (java) S 8983 8986 8941 0 -1 1077944320 10322 0 0 0 21 3 0 0 20 0 20 0 80952701 27968053248 30534 33554432000 4194304 4196468 140722894448288 140722894430832 139676828094199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 /proc/8986/statm: 6828138 30534 2908 1 0 6790598 0 [pid=8986/tid=8988] ppid=8983 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/8986/task/8988/stat : 8988 (java) R 8983 8986 8941 0 -1 4202560 8206 0 0 0 16 3 0 0 20 0 20 0 80952702 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676799883904 139676828116125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8989] ppid=8983 vsize=27312552 memory=13976 CPUtime=0 cores=0-7 /proc/8986/task/8989/stat : 8989 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676832336784 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8990] ppid=8983 vsize=27312552 memory=140365498407429 CPUtime=0 cores=0-7 /proc/8986/task/8990/stat : 8990 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676646492944 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8991] ppid=8983 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8986/task/8991/stat : 8991 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676645440656 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8992] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8992/stat : 8992 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676644387856 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8993] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8993/stat : 8993 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676643334544 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8994] ppid=8983 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8986/task/8994/stat : 8994 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676642281744 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8995] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8995/stat : 8995 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676641229456 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8996] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8996/stat : 8996 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 30534 33554432000 4194304 4196468 140722894448288 139676640176656 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8997] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8997/stat : 8997 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952705 27968053248 30534 33554432000 4194304 4196468 140722894448288 139675281881712 139676828105346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8998] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8998/stat : 8998 (java) S 8983 8986 8941 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80952706 27968053248 30534 33554432000 4194304 4196468 140722894448288 139674483942688 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8999] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8999/stat : 8999 (java) S 8983 8986 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952706 27968053248 30534 33554432000 4194304 4196468 140722894448288 139674349721200 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9000] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9000/stat : 9000 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952708 27968053248 30534 33554432000 4194304 4196468 140722894448288 139673975216720 139676828112795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9001] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9001/stat : 9001 (java) S 8983 8986 8941 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 30534 33554432000 4194304 4196468 140722894448288 139675280828528 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9002] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9002/stat : 9002 (java) S 8983 8986 8941 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 30534 33554432000 4194304 4196468 140722894448288 139675279775728 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9003] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9003/stat : 9003 (java) S 8983 8986 8941 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 30534 33554432000 4194304 4196468 140722894448288 139675278723440 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9004] ppid=8983 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/8986/task/9004/stat : 9004 (java) S 8983 8986 8941 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 20 0 80952709 27968053248 30534 33554432000 4194304 4196468 140722894448288 139675277670640 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9005] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9005/stat : 9005 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 30534 33554432000 4194304 4196468 140722894448288 139673477311328 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9006] ppid=8983 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8986/task/9006/stat : 9006 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 30599 33554432000 4194304 4196468 140722894448288 139675276618544 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 122136 KiB [startup+0.310434 s]* /proc/loadavg: 1.92 2.00 1.95 2/204 9006 /proc/meminfo: memFree=20720036/32770624 swapFree=67108860/67108860 [pid=8986] ppid=8983 vsize=27312552 memory=125620 CPUtime=0.42 cores=0-7 /proc/8986/stat : 8986 (java) S 8983 8986 8941 0 -1 1077944320 10866 0 0 0 38 4 0 0 20 0 20 0 80952701 27968053248 31405 33554432000 4194304 4196468 140722894448288 140722894430832 139676828094199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 /proc/8986/statm: 6828138 31405 2955 1 0 6790598 0 [pid=8986/tid=8988] ppid=8983 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8986/task/8988/stat : 8988 (java) R 8983 8986 8941 0 -1 4202560 8590 0 0 0 26 3 0 0 20 0 20 0 80952702 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676799898128 139676812174686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8989] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8989/stat : 8989 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676832336784 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8990] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8990/stat : 8990 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676646492944 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8991] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8991/stat : 8991 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676645440656 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8992] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8992/stat : 8992 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676644387856 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8993] ppid=8983 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/8986/task/8993/stat : 8993 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676643334544 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8994] ppid=8983 vsize=27312552 memory=140365369799599 CPUtime=0 cores=0-7 /proc/8986/task/8994/stat : 8994 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676642281744 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8995] ppid=8983 vsize=27312552 memory=140365369801904 CPUtime=0 cores=0-7 /proc/8986/task/8995/stat : 8995 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676641229456 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8996] ppid=8983 vsize=27312552 memory=140365369804208 CPUtime=0 cores=0-7 /proc/8986/task/8996/stat : 8996 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27968053248 31405 33554432000 4194304 4196468 140722894448288 139676640176656 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8997] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8997/stat : 8997 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952705 27968053248 31405 33554432000 4194304 4196468 140722894448288 139675281881712 139676828105346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8998] ppid=8983 vsize=27312552 memory=280730739615376 CPUtime=0 cores=0-7 /proc/8986/task/8998/stat : 8998 (java) S 8983 8986 8941 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80952706 27968053248 31405 33554432000 4194304 4196468 140722894448288 139674483942688 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8999] ppid=8983 vsize=27312552 memory=280730739622288 CPUtime=0 cores=0-7 /proc/8986/task/8999/stat : 8999 (java) S 8983 8986 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952706 27968053248 31405 33554432000 4194304 4196468 140722894448288 139674349721200 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9000] ppid=8983 vsize=27312552 memory=280730739563568 CPUtime=0 cores=0-7 /proc/8986/task/9000/stat : 9000 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952708 27968053248 31405 33554432000 4194304 4196468 140722894448288 139673975216720 139676828112795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9001] ppid=8983 vsize=27312552 memory=280730739636112 CPUtime=0 cores=0-7 /proc/8986/task/9001/stat : 9001 (java) S 8983 8986 8941 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 31405 33554432000 4194304 4196468 140722894448288 139675280828528 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9002] ppid=8983 vsize=27312552 memory=280730739643024 CPUtime=0.02 cores=0-7 /proc/8986/task/9002/stat : 9002 (java) S 8983 8986 8941 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 80952709 27968053248 31405 33554432000 4194304 4196468 140722894448288 139675279775728 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9003] ppid=8983 vsize=27312552 memory=280730739640720 CPUtime=0.01 cores=0-7 /proc/8986/task/9003/stat : 9003 (java) S 8983 8986 8941 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 80952709 27968053248 31405 33554432000 4194304 4196468 140722894448288 139675278723440 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9004] ppid=8983 vsize=27312552 memory=280730739657328 CPUtime=0.07 cores=0-7 /proc/8986/task/9004/stat : 9004 (java) S 8983 8986 8941 0 -1 1077944384 293 0 0 0 7 0 0 0 20 0 20 0 80952709 27968053248 31405 33554432000 4194304 4196468 140722894448288 139675277670640 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9005] ppid=8983 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/9005/stat : 9005 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 31405 33554432000 4194304 4196468 140722894448288 139673477311328 139676828104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9006] ppid=8983 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/8986/task/9006/stat : 9006 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952709 27968053248 31405 33554432000 4194304 4196468 140722894448288 139675276618544 139676828105346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125620 KiB [startup+0.700906 s] /proc/loadavg: 1.92 2.00 1.95 2/204 9006 /proc/meminfo: memFree=20695480/32770624 swapFree=67108860/67108860 [pid=8986] ppid=8983 vsize=27320948 memory=163416 CPUtime=0.99 cores=0-7 /proc/8986/stat : 8986 (java) S 8983 8986 8941 0 -1 1077944320 17967 0 0 0 93 6 0 0 20 0 20 0 80952701 27976650752 40854 33554432000 4194304 4196468 140722894448288 140722894430832 139676828094199 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 /proc/8986/statm: 6830237 40854 3126 1 0 6791622 0 [pid=8986/tid=8988] ppid=8983 vsize=27320948 memory=0 CPUtime=0.66 cores=0-7 /proc/8986/task/8988/stat : 8988 (java) R 8983 8986 8941 0 -1 4202560 15208 0 0 0 61 5 0 0 20 0 20 0 80952702 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676799914544 139676810498704 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8989] ppid=8983 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8989/stat : 8989 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676832336784 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8990] ppid=8983 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8990/stat : 8990 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676646492944 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8991] ppid=8983 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8991/stat : 8991 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676645440656 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8992] ppid=8983 vsize=27320948 memory=1228 CPUtime=0 cores=0-7 /proc/8986/task/8992/stat : 8992 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676644387856 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8993] ppid=8983 vsize=27320948 memory=1704 CPUtime=0 cores=0-7 /proc/8986/task/8993/stat : 8993 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676643334544 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8994] ppid=8983 vsize=27320948 memory=1952 CPUtime=0 cores=0-7 /proc/8986/task/8994/stat : 8994 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676642281744 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8995] ppid=8983 vsize=27320948 memory=10592 CPUtime=0 cores=0-7 /proc/8986/task/8995/stat : 8995 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676641229456 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8996] ppid=8983 vsize=27320948 memory=15872 CPUtime=0 cores=0-7 /proc/8986/task/8996/stat : 8996 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952704 27976650752 40854 33554432000 4194304 4196468 140722894448288 139676640176656 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8997] ppid=8983 vsize=27320948 memory=18476 CPUtime=0 cores=0-7 /proc/8986/task/8997/stat : 8997 (java) S 8983 8986 8941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80952705 27976650752 40854 33554432000 4194304 4196468 140722894448288 139675281881712 139676828105346 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 ################ # More data... # ################ /proc/8986/task/8996/stat : 8996 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676640176656 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8997] ppid=8983 vsize=27984808 memory=18476 CPUtime=0 cores=0-7 /proc/8986/task/8997/stat : 8997 (java) S 8983 8986 8941 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 80952705 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675281881712 139676828105346 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8998] ppid=8983 vsize=27984808 memory=1236 CPUtime=0 cores=0-7 /proc/8986/task/8998/stat : 8998 (java) S 8983 8986 8941 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80952706 28656443392 144993 33554432000 4194304 4196468 140722894448288 139674483942688 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8999] ppid=8983 vsize=27984808 memory=280730739787288 CPUtime=0 cores=0-7 /proc/8986/task/8999/stat : 8999 (java) S 8983 8986 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80952706 28656443392 144993 33554432000 4194304 4196468 140722894448288 139674349721200 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9000] ppid=8983 vsize=27984808 memory=14134446236831103 CPUtime=0 cores=0-7 /proc/8986/task/9000/stat : 9000 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80952708 28656443392 144993 33554432000 4194304 4196468 140722894448288 139673975216720 139676828112795 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9001] ppid=8983 vsize=27984808 memory=7235103601363281778 CPUtime=0.64 cores=0-7 /proc/8986/task/9001/stat : 9001 (java) S 8983 8986 8941 0 -1 1077944384 1110 0 0 0 63 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675280828528 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9002] ppid=8983 vsize=27984808 memory=7235103601363281778 CPUtime=0.67 cores=0-7 /proc/8986/task/9002/stat : 9002 (java) S 8983 8986 8941 0 -1 1077944384 872 0 0 0 67 0 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675279775728 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9003] ppid=8983 vsize=27984808 memory=7235103601363281778 CPUtime=0.58 cores=0-7 /proc/8986/task/9003/stat : 9003 (java) S 8983 8986 8941 0 -1 1077944384 645 0 0 0 57 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675278723440 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9004] ppid=8983 vsize=27984808 memory=7512114578044973668 CPUtime=0.93 cores=0-7 /proc/8986/task/9004/stat : 9004 (java) S 8983 8986 8941 0 -1 1077944384 2992 0 0 0 92 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675277670640 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9005] ppid=8983 vsize=27984808 memory=7512114578044973668 CPUtime=0 cores=0-7 /proc/8986/task/9005/stat : 9005 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139673477311328 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9006] ppid=8983 vsize=27984808 memory=7235103601363281778 CPUtime=0.01 cores=0-7 /proc/8986/task/9006/stat : 9006 (java) S 8983 8986 8941 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675276618544 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9008] ppid=8983 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7 /proc/8986/task/9008/stat : 9008 (java) S 8983 8986 8941 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80952922 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675491243840 139676828118809 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9010] ppid=8983 vsize=27984808 memory=7235147594880805952 CPUtime=0 cores=0-7 /proc/8986/task/9010/stat : 9010 (java) S 8983 8986 8941 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80952922 28656443392 144993 33554432000 4194304 4196468 140722894448288 139672806210864 139676828116125 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9011] ppid=8983 vsize=27984808 memory=7235147594880805952 CPUtime=0 cores=0-7 /proc/8986/task/9011/stat : 9011 (java) S 8983 8986 8941 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80952922 28656443392 144993 33554432000 4194304 4196468 140722894448288 139673074646192 139676828116125 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9012] ppid=8983 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7 /proc/8986/task/9012/stat : 9012 (java) S 8983 8986 8941 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80952924 28656443392 144993 33554432000 4194304 4196468 140722894448288 139672537783584 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 Current children cumulated CPU time: 294.41 s Current children cumulated vsize: 28688812 KiB Current children cumulated memory: 947680 KiB [startup+39.002 s]* /proc/loadavg: 4.70 2.68 2.18 9/217 9020 /proc/meminfo: memFree=19889260/32770624 swapFree=67108860/67108860 [pid=8986] ppid=8983 vsize=27984808 memory=579972 CPUtime=5.1 cores=0-7 /proc/8986/stat : 8986 (java) S 8983 8986 8941 0 -1 1077944320 24486 0 0 0 491 19 0 0 20 0 24 0 80952701 28656443392 144993 33554432000 4194304 4196468 140722894448288 140722894430832 139676828094199 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 /proc/8986/statm: 6996202 144993 3224 1 0 6957058 0 [pid=9007] ppid=8986 vsize=704004 memory=371904 CPUtime=290.97 cores=0-7 /proc/9007/stat : 9007 (glucose-syrup) S 8986 8986 8941 0 -1 1077944320 245304 0 0 0 29035 62 0 0 20 0 9 0 80952922 720900096 92976 33554432000 4194304 4373367 140729640611568 140729640610112 139812696599170 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 /proc/9007/statm: 176001 92976 383 44 0 171689 0 [pid=9007/tid=9013] ppid=8986 vsize=704004 memory=3908 CPUtime=36.42 cores=0-7 /proc/9007/task/9013/stat : 9013 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 25846 0 0 0 3636 6 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812675239280 4271970 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=9007/tid=9014] ppid=8986 vsize=704004 memory=1412 CPUtime=36.01 cores=0-7 /proc/9007/task/9014/stat : 9014 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 26899 0 0 0 3592 9 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812666846480 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=9007/tid=9015] ppid=8986 vsize=704004 memory=0 CPUtime=36.43 cores=0-7 /proc/9007/task/9015/stat : 9015 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 26452 0 0 0 3636 7 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812658453872 4271897 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=9007/tid=9016] ppid=8986 vsize=704004 memory=288283381199014658 CPUtime=36.43 cores=0-7 /proc/9007/task/9016/stat : 9016 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 26909 0 0 0 3637 6 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812650060792 4271925 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=9007/tid=9017] ppid=8986 vsize=704004 memory=288230376152129675 CPUtime=36 cores=0-7 /proc/9007/task/9017/stat : 9017 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 29395 0 0 0 3592 8 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812641668464 4257231 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=9007/tid=9018] ppid=8986 vsize=704004 memory=0 CPUtime=36.42 cores=0-7 /proc/9007/task/9018/stat : 9018 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 30079 0 0 0 3634 8 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812633275760 4271882 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=9007/tid=9019] ppid=8986 vsize=704004 memory=280730741284160 CPUtime=36.43 cores=0-7 /proc/9007/task/9019/stat : 9019 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 30000 0 0 0 3637 6 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812624882960 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=9007/tid=9020] ppid=8986 vsize=704004 memory=288230596050944315 CPUtime=36.43 cores=0-7 /proc/9007/task/9020/stat : 9020 (glucose-syrup) R 8986 8986 8941 0 -1 4202560 29445 0 0 0 3637 6 0 0 20 0 9 0 80952957 720900096 92976 33554432000 4194304 4373367 140729640611568 139812616490352 4257342 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 19734528 140729640612785 140729640613036 140729640613036 140729640615879 0 [pid=8986/tid=8988] ppid=8983 vsize=27984808 memory=8039887049847965354 CPUtime=2.2 cores=0-7 /proc/8986/task/8988/stat : 8988 (java) S 8983 8986 8941 0 -1 1077944384 17441 0 0 0 208 12 0 0 20 0 24 0 80952702 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676799933440 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8989] ppid=8983 vsize=27984808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/8986/task/8989/stat : 8989 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676832336784 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8990] ppid=8983 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/8986/task/8990/stat : 8990 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676646492944 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8991] ppid=8983 vsize=27984808 memory=280730741557760 CPUtime=0 cores=0-7 /proc/8986/task/8991/stat : 8991 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676645440656 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8992] ppid=8983 vsize=27984808 memory=3473595592348342305 CPUtime=0 cores=0-7 /proc/8986/task/8992/stat : 8992 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676644387856 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8993] ppid=8983 vsize=27984808 memory=7373352817559363648 CPUtime=0 cores=0-7 /proc/8986/task/8993/stat : 8993 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676643334544 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8994] ppid=8983 vsize=27984808 memory=7666368268385347692 CPUtime=0 cores=0-7 /proc/8986/task/8994/stat : 8994 (java) S 8983 8986 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676642281744 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8995] ppid=8983 vsize=27984808 memory=14032 CPUtime=0 cores=0-7 /proc/8986/task/8995/stat : 8995 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676641229456 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8996] ppid=8983 vsize=27984808 memory=4052 CPUtime=0 cores=0-7 /proc/8986/task/8996/stat : 8996 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80952704 28656443392 144993 33554432000 4194304 4196468 140722894448288 139676640176656 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8997] ppid=8983 vsize=27984808 memory=644 CPUtime=0 cores=0-7 /proc/8986/task/8997/stat : 8997 (java) S 8983 8986 8941 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 80952705 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675281881712 139676828105346 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8998] ppid=8983 vsize=27984808 memory=1800 CPUtime=0 cores=0-7 /proc/8986/task/8998/stat : 8998 (java) S 8983 8986 8941 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80952706 28656443392 144993 33554432000 4194304 4196468 140722894448288 139674483942688 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8999] ppid=8983 vsize=27984808 memory=956 CPUtime=0 cores=0-7 /proc/8986/task/8999/stat : 8999 (java) S 8983 8986 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80952706 28656443392 144993 33554432000 4194304 4196468 140722894448288 139674349721200 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9000] ppid=8983 vsize=27984808 memory=2340 CPUtime=0 cores=0-7 /proc/8986/task/9000/stat : 9000 (java) S 8983 8986 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80952708 28656443392 144993 33554432000 4194304 4196468 140722894448288 139673975216720 139676828112795 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9001] ppid=8983 vsize=27984808 memory=928 CPUtime=0.64 cores=0-7 /proc/8986/task/9001/stat : 9001 (java) S 8983 8986 8941 0 -1 1077944384 1110 0 0 0 63 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675280828528 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9002] ppid=8983 vsize=27984808 memory=1568 CPUtime=0.67 cores=0-7 /proc/8986/task/9002/stat : 9002 (java) S 8983 8986 8941 0 -1 1077944384 872 0 0 0 67 0 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675279775728 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9003] ppid=8983 vsize=27984808 memory=2240 CPUtime=0.58 cores=0-7 /proc/8986/task/9003/stat : 9003 (java) S 8983 8986 8941 0 -1 1077944384 645 0 0 0 57 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675278723440 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9004] ppid=8983 vsize=27984808 memory=4124 CPUtime=0.93 cores=0-7 /proc/8986/task/9004/stat : 9004 (java) S 8983 8986 8941 0 -1 1077944384 2992 0 0 0 92 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675277670640 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9005] ppid=8983 vsize=27984808 memory=2196 CPUtime=0 cores=0-7 /proc/8986/task/9005/stat : 9005 (java) S 8983 8986 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139673477311328 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9006] ppid=8983 vsize=27984808 memory=7636 CPUtime=0.01 cores=0-7 /proc/8986/task/9006/stat : 9006 (java) S 8983 8986 8941 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 80952709 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675276618544 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9008] ppid=8983 vsize=27984808 memory=840 CPUtime=0 cores=0-7 /proc/8986/task/9008/stat : 9008 (java) S 8983 8986 8941 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80952922 28656443392 144993 33554432000 4194304 4196468 140722894448288 139675491243840 139676828118809 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9010] ppid=8983 vsize=27984808 memory=4104 CPUtime=0 cores=0-7 /proc/8986/task/9010/stat : 9010 (java) S 8983 8986 8941 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80952922 28656443392 144993 33554432000 4194304 4196468 140722894448288 139672806210864 139676828116125 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9011] ppid=8983 vsize=27984808 memory=1800 CPUtime=0 cores=0-7 /proc/8986/task/9011/stat : 9011 (java) S 8983 8986 8941 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80952922 28656443392 144993 33554432000 4194304 4196468 140722894448288 139673074646192 139676828116125 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9012] ppid=8983 vsize=27984808 memory=920 CPUtime=0 cores=0-7 /proc/8986/task/9012/stat : 9012 (java) S 8983 8986 8941 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80952924 28656443392 144993 33554432000 4194304 4196468 140722894448288 139672537783584 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 Current children cumulated CPU time: 296.07 s Current children cumulated vsize: 28688812 KiB Current children cumulated memory: 951876 KiB [startup+39.1113 s] /proc/loadavg: 4.70 2.68 2.18 9/217 9020 /proc/meminfo: memFree=19889260/32770624 swapFree=67108860/67108860 [pid=8986] ppid=8983 vsize=27853764 memory=582636 CPUtime=296.51 cores=0-7 /proc/8986/stat : 8986 (java) S 8983 8986 8941 0 -1 1077944320 24662 245615 0 0 504 19 29065 63 20 0 22 0 80952701 28522254336 145659 33554432000 4194304 4196468 140722894448288 140722894430832 139676828094199 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 /proc/8986/statm: 6963441 145659 3224 1 0 6924297 0 [pid=8986/tid=8988] ppid=8983 vsize=27853764 memory=0 CPUtime=293.5 cores=0-7 /proc/8986/task/8988/stat : 8988 (java) R 8983 8986 8941 0 -1 4202560 17500 245615 0 0 210 12 29065 63 20 0 22 0 80952702 28522254336 145659 33554432000 4194304 4196468 140722894448288 139676799920464 139676820773917 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8989] ppid=8983 vsize=27853764 memory=0 CPUtime=291.28 cores=0-7 /proc/8986/task/8989/stat : 8989 (java) S 8983 8986 8941 0 -1 1077944384 2 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522254336 145659 33554432000 4194304 4196468 140722894448288 139676832336784 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8990] ppid=8983 vsize=27853732 memory=0 CPUtime=291.28 cores=0-7 /proc/8986/task/8990/stat : 8990 (java) S 8983 8986 8941 0 -1 1077944384 2 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522221568 145659 33554432000 4194304 4196468 140722894448288 139676646492944 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8991] ppid=8983 vsize=27853732 memory=579972 CPUtime=291.28 cores=0-7 /proc/8986/task/8991/stat : 8991 (java) S 8983 8986 8941 0 -1 1077944384 2 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522221568 145659 33554432000 4194304 4196468 140722894448288 139676645440656 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8992] ppid=8983 vsize=27853732 memory=361908 CPUtime=291.28 cores=0-7 /proc/8986/task/8992/stat : 8992 (java) S 8983 8986 8941 0 -1 1077944384 3 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522221568 145659 33554432000 4194304 4196468 140722894448288 139676644387856 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8993] ppid=8983 vsize=27853732 memory=1844 CPUtime=291.28 cores=0-7 /proc/8986/task/8993/stat : 8993 (java) S 8983 8986 8941 0 -1 1077944384 2 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522221568 145659 33554432000 4194304 4196468 140722894448288 139676643334544 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8994] ppid=8983 vsize=27853732 memory=1008 CPUtime=291.28 cores=0-7 /proc/8986/task/8994/stat : 8994 (java) S 8983 8986 8941 0 -1 1077944384 2 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522221568 145659 33554432000 4194304 4196468 140722894448288 139676642281744 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8995] ppid=8983 vsize=27853732 memory=0 CPUtime=291.28 cores=0-7 /proc/8986/task/8995/stat : 8995 (java) S 8983 8986 8941 0 -1 1077944384 1 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522221568 145659 33554432000 4194304 4196468 140722894448288 139676641229456 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8996] ppid=8983 vsize=27853732 memory=0 CPUtime=291.28 cores=0-7 /proc/8986/task/8996/stat : 8996 (java) S 8983 8986 8941 0 -1 1077944384 1 245615 0 0 0 0 29065 63 20 0 22 0 80952704 28522221568 145659 33554432000 4194304 4196468 140722894448288 139676640176656 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8997] ppid=8983 vsize=27853732 memory=3392 CPUtime=291.28 cores=0-7 /proc/8986/task/8997/stat : 8997 (java) S 8983 8986 8941 0 -1 1077944384 8 245615 0 0 0 0 29065 63 20 0 22 0 80952705 28522221568 145659 33554432000 4194304 4196468 140722894448288 139675281881712 139676828105346 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8998] ppid=8983 vsize=27853732 memory=220 CPUtime=291.28 cores=0-7 /proc/8986/task/8998/stat : 8998 (java) S 8983 8986 8941 0 -1 1077944384 13 245615 0 0 0 0 29065 63 20 0 22 0 80952706 28522221568 145659 33554432000 4194304 4196468 140722894448288 139674483942688 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=8999] ppid=8983 vsize=27853732 memory=161 CPUtime=291.28 cores=0-7 /proc/8986/task/8999/stat : 8999 (java) S 8983 8986 8941 0 -1 1077944384 21 245615 0 0 0 0 29065 63 20 0 22 0 80952706 28522221568 145659 33554432000 4194304 4196468 140722894448288 139674349721200 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9000] ppid=8983 vsize=27853732 memory=7596279981242931563 CPUtime=291.28 cores=0-7 /proc/8986/task/9000/stat : 9000 (java) S 8983 8986 8941 0 -1 1077944384 1 245615 0 0 0 0 29065 63 20 0 22 0 80952708 28522221568 145659 33554432000 4194304 4196468 140722894448288 139673975216720 139676828112795 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9001] ppid=8983 vsize=27853732 memory=7596279981242931563 CPUtime=291.95 cores=0-7 /proc/8986/task/9001/stat : 9001 (java) S 8983 8986 8941 0 -1 1077944384 1117 245615 0 0 66 1 29065 63 20 0 22 0 80952709 28522221568 145659 33554432000 4194304 4196468 140722894448288 139675280828528 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9002] ppid=8983 vsize=27853732 memory=7739547458687560553 CPUtime=291.96 cores=0-7 /proc/8986/task/9002/stat : 9002 (java) S 8983 8986 8941 0 -1 1077944384 889 245615 0 0 68 0 29065 63 20 0 22 0 80952709 28522221568 145659 33554432000 4194304 4196468 140722894448288 139675279775728 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9003] ppid=8983 vsize=27853732 memory=280730740690144 CPUtime=291.88 cores=0-7 /proc/8986/task/9003/stat : 9003 (java) S 8983 8986 8941 0 -1 1077944384 653 245615 0 0 59 1 29065 63 20 0 22 0 80952709 28522221568 145659 33554432000 4194304 4196468 140722894448288 139675278723440 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9004] ppid=8983 vsize=27853732 memory=8414074075373934941 CPUtime=292.23 cores=0-7 /proc/8986/task/9004/stat : 9004 (java) S 8983 8986 8941 0 -1 1077944384 3042 245615 0 0 94 1 29065 63 20 0 22 0 80952709 28522221568 145659 33554432000 4194304 4196468 140722894448288 139675277670640 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9005] ppid=8983 vsize=27853732 memory=6938979663713940798 CPUtime=291.28 cores=0-7 /proc/8986/task/9005/stat : 9005 (java) S 8983 8986 8941 0 -1 1077944384 3 245615 0 0 0 0 29065 63 20 0 22 0 80952709 28522221568 145659 33554432000 4194304 4196468 140722894448288 139673477311328 139676828104405 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9006] ppid=8983 vsize=27853732 memory=-8917631670059176603 CPUtime=291.29 cores=0-7 /proc/8986/task/9006/stat : 9006 (java) S 8983 8986 8941 0 -1 1077944384 5 245615 0 0 0 1 29065 63 20 0 22 0 80952709 28522221568 145659 33554432000 4194304 4196468 140722894448288 139675276618544 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9008] ppid=8983 vsize=27853732 memory=579972 CPUtime=291.28 cores=0-7 /proc/8986/task/9008/stat : 9008 (java) S 8983 8986 8941 0 -1 1077944384 24 245615 0 0 0 0 29065 63 20 0 22 0 80952922 28522221568 145659 33554432000 4194304 4196468 140722894448288 139675491243024 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 [pid=8986/tid=9012] ppid=8983 vsize=27853732 memory=0 CPUtime=291.28 cores=0-7 /proc/8986/task/9012/stat : 9012 (java) S 8983 8986 8941 0 -1 1077944384 12 245615 0 0 0 0 29065 63 20 0 22 0 80952924 28522221568 145659 33554432000 4194304 4196468 140722894448288 139672537785392 139676828105346 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22482944 140722894451674 140722894451973 140722894451973 140722894454735 0 Current children cumulated CPU time: 296.51 s Current children cumulated vsize: 27853764 KiB Current children cumulated memory: 582636 KiB Child status: 0 Real time (s): 39.127 CPU time (s): 296.549 CPU user time (s): 295.705 CPU system time (s): 0.844025 CPU usage (%): 757.914 Max. virtual memory (cumulated for all children) (KiB): 28763516 Max. memory (cumulated for all children) (KiB): 982340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 295.705 system time used= 0.844025 maximum resident set size= 585228 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270311 page faults= 0 swaps= 0 block input operations= 0 block output operations= 5872 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13111 involuntary context switches= 3368 # summary of solver processes directly reported to runsolver: # pid: 8986 # total CPU time (s): 296.549 # total CPU user time (s): 295.705 # total CPU system time (s): 0.844025 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.403686 second user time and 0.53862 second system time The end
Begin job on node134 at 2018-07-26 21:38:15 IDJOB=4297256 IDBENCH=141133 IDSOLVER=2759 FILE ID=node134/4297256-1532633895 RUNJOBID= node134-1532633895-8968 PBS_JOBID= 21022182 Free space on /tmp= 55560 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/StripPacking/StripPacking-N1c_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-4297256-1532633895/watcher-4297256-1532633895 -o /tmp/evaluation-result-4297256-1532633895/solver-4297256-1532633895 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532633895-8968 --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-4297256-1532633895.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1 RANDOM SEED=435045827 node134.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.68 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.68 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.68 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.68 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: 20834856 kB MemAvailable: 31957488 kB Buffers: 228392 kB Cached: 11153976 kB SwapCached: 0 kB Active: 2160396 kB Inactive: 9275700 kB Active(anon): 5248 kB Inactive(anon): 76424 kB Active(file): 2155148 kB Inactive(file): 9199276 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8176 kB Writeback: 0 kB AnonPages: 61156 kB Mapped: 41272 kB Shmem: 25248 kB Slab: 196048 kB SReclaimable: 168084 kB SUnreclaim: 27964 kB KernelStack: 3200 kB PageTables: 4896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55552 MiB End job on node134 at 2018-07-26 21:38:54