Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | ? (TO) | 1802.32 | 946.229 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 47.4058 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.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 ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 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 Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 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 phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3688476-1337877867.opb 0.09/0.11 c reading problem ... 1.07/0.51 c ... done. Wall clock time 0.394s. 1.07/0.51 c declared #vars 5499 1.07/0.51 c #constraints 19319 1.07/0.51 c constraints type 1.07/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1.07/0.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.07/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1.07/0.51 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1.07/0.51 c 19319 constraints processed. 1.07/0.51 c constraints type 1.07/0.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 1.07/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 1.07/0.51 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.07/0.51 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1.07/0.51 c 19319 constraints processed. 1.07/0.51 c objective function length is 613 literals 1.07/0.59 c And the winner is solver0 1.80/1.01 c SATISFIABLE 1.80/1.01 c OPTIMIZING... 1.80/1.01 c Got one! Elapsed wall clock time (in seconds):0.898 1.80/1.01 o 27 1.80/1.05 c And the winner is solver0 2.00/1.52 c Got one! Elapsed wall clock time (in seconds):1.405 2.00/1.52 o 26 6.24/3.30 c cleaning 2497 clauses out of 5024 with flag 5001/5024 10.49/5.35 c cleaning 4258 clauses out of 8526 with flag 11000/11023 14.87/7.52 c cleaning 5615 clauses out of 11269 with flag 18001/18024 20.57/10.32 c cleaning 6818 clauses out of 13653 with flag 26000/26023 21.48/10.83 c And the winner is solver1 21.58/11.02 c Got one! Elapsed wall clock time (in seconds):10.91 21.58/11.02 o 25 23.97/12.27 c cleaning 6075 clauses out of 12149 with flag 4002/31337 28.10/14.31 c cleaning 6024 clauses out of 12072 with flag 10000/37335 33.01/16.85 c cleaning 6516 clauses out of 13048 with flag 17000/44335 38.72/19.76 c cleaning 7264 clauses out of 14533 with flag 25001/52336 44.93/22.99 c cleaning 8128 clauses out of 16271 with flag 34003/61338 52.05/26.51 c cleaning 9065 clauses out of 18140 with flag 44000/71335 58.53/29.83 c And the winner is solver1 58.59/30.22 c Got one! Elapsed wall clock time (in seconds):30.107 58.59/30.22 o 24 61.60/31.72 c cleaning 11627 clauses out of 23257 with flag 5000/85517 65.64/33.88 c cleaning 8800 clauses out of 17630 with flag 11000/91517 70.88/36.62 c cleaning 7902 clauses out of 15830 with flag 18000/98517 76.67/39.66 c cleaning 7964 clauses out of 15929 with flag 26001/106518 83.63/43.22 c cleaning 8459 clauses out of 16964 with flag 35000/115517 91.39/47.26 c cleaning 9247 clauses out of 18505 with flag 45000/125517 100.21/51.88 c cleaning 10102 clauses out of 20258 with flag 56000/136517 110.21/56.90 c cleaning 11066 clauses out of 22157 with flag 68001/148518 118.97/61.46 c cleaning 12043 clauses out of 24090 with flag 81000/161517 128.74/66.50 c cleaning 13024 clauses out of 26047 with flag 95000/175517 140.03/72.31 c cleaning 14000 clauses out of 28025 with flag 110002/190519 150.90/77.90 c cleaning 15004 clauses out of 30023 with flag 126000/206517 163.19/84.21 c cleaning 16004 clauses out of 32019 with flag 143000/223517 176.66/91.12 c cleaning 16976 clauses out of 34015 with flag 161000/241517 181.14/93.77 c And the winner is solver1 181.30/93.93 c Got one! Elapsed wall clock time (in seconds):93.82 181.30/93.93 o 23 182.03/94.30 c cleaning 11472 clauses out of 22951 with flag 1000/247429 186.77/96.92 c cleaning 8739 clauses out of 17479 with flag 7000/253429 192.12/99.84 c cleaning 7864 clauses out of 15741 with flag 14001/260430 198.30/103.14 c cleaning 7927 clauses out of 15876 with flag 22000/268429 205.32/107.07 c cleaning 8464 clauses out of 16949 with flag 31000/277429 212.86/111.02 c cleaning 9240 clauses out of 18485 with flag 41000/287429 220.12/114.98 c cleaning 10110 clauses out of 20246 with flag 52001/298430 229.19/119.76 c cleaning 11054 clauses out of 22136 with flag 64001/310430 239.27/125.27 c cleaning 12041 clauses out of 24081 with flag 77000/323429 249.84/131.18 c cleaning 13009 clauses out of 26040 with flag 91000/337429 261.43/137.17 c cleaning 13993 clauses out of 28031 with flag 106000/352429 274.06/143.94 c cleaning 15012 clauses out of 30038 with flag 122000/368429 287.44/150.90 c cleaning 16009 clauses out of 32027 with flag 139001/385430 300.22/157.66 c cleaning 16994 clauses out of 34017 with flag 157000/403429 313.35/164.51 c cleaning 17972 clauses out of 36023 with flag 176000/422429 328.47/172.70 c cleaning 19010 clauses out of 38052 with flag 196001/442430 345.24/181.33 c cleaning 20018 clauses out of 40041 with flag 217000/463429 364.65/191.38 c cleaning 21003 clauses out of 42026 with flag 239003/485432 380.62/199.77 c cleaning 21985 clauses out of 44020 with flag 262000/508429 399.65/209.95 c cleaning 23010 clauses out of 46035 with flag 286000/532429 419.38/220.27 c cleaning 24007 clauses out of 48025 with flag 311000/557429 438.64/230.39 c cleaning 24988 clauses out of 50018 with flag 337000/583429 458.30/240.60 c cleaning 26017 clauses out of 52037 with flag 364007/610436 479.54/252.07 c cleaning 26986 clauses out of 54013 with flag 392000/638429 504.06/264.72 c cleaning 28000 clauses out of 56027 with flag 421000/667429 532.03/279.75 c cleaning 28987 clauses out of 58027 with flag 451000/697429 556.07/292.66 c cleaning 30009 clauses out of 60040 with flag 482000/728429 580.55/305.46 c cleaning 30983 clauses out of 62031 with flag 514000/760429 607.23/319.38 c cleaning 32005 clauses out of 64048 with flag 547000/793429 636.14/334.39 c cleaning 32995 clauses out of 66043 with flag 581000/827429 665.43/349.90 c cleaning 34003 clauses out of 68048 with flag 616000/862429 690.69/363.14 c cleaning 0 clauses out of 6473 with flag 0/6473 695.47/366.07 c cleaning 34995 clauses out of 70045 with flag 652000/898429 724.53/381.11 c cleaning 36000 clauses out of 72050 with flag 689000/935429 756.89/398.31 c cleaning 37008 clauses out of 74050 with flag 727000/973429 789.54/415.21 c cleaning 38007 clauses out of 76044 with flag 766002/1012431 821.69/431.81 c cleaning 38986 clauses out of 78035 with flag 806000/1052429 855.87/449.40 c cleaning 40005 clauses out of 80049 with flag 847000/1093429 890.14/467.66 c cleaning 41021 clauses out of 82044 with flag 889000/1135429 923.49/484.97 c cleaning 42000 clauses out of 84023 with flag 932000/1178429 959.06/503.34 c cleaning 42997 clauses out of 86023 with flag 976000/1222429 997.55/523.14 c cleaning 43990 clauses out of 88026 with flag 1021000/1267429 1036.81/543.99 c cleaning 44933 clauses out of 90036 with flag 1067000/1313429 1071.39/561.98 c cleaning 46035 clauses out of 92103 with flag 1114000/1360429 1108.93/581.41 c cleaning 47017 clauses out of 94070 with flag 1162002/1408431 1145.17/600.30 c cleaning 47992 clauses out of 96051 with flag 1211000/1457429 1182.79/620.43 c cleaning 48978 clauses out of 98059 with flag 1261000/1507429 1219.12/639.38 c cleaning 49974 clauses out of 100081 with flag 1312000/1558429 1260.63/660.86 c cleaning 51034 clauses out of 102107 with flag 1364000/1610429 1306.20/684.49 c cleaning 52026 clauses out of 104073 with flag 1417000/1663429 1354.33/710.91 c cleaning 52976 clauses out of 106047 with flag 1471000/1717429 1396.98/733.15 c cleaning 54012 clauses out of 108071 with flag 1526000/1772429 1443.26/757.14 c cleaning 55011 clauses out of 110059 with flag 1582000/1828429 1491.89/783.15 c cleaning 56015 clauses out of 112048 with flag 1639000/1885429 1539.68/808.06 c cleaning 57002 clauses out of 114033 with flag 1697000/1943429 1591.52/834.97 c cleaning 58007 clauses out of 116031 with flag 1756000/2002429 1645.23/862.76 c cleaning 59008 clauses out of 118024 with flag 1816000/2062429 1694.86/889.47 c cleaning 59981 clauses out of 120016 with flag 1877000/2123429 1745.76/915.99 c cleaning 61002 clauses out of 122035 with flag 1939000/2185429 1799.33/943.82 c cleaning 62017 clauses out of 124033 with flag 2002000/2248429
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688476-1337877867/watcher-3688476-1337877867 -o /tmp/evaluation-result-3688476-1337877867/solver-3688476-1337877867 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688476-1337877867.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.11 4.04 3.90 4/197 32549 /proc/meminfo: memFree=29053196/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/32549/stat : 32549 (java) D 32547 32549 30487 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253912189 9515008 182 33554432000 1073741824 1073778376 140737443887504 140737443878536 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/32549/statm: 2323 182 140 9 0 71 0 [startup+0.0964631 s] /proc/loadavg: 4.11 4.04 3.90 4/197 32549 /proc/meminfo: memFree=29053196/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9558412 CPUtime=0.08 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 4305 0 1 0 8 0 0 0 20 0 18 0 253912189 9787813888 5489 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2389603 5489 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.100187 s] /proc/loadavg: 4.11 4.04 3.90 4/197 32549 /proc/meminfo: memFree=29053196/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 4330 0 1 0 9 0 0 0 20 0 18 0 253912189 9787813888 5514 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2389603 5514 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.30022 s] /proc/loadavg: 4.11 4.04 3.90 4/197 32549 /proc/meminfo: memFree=29053196/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9558412 CPUtime=0.49 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 5607 0 1 0 48 1 0 0 20 0 18 0 253912189 9787813888 8411 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2389603 8411 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.70023 s] /proc/loadavg: 4.11 4.04 3.90 4/197 32549 /proc/meminfo: memFree=29053196/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9824668 CPUtime=1.65 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 14583 0 1 0 161 4 0 0 20 0 19 0 253912189 10060460032 24345 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2456167 24345 2251 9 0 2446860 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 9824668 [startup+1.50063 s] /proc/loadavg: 3.94 4.01 3.89 3/216 32571 /proc/meminfo: memFree=28963544/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9824668 CPUtime=2 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 14600 0 1 0 193 7 0 0 20 0 19 0 253912189 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2456167 26911 2256 9 0 2446860 0 [pid=32549/tid=32551] ppid=32547 vsize=9824668 CPUtime=0.48 cores=1,3,5,7 /proc/32549/task/32551/stat : 32551 (java) S 32547 32549 30487 0 -1 4202560 2477 0 1 0 47 1 0 0 20 0 19 0 253912190 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636580783096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32552] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32552/stat : 32552 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636569844136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32553] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32553/stat : 32553 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636568791592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32554] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32554/stat : 32554 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636422424744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32555] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32555/stat : 32555 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636421372200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32556] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32556/stat : 32556 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636420320168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32557] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32557/stat : 32557 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636419267624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32558] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32558/stat : 32558 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636418214568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32559] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32559/stat : 32559 (java) S 32547 32549 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253912191 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636417162024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32560] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32560/stat : 32560 (java) S 32547 32549 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253912192 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636404963688 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32561] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32561/stat : 32561 (java) S 32547 32549 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253912193 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636403910008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32562] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32562/stat : 32562 (java) S 32547 32549 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253912193 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636402856840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32563] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32563/stat : 32563 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912195 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636401805584 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32564] ppid=32547 vsize=9824668 CPUtime=0.61 cores=1,3,5,7 /proc/32549/task/32564/stat : 32564 (java) S 32547 32549 30487 0 -1 4202560 5402 0 0 0 61 0 0 0 20 0 19 0 253912195 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636400753464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32565] ppid=32547 vsize=9824668 CPUtime=0.6 cores=1,3,5,7 /proc/32549/task/32565/stat : 32565 (java) S 32547 32549 30487 0 -1 4202560 5415 0 0 0 60 0 0 0 20 0 19 0 253912195 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636399700920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32566] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32566/stat : 32566 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912195 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636398648056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32567] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32567/stat : 32567 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253912195 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636397595720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32571] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32571/stat : 32571 (java) S 32547 32549 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253912243 10060460032 26911 33554432000 1073741824 1073778376 140733934394368 139636393382824 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 9824668 [startup+3.10067 s] /proc/loadavg: 3.94 4.01 3.89 5/219 32577 /proc/meminfo: memFree=28917968/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9824668 CPUtime=5.99 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 16704 0 1 0 589 10 0 0 20 0 22 0 253912189 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2456167 46921 2275 9 0 2446860 0 [pid=32549/tid=32551] ppid=32547 vsize=9824668 CPUtime=0.49 cores=1,3,5,7 /proc/32549/task/32551/stat : 32551 (java) S 32547 32549 30487 0 -1 4202560 2477 0 1 0 48 1 0 0 20 0 22 0 253912190 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636580783096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32552] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32552/stat : 32552 (java) S 32547 32549 30487 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636569844136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32553] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32553/stat : 32553 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636568791592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32554] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32554/stat : 32554 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636422424744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32555] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32555/stat : 32555 (java) S 32547 32549 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636421372200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32556] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32556/stat : 32556 (java) S 32547 32549 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636420320168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32557] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32557/stat : 32557 (java) S 32547 32549 30487 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636419267624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32558] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32558/stat : 32558 (java) S 32547 32549 30487 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636418214568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32559] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32559/stat : 32559 (java) S 32547 32549 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636417162024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32560] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32560/stat : 32560 (java) S 32547 32549 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253912192 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636404963688 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32561] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32561/stat : 32561 (java) S 32547 32549 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636403910008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32562] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32562/stat : 32562 (java) S 32547 32549 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636402856840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32563] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32563/stat : 32563 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636401805584 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32564] ppid=32547 vsize=9824668 CPUtime=0.98 cores=1,3,5,7 /proc/32549/task/32564/stat : 32564 (java) S 32547 32549 30487 0 -1 4202560 5407 0 0 0 98 0 0 0 20 0 22 0 253912195 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636400753464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32565] ppid=32547 vsize=9824668 CPUtime=1.05 cores=1,3,5,7 /proc/32549/task/32565/stat : 32565 (java) S 32547 32549 30487 0 -1 4202560 7419 0 0 0 104 1 0 0 20 0 22 0 253912195 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636399700920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32566] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32566/stat : 32566 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636398648056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32567] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32567/stat : 32567 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636397595720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32571] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32571/stat : 32571 (java) S 32547 32549 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253912243 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636393382824 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32575] ppid=32547 vsize=9824668 CPUtime=1.53 cores=1,3,5,7 /proc/32549/task/32575/stat : 32575 (java) R 32547 32549 30487 0 -1 4202560 5 0 0 0 153 0 0 0 20 0 22 0 253912342 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636396539760 139636450946527 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32576] ppid=32547 vsize=9824668 CPUtime=1.54 cores=1,3,5,7 /proc/32549/task/32576/stat : 32576 (java) R 32547 32549 30487 0 -1 4202560 44 0 0 0 152 2 0 0 20 0 22 0 253912342 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636395487224 139636451129579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32577] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32577/stat : 32577 (java) S 32547 32549 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912342 10060460032 46921 33554432000 1073741824 1073778376 140733934394368 139636394435752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 5.99 Current children cumulated vsize (KiB) 9824668 [startup+6.30072 s] /proc/loadavg: 3.94 4.01 3.89 4/219 32577 /proc/meminfo: memFree=28840104/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9824668 CPUtime=12.45 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 16792 0 1 0 1232 13 0 0 20 0 22 0 253912189 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2456167 56491 2287 9 0 2446860 0 [pid=32549/tid=32551] ppid=32547 vsize=9824668 CPUtime=0.49 cores=1,3,5,7 /proc/32549/task/32551/stat : 32551 (java) S 32547 32549 30487 0 -1 4202560 2477 0 1 0 48 1 0 0 20 0 22 0 253912190 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636580783096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32552] ppid=32547 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/32549/task/32552/stat : 32552 (java) S 32547 32549 30487 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636569844136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32553] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32553/stat : 32553 (java) S 32547 32549 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636568791592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32554] ppid=32547 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/32549/task/32554/stat : 32554 (java) S 32547 32549 30487 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636422424744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32555] ppid=32547 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/32549/task/32555/stat : 32555 (java) S 32547 32549 30487 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636421372200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32556] ppid=32547 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/32549/task/32556/stat : 32556 (java) S 32547 32549 30487 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636420320168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32557] ppid=32547 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/32549/task/32557/stat : 32557 (java) S 32547 32549 30487 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636419267624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32558] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32558/stat : 32558 (java) S 32547 32549 30487 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636418214568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32559] ppid=32547 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/32549/task/32559/stat : 32559 (java) S 32547 32549 30487 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253912191 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636417162024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32560] ppid=32547 vsize=9824668 CPUtime=0.12 cores=1,3,5,7 /proc/32549/task/32560/stat : 32560 (java) S 32547 32549 30487 0 -1 4202560 41 0 0 0 12 0 0 0 20 0 22 0 253912192 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636404963688 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32561] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32561/stat : 32561 (java) S 32547 32549 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636403910008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32562] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32562/stat : 32562 (java) S 32547 32549 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636402856840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32563] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32563/stat : 32563 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636401805584 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32564] ppid=32547 vsize=9824668 CPUtime=1.04 cores=1,3,5,7 /proc/32549/task/32564/stat : 32564 (java) S 32547 32549 30487 0 -1 4202560 5412 0 0 0 104 0 0 0 20 0 22 0 253912195 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636400753464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32565] ppid=32547 vsize=9824668 CPUtime=1.12 cores=1,3,5,7 /proc/32549/task/32565/stat : 32565 (java) S 32547 32549 30487 0 -1 4202560 7423 0 0 0 111 1 0 0 20 0 22 0 253912195 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636399700920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32566] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32566/stat : 32566 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636398648056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32567] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32567/stat : 32567 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 56491 33554432000 1073741824 1073778376 140733934394368 139636397595720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=32549/tid=32585] ppid=32547 vsize=9824668 CPUtime=738.54 cores=1,3,5,7 /proc/32549/task/32585/stat : 32585 (java) S 32547 32549 30487 0 -1 4202560 120 0 0 0 73840 14 0 0 20 0 22 0 253921583 10060460032 630838 33554432000 1073741824 1073778376 140733934394368 139636393382360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32586] ppid=32547 vsize=9824668 CPUtime=738.53 cores=1,3,5,7 /proc/32549/task/32586/stat : 32586 (java) S 32547 32549 30487 0 -1 4202560 389 0 0 0 73836 17 0 0 20 0 22 0 253921583 10060460032 630838 33554432000 1073741824 1073778376 140733934394368 139636396538632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32587] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32587/stat : 32587 (java) S 32547 32549 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253921583 10060460032 630838 33554432000 1073741824 1073778376 140733934394368 139636395488040 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -32549 Solver just ended. Dumping a history of the last processes samples [startup+945.401 s] /proc/loadavg: 4.68 4.11 3.96 4/221 32679 /proc/meminfo: memFree=23643708/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9824668 CPUtime=1801.23 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 31245 0 1 0 179941 182 0 0 20 0 22 0 253912189 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2456167 630870 2288 9 0 2446860 0 [pid=32549/tid=32551] ppid=32547 vsize=9824668 CPUtime=0.54 cores=1,3,5,7 /proc/32549/task/32551/stat : 32551 (java) S 32547 32549 30487 0 -1 4202560 2543 0 1 0 51 3 0 0 20 0 22 0 253912190 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636580782808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32552] ppid=32547 vsize=9824668 CPUtime=5.4 cores=1,3,5,7 /proc/32549/task/32552/stat : 32552 (java) S 32547 32549 30487 0 -1 4202560 980 0 0 0 529 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636569844136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32553] ppid=32547 vsize=9824668 CPUtime=5.48 cores=1,3,5,7 /proc/32549/task/32553/stat : 32553 (java) S 32547 32549 30487 0 -1 4202560 875 0 0 0 537 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636568791592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32554] ppid=32547 vsize=9824668 CPUtime=5.28 cores=1,3,5,7 /proc/32549/task/32554/stat : 32554 (java) S 32547 32549 30487 0 -1 4202560 741 0 0 0 518 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636422424744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32555] ppid=32547 vsize=9824668 CPUtime=5.51 cores=1,3,5,7 /proc/32549/task/32555/stat : 32555 (java) S 32547 32549 30487 0 -1 4202560 581 0 0 0 539 12 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636421372200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32556] ppid=32547 vsize=9824668 CPUtime=5.35 cores=1,3,5,7 /proc/32549/task/32556/stat : 32556 (java) S 32547 32549 30487 0 -1 4202560 976 0 0 0 523 12 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636420320168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32557] ppid=32547 vsize=9824668 CPUtime=5.18 cores=1,3,5,7 /proc/32549/task/32557/stat : 32557 (java) S 32547 32549 30487 0 -1 4202560 706 0 0 0 507 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636419267624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32558] ppid=32547 vsize=9824668 CPUtime=5.52 cores=1,3,5,7 /proc/32549/task/32558/stat : 32558 (java) S 32547 32549 30487 0 -1 4202560 785 0 0 0 542 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636418214568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32559] ppid=32547 vsize=9824668 CPUtime=5.32 cores=1,3,5,7 /proc/32549/task/32559/stat : 32559 (java) S 32547 32549 30487 0 -1 4202560 1201 0 0 0 522 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636417162024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32560] ppid=32547 vsize=9824668 CPUtime=109.1 cores=1,3,5,7 /proc/32549/task/32560/stat : 32560 (java) R 32547 32549 30487 0 -1 4202560 5427 0 0 0 10868 42 0 0 20 0 22 0 253912192 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636404962344 139636587637094 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32561] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32561/stat : 32561 (java) S 32547 32549 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636403910008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32562] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32562/stat : 32562 (java) S 32547 32549 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636402856840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32563] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32563/stat : 32563 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636401805128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32564] ppid=32547 vsize=9824668 CPUtime=1.29 cores=1,3,5,7 /proc/32549/task/32564/stat : 32564 (java) S 32547 32549 30487 0 -1 4202560 5414 0 0 0 129 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636400753464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32565] ppid=32547 vsize=9824668 CPUtime=1.76 cores=1,3,5,7 /proc/32549/task/32565/stat : 32565 (java) S 32547 32549 30487 0 -1 4202560 8802 0 0 0 174 2 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636399700920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32566] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32566/stat : 32566 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636398648056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32567] ppid=32547 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/32549/task/32567/stat : 32567 (java) S 32547 32549 30487 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636397595720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32577] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32577/stat : 32577 (java) S 32547 32549 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912342 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636394435752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32585] ppid=32547 vsize=9824668 CPUtime=738.54 cores=1,3,5,7 /proc/32549/task/32585/stat : 32585 (java) S 32547 32549 30487 0 -1 4202560 120 0 0 0 73840 14 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636393382360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32586] ppid=32547 vsize=9824668 CPUtime=738.53 cores=1,3,5,7 /proc/32549/task/32586/stat : 32586 (java) S 32547 32549 30487 0 -1 4202560 389 0 0 0 73836 17 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636396538632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32587] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32587/stat : 32587 (java) S 32547 32549 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636395488040 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1801.23 Current children cumulated vsize (KiB) 9824668 [startup+945.801 s] /proc/loadavg: 4.68 4.11 3.96 4/221 32679 /proc/meminfo: memFree=23643708/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9824668 CPUtime=1801.63 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 31245 0 1 0 179981 182 0 0 20 0 22 0 253912189 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2456167 630870 2288 9 0 2446860 0 [pid=32549/tid=32551] ppid=32547 vsize=9824668 CPUtime=0.54 cores=1,3,5,7 /proc/32549/task/32551/stat : 32551 (java) S 32547 32549 30487 0 -1 4202560 2543 0 1 0 51 3 0 0 20 0 22 0 253912190 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636580782808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32552] ppid=32547 vsize=9824668 CPUtime=5.4 cores=1,3,5,7 /proc/32549/task/32552/stat : 32552 (java) S 32547 32549 30487 0 -1 4202560 980 0 0 0 529 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636569844136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32553] ppid=32547 vsize=9824668 CPUtime=5.48 cores=1,3,5,7 /proc/32549/task/32553/stat : 32553 (java) S 32547 32549 30487 0 -1 4202560 875 0 0 0 537 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636568791592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32554] ppid=32547 vsize=9824668 CPUtime=5.28 cores=1,3,5,7 /proc/32549/task/32554/stat : 32554 (java) S 32547 32549 30487 0 -1 4202560 741 0 0 0 518 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636422424744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32555] ppid=32547 vsize=9824668 CPUtime=5.51 cores=1,3,5,7 /proc/32549/task/32555/stat : 32555 (java) S 32547 32549 30487 0 -1 4202560 581 0 0 0 539 12 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636421372200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32556] ppid=32547 vsize=9824668 CPUtime=5.35 cores=1,3,5,7 /proc/32549/task/32556/stat : 32556 (java) S 32547 32549 30487 0 -1 4202560 976 0 0 0 523 12 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636420320168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32557] ppid=32547 vsize=9824668 CPUtime=5.18 cores=1,3,5,7 /proc/32549/task/32557/stat : 32557 (java) S 32547 32549 30487 0 -1 4202560 706 0 0 0 507 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636419267624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32558] ppid=32547 vsize=9824668 CPUtime=5.52 cores=1,3,5,7 /proc/32549/task/32558/stat : 32558 (java) S 32547 32549 30487 0 -1 4202560 785 0 0 0 542 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636418214568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32559] ppid=32547 vsize=9824668 CPUtime=5.32 cores=1,3,5,7 /proc/32549/task/32559/stat : 32559 (java) S 32547 32549 30487 0 -1 4202560 1201 0 0 0 522 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636417162024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32560] ppid=32547 vsize=9824668 CPUtime=109.5 cores=1,3,5,7 /proc/32549/task/32560/stat : 32560 (java) R 32547 32549 30487 0 -1 4202560 5427 0 0 0 10908 42 0 0 20 0 22 0 253912192 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636404962344 139636587638045 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32561] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32561/stat : 32561 (java) S 32547 32549 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636403910008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32562] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32562/stat : 32562 (java) S 32547 32549 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636402856840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32563] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32563/stat : 32563 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636401805128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32564] ppid=32547 vsize=9824668 CPUtime=1.29 cores=1,3,5,7 /proc/32549/task/32564/stat : 32564 (java) S 32547 32549 30487 0 -1 4202560 5414 0 0 0 129 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636400753464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32565] ppid=32547 vsize=9824668 CPUtime=1.76 cores=1,3,5,7 /proc/32549/task/32565/stat : 32565 (java) S 32547 32549 30487 0 -1 4202560 8802 0 0 0 174 2 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636399700920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32566] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32566/stat : 32566 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636398648056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32567] ppid=32547 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/32549/task/32567/stat : 32567 (java) S 32547 32549 30487 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636397595720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32577] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32577/stat : 32577 (java) S 32547 32549 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912342 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636394435752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32585] ppid=32547 vsize=9824668 CPUtime=738.54 cores=1,3,5,7 /proc/32549/task/32585/stat : 32585 (java) S 32547 32549 30487 0 -1 4202560 120 0 0 0 73840 14 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636393382360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32586] ppid=32547 vsize=9824668 CPUtime=738.53 cores=1,3,5,7 /proc/32549/task/32586/stat : 32586 (java) S 32547 32549 30487 0 -1 4202560 389 0 0 0 73836 17 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636396538632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32587] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32587/stat : 32587 (java) S 32547 32549 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636395488040 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 9824668 [startup+946.201 s] /proc/loadavg: 4.68 4.11 3.96 4/221 32679 /proc/meminfo: memFree=23643708/32873648 swapFree=7104/7104 [pid=32549] ppid=32547 vsize=9824668 CPUtime=1802.03 cores=1,3,5,7 /proc/32549/stat : 32549 (java) S 32547 32549 30487 0 -1 4202496 31245 0 1 0 180021 182 0 0 20 0 22 0 253912189 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 140733934385504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/32549/statm: 2456167 630870 2288 9 0 2446860 0 [pid=32549/tid=32551] ppid=32547 vsize=9824668 CPUtime=0.54 cores=1,3,5,7 /proc/32549/task/32551/stat : 32551 (java) S 32547 32549 30487 0 -1 4202560 2543 0 1 0 51 3 0 0 20 0 22 0 253912190 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636580782808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32552] ppid=32547 vsize=9824668 CPUtime=5.4 cores=1,3,5,7 /proc/32549/task/32552/stat : 32552 (java) S 32547 32549 30487 0 -1 4202560 980 0 0 0 529 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636569844136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32553] ppid=32547 vsize=9824668 CPUtime=5.48 cores=1,3,5,7 /proc/32549/task/32553/stat : 32553 (java) S 32547 32549 30487 0 -1 4202560 875 0 0 0 537 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636568791592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32554] ppid=32547 vsize=9824668 CPUtime=5.28 cores=1,3,5,7 /proc/32549/task/32554/stat : 32554 (java) S 32547 32549 30487 0 -1 4202560 741 0 0 0 518 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636422424744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32555] ppid=32547 vsize=9824668 CPUtime=5.51 cores=1,3,5,7 /proc/32549/task/32555/stat : 32555 (java) S 32547 32549 30487 0 -1 4202560 581 0 0 0 539 12 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636421372200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32556] ppid=32547 vsize=9824668 CPUtime=5.35 cores=1,3,5,7 /proc/32549/task/32556/stat : 32556 (java) S 32547 32549 30487 0 -1 4202560 976 0 0 0 523 12 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636420320168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32557] ppid=32547 vsize=9824668 CPUtime=5.18 cores=1,3,5,7 /proc/32549/task/32557/stat : 32557 (java) S 32547 32549 30487 0 -1 4202560 706 0 0 0 507 11 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636419267624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32558] ppid=32547 vsize=9824668 CPUtime=5.52 cores=1,3,5,7 /proc/32549/task/32558/stat : 32558 (java) S 32547 32549 30487 0 -1 4202560 785 0 0 0 542 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636418214568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32559] ppid=32547 vsize=9824668 CPUtime=5.32 cores=1,3,5,7 /proc/32549/task/32559/stat : 32559 (java) S 32547 32549 30487 0 -1 4202560 1201 0 0 0 522 10 0 0 20 0 22 0 253912191 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636417162024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32560] ppid=32547 vsize=9824668 CPUtime=109.9 cores=1,3,5,7 /proc/32549/task/32560/stat : 32560 (java) R 32547 32549 30487 0 -1 4202560 5427 0 0 0 10948 42 0 0 20 0 22 0 253912192 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636404962344 139636587290684 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32561] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32561/stat : 32561 (java) S 32547 32549 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636403910008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32562] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32562/stat : 32562 (java) S 32547 32549 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253912193 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636402856840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32549/tid=32563] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32563/stat : 32563 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636401805128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32549/tid=32564] ppid=32547 vsize=9824668 CPUtime=1.29 cores=1,3,5,7 /proc/32549/task/32564/stat : 32564 (java) S 32547 32549 30487 0 -1 4202560 5414 0 0 0 129 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636400753464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32565] ppid=32547 vsize=9824668 CPUtime=1.76 cores=1,3,5,7 /proc/32549/task/32565/stat : 32565 (java) S 32547 32549 30487 0 -1 4202560 8802 0 0 0 174 2 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636399700920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32566] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32566/stat : 32566 (java) S 32547 32549 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636398648056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32567] ppid=32547 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/32549/task/32567/stat : 32567 (java) S 32547 32549 30487 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 253912195 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636397595720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32577] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32577/stat : 32577 (java) S 32547 32549 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253912342 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636394435752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32585] ppid=32547 vsize=9824668 CPUtime=738.54 cores=1,3,5,7 /proc/32549/task/32585/stat : 32585 (java) S 32547 32549 30487 0 -1 4202560 120 0 0 0 73840 14 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636393382360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32549/tid=32586] ppid=32547 vsize=9824668 CPUtime=738.53 cores=1,3,5,7 /proc/32549/task/32586/stat : 32586 (java) S 32547 32549 30487 0 -1 4202560 389 0 0 0 73836 17 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636396538632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32549/tid=32587] ppid=32547 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/32549/task/32587/stat : 32587 (java) S 32547 32549 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253921583 10060460032 630870 33554432000 1073741824 1073778376 140733934394368 139636395488040 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 9824668 Child ended because it received signal 9 (SIGKILL) Real time (s): 946.229 CPU time (s): 1802.32 CPU user time (s): 1800.12 CPU system time (s): 2.20067 CPU usage (%): 190.474 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.12 system time used= 2.20066 maximum resident set size= 2523480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31245 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30544 involuntary context switches= 67810 runsolver used 1.9687 second user time and 4.35934 second system time The end
Begin job on node127 at 2012-05-24 18:44:27 IDJOB=3688476 IDBENCH=25021 IDSOLVER=2268 FILE ID=node127/3688476-1337877867 RUNJOBID= node127-1337871880-30504 PBS_JOBID= 14620077 Free space on /tmp= 71668 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688476-1337877867/watcher-3688476-1337877867 -o /tmp/evaluation-result-3688476-1337877867/solver-3688476-1337877867 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688476-1337877867.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1171761471 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29053576 kB Buffers: 236208 kB Cached: 2373136 kB SwapCached: 0 kB Active: 806944 kB Inactive: 2206900 kB Active(anon): 406996 kB Inactive(anon): 0 kB Active(file): 399948 kB Inactive(file): 2206900 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 441752 kB Mapped: 22544 kB Shmem: 200 kB Slab: 638044 kB SReclaimable: 82344 kB SUnreclaim: 555700 kB KernelStack: 1624 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 830440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 380928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node127 at 2012-05-24 19:00:14