Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | ? (TO) | 1800.43 | 910.285 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc06.opb |
MD5SUM | 0662414c0fee45075e37f5c5e2481506 |
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 | 51018 |
Total number of constraints | 820 |
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 | 820 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 13471 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 211324891222433894400 |
Number of bits of the biggest number in a constraint | 68 |
Biggest sum of numbers in a constraint | 23205541583449342163452 |
Number of bits of the biggest sum of numbers | 75 |
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.24/0.21 c Pseudo Boolean Optimization 0.24/0.21 c ManyCore solver with 2 solvers running in parallel 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.21 c Expensive reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.24/0.21 c No reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 0.24/0.21 c solving HOME/instance-2662193-1276558524.opb 0.24/0.21 c reading problem ... 4.86/3.14 c ... done. Wall clock time 2.923s. 4.86/3.14 c #vars 51018 4.86/3.14 c #constraints 19000 4.86/3.14 c constraints type 4.86/3.14 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1070 4.86/3.14 c constraints type 4.86/3.14 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1070 273.44/138.44 c cleaning 2487 clauses out of 4986 with flag 5004/5004 335.03/169.64 c cleaning 4245 clauses out of 8491 with flag 11001/11001 400.40/202.75 c cleaning 5621 clauses out of 11245 with flag 18001/18001 652.62/329.91 c cleaning 6799 clauses out of 13607 with flag 26000/26000 805.29/407.15 c cleaning 7906 clauses out of 15811 with flag 35003/35003 1067.93/539.61 c cleaning 8943 clauses out of 17902 with flag 45000/45000 1335.41/674.73 c cleaning 9470 clauses out of 18958 with flag 55001/55001 1431.03/723.18 c cleaning 9734 clauses out of 19486 with flag 65000/65000 1539.39/778.10 c cleaning 9869 clauses out of 19752 with flag 75000/75000 1616.41/817.30 c cleaning 9932 clauses out of 19876 with flag 85000/85000 1800.12/910.11 c starts : 89 1800.12/910.11 c conflicts : 92054 1800.12/910.12 c decisions : 255099 1800.12/910.12 c propagations : 13423960 1800.12/910.12 c inspects : 44215647 1800.12/910.12 c learnt literals : 50 1800.12/910.12 c learnt binary clauses : 119 1800.12/910.12 c learnt ternary clauses : 153 1800.12/910.12 c learnt clauses : 92003 1800.12/910.12 c ignored clauses : 0 1800.12/910.12 c root simplifications : 0 1800.12/910.12 c removed literals (reason simplification) : 20562229 1800.12/910.12 c reason swapping (by a shorter reason) : 0 1800.12/910.12 c Calls to reduceDB : 10 1800.12/910.12 c number of reductions to clauses (during analyze) : 0 1800.12/910.12 c number of learned constraints concerned by reduction : 0 1800.12/910.12 c number of learning phase by resolution : 0 1800.12/910.12 c number of learning phase by cutting planes : 0 1800.12/910.12 c speed (assignments/second) : 14800.788554493172 1800.12/910.12 c non guided choices 41386 1800.34/910.23 c learnt constraints type 1800.34/910.23 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16884 1800.34/910.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 119 1800.34/910.23 c constraints type 1800.34/910.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1070 1800.34/910.23 c constraints type 1800.34/910.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1070 1800.34/910.23 s UNKNOWN 1800.34/910.23 c Total wall clock time (in seconds): 910.013
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-2662193-1276558524/watcher-2662193-1276558524 -o /tmp/evaluation-result-2662193-1276558524/solver-2662193-1276558524 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662193-1276558524.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.14 1.07 1.02 3/106 31005 /proc/meminfo: memFree=1828772/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1832 CPUtime=0 /proc/31005/stat : 31005 (java6) S 31003 31005 30889 0 -1 4194304 245 0 0 0 0 0 0 0 19 0 1 0 31456337 1875968 148 1992294400 134512640 134550932 4290820208 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699379390 0 0 17 1 0 0 0 /proc/31005/statm: 458 148 111 10 0 63 0 [startup+0.0539601 s] /proc/loadavg: 1.14 1.07 1.02 3/106 31005 /proc/meminfo: memFree=1828772/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1521664 CPUtime=0.04 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 3539 0 1 0 2 2 0 0 18 0 7 0 31456337 1558183936 2980 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 380416 2980 1006 10 0 377726 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1521664 [startup+0.101964 s] /proc/loadavg: 1.14 1.07 1.02 3/106 31005 /proc/meminfo: memFree=1828772/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1524180 CPUtime=0.08 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 3960 0 1 0 6 2 0 0 18 0 12 0 31456337 1560760320 3399 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 381045 3399 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300014 s] /proc/loadavg: 1.14 1.07 1.02 3/106 31005 /proc/meminfo: memFree=1828772/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1526128 CPUtime=0.38 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 5917 0 1 0 34 4 0 0 18 0 12 0 31456337 1562755072 5354 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 381532 5354 1365 10 0 378835 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 1526128 [startup+0.702 s] /proc/loadavg: 1.14 1.07 1.02 3/106 31005 /proc/meminfo: memFree=1828772/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1533456 CPUtime=1.17 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 9236 0 1 0 112 5 0 0 18 0 12 0 31456337 1570258944 8401 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 383364 8401 1404 10 0 380667 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 1533456 [startup+1.50097 s] /proc/loadavg: 1.37 1.12 1.03 4/118 31017 /proc/meminfo: memFree=1779944/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1547068 CPUtime=2.76 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 22322 0 1 0 264 12 0 0 18 0 12 0 31456337 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 386767 19729 1406 10 0 384070 0 [pid=31005/tid=31007] ppid=31003 vsize=1547068 CPUtime=1.38 /proc/31005/task/31007/stat : 31007 (java) R 31003 31005 30889 0 -1 4202560 13922 0 1 0 131 7 0 0 18 0 12 0 31456339 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4109425931 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 31456340 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 31456340 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 31456342 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 31456342 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 31456342 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 31456347 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1547068 CPUtime=0.68 /proc/31005/task/31014/stat : 31014 (java) R 31003 31005 30889 0 -1 4202560 5357 0 0 0 66 2 0 0 18 0 12 0 31456347 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 104163913 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1547068 CPUtime=0.66 /proc/31005/task/31015/stat : 31015 (java) S 31003 31005 30889 0 -1 4202560 1977 0 0 0 65 1 0 0 25 0 12 0 31456347 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 31456347 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1547068 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 31456347 1584197632 19729 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 1547068 [startup+3.10091 s] /proc/loadavg: 1.37 1.12 1.03 2/118 31017 /proc/meminfo: memFree=1698228/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1544684 CPUtime=4.86 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 49719 0 1 0 462 24 0 0 18 0 12 0 31456337 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 386171 45612 1415 10 0 383474 0 [pid=31005/tid=31007] ppid=31003 vsize=1544684 CPUtime=2.8 /proc/31005/task/31007/stat : 31007 (java) R 31003 31005 30889 0 -1 4202560 32030 0 1 0 265 15 0 0 20 0 12 0 31456339 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4109571494 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1544684 CPUtime=0.17 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 4715 0 0 0 15 2 0 0 18 0 12 0 31456340 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1544684 CPUtime=0.16 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 3686 0 0 0 15 1 0 0 18 0 12 0 31456340 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1544684 CPUtime=0 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 12 0 31456342 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1544684 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 31456342 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1544684 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 31456342 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1544684 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 31456347 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1544684 CPUtime=1.01 /proc/31005/task/31014/stat : 31014 (java) S 31003 31005 30889 0 -1 4202560 6245 0 0 0 99 2 0 0 17 0 12 0 31456347 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1544684 CPUtime=0.66 /proc/31005/task/31015/stat : 31015 (java) S 31003 31005 30889 0 -1 4202560 1977 0 0 0 65 1 0 0 21 0 12 0 31456347 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1544684 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 31456347 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1544684 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 31456347 1581756416 45612 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.86 Current children cumulated vsize (KiB) 1544684 [startup+6.3018 s] /proc/loadavg: 1.50 1.15 1.04 3/122 31021 /proc/meminfo: memFree=1613008/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1544644 CPUtime=11.16 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 60208 0 1 0 1087 29 0 0 18 0 16 0 31456337 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 386161 54937 1430 10 0 383464 0 [pid=31005/tid=31007] ppid=31003 vsize=1544644 CPUtime=2.84 /proc/31005/task/31007/stat : 31007 (java) S 31003 31005 30889 0 -1 4202560 32055 0 1 0 269 15 0 0 18 0 16 0 31456339 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1544644 CPUtime=0.36 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 9170 0 0 0 32 4 0 0 18 0 16 0 31456340 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1544644 CPUtime=0.34 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 9328 0 0 0 30 4 0 0 18 0 16 0 31456340 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 31456342 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 16 0 31456342 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456342 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1544644 CPUtime=1.9 /proc/31005/task/31014/stat : 31014 (java) S 31003 31005 30889 0 -1 4202560 6430 0 0 0 188 2 0 0 16 0 16 0 31456347 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1544644 CPUtime=1.19 /proc/31005/task/31015/stat : 31015 (java) S 31003 31005 30889 0 -1 4202560 2100 0 0 0 118 1 0 0 15 0 16 0 31456347 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 31456347 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31018] ppid=31003 vsize=1544644 CPUtime=2.55 /proc/31005/task/31018/stat : 31018 (java) R 31003 31005 30889 0 -1 4202560 23 0 0 0 255 0 0 0 25 0 16 0 31456651 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4109704501 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31005/tid=31019] ppid=31003 vsize=1544644 CPUtime=1.91 /proc/31005/task/31019/stat : 31019 (java) R 31003 31005 30889 0 -1 4202560 27 0 0 0 191 0 0 0 25 0 16 0 31456651 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4109848071 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31020] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31020/stat : 31020 (java) S 31003 31005 30889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 16 0 31456673 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31021] ppid=31003 vsize=1544644 CPUtime=0 /proc/31005/task/31021/stat : 31021 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456674 1581715456 54937 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 11.16 Current children cumulated vsize (KiB) 1544644 [startup+12.7016 s] /proc/loadavg: 1.54 1.16 1.05 3/122 31023 /proc/meminfo: memFree=1588208/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1543844 CPUtime=23.8 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 67732 0 1 0 2347 33 0 0 18 0 16 0 31456337 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 385961 61125 1436 10 0 383264 0 [pid=31005/tid=31007] ppid=31003 vsize=1543844 CPUtime=2.84 /proc/31005/task/31007/stat : 31007 (java) S 31003 31005 30889 0 -1 4202560 32055 0 1 0 269 15 0 0 18 0 16 0 31456339 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1543844 CPUtime=0.81 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 12896 0 0 0 75 6 0 0 15 0 16 0 31456340 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1543844 CPUtime=0.78 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 13024 0 0 0 72 6 0 0 16 0 16 0 31456340 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 31456342 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 16 0 31456342 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456342 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1543844 CPUtime=1.9 /proc/31005/task/31014/stat : 31014 (java) S 31003 31005 30889 0 -1 4202560 6430 0 0 0 188 2 0 0 16 0 16 0 31456347 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1543844 CPUtime=1.59 /proc/31005/task/31015/stat : 31015 (java) S 31003 31005 30889 0 -1 4202560 2174 0 0 0 158 1 0 0 15 0 16 0 31456347 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 31456347 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31018] ppid=31003 vsize=1543844 CPUtime=8.08 /proc/31005/task/31018/stat : 31018 (java) R 31003 31005 30889 0 -1 4202560 28 0 0 0 808 0 0 0 25 0 16 0 31456651 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4109704485 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31019] ppid=31003 vsize=1543844 CPUtime=7.73 /proc/31005/task/31019/stat : 31019 (java) R 31003 31005 30889 0 -1 4202560 50 0 0 0 773 0 0 0 25 0 16 0 31456651 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4109863545 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31005/tid=31020] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31020/stat : 31020 (java) S 31003 31005 30889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 16 0 31456673 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31021] ppid=31003 vsize=1543844 CPUtime=0 /proc/31005/task/31021/stat : 31021 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456674 1580896256 61125 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 23.8 Current children cumulated vsize (KiB) 1543844 [startup+25.502 s] /proc/loadavg: 1.69 1.21 1.06 3/122 31023 /proc/meminfo: memFree=1578660/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1547940 CPUtime=49.21 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 71410 0 1 0 4884 37 0 0 18 0 16 0 31456337 1585090560 63597 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 ################ # More data... # ################ /proc/31005/task/31020/stat : 31020 (java) S 31003 31005 30889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 16 0 31456673 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31021] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31021/stat : 31021 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456674 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1508.11 Current children cumulated vsize (KiB) 1547940 [startup+822.302 s] /proc/loadavg: 2.05 2.02 1.65 3/122 31043 /proc/meminfo: memFree=1437672/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1547940 CPUtime=1625.96 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 139072 0 1 0 162467 129 0 0 18 0 16 0 31456337 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 386985 98249 1448 10 0 384288 0 [pid=31005/tid=31007] ppid=31003 vsize=1547940 CPUtime=2.84 /proc/31005/task/31007/stat : 31007 (java) S 31003 31005 30889 0 -1 4202560 32062 0 1 0 269 15 0 0 15 0 16 0 31456339 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1547940 CPUtime=7.89 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 33303 0 0 0 766 23 0 0 15 0 16 0 31456340 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1547940 CPUtime=7.83 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 32257 0 0 0 762 21 0 0 15 0 16 0 31456340 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1547940 CPUtime=5.36 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 28278 0 0 0 511 25 0 0 15 0 16 0 31456342 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 31456342 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 31456342 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1547940 CPUtime=2.59 /proc/31005/task/31014/stat : 31014 (java) S 31003 31005 30889 0 -1 4202560 6536 0 0 0 256 3 0 0 15 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1547940 CPUtime=1.86 /proc/31005/task/31015/stat : 31015 (java) S 31003 31005 30889 0 -1 4202560 3831 0 0 0 184 2 0 0 15 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31018] ppid=31003 vsize=1547940 CPUtime=798.71 /proc/31005/task/31018/stat : 31018 (java) R 31003 31005 30889 0 -1 4202560 694 0 0 0 79850 21 0 0 25 0 16 0 31456651 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4109705529 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31005/tid=31019] ppid=31003 vsize=1547940 CPUtime=798.78 /proc/31005/task/31019/stat : 31019 (java) R 31003 31005 30889 0 -1 4202560 991 0 0 0 79864 14 0 0 25 0 16 0 31456651 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4109398064 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31020] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31020/stat : 31020 (java) S 31003 31005 30889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 16 0 31456673 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31021] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31021/stat : 31021 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456674 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1625.96 Current children cumulated vsize (KiB) 1547940 [startup+882.302 s] /proc/loadavg: 2.06 2.03 1.67 3/122 31045 /proc/meminfo: memFree=1437672/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1547940 CPUtime=1744.94 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 139163 0 1 0 174359 135 0 0 18 0 16 0 31456337 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 386985 98249 1448 10 0 384288 0 [pid=31005/tid=31007] ppid=31003 vsize=1547940 CPUtime=2.84 /proc/31005/task/31007/stat : 31007 (java) S 31003 31005 30889 0 -1 4202560 32062 0 1 0 269 15 0 0 15 0 16 0 31456339 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1547940 CPUtime=8.32 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 33303 0 0 0 808 24 0 0 16 0 16 0 31456340 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1547940 CPUtime=8.26 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 32257 0 0 0 804 22 0 0 15 0 16 0 31456340 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1547940 CPUtime=5.39 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 28282 0 0 0 513 26 0 0 15 0 16 0 31456342 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 31456342 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 31456342 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1547940 CPUtime=2.59 /proc/31005/task/31014/stat : 31014 (java) S 31003 31005 30889 0 -1 4202560 6536 0 0 0 256 3 0 0 15 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1547940 CPUtime=1.86 /proc/31005/task/31015/stat : 31015 (java) S 31003 31005 30889 0 -1 4202560 3831 0 0 0 184 2 0 0 15 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 31456347 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31018] ppid=31003 vsize=1547940 CPUtime=857.42 /proc/31005/task/31018/stat : 31018 (java) R 31003 31005 30889 0 -1 4202560 726 0 0 0 85717 25 0 0 25 0 16 0 31456651 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4110059436 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31019] ppid=31003 vsize=1547940 CPUtime=858.17 /proc/31005/task/31019/stat : 31019 (java) R 31003 31005 30889 0 -1 4202560 1042 0 0 0 85803 14 0 0 25 0 16 0 31456651 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4109863605 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31005/tid=31020] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31020/stat : 31020 (java) S 31003 31005 30889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 16 0 31456673 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31021] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31021/stat : 31021 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456674 1585090560 98249 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1744.94 Current children cumulated vsize (KiB) 1547940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+910.102 s] /proc/loadavg: 2.04 2.03 1.68 3/122 31045 /proc/meminfo: memFree=1434944/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1547940 CPUtime=1800.12 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 140182 0 1 0 179873 139 0 0 18 0 16 0 31456337 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 386985 99156 1448 10 0 384288 0 [pid=31005/tid=31007] ppid=31003 vsize=1547940 CPUtime=2.84 /proc/31005/task/31007/stat : 31007 (java) S 31003 31005 30889 0 -1 4202560 32063 0 1 0 269 15 0 0 15 0 16 0 31456339 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1547940 CPUtime=8.5 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 33751 0 0 0 826 24 0 0 15 0 16 0 31456340 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1547940 CPUtime=8.44 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 32795 0 0 0 821 23 0 0 16 0 16 0 31456340 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1547940 CPUtime=5.41 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 28284 0 0 0 515 26 0 0 15 0 16 0 31456342 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 31456342 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 31456342 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1547940 CPUtime=2.59 /proc/31005/task/31014/stat : 31014 (java) S 31003 31005 30889 0 -1 4202560 6536 0 0 0 256 3 0 0 15 0 16 0 31456347 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1547940 CPUtime=1.86 /proc/31005/task/31015/stat : 31015 (java) S 31003 31005 30889 0 -1 4202560 3831 0 0 0 184 2 0 0 15 0 16 0 31456347 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 31456347 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 31456347 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31018] ppid=31003 vsize=1547940 CPUtime=884.72 /proc/31005/task/31018/stat : 31018 (java) R 31003 31005 30889 0 -1 4202560 739 0 0 0 88446 26 0 0 25 0 16 0 31456651 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4110059442 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31005/tid=31019] ppid=31003 vsize=1547940 CPUtime=885.66 /proc/31005/task/31019/stat : 31019 (java) R 31003 31005 30889 0 -1 4202560 1057 0 0 0 88551 15 0 0 25 0 16 0 31456651 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4109704453 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31020] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31020/stat : 31020 (java) S 31003 31005 30889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 16 0 31456673 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31021] ppid=31003 vsize=1547940 CPUtime=0 /proc/31005/task/31021/stat : 31021 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 31456674 1585090560 99156 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 1547940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+910.224 s] /proc/loadavg: 2.04 2.03 1.68 3/122 31045 /proc/meminfo: memFree=1434944/2059040 swapFree=4140192/4192956 [pid=31005] ppid=31003 vsize=1548588 CPUtime=1800.34 /proc/31005/stat : 31005 (java) S 31003 31005 30889 0 -1 4202496 140201 0 1 0 179895 139 0 0 18 0 18 0 31456337 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31005/statm: 387147 99175 1450 10 0 384450 0 [pid=31005/tid=31007] ppid=31003 vsize=1548588 CPUtime=2.84 /proc/31005/task/31007/stat : 31007 (java) S 31003 31005 30889 0 -1 4202560 32063 0 1 0 269 15 0 0 15 0 18 0 31456339 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31008] ppid=31003 vsize=1548588 CPUtime=8.5 /proc/31005/task/31008/stat : 31008 (java) S 31003 31005 30889 0 -1 4202560 33751 0 0 0 826 24 0 0 15 0 18 0 31456340 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31009] ppid=31003 vsize=1548588 CPUtime=8.44 /proc/31005/task/31009/stat : 31009 (java) S 31003 31005 30889 0 -1 4202560 32795 0 0 0 821 23 0 0 16 0 18 0 31456340 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31010] ppid=31003 vsize=1548588 CPUtime=5.41 /proc/31005/task/31010/stat : 31010 (java) S 31003 31005 30889 0 -1 4202560 28284 0 0 0 515 26 0 0 15 0 18 0 31456342 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 0 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31011] ppid=31003 vsize=1548588 CPUtime=0 /proc/31005/task/31011/stat : 31011 (java) S 31003 31005 30889 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 31456342 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31012] ppid=31003 vsize=1548588 CPUtime=0 /proc/31005/task/31012/stat : 31012 (java) S 31003 31005 30889 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 31456342 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31013] ppid=31003 vsize=1548588 CPUtime=0 /proc/31005/task/31013/stat : 31013 (java) S 31003 31005 30889 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 18 0 31456347 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31014] ppid=31003 vsize=1548588 CPUtime=2.6 /proc/31005/task/31014/stat : 31014 (java) S 31003 31005 30889 0 -1 4202560 6538 0 0 0 257 3 0 0 15 0 18 0 31456347 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 [pid=31005/tid=31015] ppid=31003 vsize=1548588 CPUtime=1.88 /proc/31005/task/31015/stat : 31015 (java) R 31003 31005 30889 0 -1 4202560 3831 0 0 0 186 2 0 0 15 0 18 0 31456347 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 104145010 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31016] ppid=31003 vsize=1548588 CPUtime=0 /proc/31005/task/31016/stat : 31016 (java) S 31003 31005 30889 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 31456347 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31017] ppid=31003 vsize=1548588 CPUtime=0 /proc/31005/task/31017/stat : 31017 (java) S 31003 31005 30889 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 31456347 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31018] ppid=31003 vsize=1548588 CPUtime=884.83 /proc/31005/task/31018/stat : 31018 (java) R 31003 31005 30889 0 -1 4202560 739 0 0 0 88457 26 0 0 25 0 18 0 31456651 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4110060582 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31005/tid=31019] ppid=31003 vsize=1548588 CPUtime=885.73 /proc/31005/task/31019/stat : 31019 (java) R 31003 31005 30889 0 -1 4202560 1057 0 0 0 88558 15 0 0 25 0 18 0 31456651 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4109704880 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31005/tid=31020] ppid=31003 vsize=1548588 CPUtime=0 /proc/31005/task/31020/stat : 31020 (java) S 31003 31005 30889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 18 0 31456673 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 0 0 0 0 [pid=31005/tid=31021] ppid=31003 vsize=1548588 CPUtime=0 /proc/31005/task/31021/stat : 31021 (java) S 31003 31005 30889 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 18 0 31456674 1585754112 99175 1992294400 134512640 134550932 4293320272 18446744073709551615 4294960144 0 4 0 16800975 18446604437838726400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 1548588 Child status: 143 Real time (s): 910.285 CPU time (s): 1800.43 CPU user time (s): 1798.99 CPU system time (s): 1.43278 CPU usage (%): 197.787 Max. virtual memory (cumulated for all children) (KiB): 1560752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.99 system time used= 1.43278 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 140206 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= 39492 involuntary context switches= 58614 runsolver used 5.14522 second user time and 7.14391 second system time The end
Begin job on node003 at 2010-06-15 01:35:24 IDJOB=2662193 IDBENCH=2466 IDSOLVER=1166 FILE ID=node003/2662193-1276558524 PBS_JOBID= 11173499 Free space on /tmp= 62572 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662193-1276558524/watcher-2662193-1276558524 -o /tmp/evaluation-result-2662193-1276558524/solver-2662193-1276558524 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662193-1276558524.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0662414c0fee45075e37f5c5e2481506 RANDOM SEED=25236003 node003.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.251 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.50 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.251 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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1829044 kB Buffers: 43988 kB Cached: 107564 kB SwapCached: 5848 kB Active: 69056 kB Inactive: 95096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1829044 kB SwapTotal: 4192956 kB SwapFree: 4140192 kB Dirty: 3360 kB Writeback: 0 kB AnonPages: 11192 kB Mapped: 13048 kB Slab: 43760 kB PageTables: 3888 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 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= 62572 MiB End job on node003 at 2010-06-15 01:50:36