Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | ? (TO) | 1800.19 | 1770.61 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb |
MD5SUM | f510e821cdc50f097865b59193d7ef06 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 203.491 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 677 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.24 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.24 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.24 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.25 c no version file found!!! 0.08/0.25 c sun.arch.data.model 32 0.08/0.25 c java.version 1.6.0 0.08/0.25 c os.name Linux 0.08/0.25 c os.version 2.6.9-22.EL.rootsmp 0.08/0.25 c os.arch i386 0.08/0.25 c Free memory 1651659224 0.08/0.25 c Max memory 1654456320 0.08/0.25 c Total memory 1654456320 0.08/0.25 c Number of processors 2 0.20/0.30 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.20/0.30 --- Begin Solver configuration --- 0.20/0.30 c Stops conflict analysis at the first Unique Implication Point 0.20/0.30 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.30 c Learn all clauses as in MiniSAT 0.20/0.30 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.30 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.30 c No reason simplification 0.20/0.30 c --- End Solver configuration --- 0.20/0.30 c Simplify asserted PB constraints to clauses 0.20/0.30 c solving /tmp/evaluation/360330-1176966684/instance-360330-1176966684.opb 0.20/0.30 c reading problem ... 1.05/0.99 c ... done. Wall clock time 0.69s. 1.05/0.99 c CPU time (experimental) 0.58s. 1.05/0.99 c #vars 231 1.05/0.99 c #constraints 2707 1800.07/1770.51 c starts : 2 1800.07/1770.51 c conflicts : 33692 1800.07/1770.51 c decisions : 169881 1800.07/1770.51 c propagations : 1205595 1800.07/1770.51 c inspects : 613025075 1800.07/1770.51 c learnt literals : 0 1800.07/1770.51 c learnt binary clauses : 0 1800.07/1770.51 c learnt ternary clauses : 1 1800.07/1770.51 c learnt clauses : 33691 1800.07/1770.51 c root simplifications : 0 1800.07/1770.51 c removed literals (reason simplification) : 0 1800.07/1770.51 c reason swapping (by a shorter reason) : 0 1800.07/1770.51 c Calls to reduceDB : 0 1800.07/1770.51 c speed (decisions/second) : 96.00416384810092 1800.07/1770.51 c non guided choices 121 1800.07/1770.51 s UNKNOWN 1800.07/1770.51 c Total wall clock time (ms): 1770.21
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-360330-1176966684 -o ROOT/results/node61/solver-360330-1176966684 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360330-1176966684/sat4jPseudoCPClause.jar /tmp/evaluation/360330-1176966684/instance-360330-1176966684.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.93 1.00 0.99 1/64 24167 /proc/meminfo: memFree=1799552/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=152 CPUtime=0 /proc/24167/stat : 24167 (java) D 24165 24167 23204 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 108632021 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 10384164 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/24167/statm: 38 26 19 9 0 4 0 [startup+0.013612 s] /proc/loadavg: 0.93 1.00 0.99 1/64 24167 /proc/meminfo: memFree=1799552/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=12056 CPUtime=0 /proc/24167/stat : 24167 (java) R 24165 24167 23204 0 -1 0 599 0 0 0 0 0 0 0 18 0 1 0 108632021 12345344 408 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 10355498 0 0 4096 0 0 0 0 17 1 0 0 /proc/24167/statm: 3014 409 140 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12056 [startup+0.101625 s] /proc/loadavg: 0.93 1.00 0.99 1/64 24167 /proc/meminfo: memFree=1799552/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1777844 CPUtime=0.07 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 3873 0 1 0 5 2 0 0 18 0 7 0 108632021 1820512256 3616 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 444461 3616 1096 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.301646 s] /proc/loadavg: 0.93 1.00 0.99 1/64 24167 /proc/meminfo: memFree=1799552/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1781412 CPUtime=0.2 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 4852 0 1 0 17 3 0 0 18 0 12 0 108632021 1824165888 4591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 445353 4591 1244 9 0 442964 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1781412 [startup+0.701682 s] /proc/loadavg: 0.93 1.00 0.99 1/64 24167 /proc/meminfo: memFree=1799552/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1782444 CPUtime=0.74 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 6345 0 1 0 71 3 0 0 18 0 12 0 108632021 1825222656 5911 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 445611 5911 1294 9 0 443222 0 Current children cumulated CPU time (s) 0.74 Current children cumulated vsize (KiB) 1782444 [startup+1.50176 s] /proc/loadavg: 0.93 1.00 0.99 3/77 24180 /proc/meminfo: memFree=1775512/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1786340 CPUtime=2.15 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 14505 0 1 0 207 8 0 0 18 0 13 0 108632021 1829212160 11898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 446585 11898 1312 9 0 444196 0 [pid=24167/tid=24169] ppid=24165 vsize=1786340 CPUtime=0.85 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 9782 0 1 0 80 5 0 0 18 0 13 0 108632023 1829212160 11899 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109215034 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 108632024 1829212160 11899 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 108632024 1829212160 11900 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108632026 1829212160 11900 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 108632027 1829212160 11901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 108632027 1829212160 11901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1829212160 11902 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1786340 CPUtime=0.66 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 2098 0 0 0 66 0 0 0 18 0 13 0 108632041 1829212160 11902 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1786340 CPUtime=0.6 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 1900 0 0 0 60 0 0 0 16 0 13 0 108632041 1829212160 11903 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1829212160 11903 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1829212160 11903 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1786340 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1829212160 11904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.15 Current children cumulated vsize (KiB) 1786340 [startup+3.10291 s] /proc/loadavg: 1.10 1.03 1.01 3/77 24180 /proc/meminfo: memFree=1724696/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1800620 CPUtime=4.59 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 51067 0 1 0 436 23 0 0 18 0 13 0 108632021 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 450155 43801 1325 9 0 447766 0 [pid=24167/tid=24169] ppid=24165 vsize=1800620 CPUtime=1.89 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 37712 0 1 0 173 16 0 0 25 0 13 0 108632023 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109744706 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 301 0 0 0 0 0 0 0 16 0 13 0 108632024 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 239 0 0 0 0 0 0 0 16 0 13 0 108632024 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 108632026 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1800620 CPUtime=1.27 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6335 0 0 0 125 2 0 0 16 0 13 0 108632041 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1800620 CPUtime=1.38 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 5750 0 0 0 136 2 0 0 16 0 13 0 108632041 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1800620 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1843834880 43801 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.59 Current children cumulated vsize (KiB) 1800620 [startup+6.30221 s] /proc/loadavg: 1.10 1.03 1.01 2/77 24180 /proc/meminfo: memFree=1621528/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1799012 CPUtime=7.96 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 53933 0 1 0 771 25 0 0 18 0 13 0 108632021 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449753 44615 1326 9 0 447364 0 [pid=24167/tid=24169] ppid=24165 vsize=1799012 CPUtime=4.95 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 37718 0 1 0 479 16 0 0 22 0 13 0 108632023 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109672107 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1799012 CPUtime=0.08 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 1800 0 0 0 8 0 0 0 17 0 13 0 108632024 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1799012 CPUtime=0.08 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 1581 0 0 0 8 0 0 0 16 0 13 0 108632024 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1799012 CPUtime=0 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 108632026 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1799012 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1799012 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1799012 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1799012 CPUtime=1.35 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6339 0 0 0 133 2 0 0 15 0 13 0 108632041 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1799012 CPUtime=1.42 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 5757 0 0 0 140 2 0 0 16 0 13 0 108632041 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1799012 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1799012 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1799012 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1842188288 44615 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.96 Current children cumulated vsize (KiB) 1799012 [startup+12.7028 s] /proc/loadavg: 1.08 1.03 1.00 2/77 24180 /proc/meminfo: memFree=1586264/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1796484 CPUtime=14.58 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 65023 0 1 0 1428 30 0 0 18 0 13 0 108632021 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449121 54377 1332 9 0 446732 0 [pid=24167/tid=24169] ppid=24165 vsize=1796484 CPUtime=11.16 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 39254 0 1 0 1099 17 0 0 24 0 13 0 108632023 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109570822 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1796484 CPUtime=0.26 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 7002 0 0 0 22 4 0 0 16 0 13 0 108632024 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1796484 CPUtime=0.26 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 5913 0 0 0 24 2 0 0 16 0 13 0 108632024 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 28 0 0 0 0 0 0 0 15 0 13 0 108632026 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1796484 CPUtime=1.37 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6339 0 0 0 135 2 0 0 16 0 13 0 108632041 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1796484 CPUtime=1.46 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 5764 0 0 0 144 2 0 0 16 0 13 0 108632041 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1839599616 54377 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.58 Current children cumulated vsize (KiB) 1796484 [startup+25.501 s] /proc/loadavg: 1.07 1.03 1.00 2/77 24180 /proc/meminfo: memFree=1569752/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1799416 CPUtime=27.84 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 70886 0 1 0 2751 33 0 0 18 0 13 0 108632021 1842601984 58547 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449854 58547 1333 9 0 447465 0 [pid=24167/tid=24169] ppid=24165 vsize=1799416 CPUtime=23.78 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 39266 0 1 0 2361 17 0 0 21 0 13 0 108632023 1842601984 58547 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109693931 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1799416 CPUtime=0.42 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 9240 0 0 0 37 5 0 0 16 0 13 0 108632024 1842601984 58547 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1799416 CPUtime=0.42 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 7834 0 0 0 40 2 0 0 16 0 13 0 108632024 1842601984 58547 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=24167] ppid=24165 vsize=1796484 CPUtime=1628.34 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 157725 0 1 0 162750 84 0 0 18 0 13 0 108632021 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449121 125780 1333 9 0 446732 0 [pid=24167/tid=24169] ppid=24165 vsize=1796484 CPUtime=1575.51 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 46367 0 1 0 157526 25 0 0 25 0 13 0 108632023 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109663514 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1796484 CPUtime=24.58 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 50438 0 0 0 2437 21 0 0 17 0 13 0 108632024 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1796484 CPUtime=24.6 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 46282 0 0 0 2438 22 0 0 16 0 13 0 108632024 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1796484 CPUtime=0.17 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 50 0 0 0 9 8 0 0 15 0 13 0 108632026 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1796484 CPUtime=1.68 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6413 0 0 0 166 2 0 0 18 0 13 0 108632041 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1796484 CPUtime=1.74 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 7452 0 0 0 171 3 0 0 16 0 13 0 108632041 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1839599616 125780 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1628.34 Current children cumulated vsize (KiB) 1796484 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/77 24182 /proc/meminfo: memFree=1291544/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1796484 CPUtime=1689.57 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 159841 0 1 0 168872 85 0 0 18 0 13 0 108632021 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449121 127816 1333 9 0 446732 0 [pid=24167/tid=24169] ppid=24165 vsize=1796484 CPUtime=1634.19 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 46389 0 1 0 163394 25 0 0 25 0 13 0 108632023 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109671761 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1796484 CPUtime=25.85 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 50687 0 0 0 2564 21 0 0 16 0 13 0 108632024 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1796484 CPUtime=25.87 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 48127 0 0 0 2565 22 0 0 16 0 13 0 108632024 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1796484 CPUtime=0.18 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 50 0 0 0 10 8 0 0 15 0 13 0 108632026 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1796484 CPUtime=1.68 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6413 0 0 0 166 2 0 0 18 0 13 0 108632041 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1796484 CPUtime=1.74 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 7452 0 0 0 171 3 0 0 16 0 13 0 108632041 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) R 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1839599616 127816 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1689.57 Current children cumulated vsize (KiB) 1796484 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 24182 /proc/meminfo: memFree=1285080/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1796484 CPUtime=1750.83 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 161612 0 1 0 174996 87 0 0 18 0 13 0 108632021 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449121 129419 1333 9 0 446732 0 [pid=24167/tid=24169] ppid=24165 vsize=1796484 CPUtime=1692.85 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 46411 0 1 0 169260 25 0 0 25 0 13 0 108632023 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109814648 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1796484 CPUtime=27.14 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 51051 0 0 0 2693 21 0 0 17 0 13 0 108632024 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1796484 CPUtime=27.17 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 49512 0 0 0 2694 23 0 0 16 0 13 0 108632024 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1796484 CPUtime=0.18 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 50 0 0 0 10 8 0 0 16 0 13 0 108632026 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1796484 CPUtime=1.68 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6413 0 0 0 166 2 0 0 18 0 13 0 108632041 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1796484 CPUtime=1.74 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 7452 0 0 0 171 3 0 0 16 0 13 0 108632041 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1839599616 129419 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1750.83 Current children cumulated vsize (KiB) 1796484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1770.5 s] /proc/loadavg: 1.07 1.02 1.00 2/77 24182 /proc/meminfo: memFree=1280152/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1796484 CPUtime=1800.07 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 162948 0 1 0 179920 87 0 0 18 0 13 0 108632021 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449121 130637 1333 9 0 446732 0 [pid=24167/tid=24169] ppid=24165 vsize=1796484 CPUtime=1739.94 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 46429 0 1 0 173969 25 0 0 25 0 13 0 108632023 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109643199 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1796484 CPUtime=28.23 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 51327 0 0 0 2801 22 0 0 16 0 13 0 108632024 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1796484 CPUtime=28.24 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 50554 0 0 0 2801 23 0 0 16 0 13 0 108632024 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1796484 CPUtime=0.18 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 50 0 0 0 10 8 0 0 15 0 13 0 108632026 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1796484 CPUtime=1.68 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6413 0 0 0 166 2 0 0 18 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1796484 CPUtime=1.74 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 7452 0 0 0 171 3 0 0 16 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 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) 1796484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1770.5 s] /proc/loadavg: 1.07 1.02 1.00 2/77 24182 /proc/meminfo: memFree=1280152/2055920 swapFree=4183012/4192956 [pid=24167] ppid=24165 vsize=1796484 CPUtime=1800.07 /proc/24167/stat : 24167 (java) S 24165 24167 23204 0 -1 0 162948 0 1 0 179920 87 0 0 18 0 13 0 108632021 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24167/statm: 449121 130637 1333 9 0 446732 0 [pid=24167/tid=24169] ppid=24165 vsize=1796484 CPUtime=1739.94 /proc/24167/task/24169/stat : 24169 (java) R 24165 24167 23204 0 -1 64 46429 0 1 0 173969 25 0 0 25 0 13 0 108632023 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109643199 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24170] ppid=24165 vsize=1796484 CPUtime=28.23 /proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23204 0 -1 64 51327 0 0 0 2801 22 0 0 16 0 13 0 108632024 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24171] ppid=24165 vsize=1796484 CPUtime=28.24 /proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23204 0 -1 64 50554 0 0 0 2801 23 0 0 16 0 13 0 108632024 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24172] ppid=24165 vsize=1796484 CPUtime=0.18 /proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23204 0 -1 64 50 0 0 0 10 8 0 0 15 0 13 0 108632026 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24173] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24174] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23204 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108632027 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24175] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24176] ppid=24165 vsize=1796484 CPUtime=1.68 /proc/24167/task/24176/stat : 24176 (java) S 24165 24167 23204 0 -1 64 6413 0 0 0 166 2 0 0 18 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24177] ppid=24165 vsize=1796484 CPUtime=1.74 /proc/24167/task/24177/stat : 24177 (java) S 24165 24167 23204 0 -1 64 7452 0 0 0 171 3 0 0 16 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24178] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24178/stat : 24178 (java) S 24165 24167 23204 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24167/tid=24179] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24179/stat : 24179 (java) S 24165 24167 23204 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108632041 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24167/tid=24180] ppid=24165 vsize=1796484 CPUtime=0 /proc/24167/task/24180/stat : 24180 (java) S 24165 24167 23204 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 108632121 1839599616 130637 18446744073709551615 134512640 134550740 4294956416 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) 1796484 Child status: 143 Real time (s): 1770.61 CPU time (s): 1800.19 CPU user time (s): 1799.23 CPU system time (s): 0.960853 CPU usage (%): 101.671 Max. virtual memory (cumulated for all children) (KiB): 1802020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.960853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162968 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= 43207 involuntary context switches= 31271 runsolver used 1.75673 second user time and 4.92225 second system time The end
Begin job on node61 on Thu Apr 19 07:11:24 UTC 2007 IDJOB= 360330 IDBENCH= 1363 IDSOLVER= 164 FILE ID= node61/360330-1176966684 PBS_JOBID= 4605804 Free space on /tmp= 66499 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360330-1176966684/sat4jPseudoCPClause.jar /tmp/evaluation/360330-1176966684/instance-360330-1176966684.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-360330-1176966684 -o ROOT/results/node61/solver-360330-1176966684 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360330-1176966684/sat4jPseudoCPClause.jar /tmp/evaluation/360330-1176966684/instance-360330-1176966684.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= f510e821cdc50f097865b59193d7ef06 RANDOM SEED= 236770436 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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: 1800152 kB Buffers: 22976 kB Cached: 182472 kB SwapCached: 3720 kB Active: 65088 kB Inactive: 151572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800152 kB SwapTotal: 4192956 kB SwapFree: 4183012 kB Dirty: 3656 kB Writeback: 0 kB Mapped: 16180 kB Slab: 25312 kB Committed_AS: 828492 kB PageTables: 1392 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= 66499 MiB End job on node61 on Thu Apr 19 07:40:57 UTC 2007