Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | ? (TO) | 1800.29 | 1744.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb |
MD5SUM | 24e8096a6d8928e5a9e214fdf85bd87e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 51973 |
Best CPU time to get the best result obtained on this benchmark | 1514.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 51973 |
Optimality of the best value was proved | NO |
Number of variables | 282240 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 150 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 188160 |
Biggest coefficient in the objective function | 42 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 683648 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 80921 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 683648 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.25 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.25 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.25 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.26 c no version file found!!! 0.09/0.26 c sun.arch.data.model 32 0.09/0.26 c java.version 1.6.0 0.09/0.26 c os.name Linux 0.09/0.26 c os.version 2.6.9-22.EL.rootsmp 0.09/0.26 c os.arch i386 0.09/0.26 c Free memory 1651659224 0.09/0.26 c Max memory 1654456320 0.09/0.26 c Total memory 1654456320 0.09/0.26 c Number of processors 2 0.19/0.32 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.19/0.32 --- Begin Solver configuration --- 0.19/0.32 c Stops conflict analysis at the first Unique Implication Point 0.19/0.32 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.32 c Learn all clauses as in MiniSAT 0.19/0.32 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.19/0.32 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.32 c No reason simplification 0.19/0.32 c --- End Solver configuration --- 0.19/0.32 c solving /tmp/evaluation/348537-1176586613/instance-348537-1176586613.opb 0.19/0.32 c reading problem ... 26.76/20.24 c ... done. Wall clock time 19.921s. 26.76/20.24 c CPU time (experimental) 14.01s. 26.76/20.24 c #vars 282240 26.76/20.24 c #constraints 6272 1800.05/1744.52 c starts : 2 1800.05/1744.52 c conflicts : 7765 1800.05/1744.52 c decisions : 74573 1800.05/1744.52 c propagations : 133018 1800.05/1744.52 c inspects : 12224255 1800.05/1744.52 c learnt literals : 0 1800.05/1744.52 c learnt binary clauses : 0 1800.05/1744.52 c learnt ternary clauses : 0 1800.05/1744.52 c learnt clauses : 7765 1800.05/1744.52 c root simplifications : 0 1800.05/1744.52 c removed literals (reason simplification) : 0 1800.05/1744.52 c reason swapping (by a shorter reason) : 0 1800.05/1744.52 c Calls to reduceDB : 0 1800.05/1744.52 c speed (decisions/second) : 43.26842460416235 1800.05/1744.52 c non guided choices 0 1800.05/1744.52 s UNKNOWN 1800.05/1744.52 c Total wall clock time (ms): 1744.199
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-348537-1176586613 -o ROOT/results/node33/solver-348537-1176586613 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/348537-1176586613/sat4jPseudoCP.jar /tmp/evaluation/348537-1176586613/instance-348537-1176586613.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25569 /proc/meminfo: memFree=1296024/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=324 CPUtime=0 /proc/25569/stat : 25569 (java) R 25567 25569 23229 0 -1 0 61 0 0 0 0 0 0 0 18 0 1 0 106576845 331776 44 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 1 0 0 /proc/25569/statm: 81 44 33 9 0 6 0 [startup+0.035148 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25569 /proc/meminfo: memFree=1296024/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=12056 CPUtime=0 /proc/25569/stat : 25569 (java) D 25567 25569 23229 0 -1 0 371 0 10 0 0 0 0 0 18 0 1 0 106576845 12345344 188 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 10916650 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/25569/statm: 3014 188 135 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12056 [startup+0.104001 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25569 /proc/meminfo: memFree=1296024/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1777060 CPUtime=0.04 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 3491 0 29 0 2 2 0 0 18 0 5 0 106576845 1819709440 3263 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 444265 3263 1046 9 0 441901 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1777060 [startup+0.30104 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25569 /proc/meminfo: memFree=1296024/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1782436 CPUtime=0.19 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 4783 0 29 0 15 4 0 0 18 0 12 0 106576845 1825214464 4549 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 445609 4550 1244 9 0 443221 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1782436 [startup+0.701124 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25569 /proc/meminfo: memFree=1296024/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1783380 CPUtime=0.79 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 9318 0 29 0 73 6 0 0 18 0 12 0 106576845 1826181120 8619 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 445845 8619 1296 9 0 443457 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 1783380 [startup+1.50128 s] /proc/loadavg: 1.00 1.00 1.00 2/89 25581 /proc/meminfo: memFree=1234296/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1783380 CPUtime=1.6 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 26771 0 29 0 146 14 0 0 18 0 12 0 106576845 1826181120 26072 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 445845 26073 1296 9 0 443457 0 [pid=25569/tid=25571] ppid=25567 vsize=1783380 CPUtime=1.22 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 24710 0 1 0 110 12 0 0 25 0 12 0 106576851 1826181120 26073 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109551944 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 106576852 1826181120 26074 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 106576852 1826181120 26075 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 106576855 1826181120 26076 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 106576855 1826181120 26077 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 106576855 1826181120 26078 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 106576862 1826181120 26079 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1783380 CPUtime=0.23 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 1070 0 0 0 23 0 0 0 16 0 12 0 106576862 1826181120 26079 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1783380 CPUtime=0.12 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 301 0 0 0 12 0 0 0 17 0 12 0 106576862 1826181120 26080 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 106576862 1826181120 26081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1783380 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 106576862 1826181120 26082 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 1783380 [startup+3.10262 s] /proc/loadavg: 1.00 1.00 1.00 3/89 25581 /proc/meminfo: memFree=1162680/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795400 CPUtime=4.21 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 54448 0 29 0 394 27 0 0 18 0 12 0 106576845 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448850 49874 1313 9 0 446462 0 [pid=25569/tid=25571] ppid=25567 vsize=1795400 CPUtime=2.34 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 37683 0 1 0 215 19 0 0 19 0 12 0 106576851 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109513358 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795400 CPUtime=0.16 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 4769 0 0 0 15 1 0 0 18 0 12 0 106576852 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795400 CPUtime=0.16 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 3776 0 0 0 14 2 0 0 16 0 12 0 106576852 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795400 CPUtime=0 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 106576855 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795400 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 106576855 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795400 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 106576855 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795400 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 106576862 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1795400 CPUtime=1.03 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6054 0 0 0 101 2 0 0 15 0 12 0 106576862 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795400 CPUtime=0.47 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1468 0 0 0 47 0 0 0 16 0 12 0 106576862 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795400 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 106576862 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795400 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 106576862 1838489600 49874 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 1795400 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 1.00 2/89 25581 /proc/meminfo: memFree=1026624/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795968 CPUtime=8.38 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 80783 0 29 0 796 42 0 0 18 0 12 0 106576845 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448992 72088 1313 9 0 446604 0 [pid=25569/tid=25571] ppid=25567 vsize=1795968 CPUtime=4.56 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 37687 0 1 0 436 20 0 0 17 0 12 0 106576851 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109512182 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795968 CPUtime=1.12 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 19072 0 0 0 103 9 0 0 16 0 12 0 106576852 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795968 CPUtime=1.12 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 15796 0 0 0 105 7 0 0 16 0 12 0 106576852 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795968 CPUtime=0 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 8 0 0 0 0 0 0 0 15 0 12 0 106576855 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795968 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 106576855 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795968 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 106576855 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795968 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 106576862 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1795968 CPUtime=1.03 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6054 0 0 0 101 2 0 0 17 0 12 0 106576862 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795968 CPUtime=0.49 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1476 0 0 0 49 0 0 0 16 0 12 0 106576862 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795968 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 106576862 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795968 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 106576862 1839071232 72088 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.38 Current children cumulated vsize (KiB) 1795968 [startup+12.7026 s] /proc/loadavg: 1.15 1.03 1.01 3/89 25581 /proc/meminfo: memFree=895560/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795308 CPUtime=17.23 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 117053 0 29 0 1663 60 0 0 18 0 12 0 106576845 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448827 102993 1320 9 0 446439 0 [pid=25569/tid=25571] ppid=25567 vsize=1795308 CPUtime=8.51 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 37697 0 1 0 830 21 0 0 16 0 12 0 106576851 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109507278 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795308 CPUtime=3.56 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 36480 0 0 0 339 17 0 0 16 0 12 0 106576852 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795308 CPUtime=3.56 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 34641 0 0 0 339 17 0 0 16 0 12 0 106576852 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795308 CPUtime=0 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 106576855 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795308 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 106576855 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795308 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 106576855 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795308 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 106576862 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1795308 CPUtime=1.05 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6061 0 0 0 103 2 0 0 16 0 12 0 106576862 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795308 CPUtime=0.5 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1476 0 0 0 50 0 0 0 17 0 12 0 106576862 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795308 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 106576862 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795308 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 106576862 1838395392 102993 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 17.23 Current children cumulated vsize (KiB) 1795308 [startup+25.5012 s] /proc/loadavg: 1.36 1.08 1.03 2/90 25582 /proc/meminfo: memFree=709568/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795632 CPUtime=33.5 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 168719 0 29 0 3262 88 0 0 18 0 13 0 106576845 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448908 146081 1334 9 0 446520 0 [pid=25569/tid=25571] ppid=25567 vsize=1795632 CPUtime=18.43 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 37768 0 1 0 1820 23 0 0 23 0 13 0 106576851 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109977659 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795632 CPUtime=6 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 61926 0 0 0 572 28 0 0 16 0 13 0 106576852 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795632 CPUtime=6.01 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 60239 0 0 0 570 31 0 0 16 0 13 0 106576852 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 106576862 1838727168 146081 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6128 0 0 0 199 2 0 0 16 0 13 0 106576862 1838727168 250753 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795632 CPUtime=1.55 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1976 0 0 0 155 0 0 0 16 0 13 0 106576862 1838727168 250753 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 106576862 1838727168 250753 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106576862 1838727168 250753 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25582] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25582/stat : 25582 (java) S 25567 25569 23229 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 106578947 1838727168 250753 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1588.93 Current children cumulated vsize (KiB) 1795632 [startup+1602.3 s] /proc/loadavg: 1.02 1.04 1.00 2/90 25782 /proc/meminfo: memFree=275456/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795632 CPUtime=1651.2 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 284991 0 29 0 164934 186 0 0 18 0 13 0 106576845 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448908 254495 1334 9 0 446520 0 [pid=25569/tid=25571] ppid=25567 vsize=1795632 CPUtime=1551.96 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 39891 0 1 0 155148 48 0 0 25 0 13 0 106576851 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109977780 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795632 CPUtime=47.57 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 116641 0 0 0 4702 55 0 0 16 0 13 0 106576852 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795632 CPUtime=47.6 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 119626 0 0 0 4699 61 0 0 16 0 13 0 106576852 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795632 CPUtime=0.45 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 35 0 0 0 29 16 0 0 15 0 13 0 106576855 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 106576862 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1795632 CPUtime=2.01 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6128 0 0 0 199 2 0 0 16 0 13 0 106576862 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795632 CPUtime=1.55 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1976 0 0 0 155 0 0 0 16 0 13 0 106576862 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 106576862 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106576862 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25582] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25582/stat : 25582 (java) S 25567 25569 23229 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 106578947 1838727168 254495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1651.2 Current children cumulated vsize (KiB) 1795632 [startup+1662.3 s] /proc/loadavg: 1.01 1.03 1.00 2/90 25782 /proc/meminfo: memFree=257664/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795632 CPUtime=1713.95 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 289739 0 29 0 171205 190 0 0 18 0 13 0 106576845 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448908 258905 1334 9 0 446520 0 [pid=25569/tid=25571] ppid=25567 vsize=1795632 CPUtime=1609.12 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 39963 0 1 0 160863 49 0 0 25 0 13 0 106576851 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109603609 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795632 CPUtime=50.36 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 119946 0 0 0 4979 57 0 0 16 0 13 0 106576852 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795632 CPUtime=50.38 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 120996 0 0 0 4976 62 0 0 16 0 13 0 106576852 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795632 CPUtime=0.47 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 36 0 0 0 30 17 0 0 16 0 13 0 106576855 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 106576862 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1795632 CPUtime=2.01 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6128 0 0 0 199 2 0 0 16 0 13 0 106576862 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795632 CPUtime=1.55 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1976 0 0 0 155 0 0 0 16 0 13 0 106576862 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 106576862 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106576862 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25582] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25582/stat : 25582 (java) S 25567 25569 23229 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 106578947 1838727168 258905 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1713.95 Current children cumulated vsize (KiB) 1795632 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 25782 /proc/meminfo: memFree=239488/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795632 CPUtime=1776.8 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 294528 0 29 0 177487 193 0 0 18 0 13 0 106576845 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448908 263490 1334 9 0 446520 0 [pid=25569/tid=25571] ppid=25567 vsize=1795632 CPUtime=1666.14 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 40036 0 1 0 166565 49 0 0 25 0 13 0 106576851 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109983592 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795632 CPUtime=53.26 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 123176 0 0 0 5268 58 0 0 17 0 13 0 106576852 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795632 CPUtime=53.27 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 122481 0 0 0 5264 63 0 0 16 0 13 0 106576852 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795632 CPUtime=0.49 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 36 0 0 0 31 18 0 0 16 0 13 0 106576855 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 106576862 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1795632 CPUtime=2.01 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6128 0 0 0 199 2 0 0 16 0 13 0 106576862 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795632 CPUtime=1.57 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1977 0 0 0 157 0 0 0 16 0 13 0 106576862 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 106576862 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106576862 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25582] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25582/stat : 25582 (java) S 25567 25569 23229 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 106578947 1838727168 263490 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1776.8 Current children cumulated vsize (KiB) 1795632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1744.5 s] /proc/loadavg: 1.00 1.02 1.00 2/90 25782 /proc/meminfo: memFree=233472/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=1795632 CPUtime=1800.05 /proc/25569/stat : 25569 (java) S 25567 25569 23229 0 -1 0 296091 0 29 0 179810 195 0 0 18 0 13 0 106576845 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25569/statm: 448908 264962 1334 9 0 446520 0 [pid=25569/tid=25571] ppid=25567 vsize=1795632 CPUtime=1687.26 /proc/25569/task/25571/stat : 25571 (java) R 25567 25569 23229 0 -1 64 40062 0 1 0 168677 49 0 0 25 0 13 0 106576851 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109983329 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25572] ppid=25567 vsize=1795632 CPUtime=54.32 /proc/25569/task/25572/stat : 25572 (java) S 25567 25569 23229 0 -1 64 123639 0 0 0 5374 58 0 0 16 0 13 0 106576852 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25573] ppid=25567 vsize=1795632 CPUtime=54.33 /proc/25569/task/25573/stat : 25573 (java) S 25567 25569 23229 0 -1 64 123555 0 0 0 5370 63 0 0 16 0 13 0 106576852 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25574] ppid=25567 vsize=1795632 CPUtime=0.49 /proc/25569/task/25574/stat : 25574 (java) S 25567 25569 23229 0 -1 64 36 0 0 0 31 18 0 0 16 0 13 0 106576855 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25575] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25575/stat : 25575 (java) S 25567 25569 23229 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25576] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25576/stat : 25576 (java) S 25567 25569 23229 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106576855 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25577] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25577/stat : 25577 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 106576862 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25578] ppid=25567 vsize=1795632 CPUtime=2.01 /proc/25569/task/25578/stat : 25578 (java) S 25567 25569 23229 0 -1 64 6128 0 0 0 199 2 0 0 16 0 13 0 106576862 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25569/tid=25579] ppid=25567 vsize=1795632 CPUtime=1.57 /proc/25569/task/25579/stat : 25579 (java) S 25567 25569 23229 0 -1 64 1977 0 0 0 157 0 0 0 16 0 13 0 106576862 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25580] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25580/stat : 25580 (java) S 25567 25569 23229 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 106576862 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25581] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25581/stat : 25581 (java) S 25567 25569 23229 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106576862 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25569/tid=25582] ppid=25567 vsize=1795632 CPUtime=0 /proc/25569/task/25582/stat : 25582 (java) S 25567 25569 23229 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 106578947 1838727168 264962 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1795632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1744.62 s] /proc/loadavg: 1.00 1.02 1.00 2/90 25782 /proc/meminfo: memFree=233472/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=0 CPUtime=1800.16 /proc/25569/stat : 25569 (java) Z 25567 25569 23229 0 -1 1036 296111 0 29 0 179817 199 0 0 16 0 2 0 106576845 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/25569/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1744.7 s] /proc/loadavg: 1.00 1.02 1.00 2/90 25782 /proc/meminfo: memFree=233472/2055920 swapFree=4170492/4192956 [pid=25569] ppid=25567 vsize=0 CPUtime=1800.25 /proc/25569/stat : 25569 (java) Z 25567 25569 23229 0 -1 1036 296111 0 29 0 179817 208 0 0 16 0 2 0 106576845 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/25569/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1744.74 CPU time (s): 1800.29 CPU user time (s): 1798.17 CPU system time (s): 2.11668 CPU usage (%): 103.184 Max. virtual memory (cumulated for all children) (KiB): 1796684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.17 system time used= 2.11668 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296111 page faults= 29 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 54693 involuntary context switches= 61737 runsolver used 1.72274 second user time and 5.13222 second system time The end
Begin job on node33 on Sat Apr 14 21:36:54 UTC 2007 IDJOB= 348537 IDBENCH= 1690 IDSOLVER= 160 FILE ID= node33/348537-1176586613 PBS_JOBID= 4556944 Free space on /tmp= 66537 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/348537-1176586613/sat4jPseudoCP.jar /tmp/evaluation/348537-1176586613/instance-348537-1176586613.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-348537-1176586613 -o ROOT/results/node33/solver-348537-1176586613 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/348537-1176586613/sat4jPseudoCP.jar /tmp/evaluation/348537-1176586613/instance-348537-1176586613.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 24e8096a6d8928e5a9e214fdf85bd87e RANDOM SEED= 433397110 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1296624 kB Buffers: 61476 kB Cached: 383056 kB SwapCached: 2840 kB Active: 404624 kB Inactive: 239932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1296624 kB SwapTotal: 4192956 kB SwapFree: 4170492 kB Dirty: 28468 kB Writeback: 0 kB Mapped: 196880 kB Slab: 100004 kB Committed_AS: 584152 kB PageTables: 2000 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66537 MiB End job on node33 on Sat Apr 14 22:06:00 UTC 2007