Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | ? (TO) | 1803.26 | 940.682 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 158d85b2efcaf56eab2db834482aadfb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16224 |
Total number of constraints | 1488 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 10368 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180197911475330400 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180197911475330400 |
Number of bits of the biggest sum of numbers | 58 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.15 c See www.sat4j.org for details. 0.08/0.16 c version 2.2.0.v20100531 0.08/0.16 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.16 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.16 c java.vm.version 11.2-b01 0.08/0.16 c java.vm.vendor Sun Microsystems Inc. 0.08/0.16 c sun.arch.data.model 32 0.08/0.16 c java.version 1.6.0_12 0.08/0.16 c os.name Linux 0.08/0.16 c os.version 2.6.18-164.el5 0.08/0.16 c os.arch i386 0.08/0.16 c Free memory 1393557488 0.08/0.16 c Max memory 1395916800 0.08/0.16 c Total memory 1395916800 0.08/0.16 c Number of processors 2 0.22/0.23 c Pseudo Boolean Optimization 0.22/0.23 c ManyCore solver with 2 solvers running in parallel 0.22/0.23 c --- Begin Solver configuration --- 0.22/0.23 c Stops conflict analysis at the first Unique Implication Point 0.22/0.23 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.22/0.23 c Learn all clauses as in MiniSAT 0.22/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.23 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.23 c Expensive reason simplification 0.22/0.23 c Armin Biere (Picosat) restarts strategy 0.22/0.23 c Glucose learned constraints deletion strategy 0.22/0.23 c timeout=2147483s 0.22/0.23 c DB Simplification allowed=false 0.22/0.23 c --- End Solver configuration --- 0.22/0.23 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.23 c --- Begin Solver configuration --- 0.22/0.23 c Stops conflict analysis at the first Unique Implication Point 0.22/0.23 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.22/0.23 c Learn all clauses as in MiniSAT 0.22/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.23 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.23 c No reason simplification 0.22/0.23 c Armin Biere (Picosat) restarts strategy 0.22/0.23 c Glucose learned constraints deletion strategy 0.22/0.23 c timeout=2147483s 0.22/0.23 c DB Simplification allowed=false 0.22/0.23 c --- End Solver configuration --- 0.22/0.23 0.22/0.23 c solving HOME/instance-2662202-1276570113.opb 0.22/0.23 c reading problem ... 2.67/1.65 c ... done. Wall clock time 1.422s. 2.67/1.65 c #vars 16224 2.67/1.65 c #constraints 8415 2.67/1.65 c constraints type 2.67/1.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144 2.67/1.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 240 2.67/1.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1224 2.67/1.65 c constraints type 2.67/1.65 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 240 2.67/1.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144 2.67/1.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1224 14.29/7.58 c cleaning 2501 clauses out of 5002 with flag 5002/5002 21.90/11.45 c cleaning 4250 clauses out of 8500 with flag 11001/11001 30.69/15.96 c cleaning 5625 clauses out of 11250 with flag 18001/18001 40.66/21.06 c cleaning 6812 clauses out of 13625 with flag 26001/26001 52.95/27.30 c cleaning 7906 clauses out of 15811 with flag 35000/35000 70.64/36.32 c cleaning 8947 clauses out of 17905 with flag 45000/45000 88.27/45.35 c cleaning 9471 clauses out of 18959 with flag 55001/55001 104.94/53.86 c cleaning 9736 clauses out of 19487 with flag 65000/65000 115.97/59.54 c cleaning 9872 clauses out of 19752 with flag 75001/75001 127.84/65.66 c cleaning 9931 clauses out of 19880 with flag 85001/85001 138.33/71.03 c cleaning 9973 clauses out of 19950 with flag 95002/95002 148.01/76.09 c cleaning 9982 clauses out of 19976 with flag 105001/105001 157.84/81.12 c cleaning 9994 clauses out of 19993 with flag 115000/115000 168.13/86.47 c cleaning 9999 clauses out of 19999 with flag 125000/125000 179.80/92.43 c cleaning 9994 clauses out of 20000 with flag 135001/135001 189.46/97.45 c cleaning 9995 clauses out of 20005 with flag 145000/145000 199.67/102.77 c cleaning 10002 clauses out of 20012 with flag 155002/155002 210.91/108.53 c cleaning 10001 clauses out of 20009 with flag 165001/165001 221.36/113.91 c cleaning 9995 clauses out of 20007 with flag 175000/175000 231.41/119.11 c cleaning 10004 clauses out of 20013 with flag 185001/185001 241.01/124.17 c cleaning 10004 clauses out of 20007 with flag 195000/195000 253.44/130.56 c cleaning 10002 clauses out of 20004 with flag 205001/205001 270.04/139.08 c cleaning 9990 clauses out of 20001 with flag 215000/215000 282.07/145.21 c cleaning 9998 clauses out of 20011 with flag 225000/225000 292.42/150.68 c cleaning 9995 clauses out of 20013 with flag 235000/235000 306.79/158.00 c cleaning 10005 clauses out of 20019 with flag 245001/245001 321.59/165.62 c cleaning 9999 clauses out of 20014 with flag 255001/255001 336.96/173.57 c cleaning 9994 clauses out of 20014 with flag 265000/265000 351.48/181.04 c cleaning 10003 clauses out of 20020 with flag 275000/275000 366.26/188.60 c cleaning 10005 clauses out of 20018 with flag 285001/285001 381.42/196.44 c cleaning 9997 clauses out of 20012 with flag 295000/295000 391.64/201.77 c cleaning 10002 clauses out of 20016 with flag 305001/305001 401.38/206.88 c cleaning 9998 clauses out of 20013 with flag 315000/315000 414.35/213.59 c cleaning 10000 clauses out of 20016 with flag 325001/325001 428.95/221.09 c cleaning 10005 clauses out of 20015 with flag 335000/335000 442.08/227.87 c cleaning 9999 clauses out of 20011 with flag 345001/345001 447.86/230.97 c cleaning 0 clauses out of 5002 with flag 0/5002 454.67/234.51 c cleaning 10000 clauses out of 20011 with flag 355000/355000 466.65/240.80 c cleaning 10001 clauses out of 20013 with flag 365002/365002 478.62/246.93 c cleaning 9998 clauses out of 20011 with flag 375001/375001 490.91/253.39 c cleaning 9997 clauses out of 20012 with flag 385000/385000 504.66/260.47 c cleaning 9998 clauses out of 20016 with flag 395001/395001 520.99/268.89 c cleaning 10004 clauses out of 20018 with flag 405001/405001 536.13/276.69 c cleaning 10001 clauses out of 20013 with flag 415000/415000 547.01/282.35 c cleaning 10000 clauses out of 20012 with flag 425000/425000 557.39/287.76 c cleaning 9999 clauses out of 20013 with flag 435001/435001 569.76/294.14 c cleaning 10000 clauses out of 20014 with flag 445001/445001 586.46/302.72 c cleaning 9996 clauses out of 20013 with flag 455000/455000 602.30/310.91 c cleaning 10002 clauses out of 20018 with flag 465001/465001 615.44/317.76 c cleaning 9999 clauses out of 20015 with flag 475000/475000 628.59/324.58 c cleaning 9998 clauses out of 20017 with flag 485001/485001 640.32/330.64 c cleaning 9999 clauses out of 20018 with flag 495000/495000 653.77/337.62 c cleaning 10003 clauses out of 20019 with flag 505000/505000 663.51/342.77 c cleaning 10001 clauses out of 20017 with flag 515001/515001 673.27/347.85 c cleaning 10000 clauses out of 20015 with flag 525000/525000 688.77/355.82 c cleaning 9999 clauses out of 20015 with flag 535000/535000 704.99/364.21 c cleaning 10006 clauses out of 20017 with flag 545001/545001 717.70/370.88 c cleaning 9996 clauses out of 20011 with flag 555001/555001 731.81/378.14 c cleaning 9999 clauses out of 20015 with flag 565001/565001 745.72/385.30 c cleaning 10002 clauses out of 20015 with flag 575000/575000 755.58/390.56 c cleaning 10000 clauses out of 20014 with flag 585001/585001 765.50/395.74 c cleaning 9998 clauses out of 20014 with flag 595001/595001 783.76/405.19 c cleaning 10001 clauses out of 20015 with flag 605000/605000 797.64/412.34 c cleaning 9997 clauses out of 20014 with flag 615000/615000 813.02/420.36 c cleaning 10002 clauses out of 20018 with flag 625001/625001 829.49/428.87 c cleaning 10004 clauses out of 20016 with flag 635001/635001 844.36/436.55 c cleaning 9996 clauses out of 20012 with flag 645001/645001 859.23/444.22 c cleaning 10000 clauses out of 20016 with flag 655001/655001 869.43/449.67 c cleaning 9999 clauses out of 20016 with flag 665001/665001 879.54/455.00 c cleaning 10003 clauses out of 20016 with flag 675000/675000 889.85/460.35 c cleaning 9998 clauses out of 20013 with flag 685000/685000 901.93/466.63 c cleaning 10002 clauses out of 20015 with flag 695000/695000 914.32/473.14 c cleaning 9995 clauses out of 20013 with flag 705000/705000 926.21/479.38 c cleaning 10001 clauses out of 20019 with flag 715001/715001 941.85/487.44 c cleaning 10003 clauses out of 20017 with flag 725000/725000 959.87/496.70 c cleaning 9999 clauses out of 20014 with flag 735000/735000 973.03/503.63 c cleaning 9988 clauses out of 20016 with flag 745001/745001 983.32/509.07 c cleaning 9997 clauses out of 20027 with flag 755000/755000 993.61/514.41 c cleaning 10001 clauses out of 20031 with flag 765001/765001 1004.09/519.97 c cleaning 9993 clauses out of 20030 with flag 775001/775001 1014.65/525.59 c cleaning 10003 clauses out of 20036 with flag 785000/785000 1026.33/531.61 c cleaning 10013 clauses out of 20034 with flag 795001/795001 1035.21/536.38 c cleaning 10004 clauses out of 20020 with flag 805000/805000 1043.90/541.00 c cleaning 10002 clauses out of 20016 with flag 815000/815000 1052.49/545.60 c cleaning 10000 clauses out of 20014 with flag 825000/825000 1060.98/550.08 c cleaning 9999 clauses out of 20015 with flag 835001/835001 1069.26/554.42 c cleaning 9999 clauses out of 20015 with flag 845000/845000 1077.73/558.95 c cleaning 10003 clauses out of 20016 with flag 855000/855000 1086.55/563.68 c cleaning 9994 clauses out of 20014 with flag 865001/865001 1095.43/568.35 c cleaning 10002 clauses out of 20019 with flag 875000/875000 1104.33/573.10 c cleaning 10004 clauses out of 20019 with flag 885002/885002 1114.57/578.50 c cleaning 10002 clauses out of 20013 with flag 895000/895000 1123.91/583.41 c cleaning 10001 clauses out of 20011 with flag 905000/905000 1134.16/588.84 c cleaning 9993 clauses out of 20007 with flag 915001/915001 1145.42/594.76 c cleaning 9987 clauses out of 20013 with flag 925001/925001 1157.46/601.02 c cleaning 10003 clauses out of 20026 with flag 935001/935001 1170.17/607.74 c cleaning 10000 clauses out of 20022 with flag 945000/945000 1181.42/613.60 c cleaning 10011 clauses out of 20022 with flag 955000/955000 1193.07/619.77 c cleaning 10002 clauses out of 20011 with flag 965000/965000 1206.68/626.88 c cleaning 9996 clauses out of 20010 with flag 975001/975001 1221.55/634.63 c cleaning 9996 clauses out of 20013 with flag 985000/985000 1232.97/640.68 c cleaning 10002 clauses out of 20017 with flag 995000/995000 1246.17/647.52 c cleaning 10001 clauses out of 20016 with flag 1005001/1005001 1258.00/653.71 c cleaning 9995 clauses out of 20015 with flag 1015001/1015001 1271.68/661.00 c cleaning 10004 clauses out of 20020 with flag 1025001/1025001 1285.08/667.92 c cleaning 10001 clauses out of 20015 with flag 1035000/1035000 1297.30/674.38 c cleaning 10003 clauses out of 20015 with flag 1045001/1045001 1310.09/681.07 c cleaning 10002 clauses out of 20013 with flag 1055002/1055002 1322.56/687.63 c cleaning 9995 clauses out of 20009 with flag 1065000/1065000 1333.96/693.65 c cleaning 10002 clauses out of 20015 with flag 1075001/1075001 1346.77/700.32 c cleaning 10002 clauses out of 20013 with flag 1085001/1085001 1361.95/708.21 c cleaning 9992 clauses out of 20010 with flag 1095000/1095000 1375.81/715.59 c cleaning 10003 clauses out of 20019 with flag 1105001/1105001 1389.80/722.80 c cleaning 9995 clauses out of 20015 with flag 1115000/1115000 1403.98/730.20 c cleaning 10002 clauses out of 20020 with flag 1125000/1125000 1418.55/737.87 c cleaning 10001 clauses out of 20018 with flag 1135000/1135000 1432.79/745.31 c cleaning 9996 clauses out of 20018 with flag 1145001/1145001 1446.51/752.59 c cleaning 10005 clauses out of 20021 with flag 1155000/1155000 1460.28/759.71 c cleaning 10000 clauses out of 20017 with flag 1165001/1165001 1474.46/767.19 c cleaning 9996 clauses out of 20016 with flag 1175000/1175000 1489.28/774.97 c cleaning 10001 clauses out of 20020 with flag 1185000/1185000 1502.86/782.07 c cleaning 9999 clauses out of 20021 with flag 1195002/1195002 1515.81/788.89 c cleaning 10002 clauses out of 20021 with flag 1205001/1205001 1529.97/796.25 c cleaning 10001 clauses out of 20019 with flag 1215001/1215001 1544.79/804.02 c cleaning 9997 clauses out of 20017 with flag 1225000/1225000 1559.73/811.85 c cleaning 9997 clauses out of 20021 with flag 1235001/1235001 1573.26/818.97 c cleaning 10002 clauses out of 20023 with flag 1245000/1245000 1586.03/825.69 c cleaning 9993 clauses out of 20021 with flag 1255000/1255000 1599.65/832.86 c cleaning 10011 clauses out of 20028 with flag 1265000/1265000 1612.22/839.45 c cleaning 10001 clauses out of 20018 with flag 1275001/1275001 1625.37/846.38 c cleaning 10000 clauses out of 20017 with flag 1285001/1285001 1639.13/853.57 c cleaning 9999 clauses out of 20018 with flag 1295002/1295002 1653.12/860.98 c cleaning 10001 clauses out of 20018 with flag 1305001/1305001 1667.66/868.52 c cleaning 10001 clauses out of 20016 with flag 1315000/1315000 1681.81/875.93 c cleaning 9999 clauses out of 20015 with flag 1325000/1325000 1698.32/884.51 c cleaning 10002 clauses out of 20016 with flag 1335000/1335000 1706.55/889.03 c cleaning 9998 clauses out of 20014 with flag 1345001/1345001 1717.52/894.87 c cleaning 9992 clauses out of 20017 with flag 1355002/1355002 1727.49/900.20 c cleaning 10005 clauses out of 20024 with flag 1365001/1365001 1738.24/905.85 c cleaning 10003 clauses out of 20018 with flag 1375000/1375000 1748.46/911.30 c cleaning 9999 clauses out of 20016 with flag 1385001/1385001 1761.00/917.97 c cleaning 9998 clauses out of 20017 with flag 1395001/1395001 1770.58/923.03 c cleaning 10005 clauses out of 20019 with flag 1405001/1405001 1779.76/927.96 c cleaning 9995 clauses out of 20014 with flag 1415001/1415001 1789.57/933.24 c cleaning 10002 clauses out of 20019 with flag 1425001/1425001 1798.95/938.22 c cleaning 9998 clauses out of 20018 with flag 1435002/1435002 1802.75/940.48 c starts : 206 1802.75/940.48 c conflicts : 1439632 1802.75/940.48 c decisions : 1503386 1802.75/940.48 c propagations : 14677869 1802.75/940.48 c inspects : 1175231449 1802.75/940.48 c learnt literals : 9 1802.75/940.48 c learnt binary clauses : 11 1802.75/940.48 c learnt ternary clauses : 13 1802.75/940.48 c learnt clauses : 1439623 1802.75/940.48 c ignored clauses : 0 1802.75/940.48 c root simplifications : 0 1802.75/940.48 c removed literals (reason simplification) : 107013454 1802.75/940.48 c reason swapping (by a shorter reason) : 0 1802.75/940.48 c Calls to reduceDB : 145 1802.75/940.48 c number of reductions to clauses (during analyze) : 0 1802.75/940.48 c number of learned constraints concerned by reduction : 0 1802.75/940.48 c number of learning phase by resolution : 0 1802.75/940.48 c number of learning phase by cutting planes : 0 1802.75/940.48 c speed (assignments/second) : 15634.249298060988 1802.75/940.48 c non guided choices 16669 1803.13/940.62 c learnt constraints type 1803.13/940.62 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 14935 1803.13/940.62 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11 1803.13/940.62 c constraints type 1803.13/940.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144 1803.13/940.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 240 1803.13/940.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1224 1803.13/940.62 c constraints type 1803.13/940.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 240 1803.13/940.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144 1803.13/940.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1224 1803.13/940.62 s UNKNOWN 1803.13/940.62 c Total wall clock time (in seconds): 940.383
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662202-1276570113/watcher-2662202-1276570113 -o /tmp/evaluation-result-2662202-1276570113/solver-2662202-1276570113 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662202-1276570113.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 1.05 3/106 31271 /proc/meminfo: memFree=1874152/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=244 CPUtime=0 /proc/31271/stat : 31271 (java) R 31269 31271 30141 0 -1 4194304 271 0 0 0 0 0 0 0 25 0 1 0 30663119 249856 18 1992294400 134512640 134550932 4290429040 18446744073709551615 3176561 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31271/statm: 62 24 16 10 0 23 0 [startup+0.0316399 s] /proc/loadavg: 0.99 1.00 1.05 3/106 31271 /proc/meminfo: memFree=1874152/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1517712 CPUtime=0.01 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 2621 0 1 0 0 1 0 0 25 0 3 0 30663119 1554137088 2065 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 379428 2065 419 10 0 377139 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1517712 [startup+0.102106 s] /proc/loadavg: 0.99 1.00 1.05 3/106 31271 /proc/meminfo: memFree=1874152/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1522120 CPUtime=0.08 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 3875 0 1 0 6 2 0 0 25 0 8 0 30663119 1558650880 3316 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 380530 3316 1048 10 0 377840 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1522120 [startup+0.300886 s] /proc/loadavg: 0.99 1.00 1.05 3/106 31271 /proc/meminfo: memFree=1874152/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1526600 CPUtime=0.37 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 5548 0 1 0 34 3 0 0 25 0 12 0 30663119 1563238400 4985 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 381650 4985 1359 10 0 378953 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1526600 [startup+0.700955 s] /proc/loadavg: 0.99 1.00 1.05 3/106 31271 /proc/meminfo: memFree=1874152/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1528724 CPUtime=1.01 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 7719 0 1 0 97 4 0 0 25 0 12 0 30663119 1565413376 7108 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 382181 7108 1401 10 0 379484 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1528724 [startup+1.50205 s] /proc/loadavg: 0.99 1.00 1.05 5/118 31283 /proc/meminfo: memFree=1834688/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1544800 CPUtime=2.56 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 21634 0 1 0 247 9 0 0 25 0 12 0 30663119 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 386200 18666 1406 10 0 383503 0 [pid=31271/tid=31273] ppid=31269 vsize=1544800 CPUtime=0.94 /proc/31271/task/31273/stat : 31273 (java) R 31269 31271 30141 0 -1 4202560 12952 0 1 0 89 5 0 0 25 0 12 0 30663120 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4108752676 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 30663122 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 30663122 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 30663124 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 30663124 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 12 0 30663124 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 30663129 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1544800 CPUtime=0.68 /proc/31271/task/31280/stat : 31280 (java) S 31269 31271 30141 0 -1 4202560 2031 0 0 0 68 0 0 0 16 0 12 0 30663129 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1544800 CPUtime=0.91 /proc/31271/task/31281/stat : 31281 (java) R 31269 31271 30141 0 -1 4202560 5584 0 0 0 90 1 0 0 15 0 12 0 30663129 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 105870720 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 30663129 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1544800 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 12 0 30663129 1581875200 18666 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 1544800 [startup+3.11334 s] /proc/loadavg: 0.99 1.00 1.05 5/120 31285 /proc/meminfo: memFree=1775896/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1546096 CPUtime=5.61 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 43821 0 1 0 542 19 0 0 25 0 16 0 30663119 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 386524 40809 1438 10 0 383827 0 [pid=31271/tid=31273] ppid=31269 vsize=1546096 CPUtime=1.1 /proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30141 0 -1 4202560 16617 0 1 0 102 8 0 0 18 0 16 0 30663120 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1546096 CPUtime=0.06 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 1866 0 0 0 6 0 0 0 18 0 16 0 30663122 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1546096 CPUtime=0.06 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 1802 0 0 0 6 0 0 0 18 0 16 0 30663122 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1546096 CPUtime=0 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 16 0 30663124 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1546096 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 30663124 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1546096 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 30663124 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1546096 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1546096 CPUtime=1.43 /proc/31271/task/31280/stat : 31280 (java) R 31269 31271 30141 0 -1 4202560 2094 0 0 0 143 0 0 0 15 0 16 0 30663129 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 104144073 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1546096 CPUtime=1.56 /proc/31271/task/31281/stat : 31281 (java) R 31269 31271 30141 0 -1 4202560 5621 0 0 0 154 2 0 0 15 0 16 0 30663129 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 105874791 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1546096 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1546096 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) R 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 30663129 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31284] ppid=31269 vsize=1546096 CPUtime=0.48 /proc/31271/task/31284/stat : 31284 (java) R 31269 31271 30141 0 -1 4202560 4210 0 0 0 46 2 0 0 25 0 16 0 30663284 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31285] ppid=31269 vsize=1546096 CPUtime=0.84 /proc/31271/task/31285/stat : 31285 (java) R 31269 31271 30141 0 -1 4202560 10530 0 0 0 81 3 0 0 18 0 16 0 30663284 1583202304 40809 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.61 Current children cumulated vsize (KiB) 1546096 [startup+6.30192 s] /proc/loadavg: 1.23 1.05 1.07 3/122 31287 /proc/meminfo: memFree=1693172/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1546288 CPUtime=11.92 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 52194 0 1 0 1168 24 0 0 25 0 16 0 30663119 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 386572 46536 1440 10 0 383875 0 [pid=31271/tid=31273] ppid=31269 vsize=1546288 CPUtime=1.1 /proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30141 0 -1 4202560 16617 0 1 0 102 8 0 0 18 0 16 0 30663120 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1546288 CPUtime=0.21 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 4248 0 0 0 20 1 0 0 16 0 16 0 30663122 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1546288 CPUtime=0.22 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 4184 0 0 0 21 1 0 0 16 0 16 0 30663122 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1546288 CPUtime=0.01 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 20 0 0 0 0 1 0 0 16 0 16 0 30663124 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1546288 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 30663124 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1546288 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 30663124 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1546288 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1546288 CPUtime=1.85 /proc/31271/task/31280/stat : 31280 (java) S 31269 31271 30141 0 -1 4202560 2170 0 0 0 185 0 0 0 15 0 16 0 30663129 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1546288 CPUtime=2.46 /proc/31271/task/31281/stat : 31281 (java) S 31269 31271 30141 0 -1 4202560 8396 0 0 0 243 3 0 0 15 0 16 0 30663129 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1546288 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1546288 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 30663129 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31284] ppid=31269 vsize=1546288 CPUtime=2.46 /proc/31271/task/31284/stat : 31284 (java) R 31269 31271 30141 0 -1 4202560 4384 0 0 0 244 2 0 0 25 0 16 0 30663284 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4109118351 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31285] ppid=31269 vsize=1546288 CPUtime=3.52 /proc/31271/task/31285/stat : 31285 (java) R 31269 31271 30141 0 -1 4202560 11102 0 0 0 349 3 0 0 20 0 16 0 30663284 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4109546506 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31286] ppid=31269 vsize=1546288 CPUtime=0 /proc/31271/task/31286/stat : 31286 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 30663335 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31287] ppid=31269 vsize=1546288 CPUtime=0 /proc/31271/task/31287/stat : 31287 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 30663337 1583398912 46536 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.92 Current children cumulated vsize (KiB) 1546288 [startup+12.7021 s] /proc/loadavg: 1.29 1.06 1.07 3/122 31287 /proc/meminfo: memFree=1664652/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1544992 CPUtime=24.35 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 60236 0 1 0 2407 28 0 0 25 0 16 0 30663119 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 386248 53476 1449 10 0 383551 0 [pid=31271/tid=31273] ppid=31269 vsize=1544992 CPUtime=1.1 /proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30141 0 -1 4202560 16617 0 1 0 102 8 0 0 18 0 16 0 30663120 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1544992 CPUtime=0.46 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 7575 0 0 0 43 3 0 0 16 0 16 0 30663122 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1544992 CPUtime=0.45 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 7365 0 0 0 43 2 0 0 16 0 16 0 30663122 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1544992 CPUtime=0.25 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 1403 0 0 0 23 2 0 0 15 0 16 0 30663124 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1544992 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 30663124 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1544992 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 30663124 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1544992 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1544992 CPUtime=1.85 /proc/31271/task/31280/stat : 31280 (java) S 31269 31271 30141 0 -1 4202560 2170 0 0 0 185 0 0 0 16 0 16 0 30663129 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1544992 CPUtime=2.64 /proc/31271/task/31281/stat : 31281 (java) S 31269 31271 30141 0 -1 4202560 8536 0 0 0 261 3 0 0 16 0 16 0 30663129 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1544992 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1544992 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 30663129 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31284] ppid=31269 vsize=1544992 CPUtime=8.09 /proc/31271/task/31284/stat : 31284 (java) R 31269 31271 30141 0 -1 4202560 4389 0 0 0 807 2 0 0 25 0 16 0 30663284 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4109673732 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31285] ppid=31269 vsize=1544992 CPUtime=9.42 /proc/31271/task/31285/stat : 31285 (java) R 31269 31271 30141 0 -1 4202560 11108 0 0 0 939 3 0 0 25 0 16 0 30663284 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4109127936 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31286] ppid=31269 vsize=1544992 CPUtime=0 /proc/31271/task/31286/stat : 31286 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 30663335 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31287] ppid=31269 vsize=1544992 CPUtime=0 /proc/31271/task/31287/stat : 31287 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 30663337 1582071808 53476 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.35 Current children cumulated vsize (KiB) 1544992 [startup+25.5024 s] ################ # More data... # ################ Current children cumulated vsize (KiB) 1546016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+939.102 s] /proc/loadavg: 2.05 1.95 1.65 3/122 31320 /proc/meminfo: memFree=1535816/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1546016 CPUtime=1800.18 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 97276 0 1 0 179896 122 0 0 25 0 16 0 30663119 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31271/statm: 386504 85194 1449 10 0 383807 0 [pid=31271/tid=31273] ppid=31269 vsize=1546016 CPUtime=1.1 /proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30141 0 -1 4202560 16626 0 1 0 102 8 0 0 15 0 16 0 30663120 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1546016 CPUtime=6.51 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 24381 0 0 0 624 27 0 0 16 0 16 0 30663122 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1546016 CPUtime=6.49 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 23055 0 0 0 626 23 0 0 16 0 16 0 30663122 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1546016 CPUtime=61.01 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 5362 0 0 0 6094 7 0 0 16 0 16 0 30663124 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 30663124 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 30663124 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1546016 CPUtime=2.08 /proc/31271/task/31280/stat : 31280 (java) S 31269 31271 30141 0 -1 4202560 2178 0 0 0 208 0 0 0 15 0 16 0 30663129 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1546016 CPUtime=2.94 /proc/31271/task/31281/stat : 31281 (java) S 31269 31271 30141 0 -1 4202560 8722 0 0 0 291 3 0 0 15 0 16 0 30663129 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) S 31269 31271 30141 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 30663129 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31284] ppid=31269 vsize=1546016 CPUtime=864.18 /proc/31271/task/31284/stat : 31284 (java) R 31269 31271 30141 0 -1 4202560 4610 0 0 0 86408 10 0 0 20 0 16 0 30663284 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4109421626 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31285] ppid=31269 vsize=1546016 CPUtime=855.79 /proc/31271/task/31285/stat : 31285 (java) R 31269 31271 30141 0 -1 4202560 11215 0 0 0 85540 39 0 0 17 0 16 0 30663284 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4109501634 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31286] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31286/stat : 31286 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 30663335 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31287] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31287/stat : 31287 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 30663337 1583120384 85194 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 1546016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+939.802 s] /proc/loadavg: 2.21 1.98 1.66 5/123 31321 /proc/meminfo: memFree=1535808/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1546016 CPUtime=1801.55 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 97279 0 1 0 180033 122 0 0 18 0 16 0 30663119 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/31271/statm: 386504 85197 1449 10 0 383807 0 [pid=31271/tid=31273] ppid=31269 vsize=1546016 CPUtime=1.1 /proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30141 0 -1 4202560 16626 0 1 0 102 8 0 0 15 0 16 0 30663120 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1546016 CPUtime=6.51 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 24381 0 0 0 624 27 0 0 16 0 16 0 30663122 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1546016 CPUtime=6.49 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 23055 0 0 0 626 23 0 0 16 0 16 0 30663122 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1546016 CPUtime=61.01 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 5362 0 0 0 6094 7 0 0 16 0 16 0 30663124 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 30663124 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 30663124 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) R 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 30663129 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1546016 CPUtime=2.08 /proc/31271/task/31280/stat : 31280 (java) S 31269 31271 30141 0 -1 4202560 2178 0 0 0 208 0 0 0 15 0 16 0 30663129 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1546016 CPUtime=2.94 /proc/31271/task/31281/stat : 31281 (java) S 31269 31271 30141 0 -1 4202560 8722 0 0 0 291 3 0 0 15 0 16 0 30663129 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 30663129 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) S 31269 31271 30141 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 30663129 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31284] ppid=31269 vsize=1546016 CPUtime=864.87 /proc/31271/task/31284/stat : 31284 (java) R 31269 31271 30141 0 -1 4202560 4610 0 0 0 86477 10 0 0 22 0 16 0 30663284 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4109659736 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31285] ppid=31269 vsize=1546016 CPUtime=856.47 /proc/31271/task/31285/stat : 31285 (java) R 31269 31271 30141 0 -1 4202560 11215 0 0 0 85608 39 0 0 18 0 16 0 30663284 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4109118205 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31286] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31286/stat : 31286 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 30663335 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31287] ppid=31269 vsize=1546016 CPUtime=0 /proc/31271/task/31287/stat : 31287 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 30663337 1583120384 85197 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1801.55 Current children cumulated vsize (KiB) 1546016 [startup+940.202 s] /proc/loadavg: 2.21 1.98 1.66 5/123 31321 /proc/meminfo: memFree=1535808/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1546664 CPUtime=1802.34 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 97288 0 1 0 180112 122 0 0 18 0 18 0 30663119 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/31271/statm: 386666 85206 1449 10 0 383969 0 [pid=31271/tid=31273] ppid=31269 vsize=1546664 CPUtime=1.1 /proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30141 0 -1 4202560 16626 0 1 0 102 8 0 0 15 0 18 0 30663120 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1546664 CPUtime=6.51 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 24381 0 0 0 624 27 0 0 16 0 18 0 30663122 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1546664 CPUtime=6.49 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 23055 0 0 0 626 23 0 0 16 0 18 0 30663122 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1546664 CPUtime=61.01 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 5362 0 0 0 6094 7 0 0 15 0 18 0 30663124 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 30663124 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 30663124 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30141 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 30663129 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1546664 CPUtime=2.08 /proc/31271/task/31280/stat : 31280 (java) S 31269 31271 30141 0 -1 4202560 2178 0 0 0 208 0 0 0 15 0 18 0 30663129 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1546664 CPUtime=2.94 /proc/31271/task/31281/stat : 31281 (java) S 31269 31271 30141 0 -1 4202560 8722 0 0 0 291 3 0 0 15 0 18 0 30663129 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 30663129 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) S 31269 31271 30141 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 30663129 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31284] ppid=31269 vsize=1546664 CPUtime=865.27 /proc/31271/task/31284/stat : 31284 (java) R 31269 31271 30141 0 -1 4202560 4610 0 0 0 86517 10 0 0 25 0 18 0 30663284 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4109421105 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31285] ppid=31269 vsize=1546664 CPUtime=856.86 /proc/31271/task/31285/stat : 31285 (java) R 31269 31271 30141 0 -1 4202560 11215 0 0 0 85647 39 0 0 18 0 18 0 30663284 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4109420980 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31286] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31286/stat : 31286 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 30663335 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31287] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31287/stat : 31287 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 30663337 1583783936 85206 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1802.34 Current children cumulated vsize (KiB) 1546664 [startup+940.602 s] /proc/loadavg: 2.21 1.98 1.66 5/125 31323 /proc/meminfo: memFree=1535668/2059040 swapFree=4140296/4192956 [pid=31271] ppid=31269 vsize=1546664 CPUtime=1803.13 /proc/31271/stat : 31271 (java) S 31269 31271 30141 0 -1 4202496 97293 0 1 0 180191 122 0 0 18 0 18 0 30663119 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/31271/statm: 386666 85211 1449 10 0 383969 0 [pid=31271/tid=31273] ppid=31269 vsize=1546664 CPUtime=1.1 /proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30141 0 -1 4202560 16626 0 1 0 102 8 0 0 15 0 18 0 30663120 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31274] ppid=31269 vsize=1546664 CPUtime=6.51 /proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30141 0 -1 4202560 24381 0 0 0 624 27 0 0 16 0 18 0 30663122 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31275] ppid=31269 vsize=1546664 CPUtime=6.49 /proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30141 0 -1 4202560 23055 0 0 0 626 23 0 0 16 0 18 0 30663122 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31276] ppid=31269 vsize=1546664 CPUtime=61.01 /proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30141 0 -1 4202560 5362 0 0 0 6094 7 0 0 15 0 18 0 30663124 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 0 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31277] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30141 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 30663124 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31278] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30141 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 30663124 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31279] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30141 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 30663129 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31280] ppid=31269 vsize=1546664 CPUtime=2.08 /proc/31271/task/31280/stat : 31280 (java) S 31269 31271 30141 0 -1 4202560 2178 0 0 0 208 0 0 0 15 0 18 0 30663129 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31281] ppid=31269 vsize=1546664 CPUtime=2.94 /proc/31271/task/31281/stat : 31281 (java) S 31269 31271 30141 0 -1 4202560 8722 0 0 0 291 3 0 0 15 0 18 0 30663129 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31282] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31282/stat : 31282 (java) S 31269 31271 30141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 30663129 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31283] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31283/stat : 31283 (java) S 31269 31271 30141 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 30663129 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31284] ppid=31269 vsize=1546664 CPUtime=865.67 /proc/31271/task/31284/stat : 31284 (java) R 31269 31271 30141 0 -1 4202560 4610 0 0 0 86557 10 0 0 25 0 18 0 30663284 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4109436962 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31271/tid=31285] ppid=31269 vsize=1546664 CPUtime=857.23 /proc/31271/task/31285/stat : 31285 (java) R 31269 31271 30141 0 -1 4202560 11215 0 0 0 85684 39 0 0 19 0 18 0 30663284 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4109118205 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31271/tid=31286] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31286/stat : 31286 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 30663335 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 1 0 0 0 [pid=31271/tid=31287] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31287/stat : 31287 (java) S 31269 31271 30141 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 30663337 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31322] ppid=31269 vsize=1546664 CPUtime=0 /proc/31271/task/31322/stat : 31322 (java) S 31269 31271 30141 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 30757106 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4294960144 0 4 0 16800975 18446604437852977216 0 0 -1 0 0 0 0 [pid=31271/tid=31323] ppid=31269 vsize=1546664 CPUtime=0.01 /proc/31271/task/31323/stat : 31323 (java) R 31269 31271 30141 0 -1 4202560 5 0 0 0 1 0 0 0 21 0 18 0 30757116 1583783936 85211 1992294400 134512640 134550932 4290429040 18446744073709551615 4108717198 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1803.13 Current children cumulated vsize (KiB) 1546664 Child status: 143 Real time (s): 940.682 CPU time (s): 1803.26 CPU user time (s): 1802 CPU system time (s): 1.26181 CPU usage (%): 191.697 Max. virtual memory (cumulated for all children) (KiB): 1548144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1802 system time used= 1.26181 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97298 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24586 involuntary context switches= 50490 runsolver used 4.91225 second user time and 10.9443 second system time The end
Begin job on node027 at 2010-06-15 04:48:33 IDJOB=2662202 IDBENCH=2521 IDSOLVER=1166 FILE ID=node027/2662202-1276570113 PBS_JOBID= 11173503 Free space on /tmp= 62532 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662202-1276570113/watcher-2662202-1276570113 -o /tmp/evaluation-result-2662202-1276570113/solver-2662202-1276570113 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662202-1276570113.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 158d85b2efcaf56eab2db834482aadfb RANDOM SEED=453008528 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1874732 kB Buffers: 4148 kB Cached: 100956 kB SwapCached: 5720 kB Active: 27560 kB Inactive: 90228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1874732 kB SwapTotal: 4192956 kB SwapFree: 4140296 kB Dirty: 1160 kB Writeback: 8 kB AnonPages: 11208 kB Mapped: 13140 kB Slab: 44716 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181920 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node027 at 2010-06-15 05:04:14