| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | ? (TO) | 1800.19 | 1795.93 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb |
| MD5SUM | 732cdc3fa8b0bf0f47e882c13d928a6d |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1552.26 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 4626 |
| Total number of constraints | 30747 |
| Number of constraints which are clauses | 29724 |
| Number of constraints which are cardinality constraints (but not clauses) | 945 |
| Number of constraints which are nor clauses,nor cardinality constraints | 78 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 101 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.16 c version 2.2.0.v20100526 0.08/0.16 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.16 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.16 c java.vm.version 11.2-b01 0.08/0.16 c java.vm.vendor Sun Microsystems Inc. 0.08/0.16 c sun.arch.data.model 32 0.08/0.16 c java.version 1.6.0_12 0.08/0.16 c os.name Linux 0.08/0.16 c os.version 2.6.18-164.el5 0.08/0.16 c os.arch i386 0.08/0.16 c Free memory 1393557488 0.08/0.16 c Max memory 1395916800 0.08/0.16 c Total memory 1395916800 0.08/0.16 c Number of processors 2 0.21/0.22 c Pseudo Boolean Optimization 0.21/0.22 c --- Begin Solver configuration --- 0.21/0.22 c Stops conflict analysis at the first Unique Implication Point 0.21/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.21/0.22 c Learn all clauses as in MiniSAT 0.21/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.21/0.22 c Expensive reason simplification 0.21/0.22 c Armin Biere (Picosat) restarts strategy 0.21/0.22 c Glucose learned constraints deletion strategy 0.21/0.22 c timeout=2147483s 0.21/0.22 c DB Simplification allowed=false 0.21/0.22 c --- End Solver configuration --- 0.21/0.22 c solving HOME/instance-2659611-1276343374.opb 0.21/0.22 c reading problem ... 2.45/1.53 c ... done. Wall clock time 1.307s. 2.45/1.53 c #vars 4626 2.45/1.53 c #constraints 30921 2.45/1.53 c constraints type 2.45/1.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29898 2.45/1.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 945 2.45/1.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 78 4.71/2.97 c cleaning 2483 clauses out of 5002 with flag 5002/5002 5.93/3.98 c cleaning 4254 clauses out of 8519 with flag 11002/11002 7.13/5.17 c cleaning 5625 clauses out of 11264 with flag 18001/18001 8.45/6.44 c cleaning 6813 clauses out of 13639 with flag 26001/26001 10.10/8.02 c cleaning 7898 clauses out of 15825 with flag 35000/35000 11.80/9.73 c cleaning 8954 clauses out of 17928 with flag 45001/45001 13.50/11.49 c cleaning 9975 clauses out of 19973 with flag 56000/56000 16.20/14.10 c cleaning 10994 clauses out of 21999 with flag 68001/68001 18.62/16.51 c cleaning 11983 clauses out of 24005 with flag 81001/81001 21.12/19.01 c cleaning 12997 clauses out of 26022 with flag 95001/95001 25.43/23.36 c cleaning 13996 clauses out of 28026 with flag 110002/110002 28.33/26.28 c cleaning 15002 clauses out of 30028 with flag 126000/126000 32.05/29.92 c cleaning 16000 clauses out of 32028 with flag 143002/143002 37.86/35.73 c cleaning 17002 clauses out of 34027 with flag 161001/161001 42.07/40.00 c cleaning 18000 clauses out of 36026 with flag 180002/180002 48.18/46.02 c cleaning 19005 clauses out of 38025 with flag 200001/200001 54.39/52.21 c cleaning 19999 clauses out of 40021 with flag 221002/221002 64.51/62.39 c cleaning 20992 clauses out of 42021 with flag 243001/243001 75.71/73.50 c cleaning 22004 clauses out of 44028 with flag 266000/266000 81.64/79.47 c cleaning 22998 clauses out of 46025 with flag 290001/290001 91.26/89.02 c cleaning 23999 clauses out of 48027 with flag 315001/315001 103.07/100.83 c cleaning 25007 clauses out of 50027 with flag 341000/341000 116.69/114.44 c cleaning 26002 clauses out of 52020 with flag 368000/368000 144.01/141.76 c cleaning 26998 clauses out of 54020 with flag 396002/396002 152.83/150.58 c cleaning 27985 clauses out of 56020 with flag 425000/425000 164.55/162.20 c cleaning 29006 clauses out of 58039 with flag 455004/455004 174.48/172.16 c cleaning 29971 clauses out of 60029 with flag 486000/486000 202.39/200.09 c cleaning 30501 clauses out of 61059 with flag 517001/517001 223.71/221.33 c cleaning 30757 clauses out of 61558 with flag 548001/548001 240.63/238.24 c cleaning 30880 clauses out of 61803 with flag 579003/579003 248.15/245.76 c cleaning 30937 clauses out of 61921 with flag 610001/610001 261.57/259.15 c cleaning 30931 clauses out of 61983 with flag 641000/641000 283.59/281.16 c cleaning 30960 clauses out of 62052 with flag 672000/672000 308.52/306.03 c cleaning 30994 clauses out of 62093 with flag 703001/703001 324.24/321.74 c cleaning 31045 clauses out of 62102 with flag 734004/734004 337.66/335.13 c cleaning 30997 clauses out of 62054 with flag 765001/765001 348.28/345.78 c cleaning 31017 clauses out of 62057 with flag 796001/796001 362.21/359.69 c cleaning 31015 clauses out of 62041 with flag 827002/827002 376.02/373.45 c cleaning 31003 clauses out of 62025 with flag 858001/858001 387.33/384.72 c cleaning 31004 clauses out of 62024 with flag 889003/889003 396.46/393.82 c cleaning 31003 clauses out of 62017 with flag 920000/920000 405.67/403.04 c cleaning 30987 clauses out of 62015 with flag 951001/951001 417.19/414.51 c cleaning 30992 clauses out of 62028 with flag 982001/982001 447.01/444.38 c cleaning 31001 clauses out of 62038 with flag 1013003/1013003 474.33/471.64 c cleaning 30984 clauses out of 62036 with flag 1044002/1044002 503.35/500.66 c cleaning 30985 clauses out of 62050 with flag 1075000/1075000 518.37/515.69 c cleaning 31024 clauses out of 62067 with flag 1106002/1106002 537.49/534.78 c cleaning 31003 clauses out of 62042 with flag 1137001/1137001 552.00/549.29 c cleaning 31002 clauses out of 62038 with flag 1168000/1168000 571.11/568.39 c cleaning 30985 clauses out of 62036 with flag 1199000/1199000 588.54/585.74 c cleaning 31010 clauses out of 62054 with flag 1230003/1230003 614.16/611.38 c cleaning 30997 clauses out of 62044 with flag 1261003/1261003 636.29/633.46 c cleaning 30986 clauses out of 62045 with flag 1292001/1292001 666.70/663.84 c cleaning 31004 clauses out of 62059 with flag 1323001/1323001 674.84/671.90 c cleaning 31000 clauses out of 62057 with flag 1354003/1354003 684.46/681.54 c cleaning 31025 clauses out of 62055 with flag 1385001/1385001 705.97/703.03 c cleaning 30992 clauses out of 62029 with flag 1416000/1416000 728.18/725.23 c cleaning 31009 clauses out of 62037 with flag 1447000/1447000 740.10/737.11 c cleaning 30972 clauses out of 62031 with flag 1478003/1478003 757.33/754.39 c cleaning 30986 clauses out of 62057 with flag 1509001/1509001 770.45/767.49 c cleaning 30984 clauses out of 62072 with flag 1540002/1540002 785.07/782.04 c cleaning 30994 clauses out of 62086 with flag 1571000/1571000 802.89/799.85 c cleaning 30994 clauses out of 62095 with flag 1602003/1602003 819.83/816.74 c cleaning 31031 clauses out of 62098 with flag 1633000/1633000 834.05/830.91 c cleaning 31017 clauses out of 62068 with flag 1664001/1664001 852.38/849.29 c cleaning 31002 clauses out of 62050 with flag 1695000/1695000 867.59/864.50 c cleaning 31005 clauses out of 62048 with flag 1726000/1726000 880.50/877.31 c cleaning 30998 clauses out of 62043 with flag 1757000/1757000 893.31/890.11 c cleaning 31001 clauses out of 62045 with flag 1788000/1788000 928.13/924.95 c cleaning 30998 clauses out of 62046 with flag 1819002/1819002 960.47/957.23 c cleaning 31007 clauses out of 62046 with flag 1850000/1850000 987.29/984.06 c cleaning 31003 clauses out of 62040 with flag 1881001/1881001 1016.42/1013.15 c cleaning 31001 clauses out of 62038 with flag 1912002/1912002 1049.84/1046.58 c cleaning 30987 clauses out of 62035 with flag 1943000/1943000 1075.16/1071.85 c cleaning 31009 clauses out of 62050 with flag 1974002/1974002 1086.99/1083.62 c cleaning 31014 clauses out of 62039 with flag 2005000/2005000 1097.11/1093.74 c cleaning 30995 clauses out of 62029 with flag 2036004/2036004 1111.64/1108.21 c cleaning 31004 clauses out of 62031 with flag 2067001/2067001 1123.47/1120.01 c cleaning 31005 clauses out of 62029 with flag 2098003/2098003 1132.99/1129.52 c cleaning 30978 clauses out of 62024 with flag 2129003/2129003 1159.11/1155.67 c cleaning 30988 clauses out of 62045 with flag 2160002/2160002 1183.54/1180.05 c cleaning 30976 clauses out of 62056 with flag 2191001/2191001 1196.78/1193.23 c cleaning 30991 clauses out of 62080 with flag 2222001/2222001 1210.09/1206.58 c cleaning 30995 clauses out of 62089 with flag 2253001/2253001 1221.82/1218.27 c cleaning 30994 clauses out of 62095 with flag 2284002/2284002 1242.32/1238.76 c cleaning 31033 clauses out of 62100 with flag 2315001/2315001 1285.44/1281.84 c cleaning 31016 clauses out of 62067 with flag 2346001/2346001 1303.65/1300.10 c cleaning 31014 clauses out of 62052 with flag 2377002/2377002 1328.76/1325.15 c cleaning 31000 clauses out of 62037 with flag 2408001/2408001 1345.19/1341.59 c cleaning 31001 clauses out of 62037 with flag 2439001/2439001 1359.52/1355.80 c cleaning 31001 clauses out of 62035 with flag 2470000/2470000 1372.14/1368.46 c cleaning 31002 clauses out of 62035 with flag 2501001/2501001 1383.45/1379.74 c cleaning 30990 clauses out of 62032 with flag 2532000/2532000 1395.55/1391.84 c cleaning 31000 clauses out of 62042 with flag 2563000/2563000 1407.06/1403.35 c cleaning 31002 clauses out of 62042 with flag 2594000/2594000 1419.16/1415.49 c cleaning 31003 clauses out of 62041 with flag 2625001/2625001 1430.07/1426.31 c cleaning 31003 clauses out of 62039 with flag 2656002/2656002 1454.59/1450.80 c cleaning 30994 clauses out of 62034 with flag 2687000/2687000 1470.11/1466.33 c cleaning 31003 clauses out of 62042 with flag 2718002/2718002 1485.82/1482.04 c cleaning 30994 clauses out of 62038 with flag 2749001/2749001 1497.54/1493.76 c cleaning 31002 clauses out of 62045 with flag 2780002/2780002 1515.44/1511.68 c cleaning 31006 clauses out of 62044 with flag 2811003/2811003 1529.16/1525.32 c cleaning 31000 clauses out of 62037 with flag 2842002/2842002 1544.66/1540.88 c cleaning 31004 clauses out of 62039 with flag 2873004/2873004 1560.58/1556.71 c cleaning 31000 clauses out of 62031 with flag 2904000/2904000 1575.80/1571.99 c cleaning 31001 clauses out of 62034 with flag 2935003/2935003 1591.20/1587.38 c cleaning 30996 clauses out of 62032 with flag 2966002/2966002 1601.01/1597.18 c cleaning 30991 clauses out of 62035 with flag 2997001/2997001 1611.93/1608.02 c cleaning 30990 clauses out of 62046 with flag 3028003/3028003 1624.56/1620.66 c cleaning 30969 clauses out of 62056 with flag 3059003/3059003 1647.09/1643.18 c cleaning 30995 clauses out of 62084 with flag 3090000/3090000 1665.52/1661.57 c cleaning 31007 clauses out of 62091 with flag 3121002/3121002 1680.05/1676.04 c cleaning 30961 clauses out of 62082 with flag 3152000/3152000 1718.07/1714.06 c cleaning 30971 clauses out of 62121 with flag 3183000/3183000 1736.81/1732.79 c cleaning 31057 clauses out of 62150 with flag 3214000/3214000 1747.84/1743.79 c cleaning 31014 clauses out of 62096 with flag 3245003/3245003 1762.16/1758.07 c cleaning 30999 clauses out of 62079 with flag 3276000/3276000 1781.67/1777.54 c cleaning 31009 clauses out of 62080 with flag 3307000/3307000 1800.00/1795.81 c starts : 250 1800.00/1795.81 c conflicts : 3338003 1800.00/1795.81 c decisions : 4270114 1800.00/1795.81 c propagations : 150485180 1800.00/1795.81 c inspects : 4473968301 1800.00/1795.81 c learnt literals : 0 1800.00/1795.81 c learnt binary clauses : 0 1800.00/1795.81 c learnt ternary clauses : 0 1800.00/1795.81 c learnt clauses : 3338003 1800.00/1795.81 c ignored clauses : 0 1800.00/1795.81 c root simplifications : 0 1800.00/1795.81 c removed literals (reason simplification) : 21813427 1800.00/1795.81 c reason swapping (by a shorter reason) : 0 1800.00/1795.81 c Calls to reduceDB : 119 1800.00/1795.81 c number of reductions to clauses (during analyze) : 0 1800.00/1795.81 c number of learned constraints concerned by reduction : 0 1800.00/1795.81 c number of learning phase by resolution : 0 1800.00/1795.81 c number of learning phase by cutting planes : 0 1800.00/1795.81 c speed (assignments/second) : 83869.06888362898 1800.00/1795.81 c non guided choices 148602 1800.00/1795.86 c learnt constraints type 1800.00/1795.86 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 62074 1800.00/1795.86 c constraints type 1800.00/1795.86 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29898 1800.00/1795.86 c org.sat4j.minisat.constraints.card.MinWatchCard => 945 1800.00/1795.86 c org.sat4j.pb.constraints.pb.MaxWatchPb => 78 1800.00/1795.86 s UNKNOWN 1800.00/1795.86 c Total wall clock time (in seconds): 1795.646
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659611-1276343374/watcher-2659611-1276343374 -o /tmp/evaluation-result-2659611-1276343374/solver-2659611-1276343374 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659611-1276343374.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11469 /proc/meminfo: memFree=1869348/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=244 CPUtime=0 /proc/11469/stat : 11469 (java6) R 11467 11469 10334 0 -1 4194304 100 0 0 0 0 0 0 0 17 0 1 0 9941102 249856 18 1992294400 134512640 134550932 4288008928 18446744073709551615 2604423 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11469/statm: 61 21 15 10 0 22 0 [startup+0.098442 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11469 /proc/meminfo: memFree=1869348/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1521796 CPUtime=0.07 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 3866 0 1 0 5 2 0 0 15 0 7 0 9941102 1558319104 3306 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 380449 3306 1048 10 0 377759 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1521796 [startup+0.10144 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11469 /proc/meminfo: memFree=1869348/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1523476 CPUtime=0.08 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 3902 0 1 0 6 2 0 0 15 0 11 0 9941102 1560039424 3341 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 380869 3341 1062 10 0 378179 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1523476 [startup+0.301462 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11469 /proc/meminfo: memFree=1869348/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1526252 CPUtime=0.33 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 5311 0 1 0 30 3 0 0 15 0 12 0 9941102 1562882048 4747 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 381563 4747 1358 10 0 378865 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1526252 [startup+0.701514 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11469 /proc/meminfo: memFree=1869348/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1529680 CPUtime=1.11 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 12665 0 1 0 105 6 0 0 15 0 12 0 9941102 1566392320 11658 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382420 11658 1404 10 0 379722 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 1529680 [startup+1.50261 s] /proc/loadavg: 1.00 1.00 1.00 4/118 11481 /proc/meminfo: memFree=1817732/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1529680 CPUtime=2.45 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 27231 0 1 0 232 13 0 0 15 0 12 0 9941102 1566392320 26223 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382420 26232 1410 10 0 379722 0 [pid=11469/tid=11471] ppid=11467 vsize=1529680 CPUtime=1.46 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 24231 0 1 0 135 11 0 0 25 0 12 0 9941104 1566392320 26236 1992294400 134512640 134550932 4287190496 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 12 0 9941105 1566392320 26242 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 12 0 9941105 1566392320 26246 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 9941107 1566392320 26251 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 12 0 9941107 1566392320 26256 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 12 0 9941107 1566392320 26261 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 12 0 9941112 1566392320 26267 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1529680 CPUtime=0.02 /proc/11469/task/11478/stat : 11478 (java) R 11467 11469 10334 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 12 0 9941112 1566392320 26271 1992294400 134512640 134550932 4287190496 18446744073709551615 102192171 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1529680 CPUtime=0.94 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 1911 0 0 0 94 0 0 0 16 0 12 0 9941112 1566392320 26276 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 9941112 1566392320 26281 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1529680 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9941112 1566392320 26287 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.45 Current children cumulated vsize (KiB) 1529680 [startup+3.1018 s] /proc/loadavg: 1.00 1.00 1.00 8/119 11482 /proc/meminfo: memFree=1757584/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530960 CPUtime=5.04 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 33713 0 1 0 489 15 0 0 15 0 13 0 9941102 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382740 32556 1442 10 0 380042 0 [pid=11469/tid=11471] ppid=11467 vsize=1530960 CPUtime=2.99 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28215 0 1 0 286 13 0 0 25 0 13 0 9941104 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4110145421 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530960 CPUtime=0.02 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 546 0 0 0 2 0 0 0 18 0 13 0 9941105 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530960 CPUtime=0.01 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 522 0 0 0 1 0 0 0 18 0 13 0 9941105 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530960 CPUtime=0.03 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 1073 0 0 0 3 0 0 0 16 0 13 0 9941107 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530960 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) R 11467 11469 10334 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9941107 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530960 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 13 0 9941107 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530960 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530960 CPUtime=0.31 /proc/11469/task/11478/stat : 11478 (java) R 11467 11469 10334 0 -1 4202560 328 0 0 0 31 0 0 0 16 0 13 0 9941112 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 106251816 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530960 CPUtime=1.62 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 1966 0 0 0 162 0 0 0 15 0 13 0 9941112 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530960 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530960 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9941112 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530960 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567703040 32556 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.04 Current children cumulated vsize (KiB) 1530960 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11482 /proc/meminfo: memFree=1740100/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530532 CPUtime=8.35 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 34874 0 1 0 820 15 0 0 15 0 13 0 9941102 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382633 33423 1444 10 0 379935 0 [pid=11469/tid=11471] ppid=11467 vsize=1530532 CPUtime=6.07 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28220 0 1 0 594 13 0 0 25 0 13 0 9941104 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4110177137 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530532 CPUtime=0.03 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 808 0 0 0 3 0 0 0 16 0 13 0 9941105 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530532 CPUtime=0.02 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 736 0 0 0 2 0 0 0 18 0 13 0 9941105 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=0.12 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 1462 0 0 0 12 0 0 0 15 0 13 0 9941107 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530532 CPUtime=0.41 /proc/11469/task/11478/stat : 11478 (java) S 11467 11469 10334 0 -1 4202560 609 0 0 0 41 0 0 0 15 0 13 0 9941112 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530532 CPUtime=1.65 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 1972 0 0 0 165 0 0 0 15 0 13 0 9941112 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9941112 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567264768 33423 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.35 Current children cumulated vsize (KiB) 1530532 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11482 /proc/meminfo: memFree=1736628/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530532 CPUtime=14.8 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 35827 0 1 0 1464 16 0 0 15 0 13 0 9941102 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382633 34241 1444 10 0 379935 0 [pid=11469/tid=11471] ppid=11467 vsize=1530532 CPUtime=12.22 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28227 0 1 0 1209 13 0 0 25 0 13 0 9941104 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4110302895 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530532 CPUtime=0.05 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 809 0 0 0 5 0 0 0 15 0 13 0 9941105 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530532 CPUtime=0.05 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 1029 0 0 0 5 0 0 0 16 0 13 0 9941105 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=0.31 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 1964 0 0 0 31 0 0 0 15 0 13 0 9941107 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530532 CPUtime=0.42 /proc/11469/task/11478/stat : 11478 (java) S 11467 11469 10334 0 -1 4202560 609 0 0 0 42 0 0 0 16 0 13 0 9941112 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530532 CPUtime=1.7 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 2122 0 0 0 170 0 0 0 15 0 13 0 9941112 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9941112 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567264768 34241 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.8 Current children cumulated vsize (KiB) 1530532 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11482 /proc/meminfo: memFree=1731544/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530532 CPUtime=27.63 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 37124 0 1 0 2746 17 0 0 15 0 13 0 9941102 1567264768 35533 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382633 35533 1444 10 0 379935 0 [pid=11469/tid=11471] ppid=11467 vsize=1530532 CPUtime=24.76 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28234 0 1 0 2462 14 0 0 25 0 13 0 9941104 1567264768 35533 1992294400 134512640 134550932 4287190496 18446744073709551615 4110062644 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530532 CPUtime=0.08 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 1039 0 0 0 8 0 0 0 15 0 13 0 9941105 1567264768 35533 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530532 CPUtime=0.09 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 1342 0 0 0 9 0 0 0 16 0 13 0 9941105 1567264768 35533 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=0.53 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 2711 0 0 0 53 0 0 0 15 0 13 0 9941107 1567264768 35533 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 ################ # More data... # ################ [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=11.09 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 11189 0 0 0 1105 4 0 0 15 0 13 0 9941107 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530532 CPUtime=0.42 /proc/11469/task/11478/stat : 11478 (java) S 11467 11469 10334 0 -1 4202560 609 0 0 0 42 0 0 0 16 0 13 0 9941112 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530532 CPUtime=1.73 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 2470 0 0 0 173 0 0 0 15 0 13 0 9941112 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 13 0 9941112 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567264768 57073 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1606.23 Current children cumulated vsize (KiB) 1530532 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11538 /proc/meminfo: memFree=1641272/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530532 CPUtime=1666.36 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 61649 0 1 0 166594 42 0 0 15 0 13 0 9941102 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382633 57582 1444 10 0 379935 0 [pid=11469/tid=11471] ppid=11467 vsize=1530532 CPUtime=1647.3 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28335 0 1 0 164706 24 0 0 25 0 13 0 9941104 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4110133868 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530532 CPUtime=2.62 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 8710 0 0 0 258 4 0 0 16 0 13 0 9941105 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530532 CPUtime=2.59 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 8882 0 0 0 253 6 0 0 15 0 13 0 9941105 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=11.63 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 11480 0 0 0 1159 4 0 0 16 0 13 0 9941107 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530532 CPUtime=0.42 /proc/11469/task/11478/stat : 11478 (java) S 11467 11469 10334 0 -1 4202560 609 0 0 0 42 0 0 0 16 0 13 0 9941112 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530532 CPUtime=1.73 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 2470 0 0 0 173 0 0 0 15 0 13 0 9941112 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 9941112 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567264768 57582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1666.36 Current children cumulated vsize (KiB) 1530532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11540 /proc/meminfo: memFree=1638668/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530532 CPUtime=1726.41 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 62310 0 1 0 172598 43 0 0 15 0 13 0 9941102 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382633 58196 1444 10 0 379935 0 [pid=11469/tid=11471] ppid=11467 vsize=1530532 CPUtime=1706.96 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28337 0 1 0 170672 24 0 0 25 0 13 0 9941104 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4110121591 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530532 CPUtime=2.7 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 9004 0 0 0 265 5 0 0 16 0 13 0 9941105 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530532 CPUtime=2.66 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 9068 0 0 0 260 6 0 0 15 0 13 0 9941105 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=11.88 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 11655 0 0 0 1184 4 0 0 15 0 13 0 9941107 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530532 CPUtime=0.42 /proc/11469/task/11478/stat : 11478 (java) S 11467 11469 10334 0 -1 4202560 609 0 0 0 42 0 0 0 16 0 13 0 9941112 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530532 CPUtime=1.73 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 2470 0 0 0 173 0 0 0 15 0 13 0 9941112 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 9941112 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567264768 58196 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1726.41 Current children cumulated vsize (KiB) 1530532 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11542 /proc/meminfo: memFree=1636932/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530532 CPUtime=1786.5 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 62706 0 1 0 178607 43 0 0 15 0 13 0 9941102 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382633 58582 1444 10 0 379935 0 [pid=11469/tid=11471] ppid=11467 vsize=1530532 CPUtime=1766.26 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28341 0 1 0 176601 25 0 0 25 0 13 0 9941104 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4110123170 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530532 CPUtime=2.82 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 9004 0 0 0 277 5 0 0 16 0 13 0 9941105 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530532 CPUtime=2.78 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 9068 0 0 0 272 6 0 0 16 0 13 0 9941105 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=12.43 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 12045 0 0 0 1239 4 0 0 15 0 13 0 9941107 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530532 CPUtime=0.42 /proc/11469/task/11478/stat : 11478 (java) S 11467 11469 10334 0 -1 4202560 609 0 0 0 42 0 0 0 16 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530532 CPUtime=1.73 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 2470 0 0 0 173 0 0 0 15 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (KiB) 1530532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.8 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11542 /proc/meminfo: memFree=1636932/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=1530532 CPUtime=1800 /proc/11469/stat : 11469 (java) S 11467 11469 10334 0 -1 4202496 62708 0 1 0 179956 44 0 0 15 0 13 0 9941102 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 382633 58582 1444 10 0 379935 0 [pid=11469/tid=11471] ppid=11467 vsize=1530532 CPUtime=1779.75 /proc/11469/task/11471/stat : 11471 (java) R 11467 11469 10334 0 -1 4202560 28341 0 1 0 177950 25 0 0 25 0 13 0 9941104 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4109670090 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11469/tid=11472] ppid=11467 vsize=1530532 CPUtime=2.82 /proc/11469/task/11472/stat : 11472 (java) S 11467 11469 10334 0 -1 4202560 9004 0 0 0 277 5 0 0 16 0 13 0 9941105 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11473] ppid=11467 vsize=1530532 CPUtime=2.78 /proc/11469/task/11473/stat : 11473 (java) S 11467 11469 10334 0 -1 4202560 9068 0 0 0 272 6 0 0 16 0 13 0 9941105 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11474] ppid=11467 vsize=1530532 CPUtime=12.43 /proc/11469/task/11474/stat : 11474 (java) S 11467 11469 10334 0 -1 4202560 12045 0 0 0 1239 4 0 0 15 0 13 0 9941107 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 0 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11475] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11475/stat : 11475 (java) S 11467 11469 10334 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11476] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11476/stat : 11476 (java) S 11467 11469 10334 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9941107 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11477] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11477/stat : 11477 (java) S 11467 11469 10334 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11478] ppid=11467 vsize=1530532 CPUtime=0.42 /proc/11469/task/11478/stat : 11478 (java) S 11467 11469 10334 0 -1 4202560 609 0 0 0 42 0 0 0 16 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11479] ppid=11467 vsize=1530532 CPUtime=1.73 /proc/11469/task/11479/stat : 11479 (java) S 11467 11469 10334 0 -1 4202560 2470 0 0 0 173 0 0 0 15 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11480] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11480/stat : 11480 (java) S 11467 11469 10334 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 [pid=11469/tid=11481] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11481/stat : 11481 (java) S 11467 11469 10334 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 9941112 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 1 0 0 0 [pid=11469/tid=11482] ppid=11467 vsize=1530532 CPUtime=0 /proc/11469/task/11482/stat : 11482 (java) S 11467 11469 10334 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9941257 1567264768 58582 1992294400 134512640 134550932 4287190496 18446744073709551615 4294960144 0 4 0 16800975 18446604437823300672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1530532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.92 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11542 /proc/meminfo: memFree=1636932/2059040 swapFree=4158992/4192956 [pid=11469] ppid=11467 vsize=0 CPUtime=1800.16 /proc/11469/stat : 11469 (java) Z 11467 11469 10334 0 -1 4203548 62822 0 1 0 179971 45 0 0 15 0 2 0 9941102 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11469/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1795.93 CPU time (s): 1800.19 CPU user time (s): 1799.71 CPU system time (s): 0.470928 CPU usage (%): 100.237 Max. virtual memory (cumulated for all children) (KiB): 1531556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.470928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62822 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37792 involuntary context switches= 11783 runsolver used 3.54446 second user time and 9.60654 second system time The end
Begin job on node006 at 2010-06-12 13:49:34 IDJOB=2659611 IDBENCH=1498 IDSOLVER=1164 FILE ID=node006/2659611-1276343374 PBS_JOBID= 11173174 Free space on /tmp= 62472 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659611-1276343374/watcher-2659611-1276343374 -o /tmp/evaluation-result-2659611-1276343374/solver-2659611-1276343374 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659611-1276343374.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 732cdc3fa8b0bf0f47e882c13d928a6d RANDOM SEED=782375107 node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1869744 kB Buffers: 6832 kB Cached: 90000 kB SwapCached: 1976 kB Active: 71584 kB Inactive: 53172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1869744 kB SwapTotal: 4192956 kB SwapFree: 4158992 kB Dirty: 1364 kB Writeback: 0 kB AnonPages: 25916 kB Mapped: 14020 kB Slab: 42528 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182884 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62472 MiB End job on node006 at 2010-06-12 14:19:32