Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | ? (TO) | 1800.31 | 1768.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb |
MD5SUM | 901fa4df755866cb23bdcc769669d554 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.235964 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c Simplify asserted PB constraints to clauses 0.20/0.20 c solving /tmp/evaluation/432089-1178013415/instance-432089-1178013415.opb 0.20/0.20 c reading problem ... 0.59/0.51 c ... done. Wall clock time 0.312s. 0.59/0.51 c CPU time (experimental) 0.41s. 0.59/0.51 c #vars 756 0.59/0.51 c #constraints 1156 1800.07/1768.86 c starts : 2 1800.07/1768.86 c conflicts : 45183 1800.07/1768.86 c decisions : 48026 1800.07/1768.86 c propagations : 542591 1800.07/1768.86 c inspects : 667060068 1800.07/1768.86 c learnt literals : 0 1800.07/1768.86 c learnt binary clauses : 0 1800.07/1768.86 c learnt ternary clauses : 0 1800.07/1768.86 c learnt clauses : 45182 1800.07/1768.86 c root simplifications : 0 1800.07/1768.86 c removed literals (reason simplification) : 0 1800.07/1768.86 c reason swapping (by a shorter reason) : 0 1800.07/1768.86 c Calls to reduceDB : 0 1800.07/1768.86 c speed (decisions/second) : 27.158773585652547 1800.07/1768.86 c non guided choices 445 1800.07/1768.86 s UNKNOWN 1800.07/1768.86 c Total wall clock time (ms): 1768.661
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-432089-1178013415 -o ROOT/results/node10/solver-432089-1178013415 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/432089-1178013415/sat4jPseudoCPClause.jar /tmp/evaluation/432089-1178013415/instance-432089-1178013415.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.99 0.99 2/77 25572 /proc/meminfo: memFree=1699184/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=18528 CPUtime=0 /proc/25572/stat : 25572 (runsolver) R 25570 25572 24839 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 277378988 18972672 284 18446744073709551615 4194304 4255128 548682068864 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/25572/statm: 4632 284 249 14 0 2626 0 [startup+0.102554 s] /proc/loadavg: 0.92 0.99 0.99 2/77 25572 /proc/meminfo: memFree=1699184/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1780112 CPUtime=0.08 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 3973 0 1 0 5 3 0 0 18 0 12 0 277378988 1822834688 3716 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 445028 3716 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.202578 s] /proc/loadavg: 0.92 0.99 0.99 2/77 25572 /proc/meminfo: memFree=1699184/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1782236 CPUtime=0.2 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 4863 0 1 0 16 4 0 0 18 0 12 0 277378988 1825009664 4603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 445559 4603 1244 9 0 443170 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1782236 [startup+0.302598 s] /proc/loadavg: 0.92 0.99 0.99 2/77 25572 /proc/meminfo: memFree=1699184/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1782236 CPUtime=0.31 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 5105 0 1 0 27 4 0 0 18 0 12 0 277378988 1825009664 4844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 445559 4846 1263 9 0 443170 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782236 [startup+0.702683 s] /proc/loadavg: 0.92 0.99 0.99 2/77 25572 /proc/meminfo: memFree=1699184/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1785056 CPUtime=0.96 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 7484 0 1 0 91 5 0 0 18 0 13 0 277378988 1827897344 6252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 446264 6252 1306 9 0 443875 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 1785056 [startup+1.50186 s] /proc/loadavg: 1.09 1.02 1.01 4/90 25585 /proc/meminfo: memFree=1658888/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1805356 CPUtime=2.54 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 21277 0 1 0 242 12 0 0 18 0 13 0 277378988 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 451339 14832 1307 9 0 448950 0 [pid=25572/tid=25574] ppid=25570 vsize=1805356 CPUtime=0.74 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 8646 0 1 0 69 5 0 0 19 0 13 0 277378990 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109215034 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 277378992 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 277378992 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 277378994 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 277378994 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 277378994 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1805356 CPUtime=0.94 /proc/25572/task/25581/stat : 25581 (java) R 25570 25572 24839 0 -1 64 5837 0 0 0 91 3 0 0 19 0 13 0 277378998 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103316127 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1805356 CPUtime=0.83 /proc/25572/task/25582/stat : 25582 (java) R 25570 25572 24839 0 -1 64 6069 0 0 0 81 2 0 0 19 0 13 0 277378998 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102396865 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1805356 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1848684544 14832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 1805356 [startup+3.1022 s] /proc/loadavg: 1.09 1.02 1.01 4/90 25585 /proc/meminfo: memFree=1583624/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1802272 CPUtime=5.36 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 56543 0 1 0 508 28 0 0 18 0 13 0 277378988 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 450568 44314 1324 9 0 448179 0 [pid=25572/tid=25574] ppid=25570 vsize=1802272 CPUtime=2.12 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 37711 0 1 0 193 19 0 0 22 0 13 0 277378990 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109581946 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1802272 CPUtime=0.01 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 350 0 0 0 1 0 0 0 16 0 13 0 277378992 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1802272 CPUtime=0.01 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 300 0 0 0 1 0 0 0 16 0 13 0 277378992 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1802272 CPUtime=0 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 277378994 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1802272 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1802272 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1802272 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1802272 CPUtime=1.8 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8868 0 0 0 175 5 0 0 16 0 13 0 277378998 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1802272 CPUtime=1.39 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8585 0 0 0 136 3 0 0 16 0 13 0 277378998 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1802272 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1802272 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1802272 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1845526528 44314 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.36 Current children cumulated vsize (KiB) 1802272 [startup+6.30189 s] /proc/loadavg: 1.09 1.02 1.01 2/90 25585 /proc/meminfo: memFree=1520776/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1801664 CPUtime=8.74 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 62475 0 1 0 843 31 0 0 18 0 13 0 277378988 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 450416 48193 1331 9 0 448027 0 [pid=25572/tid=25574] ppid=25570 vsize=1801664 CPUtime=5.14 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 37718 0 1 0 495 19 0 0 25 0 13 0 277378990 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109568344 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1801664 CPUtime=0.15 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 3399 0 0 0 14 1 0 0 16 0 13 0 277378992 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1801664 CPUtime=0.14 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 3145 0 0 0 13 1 0 0 17 0 13 0 277378992 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1801664 CPUtime=0 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 277378994 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1801664 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1801664 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1801664 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1801664 CPUtime=1.85 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8871 0 0 0 180 5 0 0 16 0 13 0 277378998 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1801664 CPUtime=1.41 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8591 0 0 0 138 3 0 0 17 0 13 0 277378998 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1801664 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1801664 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1801664 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1844903936 48193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.74 Current children cumulated vsize (KiB) 1801664 [startup+12.7013 s] /proc/loadavg: 1.07 1.02 1.00 2/90 25585 /proc/meminfo: memFree=1482416/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1797376 CPUtime=15.38 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 71220 0 1 0 1504 34 0 0 18 0 13 0 277378988 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 449344 55207 1331 9 0 446955 0 [pid=25572/tid=25574] ppid=25570 vsize=1797376 CPUtime=11.29 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 38741 0 1 0 1110 19 0 0 23 0 13 0 277378990 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109583968 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1797376 CPUtime=0.38 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 8057 0 0 0 35 3 0 0 16 0 13 0 277378992 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1797376 CPUtime=0.37 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 6201 0 0 0 35 2 0 0 16 0 13 0 277378992 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1797376 CPUtime=0 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 277378994 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1797376 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1797376 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1797376 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1797376 CPUtime=1.87 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8879 0 0 0 182 5 0 0 17 0 13 0 277378998 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1797376 CPUtime=1.42 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8591 0 0 0 139 3 0 0 17 0 13 0 277378998 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1797376 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1797376 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1797376 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1840513024 55207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.38 Current children cumulated vsize (KiB) 1797376 [startup+25.503 s] /proc/loadavg: 1.06 1.02 1.00 2/90 25585 /proc/meminfo: memFree=1471280/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1796464 CPUtime=28.34 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 74698 0 1 0 2798 36 0 0 18 0 13 0 277378988 1839579136 58036 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 449116 58036 1331 9 0 446727 0 [pid=25572/tid=25574] ppid=25570 vsize=1796464 CPUtime=23.93 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 38753 0 1 0 2374 19 0 0 18 0 13 0 277378990 1839579136 58036 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109577002 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1796464 CPUtime=0.53 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 9921 0 0 0 50 3 0 0 17 0 13 0 277378992 1839579136 58036 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1796464 CPUtime=0.53 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 7803 0 0 0 50 3 0 0 17 0 13 0 277378992 1839579136 58036 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=25572/tid=25577] ppid=25570 vsize=1796464 CPUtime=0.16 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 81 0 0 0 10 6 0 0 16 0 13 0 277378994 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1796464 CPUtime=1.9 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8880 0 0 0 185 5 0 0 16 0 13 0 277378998 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1796464 CPUtime=1.53 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8595 0 0 0 150 3 0 0 16 0 13 0 277378998 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1839579136 133366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1569 Current children cumulated vsize (KiB) 1796464 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 25783 /proc/meminfo: memFree=1163568/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1796464 CPUtime=1630.18 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 179148 0 1 0 162913 105 0 0 18 0 13 0 277378988 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 449116 134701 1333 9 0 446727 0 [pid=25572/tid=25574] ppid=25570 vsize=1796464 CPUtime=1573.68 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 49364 0 1 0 157328 40 0 0 25 0 13 0 277378990 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109542279 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1796464 CPUtime=26.44 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 59542 0 0 0 2618 26 0 0 17 0 13 0 277378992 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1796464 CPUtime=26.41 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 51966 0 0 0 2619 22 0 0 16 0 13 0 277378992 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1796464 CPUtime=0.18 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 81 0 0 0 11 7 0 0 16 0 13 0 277378994 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1796464 CPUtime=1.9 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8880 0 0 0 185 5 0 0 16 0 13 0 277378998 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1796464 CPUtime=1.53 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8595 0 0 0 150 3 0 0 16 0 13 0 277378998 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1839579136 134701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1630.18 Current children cumulated vsize (KiB) 1796464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 25783 /proc/meminfo: memFree=1158320/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1796464 CPUtime=1691.39 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 180560 0 1 0 169033 106 0 0 18 0 13 0 277378988 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 449116 136011 1333 9 0 446727 0 [pid=25572/tid=25574] ppid=25570 vsize=1796464 CPUtime=1632.38 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 49387 0 1 0 163198 40 0 0 25 0 13 0 277378990 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109543496 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1796464 CPUtime=27.68 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 60045 0 0 0 2742 26 0 0 16 0 13 0 277378992 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1796464 CPUtime=27.68 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 52852 0 0 0 2745 23 0 0 16 0 13 0 277378992 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1796464 CPUtime=0.18 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 81 0 0 0 11 7 0 0 16 0 13 0 277378994 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1796464 CPUtime=1.9 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8880 0 0 0 185 5 0 0 16 0 13 0 277378998 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1796464 CPUtime=1.53 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8595 0 0 0 150 3 0 0 16 0 13 0 277378998 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1839579136 136011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1691.39 Current children cumulated vsize (KiB) 1796464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 25783 /proc/meminfo: memFree=1151984/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1796464 CPUtime=1752.65 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 182295 0 1 0 175157 108 0 0 18 0 13 0 277378988 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 449116 137600 1333 9 0 446727 0 [pid=25572/tid=25574] ppid=25570 vsize=1796464 CPUtime=1691.06 /proc/25572/task/25574/stat : 25574 (java) R 25570 25572 24839 0 -1 64 49410 0 1 0 169065 41 0 0 24 0 13 0 277378990 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109542725 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1796464 CPUtime=28.96 /proc/25572/task/25575/stat : 25575 (java) S 25570 25572 24839 0 -1 64 60521 0 0 0 2870 26 0 0 17 0 13 0 277378992 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1796464 CPUtime=28.97 /proc/25572/task/25576/stat : 25576 (java) S 25570 25572 24839 0 -1 64 54088 0 0 0 2873 24 0 0 16 0 13 0 277378992 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1796464 CPUtime=0.18 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 81 0 0 0 11 7 0 0 15 0 13 0 277378994 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1796464 CPUtime=1.9 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8880 0 0 0 185 5 0 0 16 0 13 0 277378998 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1796464 CPUtime=1.53 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8595 0 0 0 150 3 0 0 16 0 13 0 277378998 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1839579136 137600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1752.65 Current children cumulated vsize (KiB) 1796464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1768.8 s] /proc/loadavg: 1.00 1.00 1.00 3/90 25783 /proc/meminfo: memFree=1148336/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=1796464 CPUtime=1800.07 /proc/25572/stat : 25572 (java) S 25570 25572 24839 0 -1 0 183285 0 1 0 179898 109 0 0 18 0 13 0 277378988 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25572/statm: 449116 138486 1333 9 0 446727 0 [pid=25572/tid=25574] ppid=25570 vsize=1796464 CPUtime=1736.6 /proc/25572/task/25574/stat : 25574 (java) S 25570 25572 24839 0 -1 64 49427 0 1 0 173619 41 0 0 25 0 13 0 277378990 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25575] ppid=25570 vsize=1796464 CPUtime=29.91 /proc/25572/task/25575/stat : 25575 (java) R 25570 25572 24839 0 -1 64 60824 0 0 0 2965 26 0 0 16 0 13 0 277378992 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103361184 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25576] ppid=25570 vsize=1796464 CPUtime=29.9 /proc/25572/task/25576/stat : 25576 (java) R 25570 25572 24839 0 -1 64 54758 0 0 0 2966 24 0 0 16 0 13 0 277378992 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25577] ppid=25570 vsize=1796464 CPUtime=0.18 /proc/25572/task/25577/stat : 25577 (java) S 25570 25572 24839 0 -1 64 81 0 0 0 11 7 0 0 15 0 13 0 277378994 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25578] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25578/stat : 25578 (java) S 25570 25572 24839 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25579] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25579/stat : 25579 (java) S 25570 25572 24839 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 277378994 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25580] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25580/stat : 25580 (java) S 25570 25572 24839 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 277378998 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25581] ppid=25570 vsize=1796464 CPUtime=1.9 /proc/25572/task/25581/stat : 25581 (java) S 25570 25572 24839 0 -1 64 8880 0 0 0 185 5 0 0 16 0 13 0 277378998 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25582] ppid=25570 vsize=1796464 CPUtime=1.53 /proc/25572/task/25582/stat : 25582 (java) S 25570 25572 24839 0 -1 64 8595 0 0 0 150 3 0 0 16 0 13 0 277378998 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25583] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25583/stat : 25583 (java) S 25570 25572 24839 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 277378998 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25572/tid=25584] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25584/stat : 25584 (java) S 25570 25572 24839 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 277378998 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25572/tid=25585] ppid=25570 vsize=1796464 CPUtime=0 /proc/25572/task/25585/stat : 25585 (java) S 25570 25572 24839 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 277379041 1839579136 138486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1796464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1768.92 s] /proc/loadavg: 1.00 1.00 1.00 3/90 25783 /proc/meminfo: memFree=1148336/2055920 swapFree=4145504/4192956 [pid=25572] ppid=25570 vsize=0 CPUtime=1800.24 /proc/25572/stat : 25572 (java) Z 25570 25572 24839 0 -1 1036 183366 0 1 0 179912 112 0 0 16 0 2 0 277378988 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/25572/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1768.98 CPU time (s): 1800.31 CPU user time (s): 1799.12 CPU system time (s): 1.18382 CPU usage (%): 101.771 Max. virtual memory (cumulated for all children) (KiB): 1807392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.12 system time used= 1.18382 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183366 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42722 involuntary context switches= 56379 runsolver used 1.80272 second user time and 4.70528 second system time The end
Begin job on node10 on Tue May 1 09:56:55 UTC 2007 IDJOB= 432089 IDBENCH= 48098 IDSOLVER= 164 FILE ID= node10/432089-1178013415 PBS_JOBID= 4728320 Free space on /tmp= 66561 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/432089-1178013415/sat4jPseudoCPClause.jar /tmp/evaluation/432089-1178013415/instance-432089-1178013415.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-432089-1178013415 -o ROOT/results/node10/solver-432089-1178013415 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/432089-1178013415/sat4jPseudoCPClause.jar /tmp/evaluation/432089-1178013415/instance-432089-1178013415.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554 RANDOM SEED= 535937667 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.259 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.259 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: 1699528 kB Buffers: 35844 kB Cached: 222048 kB SwapCached: 15808 kB Active: 117368 kB Inactive: 172548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1699528 kB SwapTotal: 4192956 kB SwapFree: 4145504 kB Dirty: 3712 kB Writeback: 0 kB Mapped: 30168 kB Slab: 52052 kB Committed_AS: 3884104 kB PageTables: 1708 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node10 on Tue May 1 10:26:26 UTC 2007