Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCP 2007-03-23 | ? (TO) | 1800.22 | 1771.03 |
Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb |
MD5SUM | 2318a0c7fc475c873b2fa45e5e7fe96e |
Bench Category | SATUNSAT-MEDINT (no optimisation, medium integers) |
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.06499 |
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 | 93 |
Total number of constraints | 2 |
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 | 2 |
Minimum length of a constraint | 93 |
Maximum length of a constraint | 93 |
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 | 22382775 |
Number of bits of the biggest number in a constraint | 25 |
Biggest sum of numbers in a constraint | 362318209 |
Number of bits of the biggest sum of numbers | 29 |
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.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/365767-1177052423/instance-365767-1177052423.opb 0.20/0.20 c reading problem ... 0.20/0.23 c ... done. Wall clock time 0.031s. 0.20/0.23 c CPU time (experimental) 0.19s. 0.20/0.23 c #vars 93 0.20/0.23 c #constraints 2 1800.08/1770.91 c starts : 2 1800.08/1770.91 c conflicts : 38949 1800.08/1770.91 c decisions : 40705 1800.08/1770.91 c propagations : 204870 1800.08/1770.91 c inspects : 507302022 1800.08/1770.91 c learnt literals : 0 1800.08/1770.91 c learnt binary clauses : 0 1800.08/1770.91 c learnt ternary clauses : 0 1800.08/1770.91 c learnt clauses : 38949 1800.08/1770.91 c root simplifications : 0 1800.08/1770.91 c removed literals (reason simplification) : 0 1800.08/1770.91 c reason swapping (by a shorter reason) : 0 1800.08/1770.91 c Calls to reduceDB : 0 1800.08/1770.91 c speed (decisions/second) : 22.988369426852312 1800.08/1770.91 c non guided choices 82 1800.08/1770.91 s UNKNOWN 1800.08/1770.91 c Total wall clock time (ms): 1770.713
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-365767-1177052423 -o ROOT/results/node62/solver-365767-1177052423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365767-1177052423/sat4jPseudoCP.jar /tmp/evaluation/365767-1177052423/instance-365767-1177052423.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.94 1.02 0.99 2/64 31836 /proc/meminfo: memFree=1795000/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=152 CPUtime=0 /proc/31836/stat : 31836 (java) D 31834 31836 29930 0 -1 0 42 0 0 0 0 0 0 0 19 0 1 0 23818278 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8106788 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/31836/statm: 38 26 19 9 0 4 0 [startup+0.0628751 s] /proc/loadavg: 0.94 1.02 0.99 2/64 31836 /proc/meminfo: memFree=1795000/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1777708 CPUtime=0.04 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 3625 0 1 0 3 1 0 0 18 0 7 0 23818278 1820372992 3367 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 444427 3367 1070 9 0 442063 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1777708 [startup+0.101879 s] /proc/loadavg: 0.94 1.02 0.99 2/64 31836 /proc/meminfo: memFree=1795000/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1780108 CPUtime=0.08 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 3973 0 1 0 6 2 0 0 18 0 12 0 23818278 1822830592 3714 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 445027 3714 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301901 s] /proc/loadavg: 0.94 1.02 0.99 2/64 31836 /proc/meminfo: memFree=1795000/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1781744 CPUtime=0.31 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 5140 0 1 0 28 3 0 0 18 0 13 0 23818278 1824505856 4878 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 445436 4878 1270 9 0 443048 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781744 [startup+0.70195 s] /proc/loadavg: 0.94 1.02 0.99 2/64 31836 /proc/meminfo: memFree=1795000/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1783420 CPUtime=0.98 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 9328 0 1 0 93 5 0 0 18 0 13 0 23818278 1826222080 8837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 445855 8837 1294 9 0 443467 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1783420 [startup+1.50205 s] /proc/loadavg: 0.94 1.02 0.99 3/77 31849 /proc/meminfo: memFree=1749840/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1795116 CPUtime=2.53 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 27250 0 1 0 241 12 0 0 18 0 13 0 23818278 1838198784 21789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448779 21790 1309 9 0 446391 0 [pid=31836/tid=31838] ppid=31834 vsize=1795116 CPUtime=0.85 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 17767 0 1 0 77 8 0 0 18 0 13 0 23818279 1838198784 21792 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109498569 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 23818281 1838198784 21793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23818281 1838198784 21794 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 23818283 1838198784 21796 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 23818284 1838198784 21799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 23818284 1838198784 21800 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1838198784 21801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1795116 CPUtime=0.95 /proc/31836/task/31845/stat : 31845 (java) R 31834 31836 29930 0 -1 64 5324 0 0 0 93 2 0 0 18 0 13 0 23818288 1838198784 21802 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103319886 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1795116 CPUtime=0.71 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3438 0 0 0 70 1 0 0 16 0 13 0 23818288 1838198784 21802 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1838198784 21804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1838198784 21806 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1795116 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1838198784 21807 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 1795116 [startup+3.10223 s] /proc/loadavg: 0.94 1.02 0.99 2/77 31849 /proc/meminfo: memFree=1649360/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1793764 CPUtime=4.74 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 50132 0 1 0 450 24 0 0 18 0 13 0 23818278 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448441 42322 1323 9 0 446053 0 [pid=31836/tid=31838] ppid=31834 vsize=1793764 CPUtime=2.19 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 37709 0 1 0 201 18 0 0 23 0 13 0 23818279 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109524689 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 316 0 0 0 0 0 0 0 16 0 13 0 23818281 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 306 0 0 0 0 0 0 0 16 0 13 0 23818281 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 23818283 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1793764 CPUtime=1.54 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7538 0 0 0 152 2 0 0 16 0 13 0 23818288 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1793764 CPUtime=0.96 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3532 0 0 0 95 1 0 0 16 0 13 0 23818288 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1793764 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1836814336 42322 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.74 Current children cumulated vsize (KiB) 1793764 [startup+6.30261 s] /proc/loadavg: 1.02 1.04 1.00 2/77 31849 /proc/meminfo: memFree=1625232/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1794724 CPUtime=8.3 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 56285 0 1 0 803 27 0 0 18 0 13 0 23818278 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448681 47520 1323 9 0 446293 0 [pid=31836/tid=31838] ppid=31834 vsize=1794724 CPUtime=5.24 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 40430 0 1 0 505 19 0 0 18 0 13 0 23818279 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109517678 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1794724 CPUtime=0.06 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 1836 0 0 0 6 0 0 0 16 0 13 0 23818281 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1794724 CPUtime=0.07 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 1817 0 0 0 6 1 0 0 16 0 13 0 23818281 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 23818283 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1794724 CPUtime=1.66 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7883 0 0 0 163 3 0 0 16 0 13 0 23818288 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1794724 CPUtime=1.22 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3571 0 0 0 121 1 0 0 17 0 13 0 23818288 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1837797376 47520 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.3 Current children cumulated vsize (KiB) 1794724 [startup+12.7024 s] /proc/loadavg: 1.02 1.04 1.00 2/77 31849 /proc/meminfo: memFree=1582672/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1794724 CPUtime=14.78 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 63410 0 1 0 1449 29 0 0 18 0 13 0 23818278 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448681 54271 1324 9 0 446293 0 [pid=31836/tid=31838] ppid=31834 vsize=1794724 CPUtime=11.54 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 44139 0 1 0 1134 20 0 0 25 0 13 0 23818279 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109571430 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1794724 CPUtime=0.14 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 3682 0 0 0 13 1 0 0 16 0 13 0 23818281 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1794724 CPUtime=0.14 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 3386 0 0 0 13 1 0 0 16 0 13 0 23818281 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 23818283 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1794724 CPUtime=1.67 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7883 0 0 0 164 3 0 0 16 0 13 0 23818288 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1794724 CPUtime=1.24 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3572 0 0 0 123 1 0 0 16 0 13 0 23818288 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1837797376 54271 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.78 Current children cumulated vsize (KiB) 1794724 [startup+25.5018 s] /proc/loadavg: 1.16 1.07 1.01 2/77 31849 /proc/meminfo: memFree=1591696/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1794724 CPUtime=27.75 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 65601 0 1 0 2744 31 0 0 18 0 13 0 23818278 1837797376 51823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448681 51823 1330 9 0 446293 0 [pid=31836/tid=31838] ppid=31834 vsize=1794724 CPUtime=24.2 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 44154 0 1 0 2400 20 0 0 25 0 13 0 23818279 1837797376 51823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109548076 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1794724 CPUtime=0.23 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 4940 0 0 0 22 1 0 0 16 0 13 0 23818281 1837797376 51823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1794724 CPUtime=0.23 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 4298 0 0 0 21 2 0 0 17 0 13 0 23818281 1837797376 51823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=31836/tid=31841] ppid=31834 vsize=1794724 CPUtime=0.2 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 143 0 0 0 12 8 0 0 15 0 13 0 23818283 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1794724 CPUtime=1.78 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7892 0 0 0 175 3 0 0 16 0 13 0 23818288 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1794724 CPUtime=1.45 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3581 0 0 0 144 1 0 0 16 0 13 0 23818288 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1837797376 121916 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1566.43 Current children cumulated vsize (KiB) 1794724 [startup+1602.3 s] /proc/loadavg: 1.46 1.52 1.44 2/77 32047 /proc/meminfo: memFree=1303824/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1794724 CPUtime=1627.68 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 170820 0 1 0 162682 86 0 0 18 0 13 0 23818278 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448681 123536 1333 9 0 446293 0 [pid=31836/tid=31838] ppid=31834 vsize=1794724 CPUtime=1576.23 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 65694 0 1 0 157590 33 0 0 25 0 13 0 23818279 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109491670 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1794724 CPUtime=23.98 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 48591 0 0 0 2379 19 0 0 16 0 13 0 23818281 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1794724 CPUtime=23.96 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 44197 0 0 0 2377 19 0 0 17 0 13 0 23818281 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1794724 CPUtime=0.22 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 143 0 0 0 13 9 0 0 16 0 13 0 23818283 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1794724 CPUtime=1.78 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7892 0 0 0 175 3 0 0 16 0 13 0 23818288 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1794724 CPUtime=1.45 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3581 0 0 0 144 1 0 0 16 0 13 0 23818288 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1837797376 123536 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1627.68 Current children cumulated vsize (KiB) 1794724 [startup+1662.3 s] /proc/loadavg: 1.51 1.53 1.44 2/77 32047 /proc/meminfo: memFree=1297808/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1794724 CPUtime=1689.04 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 172486 0 1 0 168816 88 0 0 18 0 13 0 23818278 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448681 125031 1333 9 0 446293 0 [pid=31836/tid=31838] ppid=31834 vsize=1794724 CPUtime=1634.82 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 65719 0 1 0 163449 33 0 0 25 0 13 0 23818279 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109485790 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1794724 CPUtime=25.36 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 49116 0 0 0 2516 20 0 0 16 0 13 0 23818281 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1794724 CPUtime=25.34 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 45313 0 0 0 2514 20 0 0 16 0 13 0 23818281 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1794724 CPUtime=0.23 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 143 0 0 0 14 9 0 0 15 0 13 0 23818283 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1794724 CPUtime=1.78 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7892 0 0 0 175 3 0 0 16 0 13 0 23818288 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1794724 CPUtime=1.45 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3581 0 0 0 144 1 0 0 16 0 13 0 23818288 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1837797376 125031 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1689.04 Current children cumulated vsize (KiB) 1794724 [startup+1722.3 s] /proc/loadavg: 1.42 1.50 1.44 2/77 32047 /proc/meminfo: memFree=1292688/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1794724 CPUtime=1750.36 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 173873 0 1 0 174947 89 0 0 18 0 13 0 23818278 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448681 126299 1333 9 0 446293 0 [pid=31836/tid=31838] ppid=31834 vsize=1794724 CPUtime=1693.46 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 65743 0 1 0 169313 33 0 0 25 0 13 0 23818279 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109678560 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1794724 CPUtime=26.7 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 50220 0 0 0 2650 20 0 0 16 0 13 0 23818281 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1794724 CPUtime=26.67 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 45572 0 0 0 2647 20 0 0 16 0 13 0 23818281 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1794724 CPUtime=0.23 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 143 0 0 0 14 9 0 0 16 0 13 0 23818283 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1794724 CPUtime=1.78 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7892 0 0 0 175 3 0 0 16 0 13 0 23818288 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1794724 CPUtime=1.45 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3581 0 0 0 144 1 0 0 16 0 13 0 23818288 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1837797376 126299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1750.36 Current children cumulated vsize (KiB) 1794724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1770.9 s] /proc/loadavg: 1.52 1.52 1.45 2/77 32047 /proc/meminfo: memFree=1288336/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=1794724 CPUtime=1800.08 /proc/31836/stat : 31836 (java) S 31834 31836 29930 0 -1 0 175107 0 1 0 179917 91 0 0 18 0 13 0 23818278 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31836/statm: 448681 127382 1333 9 0 446293 0 [pid=31836/tid=31838] ppid=31834 vsize=1794724 CPUtime=1740.9 /proc/31836/task/31838/stat : 31838 (java) R 31834 31836 29930 0 -1 64 65763 0 1 0 174057 33 0 0 25 0 13 0 23818279 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109950472 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31839] ppid=31834 vsize=1794724 CPUtime=27.83 /proc/31836/task/31839/stat : 31839 (java) S 31834 31836 29930 0 -1 64 51091 0 0 0 2763 20 0 0 16 0 13 0 23818281 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31840] ppid=31834 vsize=1794724 CPUtime=27.81 /proc/31836/task/31840/stat : 31840 (java) S 31834 31836 29930 0 -1 64 45915 0 0 0 2761 20 0 0 16 0 13 0 23818281 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31841] ppid=31834 vsize=1794724 CPUtime=0.24 /proc/31836/task/31841/stat : 31841 (java) S 31834 31836 29930 0 -1 64 143 0 0 0 14 10 0 0 16 0 13 0 23818283 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31836/tid=31842] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31842/stat : 31842 (java) S 31834 31836 29930 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31843] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31843/stat : 31843 (java) S 31834 31836 29930 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 23818284 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31844] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31844/stat : 31844 (java) S 31834 31836 29930 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 23818288 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31845] ppid=31834 vsize=1794724 CPUtime=1.78 /proc/31836/task/31845/stat : 31845 (java) S 31834 31836 29930 0 -1 64 7892 0 0 0 175 3 0 0 16 0 13 0 23818288 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31846] ppid=31834 vsize=1794724 CPUtime=1.45 /proc/31836/task/31846/stat : 31846 (java) S 31834 31836 29930 0 -1 64 3581 0 0 0 144 1 0 0 16 0 13 0 23818288 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31847] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31847/stat : 31847 (java) S 31834 31836 29930 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 23818288 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31848] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31848/stat : 31848 (java) S 31834 31836 29930 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23818288 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31836/tid=31849] ppid=31834 vsize=1794724 CPUtime=0 /proc/31836/task/31849/stat : 31849 (java) S 31834 31836 29930 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 23818302 1837797376 127382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1794724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1771.02 s] /proc/loadavg: 1.52 1.52 1.45 2/77 32047 /proc/meminfo: memFree=1288336/2055920 swapFree=4184556/4192956 [pid=31836] ppid=31834 vsize=0 CPUtime=1800.19 /proc/31836/stat : 31836 (java) Z 31834 31836 29930 0 -1 1036 175128 0 1 0 179922 97 0 0 16 0 2 0 23818278 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/31836/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1771.03 CPU time (s): 1800.22 CPU user time (s): 1799.23 CPU system time (s): 0.987849 CPU usage (%): 101.648 Max. virtual memory (cumulated for all children) (KiB): 1795600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.987849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175128 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= 43688 involuntary context switches= 8920 runsolver used 1.72374 second user time and 4.79227 second system time The end
Begin job on node62 on Fri Apr 20 07:00:23 UTC 2007 IDJOB= 365767 IDBENCH= 2565 IDSOLVER= 160 FILE ID= node62/365767-1177052423 PBS_JOBID= 4640138 Free space on /tmp= 66495 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob6.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365767-1177052423/sat4jPseudoCP.jar /tmp/evaluation/365767-1177052423/instance-365767-1177052423.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-365767-1177052423 -o ROOT/results/node62/solver-365767-1177052423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365767-1177052423/sat4jPseudoCP.jar /tmp/evaluation/365767-1177052423/instance-365767-1177052423.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 2318a0c7fc475c873b2fa45e5e7fe96e RANDOM SEED= 781658667 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1795408 kB Buffers: 26156 kB Cached: 163048 kB SwapCached: 2148 kB Active: 68356 kB Inactive: 131496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795408 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 3580 kB Writeback: 0 kB Mapped: 16948 kB Slab: 46644 kB Committed_AS: 1048036 kB PageTables: 1464 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= 66495 MiB End job on node62 on Fri Apr 20 07:29:56 UTC 2007