Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.98 | 1795.42 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbea.opb |
MD5SUM | fed9726f7ff3b53e29a48b8849ad3d9b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155427 |
Total number of constraints | 2674 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2674 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7267 |
Number of terms in the objective function | 15205 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 11303756896327816 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 24454743822989865 |
Number of bits of the biggest sum of numbers | 55 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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/node63/44696-1149312038/instance-44696-1149312038.opb 0.20 c reading problem ... 24.98 c ... done. Time 24.776 ms. 24.98 c #vars 155427 24.98 c #constraints 4611 1795.31 c starts : 9 1795.31 c conflicts : 6510 1795.31 c decisions : 10226 1795.31 c propagations : 137293 1795.31 c inspects : 13219102 1795.31 c learnt literals : 0 1795.31 c learnt binary clauses : 0 1795.31 c learnt ternary clauses : 0 1795.31 c learnt clauses : 6509 1795.31 c root simplifications : 0 1795.31 c removed literals (reason simplification) : 0 1795.31 c reason swapping (by a shorter reason) : 0 1795.31 c Calls to reduceDB : 0 1795.31 c speed (decisions/second) : 5.776533018201784 1795.31 c non guided choices 516 1795.31 s UNKNOWN 1795.31 c Total wall clock time (ms): 1795.115
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/node63/watcher-44696-1149312038 -o ROOT/results/node63/solver-44696-1149312038 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node63/44696-1149312038/instance-44696-1149312038.opb 377145408 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.97 1.01 1.00 3/64 20206 /proc/meminfo: memFree=1722168/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=172 CPUtime=0 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 201 0 0 0 0 0 0 0 19 0 1 0 196770952 176128 24 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 2969899 0 0 4096 0 0 0 0 17 0 0 0 /proc/20206/statm: 43 24 18 14 0 3 0 [startup+10.0013 s] /proc/loadavg: 0.97 1.01 1.00 2/75 20217 /proc/meminfo: memFree=1519976/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1712696 CPUtime=11.18 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 55668 0 1 0 1093 25 0 0 23 0 12 0 196770952 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418495 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20206/statm: 428174 52368 1886 14 0 414921 0 [pid=20206/tid=20207] ppid=20204 vsize=1712696 CPUtime=0.5 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 8340 0 0 0 46 4 0 0 16 0 12 0 196770955 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1712696 CPUtime=0.5 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 8472 0 0 0 47 3 0 0 16 0 12 0 196770955 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 196770958 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196770958 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196770958 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196770962 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 196770962 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1712696 CPUtime=0.56 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1543 0 0 0 56 0 0 0 16 0 12 0 196770962 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1712696 CPUtime=0.3 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 571 0 0 0 30 0 0 0 15 0 12 0 196770962 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196770962 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196770962 1753800704 52368 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.18 Current children cumulated vsize (Kb) 1712696 [startup+20.0084 s] /proc/loadavg: 0.97 1.00 1.00 2/75 20217 /proc/meminfo: memFree=1448232/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1712696 CPUtime=21.85 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 75411 0 1 0 2149 36 0 0 25 0 12 0 196770952 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071475998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 428174 70324 1886 14 0 414921 0 [pid=20206/tid=20207] ppid=20204 vsize=1712696 CPUtime=1.16 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 18734 0 0 0 107 9 0 0 16 0 12 0 196770955 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1712696 CPUtime=1.16 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 17801 0 0 0 109 7 0 0 16 0 12 0 196770955 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 196770958 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196770958 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196770958 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196770962 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 196770962 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1712696 CPUtime=0.57 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1544 0 0 0 57 0 0 0 16 0 12 0 196770962 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1712696 CPUtime=0.31 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 571 0 0 0 31 0 0 0 17 0 12 0 196770962 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196770962 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1712696 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 196770962 1753800704 70324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.85 Current children cumulated vsize (Kb) 1712696 [startup+30.0152 s] /proc/loadavg: 0.98 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1409056/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716664 CPUtime=32.83 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 88108 0 1 0 3240 43 0 0 22 0 13 0 196770952 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071587135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429166 80104 1904 14 0 415913 0 [pid=20206/tid=20207] ppid=20204 vsize=1716664 CPUtime=1.48 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 23776 0 0 0 137 11 0 0 17 0 13 0 196770955 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716664 CPUtime=1.48 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 22347 0 0 0 138 10 0 0 16 0 13 0 196770955 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196770958 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 196770962 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716664 CPUtime=0.72 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1555 0 0 0 72 0 0 0 15 0 13 0 196770962 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716664 CPUtime=0.91 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3600 0 0 0 90 1 0 0 16 0 13 0 196770962 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716664 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 196773519 1757863936 80104 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.83 Current children cumulated vsize (Kb) 1716664 [startup+40.0223 s] /proc/loadavg: 0.98 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1399200/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=43.1 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 91317 0 1 0 4265 45 0 0 19 0 13 0 196770952 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071600643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 82612 1906 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=1.53 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 25194 0 0 0 141 12 0 0 17 0 13 0 196770955 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=1.52 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 24112 0 0 0 142 10 0 0 16 0 13 0 196770955 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=0.87 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1570 0 0 0 87 0 0 0 16 0 13 0 196770962 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=0.99 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3604 0 0 0 98 1 0 0 16 0 13 0 196770962 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 196773519 1757687808 82612 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 43.1 Current children cumulated vsize (Kb) 1716492 [startup+50.0294 s] /proc/loadavg: 0.98 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1399072/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=53.19 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 91618 0 1 0 5274 45 0 0 25 0 13 0 196770952 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071600666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 82668 1907 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=1.55 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 25308 0 0 0 143 12 0 0 16 0 13 0 196770955 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=1.54 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 24280 0 0 0 144 10 0 0 16 0 13 0 196770955 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 29 0 0 0 1 0 0 0 16 0 13 0 196770958 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=0.92 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1585 0 0 0 92 0 0 0 17 0 13 0 196770962 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=1.01 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3606 0 0 0 100 1 0 0 16 0 13 0 196770962 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 196773519 1757687808 82668 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 53.19 Current children cumulated vsize (Kb) 1716492 [startup+60.0365 s] /proc/loadavg: 0.99 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1399008/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=63.2 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 91742 0 1 0 6275 45 0 0 25 0 13 0 196770952 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071587395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 82619 1907 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=1.55 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 25405 0 0 0 143 12 0 0 16 0 13 0 196770955 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=1.55 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 24306 0 0 0 145 10 0 0 16 0 13 0 196770955 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 29 0 0 0 1 0 0 0 16 0 13 0 196770958 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=0.92 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1585 0 0 0 92 0 0 0 17 0 13 0 196770962 1757687808 82619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=1.06 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1632 0 0 0 106 0 0 0 17 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=1.03 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3607 0 0 0 102 1 0 0 16 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196773519 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (Kb) 1716492 [startup+1792.29 s] /proc/loadavg: 1.00 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1415840/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=1797.84 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 113766 0 1 0 179701 83 0 0 25 0 13 0 196770952 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071601022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 78198 1909 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=4.33 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 35757 0 0 0 408 25 0 0 16 0 13 0 196770955 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=4.29 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 35605 0 0 0 403 26 0 0 16 0 13 0 196770955 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0.12 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 31 0 0 0 7 5 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=1.06 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1632 0 0 0 106 0 0 0 17 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=1.03 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3607 0 0 0 102 1 0 0 16 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196773519 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (Kb) 1716492 [startup+1793.3 s] /proc/loadavg: 1.00 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1415840/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=1798.84 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 113766 0 1 0 179801 83 0 0 25 0 13 0 196770952 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071600666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 78198 1909 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=4.33 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 35757 0 0 0 408 25 0 0 16 0 13 0 196770955 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=4.29 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 35605 0 0 0 403 26 0 0 16 0 13 0 196770955 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0.12 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 31 0 0 0 7 5 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=1.06 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1632 0 0 0 106 0 0 0 17 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=1.03 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3607 0 0 0 102 1 0 0 16 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 78198 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196773519 1757687808 78198 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) 1716492 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1415840/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=1799.86 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 113798 0 1 0 179903 83 0 0 25 0 13 0 196770952 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071600655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 78164 1909 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=4.34 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 35761 0 0 0 409 25 0 0 16 0 13 0 196770955 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=4.3 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 35632 0 0 0 404 26 0 0 16 0 13 0 196770955 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0.12 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 31 0 0 0 7 5 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=1.06 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1632 0 0 0 106 0 0 0 17 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=1.03 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3607 0 0 0 102 1 0 0 16 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196773519 1757687808 78164 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) 1716492 [startup+1795.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1415840/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=1800.86 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 113798 0 1 0 180003 83 0 0 25 0 13 0 196770952 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071600643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 78164 1909 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=4.34 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 35761 0 0 0 409 25 0 0 16 0 13 0 196770955 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=4.3 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 35632 0 0 0 404 26 0 0 16 0 13 0 196770955 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0.12 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 31 0 0 0 7 5 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=1.06 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1632 0 0 0 106 0 0 0 17 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=1.03 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3607 0 0 0 102 1 0 0 16 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196773519 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (Kb) 1716492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 20218 /proc/meminfo: memFree=1415840/2055920 swapFree=4182328/4192956 [pid=20206] ppid=20204 vsize=1716492 CPUtime=1800.87 /proc/20206/stat : 20206 (java) R 20204 20206 20160 0 -1 0 113798 0 1 0 180004 83 0 0 25 0 13 0 196770952 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071420835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20206/statm: 429123 78164 1909 14 0 415870 0 [pid=20206/tid=20207] ppid=20204 vsize=1716492 CPUtime=4.34 /proc/20206/task/20207/stat : 20207 (java) S 20204 20206 20160 0 -1 64 35761 0 0 0 409 25 0 0 16 0 13 0 196770955 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20208] ppid=20204 vsize=1716492 CPUtime=4.3 /proc/20206/task/20208/stat : 20208 (java) S 20204 20206 20160 0 -1 64 35632 0 0 0 404 26 0 0 16 0 13 0 196770955 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20209] ppid=20204 vsize=1716492 CPUtime=0.12 /proc/20206/task/20209/stat : 20209 (java) S 20204 20206 20160 0 -1 64 31 0 0 0 7 5 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20210] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20210/stat : 20210 (java) S 20204 20206 20160 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20211] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20211/stat : 20211 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196770958 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20212] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20212/stat : 20212 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20213] ppid=20204 vsize=1716492 CPUtime=0.01 /proc/20206/task/20213/stat : 20213 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20214] ppid=20204 vsize=1716492 CPUtime=1.06 /proc/20206/task/20214/stat : 20214 (java) S 20204 20206 20160 0 -1 64 1632 0 0 0 106 0 0 0 17 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20215] ppid=20204 vsize=1716492 CPUtime=1.03 /proc/20206/task/20215/stat : 20215 (java) S 20204 20206 20160 0 -1 64 3607 0 0 0 102 1 0 0 16 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20216] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20216/stat : 20216 (java) S 20204 20206 20160 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20206/tid=20217] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20217/stat : 20217 (java) S 20204 20206 20160 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196770962 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20206/tid=20218] ppid=20204 vsize=1716492 CPUtime=0 /proc/20206/task/20218/stat : 20218 (java) S 20204 20206 20160 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196773519 1757687808 78164 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (Kb) 1716492 Sending SIGTERM to -20206 Sleeping 2 seconds Child status: 143 Real time (s): 1795.42 CPU time (s): 1800.98 CPU user time (s): 1800.1 CPU system time (s): 0.881865 CPU usage (%): 100.31 Max. virtual memory (cumulated for all children) (Kb): 1716664
Begin job on node63 on Sat Jun 3 05:20:38 UTC 2006 FILE ID= 44696-1149312038 PBS_JOBID= 308057 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node63/44696-1149312038/instance-44696-1149312038.opb 377145408 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-44696-1149312038 -o ROOT/results/node63/solver-44696-1149312038 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node63/44696-1149312038/instance-44696-1149312038.opb 377145408 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= fed9726f7ff3b53e29a48b8849ad3d9b RANDOM SEED= 377145408 /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.228 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.228 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: 1722312 kB Buffers: 26352 kB Cached: 235976 kB SwapCached: 2328 kB Active: 85264 kB Inactive: 185768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1722312 kB SwapTotal: 4192956 kB SwapFree: 4182328 kB Dirty: 220 kB Writeback: 0 kB Mapped: 15888 kB Slab: 48552 kB Committed_AS: 299424 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Sat Jun 3 05:50:34 UTC 2006