Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | ? (TO) | 1800.15 | 1773.5 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb |
MD5SUM | 0f650891245dab338bc3d2f3a3dc10c7 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.235963 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 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/431329-1178004875/instance-431329-1178004875.opb 0.20/0.20 c reading problem ... 0.46/0.50 c ... done. Wall clock time 0.295s. 0.62/0.50 c CPU time (experimental) 0.41s. 0.62/0.50 c #vars 756 0.62/0.50 c #constraints 1156 1800.04/1773.41 c starts : 2 1800.04/1773.41 c conflicts : 32058 1800.04/1773.41 c decisions : 40000 1800.04/1773.41 c propagations : 404549 1800.04/1773.41 c inspects : 662166061 1800.04/1773.41 c learnt literals : 0 1800.04/1773.41 c learnt binary clauses : 0 1800.04/1773.41 c learnt ternary clauses : 0 1800.04/1773.41 c learnt clauses : 32058 1800.04/1773.41 c root simplifications : 0 1800.04/1773.41 c removed literals (reason simplification) : 0 1800.04/1773.41 c reason swapping (by a shorter reason) : 0 1800.04/1773.41 c Calls to reduceDB : 0 1800.04/1773.41 c speed (decisions/second) : 22.56180241727151 1800.04/1773.41 c non guided choices 152 1800.04/1773.41 s UNKNOWN 1800.04/1773.41 c Total wall clock time (ms): 1773.21
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-431329-1178004875 -o ROOT/results/node33/solver-431329-1178004875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/431329-1178004875/sat4jPseudoCP.jar /tmp/evaluation/431329-1178004875/instance-431329-1178004875.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.99 0.97 0.97 2/77 31380 /proc/meminfo: memFree=1818792/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=152 CPUtime=0 /proc/31380/stat : 31380 (java) R 31378 31380 28595 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 248403010 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10945316 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/31380/statm: 38 26 19 9 0 4 0 [startup+0.091769 s] /proc/loadavg: 0.99 0.97 0.97 2/77 31380 /proc/meminfo: memFree=1818792/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1777844 CPUtime=0.07 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 3857 0 1 0 6 1 0 0 18 0 7 0 248403010 1820512256 3601 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 444461 3601 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.102769 s] /proc/loadavg: 0.99 0.97 0.97 2/77 31380 /proc/meminfo: memFree=1818792/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1780108 CPUtime=0.08 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 3970 0 1 0 7 1 0 0 18 0 12 0 248403010 1822830592 3713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 445027 3713 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302812 s] /proc/loadavg: 0.99 0.97 0.97 2/77 31380 /proc/meminfo: memFree=1818792/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1782416 CPUtime=0.31 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 5116 0 1 0 29 2 0 0 18 0 12 0 248403010 1825193984 4855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 445604 4856 1261 9 0 443216 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782416 [startup+0.702894 s] /proc/loadavg: 0.99 0.97 0.97 2/77 31380 /proc/meminfo: memFree=1818792/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1785592 CPUtime=0.99 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 7421 0 1 0 96 3 0 0 18 0 13 0 248403010 1828446208 6366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 446398 6366 1307 9 0 444010 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 1785592 [startup+1.50106 s] /proc/loadavg: 1.07 0.99 0.98 4/90 31393 /proc/meminfo: memFree=1785216/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1796664 CPUtime=2.49 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 21395 0 1 0 240 9 0 0 18 0 13 0 248403010 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449166 16475 1314 9 0 446778 0 [pid=31380/tid=31382] ppid=31378 vsize=1796664 CPUtime=0.85 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 12197 0 1 0 80 5 0 0 25 0 13 0 248403012 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103453732 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 248403013 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 248403013 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 248403015 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 248403016 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 248403016 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1796664 CPUtime=0.9 /proc/31380/task/31389/stat : 31389 (java) R 31378 31380 28595 0 -1 64 5108 0 0 0 88 2 0 0 20 0 13 0 248403020 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336899 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1796664 CPUtime=0.72 /proc/31380/task/31390/stat : 31390 (java) R 31378 31380 28595 0 -1 64 3365 0 0 0 71 1 0 0 16 0 13 0 248403020 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336910 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1796664 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1839783936 16475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 1796664 [startup+3.10239 s] /proc/loadavg: 1.07 0.99 0.98 3/90 31393 /proc/meminfo: memFree=1714696/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798412 CPUtime=5.04 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 52751 0 1 0 480 24 0 0 18 0 13 0 248403010 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449603 43146 1325 9 0 447215 0 [pid=31380/tid=31382] ppid=31378 vsize=1798412 CPUtime=1.91 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 37745 0 1 0 175 16 0 0 19 0 13 0 248403012 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109571117 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798412 CPUtime=0.01 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 273 0 0 0 1 0 0 0 16 0 13 0 248403013 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 194 0 0 0 0 0 0 0 16 0 13 0 248403013 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 248403015 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798412 CPUtime=1.63 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7659 0 0 0 160 3 0 0 16 0 13 0 248403020 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798412 CPUtime=1.45 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6151 0 0 0 143 2 0 0 16 0 13 0 248403020 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798412 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841573888 43146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.04 Current children cumulated vsize (KiB) 1798412 [startup+6.30103 s] /proc/loadavg: 1.07 0.99 0.98 3/90 31393 /proc/meminfo: memFree=1644680/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798092 CPUtime=8.45 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 55757 0 1 0 819 26 0 0 18 0 13 0 248403010 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 45074 1325 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=4.99 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 37752 0 1 0 483 16 0 0 25 0 13 0 248403012 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109575343 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=0.08 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 1790 0 0 0 7 1 0 0 16 0 13 0 248403013 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=0.07 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 1649 0 0 0 7 0 0 0 16 0 13 0 248403013 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 248403015 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798092 CPUtime=1.67 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7660 0 0 0 164 3 0 0 16 0 13 0 248403020 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798092 CPUtime=1.58 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6156 0 0 0 156 2 0 0 16 0 13 0 248403020 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841246208 45074 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.45 Current children cumulated vsize (KiB) 1798092 [startup+12.7013 s] /proc/loadavg: 1.06 0.99 0.98 2/90 31393 /proc/meminfo: memFree=1604808/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798092 CPUtime=14.98 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 65847 0 1 0 1467 31 0 0 18 0 13 0 248403010 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 54680 1326 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=11.27 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 42823 0 1 0 1108 19 0 0 25 0 13 0 248403012 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109554421 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=0.17 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 4104 0 0 0 16 1 0 0 16 0 13 0 248403013 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=0.17 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 4350 0 0 0 15 2 0 0 16 0 13 0 248403013 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 248403015 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798092 CPUtime=1.7 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7662 0 0 0 167 3 0 0 16 0 13 0 248403020 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798092 CPUtime=1.6 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6158 0 0 0 158 2 0 0 16 0 13 0 248403020 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841246208 54680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.98 Current children cumulated vsize (KiB) 1798092 [startup+25.503 s] /proc/loadavg: 1.05 0.99 0.98 2/90 31393 /proc/meminfo: memFree=1608584/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798092 CPUtime=27.89 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 68214 0 1 0 2756 33 0 0 18 0 13 0 248403010 1841246208 53527 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 53527 1332 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=23.94 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 42836 0 1 0 2375 19 0 0 24 0 13 0 248403012 1841246208 53527 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109944993 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=0.29 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 5152 0 0 0 27 2 0 0 16 0 13 0 248403013 1841246208 53527 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=0.28 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 5650 0 0 0 25 3 0 0 16 0 13 0 248403013 1841246208 53527 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=31380] ppid=31378 vsize=1798092 CPUtime=1564.69 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 150341 0 1 0 156378 91 0 0 18 0 13 0 248403010 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 108202 1334 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=1518.98 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 58528 0 1 0 151859 39 0 0 25 0 13 0 248403012 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109536628 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=21.01 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 38931 0 0 0 2083 18 0 0 16 0 13 0 248403013 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=21.01 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 38238 0 0 0 2085 16 0 0 16 0 13 0 248403013 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798092 CPUtime=0.23 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 96 0 0 0 15 8 0 0 16 0 13 0 248403015 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798092 CPUtime=1.71 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7668 0 0 0 168 3 0 0 16 0 13 0 248403020 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798092 CPUtime=1.67 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6160 0 0 0 165 2 0 0 17 0 13 0 248403020 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841246208 108202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1564.69 Current children cumulated vsize (KiB) 1798092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/96 31503 /proc/meminfo: memFree=1383304/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798092 CPUtime=1625.74 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 151442 0 1 0 162480 94 0 0 18 0 13 0 248403010 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 109201 1334 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=1577.76 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 58555 0 1 0 157735 41 0 0 25 0 13 0 248403012 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553757 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=22.15 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 39653 0 0 0 2196 19 0 0 16 0 13 0 248403013 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=22.14 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 38590 0 0 0 2198 16 0 0 16 0 13 0 248403013 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798092 CPUtime=0.23 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 96 0 0 0 15 8 0 0 16 0 13 0 248403015 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798092 CPUtime=1.71 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7668 0 0 0 168 3 0 0 16 0 13 0 248403020 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798092 CPUtime=1.67 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6160 0 0 0 165 2 0 0 17 0 13 0 248403020 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841246208 109201 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1625.74 Current children cumulated vsize (KiB) 1798092 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 31593 /proc/meminfo: memFree=1380424/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798092 CPUtime=1686.82 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 152574 0 1 0 168585 97 0 0 18 0 13 0 248403010 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 110221 1334 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=1636.51 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 58582 0 1 0 163609 42 0 0 20 0 13 0 248403012 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109920186 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=23.31 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 40161 0 0 0 2311 20 0 0 17 0 13 0 248403013 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=23.31 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 39187 0 0 0 2314 17 0 0 16 0 13 0 248403013 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798092 CPUtime=0.24 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 96 0 0 0 16 8 0 0 15 0 13 0 248403015 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798092 CPUtime=1.71 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7668 0 0 0 168 3 0 0 16 0 13 0 248403020 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798092 CPUtime=1.67 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6160 0 0 0 165 2 0 0 17 0 13 0 248403020 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841246208 110221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1686.82 Current children cumulated vsize (KiB) 1798092 [startup+1722.3 s] /proc/loadavg: 1.11 1.03 1.01 2/90 31593 /proc/meminfo: memFree=1377096/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798092 CPUtime=1747.93 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 153448 0 1 0 174695 98 0 0 18 0 13 0 248403010 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 111034 1334 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=1695.34 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 58608 0 1 0 169491 43 0 0 25 0 13 0 248403012 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109608994 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=24.44 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 40415 0 0 0 2424 20 0 0 17 0 13 0 248403013 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=24.45 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 39781 0 0 0 2427 18 0 0 17 0 13 0 248403013 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798092 CPUtime=0.24 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 96 0 0 0 16 8 0 0 16 0 13 0 248403015 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798092 CPUtime=1.72 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7668 0 0 0 169 3 0 0 16 0 13 0 248403020 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798092 CPUtime=1.67 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6160 0 0 0 165 2 0 0 17 0 13 0 248403020 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841246208 111034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1747.93 Current children cumulated vsize (KiB) 1798092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1773.4 s] /proc/loadavg: 1.08 1.04 1.01 2/90 31593 /proc/meminfo: memFree=1373128/2055920 swapFree=4147808/4192956 [pid=31380] ppid=31378 vsize=1798092 CPUtime=1800.04 /proc/31380/stat : 31380 (java) S 31378 31380 28595 0 -1 0 154578 0 1 0 179905 99 0 0 18 0 13 0 248403010 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31380/statm: 449523 112015 1334 9 0 447135 0 [pid=31380/tid=31382] ppid=31378 vsize=1798092 CPUtime=1745.37 /proc/31380/task/31382/stat : 31382 (java) R 31378 31380 28595 0 -1 64 58631 0 1 0 174494 43 0 0 25 0 13 0 248403012 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109609763 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31383] ppid=31378 vsize=1798092 CPUtime=25.47 /proc/31380/task/31383/stat : 31383 (java) S 31378 31380 28595 0 -1 64 40994 0 0 0 2527 20 0 0 16 0 13 0 248403013 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31384] ppid=31378 vsize=1798092 CPUtime=25.49 /proc/31380/task/31384/stat : 31384 (java) S 31378 31380 28595 0 -1 64 40308 0 0 0 2531 18 0 0 17 0 13 0 248403013 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31385] ppid=31378 vsize=1798092 CPUtime=0.25 /proc/31380/task/31385/stat : 31385 (java) S 31378 31380 28595 0 -1 64 97 0 0 0 16 9 0 0 15 0 13 0 248403015 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31386] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31386/stat : 31386 (java) S 31378 31380 28595 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31387] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31387/stat : 31387 (java) S 31378 31380 28595 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248403016 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31388] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31388/stat : 31388 (java) S 31378 31380 28595 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 248403020 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31389] ppid=31378 vsize=1798092 CPUtime=1.72 /proc/31380/task/31389/stat : 31389 (java) S 31378 31380 28595 0 -1 64 7668 0 0 0 169 3 0 0 16 0 13 0 248403020 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31390] ppid=31378 vsize=1798092 CPUtime=1.67 /proc/31380/task/31390/stat : 31390 (java) S 31378 31380 28595 0 -1 64 6160 0 0 0 165 2 0 0 17 0 13 0 248403020 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31391] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31391/stat : 31391 (java) S 31378 31380 28595 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248403020 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31380/tid=31392] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31392/stat : 31392 (java) S 31378 31380 28595 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248403020 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31380/tid=31393] ppid=31378 vsize=1798092 CPUtime=0 /proc/31380/task/31393/stat : 31393 (java) S 31378 31380 28595 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 248403061 1841246208 112015 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1798092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1773.5 CPU time (s): 1800.15 CPU user time (s): 1799.08 CPU system time (s): 1.06184 CPU usage (%): 101.502 Max. virtual memory (cumulated for all children) (KiB): 1801132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.08 system time used= 1.06184 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154599 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= 44966 involuntary context switches= 69853 runsolver used 1.80173 second user time and 4.72528 second system time The end
Begin job on node33 on Tue May 1 07:34:35 UTC 2007 IDJOB= 431329 IDBENCH= 48044 IDSOLVER= 160 FILE ID= node33/431329-1178004875 PBS_JOBID= 4728246 Free space on /tmp= 66561 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/431329-1178004875/sat4jPseudoCP.jar /tmp/evaluation/431329-1178004875/instance-431329-1178004875.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-431329-1178004875 -o ROOT/results/node33/solver-431329-1178004875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/431329-1178004875/sat4jPseudoCP.jar /tmp/evaluation/431329-1178004875/instance-431329-1178004875.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7 RANDOM SEED= 281892678 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: 1819200 kB Buffers: 49296 kB Cached: 100684 kB SwapCached: 13560 kB Active: 108576 kB Inactive: 65376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819200 kB SwapTotal: 4192956 kB SwapFree: 4147808 kB Dirty: 3608 kB Writeback: 0 kB Mapped: 30452 kB Slab: 48140 kB Committed_AS: 2638760 kB PageTables: 1992 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= 66561 MiB End job on node33 on Tue May 1 08:04:11 UTC 2007