Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.64 | 1785.49 |
Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb |
MD5SUM | 2f67579afe346c848695d45b6181b1eb |
Bench Category | SATUNSAT-MEDINT (no optimisation, medium integers) |
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 | 273.732 |
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 | 68 |
Total number of constraints | 2 |
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 | 2 |
Minimum length of a constraint | 68 |
Maximum length of a constraint | 68 |
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 | 14215207 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 175368570 |
Number of bits of the biggest sum of numbers | 28 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node41/44818-1149320092/instance-44818-1149320092.opb 0.20 c reading problem ... 0.29 c ... done. Time 0.084 ms. 0.29 c #vars 68 0.29 c #constraints 2 1785.40 c starts : 13 1785.40 c conflicts : 34961 1785.40 c decisions : 37809 1785.40 c propagations : 204670 1785.40 c inspects : 476867423 1785.40 c learnt literals : 0 1785.40 c learnt binary clauses : 0 1785.40 c learnt ternary clauses : 0 1785.40 c learnt clauses : 34961 1785.40 c root simplifications : 0 1785.40 c removed literals (reason simplification) : 0 1785.40 c reason swapping (by a shorter reason) : 0 1785.40 c Calls to reduceDB : 0 1785.40 c speed (decisions/second) : 21.180207382178132 1785.40 c non guided choices 57 1785.40 s UNKNOWN 1785.40 c Total wall clock time (ms): 1785.197
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/node41/watcher-44818-1149320092 -o ROOT/results/node41/solver-44818-1149320092 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node41/44818-1149320092/instance-44818-1149320092.opb 635264254 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 2318 /proc/meminfo: memFree=1847792/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1784 CPUtime=0 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 170 0 0 0 0 0 0 0 19 0 1 0 197675741 1826816 141 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/2318/statm: 446 141 106 14 0 91 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.98 0.99 2/76 2330 /proc/meminfo: memFree=1656848/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=11.08 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 53648 0 1 0 1084 24 0 0 20 0 13 0 197675741 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071366419 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 49504 1903 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=0.14 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 4088 0 0 0 13 1 0 0 16 0 13 0 197675744 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=0.13 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 4479 0 0 0 12 1 0 0 16 0 13 0 197675744 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1479 0 0 0 77 0 0 0 16 0 13 0 197675751 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.73 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3133 0 0 0 72 1 0 0 16 0 13 0 197675751 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 197675770 1757057024 49504 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (Kb) 1715876 [startup+20.0084 s] /proc/loadavg: 0.94 0.98 0.99 2/76 2330 /proc/meminfo: memFree=1651472/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=21.13 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 55788 0 1 0 2088 25 0 0 25 0 13 0 197675741 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071333995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 50823 1903 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=0.19 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 5147 0 0 0 17 2 0 0 16 0 13 0 197675744 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=0.18 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 5550 0 0 0 16 2 0 0 16 0 13 0 197675744 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 29 0 0 0 0 0 0 0 15 0 13 0 197675747 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1479 0 0 0 77 0 0 0 17 0 13 0 197675751 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.73 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3133 0 0 0 72 1 0 0 16 0 13 0 197675751 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 197675770 1757057024 50823 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.13 Current children cumulated vsize (Kb) 1715876 [startup+30.0151 s] /proc/loadavg: 0.95 0.98 0.99 2/76 2330 /proc/meminfo: memFree=1651984/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=31.18 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 57257 0 1 0 3092 26 0 0 25 0 13 0 197675741 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071358263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 50694 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=0.24 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 5622 0 0 0 22 2 0 0 16 0 13 0 197675744 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=0.23 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 6531 0 0 0 21 2 0 0 17 0 13 0 197675744 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1479 0 0 0 77 0 0 0 17 0 13 0 197675751 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.73 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3133 0 0 0 72 1 0 0 16 0 13 0 197675751 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 197675770 1757057024 50694 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.18 Current children cumulated vsize (Kb) 1715876 [startup+40.0218 s] /proc/loadavg: 0.96 0.98 0.99 2/76 2330 /proc/meminfo: memFree=1654032/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=41.23 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 58419 0 1 0 4096 27 0 0 25 0 13 0 197675741 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071366854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 50179 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=0.27 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 6190 0 0 0 25 2 0 0 17 0 13 0 197675744 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=0.27 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 7118 0 0 0 25 2 0 0 16 0 13 0 197675744 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 29 0 0 0 0 0 0 0 17 0 13 0 197675747 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1479 0 0 0 77 0 0 0 17 0 13 0 197675751 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.74 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3134 0 0 0 73 1 0 0 16 0 13 0 197675751 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 50179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.23 Current children cumulated vsize (Kb) 1715876 [startup+50.0285 s] /proc/loadavg: 0.96 0.98 0.99 2/76 2330 /proc/meminfo: memFree=1655952/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=51.28 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 59414 0 1 0 5100 28 0 0 21 0 13 0 197675741 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071337771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 49702 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=0.32 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 6708 0 0 0 29 3 0 0 16 0 13 0 197675744 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=0.31 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 7589 0 0 0 29 2 0 0 16 0 13 0 197675744 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1479 0 0 0 77 0 0 0 17 0 13 0 197675751 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.74 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3134 0 0 0 73 1 0 0 16 0 13 0 197675751 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 49702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.28 Current children cumulated vsize (Kb) 1715876 [startup+60.0352 s] /proc/loadavg: 0.97 0.98 0.99 2/76 2330 /proc/meminfo: memFree=1657552/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=61.32 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 60133 0 1 0 6104 28 0 0 25 0 13 0 197675741 1757057024 49301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071392431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 49301 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=0.35 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 7022 0 0 0 32 3 0 0 16 0 13 0 197675744 1757057024 49301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=0.34 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 7988 0 0 0 32 2 0 0 16 0 13 0 197675744 1757057024 49301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0.01 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 29 0 0 0 0 1 0 0 16 0 13 0 197675747 1757057024 49301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 49301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 49301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.79 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1480 0 0 0 79 0 0 0 17 0 13 0 197675751 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3135 0 0 0 76 1 0 0 17 0 13 0 197675751 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 115268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 1715876 [startup+1782.37 s] /proc/loadavg: 1.09 1.03 1.01 2/76 2525 /proc/meminfo: memFree=1392984/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=1797.49 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 215571 0 1 0 179622 127 0 0 25 0 13 0 197675741 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071351763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 114986 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=15 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 57323 0 0 0 1471 29 0 0 16 0 13 0 197675744 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=14.97 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 57315 0 0 0 1467 30 0 0 17 0 13 0 197675744 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0.33 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 267 0 0 0 16 17 0 0 16 0 13 0 197675747 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.79 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1480 0 0 0 79 0 0 0 17 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3135 0 0 0 76 1 0 0 17 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 1715876 [startup+1783.38 s] /proc/loadavg: 1.09 1.03 1.01 2/76 2525 /proc/meminfo: memFree=1392984/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=1798.5 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 215571 0 1 0 179723 127 0 0 25 0 13 0 197675741 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071534881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 114986 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=15 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 57323 0 0 0 1471 29 0 0 16 0 13 0 197675744 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=14.97 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 57315 0 0 0 1467 30 0 0 17 0 13 0 197675744 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0.33 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 267 0 0 0 16 17 0 0 16 0 13 0 197675747 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.79 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1480 0 0 0 79 0 0 0 17 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3135 0 0 0 76 1 0 0 17 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 114986 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 1715876 [startup+1784.39 s] /proc/loadavg: 1.09 1.03 1.01 2/76 2525 /proc/meminfo: memFree=1392472/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=1799.54 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 215762 0 1 0 179826 128 0 0 25 0 13 0 197675741 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071367568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 115153 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=15.02 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 57448 0 0 0 1473 29 0 0 16 0 13 0 197675744 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=14.99 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 57380 0 0 0 1469 30 0 0 16 0 13 0 197675744 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0.33 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 267 0 0 0 16 17 0 0 15 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.79 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1480 0 0 0 79 0 0 0 17 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3135 0 0 0 76 1 0 0 17 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 1715876 [startup+1785.39 s] /proc/loadavg: 1.09 1.03 1.01 2/76 2525 /proc/meminfo: memFree=1392472/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=1800.54 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 215762 0 1 0 179926 128 0 0 25 0 13 0 197675741 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071337771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 115153 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=15.02 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 57448 0 0 0 1473 29 0 0 16 0 13 0 197675744 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=14.99 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 57380 0 0 0 1469 30 0 0 16 0 13 0 197675744 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0.33 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 267 0 0 0 16 17 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.79 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1480 0 0 0 79 0 0 0 17 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3135 0 0 0 76 1 0 0 17 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 1715876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.4 s] /proc/loadavg: 1.09 1.03 1.01 2/76 2525 /proc/meminfo: memFree=1392472/2055920 swapFree=4180964/4192956 [pid=2318] ppid=2316 vsize=1715876 CPUtime=1800.55 /proc/2318/stat : 2318 (java) R 2316 2318 2272 0 -1 0 215762 0 1 0 179927 128 0 0 25 0 13 0 197675741 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071366728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2318/statm: 428969 115153 1907 14 0 415716 0 [pid=2318/tid=2319] ppid=2316 vsize=1715876 CPUtime=15.02 /proc/2318/task/2319/stat : 2319 (java) S 2316 2318 2272 0 -1 64 57448 0 0 0 1473 29 0 0 16 0 13 0 197675744 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2320] ppid=2316 vsize=1715876 CPUtime=14.99 /proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2272 0 -1 64 57380 0 0 0 1469 30 0 0 16 0 13 0 197675744 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2321] ppid=2316 vsize=1715876 CPUtime=0.33 /proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2272 0 -1 64 267 0 0 0 16 17 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2322] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2272 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2323] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2272 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197675747 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2324] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2325] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2326] ppid=2316 vsize=1715876 CPUtime=0.79 /proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2272 0 -1 64 1480 0 0 0 79 0 0 0 17 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2327] ppid=2316 vsize=1715876 CPUtime=0.77 /proc/2318/task/2327/stat : 2327 (java) S 2316 2318 2272 0 -1 64 3135 0 0 0 76 1 0 0 17 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2328] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2328/stat : 2328 (java) S 2316 2318 2272 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2318/tid=2329] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2329/stat : 2329 (java) S 2316 2318 2272 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197675751 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2318/tid=2330] ppid=2316 vsize=1715876 CPUtime=0 /proc/2318/task/2330/stat : 2330 (java) S 2316 2318 2272 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197675770 1757057024 115153 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 1715876 Sending SIGTERM to -2318 Sleeping 2 seconds Child status: 143 Real time (s): 1785.49 CPU time (s): 1800.64 CPU user time (s): 1799.28 CPU system time (s): 1.35779 CPU usage (%): 100.848 Max. virtual memory (cumulated for all children) (Kb): 1715876
Begin job on node41 on Sat Jun 3 07:34:52 UTC 2006 FILE ID= 44818-1149320092 PBS_JOBID= 308573 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob2.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node41/44818-1149320092/instance-44818-1149320092.opb 635264254 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-44818-1149320092 -o ROOT/results/node41/solver-44818-1149320092 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node41/44818-1149320092/instance-44818-1149320092.opb 635264254 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 2f67579afe346c848695d45b6181b1eb RANDOM SEED= 635264254 /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.265 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.265 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: 1848000 kB Buffers: 10116 kB Cached: 133752 kB SwapCached: 3692 kB Active: 29132 kB Inactive: 123492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848000 kB SwapTotal: 4192956 kB SwapFree: 4180964 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14936 kB Slab: 41272 kB Committed_AS: 338656 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node41 on Sat Jun 3 08:04:37 UTC 2006