Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.58 | 1790.45 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb |
MD5SUM | cc797868c6f9cb3811b8dc2300ad7f9f |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 612 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 556800 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 556800 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.21 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.21 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.22 c no version file found!!! 0.22 c sun.arch.data.model 32 0.22 c java.version 1.5.0_06 0.22 c os.name Linux 0.22 c os.version 2.6.9-22.EL.rootsmp 0.22 c os.arch i386 0.22 c Free memory 1548419056 0.22 c Max memory 1551040512 0.22 c Total memory 1551040512 0.22 c Number of processors 2 0.27 c Cutting planes based inference 0.27 c --- Begin Solver configuration --- 0.27 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.27 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.27 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.27 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.27 c VSIDS like heuristics from MiniSAT using a heap 0.27 c No reason simplification 0.27 c --- End Solver configuration --- 0.27 c solving ROOT/tmp/node13/43881-1149268185/instance-43881-1149268185.opb 0.27 c reading problem ... 17.21 c ... done. Time 16.941 ms. 17.21 c #vars 107808 17.21 c #constraints 5184 1790.40 c starts : 6 1790.40 c conflicts : 1782 1790.40 c decisions : 49282 1790.40 c propagations : 326253 1790.40 c inspects : 1689954 1790.40 c learnt literals : 0 1790.40 c learnt binary clauses : 0 1790.40 c learnt ternary clauses : 0 1790.40 c learnt clauses : 1781 1790.40 c root simplifications : 0 1790.40 c removed literals (reason simplification) : 0 1790.40 c reason swapping (by a shorter reason) : 0 1790.40 c Calls to reduceDB : 0 1790.40 c speed (decisions/second) : 27.794039187553647 1790.40 c non guided choices 193 1790.40 s UNKNOWN 1790.40 c Total wall clock time (ms): 1790.126
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/node13/watcher-43881-1149268185 -o ROOT/results/node13/solver-43881-1149268185 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node13/43881-1149268185/instance-43881-1149268185.opb 670440838 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 1.02 0.99 3/64 14544 /proc/meminfo: memFree=1670360/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1500 CPUtime=0 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 66 0 0 0 0 0 0 0 19 0 1 0 192481175 1536000 49 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 11822355 0 0 4096 0 0 0 0 17 1 0 0 /proc/14544/statm: 375 61 48 14 0 8 0 [startup+10.0026 s] /proc/loadavg: 1.06 1.01 0.99 2/75 14555 /proc/meminfo: memFree=1451216/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1711056 CPUtime=11.17 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 59328 0 1 0 1091 26 0 0 25 0 12 0 192481175 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152709490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 427764 56575 1886 14 0 414511 0 [pid=14544/tid=14545] ppid=14542 vsize=1711056 CPUtime=0.75 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 10773 0 0 0 69 6 0 0 16 0 12 0 192481182 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1711056 CPUtime=0.74 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 11030 0 0 0 70 4 0 0 16 0 12 0 192481182 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1711056 CPUtime=0 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 192481185 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1711056 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 192481185 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1711056 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 192481185 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1711056 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 192481191 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1711056 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 192481191 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1711056 CPUtime=0.35 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 550 0 0 0 35 0 0 0 16 0 12 0 192481191 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1711056 CPUtime=0.34 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 451 0 0 0 34 0 0 0 16 0 12 0 192481191 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1711056 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 192481191 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1711056 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 192481191 1752121344 56575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (Kb) 1711056 [startup+20.0109 s] /proc/loadavg: 1.05 1.01 0.99 2/76 14556 /proc/meminfo: memFree=1438408/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1712072 CPUtime=21.71 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 63512 0 1 0 2143 28 0 0 25 0 13 0 192481175 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071558954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428018 59797 1903 14 0 414765 0 [pid=14544/tid=14545] ppid=14542 vsize=1712072 CPUtime=0.93 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 12519 0 0 0 86 7 0 0 16 0 13 0 192481182 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1712072 CPUtime=0.92 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 12600 0 0 0 87 5 0 0 16 0 13 0 192481182 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 192481185 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1712072 CPUtime=0.54 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 730 0 0 0 54 0 0 0 16 0 13 0 192481191 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1712072 CPUtime=0.61 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 1057 0 0 0 61 0 0 0 16 0 13 0 192481191 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1712072 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 192482911 1753161728 59797 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.71 Current children cumulated vsize (Kb) 1712072 [startup+30.0193 s] /proc/loadavg: 1.04 1.01 0.99 2/76 14556 /proc/meminfo: memFree=1435336/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1711572 CPUtime=31.81 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 64465 0 1 0 3152 29 0 0 23 0 13 0 192481175 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071558803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 427893 60637 1903 14 0 414640 0 [pid=14544/tid=14545] ppid=14542 vsize=1711572 CPUtime=0.94 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 12733 0 0 0 87 7 0 0 16 0 13 0 192481182 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1711572 CPUtime=0.94 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 13317 0 0 0 89 5 0 0 16 0 13 0 192481182 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 192481185 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1711572 CPUtime=0.59 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 739 0 0 0 59 0 0 0 16 0 13 0 192481191 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1711572 CPUtime=0.65 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 1059 0 0 0 65 0 0 0 16 0 13 0 192481191 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1711572 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 192482911 1752649728 60637 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.81 Current children cumulated vsize (Kb) 1711572 [startup+40.0256 s] /proc/loadavg: 1.03 1.01 0.99 2/76 14556 /proc/meminfo: memFree=1433992/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1712436 CPUtime=41.98 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 65661 0 1 0 4168 30 0 0 25 0 13 0 192481175 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071592463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428109 60937 1904 14 0 414856 0 [pid=14544/tid=14545] ppid=14542 vsize=1712436 CPUtime=0.96 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 12853 0 0 0 88 8 0 0 16 0 13 0 192481182 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1712436 CPUtime=0.95 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 13605 0 0 0 90 5 0 0 17 0 13 0 192481182 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 192481185 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1712436 CPUtime=0.71 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1520 0 0 0 71 0 0 0 15 0 13 0 192481191 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1712436 CPUtime=0.73 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 1062 0 0 0 73 0 0 0 16 0 13 0 192481191 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1712436 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 192482911 1753534464 60937 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.98 Current children cumulated vsize (Kb) 1712436 [startup+50.033 s] /proc/loadavg: 1.03 1.01 0.99 2/76 14556 /proc/meminfo: memFree=1436680/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1713864 CPUtime=52.21 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 67397 0 1 0 5190 31 0 0 25 0 13 0 192481175 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071592463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428466 60238 1904 14 0 415213 0 [pid=14544/tid=14545] ppid=14542 vsize=1713864 CPUtime=0.97 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 12854 0 0 0 89 8 0 0 16 0 13 0 192481182 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1713864 CPUtime=0.97 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 13607 0 0 0 91 6 0 0 16 0 13 0 192481182 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1713864 CPUtime=0.72 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1520 0 0 0 72 0 0 0 16 0 13 0 192481191 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1713864 CPUtime=0.96 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 2792 0 0 0 95 1 0 0 17 0 13 0 192481191 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 192482911 1754996736 60238 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.21 Current children cumulated vsize (Kb) 1713864 [startup+60.0403 s] /proc/loadavg: 1.02 1.01 0.99 2/76 14556 /proc/meminfo: memFree=1442312/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1713864 CPUtime=62.23 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 67404 0 1 0 6191 32 0 0 25 0 13 0 192481175 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071447791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428466 58831 1904 14 0 415213 0 [pid=14544/tid=14545] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 12856 0 0 0 90 8 0 0 16 0 13 0 192481182 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 13608 0 0 0 92 6 0 0 17 0 13 0 192481182 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 58831 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1713864 CPUtime=0.83 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1535 0 0 0 83 0 0 0 17 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 2795 0 0 0 97 1 0 0 16 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192482911 1754996736 68251 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) 1713864 [startup+1787.37 s] /proc/loadavg: 1.00 1.00 1.00 2/76 14558 /proc/meminfo: memFree=1403656/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1713864 CPUtime=1797.47 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 107513 0 1 0 179622 125 0 0 25 0 13 0 192481175 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071559160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428466 68251 1907 14 0 415213 0 [pid=14544/tid=14545] ppid=14542 vsize=1713864 CPUtime=9.54 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 30861 0 0 0 904 50 0 0 16 0 13 0 192481182 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1713864 CPUtime=9.53 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 33247 0 0 0 913 40 0 0 17 0 13 0 192481182 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1713864 CPUtime=0.25 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 59 0 0 0 15 10 0 0 16 0 13 0 192481185 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1713864 CPUtime=0.83 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1535 0 0 0 83 0 0 0 17 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 2795 0 0 0 97 1 0 0 16 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192482911 1754996736 68251 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 1713864 [startup+1788.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 14558 /proc/meminfo: memFree=1402696/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1713864 CPUtime=1798.48 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 107746 0 1 0 179723 125 0 0 22 0 13 0 192481175 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071592470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428466 68483 1907 14 0 415213 0 [pid=14544/tid=14545] ppid=14542 vsize=1713864 CPUtime=9.55 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 30869 0 0 0 905 50 0 0 16 0 13 0 192481182 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1713864 CPUtime=9.54 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 33471 0 0 0 914 40 0 0 16 0 13 0 192481182 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1713864 CPUtime=0.25 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 59 0 0 0 15 10 0 0 15 0 13 0 192481185 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1713864 CPUtime=0.83 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1535 0 0 0 83 0 0 0 17 0 13 0 192481191 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 2795 0 0 0 97 1 0 0 16 0 13 0 192481191 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192482911 1754996736 68483 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 1713864 [startup+1789.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 14558 /proc/meminfo: memFree=1402696/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1713864 CPUtime=1799.5 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 107748 0 1 0 179825 125 0 0 19 0 13 0 192481175 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071592470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428466 68484 1907 14 0 415213 0 [pid=14544/tid=14545] ppid=14542 vsize=1713864 CPUtime=9.56 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 30869 0 0 0 906 50 0 0 16 0 13 0 192481182 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1713864 CPUtime=9.55 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 33472 0 0 0 915 40 0 0 16 0 13 0 192481182 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1713864 CPUtime=0.25 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 59 0 0 0 15 10 0 0 15 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1713864 CPUtime=0.83 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1535 0 0 0 83 0 0 0 17 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 2795 0 0 0 97 1 0 0 16 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192482911 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 1713864 [startup+1790.39 s] /proc/loadavg: 1.00 1.00 1.00 2/76 14558 /proc/meminfo: memFree=1402696/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1713864 CPUtime=1800.5 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 107748 0 1 0 179925 125 0 0 25 0 13 0 192481175 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071558920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428466 68484 1907 14 0 415213 0 [pid=14544/tid=14545] ppid=14542 vsize=1713864 CPUtime=9.56 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 30869 0 0 0 906 50 0 0 16 0 13 0 192481182 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1713864 CPUtime=9.55 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 33472 0 0 0 915 40 0 0 16 0 13 0 192481182 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1713864 CPUtime=0.25 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 59 0 0 0 15 10 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1713864 CPUtime=0.83 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1535 0 0 0 83 0 0 0 17 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 2795 0 0 0 97 1 0 0 16 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192482911 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 1713864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.4 s] /proc/loadavg: 1.00 1.00 1.00 2/76 14558 /proc/meminfo: memFree=1402696/2055920 swapFree=4181416/4192956 [pid=14544] ppid=14542 vsize=1713864 CPUtime=1800.51 /proc/14544/stat : 14544 (java) R 14542 14544 14498 0 -1 0 107748 0 1 0 179926 125 0 0 25 0 13 0 192481175 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071558945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14544/statm: 428466 68484 1907 14 0 415213 0 [pid=14544/tid=14545] ppid=14542 vsize=1713864 CPUtime=9.56 /proc/14544/task/14545/stat : 14545 (java) S 14542 14544 14498 0 -1 64 30869 0 0 0 906 50 0 0 16 0 13 0 192481182 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14546] ppid=14542 vsize=1713864 CPUtime=9.55 /proc/14544/task/14546/stat : 14546 (java) S 14542 14544 14498 0 -1 64 33472 0 0 0 915 40 0 0 16 0 13 0 192481182 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14547] ppid=14542 vsize=1713864 CPUtime=0.25 /proc/14544/task/14547/stat : 14547 (java) S 14542 14544 14498 0 -1 64 59 0 0 0 15 10 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14548] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14548/stat : 14548 (java) S 14542 14544 14498 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14549] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14549/stat : 14549 (java) S 14542 14544 14498 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192481185 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14550] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14550/stat : 14550 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14551] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14551/stat : 14551 (java) S 14542 14544 14498 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14552] ppid=14542 vsize=1713864 CPUtime=0.83 /proc/14544/task/14552/stat : 14552 (java) S 14542 14544 14498 0 -1 64 1535 0 0 0 83 0 0 0 17 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14553] ppid=14542 vsize=1713864 CPUtime=0.98 /proc/14544/task/14553/stat : 14553 (java) S 14542 14544 14498 0 -1 64 2795 0 0 0 97 1 0 0 16 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14554] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14554/stat : 14554 (java) S 14542 14544 14498 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14544/tid=14555] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14555/stat : 14555 (java) S 14542 14544 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 192481191 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14544/tid=14556] ppid=14542 vsize=1713864 CPUtime=0 /proc/14544/task/14556/stat : 14556 (java) S 14542 14544 14498 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192482911 1754996736 68484 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 1713864 Sending SIGTERM to -14544 Sleeping 2 seconds Child status: 143 Real time (s): 1790.45 CPU time (s): 1800.58 CPU user time (s): 1799.27 CPU system time (s): 1.3018 CPU usage (%): 100.565 Max. virtual memory (cumulated for all children) (Kb): 1713864
Begin job on node13 on Fri Jun 2 17:09:46 UTC 2006 FILE ID= 43881-1149268185 PBS_JOBID= 298934 BENCH NAME= ROOT/tmp/node13/43881-1149268185/instance-43881-1149268185.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node13/43881-1149268185/instance-43881-1149268185.opb 670440838 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-43881-1149268185 -o ROOT/results/node13/solver-43881-1149268185 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node13/43881-1149268185/instance-43881-1149268185.opb 670440838 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= cc797868c6f9cb3811b8dc2300ad7f9f RANDOM SEED= 670440838 /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.234 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.234 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: 1670760 kB Buffers: 16320 kB Cached: 307704 kB SwapCached: 3056 kB Active: 37584 kB Inactive: 294968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1670760 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14664 kB Slab: 38628 kB Committed_AS: 272408 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Fri Jun 2 17:39:36 UTC 2006