Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | ? (exit code) | 431.71 | 427.423 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-des.a.opb |
| MD5SUM | 41d95962f9f821e00bc6bf0e503d69d6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 942 |
| Best CPU time to get the best result obtained on this benchmark | 6.51401 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 957 |
| Optimality of the best value was proved | NO |
| Number of variables | 6175 |
| Total number of constraints | 17920 |
| Number of constraints which are clauses | 17920 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 495 |
| Number of terms in the objective function | 6175 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6175 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6175 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.00/0.08 c no version file found!!! 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1599470296 0.00/0.08 c Max memory 1607860224 0.00/0.08 c Total memory 1607860224 0.00/0.08 c Number of processors 8 0.09/0.10 --- Begin Solver configuration --- 0.09/0.10 c Stops conflict analysis at the first Unique Implication Point 0.09/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.09/0.10 c Learn all clauses as in MiniSAT 0.09/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.10 c No reason simplification 0.09/0.10 c --- End Solver configuration --- 0.09/0.10 c solving HOME/instance-3734398-1338700525.opb 0.09/0.10 c reading problem ... 0.95/0.55 c ... done. Wall clock time 0.451s. 0.95/0.55 c CPU time (experimental) 0.52s. 0.95/0.55 c #vars 6175 0.95/0.55 c #constraints 16744 1.43/0.70 c SATISFIABLE 1.43/0.70 c OPTIMIZING... 1.43/0.70 c Got one! Elapsed wall clock time (in seconds):0.598 1.43/0.72 o 1065 1.63/0.81 c Got one! Elapsed wall clock time (in seconds):0.71 1.63/0.83 o 1014 1.63/0.86 c Got one! Elapsed wall clock time (in seconds):0.761 1.63/0.88 o 1013 132.58/129.95 c cleaning 191742 clauses out of 383512 for limit 11.451782169727961 134.19/131.54 c cleaning 96128 clauses out of 192270 for limit 37.67006734889952 134.60/131.94 c cleaning 48292 clauses out of 96640 for limit 123.34963398594222 134.80/132.17 c cleaning 24388 clauses out of 48848 for limit 402.442544737718 135.00/132.39 c cleaning 12446 clauses out of 24959 for limit 1297.612043301715 135.20/132.58 c cleaning 6468 clauses out of 13013 for limit 4104.407815343563 135.40/132.73 c cleaning 3484 clauses out of 7045 for limit 12502.671636334062 135.50/132.87 c cleaning 1993 clauses out of 4063 for limit 35822.996523824324 135.60/133.00 c cleaning 1250 clauses out of 2570 for limit 93396.69256256512 135.80/133.12 c cleaning 872 clauses out of 1818 for limit 217298.93851082204 135.90/133.25 c cleaning 689 clauses out of 1446 for limit 450545.9371738058 136.00/133.37 c cleaning 594 clauses out of 1257 for limit 854728.0960810387 136.10/133.49 c cleaning 544 clauses out of 1166 for limit 1524137.4333615075 136.30/133.61 c cleaning 525 clauses out of 1122 for limit 2612075.4063288122 136.40/133.73 c cleaning 511 clauses out of 1095 for limit 4405054.757828246 136.50/133.85 c cleaning 542 clauses out of 1084 for limit 7338242.093827267 136.60/133.97 c cleaning 520 clauses out of 1041 for limit 1.2589021152652897E7 136.70/134.09 c cleaning 510 clauses out of 1021 for limit 2.1167659344023284E7 136.90/134.21 c cleaning 467 clauses out of 1011 for limit 3.525358690351964E7 137.00/134.33 c cleaning 486 clauses out of 1046 for limit 5.630509464401451E7 137.10/134.45 c cleaning 530 clauses out of 1060 for limit 9.1628251477836E7 137.20/134.57 c cleaning 514 clauses out of 1028 for limit 1.5549950581730625E8 137.30/134.68 c cleaning 507 clauses out of 1014 for limit 2.5998007208372977E8 137.50/134.80 c cleaning 470 clauses out of 1007 for limit 4.3172224948875266E8 137.60/134.92 c cleaning 485 clauses out of 1040 for limit 6.914487325288469E8 137.70/135.04 c cleaning 493 clauses out of 1055 for limit 1.1240787855056615E9 137.80/135.16 c cleaning 494 clauses out of 1060 for limit 1.8413239810981212E9 137.90/135.28 c cleaning 533 clauses out of 1066 for limit 3.0194980742127333E9 138.10/135.40 c cleaning 516 clauses out of 1032 for limit 5.138467802473824E9 138.20/135.52 c cleaning 508 clauses out of 1016 for limit 8.607469964947016E9 138.30/135.64 c cleaning 467 clauses out of 1008 for limit 1.4307527153047094E10 138.40/135.76 c cleaning 521 clauses out of 1043 for limit 2.284892189086252E10 138.50/135.88 c cleaning 511 clauses out of 1022 for limit 3.8455194533872574E10 138.60/135.99 c cleaning 468 clauses out of 1009 for limit 6.410643197854167E10 138.80/136.11 c cleaning 520 clauses out of 1041 for limit 1.0247028153572836E11 138.90/136.23 c cleaning 476 clauses out of 1021 for limit 1.7229743171710934E11 139.00/136.35 c cleaning 487 clauses out of 1048 for limit 2.7765320158194165E11 139.10/136.47 c cleaning 497 clauses out of 1061 for limit 4.5227696729735266E11 139.20/136.59 c cleaning 531 clauses out of 1062 for limit 7.43673321659022E11 139.40/136.71 c cleaning 480 clauses out of 1031 for limit 1.26329256595197E12 139.50/136.83 c cleaning 488 clauses out of 1050 for limit 2.0435942964422573E12 139.60/136.95 c cleaning 493 clauses out of 1062 for limit 3.3320794737161265E12 139.70/137.07 c cleaning 534 clauses out of 1069 for limit 5.45906228997288E12 139.80/137.19 c cleaning 518 clauses out of 1037 for limit 9.299121222579562E12 140.00/137.30 c cleaning 474 clauses out of 1019 for limit 1.5606386871337068E13 140.10/137.42 c cleaning 484 clauses out of 1043 for limit 2.509453239760523E13 140.20/137.54 c cleaning 493 clauses out of 1059 for limit 4.07589833555904E13 282.42/279.10 c cleaning 198275 clauses out of 396567 for limit 1270.2808586428766 289.53/286.29 c cleaning 99391 clauses out of 198792 for limit 4179.009032009243 290.53/287.28 c cleaning 49925 clauses out of 99901 for limit 13713.81430036115 290.93/287.64 c cleaning 25209 clauses out of 50476 for limit 44760.92524627858 291.23/287.96 c cleaning 12855 clauses out of 25767 for limit 144602.57157638317 291.43/288.13 c cleaning 6677 clauses out of 13412 for limit 458144.2245353659 291.53/288.28 c cleaning 3590 clauses out of 7235 for limit 1400596.7441221343 291.73/288.41 c cleaning 2043 clauses out of 4145 for limit 4031651.6467201584 291.83/288.53 c cleaning 1274 clauses out of 2602 for limit 1.0591467299219845E7 291.93/288.65 c cleaning 884 clauses out of 1828 for limit 2.486240390295935E7 292.03/288.76 c cleaning 694 clauses out of 1444 for limit 5.190485745560423E7 292.13/288.88 c cleaning 625 clauses out of 1250 for limit 9.888287157866776E7 292.33/289.00 c cleaning 535 clauses out of 1125 for limit 1.8119009283013222E8 292.43/289.11 c cleaning 517 clauses out of 1090 for limit 3.0840141287668043E8 292.53/289.23 c cleaning 510 clauses out of 1073 for limit 5.1665307909583205E8 292.63/289.35 c cleaning 531 clauses out of 1063 for limit 8.60045378416204E8 292.73/289.46 c cleaning 516 clauses out of 1032 for limit 1.460934754361758E9 292.83/289.58 c cleaning 476 clauses out of 1016 for limit 2.4472182180186276E9 293.05/289.70 c cleaning 520 clauses out of 1040 for limit 3.942656603943223E9 293.15/289.81 c cleaning 510 clauses out of 1020 for limit 6.629457751205147E9 293.25/289.93 c cleaning 472 clauses out of 1010 for limit 1.1041108870121796E10 293.35/290.05 c cleaning 519 clauses out of 1038 for limit 1.7717098493014877E10 293.45/290.16 c cleaning 509 clauses out of 1019 for limit 2.9762654030934998E10 293.55/290.28 c cleaning 476 clauses out of 1010 for limit 4.951996775943937E10 293.65/290.39 c cleaning 488 clauses out of 1034 for limit 7.97695377302352E10 293.85/290.51 c cleaning 492 clauses out of 1046 for limit 1.3004145394285547E11 293.95/290.63 c cleaning 527 clauses out of 1054 for limit 2.128280065263814E11 294.05/290.74 c cleaning 513 clauses out of 1027 for limit 3.602092254333388E11 294.15/290.86 c cleaning 507 clauses out of 1014 for limit 6.016490109326068E11 294.25/290.97 c cleaning 503 clauses out of 1007 for limit 9.99096824309112E11 294.35/291.09 c cleaning 474 clauses out of 1004 for limit 1.652567560067872E12 294.55/291.20 c cleaning 485 clauses out of 1030 for limit 2.656510876715751E12 294.65/291.32 c cleaning 522 clauses out of 1045 for limit 4.3180574850645674E12 294.75/291.44 c cleaning 481 clauses out of 1023 for limit 7.274195408229819E12 294.85/291.55 c cleaning 521 clauses out of 1042 for limit 1.1777382095713164E13 294.95/291.67 c cleaning 510 clauses out of 1021 for limit 1.9821961535851617E13 295.05/291.78 c cleaning 505 clauses out of 1011 for limit 3.3012400296383E13 295.25/291.90 c cleaning 503 clauses out of 1006 for limit 5.471245021583604E13 295.35/292.02 c cleaning 472 clauses out of 1003 for limit 9.049802453120177E13 295.45/292.13 c cleaning 485 clauses out of 1031 for limit 1.4519018342217344E14 295.55/292.25 c cleaning 493 clauses out of 1046 for limit 2.3600441182009403E14 295.65/292.36 c cleaning 495 clauses out of 1053 for limit 3.866155538155267E14 295.75/292.48 c cleaning 499 clauses out of 1058 for limit 6.34567627116045E14 295.85/292.59 c cleaning 529 clauses out of 1059 for limit 1.0454987240036009E15 296.05/292.71 c cleaning 484 clauses out of 1030 for limit 1.772711775291946E15 296.15/292.82 c cleaning 523 clauses out of 1046 for limit 2.8787208724596505E15 296.25/292.94 c cleaning 511 clauses out of 1023 for limit 4.854131021622516E15 296.35/293.06 c cleaning 475 clauses out of 1012 for limit 8.092123509432439E15 423.89/419.89 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 424.69/420.63 at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source) 424.69/420.63 at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source) 425.29/421.27 at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source) 425.99/421.91 at org.sat4j.minisat.core.Solver.analyze(Unknown Source) 425.99/421.91 at org.sat4j.minisat.core.Solver.search(Unknown Source) 426.59/422.54 at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source) 426.59/422.54 at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source) 427.19/423.18 at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source) 427.19/423.18 at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source) 427.89/423.81 at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source) 427.89/423.81 at org.sat4j.LanceurPseudo2005.solve(Unknown Source) 428.49/424.45 at org.sat4j.AbstractLauncher.run(Unknown Source) 428.49/424.45 at org.sat4j.LanceurPseudo2007.main(Unknown Source) 431.09/427.09 Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded 431.09/427.09 at org.sat4j.minisat.core.SolverStats.printStat(Unknown Source) 431.09/427.09 at org.sat4j.minisat.core.Solver.printStat(Unknown Source) 431.09/427.09 at org.sat4j.tools.SolverDecorator.printStat(Unknown Source) 431.09/427.09 at org.sat4j.AbstractOptimizationLauncher.displayResult(Unknown Source)
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734398-1338700525/watcher-3734398-1338700525 -o /tmp/evaluation-result-3734398-1338700525/solver-3734398-1338700525 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734398-1338700525.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 3/194 6134 /proc/meminfo: memFree=28961516/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=11812 CPUtime=0 cores=1,3,5,7 /proc/6134/stat : 6134 (runsolver) D 6132 6134 1585 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 1 0 336177958 12095488 57 33554432000 4194304 5436572 140735555845376 140735555841256 5057063 0 0 4096 24578 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/6134/statm: 2953 57 36 304 0 2645 0 [startup+0.087025 s] /proc/loadavg: 2.00 2.01 2.00 3/194 6134 /proc/meminfo: memFree=28961516/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=2957856 CPUtime=0.06 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 4128 0 1 0 5 1 0 0 20 0 18 0 336177958 3028844544 5846 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 739464 5846 1791 9 0 729885 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2957856 [startup+0.100178 s] /proc/loadavg: 2.00 2.01 2.00 3/194 6134 /proc/meminfo: memFree=28961516/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=2957856 CPUtime=0.09 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 4888 0 1 0 8 1 0 0 20 0 18 0 336177958 3028844544 6588 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 739464 6588 2102 9 0 729885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2957856 [startup+0.300172 s] /proc/loadavg: 2.00 2.01 2.00 3/194 6134 /proc/meminfo: memFree=28961516/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=2957856 CPUtime=0.53 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 8428 0 1 0 51 2 0 0 20 0 18 0 336177958 3028844544 11379 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 739464 11379 2239 9 0 729885 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 2957856 [startup+0.700175 s] /proc/loadavg: 2.00 2.01 2.00 3/194 6134 /proc/meminfo: memFree=28961516/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=3024420 CPUtime=1.43 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 10565 0 1 0 140 3 0 0 20 0 19 0 336177958 3097006080 30843 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 756105 30843 2275 9 0 746526 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 3024420 [startup+1.50061 s] /proc/loadavg: 2.00 2.01 2.00 3/213 6156 /proc/meminfo: memFree=28830116/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=3024420 CPUtime=2.61 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 12580 0 1 0 257 4 0 0 20 0 19 0 336177958 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 756105 36995 2281 9 0 746526 0 [pid=6134/tid=6136] ppid=6132 vsize=3024420 CPUtime=1.46 cores=1,3,5,7 /proc/6134/task/6136/stat : 6136 (java) R 6132 6134 1585 0 -1 4202560 3084 0 1 0 143 3 0 0 20 0 19 0 336177959 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257956758024 140257811887505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6137] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6137/stat : 6137 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257940183336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6138] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6138/stat : 6138 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257939130536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6139] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6139/stat : 6139 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257938078248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6140] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6140/stat : 6140 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257937025448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6141] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6141/stat : 6141 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257935973160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6142] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6142/stat : 6142 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257934920360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6143] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6143/stat : 6143 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257933868072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6144] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6144/stat : 6144 (java) S 6132 6134 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257932815272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6145] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6145/stat : 6145 (java) S 6132 6134 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257802545384 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6146] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6146/stat : 6146 (java) S 6132 6134 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257801491448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6147] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6147/stat : 6147 (java) S 6132 6134 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257800439048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6148] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6148/stat : 6148 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257799387536 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6149] ppid=6132 vsize=3024420 CPUtime=0.56 cores=1,3,5,7 /proc/6134/task/6149/stat : 6149 (java) S 6132 6134 1585 0 -1 4202560 5546 0 0 0 56 0 0 0 20 0 19 0 336177965 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257798335160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6150] ppid=6132 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/6134/task/6150/stat : 6150 (java) S 6132 6134 1585 0 -1 4202560 2748 0 0 0 55 0 0 0 20 0 19 0 336177965 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257797282360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6151] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6151/stat : 6151 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140257796230264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6152] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6152/stat : 6152 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140256787557576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6156] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6156/stat : 6156 (java) S 6132 6134 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336178049 3097006080 36995 33554432000 1073741824 1073778376 140736125160512 140256785425448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 3024420 [startup+3.10062 s] /proc/loadavg: 2.00 2.01 2.00 3/213 6156 /proc/meminfo: memFree=28815672/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=3024420 CPUtime=4.21 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 12591 0 1 0 417 4 0 0 20 0 19 0 336177958 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 756105 41604 2281 9 0 746526 0 [pid=6134/tid=6136] ppid=6132 vsize=3024420 CPUtime=3.06 cores=1,3,5,7 /proc/6134/task/6136/stat : 6136 (java) R 6132 6134 1585 0 -1 4202560 3094 0 1 0 303 3 0 0 20 0 19 0 336177959 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257956757928 140257811913535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6137] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6137/stat : 6137 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257940183336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6138] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6138/stat : 6138 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257939130536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6139] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6139/stat : 6139 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257938078248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6140] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6140/stat : 6140 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257937025448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6141] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6141/stat : 6141 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257935973160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6142] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6142/stat : 6142 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257934920360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6143] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6143/stat : 6143 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257933868072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6144] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6144/stat : 6144 (java) S 6132 6134 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257932815272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6145] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6145/stat : 6145 (java) S 6132 6134 1585 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257802545384 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6146] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6146/stat : 6146 (java) S 6132 6134 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257801491448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6147] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6147/stat : 6147 (java) S 6132 6134 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257800439048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6148] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6148/stat : 6148 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257799387536 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6149] ppid=6132 vsize=3024420 CPUtime=0.57 cores=1,3,5,7 /proc/6134/task/6149/stat : 6149 (java) S 6132 6134 1585 0 -1 4202560 5546 0 0 0 57 0 0 0 20 0 19 0 336177965 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257798335160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6150] ppid=6132 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/6134/task/6150/stat : 6150 (java) S 6132 6134 1585 0 -1 4202560 2748 0 0 0 55 0 0 0 20 0 19 0 336177965 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257797282360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6151] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6151/stat : 6151 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140257796230264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6152] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6152/stat : 6152 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140256787557576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6156] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6156/stat : 6156 (java) S 6132 6134 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336178049 3097006080 41604 33554432000 1073741824 1073778376 140736125160512 140256785425448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 3024420 [startup+6.30067 s] /proc/loadavg: 2.00 2.01 2.00 3/213 6156 /proc/meminfo: memFree=28776400/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=3024420 CPUtime=7.48 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 12738 0 1 0 744 4 0 0 20 0 19 0 336177958 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 756105 50651 2281 9 0 746526 0 [pid=6134/tid=6136] ppid=6132 vsize=3024420 CPUtime=6.26 cores=1,3,5,7 /proc/6134/task/6136/stat : 6136 (java) R 6132 6134 1585 0 -1 4202560 3113 0 1 0 622 4 0 0 20 0 19 0 336177959 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257956757912 140257811946468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6137] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6137/stat : 6137 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257940183336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6138] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6138/stat : 6138 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257939130536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6139] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6139/stat : 6139 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257938078248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6140] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6140/stat : 6140 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257937025448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6141] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6141/stat : 6141 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257935973160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6142] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6142/stat : 6142 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257934920360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6143] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6143/stat : 6143 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257933868072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6144] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6144/stat : 6144 (java) S 6132 6134 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336177961 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257932815272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6145] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6145/stat : 6145 (java) S 6132 6134 1585 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257802545384 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6146] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6146/stat : 6146 (java) S 6132 6134 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257801491448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6147] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6147/stat : 6147 (java) S 6132 6134 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336177962 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257800439048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6148] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6148/stat : 6148 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257799387536 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6149] ppid=6132 vsize=3024420 CPUtime=0.6 cores=1,3,5,7 /proc/6134/task/6149/stat : 6149 (java) S 6132 6134 1585 0 -1 4202560 5674 0 0 0 60 0 0 0 20 0 19 0 336177965 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257798335160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6150] ppid=6132 vsize=3024420 CPUtime=0.59 cores=1,3,5,7 /proc/6134/task/6150/stat : 6150 (java) S 6132 6134 1585 0 -1 4202560 2748 0 0 0 59 0 0 0 20 0 19 0 336177965 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257797282360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6151] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6151/stat : 6151 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140257796230264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6152] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6152/stat : 6152 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336177965 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140256787557576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6156] ppid=6132 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6156/stat : 6156 (java) S 6132 6134 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336178049 3097006080 50651 33554432000 1073741824 1073778376 140736125160512 140256785425448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.48 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] ################ # More data... # ################ /proc/6134/task/6140/stat : 6140 (java) S 6132 6134 1585 0 -1 4202560 442 0 0 0 33 15 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257937025448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6141] ppid=6132 vsize=3090984 CPUtime=0.55 cores=1,3,5,7 /proc/6134/task/6141/stat : 6141 (java) S 6132 6134 1585 0 -1 4202560 385 0 0 0 32 23 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257935973160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6142] ppid=6132 vsize=3090984 CPUtime=0.44 cores=1,3,5,7 /proc/6134/task/6142/stat : 6142 (java) S 6132 6134 1585 0 -1 4202560 256 0 0 0 31 13 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257934920360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6143] ppid=6132 vsize=3090984 CPUtime=0.39 cores=1,3,5,7 /proc/6134/task/6143/stat : 6143 (java) S 6132 6134 1585 0 -1 4202560 396 0 0 0 30 9 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257933868072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6144] ppid=6132 vsize=3090984 CPUtime=0.37 cores=1,3,5,7 /proc/6134/task/6144/stat : 6144 (java) S 6132 6134 1585 0 -1 4202560 449 0 0 0 27 10 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257932815272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6145] ppid=6132 vsize=3090984 CPUtime=9.67 cores=1,3,5,7 /proc/6134/task/6145/stat : 6145 (java) R 6132 6134 1585 0 -1 4202560 236 0 0 0 962 5 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257802545160 140257963612629 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6146] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6146/stat : 6146 (java) S 6132 6134 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257801491448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6147] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6147/stat : 6147 (java) S 6132 6134 1585 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257800439048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6148] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6148/stat : 6148 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257799387536 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6149] ppid=6132 vsize=3090984 CPUtime=0.67 cores=1,3,5,7 /proc/6134/task/6149/stat : 6149 (java) S 6132 6134 1585 0 -1 4202560 5682 0 0 0 67 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257798335160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6150] ppid=6132 vsize=3090984 CPUtime=0.65 cores=1,3,5,7 /proc/6134/task/6150/stat : 6150 (java) S 6132 6134 1585 0 -1 4202560 2754 0 0 0 65 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257797282360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6151] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6151/stat : 6151 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257796230264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6152] ppid=6132 vsize=3090984 CPUtime=0.14 cores=1,3,5,7 /proc/6134/task/6152/stat : 6152 (java) S 6132 6134 1585 0 -1 4202560 25 0 0 0 7 7 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256787557576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6156] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6156/stat : 6156 (java) S 6132 6134 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 336178049 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256785425448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 430.39 Current children cumulated vsize (KiB) 3090984 [startup+427.101 s] /proc/loadavg: 2.01 2.05 2.01 3/214 6460 /proc/meminfo: memFree=27801904/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=3090984 CPUtime=431.19 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 15838 0 1 0 42990 129 0 0 20 0 20 0 336177958 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 772746 419243 2308 9 0 763167 0 [pid=6134/tid=6136] ppid=6132 vsize=3090984 CPUtime=415.67 cores=1,3,5,7 /proc/6134/task/6136/stat : 6136 (java) S 6132 6134 1585 0 -1 4202560 3283 0 1 0 41553 14 0 0 20 0 20 0 336177959 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257956758712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6137] ppid=6132 vsize=3090984 CPUtime=0.5 cores=1,3,5,7 /proc/6134/task/6137/stat : 6137 (java) S 6132 6134 1585 0 -1 4202560 272 0 0 0 33 17 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257940183336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6138] ppid=6132 vsize=3090984 CPUtime=0.3 cores=1,3,5,7 /proc/6134/task/6138/stat : 6138 (java) S 6132 6134 1585 0 -1 4202560 179 0 0 0 19 11 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257939130536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6139] ppid=6132 vsize=3090984 CPUtime=0.5 cores=1,3,5,7 /proc/6134/task/6139/stat : 6139 (java) S 6132 6134 1585 0 -1 4202560 274 0 0 0 36 14 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257938078248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6140] ppid=6132 vsize=3090984 CPUtime=0.48 cores=1,3,5,7 /proc/6134/task/6140/stat : 6140 (java) S 6132 6134 1585 0 -1 4202560 442 0 0 0 33 15 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257937025448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6141] ppid=6132 vsize=3090984 CPUtime=0.55 cores=1,3,5,7 /proc/6134/task/6141/stat : 6141 (java) S 6132 6134 1585 0 -1 4202560 385 0 0 0 32 23 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257935973160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6142] ppid=6132 vsize=3090984 CPUtime=0.44 cores=1,3,5,7 /proc/6134/task/6142/stat : 6142 (java) S 6132 6134 1585 0 -1 4202560 256 0 0 0 31 13 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257934920360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6143] ppid=6132 vsize=3090984 CPUtime=0.39 cores=1,3,5,7 /proc/6134/task/6143/stat : 6143 (java) S 6132 6134 1585 0 -1 4202560 396 0 0 0 30 9 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257933868072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6144] ppid=6132 vsize=3090984 CPUtime=0.37 cores=1,3,5,7 /proc/6134/task/6144/stat : 6144 (java) S 6132 6134 1585 0 -1 4202560 449 0 0 0 27 10 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257932815272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6145] ppid=6132 vsize=3090984 CPUtime=10.47 cores=1,3,5,7 /proc/6134/task/6145/stat : 6145 (java) R 6132 6134 1585 0 -1 4202560 236 0 0 0 1042 5 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257802545384 140257960892894 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6146] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6146/stat : 6146 (java) S 6132 6134 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257801491448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6147] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6147/stat : 6147 (java) S 6132 6134 1585 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257800439048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6148] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6148/stat : 6148 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257799387536 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6149] ppid=6132 vsize=3090984 CPUtime=0.67 cores=1,3,5,7 /proc/6134/task/6149/stat : 6149 (java) S 6132 6134 1585 0 -1 4202560 5682 0 0 0 67 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257798335160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6150] ppid=6132 vsize=3090984 CPUtime=0.65 cores=1,3,5,7 /proc/6134/task/6150/stat : 6150 (java) S 6132 6134 1585 0 -1 4202560 2754 0 0 0 65 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257797282360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6151] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6151/stat : 6151 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257796230264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6152] ppid=6132 vsize=3090984 CPUtime=0.14 cores=1,3,5,7 /proc/6134/task/6152/stat : 6152 (java) S 6132 6134 1585 0 -1 4202560 25 0 0 0 7 7 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256787557576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6156] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6156/stat : 6156 (java) S 6132 6134 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 336178049 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256785425448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6460] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6460/stat : 6460 (java) S 6132 6134 1585 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336220581 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256784371944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 431.19 Current children cumulated vsize (KiB) 3090984 [startup+427.301 s] /proc/loadavg: 2.01 2.05 2.01 3/214 6460 /proc/meminfo: memFree=27801904/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=3090984 CPUtime=431.39 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 15839 0 1 0 43010 129 0 0 20 0 20 0 336177958 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 772746 419243 2308 9 0 763167 0 [pid=6134/tid=6136] ppid=6132 vsize=3090984 CPUtime=415.67 cores=1,3,5,7 /proc/6134/task/6136/stat : 6136 (java) S 6132 6134 1585 0 -1 4202560 3283 0 1 0 41553 14 0 0 20 0 20 0 336177959 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257956758712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6137] ppid=6132 vsize=3090984 CPUtime=0.5 cores=1,3,5,7 /proc/6134/task/6137/stat : 6137 (java) S 6132 6134 1585 0 -1 4202560 272 0 0 0 33 17 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257940183336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6138] ppid=6132 vsize=3090984 CPUtime=0.3 cores=1,3,5,7 /proc/6134/task/6138/stat : 6138 (java) S 6132 6134 1585 0 -1 4202560 179 0 0 0 19 11 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257939130536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6139] ppid=6132 vsize=3090984 CPUtime=0.5 cores=1,3,5,7 /proc/6134/task/6139/stat : 6139 (java) S 6132 6134 1585 0 -1 4202560 274 0 0 0 36 14 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257938078248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6140] ppid=6132 vsize=3090984 CPUtime=0.48 cores=1,3,5,7 /proc/6134/task/6140/stat : 6140 (java) S 6132 6134 1585 0 -1 4202560 442 0 0 0 33 15 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257937025448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6141] ppid=6132 vsize=3090984 CPUtime=0.55 cores=1,3,5,7 /proc/6134/task/6141/stat : 6141 (java) S 6132 6134 1585 0 -1 4202560 385 0 0 0 32 23 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257935973160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6142] ppid=6132 vsize=3090984 CPUtime=0.44 cores=1,3,5,7 /proc/6134/task/6142/stat : 6142 (java) S 6132 6134 1585 0 -1 4202560 256 0 0 0 31 13 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257934920360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6143] ppid=6132 vsize=3090984 CPUtime=0.39 cores=1,3,5,7 /proc/6134/task/6143/stat : 6143 (java) S 6132 6134 1585 0 -1 4202560 396 0 0 0 30 9 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257933868072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6144] ppid=6132 vsize=3090984 CPUtime=0.37 cores=1,3,5,7 /proc/6134/task/6144/stat : 6144 (java) S 6132 6134 1585 0 -1 4202560 449 0 0 0 27 10 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257932815272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6145] ppid=6132 vsize=3090984 CPUtime=10.67 cores=1,3,5,7 /proc/6134/task/6145/stat : 6145 (java) R 6132 6134 1585 0 -1 4202560 236 0 0 0 1062 5 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257802545384 140257962881427 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6146] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6146/stat : 6146 (java) S 6132 6134 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257801491448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6147] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6147/stat : 6147 (java) S 6132 6134 1585 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257800439048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6148] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6148/stat : 6148 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257799387536 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6149] ppid=6132 vsize=3090984 CPUtime=0.67 cores=1,3,5,7 /proc/6134/task/6149/stat : 6149 (java) S 6132 6134 1585 0 -1 4202560 5682 0 0 0 67 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257798335160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6150] ppid=6132 vsize=3090984 CPUtime=0.65 cores=1,3,5,7 /proc/6134/task/6150/stat : 6150 (java) S 6132 6134 1585 0 -1 4202560 2754 0 0 0 65 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257797282360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6151] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6151/stat : 6151 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257796230264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6152] ppid=6132 vsize=3090984 CPUtime=0.14 cores=1,3,5,7 /proc/6134/task/6152/stat : 6152 (java) S 6132 6134 1585 0 -1 4202560 25 0 0 0 7 7 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256787557576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6156] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6156/stat : 6156 (java) S 6132 6134 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 336178049 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256785425448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6460] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6460/stat : 6460 (java) S 6132 6134 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336220581 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256784372360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 431.39 Current children cumulated vsize (KiB) 3090984 [startup+427.401 s] /proc/loadavg: 2.01 2.05 2.01 3/214 6460 /proc/meminfo: memFree=27801904/32873648 swapFree=7116/7116 [pid=6134] ppid=6132 vsize=3090984 CPUtime=431.49 cores=1,3,5,7 /proc/6134/stat : 6134 (java) S 6132 6134 1585 0 -1 4202496 15839 0 1 0 43020 129 0 0 20 0 20 0 336177958 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140736125151648 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6134/statm: 772746 419243 2308 9 0 763167 0 [pid=6134/tid=6136] ppid=6132 vsize=3090984 CPUtime=415.67 cores=1,3,5,7 /proc/6134/task/6136/stat : 6136 (java) S 6132 6134 1585 0 -1 4202560 3283 0 1 0 41553 14 0 0 20 0 20 0 336177959 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257956758712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6137] ppid=6132 vsize=3090984 CPUtime=0.5 cores=1,3,5,7 /proc/6134/task/6137/stat : 6137 (java) S 6132 6134 1585 0 -1 4202560 272 0 0 0 33 17 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257940183336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6138] ppid=6132 vsize=3090984 CPUtime=0.3 cores=1,3,5,7 /proc/6134/task/6138/stat : 6138 (java) S 6132 6134 1585 0 -1 4202560 179 0 0 0 19 11 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257939130536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6139] ppid=6132 vsize=3090984 CPUtime=0.5 cores=1,3,5,7 /proc/6134/task/6139/stat : 6139 (java) S 6132 6134 1585 0 -1 4202560 274 0 0 0 36 14 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257938078248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6140] ppid=6132 vsize=3090984 CPUtime=0.48 cores=1,3,5,7 /proc/6134/task/6140/stat : 6140 (java) S 6132 6134 1585 0 -1 4202560 442 0 0 0 33 15 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257937025448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6141] ppid=6132 vsize=3090984 CPUtime=0.55 cores=1,3,5,7 /proc/6134/task/6141/stat : 6141 (java) S 6132 6134 1585 0 -1 4202560 385 0 0 0 32 23 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257935973160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6142] ppid=6132 vsize=3090984 CPUtime=0.44 cores=1,3,5,7 /proc/6134/task/6142/stat : 6142 (java) S 6132 6134 1585 0 -1 4202560 256 0 0 0 31 13 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257934920360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6143] ppid=6132 vsize=3090984 CPUtime=0.39 cores=1,3,5,7 /proc/6134/task/6143/stat : 6143 (java) S 6132 6134 1585 0 -1 4202560 396 0 0 0 30 9 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257933868072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6144] ppid=6132 vsize=3090984 CPUtime=0.37 cores=1,3,5,7 /proc/6134/task/6144/stat : 6144 (java) S 6132 6134 1585 0 -1 4202560 449 0 0 0 27 10 0 0 20 0 20 0 336177961 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257932815272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6145] ppid=6132 vsize=3090984 CPUtime=10.77 cores=1,3,5,7 /proc/6134/task/6145/stat : 6145 (java) R 6132 6134 1585 0 -1 4202560 236 0 0 0 1072 5 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257802545384 140257963613460 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=6134/tid=6146] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6146/stat : 6146 (java) S 6132 6134 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257801491448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6134/tid=6147] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6147/stat : 6147 (java) S 6132 6134 1585 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336177962 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257800439048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6148] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6148/stat : 6148 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257799387536 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6149] ppid=6132 vsize=3090984 CPUtime=0.67 cores=1,3,5,7 /proc/6134/task/6149/stat : 6149 (java) S 6132 6134 1585 0 -1 4202560 5682 0 0 0 67 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257798335160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6150] ppid=6132 vsize=3090984 CPUtime=0.65 cores=1,3,5,7 /proc/6134/task/6150/stat : 6150 (java) S 6132 6134 1585 0 -1 4202560 2754 0 0 0 65 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257797282360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6151] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6151/stat : 6151 (java) S 6132 6134 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140257796230264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6152] ppid=6132 vsize=3090984 CPUtime=0.14 cores=1,3,5,7 /proc/6134/task/6152/stat : 6152 (java) S 6132 6134 1585 0 -1 4202560 25 0 0 0 7 7 0 0 20 0 20 0 336177965 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256787557576 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6134/tid=6156] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6156/stat : 6156 (java) S 6132 6134 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 336178049 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256785425448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6134/tid=6460] ppid=6132 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/6134/task/6460/stat : 6460 (java) S 6132 6134 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336220581 3165167616 419243 33554432000 1073741824 1073778376 140736125160512 140256784372360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 431.49 Current children cumulated vsize (KiB) 3090984 Child status: 1 Real time (s): 427.423 CPU time (s): 431.71 CPU user time (s): 430.198 CPU system time (s): 1.51277 CPU usage (%): 101.003 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 430.198 system time used= 1.51277 maximum resident set size= 1676972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15843 page faults= 1 swaps= 0 block input operations= 0 block output operations= 456 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9579 involuntary context switches= 2079 runsolver used 1.55576 second user time and 3.63245 second system time The end
Begin job on node127 at 2012-06-03 07:15:25 IDJOB=3734398 IDBENCH=2845 IDSOLVER=2319 FILE ID=node127/3734398-1338700525 RUNJOBID= node127-1338678617-1607 PBS_JOBID= 14636686 Free space on /tmp= 70476 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734398-1338700525/watcher-3734398-1338700525 -o /tmp/evaluation-result-3734398-1338700525/solver-3734398-1338700525 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734398-1338700525.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 41d95962f9f821e00bc6bf0e503d69d6 RANDOM SEED=1004326544 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 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 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 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 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 cpu MHz : 2666.348 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28961672 kB Buffers: 391964 kB Cached: 1862008 kB SwapCached: 1432 kB Active: 1780668 kB Inactive: 1238648 kB Active(anon): 759196 kB Inactive(anon): 7952 kB Active(file): 1021472 kB Inactive(file): 1230696 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104504 kB Dirty: 4716 kB Writeback: 0 kB AnonPages: 780924 kB Mapped: 19024 kB Shmem: 92 kB Slab: 745448 kB SReclaimable: 189592 kB SUnreclaim: 555856 kB KernelStack: 1600 kB PageTables: 5608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1824920 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 724992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70476 MiB End job on node127 at 2012-06-03 07:22:33