Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | ? (TO) | 1800.22 | 1788.96 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb |
MD5SUM | dc0a3aac3e055af09a2312e5ef9f2aef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 71 |
Total number of constraints | 17 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5346 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/349865-1176724489/instance-349865-1176724489.opb 0.20/0.20 c reading problem ... 0.31/0.31 c ... done. Wall clock time 0.108s. 0.31/0.31 c CPU time (experimental) 0.26s. 0.31/0.31 c #vars 71 0.31/0.31 c #constraints 16 1800.06/1788.81 c starts : 2 1800.06/1788.81 c conflicts : 9284 1800.06/1788.81 c decisions : 11157 1800.06/1788.81 c propagations : 69974 1800.06/1788.81 c inspects : 53520296 1800.06/1788.81 c learnt literals : 0 1800.06/1788.81 c learnt binary clauses : 0 1800.06/1788.81 c learnt ternary clauses : 0 1800.06/1788.81 c learnt clauses : 9283 1800.06/1788.81 c root simplifications : 0 1800.06/1788.81 c removed literals (reason simplification) : 0 1800.06/1788.81 c reason swapping (by a shorter reason) : 0 1800.06/1788.81 c Calls to reduceDB : 0 1800.06/1788.81 c speed (decisions/second) : 6.238184938112979 1800.06/1788.81 c non guided choices 34 1800.06/1788.81 s UNKNOWN 1800.06/1788.81 c Total wall clock time (ms): 1788.614
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-349865-1176724489 -o ROOT/results/node20/solver-349865-1176724489 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349865-1176724489/sat4jPseudoCP.jar /tmp/evaluation/349865-1176724489/instance-349865-1176724489.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: 0.96 0.97 0.98 2/77 4068 /proc/meminfo: memFree=1804728/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1800 CPUtime=0 /proc/4068/stat : 4068 (java) R 4066 4068 3561 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 120366290 1843200 148 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4068/statm: 450 148 111 9 0 92 0 [startup+0.0567429 s] /proc/loadavg: 0.96 0.97 0.98 2/77 4068 /proc/meminfo: memFree=1804728/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1777708 CPUtime=0.04 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 3596 0 1 0 3 1 0 0 18 0 7 0 120366290 1820372992 3338 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 444427 3338 1069 9 0 442063 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1777708 [startup+0.101752 s] /proc/loadavg: 0.96 0.97 0.98 2/77 4068 /proc/meminfo: memFree=1804728/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1780108 CPUtime=0.08 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 3988 0 1 0 6 2 0 0 18 0 12 0 120366290 1822830592 3729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 445027 3729 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301792 s] /proc/loadavg: 0.96 0.97 0.98 2/77 4068 /proc/meminfo: memFree=1804728/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1782444 CPUtime=0.31 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 5135 0 1 0 28 3 0 0 18 0 12 0 120366290 1825222656 4873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 445611 4873 1270 9 0 443223 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782444 [startup+0.701872 s] /proc/loadavg: 0.96 0.97 0.98 2/77 4068 /proc/meminfo: memFree=1804728/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1785016 CPUtime=1.06 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 8110 0 1 0 101 5 0 0 18 0 13 0 120366290 1827856384 6688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 446254 6688 1303 9 0 443866 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 1785016 [startup+1.50104 s] /proc/loadavg: 0.96 0.97 0.98 2/90 4081 /proc/meminfo: memFree=1766864/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1796752 CPUtime=2.51 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 21913 0 1 0 240 11 0 0 18 0 13 0 120366290 1839874048 16290 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 449188 16291 1312 9 0 446800 0 [pid=4068/tid=4070] ppid=4066 vsize=1796752 CPUtime=0.81 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 11950 0 1 0 74 7 0 0 18 0 13 0 120366291 1839874048 16292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109530150 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 120366293 1839874048 16292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 120366293 1839874048 16293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 120366295 1839874048 16293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 120366295 1839874048 16294 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 120366295 1839874048 16294 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1839874048 16296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1796752 CPUtime=0.86 /proc/4068/task/4077/stat : 4077 (java) R 4066 4068 3561 0 -1 64 4008 0 0 0 85 1 0 0 18 0 13 0 120366299 1839874048 16298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103335833 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1796752 CPUtime=0.8 /proc/4068/task/4078/stat : 4078 (java) R 4066 4068 3561 0 -1 64 5232 0 0 0 79 1 0 0 16 0 13 0 120366299 1839874048 16298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1839874048 16298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1839874048 16298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1796752 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1839874048 16298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.51 Current children cumulated vsize (KiB) 1796752 [startup+3.10236 s] /proc/loadavg: 0.96 0.97 0.98 2/90 4081 /proc/meminfo: memFree=1700816/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1796208 CPUtime=4.95 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 52469 0 1 0 471 24 0 0 18 0 13 0 120366290 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 449052 42557 1325 9 0 446664 0 [pid=4068/tid=4070] ppid=4066 vsize=1796208 CPUtime=2.13 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 37743 0 1 0 195 18 0 0 25 0 13 0 120366291 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109517447 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 47 0 0 0 0 0 0 0 16 0 13 0 120366293 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 318 0 0 0 0 0 0 0 17 0 13 0 120366293 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 120366295 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1796208 CPUtime=1.63 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 8368 0 0 0 160 3 0 0 16 0 13 0 120366299 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1796208 CPUtime=1.15 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5264 0 0 0 114 1 0 0 16 0 13 0 120366299 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1796208 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1839316992 42557 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.95 Current children cumulated vsize (KiB) 1796208 [startup+6.303 s] /proc/loadavg: 1.04 0.99 0.98 2/90 4081 /proc/meminfo: memFree=1635216/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1795832 CPUtime=8.29 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 54010 0 1 0 804 25 0 0 18 0 13 0 120366290 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 448958 43879 1325 9 0 446570 0 [pid=4068/tid=4070] ppid=4066 vsize=1795832 CPUtime=5.24 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 37749 0 1 0 506 18 0 0 25 0 13 0 120366291 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109488036 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1795832 CPUtime=0.02 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 851 0 0 0 2 0 0 0 16 0 13 0 120366293 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1795832 CPUtime=0.03 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 1034 0 0 0 3 0 0 0 16 0 13 0 120366293 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 120366295 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1795832 CPUtime=1.71 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 8373 0 0 0 168 3 0 0 17 0 13 0 120366299 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1795832 CPUtime=1.23 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5268 0 0 0 122 1 0 0 16 0 13 0 120366299 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1838931968 43879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.29 Current children cumulated vsize (KiB) 1795832 [startup+12.7013 s] /proc/loadavg: 1.04 0.99 0.98 2/90 4081 /proc/meminfo: memFree=1596760/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1795832 CPUtime=14.82 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 64448 0 1 0 1453 29 0 0 18 0 13 0 120366290 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 448958 53027 1325 9 0 446570 0 [pid=4068/tid=4070] ppid=4066 vsize=1795832 CPUtime=11.52 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 41586 0 1 0 1132 20 0 0 25 0 13 0 120366291 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 106142198 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1795832 CPUtime=0.1 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 4457 0 0 0 9 1 0 0 16 0 13 0 120366293 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1795832 CPUtime=0.12 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 4010 0 0 0 11 1 0 0 16 0 13 0 120366293 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 120366295 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1795832 CPUtime=1.76 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 8376 0 0 0 173 3 0 0 17 0 13 0 120366299 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1795832 CPUtime=1.25 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5269 0 0 0 124 1 0 0 16 0 13 0 120366299 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1795832 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1838931968 53027 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.82 Current children cumulated vsize (KiB) 1795832 [startup+25.5029 s] /proc/loadavg: 1.03 0.99 0.98 2/90 4081 /proc/meminfo: memFree=1598232/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1795832 CPUtime=27.71 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 67621 0 1 0 2739 32 0 0 18 0 13 0 120366290 1838931968 52608 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 448958 52608 1325 9 0 446570 0 [pid=4068/tid=4070] ppid=4066 vsize=1795832 CPUtime=24.26 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 41592 0 1 0 2406 20 0 0 20 0 13 0 120366291 1838931968 52608 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109517302 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1795832 CPUtime=0.15 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 6060 0 0 0 13 2 0 0 16 0 13 0 120366293 1838931968 52608 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1795832 CPUtime=0.17 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 5574 0 0 0 15 2 0 0 16 0 13 0 120366293 1838931968 52608 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=4068/tid=4073] ppid=4066 vsize=1803000 CPUtime=0.3 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 406 0 0 0 12 18 0 0 16 0 13 0 120366295 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1803000 CPUtime=2.16 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 12368 0 0 0 212 4 0 0 17 0 13 0 120366299 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1803000 CPUtime=1.33 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5275 0 0 0 132 1 0 0 16 0 13 0 120366299 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1846272000 176378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1612.35 Current children cumulated vsize (KiB) 1803000 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4279 /proc/meminfo: memFree=1084312/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1803000 CPUtime=1672.7 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 395888 0 1 0 167063 207 0 0 18 0 13 0 120366290 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 450750 180753 1333 9 0 448362 0 [pid=4068/tid=4070] ppid=4066 vsize=1803000 CPUtime=1650.82 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 124160 0 1 0 165017 65 0 0 25 0 13 0 120366291 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109590163 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1803000 CPUtime=9 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 129200 0 0 0 839 61 0 0 16 0 13 0 120366293 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1803000 CPUtime=9.01 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 123755 0 0 0 847 54 0 0 16 0 13 0 120366293 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1803000 CPUtime=0.31 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 408 0 0 0 13 18 0 0 16 0 13 0 120366295 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1803000 CPUtime=2.16 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 12368 0 0 0 212 4 0 0 17 0 13 0 120366299 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1803000 CPUtime=1.33 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5275 0 0 0 132 1 0 0 16 0 13 0 120366299 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1846272000 180753 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1672.7 Current children cumulated vsize (KiB) 1803000 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4279 /proc/meminfo: memFree=1065240/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1803000 CPUtime=1732.94 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 405202 0 1 0 173083 211 0 0 18 0 13 0 120366290 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 450750 185488 1333 9 0 448362 0 [pid=4068/tid=4070] ppid=4066 vsize=1803000 CPUtime=1710.52 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 126221 0 1 0 170986 66 0 0 25 0 13 0 120366291 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109530591 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1803000 CPUtime=9.28 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 132584 0 0 0 865 63 0 0 16 0 13 0 120366293 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1803000 CPUtime=9.28 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 127611 0 0 0 872 56 0 0 17 0 13 0 120366293 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1803000 CPUtime=0.31 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 421 0 0 0 13 18 0 0 16 0 13 0 120366295 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1803000 CPUtime=2.16 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 12368 0 0 0 212 4 0 0 17 0 13 0 120366299 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1803000 CPUtime=1.33 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5275 0 0 0 132 1 0 0 16 0 13 0 120366299 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1846272000 185488 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1732.94 Current children cumulated vsize (KiB) 1803000 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4279 /proc/meminfo: memFree=1034648/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1803000 CPUtime=1793.49 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 416316 0 1 0 179131 218 0 0 18 0 13 0 120366290 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 450750 193119 1333 9 0 448362 0 [pid=4068/tid=4070] ppid=4066 vsize=1803000 CPUtime=1769.91 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 126378 0 1 0 176924 67 0 0 25 0 13 0 120366291 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109528757 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1803000 CPUtime=9.86 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 137573 0 0 0 921 65 0 0 16 0 13 0 120366293 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1803000 CPUtime=9.85 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 133568 0 0 0 926 59 0 0 16 0 13 0 120366293 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1803000 CPUtime=0.33 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 432 0 0 0 14 19 0 0 16 0 13 0 120366295 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1803000 CPUtime=2.16 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 12368 0 0 0 212 4 0 0 17 0 13 0 120366299 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1803000 CPUtime=1.33 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5275 0 0 0 132 1 0 0 16 0 13 0 120366299 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1846272000 193119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (KiB) 1803000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.8 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4279 /proc/meminfo: memFree=1032856/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=1803000 CPUtime=1800.06 /proc/4068/stat : 4068 (java) S 4066 4068 3561 0 -1 0 416794 0 1 0 179787 219 0 0 18 0 13 0 120366290 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4068/statm: 450750 193575 1333 9 0 448362 0 [pid=4068/tid=4070] ppid=4066 vsize=1803000 CPUtime=1776.34 /proc/4068/task/4070/stat : 4070 (java) R 4066 4068 3561 0 -1 64 126381 0 1 0 177567 67 0 0 24 0 13 0 120366291 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109528655 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4071] ppid=4066 vsize=1803000 CPUtime=9.92 /proc/4068/task/4071/stat : 4071 (java) S 4066 4068 3561 0 -1 64 137777 0 0 0 927 65 0 0 16 0 13 0 120366293 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4072] ppid=4066 vsize=1803000 CPUtime=9.91 /proc/4068/task/4072/stat : 4072 (java) S 4066 4068 3561 0 -1 64 133839 0 0 0 932 59 0 0 16 0 13 0 120366293 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4073] ppid=4066 vsize=1803000 CPUtime=0.33 /proc/4068/task/4073/stat : 4073 (java) S 4066 4068 3561 0 -1 64 432 0 0 0 14 19 0 0 16 0 13 0 120366295 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4074] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4074/stat : 4074 (java) S 4066 4068 3561 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4075] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4075/stat : 4075 (java) S 4066 4068 3561 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120366295 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4076] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4076/stat : 4076 (java) S 4066 4068 3561 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 120366299 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4077] ppid=4066 vsize=1803000 CPUtime=2.16 /proc/4068/task/4077/stat : 4077 (java) S 4066 4068 3561 0 -1 64 12368 0 0 0 212 4 0 0 17 0 13 0 120366299 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4078] ppid=4066 vsize=1803000 CPUtime=1.33 /proc/4068/task/4078/stat : 4078 (java) S 4066 4068 3561 0 -1 64 5275 0 0 0 132 1 0 0 16 0 13 0 120366299 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4079] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4079/stat : 4079 (java) S 4066 4068 3561 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 120366299 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4068/tid=4080] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4080/stat : 4080 (java) S 4066 4068 3561 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120366299 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4068/tid=4081] ppid=4066 vsize=1803000 CPUtime=0 /proc/4068/task/4081/stat : 4081 (java) S 4066 4068 3561 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 120366322 1846272000 193575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1803000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1788.91 s] /proc/loadavg: 1.00 1.00 1.00 2/90 4279 /proc/meminfo: memFree=1032856/2055920 swapFree=4156688/4192956 [pid=4068] ppid=4066 vsize=0 CPUtime=1800.17 /proc/4068/stat : 4068 (java) Z 4066 4068 3561 0 -1 1036 416815 0 1 0 179791 226 0 0 16 0 2 0 120366290 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4068/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1788.96 CPU time (s): 1800.22 CPU user time (s): 1797.91 CPU system time (s): 2.31065 CPU usage (%): 100.629 Max. virtual memory (cumulated for all children) (KiB): 1805220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.91 system time used= 2.31065 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 416815 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= 44625 involuntary context switches= 57816 runsolver used 1.85272 second user time and 4.89825 second system time The end
Begin job on node20 on Mon Apr 16 11:54:50 UTC 2007 IDJOB= 349865 IDBENCH= 2893 IDSOLVER= 160 FILE ID= node20/349865-1176724489 PBS_JOBID= 4559478 Free space on /tmp= 66537 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349865-1176724489/sat4jPseudoCP.jar /tmp/evaluation/349865-1176724489/instance-349865-1176724489.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-349865-1176724489 -o ROOT/results/node20/solver-349865-1176724489 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349865-1176724489/sat4jPseudoCP.jar /tmp/evaluation/349865-1176724489/instance-349865-1176724489.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef RANDOM SEED= 279943120 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1805136 kB Buffers: 29372 kB Cached: 154252 kB SwapCached: 15072 kB Active: 34092 kB Inactive: 173144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805136 kB SwapTotal: 4192956 kB SwapFree: 4156688 kB Dirty: 3644 kB Writeback: 0 kB Mapped: 30396 kB Slab: 29096 kB Committed_AS: 1773652 kB PageTables: 1692 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 node20 on Mon Apr 16 12:24:41 UTC 2007