Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.91 | 1788.49 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb |
MD5SUM | 4990a2601191ad55c4ad7d6303e4ded9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6735 |
Best CPU time to get the best result obtained on this benchmark | 1782.81 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6735 |
Optimality of the best value was proved | NO |
Number of variables | 23384 |
Total number of constraints | 2806 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 39 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 1202 |
Number of terms in the objective function | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525160 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node59/44046-1149359190/instance-44046-1149359190.opb 0.20 c reading problem ... 3.64 c ... done. Time 3.433 ms. 3.64 c #vars 23384 3.64 c #constraints 2884 1788.36 c starts : 5 1788.36 c conflicts : 1240 1788.36 c decisions : 55278 1788.36 c propagations : 271886 1788.36 c inspects : 729530 1788.36 c learnt literals : 0 1788.36 c learnt binary clauses : 0 1788.36 c learnt ternary clauses : 0 1788.36 c learnt clauses : 1239 1788.36 c root simplifications : 0 1788.36 c removed literals (reason simplification) : 0 1788.36 c reason swapping (by a shorter reason) : 0 1788.36 c Calls to reduceDB : 0 1788.36 c speed (decisions/second) : 30.973619920658045 1788.36 c non guided choices 8034 1788.36 s UNKNOWN 1788.36 c Total wall clock time (ms): 1788.154
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/node59/watcher-44046-1149359190 -o ROOT/results/node59/solver-44046-1149359190 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node59/44046-1149359190/instance-44046-1149359190.opb 225709192 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.98 3/64 8677 /proc/meminfo: memFree=1678952/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1592 CPUtime=0 /proc/8677/stat : 8677 (java) D 8675 8677 8631 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 201587219 1630208 103 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/8677/statm: 398 103 82 14 0 43 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.97 0.98 2/76 8689 /proc/meminfo: memFree=1492240/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=11.52 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 50661 0 1 0 1129 23 0 0 25 0 13 0 201587219 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071552627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 48464 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=0.35 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 5336 0 0 0 32 3 0 0 16 0 13 0 201587222 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=0.34 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 6562 0 0 0 31 3 0 0 16 0 13 0 201587222 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 201587225 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201587229 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.77 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 528 0 0 0 77 0 0 0 16 0 13 0 201587229 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.77 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1638 0 0 0 77 0 0 0 16 0 13 0 201587229 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 201587587 1752465408 48464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.52 Current children cumulated vsize (Kb) 1711392 [startup+20.0108 s] /proc/loadavg: 0.94 0.97 0.98 2/76 8689 /proc/meminfo: memFree=1482384/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=21.66 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 53510 0 1 0 2141 25 0 0 25 0 13 0 201587219 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071438582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 50938 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=0.44 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 6537 0 0 0 41 3 0 0 16 0 13 0 201587222 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=0.43 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 8196 0 0 0 40 3 0 0 16 0 13 0 201587222 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 201587225 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201587229 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.77 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 528 0 0 0 77 0 0 0 17 0 13 0 201587229 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.81 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1641 0 0 0 81 0 0 0 17 0 13 0 201587229 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 201587587 1752465408 50938 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.66 Current children cumulated vsize (Kb) 1711392 [startup+30.0187 s] /proc/loadavg: 0.95 0.97 0.98 2/76 8689 /proc/meminfo: memFree=1497616/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=31.75 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 53825 0 1 0 3150 25 0 0 17 0 13 0 201587219 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071680059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 47107 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=0.46 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 6649 0 0 0 43 3 0 0 15 0 13 0 201587222 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=0.45 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 8382 0 0 0 42 3 0 0 16 0 13 0 201587222 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.01 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 23 0 0 0 1 0 0 0 15 0 13 0 201587225 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201587229 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.85 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1642 0 0 0 85 0 0 0 16 0 13 0 201587229 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 201587587 1752465408 47107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.75 Current children cumulated vsize (Kb) 1711392 [startup+40.0257 s] /proc/loadavg: 0.95 0.97 0.98 2/76 8689 /proc/meminfo: memFree=1512080/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=41.77 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 54241 0 1 0 4152 25 0 0 18 0 13 0 201587219 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071438182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 43498 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=0.49 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 6822 0 0 0 46 3 0 0 15 0 13 0 201587222 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=0.48 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 8609 0 0 0 45 3 0 0 16 0 13 0 201587222 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.01 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 23 0 0 0 1 0 0 0 15 0 13 0 201587225 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201587229 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.85 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1642 0 0 0 85 0 0 0 16 0 13 0 201587229 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 43498 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.77 Current children cumulated vsize (Kb) 1711392 [startup+50.0336 s] /proc/loadavg: 0.96 0.97 0.98 2/76 8689 /proc/meminfo: memFree=1520848/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=51.8 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 54425 0 1 0 5154 26 0 0 25 0 13 0 201587219 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071438440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 41293 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=0.52 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 6908 0 0 0 49 3 0 0 16 0 13 0 201587222 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=0.5 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 8691 0 0 0 47 3 0 0 16 0 13 0 201587222 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.02 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 23 0 0 0 1 1 0 0 16 0 13 0 201587225 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201587229 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.85 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1642 0 0 0 85 0 0 0 16 0 13 0 201587229 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 41293 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.8 Current children cumulated vsize (Kb) 1711392 [startup+60.0405 s] /proc/loadavg: 0.97 0.97 0.98 2/76 8689 /proc/meminfo: memFree=1523664/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=61.81 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 54644 0 1 0 6155 26 0 0 25 0 13 0 201587219 1752465408 40582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071552522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 40582 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=0.53 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 6982 0 0 0 50 3 0 0 16 0 13 0 201587222 1752465408 40582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=0.52 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 8825 0 0 0 49 3 0 0 16 0 13 0 201587222 1752465408 40582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.03 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 23 0 0 0 2 1 0 0 16 0 13 0 201587225 1752465408 40582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 40582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 40582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 40582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201587229 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.92 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1647 0 0 0 92 0 0 0 16 0 13 0 201587229 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 104597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (Kb) 1711392 [startup+1785.33 s] /proc/loadavg: 1.00 1.00 0.99 2/76 8691 /proc/meminfo: memFree=1266128/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=1797.73 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 184189 0 1 0 179596 177 0 0 23 0 13 0 201587219 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071680077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 104702 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=12.19 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 37144 0 0 0 1176 43 0 0 16 0 13 0 201587222 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=12.19 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 39854 0 0 0 1161 58 0 0 16 0 13 0 201587222 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.51 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 228 0 0 0 28 23 0 0 15 0 13 0 201587225 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201587229 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.92 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1647 0 0 0 92 0 0 0 16 0 13 0 201587229 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 104702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (Kb) 1711392 [startup+1786.34 s] /proc/loadavg: 1.00 1.00 0.99 2/76 8691 /proc/meminfo: memFree=1265552/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=1798.75 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 184333 0 1 0 179698 177 0 0 23 0 13 0 201587219 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071438440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 104845 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=12.2 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 37285 0 0 0 1177 43 0 0 16 0 13 0 201587222 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=12.21 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 39856 0 0 0 1163 58 0 0 16 0 13 0 201587222 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.51 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 228 0 0 0 28 23 0 0 16 0 13 0 201587225 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201587229 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.92 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1647 0 0 0 92 0 0 0 16 0 13 0 201587229 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 104845 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.75 Current children cumulated vsize (Kb) 1711392 [startup+1787.35 s] /proc/loadavg: 1.00 1.00 0.99 2/76 8691 /proc/meminfo: memFree=1265424/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=1799.76 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 184355 0 1 0 179799 177 0 0 25 0 13 0 201587219 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071560993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 104866 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=12.23 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 37305 0 0 0 1179 44 0 0 16 0 13 0 201587222 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=12.22 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 39857 0 0 0 1164 58 0 0 16 0 13 0 201587222 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.51 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 228 0 0 0 28 23 0 0 15 0 13 0 201587225 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201587229 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.92 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1647 0 0 0 92 0 0 0 16 0 13 0 201587229 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 104866 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (Kb) 1711392 [startup+1788.35 s] /proc/loadavg: 1.00 1.00 0.99 2/76 8691 /proc/meminfo: memFree=1265040/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=1800.78 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 184451 0 1 0 179901 177 0 0 25 0 13 0 201587219 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071680230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 104961 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=12.24 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 37307 0 0 0 1180 44 0 0 16 0 13 0 201587222 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=12.23 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 39950 0 0 0 1165 58 0 0 16 0 13 0 201587222 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.51 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 228 0 0 0 28 23 0 0 16 0 13 0 201587225 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.92 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1647 0 0 0 92 0 0 0 16 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (Kb) 1711392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.36 s] /proc/loadavg: 1.00 1.00 0.99 2/76 8691 /proc/meminfo: memFree=1265040/2055920 swapFree=4180876/4192956 [pid=8677] ppid=8675 vsize=1711392 CPUtime=1800.79 /proc/8677/stat : 8677 (java) R 8675 8677 8631 0 -1 0 184451 0 1 0 179902 177 0 0 25 0 13 0 201587219 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071586376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8677/statm: 427848 104961 1910 14 0 414595 0 [pid=8677/tid=8678] ppid=8675 vsize=1711392 CPUtime=12.24 /proc/8677/task/8678/stat : 8678 (java) S 8675 8677 8631 0 -1 64 37307 0 0 0 1180 44 0 0 16 0 13 0 201587222 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8679] ppid=8675 vsize=1711392 CPUtime=12.23 /proc/8677/task/8679/stat : 8679 (java) S 8675 8677 8631 0 -1 64 39950 0 0 0 1165 58 0 0 16 0 13 0 201587222 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8680] ppid=8675 vsize=1711392 CPUtime=0.51 /proc/8677/task/8680/stat : 8680 (java) S 8675 8677 8631 0 -1 64 228 0 0 0 28 23 0 0 16 0 13 0 201587225 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8681] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8681/stat : 8681 (java) S 8675 8677 8631 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8682] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8682/stat : 8682 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587226 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8683] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8683/stat : 8683 (java) S 8675 8677 8631 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8684] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8684/stat : 8684 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8685] ppid=8675 vsize=1711392 CPUtime=0.82 /proc/8677/task/8685/stat : 8685 (java) S 8675 8677 8631 0 -1 64 529 0 0 0 82 0 0 0 17 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8677/tid=8686] ppid=8675 vsize=1711392 CPUtime=0.92 /proc/8677/task/8686/stat : 8686 (java) S 8675 8677 8631 0 -1 64 1647 0 0 0 92 0 0 0 16 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8687] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8687/stat : 8687 (java) S 8675 8677 8631 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8688] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8688/stat : 8688 (java) S 8675 8677 8631 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201587229 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8677/tid=8689] ppid=8675 vsize=1711392 CPUtime=0 /proc/8677/task/8689/stat : 8689 (java) S 8675 8677 8631 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201587587 1752465408 104961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (Kb) 1711392 Sending SIGTERM to -8677 Sleeping 2 seconds Child status: 143 Real time (s): 1788.49 CPU time (s): 1800.91 CPU user time (s): 1799.07 CPU system time (s): 1.84572 CPU usage (%): 100.695 Max. virtual memory (cumulated for all children) (Kb): 1711392
Begin job on node59 on Sat Jun 3 18:26:30 UTC 2006 FILE ID= 44046-1149359190 PBS_JOBID= 311419 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node59/44046-1149359190/instance-44046-1149359190.opb 225709192 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-44046-1149359190 -o ROOT/results/node59/solver-44046-1149359190 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node59/44046-1149359190/instance-44046-1149359190.opb 225709192 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 4990a2601191ad55c4ad7d6303e4ded9 RANDOM SEED= 225709192 /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.272 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.272 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: 1679160 kB Buffers: 22032 kB Cached: 284032 kB SwapCached: 3744 kB Active: 47172 kB Inactive: 267604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1679160 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14732 kB Slab: 47924 kB Committed_AS: 351176 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Sat Jun 3 18:56:19 UTC 2006