Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.35 | 1798.46 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb |
MD5SUM | 631c705feb60dcd8a1b144825a73a754 |
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 | 12.1701 |
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 | 18069 |
Total number of constraints | 52475 |
Number of constraints which are clauses | 51555 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 920 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 39 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 132 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.23 c Cutting planes based inference 0.23 c --- Begin Solver configuration --- 0.23 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.23 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.23 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.23 c VSIDS like heuristics from MiniSAT using a heap 0.23 c No reason simplification 0.23 c --- End Solver configuration --- 0.23 c solving ROOT/tmp/node10/42321-1149240364/instance-42321-1149240364.opb 0.23 c reading problem ... 18.61 c ... done. Time 18.38 ms. 18.61 c #vars 18069 18.61 c #constraints 52474 1798.38 c starts : 10 1798.38 c conflicts : 11098 1798.38 c decisions : 22742 1798.38 c propagations : 8842393 1798.38 c inspects : 28888098 1798.38 c learnt literals : 19 1798.38 c learnt binary clauses : 178 1798.38 c learnt ternary clauses : 208 1798.38 c learnt clauses : 11078 1798.38 c root simplifications : 0 1798.38 c removed literals (reason simplification) : 0 1798.38 c reason swapping (by a shorter reason) : 0 1798.38 c Calls to reduceDB : 0 1798.38 c speed (decisions/second) : 12.778349962269536 1798.38 c non guided choices 482 1798.38 s UNKNOWN 1798.38 c Total wall clock time (ms): 1798.149
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-42321-1149240364 -o ROOT/results/node10/solver-42321-1149240364 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node10/42321-1149240364/instance-42321-1149240364.opb 43240795 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.06 0.10 0.41 2/64 13838 /proc/meminfo: memFree=1423792/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1592 CPUtime=0 /proc/13838/stat : 13838 (java) D 13836 13838 13793 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 189698820 1630208 103 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13838/statm: 446 106 84 14 0 91 0 [startup+10.002 s] /proc/loadavg: 0.20 0.12 0.42 2/75 13849 /proc/meminfo: memFree=1249504/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1708868 CPUtime=10.45 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 49054 0 1 0 1023 22 0 0 25 0 12 0 189698820 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071333915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427217 45315 1873 14 0 413964 0 [pid=13838/tid=13839] ppid=13836 vsize=1708868 CPUtime=0.06 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 1298 0 0 0 6 0 0 0 17 0 12 0 189698823 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1708868 CPUtime=0.05 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 1113 0 0 0 5 0 0 0 16 0 12 0 189698823 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1708868 CPUtime=0 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 189698826 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1708868 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 189698827 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1708868 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 189698827 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1708868 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 189698830 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1708868 CPUtime=0 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189698830 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1708868 CPUtime=0.34 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 793 0 0 0 34 0 0 0 17 0 12 0 189698830 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1708868 CPUtime=0.27 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 391 0 0 0 27 0 0 0 17 0 12 0 189698830 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1708868 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 189698830 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1708868 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189698830 1749880832 45315 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.45 Current children cumulated vsize (Kb) 1708868 [startup+20.0093 s] /proc/loadavg: 0.33 0.15 0.42 2/76 13850 /proc/meminfo: memFree=1253016/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710260 CPUtime=20.8 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 50408 0 1 0 2057 23 0 0 18 0 13 0 189698820 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071551794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427565 44535 1897 14 0 414312 0 [pid=13838/tid=13839] ppid=13836 vsize=1710260 CPUtime=0.12 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 1730 0 0 0 12 0 0 0 16 0 13 0 189698823 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710260 CPUtime=0.12 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 1613 0 0 0 11 1 0 0 15 0 13 0 189698823 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 189698826 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 189698830 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710260 CPUtime=0.55 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 990 0 0 0 55 0 0 0 16 0 13 0 189698830 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710260 CPUtime=0.45 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 544 0 0 0 45 0 0 0 16 0 13 0 189698830 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710260 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 189700685 1751306240 44535 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 20.8 Current children cumulated vsize (Kb) 1710260 [startup+30.0167 s] /proc/loadavg: 0.43 0.18 0.43 2/76 13850 /proc/meminfo: memFree=1253016/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710020 CPUtime=30.84 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 50418 0 1 0 3061 23 0 0 25 0 13 0 189698820 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071552025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427505 44481 1898 14 0 414252 0 [pid=13838/tid=13839] ppid=13836 vsize=1710020 CPUtime=0.12 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 1730 0 0 0 12 0 0 0 16 0 13 0 189698823 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710020 CPUtime=0.12 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 1613 0 0 0 11 1 0 0 15 0 13 0 189698823 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 189698826 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 189698830 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710020 CPUtime=0.57 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 992 0 0 0 57 0 0 0 16 0 13 0 189698830 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710020 CPUtime=0.49 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 547 0 0 0 49 0 0 0 16 0 13 0 189698830 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 189700685 1751060480 44481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.84 Current children cumulated vsize (Kb) 1710020 [startup+40.0241 s] /proc/loadavg: 0.60 0.22 0.44 2/76 13850 /proc/meminfo: memFree=1252440/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710020 CPUtime=40.91 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 50656 0 1 0 4067 24 0 0 21 0 13 0 189698820 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071557625 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427505 44629 1898 14 0 414252 0 [pid=13838/tid=13839] ppid=13836 vsize=1710020 CPUtime=0.12 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 1873 0 0 0 12 0 0 0 16 0 13 0 189698823 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710020 CPUtime=0.13 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 1700 0 0 0 12 1 0 0 16 0 13 0 189698823 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 189698826 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 189698830 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710020 CPUtime=0.59 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 995 0 0 0 59 0 0 0 16 0 13 0 189698830 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710020 CPUtime=0.54 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 549 0 0 0 54 0 0 0 17 0 13 0 189698830 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 189700685 1751060480 44629 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.91 Current children cumulated vsize (Kb) 1710020 [startup+50.0314 s] /proc/loadavg: 0.66 0.25 0.45 2/76 13850 /proc/meminfo: memFree=1252120/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710020 CPUtime=50.92 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 50786 0 1 0 5068 24 0 0 25 0 13 0 189698820 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071551775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427505 44708 1898 14 0 414252 0 [pid=13838/tid=13839] ppid=13836 vsize=1710020 CPUtime=0.12 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 1940 0 0 0 12 0 0 0 16 0 13 0 189698823 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710020 CPUtime=0.13 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 1760 0 0 0 12 1 0 0 16 0 13 0 189698823 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 189698826 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 189698830 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710020 CPUtime=0.59 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 995 0 0 0 59 0 0 0 16 0 13 0 189698830 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710020 CPUtime=0.54 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 549 0 0 0 54 0 0 0 16 0 13 0 189698830 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710020 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 189700685 1751060480 44708 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (Kb) 1710020 [startup+60.0388 s] /proc/loadavg: 0.71 0.27 0.45 2/76 13850 /proc/meminfo: memFree=1251480/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710760 CPUtime=61.24 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 51147 0 1 0 6100 24 0 0 25 0 13 0 189698820 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071581702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427690 44919 1902 14 0 414437 0 [pid=13838/tid=13839] ppid=13836 vsize=1710760 CPUtime=0.12 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 1940 0 0 0 12 0 0 0 16 0 13 0 189698823 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710760 CPUtime=0.13 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 1760 0 0 0 12 1 0 0 16 0 13 0 189698823 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710760 CPUtime=0 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 189698826 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710760 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710760 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710760 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710760 CPUtime=0 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 189698830 1751818240 44919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=13838/tid=13842] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710664 CPUtime=0.01 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710664 CPUtime=1.19 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 2455 0 0 0 119 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710664 CPUtime=0.96 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 1278 0 0 0 95 1 0 0 17 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 189700685 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (Kb) 1710664 [startup+1795.35 s] /proc/loadavg: 1.06 0.99 0.88 2/76 13852 /proc/meminfo: memFree=1278296/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710664 CPUtime=1797.24 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 58852 0 1 0 179690 34 0 0 25 0 13 0 189698820 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071551808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427666 37977 1908 14 0 414413 0 [pid=13838/tid=13839] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 4538 0 0 0 77 2 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 4850 0 0 0 76 3 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710664 CPUtime=0.05 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 3 2 0 0 16 0 13 0 189698826 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710664 CPUtime=0.01 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710664 CPUtime=1.19 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 2455 0 0 0 119 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710664 CPUtime=0.96 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 1278 0 0 0 95 1 0 0 17 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 189700685 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (Kb) 1710664 [startup+1796.36 s] /proc/loadavg: 1.06 0.99 0.88 2/76 13852 /proc/meminfo: memFree=1278296/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710664 CPUtime=1798.24 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 58852 0 1 0 179790 34 0 0 25 0 13 0 189698820 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071552116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427666 37977 1908 14 0 414413 0 [pid=13838/tid=13839] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 4538 0 0 0 77 2 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 4850 0 0 0 76 3 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710664 CPUtime=0.05 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 3 2 0 0 16 0 13 0 189698826 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710664 CPUtime=0.01 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710664 CPUtime=1.19 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 2455 0 0 0 119 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710664 CPUtime=0.96 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 1278 0 0 0 95 1 0 0 17 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 189700685 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.24 Current children cumulated vsize (Kb) 1710664 [startup+1797.36 s] /proc/loadavg: 1.06 0.99 0.88 2/76 13852 /proc/meminfo: memFree=1278296/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710664 CPUtime=1799.25 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 58852 0 1 0 179891 34 0 0 25 0 13 0 189698820 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071552099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427666 37977 1908 14 0 414413 0 [pid=13838/tid=13839] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 4538 0 0 0 77 2 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 4850 0 0 0 76 3 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710664 CPUtime=0.05 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 3 2 0 0 16 0 13 0 189698826 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710664 CPUtime=0.01 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710664 CPUtime=1.19 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 2455 0 0 0 119 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710664 CPUtime=0.96 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 1278 0 0 0 95 1 0 0 17 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 189700685 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.25 Current children cumulated vsize (Kb) 1710664 [startup+1798.37 s] /proc/loadavg: 1.06 0.99 0.88 2/76 13852 /proc/meminfo: memFree=1278296/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710664 CPUtime=1800.25 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 58852 0 1 0 179991 34 0 0 25 0 13 0 189698820 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071551794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427666 37977 1908 14 0 414413 0 [pid=13838/tid=13839] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 4538 0 0 0 77 2 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 4850 0 0 0 76 3 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710664 CPUtime=0.05 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 3 2 0 0 16 0 13 0 189698826 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710664 CPUtime=0.01 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710664 CPUtime=1.19 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 2455 0 0 0 119 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710664 CPUtime=0.96 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 1278 0 0 0 95 1 0 0 17 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 189700685 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (Kb) 1710664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.37 s] /proc/loadavg: 1.06 0.99 0.88 2/76 13852 /proc/meminfo: memFree=1278296/2055920 swapFree=4181412/4192956 [pid=13838] ppid=13836 vsize=1710664 CPUtime=1800.26 /proc/13838/stat : 13838 (java) R 13836 13838 13793 0 -1 0 58852 0 1 0 179992 34 0 0 25 0 13 0 189698820 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071552025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13838/statm: 427666 37977 1908 14 0 414413 0 [pid=13838/tid=13839] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13839/stat : 13839 (java) S 13836 13838 13793 0 -1 64 4538 0 0 0 77 2 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13840] ppid=13836 vsize=1710664 CPUtime=0.79 /proc/13838/task/13840/stat : 13840 (java) S 13836 13838 13793 0 -1 64 4850 0 0 0 76 3 0 0 16 0 13 0 189698823 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13841] ppid=13836 vsize=1710664 CPUtime=0.05 /proc/13838/task/13841/stat : 13841 (java) S 13836 13838 13793 0 -1 64 29 0 0 0 3 2 0 0 16 0 13 0 189698826 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13842] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13842/stat : 13842 (java) S 13836 13838 13793 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13843] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13843/stat : 13843 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 189698827 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13844] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13844/stat : 13844 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13845] ppid=13836 vsize=1710664 CPUtime=0.01 /proc/13838/task/13845/stat : 13845 (java) S 13836 13838 13793 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13846] ppid=13836 vsize=1710664 CPUtime=1.19 /proc/13838/task/13846/stat : 13846 (java) S 13836 13838 13793 0 -1 64 2455 0 0 0 119 0 0 0 16 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13847] ppid=13836 vsize=1710664 CPUtime=0.96 /proc/13838/task/13847/stat : 13847 (java) S 13836 13838 13793 0 -1 64 1278 0 0 0 95 1 0 0 17 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13848] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13848/stat : 13848 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13838/tid=13849] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13849/stat : 13849 (java) S 13836 13838 13793 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 189698830 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13838/tid=13850] ppid=13836 vsize=1710664 CPUtime=0 /proc/13838/task/13850/stat : 13850 (java) S 13836 13838 13793 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 189700685 1751719936 37977 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (Kb) 1710664 Sending SIGTERM to -13838 Sleeping 2 seconds Child status: 143 Real time (s): 1798.46 CPU time (s): 1800.35 CPU user time (s): 1799.98 CPU system time (s): 0.374943 CPU usage (%): 100.105 Max. virtual memory (cumulated for all children) (Kb): 1711784
Begin job on node10 on Fri Jun 2 09:26:04 UTC 2006 FILE ID= 42321-1149240364 PBS_JOBID= 297386 BENCH NAME= ROOT/tmp/node10/42321-1149240364/instance-42321-1149240364.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node10/42321-1149240364/instance-42321-1149240364.opb 43240795 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-42321-1149240364 -o ROOT/results/node10/solver-42321-1149240364 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node10/42321-1149240364/instance-42321-1149240364.opb 43240795 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 631c705feb60dcd8a1b144825a73a754 RANDOM SEED= 43240795 /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.236 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.236 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: 1424064 kB Buffers: 29544 kB Cached: 529044 kB SwapCached: 3636 kB Active: 86400 kB Inactive: 481276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1424064 kB SwapTotal: 4192956 kB SwapFree: 4181412 kB Dirty: 256 kB Writeback: 0 kB Mapped: 14920 kB Slab: 50096 kB Committed_AS: 248272 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node10 on Fri Jun 2 09:56:03 UTC 2006