Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | ? (TO) | 1800.12 | 1767.11 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb |
MD5SUM | 015e1ad727429fbf28fe61f3a93025c8 |
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.113982 |
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 | 162 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.15 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/0.15 c Number of processors 2 0.21/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.21/0.20 --- Begin Solver configuration --- 0.21/0.20 c Stops conflict analysis at the first Unique Implication Point 0.21/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.21/0.20 c Learn all clauses as in MiniSAT 0.21/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.21/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.21/0.20 c No reason simplification 0.21/0.20 c --- End Solver configuration --- 0.21/0.20 c solving /tmp/evaluation/429313-1177983068/instance-429313-1177983068.opb 0.21/0.20 c reading problem ... 0.44/0.41 c ... done. Wall clock time 0.208s. 0.44/0.41 c CPU time (experimental) 0.33s. 0.44/0.41 c #vars 486 0.44/0.41 c #constraints 676 1800.00/1767.01 c starts : 2 1800.00/1767.01 c conflicts : 44197 1800.00/1767.01 c decisions : 45246 1800.00/1767.01 c propagations : 499264 1800.00/1767.01 c inspects : 834001733 1800.00/1767.01 c learnt literals : 0 1800.00/1767.01 c learnt binary clauses : 0 1800.00/1767.01 c learnt ternary clauses : 0 1800.00/1767.01 c learnt clauses : 44196 1800.00/1767.01 c root simplifications : 0 1800.00/1767.01 c removed literals (reason simplification) : 0 1800.00/1767.01 c reason swapping (by a shorter reason) : 0 1800.00/1767.01 c Calls to reduceDB : 0 1800.00/1767.01 c speed (decisions/second) : 25.611967874941413 1800.00/1767.01 c non guided choices 205 1800.00/1767.01 s UNKNOWN 1800.00/1767.01 c Total wall clock time (ms): 1766.81
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-429313-1177983068 -o ROOT/results/node22/solver-429313-1177983068 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/429313-1177983068/sat4jPseudoCP.jar /tmp/evaluation/429313-1177983068/instance-429313-1177983068.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: 1.00 1.00 0.91 2/77 13473 /proc/meminfo: memFree=1809368/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=152 CPUtime=0 /proc/13473/stat : 13473 (java) R 13471 13473 12423 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 246224451 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4677931 0 0 4096 0 0 0 0 17 1 0 0 /proc/13473/statm: 38 26 19 9 0 4 0 [startup+0.0351359 s] /proc/loadavg: 1.00 1.00 0.91 2/77 13473 /proc/meminfo: memFree=1809368/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1775952 CPUtime=0.01 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 2981 0 1 0 0 1 0 0 18 0 4 0 246224451 1818574848 2730 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 443988 2730 746 9 0 441624 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1775952 [startup+0.102145 s] /proc/loadavg: 1.00 1.00 0.91 2/77 13473 /proc/meminfo: memFree=1809368/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1780108 CPUtime=0.09 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 3970 0 1 0 6 3 0 0 18 0 12 0 246224451 1822830592 3713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 445027 3713 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.302175 s] /proc/loadavg: 1.00 1.00 0.91 2/77 13473 /proc/meminfo: memFree=1809368/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1781420 CPUtime=0.31 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 5105 0 1 0 27 4 0 0 18 0 12 0 246224451 1824174080 4845 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 445355 4845 1260 9 0 442967 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781420 [startup+0.702237 s] /proc/loadavg: 1.00 1.00 0.91 2/77 13473 /proc/meminfo: memFree=1809368/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1784452 CPUtime=0.98 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 7372 0 1 0 93 5 0 0 18 0 13 0 246224451 1827278848 6353 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 446113 6354 1307 9 0 443725 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1784452 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 0.91 4/90 13486 /proc/meminfo: memFree=1778096/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794852 CPUtime=2.53 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 21072 0 1 0 240 13 0 0 18 0 13 0 246224451 1837928448 14137 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448713 14138 1313 9 0 446325 0 [pid=13473/tid=13475] ppid=13471 vsize=1794852 CPUtime=0.78 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 10236 0 1 0 72 6 0 0 18 0 13 0 246224452 1837928448 14138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109214405 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 246224454 1837928448 14140 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 246224454 1837928448 14140 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 246224456 1837928448 14141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 246224456 1837928448 14142 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 246224456 1837928448 14143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837928448 14144 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794852 CPUtime=0.86 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 4440 0 0 0 84 2 0 0 16 0 13 0 246224460 1837928448 14146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794852 CPUtime=0.85 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 5674 0 0 0 82 3 0 0 18 0 13 0 246224460 1837928448 14148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837928448 14149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837928448 14151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794852 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837928448 14153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 1794852 [startup+3.1016 s] /proc/loadavg: 1.16 1.03 0.93 4/90 13486 /proc/meminfo: memFree=1703600/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1797824 CPUtime=5.31 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 55171 0 1 0 501 30 0 0 18 0 13 0 246224451 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 449456 43087 1322 9 0 447068 0 [pid=13473/tid=13475] ppid=13471 vsize=1797824 CPUtime=2 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 37711 0 1 0 178 22 0 0 19 0 13 0 246224452 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109561674 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 248 0 0 0 0 0 0 0 16 0 13 0 246224454 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 216 0 0 0 0 0 0 0 16 0 13 0 246224454 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 246224456 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1797824 CPUtime=1.56 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7523 0 0 0 153 3 0 0 15 0 13 0 246224460 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1797824 CPUtime=1.71 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8744 0 0 0 167 4 0 0 16 0 13 0 246224460 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1797824 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1840971776 43087 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.31 Current children cumulated vsize (KiB) 1797824 [startup+6.30108 s] /proc/loadavg: 1.16 1.03 0.93 2/90 13486 /proc/meminfo: memFree=1640128/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794748 CPUtime=8.66 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 58655 0 1 0 834 32 0 0 18 0 13 0 246224451 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448687 44776 1323 9 0 446299 0 [pid=13473/tid=13475] ppid=13471 vsize=1794748 CPUtime=5.09 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 37717 0 1 0 487 22 0 0 18 0 13 0 246224452 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109601282 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794748 CPUtime=0.08 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 2042 0 0 0 8 0 0 0 16 0 13 0 246224454 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794748 CPUtime=0.09 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 1876 0 0 0 8 1 0 0 16 0 13 0 246224454 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794748 CPUtime=1.58 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7523 0 0 0 155 3 0 0 16 0 13 0 246224460 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794748 CPUtime=1.78 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8747 0 0 0 174 4 0 0 16 0 13 0 246224460 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) R 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837821952 44776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.66 Current children cumulated vsize (KiB) 1794748 [startup+12.7011 s] /proc/loadavg: 1.13 1.03 0.93 2/90 13486 /proc/meminfo: memFree=1594768/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794748 CPUtime=15.21 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 68845 0 1 0 1483 38 0 0 18 0 13 0 246224451 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448687 54636 1330 9 0 446299 0 [pid=13473/tid=13475] ppid=13471 vsize=1794748 CPUtime=11.36 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 41771 0 1 0 1112 24 0 0 24 0 13 0 246224452 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109584866 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794748 CPUtime=0.22 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 5469 0 0 0 20 2 0 0 16 0 13 0 246224454 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794748 CPUtime=0.21 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 4577 0 0 0 19 2 0 0 16 0 13 0 246224454 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794748 CPUtime=1.59 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7530 0 0 0 156 3 0 0 15 0 13 0 246224460 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794748 CPUtime=1.78 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8747 0 0 0 174 4 0 0 16 0 13 0 246224460 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837821952 54636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.21 Current children cumulated vsize (KiB) 1794748 [startup+25.503 s] /proc/loadavg: 1.11 1.03 0.93 2/90 13486 /proc/meminfo: memFree=1597648/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794748 CPUtime=28.14 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 71036 0 1 0 2775 39 0 0 18 0 13 0 246224451 1837821952 53919 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448687 53919 1330 9 0 446299 0 [pid=13473/tid=13475] ppid=13471 vsize=1794748 CPUtime=24.03 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 41784 0 1 0 2379 24 0 0 25 0 13 0 246224452 1837821952 53919 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109601104 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794748 CPUtime=0.34 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 6678 0 0 0 31 3 0 0 16 0 13 0 246224454 1837821952 53919 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794748 CPUtime=0.33 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 5543 0 0 0 30 3 0 0 16 0 13 0 246224454 1837821952 53919 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=13473/tid=13478] ppid=13471 vsize=1794748 CPUtime=0.21 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 120 0 0 0 13 8 0 0 16 0 13 0 246224456 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794748 CPUtime=1.6 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7531 0 0 0 157 3 0 0 16 0 13 0 246224460 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794748 CPUtime=1.86 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8756 0 0 0 182 4 0 0 17 0 13 0 246224460 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837821952 89721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1569.89 Current children cumulated vsize (KiB) 1794748 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/90 13488 /proc/meminfo: memFree=1450704/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794748 CPUtime=1631.3 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 125466 0 1 0 163044 86 0 0 18 0 13 0 246224451 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448687 90371 1332 9 0 446299 0 [pid=13473/tid=13475] ppid=13471 vsize=1794748 CPUtime=1572.61 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 56688 0 1 0 157220 41 0 0 25 0 13 0 246224452 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109600862 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794748 CPUtime=27.5 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 25557 0 0 0 2736 14 0 0 16 0 13 0 246224454 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794748 CPUtime=27.47 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 26094 0 0 0 2733 14 0 0 17 0 13 0 246224454 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1794748 CPUtime=0.21 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 120 0 0 0 13 8 0 0 16 0 13 0 246224456 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794748 CPUtime=1.6 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7531 0 0 0 157 3 0 0 16 0 13 0 246224460 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794748 CPUtime=1.86 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8756 0 0 0 182 4 0 0 17 0 13 0 246224460 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837821952 90371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1631.3 Current children cumulated vsize (KiB) 1794748 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.01 2/90 13488 /proc/meminfo: memFree=1447248/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794748 CPUtime=1692.74 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 126420 0 1 0 169187 87 0 0 18 0 13 0 246224451 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448687 91228 1332 9 0 446299 0 [pid=13473/tid=13475] ppid=13471 vsize=1794748 CPUtime=1631.05 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 56717 0 1 0 163064 41 0 0 22 0 13 0 246224452 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109584600 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794748 CPUtime=28.99 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 26034 0 0 0 2885 14 0 0 17 0 13 0 246224454 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794748 CPUtime=28.97 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 26542 0 0 0 2883 14 0 0 16 0 13 0 246224454 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1794748 CPUtime=0.22 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 120 0 0 0 14 8 0 0 16 0 13 0 246224456 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794748 CPUtime=1.6 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7531 0 0 0 157 3 0 0 16 0 13 0 246224460 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794748 CPUtime=1.86 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8756 0 0 0 182 4 0 0 17 0 13 0 246224460 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837821952 91228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1692.74 Current children cumulated vsize (KiB) 1794748 [startup+1722.3 s] /proc/loadavg: 1.03 1.04 1.00 2/90 13488 /proc/meminfo: memFree=1444304/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794748 CPUtime=1754.2 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 127224 0 1 0 175331 89 0 0 18 0 13 0 246224451 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448687 91979 1332 9 0 446299 0 [pid=13473/tid=13475] ppid=13471 vsize=1794748 CPUtime=1689.49 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 56746 0 1 0 168907 42 0 0 25 0 13 0 246224452 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109584418 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794748 CPUtime=30.49 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 26499 0 0 0 3035 14 0 0 16 0 13 0 246224454 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794748 CPUtime=30.48 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 26851 0 0 0 3034 14 0 0 16 0 13 0 246224454 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1794748 CPUtime=0.23 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 121 0 0 0 14 9 0 0 16 0 13 0 246224456 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794748 CPUtime=1.6 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7531 0 0 0 157 3 0 0 16 0 13 0 246224460 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794748 CPUtime=1.86 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8756 0 0 0 182 4 0 0 17 0 13 0 246224460 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837821952 91979 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1754.2 Current children cumulated vsize (KiB) 1794748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1767 s] /proc/loadavg: 1.01 1.03 1.00 2/90 13488 /proc/meminfo: memFree=1441744/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=1794748 CPUtime=1800 /proc/13473/stat : 13473 (java) S 13471 13473 12423 0 -1 0 127918 0 1 0 179910 90 0 0 18 0 13 0 246224451 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13473/statm: 448687 92592 1332 9 0 446299 0 [pid=13473/tid=13475] ppid=13471 vsize=1794748 CPUtime=1733.04 /proc/13473/task/13475/stat : 13475 (java) R 13471 13473 12423 0 -1 64 56767 0 1 0 173262 42 0 0 25 0 13 0 246224452 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109601309 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13476] ppid=13471 vsize=1794748 CPUtime=31.61 /proc/13473/task/13476/stat : 13476 (java) S 13471 13473 12423 0 -1 64 26760 0 0 0 3147 14 0 0 16 0 13 0 246224454 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13477] ppid=13471 vsize=1794748 CPUtime=31.61 /proc/13473/task/13477/stat : 13477 (java) S 13471 13473 12423 0 -1 64 27263 0 0 0 3146 15 0 0 16 0 13 0 246224454 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13478] ppid=13471 vsize=1794748 CPUtime=0.23 /proc/13473/task/13478/stat : 13478 (java) S 13471 13473 12423 0 -1 64 121 0 0 0 14 9 0 0 15 0 13 0 246224456 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13479] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13479/stat : 13479 (java) S 13471 13473 12423 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13480] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13480/stat : 13480 (java) S 13471 13473 12423 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 246224456 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13481] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13481/stat : 13481 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 246224460 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13482] ppid=13471 vsize=1794748 CPUtime=1.6 /proc/13473/task/13482/stat : 13482 (java) S 13471 13473 12423 0 -1 64 7531 0 0 0 157 3 0 0 16 0 13 0 246224460 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13483] ppid=13471 vsize=1794748 CPUtime=1.86 /proc/13473/task/13483/stat : 13483 (java) S 13471 13473 12423 0 -1 64 8756 0 0 0 182 4 0 0 17 0 13 0 246224460 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13484] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13484/stat : 13484 (java) S 13471 13473 12423 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 246224460 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13473/tid=13485] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13485/stat : 13485 (java) S 13471 13473 12423 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 246224460 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13473/tid=13486] ppid=13471 vsize=1794748 CPUtime=0 /proc/13473/task/13486/stat : 13486 (java) S 13471 13473 12423 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 246224493 1837821952 92592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1794748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1767.11 s] /proc/loadavg: 1.01 1.03 1.00 2/90 13488 /proc/meminfo: memFree=1441744/2055920 swapFree=4163632/4192956 [pid=13473] ppid=13471 vsize=0 CPUtime=1800.12 /proc/13473/stat : 13473 (java) Z 13471 13473 12423 0 -1 1036 127938 0 1 0 179916 96 0 0 16 0 2 0 246224451 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13473/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1767.11 CPU time (s): 1800.12 CPU user time (s): 1799.16 CPU system time (s): 0.962853 CPU usage (%): 101.868 Max. virtual memory (cumulated for all children) (KiB): 1800144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.16 system time used= 0.962853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127938 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= 45124 involuntary context switches= 37459 runsolver used 1.76473 second user time and 4.69529 second system time The end
Begin job on node22 on Tue May 1 01:31:08 UTC 2007 IDJOB= 429313 IDBENCH= 47900 IDSOLVER= 160 FILE ID= node22/429313-1177983068 PBS_JOBID= 4728194 Free space on /tmp= 66561 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/429313-1177983068/sat4jPseudoCP.jar /tmp/evaluation/429313-1177983068/instance-429313-1177983068.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-429313-1177983068 -o ROOT/results/node22/solver-429313-1177983068 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/429313-1177983068/sat4jPseudoCP.jar /tmp/evaluation/429313-1177983068/instance-429313-1177983068.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 015e1ad727429fbf28fe61f3a93025c8 RANDOM SEED= 910782840 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1809776 kB Buffers: 26052 kB Cached: 131756 kB SwapCached: 7160 kB Active: 80656 kB Inactive: 100368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809776 kB SwapTotal: 4192956 kB SwapFree: 4163632 kB Dirty: 3584 kB Writeback: 0 kB Mapped: 30504 kB Slab: 50768 kB Committed_AS: 2072768 kB PageTables: 1680 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 node22 on Tue May 1 02:00:37 UTC 2007