Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 121 | 1800.03 | 1799.34 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb |
| MD5SUM | d26b3b10be20d9248aac462b86b1f040 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 827.696 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 45 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 940 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3331 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085450-1465243325.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.09/0.13 c ... done. Wall clock time 0.022s. 0.09/0.13 c declared #vars 94 0.09/0.13 c #constraints 8 0.09/0.13 c constraints type 0.09/0.13 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8 0.09/0.13 c 8 constraints processed. 0.09/0.13 c objective function length is 64 literals 0.63/0.49 c cleaning 2493 clauses out of 5000 with flag 10222/5000 1.24/0.89 c cleaning 4250 clauses out of 8508 with flag 22333/11001 1.86/1.44 c cleaning 5620 clauses out of 11257 with flag 36382/18000 2.69/2.21 c cleaning 6814 clauses out of 13637 with flag 52539/26000 3.59/3.17 c cleaning 7904 clauses out of 15823 with flag 70647/35000 4.91/4.41 c cleaning 8950 clauses out of 17919 with flag 90746/45000 6.50/6.00 c cleaning 9975 clauses out of 19969 with flag 112871/56000 8.31/7.81 c cleaning 10991 clauses out of 21995 with flag 136945/68001 10.40/9.97 c cleaning 11991 clauses out of 24004 with flag 163076/81001 12.90/12.48 c cleaning 12997 clauses out of 26012 with flag 191203/95000 15.90/15.44 c cleaning 14005 clauses out of 28017 with flag 221342/110002 19.20/18.75 c cleaning 14994 clauses out of 30010 with flag 253442/126000 22.89/22.43 c cleaning 15998 clauses out of 32017 with flag 287642/143001 27.01/26.59 c cleaning 16999 clauses out of 34019 with flag 323862/161001 31.60/31.11 c cleaning 17997 clauses out of 36019 with flag 362194/180000 36.40/35.92 c cleaning 19004 clauses out of 38023 with flag 402462/200001 41.50/41.06 c cleaning 20000 clauses out of 40018 with flag 444671/221000 47.30/46.85 c cleaning 20998 clauses out of 42018 with flag 488978/243000 53.70/53.29 c cleaning 22006 clauses out of 44021 with flag 535424/266001 60.80/60.36 c cleaning 22998 clauses out of 46015 with flag 583764/290001 68.41/67.97 c cleaning 23998 clauses out of 48016 with flag 634081/315000 76.60/76.12 c cleaning 25002 clauses out of 50020 with flag 686451/341002 85.50/85.08 c cleaning 25998 clauses out of 52016 with flag 740677/368000 95.30/94.87 c cleaning 26999 clauses out of 54022 with flag 796999/396004 102.50/102.03 c SATISFIABLE 102.50/102.03 c OPTIMIZING... 102.50/102.03 c Got one! Elapsed wall clock time (in seconds):101.916 102.50/102.03 o 384 102.50/102.08 c Got one! Elapsed wall clock time (in seconds):101.964 102.50/102.08 o 238 104.96/104.43 c cleaning 27424 clauses out of 54863 with flag 10090/423844 106.55/106.06 c cleaning 16711 clauses out of 33436 with flag 22138/429841 107.75/107.28 c cleaning 11856 clauses out of 23727 with flag 36211/436843 108.85/108.37 c cleaning 9924 clauses out of 19870 with flag 52306/444842 110.06/109.52 c cleaning 9467 clauses out of 18945 with flag 70385/453841 111.36/110.85 c cleaning 9732 clauses out of 19480 with flag 90469/463843 112.87/112.38 c cleaning 10364 clauses out of 20746 with flag 112546/474841 114.57/114.06 c cleaning 11183 clauses out of 22383 with flag 136618/486842 116.67/116.10 c cleaning 12090 clauses out of 24201 with flag 162715/499843 118.97/118.41 c cleaning 13046 clauses out of 26112 with flag 190813/513844 121.58/121.10 c cleaning 14023 clauses out of 28065 with flag 220886/528843 124.67/124.14 c cleaning 15010 clauses out of 30041 with flag 253006/544842 128.07/127.50 c cleaning 16005 clauses out of 32031 with flag 287121/561842 131.87/131.35 c cleaning 17003 clauses out of 34027 with flag 323307/579843 136.07/135.56 c cleaning 18005 clauses out of 36022 with flag 361429/598841 140.87/140.38 c cleaning 18998 clauses out of 38017 with flag 401586/618841 146.27/145.80 c cleaning 19997 clauses out of 40020 with flag 443737/639842 151.87/151.31 c cleaning 21008 clauses out of 42023 with flag 488016/661842 157.97/157.46 c cleaning 21992 clauses out of 44015 with flag 534272/684842 164.87/164.36 c cleaning 23004 clauses out of 46022 with flag 582635/708841 172.27/171.75 c cleaning 24000 clauses out of 48018 with flag 633049/733841 180.18/179.61 c cleaning 25001 clauses out of 50021 with flag 685606/759844 188.57/188.08 c cleaning 25997 clauses out of 52018 with flag 739944/786842 197.97/197.43 c cleaning 26999 clauses out of 54021 with flag 796371/814842 207.97/207.49 c cleaning 28000 clauses out of 56021 with flag 854845/843841 218.97/218.45 c cleaning 29007 clauses out of 58023 with flag 915236/873843 231.17/230.69 c cleaning 29998 clauses out of 60014 with flag 977616/904841 243.78/243.25 c cleaning 30998 clauses out of 62018 with flag 1042139/936843 257.67/257.18 c cleaning 31997 clauses out of 64018 with flag 1108632/969841 270.70/270.12 c cleaning 33001 clauses out of 66021 with flag 1177002/1003841 285.10/284.50 c cleaning 34002 clauses out of 68023 with flag 1247436/1038844 300.69/300.18 c cleaning 34999 clauses out of 70021 with flag 1319848/1074844 302.59/302.09 c Got one! Elapsed wall clock time (in seconds):301.975 302.59/302.09 o 121 304.49/303.96 c cleaning 23454 clauses out of 46921 with flag 10131/1086743 305.69/305.19 c cleaning 14726 clauses out of 29470 with flag 22243/1092746 306.79/306.26 c cleaning 10863 clauses out of 21741 with flag 36379/1099743 307.90/307.30 c cleaning 9431 clauses out of 18878 with flag 52478/1107743 308.90/308.35 c cleaning 9212 clauses out of 18447 with flag 70629/1116743 310.10/309.58 c cleaning 9611 clauses out of 19235 with flag 90756/1126743 311.52/311.00 c cleaning 10301 clauses out of 20624 with flag 112813/1137743 313.32/312.74 c cleaning 11146 clauses out of 22322 with flag 136902/1149742 315.33/314.76 c cleaning 12076 clauses out of 24176 with flag 163071/1162742 317.72/317.11 c cleaning 13041 clauses out of 26101 with flag 191143/1176743 320.22/319.64 c cleaning 14020 clauses out of 28059 with flag 221374/1191742 323.12/322.57 c cleaning 15011 clauses out of 30040 with flag 253564/1207743 326.42/325.84 c cleaning 16004 clauses out of 32029 with flag 287800/1224743 330.32/329.70 c cleaning 17002 clauses out of 34027 with flag 324057/1242745 334.52/333.98 c cleaning 18003 clauses out of 36023 with flag 362228/1261743 339.53/338.94 c cleaning 18999 clauses out of 38020 with flag 402405/1281743 344.82/344.23 c cleaning 19998 clauses out of 40020 with flag 444621/1302742 350.22/349.67 c cleaning 21005 clauses out of 42023 with flag 488815/1324743 356.42/355.85 c cleaning 21999 clauses out of 44018 with flag 535024/1347743 363.12/362.55 c cleaning 23001 clauses out of 46019 with flag 583277/1371743 370.52/369.99 c cleaning 24000 clauses out of 48017 with flag 633523/1396742 378.62/378.03 c cleaning 24992 clauses out of 50018 with flag 685782/1422743 387.42/386.89 c cleaning 26007 clauses out of 52028 with flag 740067/1449745 396.91/396.34 c cleaning 27000 clauses out of 54019 with flag 796399/1477743 407.72/407.20 c cleaning 27998 clauses out of 56018 with flag 854748/1506742 417.84/417.23 c cleaning 29005 clauses out of 58023 with flag 915093/1536745 428.43/427.86 c cleaning 29997 clauses out of 60015 with flag 977523/1567742 439.33/438.76 c cleaning 31004 clauses out of 62019 with flag 1042079/1599743 452.03/451.41 c cleaning 31995 clauses out of 64016 with flag 1108603/1632744 466.23/465.66 c cleaning 32999 clauses out of 66019 with flag 1177176/1666742 481.23/480.70 c cleaning 33997 clauses out of 68020 with flag 1247782/1701742 497.54/496.93 c cleaning 34999 clauses out of 70025 with flag 1320289/1737744 514.84/514.22 c cleaning 36001 clauses out of 72024 with flag 1394838/1774742 533.14/532.55 c cleaning 36999 clauses out of 74024 with flag 1471409/1812743 553.25/552.64 c cleaning 38001 clauses out of 76025 with flag 1550066/1851743 575.35/574.73 c cleaning 38999 clauses out of 78024 with flag 1630560/1891743 599.05/598.41 c cleaning 40003 clauses out of 80025 with flag 1715223/1932743 622.84/622.29 c cleaning 41004 clauses out of 82022 with flag 1800694/1974743 648.85/648.23 c cleaning 42000 clauses out of 84019 with flag 1887439/2017744 675.27/674.66 c cleaning 43005 clauses out of 86018 with flag 1976274/2061743 701.68/701.07 c cleaning 43994 clauses out of 88012 with flag 2067845/2106742 732.39/731.71 c cleaning 45003 clauses out of 90019 with flag 2161835/2152743 764.99/764.33 c cleaning 45999 clauses out of 92016 with flag 2257422/2199743 798.60/797.95 c cleaning 47001 clauses out of 94018 with flag 2354323/2247744 832.01/831.39 c cleaning 47997 clauses out of 96015 with flag 2453333/2296742 868.31/867.62 c cleaning 48999 clauses out of 98018 with flag 2554547/2346742 909.72/909.06 c cleaning 49998 clauses out of 100019 with flag 2657623/2397742 952.82/952.14 c cleaning 51003 clauses out of 102022 with flag 2762655/2449743 996.34/995.67 c cleaning 51999 clauses out of 104021 with flag 2869894/2502745 1043.73/1043.05 c cleaning 52998 clauses out of 106019 with flag 2978840/2556742 1088.29/1087.56 c cleaning 53996 clauses out of 108021 with flag 3090107/2611742 1135.79/1135.08 c cleaning 55002 clauses out of 110026 with flag 3203234/2667743 1184.99/1184.29 c cleaning 55995 clauses out of 112023 with flag 3318335/2724742 1238.08/1237.34 c cleaning 57004 clauses out of 114029 with flag 3435391/2782743 1295.57/1294.80 c cleaning 58003 clauses out of 116024 with flag 3554506/2841742 1356.16/1355.48 c cleaning 59002 clauses out of 118022 with flag 3675624/2901743 1420.85/1420.11 c cleaning 59999 clauses out of 120019 with flag 3798810/2962742 1486.54/1485.81 c cleaning 60998 clauses out of 122020 with flag 3923849/3024742 1555.53/1554.80 c cleaning 61999 clauses out of 124022 with flag 4050819/3087742 1621.93/1621.22 c cleaning 63001 clauses out of 126025 with flag 4179936/3151744 1699.82/1699.13 c cleaning 64001 clauses out of 128023 with flag 4311177/3216743 1776.92/1776.20 c cleaning 64999 clauses out of 130021 with flag 4444245/3282742 1800.03/1799.30 c starts : 7 1800.03/1799.30 c conflicts : 3311752 1800.03/1799.30 c decisions : 3334180 1800.03/1799.30 c propagations : 22286322 1800.03/1799.30 c inspects : 38558931003 1800.03/1799.30 c shortcuts : 0 1800.03/1799.30 c learnt literals : 0 1800.03/1799.30 c learnt binary clauses : 0 1800.03/1799.30 c learnt ternary clauses : 0 1800.03/1799.30 c learnt constraints : 3311752 1800.03/1799.30 c ignored constraints : 0 1800.03/1799.30 c root simplifications : 0 1800.03/1799.30 c removed literals (reason simplification) : 0 1800.03/1799.30 c reason swapping (by a shorter reason) : 0 1800.03/1799.30 c Calls to reduceDB : 118 1800.03/1799.30 c Number of update (reduction) of LBD : 39561 1800.03/1799.30 c Imported unit clauses : 0 1800.03/1799.30 c number of reductions to clauses (during analyze) : 0 1800.03/1799.30 c number of learned constraints concerned by reduction : 0 1800.03/1799.30 c number of learning phase by resolution : 0 1800.03/1799.30 c number of learning phase by cutting planes : 0 1800.03/1799.30 c speed (assignments/second) : 12387.036764276761 1800.03/1799.30 c non guided choices 53 1800.03/1799.33 c learnt constraints type 1800.03/1799.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 94033 1800.03/1799.33 s SATISFIABLE 1800.03/1799.33 c Found 3 solution(s) 1800.03/1799.33 v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 x76 x77 x78 -x79 x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 x93 -x94 1800.03/1799.33 c objective function=121 1800.03/1799.33 c Total wall clock time (in seconds): 1799.217
OK 121
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4085450-1465243325/watcher-4085450-1465243325 -o /tmp/evaluation-result-4085450-1465243325/solver-4085450-1465243325 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085450-1465243325.opb pid=2265 running on 4 cores: 0,2,4,6 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.37 2.21 2.12 3/194 2268 /proc/meminfo: memFree=31098860/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/2268/stat : 2268 (java) R 2265 2268 31144 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 106266983 278528 33 33554432000 1073741824 1073778376 140737233042864 140735916175464 213857168565 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 68 33 25 9 0 25 0 [startup+0.100156 s] /proc/loadavg: 2.37 2.21 2.12 3/194 2268 /proc/meminfo: memFree=31098860/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 106266983 9787879424 6039 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2389619 6039 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.20022 s] /proc/loadavg: 2.37 2.21 2.12 3/194 2268 /proc/meminfo: memFree=31098860/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 7093 0 1 0 29 2 0 0 20 0 19 0 106266983 9856040960 7983 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 7983 2215 9 0 2396937 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9625040 [startup+0.300223 s] /proc/loadavg: 2.37 2.21 2.12 3/194 2268 /proc/meminfo: memFree=31098860/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 7143 0 1 0 48 2 0 0 20 0 19 0 106266983 9856040960 8432 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 8432 2232 9 0 2396937 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9625040 [startup+0.700284 s] /proc/loadavg: 2.37 2.21 2.12 3/194 2268 /proc/meminfo: memFree=31098860/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=1.14 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 13078 0 1 0 111 3 0 0 20 0 19 0 106266983 9856040960 11605 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 11605 2245 9 0 2396937 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 9625040 [startup+1.50075 s] /proc/loadavg: 2.37 2.21 2.12 3/213 2287 /proc/meminfo: memFree=31059124/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=1.97 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 13084 0 1 0 194 3 0 0 20 0 19 0 106266983 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 12632 2247 9 0 2396937 0 [pid=2268/tid=2270] ppid=2265 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/2268/task/2270/stat : 2270 (java) R 2265 2268 31144 0 -1 4202560 2409 0 1 0 146 0 0 0 20 0 19 0 106266984 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140332178866712 140332033816685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2271] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2271/stat : 2271 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140332022409768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2272] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2272/stat : 2272 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140332021356968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2273] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2273/stat : 2273 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140332020304168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2274] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2274/stat : 2274 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140332019251368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2275] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2275/stat : 2275 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140332018199592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2276] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2276/stat : 2276 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331681049512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2277] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2277/stat : 2277 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331679996712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2278] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2278/stat : 2278 (java) S 2265 2268 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331678943912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2279] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2279/stat : 2279 (java) S 2265 2268 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331666745832 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2280] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2280/stat : 2280 (java) S 2265 2268 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331665691896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2281] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2281/stat : 2281 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331664638984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2282] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2282/stat : 2282 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331663587472 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2283] ppid=2265 vsize=9625040 CPUtime=0.29 cores=0,2,4,6 /proc/2268/task/2283/stat : 2283 (java) S 2265 2268 31144 0 -1 4202560 6314 0 0 0 27 2 0 0 20 0 19 0 106266989 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331662535608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2284] ppid=2265 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/2268/task/2284/stat : 2284 (java) S 2265 2268 31144 0 -1 4202560 3089 0 0 0 17 1 0 0 20 0 19 0 106266989 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331661482808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2285] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2285/stat : 2285 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331660430200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2286] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2286/stat : 2286 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331659377608 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2287] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2287/stat : 2287 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266997 9856040960 12632 33554432000 1073741824 1073778376 140737233042864 140331658224808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.97 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.37 2.21 2.12 4/213 2287 /proc/meminfo: memFree=31054904/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=3.59 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 13089 0 1 0 356 3 0 0 20 0 19 0 106266983 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 13659 2247 9 0 2396937 0 [pid=2268/tid=2270] ppid=2265 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/2268/task/2270/stat : 2270 (java) R 2265 2268 31144 0 -1 4202560 2411 0 1 0 306 0 0 0 20 0 19 0 106266984 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140332178866456 140332033804554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2271] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2271/stat : 2271 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140332022409768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2272] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2272/stat : 2272 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140332021356968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2273] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2273/stat : 2273 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140332020304168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2274] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2274/stat : 2274 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140332019251368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2275] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2275/stat : 2275 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140332018199592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2276] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2276/stat : 2276 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331681049512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2277] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2277/stat : 2277 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331679996712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2278] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2278/stat : 2278 (java) S 2265 2268 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331678943912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2279] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2279/stat : 2279 (java) S 2265 2268 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331666745832 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2280] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2280/stat : 2280 (java) S 2265 2268 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331665691896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2281] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2281/stat : 2281 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331664638984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2282] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2282/stat : 2282 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331663587472 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2283] ppid=2265 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/2268/task/2283/stat : 2283 (java) S 2265 2268 31144 0 -1 4202560 6317 0 0 0 29 2 0 0 20 0 19 0 106266989 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331662535608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2284] ppid=2265 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/2268/task/2284/stat : 2284 (java) S 2265 2268 31144 0 -1 4202560 3089 0 0 0 17 1 0 0 20 0 19 0 106266989 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331661482808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2285] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2285/stat : 2285 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331660430200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2286] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2286/stat : 2286 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331659377608 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2287] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2287/stat : 2287 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266997 9856040960 13659 33554432000 1073741824 1073778376 140737233042864 140331658224808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 9625040 [startup+6.30078 s] /proc/loadavg: 2.34 2.21 2.12 4/213 2287 /proc/meminfo: memFree=31057476/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=6.8 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 13094 0 1 0 676 4 0 0 20 0 19 0 106266983 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 12921 2248 9 0 2396937 0 [pid=2268/tid=2270] ppid=2265 vsize=9625040 CPUtime=6.25 cores=0,2,4,6 /proc/2268/task/2270/stat : 2270 (java) R 2265 2268 31144 0 -1 4202560 2415 0 1 0 624 1 0 0 20 0 19 0 106266984 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140332178857680 140332033817248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2271] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2271/stat : 2271 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140332022409768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2272] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2272/stat : 2272 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140332021356968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2273] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2273/stat : 2273 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140332020304168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2274] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2274/stat : 2274 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140332019251368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2275] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2275/stat : 2275 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140332018199592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2276] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2276/stat : 2276 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331681049512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2277] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2277/stat : 2277 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331679996712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2278] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2278/stat : 2278 (java) S 2265 2268 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331678943912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2279] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2279/stat : 2279 (java) S 2265 2268 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331666745832 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2280] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2280/stat : 2280 (java) S 2265 2268 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331665691896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2281] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2281/stat : 2281 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331664638984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2282] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2282/stat : 2282 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331663587472 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2283] ppid=2265 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/2268/task/2283/stat : 2283 (java) S 2265 2268 31144 0 -1 4202560 6317 0 0 0 29 2 0 0 20 0 19 0 106266989 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331662535608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2284] ppid=2265 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/2268/task/2284/stat : 2284 (java) S 2265 2268 31144 0 -1 4202560 3089 0 0 0 17 1 0 0 20 0 19 0 106266989 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331661482808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2285] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2285/stat : 2285 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331660430200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2286] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2286/stat : 2286 (java) S 2265 2268 31144 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331659377608 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2287] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2287/stat : 2287 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266997 9856040960 12921 33554432000 1073741824 1073778376 140737233042864 140331658224808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.8 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=2268/tid=2287] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2287/stat : 2287 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266997 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331658224808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1723.01 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.03 2.08 2.08 3/213 2461 /proc/meminfo: memFree=30752944/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=1783.03 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 13805 0 1 0 178273 30 0 0 20 0 19 0 106266983 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 52406 2263 9 0 2396937 0 [pid=2268/tid=2270] ppid=2265 vsize=9625040 CPUtime=1777.3 cores=0,2,4,6 /proc/2268/task/2270/stat : 2270 (java) R 2265 2268 31144 0 -1 4202560 2482 0 1 0 177699 31 0 0 20 0 19 0 106266984 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332178857664 140332033897843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2271] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2271/stat : 2271 (java) S 2265 2268 31144 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332022409768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2272] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2272/stat : 2272 (java) S 2265 2268 31144 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332021356968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2273] ppid=2265 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/2268/task/2273/stat : 2273 (java) S 2265 2268 31144 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332020304168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2274] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2274/stat : 2274 (java) S 2265 2268 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332019251368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2275] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2275/stat : 2275 (java) S 2265 2268 31144 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332018199592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2276] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2276/stat : 2276 (java) S 2265 2268 31144 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331681049512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2277] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2277/stat : 2277 (java) S 2265 2268 31144 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331679996712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2278] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2278/stat : 2278 (java) S 2265 2268 31144 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331678943912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2279] ppid=2265 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/2268/task/2279/stat : 2279 (java) S 2265 2268 31144 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331666745832 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2280] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2280/stat : 2280 (java) S 2265 2268 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331665691896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2281] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2281/stat : 2281 (java) S 2265 2268 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331664638984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2282] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2282/stat : 2282 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331663587472 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2283] ppid=2265 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/2268/task/2283/stat : 2283 (java) S 2265 2268 31144 0 -1 4202560 6752 0 0 0 37 2 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331662535608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2284] ppid=2265 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/2268/task/2284/stat : 2284 (java) S 2265 2268 31144 0 -1 4202560 3089 0 0 0 17 1 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331661482808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2285] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2285/stat : 2285 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331660430200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2286] ppid=2265 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/2268/task/2286/stat : 2286 (java) S 2265 2268 31144 0 -1 4202560 104 0 0 0 24 32 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331659377608 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2287] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2287/stat : 2287 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266997 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331658224808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1783.03 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.3 s] /proc/loadavg: 2.02 2.07 2.08 3/213 2461 /proc/meminfo: memFree=30752824/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 13805 0 1 0 179973 30 0 0 20 0 19 0 106266983 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 52406 2263 9 0 2396937 0 [pid=2268/tid=2270] ppid=2265 vsize=9625040 CPUtime=1794.26 cores=0,2,4,6 /proc/2268/task/2270/stat : 2270 (java) R 2265 2268 31144 0 -1 4202560 2482 0 1 0 179395 31 0 0 20 0 19 0 106266984 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332178857664 140332033804478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2271] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2271/stat : 2271 (java) S 2265 2268 31144 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332022409768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2272] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2272/stat : 2272 (java) S 2265 2268 31144 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332021356968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2273] ppid=2265 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/2268/task/2273/stat : 2273 (java) S 2265 2268 31144 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332020304168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2274] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2274/stat : 2274 (java) S 2265 2268 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332019251368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2275] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2275/stat : 2275 (java) S 2265 2268 31144 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332018199592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2276] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2276/stat : 2276 (java) S 2265 2268 31144 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331681049512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2277] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2277/stat : 2277 (java) S 2265 2268 31144 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331679996712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2278] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2278/stat : 2278 (java) S 2265 2268 31144 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331678943912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2279] ppid=2265 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/2268/task/2279/stat : 2279 (java) S 2265 2268 31144 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331666745832 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2280] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2280/stat : 2280 (java) S 2265 2268 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331665691896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2281] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2281/stat : 2281 (java) S 2265 2268 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331664638984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2282] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2282/stat : 2282 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331663587472 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2283] ppid=2265 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/2268/task/2283/stat : 2283 (java) S 2265 2268 31144 0 -1 4202560 6752 0 0 0 37 2 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331662535608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2284] ppid=2265 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/2268/task/2284/stat : 2284 (java) S 2265 2268 31144 0 -1 4202560 3089 0 0 0 17 1 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331661482808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2285] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2285/stat : 2285 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331660430200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2286] ppid=2265 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/2268/task/2286/stat : 2286 (java) S 2265 2268 31144 0 -1 4202560 104 0 0 0 25 32 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331659377608 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2287] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2287/stat : 2287 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266997 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331658224808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2268 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1799.3 s] /proc/loadavg: 2.02 2.07 2.08 3/213 2461 /proc/meminfo: memFree=30752824/32872528 swapFree=12352/737972 [pid=2268] ppid=2265 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/2268/stat : 2268 (java) S 2265 2268 31144 0 -1 4202496 13805 0 1 0 179973 30 0 0 20 0 19 0 106266983 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140737233034000 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2268/statm: 2406260 52406 2263 9 0 2396937 0 [pid=2268/tid=2270] ppid=2265 vsize=9625040 CPUtime=1794.26 cores=0,2,4,6 /proc/2268/task/2270/stat : 2270 (java) R 2265 2268 31144 0 -1 4202560 2482 0 1 0 179395 31 0 0 20 0 19 0 106266984 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332178857664 140332033804478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2271] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2271/stat : 2271 (java) S 2265 2268 31144 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332022409768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2272] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2272/stat : 2272 (java) S 2265 2268 31144 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332021356968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2273] ppid=2265 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/2268/task/2273/stat : 2273 (java) S 2265 2268 31144 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332020304168 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2274] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2274/stat : 2274 (java) S 2265 2268 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332019251368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2275] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2275/stat : 2275 (java) S 2265 2268 31144 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140332018199592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2276] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2276/stat : 2276 (java) S 2265 2268 31144 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331681049512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2277] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2277/stat : 2277 (java) S 2265 2268 31144 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331679996712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2278] ppid=2265 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/2268/task/2278/stat : 2278 (java) S 2265 2268 31144 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 106266985 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331678943912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2279] ppid=2265 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/2268/task/2279/stat : 2279 (java) S 2265 2268 31144 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331666745832 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2268/tid=2280] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2280/stat : 2280 (java) S 2265 2268 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331665691896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2281] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2281/stat : 2281 (java) S 2265 2268 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106266987 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331664638984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2282] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2282/stat : 2282 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331663587472 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2283] ppid=2265 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/2268/task/2283/stat : 2283 (java) S 2265 2268 31144 0 -1 4202560 6752 0 0 0 37 2 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331662535608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2268/tid=2284] ppid=2265 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/2268/task/2284/stat : 2284 (java) S 2265 2268 31144 0 -1 4202560 3089 0 0 0 17 1 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331661482808 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2285] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2285/stat : 2285 (java) S 2265 2268 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331660430200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2268/tid=2286] ppid=2265 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/2268/task/2286/stat : 2286 (java) S 2265 2268 31144 0 -1 4202560 104 0 0 0 25 32 0 0 20 0 19 0 106266989 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331659377608 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2268/tid=2287] ppid=2265 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2268/task/2287/stat : 2287 (java) S 2265 2268 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106266997 9856040960 52406 33554432000 1073741824 1073778376 140737233042864 140331658224808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2268 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=59109 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=801878 # CPU time returned by wait4() is 1795.86 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1799.34 CPU time (s): 1800.03 CPU user time (s): 1799.73 CPU system time (s): 0.3 CPU usage (%): 100.039 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.06 system time used= 0.801878 maximum resident set size= 209792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13854 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38238 involuntary context switches= 14125 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.4614 second user time and 13.236 second system time The end
Begin job on node112 at 2016-06-06 22:02:05 IDJOB=4085450 IDBENCH=2896 IDSOLVER=2546 FILE ID=node112/4085450-1465243325 RUNJOBID= node112-1465218300-31160 PBS_JOBID= 19843211 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085450-1465243325/watcher-4085450-1465243325 -o /tmp/evaluation-result-4085450-1465243325/solver-4085450-1465243325 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085450-1465243325.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040 RANDOM SEED=1537974062 node112.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.783 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 : 5333.56 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.783 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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 : 5332.55 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.783 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 : 5332.56 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.783 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 : 5332.54 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.783 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 : 5332.72 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.783 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 : 5332.55 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.783 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31099512 kB Buffers: 31588 kB Cached: 100080 kB SwapCached: 1620 kB Active: 262936 kB Inactive: 71768 kB Active(anon): 205084 kB Inactive(anon): 564 kB Active(file): 57852 kB Inactive(file): 71204 kB Unevictable: 737972 kB Mlocked: 12352 kB SwapTotal: 67108856 kB SwapFree: 67098572 kB Dirty: 808 kB Writeback: 0 kB AnonPages: 940312 kB Mapped: 15256 kB Shmem: 0 kB Slab: 566640 kB SReclaimable: 10204 kB SUnreclaim: 556436 kB KernelStack: 1600 kB PageTables: 6204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1412648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 915456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node112 at 2016-06-06 22:32:05