Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.2 | 1785.43 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb |
MD5SUM | de8002a7213606f6cc39967e9305bae2 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 154999 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654248 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 654248 |
Number of bits of the biggest sum of numbers | 20 |
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.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/347873-1176526423/instance-347873-1176526423.opb 0.20/0.20 c reading problem ... 6.73/5.36 c ... done. Wall clock time 5.158s. 6.73/5.36 c CPU time (experimental) 4.09s. 6.73/5.36 c #vars 155000 6.73/5.36 c #constraints 5300 1583.48/1570.57 c cleaning 101743 clauses out of 203500 for limit 1301.9119071996602 1594.06/1581.08 c cleaning 51121 clauses out of 102267 for limit 4315.305047190579 1605.04/1591.93 c cleaning 25821 clauses out of 51648 for limit 14119.470787420565 1625.51/1612.24 c cleaning 13403 clauses out of 26818 for limit 73290.3354602322 1637.08/1623.79 c cleaning 6945 clauses out of 13912 for limit 232292.86940769895 1648.06/1634.62 c cleaning 3712 clauses out of 7467 for limit 713732.0240801816 1652.72/1639.21 c cleaning 2123 clauses out of 4256 for limit 2067141.062958396 1656.76/1643.21 c cleaning 1313 clauses out of 2633 for limit 5510319.251959746 1660.81/1647.28 c cleaning 902 clauses out of 1819 for limit 1.3140633315049008E7 1664.94/1651.35 c cleaning 697 clauses out of 1417 for limit 2.78185847911808E7 1669.19/1655.56 c cleaning 603 clauses out of 1220 for limit 5.328450541565911E7 1673.22/1659.54 c cleaning 558 clauses out of 1118 for limit 9.598632514349085E7 1677.24/1663.56 c cleaning 529 clauses out of 1060 for limit 1.6695567671546546E8 1681.47/1667.76 c cleaning 507 clauses out of 1030 for limit 2.830682800040194E8 1685.70/1671.96 c cleaning 507 clauses out of 1023 for limit 4.7001171630630237E8 1690.05/1676.22 c cleaning 492 clauses out of 1016 for limit 7.804525371731421E8 1694.57/1680.74 c cleaning 514 clauses out of 1028 for limit 1.2771474017959948E9 1698.89/1685.07 c cleaning 505 clauses out of 1011 for limit 2.1351841403367927E9 1703.42/1689.56 c cleaning 492 clauses out of 1006 for limit 3.5387053025834913E9 1708.08/1694.11 c cleaning 497 clauses out of 1013 for limit 5.789676624790589E9 1711.70/1697.76 c cleaning 501 clauses out of 1017 for limit 9.519917803787422E9 1715.12/1701.13 c cleaning 506 clauses out of 1015 for limit 1.5714822664948309E10 1718.48/1704.45 c cleaning 504 clauses out of 1009 for limit 2.606995296219265E10 1722.41/1708.34 c cleaning 496 clauses out of 1009 for limit 4.316524216037408E10 1726.43/1712.32 c cleaning 505 clauses out of 1012 for limit 7.090326113521193E10 1730.38/1716.21 c cleaning 496 clauses out of 1004 for limit 1.1750743922490166E11 1734.11/1719.96 c cleaning 503 clauses out of 1008 for limit 1.930164971174863E11 1738.04/1723.84 c cleaning 503 clauses out of 1006 for limit 3.1926211025340735E11 1742.99/1728.74 c cleaning 497 clauses out of 1003 for limit 5.280807233384214E11 1746.61/1732.37 c cleaning 483 clauses out of 1006 for limit 8.68278713155874E11 1750.44/1736.19 c cleaning 501 clauses out of 1022 for limit 1.4080809212982861E12 1755.59/1741.21 c cleaning 499 clauses out of 1022 for limit 2.324438247163619E12 1761.44/1747.08 c cleaning 508 clauses out of 1024 for limit 3.8296523468391616E12 1765.89/1751.42 c cleaning 507 clauses out of 1014 for limit 6.365143746083999E12 1771.93/1757.48 c cleaning 503 clauses out of 1009 for limit 1.0570119938044076E13 1777.99/1763.47 c cleaning 503 clauses out of 1009 for limit 1.748394121247946E13 1783.33/1768.71 c cleaning 484 clauses out of 1001 for limit 2.8918765822131355E13 1788.89/1774.21 c cleaning 511 clauses out of 1022 for limit 4.6945220364921375E13 1800.07/1785.32 c starts : 18 1800.07/1785.32 c conflicts : 223356 1800.07/1785.32 c decisions : 559035 1800.07/1785.32 c propagations : 75087006 1800.07/1785.32 c inspects : 410251801 1800.07/1785.32 c learnt literals : 0 1800.07/1785.32 c learnt binary clauses : 0 1800.07/1785.32 c learnt ternary clauses : 0 1800.07/1785.32 c learnt clauses : 223356 1800.07/1785.32 c root simplifications : 0 1800.07/1785.32 c removed literals (reason simplification) : 0 1800.07/1785.32 c reason swapping (by a shorter reason) : 0 1800.07/1785.32 c Calls to reduceDB : 38 1800.07/1785.32 c speed (decisions/second) : 314.1955804048654 1800.07/1785.32 c non guided choices 156967 1800.07/1785.32 s UNKNOWN 1800.07/1785.32 c Total wall clock time (ms): 1785.118
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-347873-1176526423 -o ROOT/results/node9/solver-347873-1176526423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/347873-1176526423/sat4jPseudoResolution.jar /tmp/evaluation/347873-1176526423/instance-347873-1176526423.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20328 /proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1800 CPUtime=0 /proc/20328/stat : 20328 (java) D 20326 20328 19903 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 128679913 1843200 151 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/20328/statm: 450 151 114 9 0 92 0 [startup+0.0944059 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20328 /proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1780108 CPUtime=0.08 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 3955 0 1 0 6 2 0 0 18 0 12 0 128679913 1822830592 3696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 445027 3696 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.101407 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20328 /proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1780256 CPUtime=0.08 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 4002 0 1 0 6 2 0 0 18 0 12 0 128679913 1822982144 3743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 445064 3743 1124 9 0 442683 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780256 [startup+0.301435 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20328 /proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1781568 CPUtime=0.32 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 6436 0 1 0 29 3 0 0 18 0 12 0 128679913 1824325632 6166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 445392 6166 1267 9 0 443004 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1781568 [startup+0.701485 s] /proc/loadavg: 1.00 1.00 1.00 2/77 20328 /proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1782980 CPUtime=0.91 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 10790 0 1 0 85 6 0 0 18 0 12 0 128679913 1825771520 10023 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 445745 10023 1296 9 0 443357 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 1782980 [startup+1.50157 s] /proc/loadavg: 1.16 1.03 1.01 2/89 20340 /proc/meminfo: memFree=1717088/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1782980 CPUtime=1.84 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 24789 0 1 0 172 12 0 0 18 0 12 0 128679913 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 445745 24022 1302 9 0 443357 0 [pid=20328/tid=20330] ppid=20326 vsize=1782980 CPUtime=1.23 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 22680 0 1 0 113 10 0 0 25 0 12 0 128679914 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 128679916 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 128679916 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 128679918 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 128679918 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 128679918 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1782980 CPUtime=0.32 /proc/20328/task/20337/stat : 20337 (java) R 20326 20328 19903 0 -1 64 1118 0 0 0 32 0 0 0 16 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101904289 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1782980 CPUtime=0.25 /proc/20328/task/20338/stat : 20338 (java) R 20326 20328 19903 0 -1 64 273 0 0 0 25 0 0 0 16 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104812846 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1782980 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.84 Current children cumulated vsize (KiB) 1782980 [startup+3.10275 s] /proc/loadavg: 1.16 1.03 1.01 2/89 20340 /proc/meminfo: memFree=1632288/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1785292 CPUtime=3.88 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 48900 0 1 0 366 22 0 0 18 0 12 0 128679913 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 446323 47316 1313 9 0 443935 0 [pid=20328/tid=20330] ppid=20326 vsize=1785292 CPUtime=2.47 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37671 0 1 0 231 16 0 0 23 0 12 0 128679914 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109511944 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1785292 CPUtime=0.2 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 3963 0 0 0 19 1 0 0 16 0 12 0 128679916 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1785292 CPUtime=0.21 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 4786 0 0 0 19 2 0 0 18 0 12 0 128679916 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1785292 CPUtime=0 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 128679918 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1785292 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 128679918 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1785292 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 128679918 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1785292 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1785292 CPUtime=0.5 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 1291 0 0 0 50 0 0 0 15 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1785292 CPUtime=0.44 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 464 0 0 0 44 0 0 0 15 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1785292 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1785292 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 1785292 [startup+6.30292 s] /proc/loadavg: 1.15 1.03 1.01 4/89 20340 /proc/meminfo: memFree=1531104/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1788752 CPUtime=8.36 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 73276 0 1 0 801 35 0 0 18 0 13 0 128679913 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 447188 67405 1334 9 0 444800 0 [pid=20328/tid=20330] ppid=20326 vsize=1788752 CPUtime=4.66 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37713 0 1 0 450 16 0 0 17 0 13 0 128679914 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109674471 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1788752 CPUtime=1.09 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 15027 0 0 0 102 7 0 0 19 0 13 0 128679916 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1788752 CPUtime=1.08 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 16743 0 0 0 100 8 0 0 18 0 13 0 128679916 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1788752 CPUtime=0 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 128679918 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1788752 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1788752 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1788752 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1788752 CPUtime=0.73 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 2339 0 0 0 73 0 0 0 16 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1788752 CPUtime=0.73 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 724 0 0 0 73 0 0 0 16 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1788752 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1788752 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.36 Current children cumulated vsize (KiB) 1788752 [startup+12.7016 s] /proc/loadavg: 1.13 1.03 1.01 3/90 20341 /proc/meminfo: memFree=1515232/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1787632 CPUtime=15.2 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 76292 0 1 0 1483 37 0 0 18 0 13 0 128679913 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 446908 69549 1334 9 0 444520 0 [pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=10.75 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37720 0 1 0 1058 17 0 0 21 0 13 0 128679914 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109844731 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=1.29 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 16576 0 0 0 121 8 0 0 16 0 13 0 128679916 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=1.28 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 17741 0 0 0 119 9 0 0 16 0 13 0 128679916 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 15 0 13 0 128679918 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=0.88 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 2668 0 0 0 88 0 0 0 16 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=0.95 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 857 0 0 0 95 0 0 0 17 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.2 Current children cumulated vsize (KiB) 1787632 [startup+25.5021 s] /proc/loadavg: 1.11 1.03 1.01 2/90 20341 /proc/meminfo: memFree=1497632/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1787632 CPUtime=28.37 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 78870 0 1 0 2799 38 0 0 18 0 13 0 128679913 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 446908 71856 1334 9 0 444520 0 [pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=23.15 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37724 0 1 0 2298 17 0 0 25 0 13 0 128679914 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845309 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=1.67 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 17602 0 0 0 159 8 0 0 16 0 13 0 128679916 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=1.66 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 19289 0 0 0 156 10 0 0 16 0 13 0 128679916 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.18 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 110 0 0 0 9 9 0 0 16 0 13 0 128679918 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1615.54 Current children cumulated vsize (KiB) 1787632 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 20538 /proc/meminfo: memFree=309856/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1787632 CPUtime=1676.04 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 482973 0 1 0 167337 267 0 0 18 0 13 0 128679913 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 446908 367960 1334 9 0 444520 0 [pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1647.06 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50519 0 1 0 164670 36 0 0 23 0 13 0 128679914 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110000789 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=13.33 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 197214 0 0 0 1234 99 0 0 16 0 13 0 128679916 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=13.25 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 230439 0 0 0 1205 120 0 0 16 0 13 0 128679916 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.18 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 129 0 0 0 9 9 0 0 16 0 13 0 128679918 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1676.04 Current children cumulated vsize (KiB) 1787632 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 20538 /proc/meminfo: memFree=273632/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1787632 CPUtime=1736.53 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 495803 0 1 0 173379 274 0 0 18 0 13 0 128679913 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 446908 376980 1334 9 0 444520 0 [pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1706.5 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50538 0 1 0 170614 36 0 0 25 0 13 0 128679914 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109863791 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=13.85 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 203343 0 0 0 1282 103 0 0 16 0 13 0 128679916 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=13.77 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 237116 0 0 0 1255 122 0 0 16 0 13 0 128679916 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.18 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 134 0 0 0 9 9 0 0 16 0 13 0 128679918 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1736.53 Current children cumulated vsize (KiB) 1787632 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 20538 /proc/meminfo: memFree=1413920/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1787632 CPUtime=1797.06 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 511365 0 1 0 179405 301 0 0 18 0 13 0 128679913 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 446908 91798 1336 9 0 444520 0 [pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1765.2 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50559 0 1 0 176483 37 0 0 25 0 13 0 128679914 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109863439 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=14.39 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 209493 0 0 0 1333 106 0 0 16 0 13 0 128679916 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=14.32 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 243500 0 0 0 1307 125 0 0 16 0 13 0 128679916 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.9 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 3141 0 0 0 62 28 0 0 16 0 13 0 128679918 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 1787632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.31 s] /proc/loadavg: 1.00 1.00 1.00 2/90 20538 /proc/meminfo: memFree=1414752/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=1787632 CPUtime=1800.07 /proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 511366 0 1 0 179706 301 0 0 18 0 13 0 128679913 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 446908 91590 1336 9 0 444520 0 [pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1768.21 /proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50560 0 1 0 176784 37 0 0 25 0 13 0 128679914 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109864070 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=14.4 /proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 209493 0 0 0 1334 106 0 0 16 0 13 0 128679916 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=14.33 /proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 243500 0 0 0 1308 125 0 0 16 0 13 0 128679916 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.9 /proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 3141 0 0 0 62 28 0 0 16 0 13 0 128679918 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05 /proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12 /proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0 /proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1787632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1785.41 s] /proc/loadavg: 1.00 1.00 1.00 2/90 20538 /proc/meminfo: memFree=1414752/2055920 swapFree=4192812/4192956 [pid=20328] ppid=20326 vsize=0 CPUtime=1800.17 /proc/20328/stat : 20328 (java) Z 20326 20328 19903 0 -1 1036 511386 0 1 0 179712 305 0 0 15 0 2 0 128679913 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20328/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1785.43 CPU time (s): 1800.2 CPU user time (s): 1797.12 CPU system time (s): 3.07253 CPU usage (%): 100.827 Max. virtual memory (cumulated for all children) (KiB): 1794764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.12 system time used= 3.07253 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 511386 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= 43103 involuntary context switches= 40166 runsolver used 1.85572 second user time and 4.73028 second system time The end
Begin job on node9 on Sat Apr 14 04:53:44 UTC 2007 IDJOB= 347873 IDBENCH= 1543 IDSOLVER= 159 FILE ID= node9/347873-1176526423 PBS_JOBID= 4556721 Free space on /tmp= 66548 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/347873-1176526423/sat4jPseudoResolution.jar /tmp/evaluation/347873-1176526423/instance-347873-1176526423.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-347873-1176526423 -o ROOT/results/node9/solver-347873-1176526423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/347873-1176526423/sat4jPseudoResolution.jar /tmp/evaluation/347873-1176526423/instance-347873-1176526423.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= de8002a7213606f6cc39967e9305bae2 RANDOM SEED= 646627691 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1781208 kB Buffers: 22764 kB Cached: 141932 kB SwapCached: 0 kB Active: 111696 kB Inactive: 108424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1781208 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 10156 kB Writeback: 0 kB Mapped: 74316 kB Slab: 40100 kB Committed_AS: 4231320 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66548 MiB End job on node9 on Sat Apr 14 05:23:31 UTC 2007