Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | ? (TO) | 1800.21 | 1755.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb |
MD5SUM | 93a881e30e7c33fefd66d9521eb49849 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.708891 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2025 |
Total number of constraints | 410 |
Number of constraints which are clauses | 180 |
Number of constraints which are cardinality constraints (but not clauses) | 230 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 83 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-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.19/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c Simplify asserted PB constraints to clauses 0.19/0.20 c solving /tmp/evaluation/357600-1176829901/instance-357600-1176829901.opb 0.19/0.20 c reading problem ... 1.32/0.94 c ... done. Wall clock time 0.736s. 1.32/0.94 c CPU time (experimental) 0.58s. 1.32/0.94 c #vars 2025 1.32/0.94 c #constraints 410 1800.05/1755.51 c starts : 2 1800.05/1755.52 c conflicts : 12308 1800.05/1755.52 c decisions : 59903 1800.05/1755.52 c propagations : 881489 1800.05/1755.52 c inspects : 52857502 1800.05/1755.52 c learnt literals : 0 1800.05/1755.52 c learnt binary clauses : 0 1800.05/1755.52 c learnt ternary clauses : 0 1800.05/1755.52 c learnt clauses : 12307 1800.05/1755.52 c root simplifications : 0 1800.05/1755.52 c removed literals (reason simplification) : 0 1800.05/1755.52 c reason swapping (by a shorter reason) : 0 1800.05/1755.52 c Calls to reduceDB : 0 1800.05/1755.52 c speed (decisions/second) : 34.141109137219296 1800.05/1755.52 c non guided choices 325 1800.05/1755.52 s UNKNOWN 1800.05/1755.52 c Total wall clock time (ms): 1755.313
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-357600-1176829901 -o ROOT/results/node30/solver-357600-1176829901 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/357600-1176829901/sat4jPseudoCPClause.jar /tmp/evaluation/357600-1176829901/instance-357600-1176829901.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.02 1.00 3/77 12923 /proc/meminfo: memFree=1770440/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=0 CPUtime=0 /proc/12923/stat : 12923 (runsolver) R 12921 12923 11592 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 130905814 0 0 18446744073709551615 0 0 0 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0 /proc/12923/statm: 12 1 0 0 0 1 0 [startup+0.00857009 s] /proc/loadavg: 1.02 1.02 1.00 3/77 12923 /proc/meminfo: memFree=1770440/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1800 CPUtime=0 /proc/12923/stat : 12923 (java) D 12921 12923 11592 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 130905814 1843200 143 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/12923/statm: 450 143 106 9 0 92 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1800 [startup+0.101583 s] /proc/loadavg: 1.02 1.02 1.00 3/77 12923 /proc/meminfo: memFree=1770440/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1780112 CPUtime=0.08 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 3969 0 1 0 7 1 0 0 18 0 12 0 130905814 1822834688 3711 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 445028 3711 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.301593 s] /proc/loadavg: 1.02 1.02 1.00 3/77 12923 /proc/meminfo: memFree=1770440/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1782236 CPUtime=0.3 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 5140 0 1 0 28 2 0 0 18 0 12 0 130905814 1825009664 4879 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 445559 4879 1264 9 0 443170 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782236 [startup+0.701619 s] /proc/loadavg: 1.02 1.02 1.00 3/77 12923 /proc/meminfo: memFree=1770440/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1785772 CPUtime=0.95 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 7908 0 1 0 91 4 0 0 18 0 12 0 130905814 1828630528 7147 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 446443 7147 1308 9 0 444054 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 1785772 [startup+1.50266 s] /proc/loadavg: 1.10 1.04 1.01 2/90 12936 /proc/meminfo: memFree=1739168/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1785904 CPUtime=2.26 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 21417 0 1 0 217 9 0 0 18 0 13 0 130905814 1828765696 19753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 446476 19756 1317 9 0 444087 0 [pid=12923/tid=12925] ppid=12921 vsize=1785904 CPUtime=1 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 17852 0 1 0 92 8 0 0 19 0 13 0 130905815 1828765696 19758 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109746221 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 130905817 1828765696 19758 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 130905817 1828765696 19759 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 130905819 1828765696 19762 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 130905819 1828765696 19764 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 130905819 1828765696 19766 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1828765696 19766 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1785904 CPUtime=0.64 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 1446 0 0 0 64 0 0 0 15 0 13 0 130905823 1828765696 19768 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1785904 CPUtime=0.59 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 1400 0 0 0 59 0 0 0 16 0 13 0 130905823 1828765696 19770 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1828765696 19773 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1828765696 19775 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1785904 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1828765696 19776 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 1785904 [startup+3.10277 s] /proc/loadavg: 1.10 1.04 1.01 4/90 12936 /proc/meminfo: memFree=1628896/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1801340 CPUtime=5.09 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 52545 0 1 0 485 24 0 0 18 0 13 0 130905814 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 450335 44129 1329 9 0 447946 0 [pid=12923/tid=12925] ppid=12921 vsize=1801340 CPUtime=2.14 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 37714 0 1 0 196 18 0 0 24 0 13 0 130905815 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109748036 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 276 0 0 0 0 0 0 0 16 0 13 0 130905817 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1801340 CPUtime=0.01 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 451 0 0 0 1 0 0 0 16 0 13 0 130905817 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 130905819 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1801340 CPUtime=1.51 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6441 0 0 0 149 2 0 0 16 0 13 0 130905823 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1801340 CPUtime=1.39 /proc/12923/task/12933/stat : 12933 (java) R 12921 12923 11592 0 -1 64 6932 0 0 0 137 2 0 0 18 0 13 0 130905823 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102398310 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1801340 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1844572160 44129 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.09 Current children cumulated vsize (KiB) 1801340 [startup+6.30297 s] /proc/loadavg: 1.10 1.04 1.01 2/90 12936 /proc/meminfo: memFree=1603104/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1796388 CPUtime=8.68 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 58694 0 1 0 841 27 0 0 18 0 13 0 130905814 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 449097 47865 1329 9 0 446708 0 [pid=12923/tid=12925] ppid=12921 vsize=1796388 CPUtime=5.2 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 41288 0 1 0 500 20 0 0 16 0 13 0 130905815 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109747742 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1796388 CPUtime=0.04 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 978 0 0 0 4 0 0 0 17 0 13 0 130905817 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1796388 CPUtime=0.06 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 1656 0 0 0 6 0 0 0 16 0 13 0 130905817 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 130905819 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1796388 CPUtime=1.59 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6443 0 0 0 157 2 0 0 17 0 13 0 130905823 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1796388 CPUtime=1.74 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 7578 0 0 0 171 3 0 0 18 0 13 0 130905823 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1839501312 47865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.68 Current children cumulated vsize (KiB) 1796388 [startup+12.7024 s] /proc/loadavg: 1.08 1.04 1.00 2/90 12936 /proc/meminfo: memFree=1559072/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1796388 CPUtime=15.24 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 65085 0 1 0 1495 29 0 0 18 0 13 0 130905814 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 449097 53797 1329 9 0 446708 0 [pid=12923/tid=12925] ppid=12921 vsize=1796388 CPUtime=11.51 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 45777 0 1 0 1130 21 0 0 17 0 13 0 130905815 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109693750 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1796388 CPUtime=0.09 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 1928 0 0 0 9 0 0 0 16 0 13 0 130905817 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1796388 CPUtime=0.11 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 2586 0 0 0 11 0 0 0 16 0 13 0 130905817 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 130905819 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1796388 CPUtime=1.63 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6443 0 0 0 161 2 0 0 17 0 13 0 130905823 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1796388 CPUtime=1.84 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 7600 0 0 0 181 3 0 0 17 0 13 0 130905823 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1796388 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1839501312 53797 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.24 Current children cumulated vsize (KiB) 1796388 [startup+25.5014 s] /proc/loadavg: 1.07 1.04 1.00 2/90 12936 /proc/meminfo: memFree=1575200/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1796104 CPUtime=28.15 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 66967 0 1 0 2784 31 0 0 18 0 13 0 130905814 1839210496 49773 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 449026 49773 1330 9 0 446637 0 [pid=12923/tid=12925] ppid=12921 vsize=1796104 CPUtime=24.19 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 45800 0 1 0 2398 21 0 0 18 0 13 0 130905815 1839210496 49773 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109745653 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1796104 CPUtime=0.19 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 3094 0 0 0 18 1 0 0 16 0 13 0 130905817 1839210496 49773 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1796104 CPUtime=0.22 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 3278 0 0 0 21 1 0 0 16 0 13 0 130905817 1839210496 49773 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=12923/tid=12928] ppid=12921 vsize=1796104 CPUtime=0.38 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 69 0 0 0 22 16 0 0 16 0 13 0 130905819 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1796104 CPUtime=1.7 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6444 0 0 0 168 2 0 0 16 0 13 0 130905823 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1796104 CPUtime=1.86 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 7601 0 0 0 183 3 0 0 16 0 13 0 130905823 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1839210496 185275 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1579.25 Current children cumulated vsize (KiB) 1796104 [startup+1602.3 s] /proc/loadavg: 1.07 1.08 1.02 2/90 12938 /proc/meminfo: memFree=1013856/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1796104 CPUtime=1641.34 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 230962 0 1 0 163996 138 0 0 18 0 13 0 130905814 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 449026 189865 1331 9 0 446637 0 [pid=12923/tid=12925] ppid=12921 vsize=1796104 CPUtime=1562.43 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 59171 0 1 0 156199 44 0 0 23 0 13 0 130905815 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109748044 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1796104 CPUtime=37.43 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 78984 0 0 0 3709 34 0 0 17 0 13 0 130905817 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1796104 CPUtime=37.45 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 77973 0 0 0 3710 35 0 0 16 0 13 0 130905817 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1796104 CPUtime=0.39 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 69 0 0 0 23 16 0 0 16 0 13 0 130905819 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1796104 CPUtime=1.7 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6444 0 0 0 168 2 0 0 16 0 13 0 130905823 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1796104 CPUtime=1.86 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 7601 0 0 0 183 3 0 0 16 0 13 0 130905823 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1839210496 189865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1641.34 Current children cumulated vsize (KiB) 1796104 [startup+1662.3 s] /proc/loadavg: 1.02 1.07 1.02 2/90 12938 /proc/meminfo: memFree=993248/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1796104 CPUtime=1703.46 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 236701 0 1 0 170205 141 0 0 18 0 13 0 130905814 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 449026 195107 1331 9 0 446637 0 [pid=12923/tid=12925] ppid=12921 vsize=1796104 CPUtime=1620.23 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 59223 0 1 0 161978 45 0 0 18 0 13 0 130905815 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109776390 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1796104 CPUtime=39.58 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 80937 0 0 0 3923 35 0 0 16 0 13 0 130905817 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1796104 CPUtime=39.63 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 81707 0 0 0 3926 37 0 0 17 0 13 0 130905817 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1796104 CPUtime=0.39 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 69 0 0 0 23 16 0 0 16 0 13 0 130905819 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1796104 CPUtime=1.7 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6444 0 0 0 168 2 0 0 16 0 13 0 130905823 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1796104 CPUtime=1.86 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 7601 0 0 0 183 3 0 0 16 0 13 0 130905823 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1839210496 195107 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1703.46 Current children cumulated vsize (KiB) 1796104 [startup+1722.3 s] /proc/loadavg: 1.01 1.05 1.01 2/90 12938 /proc/meminfo: memFree=973600/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1796104 CPUtime=1765.65 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 242067 0 1 0 176421 144 0 0 18 0 13 0 130905814 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 449026 200037 1331 9 0 446637 0 [pid=12923/tid=12925] ppid=12921 vsize=1796104 CPUtime=1677.92 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 59277 0 1 0 167747 45 0 0 25 0 13 0 130905815 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109747661 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1796104 CPUtime=41.82 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 83824 0 0 0 4146 36 0 0 16 0 13 0 130905817 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1796104 CPUtime=41.86 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 84132 0 0 0 4149 37 0 0 16 0 13 0 130905817 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1796104 CPUtime=0.41 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 69 0 0 0 24 17 0 0 16 0 13 0 130905819 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1796104 CPUtime=1.7 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6444 0 0 0 168 2 0 0 16 0 13 0 130905823 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1796104 CPUtime=1.86 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 7601 0 0 0 183 3 0 0 16 0 13 0 130905823 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1839210496 200037 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1765.65 Current children cumulated vsize (KiB) 1796104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1755.5 s] /proc/loadavg: 1.00 1.05 1.01 2/90 12938 /proc/meminfo: memFree=963424/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=1796104 CPUtime=1800.05 /proc/12923/stat : 12923 (java) S 12921 12923 11592 0 -1 0 244733 0 1 0 179859 146 0 0 18 0 13 0 130905814 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12923/statm: 449026 202445 1331 9 0 446637 0 [pid=12923/tid=12925] ppid=12921 vsize=1796104 CPUtime=1709.9 /proc/12923/task/12925/stat : 12925 (java) R 12921 12923 11592 0 -1 64 59305 0 1 0 170944 46 0 0 21 0 13 0 130905815 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109747757 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12926] ppid=12921 vsize=1796104 CPUtime=43.04 /proc/12923/task/12926/stat : 12926 (java) S 12921 12923 11592 0 -1 64 84704 0 0 0 4267 37 0 0 16 0 13 0 130905817 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12927] ppid=12921 vsize=1796104 CPUtime=43.08 /proc/12923/task/12927/stat : 12927 (java) S 12921 12923 11592 0 -1 64 85890 0 0 0 4270 38 0 0 16 0 13 0 130905817 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12928] ppid=12921 vsize=1796104 CPUtime=0.41 /proc/12923/task/12928/stat : 12928 (java) S 12921 12923 11592 0 -1 64 69 0 0 0 24 17 0 0 16 0 13 0 130905819 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12923/tid=12929] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12929/stat : 12929 (java) S 12921 12923 11592 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12930] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12930/stat : 12930 (java) S 12921 12923 11592 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 130905819 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12931] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12931/stat : 12931 (java) S 12921 12923 11592 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 130905823 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12932] ppid=12921 vsize=1796104 CPUtime=1.7 /proc/12923/task/12932/stat : 12932 (java) S 12921 12923 11592 0 -1 64 6444 0 0 0 168 2 0 0 16 0 13 0 130905823 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12933] ppid=12921 vsize=1796104 CPUtime=1.86 /proc/12923/task/12933/stat : 12933 (java) S 12921 12923 11592 0 -1 64 7601 0 0 0 183 3 0 0 16 0 13 0 130905823 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12934] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12934/stat : 12934 (java) S 12921 12923 11592 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 130905823 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12935] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12935/stat : 12935 (java) S 12921 12923 11592 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 130905823 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12923/tid=12936] ppid=12921 vsize=1796104 CPUtime=0 /proc/12923/task/12936/stat : 12936 (java) S 12921 12923 11592 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 130905909 1839210496 202445 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1796104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1755.62 s] /proc/loadavg: 1.00 1.05 1.01 2/90 12938 /proc/meminfo: memFree=963424/2055920 swapFree=4157120/4192956 [pid=12923] ppid=12921 vsize=0 CPUtime=1800.17 /proc/12923/stat : 12923 (java) Z 12921 12923 11592 0 -1 1036 244753 0 1 0 179862 155 0 0 16 0 2 0 130905814 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12923/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): 1755.66 CPU time (s): 1800.21 CPU user time (s): 1798.62 CPU system time (s): 1.58776 CPU usage (%): 102.538 Max. virtual memory (cumulated for all children) (KiB): 1801340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.62 system time used= 1.58776 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 244753 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= 52924 involuntary context switches= 58864 runsolver used 1.67575 second user time and 4.80327 second system time The end
Begin job on node30 on Tue Apr 17 17:11:41 UTC 2007 IDJOB= 357600 IDBENCH= 1154 IDSOLVER= 164 FILE ID= node30/357600-1176829901 PBS_JOBID= 4586355 Free space on /tmp= 66521 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin10.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/357600-1176829901/sat4jPseudoCPClause.jar /tmp/evaluation/357600-1176829901/instance-357600-1176829901.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-357600-1176829901 -o ROOT/results/node30/solver-357600-1176829901 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/357600-1176829901/sat4jPseudoCPClause.jar /tmp/evaluation/357600-1176829901/instance-357600-1176829901.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 93a881e30e7c33fefd66d9521eb49849 RANDOM SEED= 318900791 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1770912 kB Buffers: 38432 kB Cached: 182488 kB SwapCached: 15516 kB Active: 156108 kB Inactive: 88676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1770912 kB SwapTotal: 4192956 kB SwapFree: 4157120 kB Dirty: 3928 kB Writeback: 0 kB Mapped: 30508 kB Slab: 25792 kB Committed_AS: 2793952 kB PageTables: 1776 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= 66521 MiB End job on node30 on Tue Apr 17 17:40:59 UTC 2007