Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | ? (TO) | 1800.29 | 910.095 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb |
MD5SUM | c58b6100663d5c2a4dc369548046ddd4 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 29401 |
Total number of constraints | 87121 |
Number of constraints which are clauses | 87120 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29040 |
Number of terms in the objective function | 121 |
Biggest coefficient in the objective function | 1329227995784915872903807060280344576 |
Number of bits for the biggest coefficient in the objective function | 121 |
Sum of the numbers in the objective function | 2658455991569831745807614120560689151 |
Number of bits of the sum of numbers in the objective function | 121 |
Biggest number in a constraint | 1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488 |
Number of bits of the biggest number in a constraint | 360 |
Biggest sum of numbers in a constraint | 4697085165547666455778961193578674053925803487664042654232438232254482458885767017065112738772656890028524910 |
Number of bits of the biggest sum of numbers | 361 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c ManyCore solver with 2 solvers running in parallel 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c No reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 0.23/0.21 c solving HOME/instance-2662254-1276628074.opb 0.23/0.21 c reading problem ... 4.48/3.39 c ... done. Wall clock time 3.177s. 4.48/3.39 c #vars 29401 4.48/3.39 c #constraints 94382 4.48/3.39 c constraints type 4.48/3.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29040 4.48/3.39 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58080 4.48/3.39 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 4.48/3.39 c constraints type 4.48/3.39 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58080 4.48/3.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29040 4.48/3.39 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.15/910.02 c starts : 21 1800.15/910.02 c conflicts : 4543 1800.15/910.02 c decisions : 38885 1800.15/910.02 c propagations : 2619038 1800.15/910.02 c inspects : 13335535 1800.15/910.02 c learnt literals : 0 1800.15/910.02 c learnt binary clauses : 4 1800.15/910.02 c learnt ternary clauses : 0 1800.15/910.02 c learnt clauses : 4543 1800.15/910.02 c ignored clauses : 0 1800.15/910.02 c root simplifications : 0 1800.15/910.02 c removed literals (reason simplification) : 34939670 1800.15/910.02 c reason swapping (by a shorter reason) : 0 1800.15/910.02 c Calls to reduceDB : 0 1800.15/910.02 c number of reductions to clauses (during analyze) : 0 1800.15/910.02 c number of learned constraints concerned by reduction : 0 1800.15/910.02 c number of learning phase by resolution : 0 1800.15/910.02 c number of learning phase by cutting planes : 0 1800.15/910.02 c speed (assignments/second) : 2888.7799379236862 1800.15/910.02 c non guided choices 101 1800.15/910.02 c learnt constraints type 1800.15/910.02 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 4539 1800.15/910.02 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4 1800.15/910.02 c constraints type 1800.15/910.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29040 1800.15/910.02 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58080 1800.15/910.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.15/910.02 c constraints type 1800.15/910.02 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58080 1800.15/910.02 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29040 1800.15/910.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.15/910.03 s UNKNOWN 1800.15/910.03 c Total wall clock time (in seconds): 909.813
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662254-1276628074/watcher-2662254-1276628074 -o /tmp/evaluation-result-2662254-1276628074/solver-2662254-1276628074 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662254-1276628074.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.03 1.06 3/106 12784 /proc/meminfo: memFree=1839348/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1832 CPUtime=0 /proc/12784/stat : 12784 (java6) R 12782 12784 11998 0 -1 4194304 254 0 0 0 0 0 0 0 21 0 1 0 4101192 1875968 156 1992294400 134512640 134550932 4287880320 18446744073709551615 5238224 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12784/statm: 458 156 119 10 0 63 0 [startup+0.033951 s] /proc/loadavg: 1.00 1.03 1.06 3/106 12784 /proc/meminfo: memFree=1839348/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1520176 CPUtime=0.01 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 2967 0 1 0 0 1 0 0 21 0 4 0 4101192 1556660224 2410 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 380044 2410 667 10 0 377354 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1520176 [startup+0.10096 s] /proc/loadavg: 1.00 1.03 1.06 3/106 12784 /proc/meminfo: memFree=1839348/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1524180 CPUtime=0.08 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 3962 0 1 0 6 2 0 0 21 0 12 0 4101192 1560760320 3401 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 381045 3401 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300978 s] /proc/loadavg: 1.00 1.03 1.06 3/106 12784 /proc/meminfo: memFree=1839348/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1526244 CPUtime=0.36 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 5703 0 1 0 33 3 0 0 21 0 12 0 4101192 1562873856 5140 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 381561 5140 1362 10 0 378864 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1526244 [startup+0.701018 s] /proc/loadavg: 1.00 1.03 1.06 3/106 12784 /proc/meminfo: memFree=1839348/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1528152 CPUtime=1.08 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 7755 0 1 0 104 4 0 0 21 0 12 0 4101192 1564827648 7192 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 382038 7192 1403 10 0 379341 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 1528152 [startup+1.5021 s] /proc/loadavg: 1.00 1.03 1.06 4/118 12796 /proc/meminfo: memFree=1802364/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1531848 CPUtime=2.36 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 22497 0 1 0 225 11 0 0 21 0 12 0 4101192 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 382962 21248 1407 10 0 380265 0 [pid=12784/tid=12786] ppid=12782 vsize=1531848 CPUtime=1.44 /proc/12784/task/12786/stat : 12786 (java) R 12782 12784 11998 0 -1 4202560 18710 0 1 0 135 9 0 0 25 0 12 0 4101194 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4109712296 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 12 0 4101195 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 4101195 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 4101197 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 12 0 4101198 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 12 0 4101198 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 4101202 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1531848 CPUtime=0.04 /proc/12784/task/12793/stat : 12793 (java) R 12782 12784 11998 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 12 0 4101202 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 103244952 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1531848 CPUtime=0.85 /proc/12784/task/12794/stat : 12794 (java) R 12782 12784 11998 0 -1 4202560 2696 0 0 0 85 0 0 0 15 0 12 0 4101202 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 106809879 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 4101202 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 4101202 1568612352 21248 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 1531848 [startup+3.10226 s] /proc/loadavg: 1.00 1.03 1.06 2/118 12796 /proc/meminfo: memFree=1692872/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1531848 CPUtime=4.21 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 39111 0 1 0 400 21 0 0 21 0 12 0 4101192 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 382962 37845 1426 10 0 380265 0 [pid=12784/tid=12786] ppid=12782 vsize=1531848 CPUtime=2.96 /proc/12784/task/12786/stat : 12786 (java) R 12782 12784 11998 0 -1 4202560 32039 0 1 0 279 17 0 0 25 0 12 0 4101194 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 101913142 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1531848 CPUtime=0.07 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 1671 0 0 0 7 0 0 0 18 0 12 0 4101195 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1531848 CPUtime=0.07 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 1597 0 0 0 6 1 0 0 18 0 12 0 4101195 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 12 0 4101197 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 12 0 4101198 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 4101198 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 4101202 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1531848 CPUtime=0.17 /proc/12784/task/12793/stat : 12793 (java) S 12782 12784 11998 0 -1 4202560 37 0 0 0 17 0 0 0 15 0 12 0 4101202 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1531848 CPUtime=0.9 /proc/12784/task/12794/stat : 12794 (java) R 12782 12784 11998 0 -1 4202560 2697 0 0 0 90 0 0 0 15 0 12 0 4101202 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 104144489 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 4101202 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1531848 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 4101202 1568612352 37845 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 1531848 [startup+6.30159 s] /proc/loadavg: 1.08 1.04 1.06 4/122 12800 /proc/meminfo: memFree=1664444/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1533144 CPUtime=10.36 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 46231 0 1 0 1012 24 0 0 21 0 16 0 4101192 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 383286 44825 1433 10 0 380589 0 [pid=12784/tid=12786] ppid=12782 vsize=1533144 CPUtime=3.24 /proc/12784/task/12786/stat : 12786 (java) S 12782 12784 11998 0 -1 4202560 32058 0 1 0 307 17 0 0 15 0 16 0 4101194 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1533144 CPUtime=0.21 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 5077 0 0 0 19 2 0 0 18 0 16 0 4101195 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1533144 CPUtime=0.2 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 5138 0 0 0 18 2 0 0 18 0 16 0 4101195 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 16 0 4101197 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 4101198 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 4101198 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4101202 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1533144 CPUtime=0.59 /proc/12784/task/12793/stat : 12793 (java) S 12782 12784 11998 0 -1 4202560 65 0 0 0 59 0 0 0 15 0 16 0 4101202 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1533144 CPUtime=1.8 /proc/12784/task/12794/stat : 12794 (java) S 12782 12784 11998 0 -1 4202560 2772 0 0 0 179 1 0 0 15 0 16 0 4101202 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4101202 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 4101202 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12797] ppid=12782 vsize=1533144 CPUtime=2.36 /proc/12784/task/12797/stat : 12797 (java) R 12782 12784 11998 0 -1 4202560 12 0 0 0 236 0 0 0 25 0 16 0 4101532 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4109703528 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12798] ppid=12782 vsize=1533144 CPUtime=1.91 /proc/12784/task/12798/stat : 12798 (java) R 12782 12784 11998 0 -1 4202560 29 0 0 0 191 0 0 0 20 0 16 0 4101532 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4110064758 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12799] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12799/stat : 12799 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 4101545 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12800] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12800/stat : 12800 (java) S 12782 12784 11998 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 4101554 1569939456 44825 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.36 Current children cumulated vsize (KiB) 1533144 [startup+12.7022 s] /proc/loadavg: 1.55 1.14 1.10 3/122 12800 /proc/meminfo: memFree=1636296/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1533144 CPUtime=23.05 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 53833 0 1 0 2277 28 0 0 21 0 16 0 4101192 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 383286 51788 1435 10 0 380589 0 [pid=12784/tid=12786] ppid=12782 vsize=1533144 CPUtime=3.24 /proc/12784/task/12786/stat : 12786 (java) S 12782 12784 11998 0 -1 4202560 32058 0 1 0 307 17 0 0 15 0 16 0 4101194 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1533144 CPUtime=0.68 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 8585 0 0 0 65 3 0 0 15 0 16 0 4101195 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1533144 CPUtime=0.69 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 9184 0 0 0 65 4 0 0 16 0 16 0 4101195 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1533144 CPUtime=0.01 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 9 0 0 0 1 0 0 0 15 0 16 0 4101197 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 4101198 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 4101198 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4101202 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1533144 CPUtime=0.8 /proc/12784/task/12793/stat : 12793 (java) S 12782 12784 11998 0 -1 4202560 75 0 0 0 80 0 0 0 15 0 16 0 4101202 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1533144 CPUtime=1.99 /proc/12784/task/12794/stat : 12794 (java) S 12782 12784 11998 0 -1 4202560 2789 0 0 0 198 1 0 0 15 0 16 0 4101202 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4101202 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 4101202 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12797] ppid=12782 vsize=1533144 CPUtime=7.96 /proc/12784/task/12797/stat : 12797 (java) R 12782 12784 11998 0 -1 4202560 16 0 0 0 796 0 0 0 25 0 16 0 4101532 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4110064683 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12798] ppid=12782 vsize=1533144 CPUtime=7.61 /proc/12784/task/12798/stat : 12798 (java) R 12782 12784 11998 0 -1 4202560 46 0 0 0 761 0 0 0 25 0 16 0 4101532 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4109912826 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12799] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12799/stat : 12799 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 4101545 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12800] ppid=12782 vsize=1533144 CPUtime=0 /proc/12784/task/12800/stat : 12800 (java) S 12782 12784 11998 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 4101554 1569939456 51788 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.05 Current children cumulated vsize (KiB) 1533144 [startup+25.5016 s] /proc/loadavg: 1.73 1.20 1.11 3/122 12800 /proc/meminfo: memFree=1633444/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1533144 CPUtime=48.4 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 54658 0 1 0 4810 30 0 0 21 0 16 0 4101192 1569939456 52578 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 ################ # More data... # ################ /proc/12784/task/12799/stat : 12799 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 4101545 1575481344 85662 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12800] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12800/stat : 12800 (java) S 12782 12784 11998 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 4101554 1575481344 85662 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1389.58 Current children cumulated vsize (KiB) 1538556 [startup+762.309 s] /proc/loadavg: 2.09 1.97 1.60 3/122 12829 /proc/meminfo: memFree=1495208/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1538556 CPUtime=1508.31 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 94187 0 1 0 150663 168 0 0 21 0 16 0 4101192 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 384639 86609 1444 10 0 381942 0 [pid=12784/tid=12786] ppid=12782 vsize=1538556 CPUtime=3.24 /proc/12784/task/12786/stat : 12786 (java) S 12782 12784 11998 0 -1 4202560 32061 0 1 0 307 17 0 0 15 0 16 0 4101194 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1538556 CPUtime=6.51 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 26269 0 0 0 598 53 0 0 15 0 16 0 4101195 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1538556 CPUtime=6.54 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 27079 0 0 0 602 52 0 0 15 0 16 0 4101195 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1538556 CPUtime=0.88 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 61 0 0 0 66 22 0 0 15 0 16 0 4101197 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1538556 CPUtime=1.5 /proc/12784/task/12793/stat : 12793 (java) S 12782 12784 11998 0 -1 4202560 515 0 0 0 150 0 0 0 16 0 16 0 4101202 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1538556 CPUtime=2.72 /proc/12784/task/12794/stat : 12794 (java) S 12782 12784 11998 0 -1 4202560 5292 0 0 0 270 2 0 0 15 0 16 0 4101202 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 4101202 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12797] ppid=12782 vsize=1538556 CPUtime=744.86 /proc/12784/task/12797/stat : 12797 (java) R 12782 12784 11998 0 -1 4202560 1006 0 0 0 74477 9 0 0 25 0 16 0 4101532 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4110064830 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12798] ppid=12782 vsize=1538556 CPUtime=741.98 /proc/12784/task/12798/stat : 12798 (java) R 12782 12784 11998 0 -1 4202560 785 0 0 0 74189 9 0 0 25 0 16 0 4101532 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4110351940 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12799] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12799/stat : 12799 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 4101545 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12800] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12800/stat : 12800 (java) S 12782 12784 11998 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 4101554 1575481344 86609 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1508.31 Current children cumulated vsize (KiB) 1538556 [startup+822.302 s] /proc/loadavg: 2.03 1.97 1.63 3/122 12831 /proc/meminfo: memFree=1482932/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1538556 CPUtime=1626.91 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 97781 0 1 0 162512 179 0 0 21 0 16 0 4101192 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 384639 89684 1444 10 0 381942 0 [pid=12784/tid=12786] ppid=12782 vsize=1538556 CPUtime=3.24 /proc/12784/task/12786/stat : 12786 (java) S 12782 12784 11998 0 -1 4202560 32061 0 1 0 307 17 0 0 15 0 16 0 4101194 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1538556 CPUtime=7.1 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 27889 0 0 0 653 57 0 0 15 0 16 0 4101195 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1538556 CPUtime=7.13 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 28917 0 0 0 657 56 0 0 15 0 16 0 4101195 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1538556 CPUtime=0.91 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 63 0 0 0 69 22 0 0 15 0 16 0 4101197 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1538556 CPUtime=1.5 /proc/12784/task/12793/stat : 12793 (java) S 12782 12784 11998 0 -1 4202560 515 0 0 0 150 0 0 0 16 0 16 0 4101202 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1538556 CPUtime=2.72 /proc/12784/task/12794/stat : 12794 (java) S 12782 12784 11998 0 -1 4202560 5292 0 0 0 270 2 0 0 15 0 16 0 4101202 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 16 0 4101202 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12797] ppid=12782 vsize=1538556 CPUtime=803.14 /proc/12784/task/12797/stat : 12797 (java) R 12782 12784 11998 0 -1 4202560 1052 0 0 0 80304 10 0 0 25 0 16 0 4101532 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4109725727 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12798] ppid=12782 vsize=1538556 CPUtime=801.07 /proc/12784/task/12798/stat : 12798 (java) R 12782 12784 11998 0 -1 4202560 871 0 0 0 80098 9 0 0 25 0 16 0 4101532 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4109913241 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12799] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12799/stat : 12799 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 4101545 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12800] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12800/stat : 12800 (java) S 12782 12784 11998 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 4101554 1575481344 89684 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1626.91 Current children cumulated vsize (KiB) 1538556 [startup+882.302 s] /proc/loadavg: 2.09 1.99 1.65 3/122 12833 /proc/meminfo: memFree=1473632/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1538556 CPUtime=1745.38 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 100205 0 1 0 174348 190 0 0 21 0 16 0 4101192 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 384639 91960 1444 10 0 381942 0 [pid=12784/tid=12786] ppid=12782 vsize=1538556 CPUtime=3.24 /proc/12784/task/12786/stat : 12786 (java) S 12782 12784 11998 0 -1 4202560 32061 0 1 0 307 17 0 0 15 0 16 0 4101194 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1538556 CPUtime=7.77 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 28958 0 0 0 715 62 0 0 16 0 16 0 4101195 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1538556 CPUtime=7.8 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 30123 0 0 0 719 61 0 0 15 0 16 0 4101195 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1538556 CPUtime=0.96 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 67 0 0 0 73 23 0 0 15 0 16 0 4101197 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1538556 CPUtime=1.5 /proc/12784/task/12793/stat : 12793 (java) S 12782 12784 11998 0 -1 4202560 515 0 0 0 150 0 0 0 16 0 16 0 4101202 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1538556 CPUtime=2.75 /proc/12784/task/12794/stat : 12794 (java) S 12782 12784 11998 0 -1 4202560 5292 0 0 0 273 2 0 0 15 0 16 0 4101202 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 4101202 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12797] ppid=12782 vsize=1538556 CPUtime=861.2 /proc/12784/task/12797/stat : 12797 (java) R 12782 12784 11998 0 -1 4202560 1136 0 0 0 86110 10 0 0 25 0 16 0 4101532 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4109703499 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12798] ppid=12782 vsize=1538556 CPUtime=860.06 /proc/12784/task/12798/stat : 12798 (java) R 12782 12784 11998 0 -1 4202560 928 0 0 0 85996 10 0 0 25 0 16 0 4101532 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4110256809 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12799] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12799/stat : 12799 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 4101545 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12800] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12800/stat : 12800 (java) S 12782 12784 11998 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 4101554 1575481344 91960 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1745.38 Current children cumulated vsize (KiB) 1538556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+910.002 s] /proc/loadavg: 2.05 1.99 1.66 3/122 12833 /proc/meminfo: memFree=1461480/2059040 swapFree=4175448/4192956 [pid=12784] ppid=12782 vsize=1538556 CPUtime=1800.15 /proc/12784/stat : 12784 (java) S 12782 12784 11998 0 -1 4202496 104452 0 1 0 179818 197 0 0 21 0 16 0 4101192 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12784/statm: 384639 94994 1444 10 0 381942 0 [pid=12784/tid=12786] ppid=12782 vsize=1538556 CPUtime=3.24 /proc/12784/task/12786/stat : 12786 (java) S 12782 12784 11998 0 -1 4202560 32061 0 1 0 307 17 0 0 15 0 16 0 4101194 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12787] ppid=12782 vsize=1538556 CPUtime=8.1 /proc/12784/task/12787/stat : 12787 (java) S 12782 12784 11998 0 -1 4202560 31075 0 0 0 745 65 0 0 15 0 16 0 4101195 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12788] ppid=12782 vsize=1538556 CPUtime=8.12 /proc/12784/task/12788/stat : 12788 (java) S 12782 12784 11998 0 -1 4202560 32194 0 0 0 748 64 0 0 15 0 16 0 4101195 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12789] ppid=12782 vsize=1538556 CPUtime=0.98 /proc/12784/task/12789/stat : 12789 (java) S 12782 12784 11998 0 -1 4202560 69 0 0 0 75 23 0 0 15 0 16 0 4101197 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 0 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12790] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12790/stat : 12790 (java) S 12782 12784 11998 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12791] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12791/stat : 12791 (java) S 12782 12784 11998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 4101198 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12792] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12792/stat : 12792 (java) S 12782 12784 11998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12793] ppid=12782 vsize=1538556 CPUtime=1.5 /proc/12784/task/12793/stat : 12793 (java) S 12782 12784 11998 0 -1 4202560 515 0 0 0 150 0 0 0 16 0 16 0 4101202 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12794] ppid=12782 vsize=1538556 CPUtime=2.75 /proc/12784/task/12794/stat : 12794 (java) S 12782 12784 11998 0 -1 4202560 5292 0 0 0 273 2 0 0 15 0 16 0 4101202 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12795] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12795/stat : 12795 (java) S 12782 12784 11998 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 4101202 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12796] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12796/stat : 12796 (java) S 12782 12784 11998 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 16 0 4101202 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 [pid=12784/tid=12797] ppid=12782 vsize=1538556 CPUtime=888.02 /proc/12784/task/12797/stat : 12797 (java) R 12782 12784 11998 0 -1 4202560 1177 0 0 0 88792 10 0 0 25 0 16 0 4101532 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4110064215 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12784/tid=12798] ppid=12782 vsize=1538556 CPUtime=887.32 /proc/12784/task/12798/stat : 12798 (java) R 12782 12784 11998 0 -1 4202560 942 0 0 0 88722 10 0 0 25 0 16 0 4101532 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4109913831 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12784/tid=12799] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12799/stat : 12799 (java) S 12782 12784 11998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 4101545 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 1 0 0 0 [pid=12784/tid=12800] ppid=12782 vsize=1538556 CPUtime=0 /proc/12784/task/12800/stat : 12800 (java) S 12782 12784 11998 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 4101554 1575481344 94994 1992294400 134512640 134550932 4288995216 18446744073709551615 4294960144 0 4 0 16800975 18446604437554248384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 1538556 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 910.095 CPU time (s): 1800.29 CPU user time (s): 1798.27 CPU system time (s): 2.01169 CPU usage (%): 197.813 Max. virtual memory (cumulated for all children) (KiB): 1540696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.27 system time used= 2.01169 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104472 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= 44246 involuntary context switches= 57262 runsolver used 6.20906 second user time and 7.06093 second system time The end
Begin job on node083 at 2010-06-15 20:54:35 IDJOB=2662254 IDBENCH=3032 IDSOLVER=1166 FILE ID=node083/2662254-1276628074 PBS_JOBID= 11172327 Free space on /tmp= 62548 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662254-1276628074/watcher-2662254-1276628074 -o /tmp/evaluation-result-2662254-1276628074/solver-2662254-1276628074 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662254-1276628074.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c58b6100663d5c2a4dc369548046ddd4 RANDOM SEED=1293024096 node083.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1839620 kB Buffers: 2860 kB Cached: 83972 kB SwapCached: 13528 kB Active: 19940 kB Inactive: 123364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1839620 kB SwapTotal: 4192956 kB SwapFree: 4175448 kB Dirty: 4356 kB Writeback: 0 kB AnonPages: 43012 kB Mapped: 14372 kB Slab: 54028 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181168 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node083 at 2010-06-15 21:09:47