Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | 109 | 1800.33 | 1768.3 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
MD5SUM | b690996610ff381ef60353517fe5a0e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 1802.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 64 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4389 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.19/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c Simplify asserted PB constraints to clauses 0.19/0.20 c solving /tmp/evaluation/354844-1176728251/instance-354844-1176728251.opb 0.19/0.20 c reading problem ... 0.19/0.29 c ... done. Wall clock time 0.088s. 0.19/0.29 c CPU time (experimental) 0.24s. 0.19/0.29 c #vars 146 0.19/0.29 c #constraints 12 2.60/1.50 c SATISFIABLE 2.60/1.50 c OPTIMIZING... 2.60/1.50 c Got one! Elapsed wall clock time (in seconds):1.296 2.60/1.50 o 2051 3.34/1.98 c Got one! Elapsed wall clock time (in seconds):1.772 3.34/1.98 o 1883 3.76/2.31 c Got one! Elapsed wall clock time (in seconds):2.104 3.76/2.31 o 1821 3.98/2.58 c Got one! Elapsed wall clock time (in seconds):2.376 3.98/2.58 o 1817 4.28/2.85 c Got one! Elapsed wall clock time (in seconds):2.643 4.28/2.85 o 1766 4.62/3.13 c Got one! Elapsed wall clock time (in seconds):2.926 4.62/3.13 o 1744 4.92/3.43 c Got one! Elapsed wall clock time (in seconds):3.221 4.92/3.43 o 1704 5.24/3.73 c Got one! Elapsed wall clock time (in seconds):3.528 5.24/3.73 o 1672 5.55/4.05 c Got one! Elapsed wall clock time (in seconds):3.845 5.55/4.05 o 1670 6.01/4.41 c Got one! Elapsed wall clock time (in seconds):4.208 6.01/4.41 o 1668 6.31/4.75 c Got one! Elapsed wall clock time (in seconds):4.545 6.31/4.75 o 1664 6.76/5.13 c Got one! Elapsed wall clock time (in seconds):4.93 6.76/5.13 o 1656 7.16/5.51 c Got one! Elapsed wall clock time (in seconds):5.305 7.16/5.51 o 1640 7.59/5.93 c Got one! Elapsed wall clock time (in seconds):5.725 7.59/5.93 o 1638 7.99/6.34 c Got one! Elapsed wall clock time (in seconds):6.136 7.99/6.34 o 1606 8.54/6.83 c Got one! Elapsed wall clock time (in seconds):6.625 8.54/6.83 o 1590 8.94/7.28 c Got one! Elapsed wall clock time (in seconds):7.074 8.94/7.28 o 1578 9.57/7.82 c Got one! Elapsed wall clock time (in seconds):7.616 9.57/7.82 o 1514 10.16/8.41 c Got one! Elapsed wall clock time (in seconds):8.21 10.16/8.41 o 1482 10.79/9.08 c Got one! Elapsed wall clock time (in seconds):8.88 10.79/9.08 o 1456 11.52/9.73 c Got one! Elapsed wall clock time (in seconds):9.53 11.52/9.73 o 1360 12.11/10.33 c Got one! Elapsed wall clock time (in seconds):10.121 12.11/10.33 o 1200 12.75/11.00 c Got one! Elapsed wall clock time (in seconds):10.796 12.75/11.00 o 1192 13.60/11.75 c Got one! Elapsed wall clock time (in seconds):11.543 13.60/11.75 o 1064 14.29/12.45 c Got one! Elapsed wall clock time (in seconds):12.25 14.29/12.45 o 998 15.30/13.49 c Got one! Elapsed wall clock time (in seconds):13.281 15.30/13.49 o 942 16.23/14.36 c Got one! Elapsed wall clock time (in seconds):14.148 16.23/14.36 o 894 17.14/15.21 c Got one! Elapsed wall clock time (in seconds):15.007 17.14/15.21 o 892 18.04/16.12 c Got one! Elapsed wall clock time (in seconds):15.912 18.04/16.12 o 846 18.96/17.00 c Got one! Elapsed wall clock time (in seconds):16.797 18.96/17.00 o 770 19.87/17.90 c Got one! Elapsed wall clock time (in seconds):17.693 19.87/17.90 o 750 20.77/18.80 c Got one! Elapsed wall clock time (in seconds):18.597 20.77/18.80 o 722 21.68/19.74 c Got one! Elapsed wall clock time (in seconds):19.54 21.68/19.74 o 702 22.79/20.88 c Got one! Elapsed wall clock time (in seconds):20.674 22.79/20.88 o 644 23.91/21.90 c Got one! Elapsed wall clock time (in seconds):21.699 23.91/21.90 o 638 24.91/22.95 c Got one! Elapsed wall clock time (in seconds):22.746 24.91/22.95 o 626 26.02/24.04 c Got one! Elapsed wall clock time (in seconds):23.838 26.02/24.04 o 606 27.23/25.27 c Got one! Elapsed wall clock time (in seconds):25.061 27.23/25.27 o 604 28.54/26.55 c Got one! Elapsed wall clock time (in seconds):26.344 28.54/26.55 o 596 29.81/27.74 c Got one! Elapsed wall clock time (in seconds):27.531 29.81/27.74 o 468 32.36/30.23 c Got one! Elapsed wall clock time (in seconds):30.028 32.36/30.23 o 429 38.54/36.33 c Got one! Elapsed wall clock time (in seconds):36.121 38.54/36.33 o 419 40.87/38.67 c Got one! Elapsed wall clock time (in seconds):38.467 40.87/38.67 o 409 44.51/42.21 c Got one! Elapsed wall clock time (in seconds):42.0 44.51/42.21 o 407 47.84/45.58 c Got one! Elapsed wall clock time (in seconds):45.371 47.84/45.58 o 405 51.59/49.20 c Got one! Elapsed wall clock time (in seconds):48.997 51.59/49.20 o 404 53.91/51.60 c Got one! Elapsed wall clock time (in seconds):51.396 53.91/51.60 o 403 66.47/63.94 c Got one! Elapsed wall clock time (in seconds):63.731 66.47/63.94 o 402 69.02/66.46 c Got one! Elapsed wall clock time (in seconds):66.258 69.02/66.46 o 385 73.25/70.62 c Got one! Elapsed wall clock time (in seconds):70.41 73.25/70.62 o 382 75.87/73.23 c Got one! Elapsed wall clock time (in seconds):73.025 75.87/73.23 o 381 78.70/76.05 c Got one! Elapsed wall clock time (in seconds):75.85 78.70/76.06 o 328 97.00/94.16 c Got one! Elapsed wall clock time (in seconds):93.958 97.00/94.17 o 324 101.06/98.17 c Got one! Elapsed wall clock time (in seconds):97.969 101.06/98.17 o 318 104.00/101.09 c Got one! Elapsed wall clock time (in seconds):100.89 104.00/101.09 o 312 110.57/107.50 c Got one! Elapsed wall clock time (in seconds):107.295 110.57/107.50 o 306 115.31/112.25 c Got one! Elapsed wall clock time (in seconds):112.046 115.31/112.25 o 304 121.26/118.17 c Got one! Elapsed wall clock time (in seconds):117.96 121.26/118.17 o 296 131.44/128.28 c Got one! Elapsed wall clock time (in seconds):128.078 131.44/128.28 o 272 136.21/132.94 c Got one! Elapsed wall clock time (in seconds):132.738 136.21/132.94 o 260 143.67/140.33 c Got one! Elapsed wall clock time (in seconds):140.13 143.67/140.33 o 256 148.12/144.80 c Got one! Elapsed wall clock time (in seconds):144.59 148.12/144.80 o 253 153.26/149.82 c Got one! Elapsed wall clock time (in seconds):149.617 153.26/149.82 o 251 158.10/154.60 c Got one! Elapsed wall clock time (in seconds):154.396 158.10/154.60 o 239 164.27/160.73 c Got one! Elapsed wall clock time (in seconds):160.527 164.27/160.73 o 237 171.44/167.80 c Got one! Elapsed wall clock time (in seconds):167.594 171.44/167.80 o 235 176.29/172.64 c Got one! Elapsed wall clock time (in seconds):172.433 176.29/172.64 o 233 183.58/179.87 c Got one! Elapsed wall clock time (in seconds):179.664 183.58/179.87 o 231 191.95/188.17 c Got one! Elapsed wall clock time (in seconds):187.961 191.95/188.17 o 223 218.19/214.15 c Got one! Elapsed wall clock time (in seconds):213.946 218.19/214.15 o 222 234.03/229.81 c Got one! Elapsed wall clock time (in seconds):229.61 234.03/229.81 o 221 247.75/243.48 c Got one! Elapsed wall clock time (in seconds):243.28 247.75/243.49 o 220 273.22/268.63 c Got one! Elapsed wall clock time (in seconds):268.421 273.22/268.63 o 219 286.96/282.22 c Got one! Elapsed wall clock time (in seconds):282.019 286.96/282.22 o 210 299.52/294.66 c Got one! Elapsed wall clock time (in seconds):294.455 299.52/294.66 o 199 344.13/338.70 c Got one! Elapsed wall clock time (in seconds):338.498 344.13/338.70 o 197 369.74/364.04 c Got one! Elapsed wall clock time (in seconds):363.838 369.74/364.04 o 194 388.97/383.04 c Got one! Elapsed wall clock time (in seconds):382.837 388.97/383.04 o 190 411.54/405.39 c Got one! Elapsed wall clock time (in seconds):405.181 411.54/405.39 o 186 420.86/414.54 c Got one! Elapsed wall clock time (in seconds):414.339 420.86/414.54 o 182 462.59/455.73 c Got one! Elapsed wall clock time (in seconds):455.529 462.59/455.73 o 170 471.83/464.86 c Got one! Elapsed wall clock time (in seconds):464.657 471.83/464.86 o 168 481.26/474.17 c Got one! Elapsed wall clock time (in seconds):473.969 481.26/474.17 o 160 513.34/505.82 c Got one! Elapsed wall clock time (in seconds):505.612 513.34/505.82 o 158 581.64/572.99 c Got one! Elapsed wall clock time (in seconds):572.782 581.64/572.99 o 155 621.31/612.01 c Got one! Elapsed wall clock time (in seconds):611.807 621.31/612.01 o 136 740.92/729.88 c Got one! Elapsed wall clock time (in seconds):729.675 740.92/729.88 o 133 1079.09/1062.05 c Got one! Elapsed wall clock time (in seconds):1061.842 1079.09/1062.05 o 129 1358.59/1336.08 c Got one! Elapsed wall clock time (in seconds):1335.878 1358.59/1336.08 o 120 1479.07/1454.16 c Got one! Elapsed wall clock time (in seconds):1453.955 1479.07/1454.16 o 119 1558.03/1531.47 c Got one! Elapsed wall clock time (in seconds):1531.263 1558.03/1531.47 o 109 1800.07/1768.11 c starts : 184 1800.07/1768.11 c conflicts : 46870 1800.07/1768.11 c decisions : 91036 1800.07/1768.11 c propagations : 590501 1800.07/1768.11 c inspects : 677602911 1800.07/1768.11 c learnt literals : 0 1800.07/1768.11 c learnt binary clauses : 0 1800.07/1768.11 c learnt ternary clauses : 0 1800.07/1768.11 c learnt clauses : 46869 1800.07/1768.11 c root simplifications : 0 1800.07/1768.11 c removed literals (reason simplification) : 0 1800.07/1768.11 c reason swapping (by a shorter reason) : 0 1800.07/1768.11 c Calls to reduceDB : 0 1800.07/1768.11 c speed (decisions/second) : 384.7025016903313 1800.07/1768.11 c non guided choices 2024 1800.07/1768.11 s SATISFIABLE 1800.07/1768.11 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 x28 -x29 1800.07/1768.11 v x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 x45 -x46 -x47 -x48 -x49 x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 1800.07/1768.11 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 1800.07/1768.11 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 1800.07/1768.11 v x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 x118 x119 x120 x121 -x122 x123 x124 -x125 x126 -x127 x128 x129 -x130 -x131 1800.07/1768.11 v x132 x133 -x134 x135 -x136 -x137 x138 x139 -x140 x141 -x142 x143 x144 -x145 -x146 1800.07/1768.11 c objective function=109 1800.07/1768.11 c Total wall clock time (ms): 1767.907
OK 109
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-354844-1176728251 -o ROOT/results/node17/solver-354844-1176728251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354844-1176728251/sat4jPseudoCPClause.jar /tmp/evaluation/354844-1176728251/instance-354844-1176728251.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: 0.72 0.93 0.98 3/77 6700 /proc/meminfo: memFree=1834240/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=0 CPUtime=0 /proc/6700/stat : 6700 (runsolver) R 6698 6700 6637 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 120742646 0 0 18446744073709551615 0 0 0 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0 /proc/6700/statm: 0 0 0 0 0 0 0 [startup+0.09197 s] /proc/loadavg: 0.72 0.93 0.98 3/77 6700 /proc/meminfo: memFree=1834240/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1777844 CPUtime=0.07 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 3862 0 1 0 5 2 0 0 18 0 7 0 120742646 1820512256 3605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 444461 3605 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.101972 s] /proc/loadavg: 0.72 0.93 0.98 3/77 6700 /proc/meminfo: memFree=1834240/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1780112 CPUtime=0.08 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 3969 0 1 0 6 2 0 0 18 0 12 0 120742646 1822834688 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 445028 3711 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.301987 s] /proc/loadavg: 0.72 0.93 0.98 3/77 6700 /proc/meminfo: memFree=1834240/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1782072 CPUtime=0.31 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 5140 0 1 0 28 3 0 0 18 0 12 0 120742646 1824841728 4879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 445518 4879 1266 9 0 443129 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782072 [startup+0.701033 s] /proc/loadavg: 0.72 0.93 0.98 3/77 6700 /proc/meminfo: memFree=1834240/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1793148 CPUtime=1 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 10448 0 1 0 96 4 0 0 18 0 13 0 120742646 1836183552 8724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448287 8725 1303 9 0 445898 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 1793148 [startup+1.50212 s] /proc/loadavg: 0.72 0.93 0.98 4/90 6713 /proc/meminfo: memFree=1797336/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1796428 CPUtime=2.6 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 25815 0 1 0 247 13 0 0 18 0 13 0 120742646 1839542272 19564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 449107 19565 1315 9 0 446718 0 [pid=6700/tid=6702] ppid=6698 vsize=1796428 CPUtime=0.78 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 15205 0 1 0 70 8 0 0 21 0 13 0 120742648 1839542272 19565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109495436 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 120742649 1839542272 19566 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 120742649 1839542272 19566 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 120742652 1839542272 19566 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 120742652 1839542272 19566 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 120742652 1839542272 19566 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1839542272 19567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1796428 CPUtime=0.74 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3442 0 0 0 73 1 0 0 17 0 13 0 120742656 1839542272 19567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1796428 CPUtime=1.05 /proc/6700/task/6710/stat : 6710 (java) R 6698 6700 6637 0 -1 64 6445 0 0 0 103 2 0 0 18 0 13 0 120742656 1839542272 19567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336770 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1839542272 19568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1839542272 19569 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6713] ppid=6698 vsize=1796428 CPUtime=0 /proc/6700/task/6713/stat : 6713 (java) S 6698 6700 6637 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120742677 1839542272 19570 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 1796428 [startup+3.10229 s] /proc/loadavg: 0.72 0.93 0.98 2/90 6715 /proc/meminfo: memFree=1695376/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794804 CPUtime=4.62 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 51181 0 1 0 438 24 0 0 18 0 13 0 120742646 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448701 43158 1325 9 0 446312 0 [pid=6700/tid=6702] ppid=6698 vsize=1794804 CPUtime=2.19 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 37733 0 1 0 201 18 0 0 25 0 13 0 120742648 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109514693 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794804 CPUtime=0.02 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 687 0 0 0 2 0 0 0 16 0 13 0 120742649 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794804 CPUtime=0.01 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 616 0 0 0 1 0 0 0 16 0 13 0 120742649 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794804 CPUtime=0 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120742652 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794804 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794804 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 120742652 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794804 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794804 CPUtime=0.94 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3484 0 0 0 93 1 0 0 16 0 13 0 120742656 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794804 CPUtime=1.42 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 7928 0 0 0 139 3 0 0 16 0 13 0 120742656 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794804 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794804 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837879296 43158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.62 Current children cumulated vsize (KiB) 1794804 [startup+6.30162 s] /proc/loadavg: 0.74 0.94 0.98 2/90 6725 /proc/meminfo: memFree=1664184/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794508 CPUtime=7.99 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 55209 0 1 0 773 26 0 0 18 0 13 0 120742646 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448627 45560 1327 9 0 446238 0 [pid=6700/tid=6702] ppid=6698 vsize=1794508 CPUtime=5.25 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 37745 0 1 0 507 18 0 0 19 0 13 0 120742648 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109493536 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794508 CPUtime=0.11 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 2757 0 0 0 11 0 0 0 16 0 13 0 120742649 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794508 CPUtime=0.11 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 2525 0 0 0 10 1 0 0 16 0 13 0 120742649 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794508 CPUtime=0 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 120742652 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794508 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 120742652 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794508 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 120742652 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794508 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794508 CPUtime=1.01 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3491 0 0 0 100 1 0 0 16 0 13 0 120742656 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794508 CPUtime=1.45 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 7930 0 0 0 142 3 0 0 16 0 13 0 120742656 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794508 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794508 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837576192 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.99 Current children cumulated vsize (KiB) 1794508 [startup+12.7023 s] /proc/loadavg: 0.76 0.94 0.98 2/90 6737 /proc/meminfo: memFree=1623056/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794832 CPUtime=14.59 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 64070 0 1 0 1429 30 0 0 18 0 13 0 120742646 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448708 53815 1335 9 0 446319 0 [pid=6700/tid=6702] ppid=6698 vsize=1794832 CPUtime=11.47 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 39528 0 1 0 1128 19 0 0 18 0 13 0 120742648 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109493254 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794832 CPUtime=0.26 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 6567 0 0 0 24 2 0 0 16 0 13 0 120742649 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794832 CPUtime=0.27 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 5751 0 0 0 24 3 0 0 16 0 13 0 120742649 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794832 CPUtime=1.03 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3493 0 0 0 102 1 0 0 16 0 13 0 120742656 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794832 CPUtime=1.52 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 7945 0 0 0 149 3 0 0 17 0 13 0 120742656 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837907968 53815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.59 Current children cumulated vsize (KiB) 1794832 [startup+25.5016 s] /proc/loadavg: 0.81 0.94 0.98 2/90 6750 /proc/meminfo: memFree=1611960/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794832 CPUtime=27.53 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 67155 0 1 0 2721 32 0 0 18 0 13 0 120742646 1837907968 56553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448708 56553 1335 9 0 446319 0 [pid=6700/tid=6702] ppid=6698 vsize=1794832 CPUtime=24.12 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 39547 0 1 0 2393 19 0 0 18 0 13 0 120742648 1837907968 56553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109493440 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794832 CPUtime=0.39 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 8018 0 0 0 36 3 0 0 16 0 13 0 120742649 1837907968 56553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794832 CPUtime=0.39 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 7341 0 0 0 36 3 0 0 17 0 13 0 120742649 1837907968 56553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 120742652 1837907968 56553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 56553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 56553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=6700/tid=6705] ppid=6698 vsize=1794832 CPUtime=0.18 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 38 0 0 0 12 6 0 0 15 0 13 0 120742652 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794832 CPUtime=1.15 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3497 0 0 0 114 1 0 0 16 0 13 0 120742656 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794832 CPUtime=1.92 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 9920 0 0 0 189 3 0 0 16 0 13 0 120742656 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=7002] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/7002/stat : 7002 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 120895794 1837907968 131181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1569.15 Current children cumulated vsize (KiB) 1794832 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/90 7002 /proc/meminfo: memFree=1304200/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794832 CPUtime=1630.49 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 154522 0 1 0 162951 98 0 0 18 0 13 0 120742646 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448708 133025 1335 9 0 446319 0 [pid=6700/tid=6702] ppid=6698 vsize=1794832 CPUtime=1573.4 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 40410 0 1 0 157306 34 0 0 23 0 13 0 120742648 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109537968 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794832 CPUtime=26.88 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 55253 0 0 0 2662 26 0 0 16 0 13 0 120742649 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794832 CPUtime=26.87 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 44539 0 0 0 2664 23 0 0 16 0 13 0 120742649 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794832 CPUtime=0.19 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 38 0 0 0 12 7 0 0 15 0 13 0 120742652 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794832 CPUtime=1.15 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3497 0 0 0 114 1 0 0 16 0 13 0 120742656 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794832 CPUtime=1.92 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 9920 0 0 0 189 3 0 0 16 0 13 0 120742656 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=7002] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/7002/stat : 7002 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 120895794 1837907968 133025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1630.49 Current children cumulated vsize (KiB) 1794832 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 1.00 2/90 7002 /proc/meminfo: memFree=1296648/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794832 CPUtime=1691.84 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 156512 0 1 0 169085 99 0 0 18 0 13 0 120742646 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448708 134901 1335 9 0 446319 0 [pid=6700/tid=6702] ppid=6698 vsize=1794832 CPUtime=1632 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 40433 0 1 0 163166 34 0 0 23 0 13 0 120742648 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109496409 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794832 CPUtime=28.26 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 56807 0 0 0 2799 27 0 0 16 0 13 0 120742649 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794832 CPUtime=28.24 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 44952 0 0 0 2801 23 0 0 17 0 13 0 120742649 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794832 CPUtime=0.19 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 38 0 0 0 12 7 0 0 16 0 13 0 120742652 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794832 CPUtime=1.15 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3497 0 0 0 114 1 0 0 16 0 13 0 120742656 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794832 CPUtime=1.92 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 9920 0 0 0 189 3 0 0 16 0 13 0 120742656 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=7002] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/7002/stat : 7002 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 120895794 1837907968 134901 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1691.84 Current children cumulated vsize (KiB) 1794832 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 1.00 3/90 7002 /proc/meminfo: memFree=1289800/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794832 CPUtime=1753.21 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 158462 0 1 0 175220 101 0 0 18 0 13 0 120742646 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448708 136758 1335 9 0 446319 0 [pid=6700/tid=6702] ppid=6698 vsize=1794832 CPUtime=1690.58 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 40456 0 1 0 169023 35 0 0 23 0 13 0 120742648 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109730952 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794832 CPUtime=29.65 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 57564 0 0 0 2938 27 0 0 16 0 13 0 120742649 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794832 CPUtime=29.63 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 46122 0 0 0 2939 24 0 0 17 0 13 0 120742649 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794832 CPUtime=0.2 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 38 0 0 0 13 7 0 0 16 0 13 0 120742652 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794832 CPUtime=1.15 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3497 0 0 0 114 1 0 0 16 0 13 0 120742656 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794832 CPUtime=1.92 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 9920 0 0 0 189 3 0 0 16 0 13 0 120742656 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=7002] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/7002/stat : 7002 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 120895794 1837907968 136758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1753.21 Current children cumulated vsize (KiB) 1794832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1768.1 s] /proc/loadavg: 1.01 1.01 1.00 2/90 7002 /proc/meminfo: memFree=1283912/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=1794832 CPUtime=1800.07 /proc/6700/stat : 6700 (java) S 6698 6700 6637 0 -1 0 159869 0 1 0 179905 102 0 0 18 0 13 0 120742646 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 448708 138067 1335 9 0 446319 0 [pid=6700/tid=6702] ppid=6698 vsize=1794832 CPUtime=1735.28 /proc/6700/task/6702/stat : 6702 (java) R 6698 6700 6637 0 -1 64 40473 0 1 0 173493 35 0 0 25 0 13 0 120742648 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109544568 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6703] ppid=6698 vsize=1794832 CPUtime=30.73 /proc/6700/task/6703/stat : 6703 (java) S 6698 6700 6637 0 -1 64 57973 0 0 0 3046 27 0 0 17 0 13 0 120742649 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=6704] ppid=6698 vsize=1794832 CPUtime=30.71 /proc/6700/task/6704/stat : 6704 (java) S 6698 6700 6637 0 -1 64 47103 0 0 0 3047 24 0 0 16 0 13 0 120742649 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6705] ppid=6698 vsize=1794832 CPUtime=0.2 /proc/6700/task/6705/stat : 6705 (java) S 6698 6700 6637 0 -1 64 38 0 0 0 13 7 0 0 16 0 13 0 120742652 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6706] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6706/stat : 6706 (java) S 6698 6700 6637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6707] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6707/stat : 6707 (java) S 6698 6700 6637 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 120742652 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6708] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6708/stat : 6708 (java) S 6698 6700 6637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120742656 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6709] ppid=6698 vsize=1794832 CPUtime=1.15 /proc/6700/task/6709/stat : 6709 (java) S 6698 6700 6637 0 -1 64 3497 0 0 0 114 1 0 0 16 0 13 0 120742656 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6710] ppid=6698 vsize=1794832 CPUtime=1.92 /proc/6700/task/6710/stat : 6710 (java) S 6698 6700 6637 0 -1 64 9920 0 0 0 189 3 0 0 16 0 13 0 120742656 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6711] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6711/stat : 6711 (java) S 6698 6700 6637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120742656 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6700/tid=6712] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/6712/stat : 6712 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120742656 1837907968 138067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6700/tid=7002] ppid=6698 vsize=1794832 CPUtime=0 /proc/6700/task/7002/stat : 7002 (java) S 6698 6700 6637 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 120895794 1837907968 138067 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) 1794832 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1768.21 s] /proc/loadavg: 1.01 1.01 1.00 2/90 7002 /proc/meminfo: memFree=1283912/2055920 swapFree=4153072/4192956 [pid=6700] ppid=6698 vsize=0 CPUtime=1800.23 /proc/6700/stat : 6700 (java) Z 6698 6700 6637 0 -1 1036 159969 0 1 0 179921 102 0 0 16 0 2 0 120742646 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6700/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1768.3 CPU time (s): 1800.33 CPU user time (s): 1799.22 CPU system time (s): 1.11483 CPU usage (%): 101.812 Max. virtual memory (cumulated for all children) (KiB): 1798808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 1.11483 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159969 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= 44004 involuntary context switches= 46843 runsolver used 1.67075 second user time and 4.90825 second system time The end
Begin job on node17 on Mon Apr 16 12:57:31 UTC 2007 IDJOB= 354844 IDBENCH= 2908 IDSOLVER= 164 FILE ID= node17/354844-1176728251 PBS_JOBID= 4559513 Free space on /tmp= 66532 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354844-1176728251/sat4jPseudoCPClause.jar /tmp/evaluation/354844-1176728251/instance-354844-1176728251.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-354844-1176728251 -o ROOT/results/node17/solver-354844-1176728251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354844-1176728251/sat4jPseudoCPClause.jar /tmp/evaluation/354844-1176728251/instance-354844-1176728251.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED= 938314277 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1834712 kB Buffers: 36140 kB Cached: 111400 kB SwapCached: 2604 kB Active: 65488 kB Inactive: 105156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834712 kB SwapTotal: 4192956 kB SwapFree: 4153072 kB Dirty: 3808 kB Writeback: 0 kB Mapped: 30108 kB Slab: 36068 kB Committed_AS: 7003488 kB PageTables: 1796 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= 66532 MiB End job on node17 on Mon Apr 16 13:27:02 UTC 2007