Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 4 | 1800.23 | 1778.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb |
MD5SUM | 1757d8d914b8f8f6b2c05049538ae81a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 42.9535 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 44 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 869 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3118 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.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.14 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.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 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=10000.0 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/354996-1176743586/instance-354996-1176743586.opb 0.20/0.20 c reading problem ... 0.20/0.25 c ... done. Wall clock time 0.051s. 0.20/0.25 c CPU time (experimental) 0.21s. 0.20/0.25 c #vars 94 0.20/0.25 c #constraints 8 3.46/2.06 c SATISFIABLE 3.46/2.06 c OPTIMIZING... 3.46/2.06 c Got one! Elapsed wall clock time (in seconds):1.864 3.46/2.06 o 1371 4.52/2.70 c Got one! Elapsed wall clock time (in seconds):2.503 4.52/2.70 o 1363 4.93/3.19 c Got one! Elapsed wall clock time (in seconds):2.987 4.93/3.19 o 1355 5.47/3.66 c Got one! Elapsed wall clock time (in seconds):3.457 5.47/3.66 o 1339 5.99/4.13 c Got one! Elapsed wall clock time (in seconds):3.933 5.99/4.13 o 1307 6.49/4.66 c Got one! Elapsed wall clock time (in seconds):4.461 6.49/4.66 o 1171 7.01/5.14 c Got one! Elapsed wall clock time (in seconds):4.942 7.01/5.14 o 1091 7.54/5.67 c Got one! Elapsed wall clock time (in seconds):5.472 7.54/5.67 o 1085 8.16/6.23 c Got one! Elapsed wall clock time (in seconds):6.027 8.16/6.23 o 1081 8.79/6.82 c Got one! Elapsed wall clock time (in seconds):6.616 8.79/6.82 o 1049 9.30/7.36 c Got one! Elapsed wall clock time (in seconds):7.164 9.30/7.36 o 1037 9.96/7.96 c Got one! Elapsed wall clock time (in seconds):7.758 9.96/7.96 o 1035 10.58/8.59 c Got one! Elapsed wall clock time (in seconds):8.39 10.58/8.59 o 1033 11.29/9.22 c Got one! Elapsed wall clock time (in seconds):9.018 11.29/9.22 o 1029 11.91/9.88 c Got one! Elapsed wall clock time (in seconds):9.683 11.91/9.88 o 1015 12.62/10.56 c Got one! Elapsed wall clock time (in seconds):10.36 12.62/10.56 o 1013 13.31/11.23 c Got one! Elapsed wall clock time (in seconds):11.033 13.31/11.23 o 1011 14.04/11.94 c Got one! Elapsed wall clock time (in seconds):11.744 14.04/11.94 o 1009 14.95/12.80 c Got one! Elapsed wall clock time (in seconds):12.601 14.95/12.80 o 805 15.76/13.64 c Got one! Elapsed wall clock time (in seconds):13.441 15.76/13.64 o 767 16.56/14.42 c Got one! Elapsed wall clock time (in seconds):14.219 16.56/14.42 o 763 17.37/15.22 c Got one! Elapsed wall clock time (in seconds):15.024 17.37/15.22 o 761 18.18/16.06 c Got one! Elapsed wall clock time (in seconds):15.856 18.18/16.06 o 753 19.29/17.16 c Got one! Elapsed wall clock time (in seconds):16.962 19.29/17.16 o 749 20.35/18.12 c Got one! Elapsed wall clock time (in seconds):17.917 20.35/18.12 o 733 21.28/19.06 c Got one! Elapsed wall clock time (in seconds):18.855 21.28/19.06 o 719 22.29/20.03 c Got one! Elapsed wall clock time (in seconds):19.83 22.29/20.03 o 703 23.21/20.99 c Got one! Elapsed wall clock time (in seconds):20.789 23.21/20.99 o 689 24.21/21.99 c Got one! Elapsed wall clock time (in seconds):21.789 24.21/21.99 o 687 25.43/23.19 c Got one! Elapsed wall clock time (in seconds):22.985 25.43/23.19 o 647 26.64/24.31 c Got one! Elapsed wall clock time (in seconds):24.111 26.64/24.31 o 591 27.74/25.41 c Got one! Elapsed wall clock time (in seconds):25.209 27.74/25.41 o 575 28.85/26.54 c Got one! Elapsed wall clock time (in seconds):26.338 28.85/26.54 o 573 30.07/27.75 c Got one! Elapsed wall clock time (in seconds):27.553 30.07/27.75 o 483 31.38/29.08 c Got one! Elapsed wall clock time (in seconds):28.878 31.38/29.08 o 373 32.69/30.31 c Got one! Elapsed wall clock time (in seconds):30.105 32.69/30.31 o 371 34.00/31.61 c Got one! Elapsed wall clock time (in seconds):31.412 34.00/31.61 o 362 35.31/32.97 c Got one! Elapsed wall clock time (in seconds):32.765 35.31/32.97 o 360 37.42/35.00 c Got one! Elapsed wall clock time (in seconds):34.801 37.42/35.00 o 250 38.93/36.51 c Got one! Elapsed wall clock time (in seconds):36.312 38.93/36.51 o 169 40.45/38.02 c Got one! Elapsed wall clock time (in seconds):37.817 40.45/38.02 o 109 41.97/39.55 c Got one! Elapsed wall clock time (in seconds):39.353 41.97/39.55 o 95 43.78/41.37 c Got one! Elapsed wall clock time (in seconds):41.165 43.78/41.37 o 90 45.39/42.98 c Got one! Elapsed wall clock time (in seconds):42.784 45.39/42.98 o 89 48.42/45.94 c Got one! Elapsed wall clock time (in seconds):45.741 48.42/45.94 o 83 50.65/48.17 c Got one! Elapsed wall clock time (in seconds):47.966 50.65/48.17 o 73 53.37/50.85 c Got one! Elapsed wall clock time (in seconds):50.653 53.37/50.85 o 56 55.79/53.20 c Got one! Elapsed wall clock time (in seconds):53.0 55.79/53.20 o 54 57.91/55.38 c Got one! Elapsed wall clock time (in seconds):55.184 57.91/55.38 o 52 62.05/59.46 c Got one! Elapsed wall clock time (in seconds):59.257 62.05/59.46 o 51 64.57/61.91 c Got one! Elapsed wall clock time (in seconds):61.705 64.57/61.91 o 48 74.69/71.90 c Got one! Elapsed wall clock time (in seconds):71.699 74.69/71.90 o 43 84.78/81.97 c Got one! Elapsed wall clock time (in seconds):81.765 84.78/81.97 o 37 89.74/86.82 c Got one! Elapsed wall clock time (in seconds):86.62 89.74/86.82 o 34 93.26/90.39 c Got one! Elapsed wall clock time (in seconds):90.186 93.26/90.39 o 27 100.12/97.12 c Got one! Elapsed wall clock time (in seconds):96.916 100.12/97.12 o 26 121.00/117.85 c Got one! Elapsed wall clock time (in seconds):117.65 121.00/117.85 o 22 128.77/125.51 c Got one! Elapsed wall clock time (in seconds):125.312 128.77/125.51 o 20 153.62/150.16 c Got one! Elapsed wall clock time (in seconds):149.961 153.62/150.16 o 9 221.87/217.73 c Got one! Elapsed wall clock time (in seconds):217.532 221.87/217.73 o 6 236.72/232.42 c Got one! Elapsed wall clock time (in seconds):232.221 236.72/232.42 o 4 1800.08/1777.91 c starts : 124 1800.08/1777.91 c conflicts : 25636 1800.08/1777.91 c decisions : 49397 1800.08/1777.91 c propagations : 219542 1800.08/1777.91 c inspects : 341166374 1800.08/1777.91 c learnt literals : 0 1800.08/1777.91 c learnt binary clauses : 0 1800.08/1777.91 c learnt ternary clauses : 0 1800.08/1777.91 c learnt clauses : 25635 1800.08/1777.91 c root simplifications : 0 1800.08/1777.91 c removed literals (reason simplification) : 0 1800.08/1777.91 c reason swapping (by a shorter reason) : 0 1800.08/1777.91 c Calls to reduceDB : 0 1800.08/1777.91 c speed (decisions/second) : 31.9620521401317 1800.08/1777.91 c non guided choices 868 1800.08/1777.91 s SATISFIABLE 1800.08/1777.91 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 1800.08/1777.91 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 1800.08/1777.91 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 1800.08/1777.91 v x82 x83 -x84 x85 -x86 x87 x88 x89 x90 x91 -x92 x93 -x94 1800.08/1777.91 c objective function=4 1800.08/1777.91 c Total wall clock time (ms): 1777.713
OK 4
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-354996-1176743586 -o ROOT/results/node60/solver-354996-1176743586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354996-1176743586/sat4jPseudoCP.jar /tmp/evaluation/354996-1176743586/instance-354996-1176743586.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.92 1.00 0.99 3/64 21873 /proc/meminfo: memFree=1882760/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=272 CPUtime=0 /proc/21873/stat : 21873 (java) D 21871 21873 21171 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 122268541 278528 37 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 5534500 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/21873/statm: 77 39 29 9 0 6 0 [startup+0.0282851 s] /proc/loadavg: 0.92 1.00 0.99 3/64 21873 /proc/meminfo: memFree=1882760/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1773596 CPUtime=0.01 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 2513 0 1 0 0 1 0 0 18 0 3 0 122268541 1816162304 2263 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 443399 2263 387 9 0 441413 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1773596 [startup+0.100936 s] /proc/loadavg: 0.92 1.00 0.99 3/64 21873 /proc/meminfo: memFree=1882760/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1780108 CPUtime=0.08 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 3972 0 1 0 6 2 0 0 18 0 12 0 122268541 1822830592 3714 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 445027 3714 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301952 s] /proc/loadavg: 0.92 1.00 0.99 3/64 21873 /proc/meminfo: memFree=1882760/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1781744 CPUtime=0.3 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 5132 0 1 0 27 3 0 0 18 0 13 0 122268541 1824505856 4871 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 445436 4871 1258 9 0 443048 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1781744 [startup+0.701997 s] /proc/loadavg: 0.92 1.00 0.99 3/64 21873 /proc/meminfo: memFree=1882760/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1789152 CPUtime=1.01 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 9897 0 1 0 97 4 0 0 18 0 13 0 122268541 1832091648 8285 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 447288 8287 1294 9 0 444900 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1789152 [startup+1.50208 s] /proc/loadavg: 0.92 1.00 0.99 4/77 21886 /proc/meminfo: memFree=1843232/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1791912 CPUtime=2.47 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 22412 0 1 0 237 10 0 0 18 0 13 0 122268541 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 447978 17256 1305 9 0 445590 0 [pid=21873/tid=21875] ppid=21871 vsize=1791912 CPUtime=0.8 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 13959 0 1 0 74 6 0 0 19 0 13 0 122268542 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 122268543 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 122268543 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 122268546 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 122268546 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 122268546 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1791912 CPUtime=0.87 /proc/21873/task/21882/stat : 21882 (java) R 21871 21873 21171 0 -1 64 4070 0 0 0 86 1 0 0 19 0 13 0 122268550 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104722957 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1791912 CPUtime=0.77 /proc/21873/task/21883/stat : 21883 (java) R 21871 21873 21171 0 -1 64 3661 0 0 0 76 1 0 0 16 0 13 0 122268550 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102246607 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21886] ppid=21871 vsize=1791912 CPUtime=0 /proc/21873/task/21886/stat : 21886 (java) S 21871 21873 21171 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 122268567 1834917888 17256 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 1791912 [startup+3.10222 s] /proc/loadavg: 0.92 1.00 0.99 3/77 21887 /proc/meminfo: memFree=1762520/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1793704 CPUtime=4.93 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 52065 0 1 0 471 22 0 0 18 0 13 0 122268541 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448426 42001 1324 9 0 446038 0 [pid=21873/tid=21875] ppid=21871 vsize=1793704 CPUtime=2.11 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 37710 0 1 0 196 15 0 0 25 0 13 0 122268542 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109485337 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 126 0 0 0 0 0 0 0 17 0 13 0 122268543 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 218 0 0 0 0 0 0 0 17 0 13 0 122268543 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 122268546 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122268546 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1793704 CPUtime=1.52 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6867 0 0 0 149 3 0 0 16 0 13 0 122268550 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1793704 CPUtime=1.26 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6415 0 0 0 124 2 0 0 16 0 13 0 122268550 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1793704 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1836752896 42001 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.93 Current children cumulated vsize (KiB) 1793704 [startup+6.30254 s] /proc/loadavg: 1.01 1.02 1.00 2/77 21893 /proc/meminfo: memFree=1714880/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1793576 CPUtime=8.27 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 55685 0 1 0 804 23 0 0 18 0 13 0 122268541 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448394 44473 1325 9 0 446006 0 [pid=21873/tid=21875] ppid=21871 vsize=1793576 CPUtime=5.2 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 37723 0 1 0 505 15 0 0 17 0 13 0 122268542 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109488680 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1793576 CPUtime=0.07 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 1890 0 0 0 7 0 0 0 17 0 13 0 122268543 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1793576 CPUtime=0.08 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 2029 0 0 0 8 0 0 0 16 0 13 0 122268543 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 122268546 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 122268546 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 7 0 0 0 0 0 0 0 15 0 13 0 122268546 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1793576 CPUtime=1.55 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6870 0 0 0 152 3 0 0 16 0 13 0 122268550 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1793576 CPUtime=1.32 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6418 0 0 0 130 2 0 0 17 0 13 0 122268550 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1836621824 44473 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.27 Current children cumulated vsize (KiB) 1793576 [startup+12.7022 s] /proc/loadavg: 1.01 1.02 1.00 2/77 21904 /proc/meminfo: memFree=1671952/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1793576 CPUtime=14.85 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 65695 0 1 0 1457 28 0 0 18 0 13 0 122268541 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448394 53953 1332 9 0 446006 0 [pid=21873/tid=21875] ppid=21871 vsize=1793576 CPUtime=11.44 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 41398 0 1 0 1127 17 0 0 22 0 13 0 122268542 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109469281 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1793576 CPUtime=0.19 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 4896 0 0 0 18 1 0 0 16 0 13 0 122268543 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1793576 CPUtime=0.19 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 5336 0 0 0 18 1 0 0 16 0 13 0 122268543 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 122268546 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 122268546 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1793576 CPUtime=1.59 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6876 0 0 0 156 3 0 0 16 0 13 0 122268550 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1793576 CPUtime=1.36 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6419 0 0 0 134 2 0 0 17 0 13 0 122268550 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21904] ppid=21871 vsize=1793576 CPUtime=0 /proc/21873/task/21904/stat : 21904 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 122269736 1836621824 53953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.85 Current children cumulated vsize (KiB) 1793576 [startup+25.5014 s] /proc/loadavg: 1.00 1.02 1.00 2/77 21917 /proc/meminfo: memFree=1670320/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1792280 CPUtime=27.84 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 68769 0 1 0 2754 30 0 0 18 0 13 0 122268541 1835294720 54077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448070 54077 1334 9 0 445682 0 [pid=21873/tid=21875] ppid=21871 vsize=1792280 CPUtime=24.1 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 41419 0 1 0 2392 18 0 0 17 0 13 0 122268542 1835294720 54077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109556787 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1792280 CPUtime=0.31 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 6358 0 0 0 29 2 0 0 16 0 13 0 122268543 1835294720 54077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1792280 CPUtime=0.31 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 6894 0 0 0 29 2 0 0 16 0 13 0 122268543 1835294720 54077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1792280 CPUtime=0 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 122268546 1835294720 54077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1792280 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1835294720 54077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=21873/tid=21878] ppid=21871 vsize=1792604 CPUtime=0.19 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 86 0 0 0 13 6 0 0 15 0 13 0 122268546 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 122268546 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1792604 CPUtime=1.7 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6886 0 0 0 167 3 0 0 16 0 13 0 122268550 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1792604 CPUtime=1.47 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6426 0 0 0 145 2 0 0 17 0 13 0 122268550 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21947] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21947/stat : 21947 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 122291784 1835626496 115589 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1561.79 Current children cumulated vsize (KiB) 1792604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 21949 /proc/meminfo: memFree=1416064/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1792604 CPUtime=1622.46 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 161291 0 1 0 162161 85 0 0 18 0 13 0 122268541 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448151 117349 1334 9 0 445763 0 [pid=21873/tid=21875] ppid=21871 vsize=1792604 CPUtime=1581.61 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 53336 0 1 0 158134 27 0 0 25 0 13 0 122268542 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109556152 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1792604 CPUtime=18.69 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 44057 0 0 0 1848 21 0 0 16 0 13 0 122268543 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1792604 CPUtime=18.74 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 49684 0 0 0 1850 24 0 0 16 0 13 0 122268543 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1792604 CPUtime=0.19 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 86 0 0 0 13 6 0 0 16 0 13 0 122268546 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 122268546 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1792604 CPUtime=1.7 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6886 0 0 0 167 3 0 0 16 0 13 0 122268550 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1792604 CPUtime=1.47 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6426 0 0 0 145 2 0 0 17 0 13 0 122268550 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21947] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21947/stat : 21947 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 122291784 1835626496 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1622.46 Current children cumulated vsize (KiB) 1792604 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 21949 /proc/meminfo: memFree=1409344/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1792604 CPUtime=1683.12 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 163274 0 1 0 168226 86 0 0 18 0 13 0 122268541 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448151 119033 1334 9 0 445763 0 [pid=21873/tid=21875] ppid=21871 vsize=1792604 CPUtime=1640.9 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 53355 0 1 0 164063 27 0 0 25 0 13 0 122268542 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109574234 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1792604 CPUtime=19.38 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 44722 0 0 0 1917 21 0 0 16 0 13 0 122268543 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1792604 CPUtime=19.43 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 50983 0 0 0 1918 25 0 0 16 0 13 0 122268543 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1792604 CPUtime=0.19 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 86 0 0 0 13 6 0 0 16 0 13 0 122268546 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 122268546 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1792604 CPUtime=1.7 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6886 0 0 0 167 3 0 0 16 0 13 0 122268550 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1792604 CPUtime=1.47 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6426 0 0 0 145 2 0 0 17 0 13 0 122268550 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21947] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21947/stat : 21947 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 122291784 1835626496 119033 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1683.12 Current children cumulated vsize (KiB) 1792604 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/77 21949 /proc/meminfo: memFree=1398656/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1792604 CPUtime=1743.79 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 168068 0 1 0 174290 89 0 0 18 0 13 0 122268541 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448151 121679 1334 9 0 445763 0 [pid=21873/tid=21875] ppid=21871 vsize=1792604 CPUtime=1700.2 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 53373 0 1 0 169993 27 0 0 25 0 13 0 122268542 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109485083 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1792604 CPUtime=20.05 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 46842 0 0 0 1982 23 0 0 16 0 13 0 122268543 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1792604 CPUtime=20.1 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 53637 0 0 0 1985 25 0 0 16 0 13 0 122268543 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1792604 CPUtime=0.2 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 88 0 0 0 14 6 0 0 16 0 13 0 122268546 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 122268546 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1792604 CPUtime=1.7 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6886 0 0 0 167 3 0 0 16 0 13 0 122268550 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1792604 CPUtime=1.47 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6426 0 0 0 145 2 0 0 17 0 13 0 122268550 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21947] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21947/stat : 21947 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 122291784 1835626496 121679 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1743.79 Current children cumulated vsize (KiB) 1792604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.9 s] /proc/loadavg: 1.02 1.01 1.00 2/77 21949 /proc/meminfo: memFree=1391936/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=1792604 CPUtime=1800.08 /proc/21873/stat : 21873 (java) S 21871 21873 21171 0 -1 0 169997 0 1 0 179918 90 0 0 18 0 13 0 122268541 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21873/statm: 448151 123352 1334 9 0 445763 0 [pid=21873/tid=21875] ppid=21871 vsize=1792604 CPUtime=1755.07 /proc/21873/task/21875/stat : 21875 (java) R 21871 21873 21171 0 -1 64 53392 0 1 0 175480 27 0 0 17 0 13 0 122268542 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109547893 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21876] ppid=21871 vsize=1792604 CPUtime=20.75 /proc/21873/task/21876/stat : 21876 (java) S 21871 21873 21171 0 -1 64 47534 0 0 0 2052 23 0 0 16 0 13 0 122268543 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21877] ppid=21871 vsize=1792604 CPUtime=20.81 /proc/21873/task/21877/stat : 21877 (java) S 21871 21873 21171 0 -1 64 54855 0 0 0 2056 25 0 0 16 0 13 0 122268543 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21878] ppid=21871 vsize=1792604 CPUtime=0.2 /proc/21873/task/21878/stat : 21878 (java) S 21871 21873 21171 0 -1 64 88 0 0 0 14 6 0 0 15 0 13 0 122268546 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21879] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21879/stat : 21879 (java) S 21871 21873 21171 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122268546 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21880] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21880/stat : 21880 (java) S 21871 21873 21171 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 122268546 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21881] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21881/stat : 21881 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122268550 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21882] ppid=21871 vsize=1792604 CPUtime=1.7 /proc/21873/task/21882/stat : 21882 (java) S 21871 21873 21171 0 -1 64 6886 0 0 0 167 3 0 0 16 0 13 0 122268550 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21883] ppid=21871 vsize=1792604 CPUtime=1.47 /proc/21873/task/21883/stat : 21883 (java) S 21871 21873 21171 0 -1 64 6426 0 0 0 145 2 0 0 17 0 13 0 122268550 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21884] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21884/stat : 21884 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122268550 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21873/tid=21885] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21885/stat : 21885 (java) S 21871 21873 21171 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 122268550 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21873/tid=21947] ppid=21871 vsize=1792604 CPUtime=0 /proc/21873/task/21947/stat : 21947 (java) S 21871 21873 21171 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 122291784 1835626496 123352 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1792604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1778.01 s] /proc/loadavg: 1.02 1.01 1.00 2/77 21949 /proc/meminfo: memFree=1391936/2055920 swapFree=4183756/4192956 [pid=21873] ppid=21871 vsize=0 CPUtime=1800.19 /proc/21873/stat : 21873 (java) Z 21871 21873 21171 0 -1 1036 170012 0 1 0 179925 94 0 0 15 0 2 0 122268541 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21873/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1778.05 CPU time (s): 1800.23 CPU user time (s): 1799.25 CPU system time (s): 0.976851 CPU usage (%): 101.248 Max. virtual memory (cumulated for all children) (KiB): 1798824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.25 system time used= 0.976851 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170012 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= 44002 involuntary context switches= 39118 runsolver used 1.77373 second user time and 4.72928 second system time The end
Begin job on node60 on Mon Apr 16 17:13:06 UTC 2007 IDJOB= 354996 IDBENCH= 2928 IDSOLVER= 160 FILE ID= node60/354996-1176743586 PBS_JOBID= 4580680 Free space on /tmp= 66545 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354996-1176743586/sat4jPseudoCP.jar /tmp/evaluation/354996-1176743586/instance-354996-1176743586.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-354996-1176743586 -o ROOT/results/node60/solver-354996-1176743586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354996-1176743586/sat4jPseudoCP.jar /tmp/evaluation/354996-1176743586/instance-354996-1176743586.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED= 959803908 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1883104 kB Buffers: 17324 kB Cached: 108404 kB SwapCached: 3812 kB Active: 52752 kB Inactive: 83668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1883104 kB SwapTotal: 4192956 kB SwapFree: 4183756 kB Dirty: 3580 kB Writeback: 0 kB Mapped: 15772 kB Slab: 22264 kB Committed_AS: 1488744 kB PageTables: 1464 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= 66545 MiB End job on node60 on Mon Apr 16 17:42:46 UTC 2007