Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | ? (TO) | 1800.2 | 1786.81 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-seba.opb |
MD5SUM | 1b2371606d4072012aff3f48017bfad5 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20409176029 |
Optimality of the best value was proved | NO |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 258342282854400 |
Number of bits for the biggest coefficient in the objective function | 48 |
Sum of the numbers in the objective function | 4664562894591719 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 258342282854400 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 4664562894591719 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.14 c See www.sat4j.org for details. 0.07/0.15 c version 2.2.0.v20100526 0.07/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.07/0.15 c java.vm.version 11.2-b01 0.07/0.15 c java.vm.vendor Sun Microsystems Inc. 0.07/0.15 c sun.arch.data.model 32 0.07/0.15 c java.version 1.6.0_12 0.07/0.15 c os.name Linux 0.07/0.15 c os.version 2.6.18-164.el5 0.07/0.15 c os.arch i386 0.07/0.15 c Free memory 1393557488 0.07/0.15 c Max memory 1395916800 0.07/0.15 c Total memory 1395916800 0.07/0.15 c Number of processors 2 0.22/0.21 c Pseudo Boolean Optimization 0.22/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.21 c --- Begin Solver configuration --- 0.22/0.21 c Stops conflict analysis at the first Unique Implication Point 0.22/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7 0.22/0.21 c Learn all clauses as in MiniSAT 0.22/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.21 c No reason simplification 0.22/0.21 c Armin Biere (Picosat) restarts strategy 0.22/0.21 c Glucose learned constraints deletion strategy 0.22/0.21 c timeout=2147483s 0.22/0.21 c DB Simplification allowed=false 0.22/0.21 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-2660688-1276552941.opb 0.22/0.22 c reading problem ... 3.18/2.09 c ... done. Wall clock time 1.876s. 3.18/2.09 c #vars 23376 3.18/2.09 c #constraints 8207 3.18/2.09 c constraints type 3.18/2.09 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1484 1121.66/1112.19 c cleaning 0 clauses out of 5002 with flag 0/5002 1800.08/1786.71 c starts : 17 1800.08/1786.71 c conflicts : 6223 1800.08/1786.71 c decisions : 186721 1800.08/1786.71 c propagations : 776612 1800.08/1786.71 c inspects : 169839118 1800.08/1786.71 c learnt literals : 0 1800.08/1786.71 c learnt binary clauses : 0 1800.08/1786.71 c learnt ternary clauses : 0 1800.08/1786.71 c learnt clauses : 6223 1800.08/1786.71 c ignored clauses : 0 1800.08/1786.71 c root simplifications : 0 1800.08/1786.71 c removed literals (reason simplification) : 0 1800.08/1786.71 c reason swapping (by a shorter reason) : 0 1800.08/1786.71 c Calls to reduceDB : 1 1800.08/1786.71 c number of reductions to clauses (during analyze) : 0 1800.08/1786.71 c number of learned constraints concerned by reduction : 0 1800.08/1786.71 c number of learning phase by resolution : 0 1800.08/1786.71 c number of learning phase by cutting planes : 0 1800.08/1786.71 c speed (assignments/second) : 435.16914795914647 1800.08/1786.71 c non guided choices 117 1800.08/1786.73 c learnt constraints type 1800.08/1786.73 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.08/1786.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6222 1800.08/1786.73 c constraints type 1800.08/1786.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1484 1800.08/1786.73 s UNKNOWN 1800.08/1786.73 c Total wall clock time (in seconds): 1786.512
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-2660688-1276552941/watcher-2660688-1276552941 -o /tmp/evaluation-result-2660688-1276552941/solver-2660688-1276552941 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660688-1276552941.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: 0.92 0.98 0.99 3/106 32243 /proc/meminfo: memFree=1849160/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1752 CPUtime=0 /proc/32243/stat : 32243 (java6) R 32241 32243 31584 0 -1 4194304 163 0 0 0 0 0 0 0 19 0 1 0 28950441 1794048 80 1992294400 134512640 134550932 4287893536 18446744073709551615 5103622 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32243/statm: 438 81 63 10 0 30 0 [startup+0.059187 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32243 /proc/meminfo: memFree=1849160/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1521664 CPUtime=0.04 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 3589 0 1 0 2 2 0 0 15 0 7 0 28950441 1558183936 3029 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 380416 3030 1014 10 0 377726 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1521664 [startup+0.100186 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32243 /proc/meminfo: memFree=1849160/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1524184 CPUtime=0.07 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 3948 0 1 0 5 2 0 0 15 0 12 0 28950441 1560764416 3386 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 381046 3386 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1524184 [startup+0.300182 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32243 /proc/meminfo: memFree=1849160/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1526588 CPUtime=0.36 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 5453 0 1 0 33 3 0 0 15 0 12 0 28950441 1563226112 4889 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 381647 4889 1360 10 0 378949 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1526588 [startup+0.700174 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32243 /proc/meminfo: memFree=1849160/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1527892 CPUtime=1.08 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 8045 0 1 0 104 4 0 0 15 0 12 0 28950441 1564561408 7481 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 381973 7481 1403 10 0 379275 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 1527892 [startup+1.50116 s] /proc/loadavg: 0.92 0.98 0.99 4/118 32255 /proc/meminfo: memFree=1807896/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1543692 CPUtime=2.67 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 21263 0 1 0 257 10 0 0 15 0 12 0 28950441 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385923 17881 1407 10 0 383225 0 [pid=32243/tid=32245] ppid=32241 vsize=1543692 CPUtime=1.16 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 12504 0 1 0 110 6 0 0 18 0 12 0 28950442 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4109895151 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 28950444 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 28950444 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 28950446 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 12 0 28950446 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 28950446 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 28950450 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1543692 CPUtime=0.96 /proc/32243/task/32252/stat : 32252 (java) R 32241 32243 31584 0 -1 4202560 5009 0 0 0 95 1 0 0 18 0 12 0 28950450 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1543692 CPUtime=0.51 /proc/32243/task/32253/stat : 32253 (java) R 32241 32243 31584 0 -1 4202560 2687 0 0 0 51 0 0 0 17 0 12 0 28950450 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 104139041 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 28950450 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1543692 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 28950450 1580740608 17881 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 1543692 [startup+3.10112 s] /proc/loadavg: 0.92 0.98 0.99 5/118 32255 /proc/meminfo: memFree=1722212/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1544016 CPUtime=4.9 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 39683 0 1 0 471 19 0 0 15 0 13 0 28950441 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 386004 36299 1429 10 0 383306 0 [pid=32243/tid=32245] ppid=32241 vsize=1544016 CPUtime=2.75 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 30856 0 1 0 260 15 0 0 21 0 13 0 28950442 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4110257869 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 28950444 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 28950444 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 28950446 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 28950446 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 28950446 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1544016 CPUtime=1.21 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5036 0 0 0 120 1 0 0 15 0 13 0 28950450 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1544016 CPUtime=0.9 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 2722 0 0 0 89 1 0 0 15 0 13 0 28950450 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1544016 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28950450 1581072384 36299 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.9 Current children cumulated vsize (KiB) 1544016 [startup+6.30106 s] /proc/loadavg: 0.93 0.98 0.99 2/119 32256 /proc/meminfo: memFree=1683020/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1542208 CPUtime=8.44 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 46164 0 1 0 823 21 0 0 15 0 13 0 28950441 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385552 42123 1440 10 0 382854 0 [pid=32243/tid=32245] ppid=32241 vsize=1542208 CPUtime=5.83 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32068 0 1 0 568 15 0 0 25 0 13 0 28950442 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4110257889 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1542208 CPUtime=0.08 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 2695 0 0 0 7 1 0 0 16 0 13 0 28950444 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1542208 CPUtime=0.08 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 2543 0 0 0 8 0 0 0 18 0 13 0 28950444 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1542208 CPUtime=0 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 28950446 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1542208 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1542208 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28950446 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1542208 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1542208 CPUtime=1.32 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5044 0 0 0 131 1 0 0 15 0 13 0 28950450 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1542208 CPUtime=1.08 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 2739 0 0 0 107 1 0 0 15 0 13 0 28950450 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1542208 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1542208 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28950450 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32256] ppid=32241 vsize=1542208 CPUtime=0 /proc/32243/task/32256/stat : 32256 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 28950690 1579220992 42123 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.44 Current children cumulated vsize (KiB) 1542208 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/119 32256 /proc/meminfo: memFree=1662436/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1543232 CPUtime=15.8 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 58601 0 1 0 1552 28 0 0 15 0 13 0 28950441 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385808 52483 1440 10 0 383110 0 [pid=32243/tid=32245] ppid=32241 vsize=1543232 CPUtime=11.76 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32077 0 1 0 1161 15 0 0 25 0 13 0 28950442 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4110387785 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543232 CPUtime=0.47 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 8713 0 0 0 43 4 0 0 16 0 13 0 28950444 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543232 CPUtime=0.47 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 7937 0 0 0 44 3 0 0 16 0 13 0 28950444 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 28950446 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1543232 CPUtime=1.46 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5084 0 0 0 145 1 0 0 16 0 13 0 28950450 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1543232 CPUtime=1.57 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 3715 0 0 0 156 1 0 0 15 0 13 0 28950450 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 28950450 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32256] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32256/stat : 32256 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 28950690 1580269568 52483 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 15.8 Current children cumulated vsize (KiB) 1543232 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/119 32256 /proc/meminfo: memFree=1639248/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1543232 CPUtime=28.88 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 59824 0 1 0 2859 29 0 0 15 0 13 0 28950441 1580269568 53588 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385808 53588 1444 10 0 383110 0 [pid=32243/tid=32245] ppid=32241 vsize=1543232 CPUtime=24.5 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32086 0 1 0 2434 16 0 0 25 0 13 0 28950442 1580269568 53588 1992294400 134512640 134550932 4293624064 18446744073709551615 4110050497 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543232 CPUtime=0.54 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 9415 0 0 0 49 5 0 0 16 0 13 0 28950444 1580269568 53588 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543232 CPUtime=0.53 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 8425 0 0 0 50 3 0 0 15 0 13 0 28950444 1580269568 53588 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 28950446 1580269568 53588 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 53588 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543232 CPUtime=0 ################ # More data... # ################ [pid=32243] ppid=32241 vsize=1543232 CPUtime=1674.48 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 113778 0 1 0 167361 87 0 0 15 0 13 0 28950441 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385808 100400 1450 10 0 383110 0 [pid=32243/tid=32245] ppid=32241 vsize=1543232 CPUtime=1650.55 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32646 0 1 0 165026 29 0 0 25 0 13 0 28950442 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4110014436 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543232 CPUtime=9.7 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 35134 0 0 0 950 20 0 0 15 0 13 0 28950444 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543232 CPUtime=9.66 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 35561 0 0 0 940 26 0 0 16 0 13 0 28950444 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543232 CPUtime=0.94 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 433 0 0 0 90 4 0 0 15 0 13 0 28950446 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1543232 CPUtime=1.49 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5087 0 0 0 148 1 0 0 15 0 13 0 28950450 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1543232 CPUtime=2.05 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 3751 0 0 0 204 1 0 0 15 0 13 0 28950450 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 28950450 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32256] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32256/stat : 32256 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 28950690 1580269568 100400 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1674.48 Current children cumulated vsize (KiB) 1543232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 32302 /proc/meminfo: memFree=1437872/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1543232 CPUtime=1735.36 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 117217 0 1 0 173445 91 0 0 15 0 13 0 28950441 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385808 103408 1450 10 0 383110 0 [pid=32243/tid=32245] ppid=32241 vsize=1543232 CPUtime=1709.59 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32683 0 1 0 170929 30 0 0 25 0 13 0 28950442 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4110258525 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543232 CPUtime=10.62 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 36768 0 0 0 1041 21 0 0 15 0 13 0 28950444 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543232 CPUtime=10.58 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 37321 0 0 0 1029 29 0 0 16 0 13 0 28950444 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543232 CPUtime=0.95 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 437 0 0 0 91 4 0 0 15 0 13 0 28950446 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1543232 CPUtime=1.49 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5087 0 0 0 148 1 0 0 15 0 13 0 28950450 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1543232 CPUtime=2.05 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 3751 0 0 0 204 1 0 0 15 0 13 0 28950450 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 28950450 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32256] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32256/stat : 32256 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 28950690 1580269568 103408 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1735.36 Current children cumulated vsize (KiB) 1543232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 32302 /proc/meminfo: memFree=1434524/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1543232 CPUtime=1795.67 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 118135 0 1 0 179475 92 0 0 15 0 13 0 28950441 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385808 104226 1450 10 0 383110 0 [pid=32243/tid=32245] ppid=32241 vsize=1543232 CPUtime=1769.23 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32697 0 1 0 176893 30 0 0 25 0 13 0 28950442 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4110257847 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543232 CPUtime=10.96 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 37131 0 0 0 1074 22 0 0 15 0 13 0 28950444 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543232 CPUtime=10.92 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 37854 0 0 0 1062 30 0 0 16 0 13 0 28950444 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543232 CPUtime=0.96 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 441 0 0 0 91 5 0 0 16 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1543232 CPUtime=1.49 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5087 0 0 0 148 1 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1543232 CPUtime=2.05 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 3751 0 0 0 204 1 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32256] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32256/stat : 32256 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 28950690 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (KiB) 1543232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.7 s] /proc/loadavg: 1.00 1.00 1.00 2/119 32304 /proc/meminfo: memFree=1434524/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1543232 CPUtime=1800.08 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 118135 0 1 0 179916 92 0 0 15 0 13 0 28950441 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385808 104226 1450 10 0 383110 0 [pid=32243/tid=32245] ppid=32241 vsize=1543232 CPUtime=1773.63 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32697 0 1 0 177333 30 0 0 25 0 13 0 28950442 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4110258397 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543232 CPUtime=10.96 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 37131 0 0 0 1074 22 0 0 15 0 13 0 28950444 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543232 CPUtime=10.92 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 37854 0 0 0 1062 30 0 0 16 0 13 0 28950444 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543232 CPUtime=0.96 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 441 0 0 0 91 5 0 0 15 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1543232 CPUtime=1.49 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5087 0 0 0 148 1 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1543232 CPUtime=2.05 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 3751 0 0 0 204 1 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32256] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32256/stat : 32256 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 28950690 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1543232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.7 s] /proc/loadavg: 1.00 1.00 1.00 2/119 32304 /proc/meminfo: memFree=1434524/2059040 swapFree=4140228/4192956 [pid=32243] ppid=32241 vsize=1543232 CPUtime=1800.08 /proc/32243/stat : 32243 (java) S 32241 32243 31584 0 -1 4202496 118135 0 1 0 179916 92 0 0 15 0 13 0 28950441 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32243/statm: 385808 104226 1450 10 0 383110 0 [pid=32243/tid=32245] ppid=32241 vsize=1543232 CPUtime=1773.63 /proc/32243/task/32245/stat : 32245 (java) R 32241 32243 31584 0 -1 4202560 32697 0 1 0 177333 30 0 0 25 0 13 0 28950442 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4110258397 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32243/tid=32246] ppid=32241 vsize=1543232 CPUtime=10.96 /proc/32243/task/32246/stat : 32246 (java) S 32241 32243 31584 0 -1 4202560 37131 0 0 0 1074 22 0 0 15 0 13 0 28950444 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32247] ppid=32241 vsize=1543232 CPUtime=10.92 /proc/32243/task/32247/stat : 32247 (java) S 32241 32243 31584 0 -1 4202560 37854 0 0 0 1062 30 0 0 16 0 13 0 28950444 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32248] ppid=32241 vsize=1543232 CPUtime=0.96 /proc/32243/task/32248/stat : 32248 (java) S 32241 32243 31584 0 -1 4202560 441 0 0 0 91 5 0 0 15 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32249] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32249/stat : 32249 (java) S 32241 32243 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32250] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32250/stat : 32250 (java) S 32241 32243 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 28950446 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32251] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32251/stat : 32251 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32252] ppid=32241 vsize=1543232 CPUtime=1.49 /proc/32243/task/32252/stat : 32252 (java) S 32241 32243 31584 0 -1 4202560 5087 0 0 0 148 1 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32253] ppid=32241 vsize=1543232 CPUtime=2.05 /proc/32243/task/32253/stat : 32253 (java) S 32241 32243 31584 0 -1 4202560 3751 0 0 0 204 1 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32254] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32254/stat : 32254 (java) S 32241 32243 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0 [pid=32243/tid=32255] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32255/stat : 32255 (java) S 32241 32243 31584 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 13 0 28950450 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 [pid=32243/tid=32256] ppid=32241 vsize=1543232 CPUtime=0 /proc/32243/task/32256/stat : 32256 (java) S 32241 32243 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 28950690 1580269568 104226 1992294400 134512640 134550932 4293624064 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1543232 Child status: 143 Real time (s): 1786.81 CPU time (s): 1800.2 CPU user time (s): 1799.23 CPU system time (s): 0.969852 CPU usage (%): 100.75 Max. virtual memory (cumulated for all children) (KiB): 1545752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.969852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 118155 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= 42475 involuntary context switches= 28106 runsolver used 3.55346 second user time and 9.76652 second system time The end
Begin job on node018 at 2010-06-15 00:02:21 IDJOB=2660688 IDBENCH=2432 IDSOLVER=1165 FILE ID=node018/2660688-1276552941 PBS_JOBID= 11173477 Free space on /tmp= 62368 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2660688-1276552941/watcher-2660688-1276552941 -o /tmp/evaluation-result-2660688-1276552941/solver-2660688-1276552941 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660688-1276552941.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1b2371606d4072012aff3f48017bfad5 RANDOM SEED=1439016428 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1849432 kB Buffers: 31064 kB Cached: 91472 kB SwapCached: 5836 kB Active: 72572 kB Inactive: 62456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1849432 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 1908 kB Writeback: 0 kB AnonPages: 10956 kB Mapped: 12904 kB Slab: 52464 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179564 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= 62368 MiB End job on node018 at 2010-06-15 00:32:10