Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1801.08 | 1760.5 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1558.64 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 480 |
Number of constraints which are cardinality constraints (but not clauses) | 608 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 120 |
Maximum length of a constraint | 225 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 227 |
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.20 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.20 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.21 c no version file found!!! 0.21 c sun.arch.data.model 32 0.21 c java.version 1.5.0_06 0.21 c os.name Linux 0.21 c os.version 2.6.9-34.ELsmp 0.21 c os.arch i386 0.21 c Free memory 1548419056 0.21 c Max memory 1551040512 0.21 c Total memory 1551040512 0.21 c Number of processors 2 0.27 c Cutting planes based inference 0.27 c --- Begin Solver configuration --- 0.27 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.27 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.27 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.27 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.27 c VSIDS like heuristics from MiniSAT using a heap 0.27 c No reason simplification 0.27 c --- End Solver configuration --- 0.27 c solving ROOT/tmp/node84/43411-1149204814/instance-43411-1149204814.opb 0.27 c reading problem ... 1.65 c ... done. Time 1.38 ms. 1.65 c #vars 14400 1.65 c #constraints 1088 1760.32 c starts : 9 1760.32 c conflicts : 5365 1760.32 c decisions : 108224 1760.32 c propagations : 1220946 1760.32 c inspects : 4477428 1760.32 c learnt literals : 0 1760.32 c learnt binary clauses : 0 1760.32 c learnt ternary clauses : 0 1760.32 c learnt clauses : 5364 1760.32 c root simplifications : 0 1760.32 c removed literals (reason simplification) : 0 1760.32 c reason swapping (by a shorter reason) : 0 1760.32 c Calls to reduceDB : 0 1760.32 c speed (decisions/second) : 61.53807662805184 1760.32 c non guided choices 4062 1760.32 s UNKNOWN 1760.32 c Total wall clock time (ms): 1760.053
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/node84/watcher-43411-1149204814 -o ROOT/results/node84/solver-43411-1149204814 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node84/43411-1149204814/instance-43411-1149204814.opb 184860617 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.09 0.04 0.19 2/67 7701 /proc/meminfo: memFree=1735008/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=296 CPUtime=0 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 53 0 0 0 0 0 0 0 19 0 1 0 186120719 303104 35 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 8106932 0 0 4096 0 0 0 0 17 1 0 0 /proc/7701/statm: 74 38 30 14 0 5 0 [startup+10.0022 s] /proc/loadavg: 0.38 0.10 0.21 2/79 7713 /proc/meminfo: memFree=1549576/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1713636 CPUtime=11.55 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 52841 0 1 0 1131 24 0 0 19 0 13 0 186120719 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071651959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428409 48131 1911 14 0 415155 0 [pid=7701/tid=7702] ppid=7699 vsize=1713636 CPUtime=0.32 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 6431 0 0 0 29 3 0 0 16 0 13 0 186120724 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1713636 CPUtime=0.32 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 5530 0 0 0 30 2 0 0 16 0 13 0 186120724 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 186120727 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 186120735 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1713636 CPUtime=0.81 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 81 0 0 0 16 0 13 0 186120735 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1713636 CPUtime=0.92 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1848 0 0 0 92 0 0 0 15 0 13 0 186120735 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1713636 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186120887 1754763264 48131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.55 Current children cumulated vsize (Kb) 1713636 [startup+20.0092 s] /proc/loadavg: 0.47 0.13 0.21 2/79 7713 /proc/meminfo: memFree=1536776/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=21.71 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 57000 0 1 0 2144 27 0 0 22 0 13 0 186120719 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071680994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 51377 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=0.4 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 8270 0 0 0 36 4 0 0 16 0 13 0 186120724 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=0.41 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 7348 0 0 0 38 3 0 0 16 0 13 0 186120724 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.83 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 83 0 0 0 16 0 13 0 186120735 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=0.98 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1851 0 0 0 98 0 0 0 16 0 13 0 186120735 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186120887 1753288704 51377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.71 Current children cumulated vsize (Kb) 1712196 [startup+30.0153 s] /proc/loadavg: 0.56 0.16 0.22 2/79 7713 /proc/meminfo: memFree=1527048/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=31.79 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 60875 0 1 0 3150 29 0 0 25 0 13 0 186120719 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071660695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 53839 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=0.48 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 9348 0 0 0 44 4 0 0 16 0 13 0 186120724 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=0.5 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 8676 0 0 0 47 3 0 0 15 0 13 0 186120724 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.01 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 41 0 0 0 1 0 0 0 16 0 13 0 186120727 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.83 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 83 0 0 0 16 0 13 0 186120735 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=0.98 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1851 0 0 0 98 0 0 0 17 0 13 0 186120735 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186120887 1753288704 53839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.79 Current children cumulated vsize (Kb) 1712196 [startup+40.0223 s] /proc/loadavg: 0.62 0.19 0.23 2/79 7713 /proc/meminfo: memFree=1509512/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=41.9 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 65547 0 1 0 4158 32 0 0 25 0 13 0 186120719 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071651959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 58196 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=0.62 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 11463 0 0 0 56 6 0 0 16 0 13 0 186120724 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=0.64 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 11115 0 0 0 59 5 0 0 16 0 13 0 186120724 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.02 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 43 0 0 0 1 1 0 0 15 0 13 0 186120727 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.83 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 83 0 0 0 16 0 13 0 186120735 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=0.98 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1851 0 0 0 98 0 0 0 17 0 13 0 186120735 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 58196 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.9 Current children cumulated vsize (Kb) 1712196 [startup+50.0294 s] /proc/loadavg: 0.68 0.21 0.24 2/79 7713 /proc/meminfo: memFree=1506504/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=52.02 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 67169 0 1 0 5168 34 0 0 19 0 13 0 186120719 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071459185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 58951 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=0.7 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 12243 0 0 0 64 6 0 0 16 0 13 0 186120724 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=0.72 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 11788 0 0 0 67 5 0 0 16 0 13 0 186120724 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.02 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 45 0 0 0 1 1 0 0 15 0 13 0 186120727 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.83 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 83 0 0 0 16 0 13 0 186120735 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=1.02 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1898 0 0 0 102 0 0 0 17 0 13 0 186120735 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 58951 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.02 Current children cumulated vsize (Kb) 1712196 [startup+60.0364 s] /proc/loadavg: 0.73 0.24 0.24 2/79 7713 /proc/meminfo: memFree=1504520/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=62.13 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 69770 0 1 0 6178 35 0 0 18 0 13 0 186120719 1753288704 59391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071651407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 59391 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=0.82 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 13415 0 0 0 75 7 0 0 16 0 13 0 186120724 1753288704 59391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=0.83 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 13168 0 0 0 77 6 0 0 15 0 13 0 186120724 1753288704 59391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.02 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 45 0 0 0 1 1 0 0 15 0 13 0 186120727 1753288704 59391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 59391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 59391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 59391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.87 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 87 0 0 0 17 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=1.08 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1901 0 0 0 108 0 0 0 17 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (Kb) 1712196 [startup+1757.3 s] /proc/loadavg: 1.14 1.04 0.87 2/79 7910 /proc/meminfo: memFree=870152/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=1797.81 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 257736 0 1 0 179459 322 0 0 25 0 13 0 186120719 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071459220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 217454 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=40.64 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 102005 0 0 0 3934 130 0 0 16 0 13 0 186120724 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=40.7 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 104268 0 0 0 3938 132 0 0 16 0 13 0 186120724 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.64 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 68 0 0 0 40 24 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.87 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 87 0 0 0 17 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=1.08 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1901 0 0 0 108 0 0 0 17 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (Kb) 1712196 [startup+1758.31 s] /proc/loadavg: 1.14 1.04 0.87 2/79 7910 /proc/meminfo: memFree=870152/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=1798.84 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 257737 0 1 0 179562 322 0 0 21 0 13 0 186120719 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071459139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 217454 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=40.66 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 102005 0 0 0 3936 130 0 0 16 0 13 0 186120724 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=40.72 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 104268 0 0 0 3940 132 0 0 16 0 13 0 186120724 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.64 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 68 0 0 0 40 24 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.87 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 87 0 0 0 17 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=1.08 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1901 0 0 0 108 0 0 0 17 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 217454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.84 Current children cumulated vsize (Kb) 1712196 [startup+1759.31 s] /proc/loadavg: 1.14 1.04 0.87 2/79 7910 /proc/meminfo: memFree=870088/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=1799.86 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 257770 0 1 0 179664 322 0 0 25 0 13 0 186120719 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071459185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 217485 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=40.68 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 102013 0 0 0 3938 130 0 0 16 0 13 0 186120724 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=40.74 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 104292 0 0 0 3942 132 0 0 17 0 13 0 186120724 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.64 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 68 0 0 0 40 24 0 0 15 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.87 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 87 0 0 0 17 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=1.08 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1901 0 0 0 108 0 0 0 17 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.86 Current children cumulated vsize (Kb) 1712196 [startup+1760.32 s] /proc/loadavg: 1.14 1.04 0.87 2/79 7910 /proc/meminfo: memFree=870088/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=1800.9 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 257771 0 1 0 179768 322 0 0 23 0 13 0 186120719 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071651967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 217485 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=40.71 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 102013 0 0 0 3941 130 0 0 16 0 13 0 186120724 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=40.77 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 104292 0 0 0 3945 132 0 0 16 0 13 0 186120724 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.64 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 68 0 0 0 40 24 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.87 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 87 0 0 0 17 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=1.08 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1901 0 0 0 108 0 0 0 17 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (Kb) 1712196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1760.32 s] /proc/loadavg: 1.14 1.04 0.87 2/79 7910 /proc/meminfo: memFree=870024/2055892 swapFree=4085292/4096564 [pid=7701] ppid=7699 vsize=1712196 CPUtime=1800.9 /proc/7701/stat : 7701 (java) R 7699 7701 7656 0 -1 0 257771 0 1 0 179768 322 0 0 23 0 13 0 186120719 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071459355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7701/statm: 428049 217485 1911 14 0 414795 0 [pid=7701/tid=7702] ppid=7699 vsize=1712196 CPUtime=40.71 /proc/7701/task/7702/stat : 7702 (java) S 7699 7701 7656 0 -1 64 102013 0 0 0 3941 130 0 0 16 0 13 0 186120724 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7703] ppid=7699 vsize=1712196 CPUtime=40.77 /proc/7701/task/7703/stat : 7703 (java) S 7699 7701 7656 0 -1 64 104292 0 0 0 3945 132 0 0 16 0 13 0 186120724 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7704] ppid=7699 vsize=1712196 CPUtime=0.64 /proc/7701/task/7704/stat : 7704 (java) S 7699 7701 7656 0 -1 64 68 0 0 0 40 24 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7705] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7705/stat : 7705 (java) S 7699 7701 7656 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7706] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7706/stat : 7706 (java) S 7699 7701 7656 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186120727 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7707] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7707/stat : 7707 (java) S 7699 7701 7656 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7708] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7708/stat : 7708 (java) S 7699 7701 7656 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7709] ppid=7699 vsize=1712196 CPUtime=0.87 /proc/7701/task/7709/stat : 7709 (java) S 7699 7701 7656 0 -1 64 1672 0 0 0 87 0 0 0 17 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7710] ppid=7699 vsize=1712196 CPUtime=1.08 /proc/7701/task/7710/stat : 7710 (java) S 7699 7701 7656 0 -1 64 1901 0 0 0 108 0 0 0 17 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7711] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7711/stat : 7711 (java) S 7699 7701 7656 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7701/tid=7712] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7712/stat : 7712 (java) S 7699 7701 7656 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186120735 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7701/tid=7713] ppid=7699 vsize=1712196 CPUtime=0 /proc/7701/task/7713/stat : 7713 (java) S 7699 7701 7656 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 186120887 1753288704 217485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (Kb) 1712196 Sending SIGTERM to -7701 Sleeping 2 seconds Child status: 143 Real time (s): 1760.5 CPU time (s): 1801.08 CPU user time (s): 1797.73 CPU system time (s): 3.35249 CPU usage (%): 102.305 Max. virtual memory (cumulated for all children) (Kb): 1713636
Begin job on node84 on Thu Jun 1 23:33:34 UTC 2006 FILE ID= 43411-1149204814 PBS_JOBID= 292969 BENCH NAME= ROOT/tmp/node84/43411-1149204814/instance-43411-1149204814.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node84/43411-1149204814/instance-43411-1149204814.opb 184860617 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-43411-1149204814 -o ROOT/results/node84/solver-43411-1149204814 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node84/43411-1149204814/instance-43411-1149204814.opb 184860617 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED= 184860617 /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.231 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 : 6006.15 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.231 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1735344 kB Buffers: 20208 kB Cached: 230368 kB SwapCached: 2520 kB Active: 90364 kB Inactive: 168872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1735344 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 288 kB Writeback: 0 kB Mapped: 16400 kB Slab: 47944 kB Committed_AS: 210800 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Fri Jun 2 00:02:55 UTC 2006