Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | ? (TO) | 1800.35 | 1797.3 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
MD5SUM | 939f54a73a83900b8b6d857af47a0b62 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 354.115 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 62704 |
Total number of constraints | 187107 |
Number of constraints which are clauses | 186603 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
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-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 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 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1855257-1244870454.opb 0.22/0.22 c reading problem ... 4.00/3.42 c ... done. Wall clock time 3.206s. 4.00/3.42 c #vars 62704 4.00/3.42 c #constraints 187107 4.00/3.42 c constraints type 4.00/3.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 124734 4.00/3.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 504 4.00/3.42 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 61868 1800.06/1797.11 c starts : 17 1800.06/1797.11 c conflicts : 180517 1800.06/1797.11 c decisions : 250291 1800.06/1797.11 c propagations : 1265627247 1800.06/1797.11 c inspects : 3999044343 1800.06/1797.11 c learnt literals : 30 1800.06/1797.11 c learnt binary clauses : 137 1800.06/1797.11 c learnt ternary clauses : 253 1800.06/1797.11 c learnt clauses : 180486 1800.06/1797.11 c ignored clauses : 0 1800.06/1797.11 c root simplifications : 0 1800.06/1797.11 c removed literals (reason simplification) : 17379331 1800.06/1797.11 c reason swapping (by a shorter reason) : 0 1800.06/1797.11 c Calls to reduceDB : 0 1800.06/1797.11 c speed (assignments/second) : 705603.7013291111 1800.06/1797.11 c non guided choices 2283 1800.06/1797.20 c learnt constraints type 1800.06/1797.20 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 180357 1800.06/1797.20 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 137 1800.06/1797.20 c constraints type 1800.06/1797.20 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 124734 1800.06/1797.20 c org.sat4j.pb.constraints.pb.MaxWatchPb => 504 1800.06/1797.20 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 61868 1800.06/1797.21 s UNKNOWN 1800.06/1797.21 c Total wall clock time (in seconds): 1796.988
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1855257-1244870454/watcher-1855257-1244870454 -o /tmp/evaluation-result-1855257-1244870454/solver-1855257-1244870454 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855257-1244870454.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12507 /proc/meminfo: memFree=1127104/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=152 CPUtime=0 /proc/12507/stat : 12507 (java6) D 12505 12507 11744 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 154645998 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 9696036 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/12507/statm: 38 26 19 9 0 4 0 [startup+0.0712729 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12507 /proc/meminfo: memFree=1127104/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1470220 CPUtime=0.05 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 3348 0 1 0 4 1 0 0 18 0 7 0 154645998 1505505280 3093 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 367555 3093 1029 9 0 364906 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1470220 [startup+0.102234 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12507 /proc/meminfo: memFree=1127104/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1472584 CPUtime=0.08 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 3597 0 1 0 6 2 0 0 18 0 12 0 154645998 1507926016 3340 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 368146 3340 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.30126 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12507 /proc/meminfo: memFree=1127104/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1475080 CPUtime=0.32 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 5359 0 1 0 29 3 0 0 18 0 12 0 154645998 1510481920 5096 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 368770 5096 1352 9 0 366113 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1475080 [startup+0.701332 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12507 /proc/meminfo: memFree=1127104/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1476752 CPUtime=0.97 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 7680 0 1 0 93 4 0 0 18 0 12 0 154645998 1512194048 6915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369188 6915 1396 9 0 366531 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 1476752 [startup+1.50147 s] /proc/loadavg: 1.00 1.00 1.00 4/76 12519 /proc/meminfo: memFree=1096160/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1477684 CPUtime=1.94 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 21639 0 1 0 184 10 0 0 18 0 12 0 154645998 1513148416 20508 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369421 20509 1400 9 0 366764 0 [pid=12507/tid=12509] ppid=12505 vsize=1477684 CPUtime=1.21 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 18671 0 1 0 113 8 0 0 20 0 12 0 154645999 1513148416 20510 1992294400 134512640 134550932 4294956016 18446744073709551615 4109519463 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 154646001 1513148416 20511 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 154646001 1513148416 20512 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 154646002 1513148416 20513 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 154646003 1513148416 20514 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 154646003 1513148416 20515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154646007 1513148416 20516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1477684 CPUtime=0.37 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 755 0 0 0 37 0 0 0 15 0 12 0 154646007 1513148416 20517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1477684 CPUtime=0.33 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 1474 0 0 0 33 0 0 0 16 0 12 0 154646007 1513148416 20518 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154646007 1513148416 20519 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154646007 1513148416 20520 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 1477684 [startup+3.10277 s] /proc/loadavg: 1.00 1.00 1.00 2/76 12519 /proc/meminfo: memFree=991968/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1477684 CPUtime=3.68 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 40304 0 1 0 349 19 0 0 18 0 12 0 154645998 1513148416 39137 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369421 39139 1410 9 0 366764 0 [pid=12507/tid=12509] ppid=12505 vsize=1477684 CPUtime=2.68 /proc/12507/task/12509/stat : 12509 (java) S 12505 12507 11744 0 -1 64 30926 0 1 0 253 15 0 0 25 0 12 0 154645999 1513148416 39140 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1477684 CPUtime=0.12 /proc/12507/task/12510/stat : 12510 (java) R 12505 12507 11744 0 -1 64 3350 0 0 0 12 0 0 0 17 0 12 0 154646001 1513148416 39142 1992294400 134512640 134550932 4294956016 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1477684 CPUtime=0.12 /proc/12507/task/12511/stat : 12511 (java) R 12505 12507 11744 0 -1 64 3056 0 0 0 12 0 0 0 17 0 12 0 154646001 1513148416 39143 1992294400 134512640 134550932 4294956016 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154646002 1513148416 39144 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154646003 1513148416 39145 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154646003 1513148416 39147 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154646007 1513148416 39148 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1477684 CPUtime=0.37 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 755 0 0 0 37 0 0 0 15 0 12 0 154646007 1513148416 39149 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1477684 CPUtime=0.33 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 1474 0 0 0 33 0 0 0 16 0 12 0 154646007 1513148416 39151 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154646007 1513148416 39152 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1477684 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154646007 1513148416 39153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.68 Current children cumulated vsize (KiB) 1477684 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12520 /proc/meminfo: memFree=973080/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1479232 CPUtime=7.99 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 42398 0 1 0 779 20 0 0 18 0 13 0 154645998 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369808 39648 1427 9 0 367151 0 [pid=12507/tid=12509] ppid=12505 vsize=1479232 CPUtime=5.83 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 30967 0 1 0 568 15 0 0 25 0 13 0 154645999 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4109797165 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479232 CPUtime=0.12 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 3395 0 0 0 12 0 0 0 17 0 13 0 154646001 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479232 CPUtime=0.12 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 3079 0 0 0 12 0 0 0 17 0 13 0 154646001 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 12 0 0 0 0 0 0 0 17 0 13 0 154646002 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1479232 CPUtime=0.99 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 1080 0 0 0 99 0 0 0 17 0 13 0 154646007 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1479232 CPUtime=0.88 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 3122 0 0 0 87 1 0 0 16 0 13 0 154646007 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154646007 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12520] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12520/stat : 12520 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 154646348 1514733568 39648 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.99 Current children cumulated vsize (KiB) 1479232 [startup+12.7025 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12520 /proc/meminfo: memFree=973080/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1479232 CPUtime=14.47 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 45070 0 1 0 1426 21 0 0 18 0 13 0 154645998 1514733568 42282 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369808 42284 1427 9 0 367151 0 [pid=12507/tid=12509] ppid=12505 vsize=1479232 CPUtime=12.14 /proc/12507/task/12509/stat : 12509 (java) S 12505 12507 11744 0 -1 64 30969 0 1 0 1199 15 0 0 25 0 13 0 154645999 1514733568 42285 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479232 CPUtime=0.2 /proc/12507/task/12510/stat : 12510 (java) R 12505 12507 11744 0 -1 64 4904 0 0 0 19 1 0 0 17 0 13 0 154646001 1514733568 42286 1992294400 134512640 134550932 4294956016 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479232 CPUtime=0.19 /proc/12507/task/12511/stat : 12511 (java) R 12505 12507 11744 0 -1 64 4243 0 0 0 19 0 0 0 17 0 13 0 154646001 1514733568 42287 1992294400 134512640 134550932 4294956016 18446744073709551615 106196756 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 154646002 1514733568 42288 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 42290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 42291 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 42292 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1479232 CPUtime=0.99 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 1080 0 0 0 99 0 0 0 17 0 13 0 154646007 1514733568 42293 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1479232 CPUtime=0.89 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 3123 0 0 0 88 1 0 0 17 0 13 0 154646007 1514733568 42294 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 42295 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154646007 1514733568 42296 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12520] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12520/stat : 12520 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 154646348 1514733568 42298 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.47 Current children cumulated vsize (KiB) 1479232 [startup+25.5028 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12520 /proc/meminfo: memFree=956888/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1479232 CPUtime=27.38 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 46888 0 1 0 2716 22 0 0 18 0 13 0 154645998 1514733568 43773 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369808 43773 1431 9 0 367151 0 [pid=12507/tid=12509] ppid=12505 vsize=1479232 CPUtime=24.83 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 30971 0 1 0 2468 15 0 0 25 0 13 0 154645999 1514733568 43773 1992294400 134512640 134550932 4294956016 18446744073709551615 4109732074 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479232 CPUtime=0.28 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 5458 0 0 0 27 1 0 0 16 0 13 0 154646001 1514733568 43773 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479232 CPUtime=0.28 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 5488 0 0 0 27 1 0 0 17 0 13 0 154646001 1514733568 43773 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 154646002 1514733568 43773 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 43773 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479232 CPUtime=0 ################ # More data... # ################ [pid=12507] ppid=12505 vsize=1479232 CPUtime=1665.2 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 78708 0 1 0 166481 39 0 0 18 0 13 0 154645998 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369808 73153 1431 9 0 367151 0 [pid=12507/tid=12509] ppid=12505 vsize=1479232 CPUtime=1659.39 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 31063 0 1 0 165923 16 0 0 25 0 13 0 154645999 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4109876729 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479232 CPUtime=1.82 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 19206 0 0 0 174 8 0 0 17 0 13 0 154646001 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479232 CPUtime=1.82 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 23464 0 0 0 172 10 0 0 16 0 13 0 154646001 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479232 CPUtime=0.02 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 17 0 0 0 2 0 0 0 16 0 13 0 154646002 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1479232 CPUtime=1.05 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 1081 0 0 0 105 0 0 0 16 0 13 0 154646007 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1479232 CPUtime=1.04 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 3134 0 0 0 103 1 0 0 16 0 13 0 154646007 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154646007 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12520] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12520/stat : 12520 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 154646348 1514733568 73153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1665.2 Current children cumulated vsize (KiB) 1479232 [startup+1722.3 s] /proc/loadavg: 1.02 1.07 1.02 2/77 12520 /proc/meminfo: memFree=836248/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1479232 CPUtime=1725.22 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 79280 0 1 0 172483 39 0 0 18 0 13 0 154645998 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369808 73696 1431 9 0 367151 0 [pid=12507/tid=12509] ppid=12505 vsize=1479232 CPUtime=1719.33 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 31065 0 1 0 171917 16 0 0 25 0 13 0 154645999 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4109797165 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479232 CPUtime=1.86 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 19478 0 0 0 178 8 0 0 16 0 13 0 154646001 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479232 CPUtime=1.86 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 23762 0 0 0 176 10 0 0 16 0 13 0 154646001 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479232 CPUtime=0.02 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 17 0 0 0 2 0 0 0 16 0 13 0 154646002 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1479232 CPUtime=1.05 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 1081 0 0 0 105 0 0 0 16 0 13 0 154646007 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1479232 CPUtime=1.04 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 3134 0 0 0 103 1 0 0 16 0 13 0 154646007 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154646007 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12520] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12520/stat : 12520 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 154646348 1514733568 73696 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1725.22 Current children cumulated vsize (KiB) 1479232 [startup+1782.3 s] /proc/loadavg: 1.00 1.05 1.01 2/77 12520 /proc/meminfo: memFree=834264/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1479232 CPUtime=1785.25 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 79791 0 1 0 178485 40 0 0 18 0 13 0 154645998 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369808 74186 1431 9 0 367151 0 [pid=12507/tid=12509] ppid=12505 vsize=1479232 CPUtime=1779.27 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 31068 0 1 0 177911 16 0 0 25 0 13 0 154645999 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4109809892 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479232 CPUtime=1.9 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 19696 0 0 0 182 8 0 0 17 0 13 0 154646001 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479232 CPUtime=1.9 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 24052 0 0 0 180 10 0 0 16 0 13 0 154646001 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479232 CPUtime=0.02 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 17 0 0 0 2 0 0 0 16 0 13 0 154646002 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1479232 CPUtime=1.05 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 1081 0 0 0 105 0 0 0 16 0 13 0 154646007 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1479232 CPUtime=1.04 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 3134 0 0 0 103 1 0 0 16 0 13 0 154646007 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154646007 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12520] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12520/stat : 12520 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 154646348 1514733568 74186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1785.25 Current children cumulated vsize (KiB) 1479232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.1 s] /proc/loadavg: 1.00 1.05 1.01 2/77 12520 /proc/meminfo: memFree=833432/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1479232 CPUtime=1800.06 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 80006 0 1 0 179966 40 0 0 18 0 13 0 154645998 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369808 74388 1431 9 0 367151 0 [pid=12507/tid=12509] ppid=12505 vsize=1479232 CPUtime=1794.04 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 31069 0 1 0 179388 16 0 0 25 0 13 0 154645999 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4109797165 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479232 CPUtime=1.93 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 19790 0 0 0 184 9 0 0 16 0 13 0 154646001 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479232 CPUtime=1.92 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 24171 0 0 0 182 10 0 0 16 0 13 0 154646001 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479232 CPUtime=0.02 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 18 0 0 0 2 0 0 0 16 0 13 0 154646002 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154646003 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1479232 CPUtime=1.05 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 1081 0 0 0 105 0 0 0 16 0 13 0 154646007 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1479232 CPUtime=1.04 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 3134 0 0 0 103 1 0 0 16 0 13 0 154646007 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154646007 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154646007 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12520] ppid=12505 vsize=1479232 CPUtime=0 /proc/12507/task/12520/stat : 12520 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 154646348 1514733568 74388 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1479232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.21 s] /proc/loadavg: 1.00 1.05 1.01 2/77 12520 /proc/meminfo: memFree=833432/2055920 swapFree=4182996/4192956 [pid=12507] ppid=12505 vsize=1479880 CPUtime=1800.26 /proc/12507/stat : 12507 (java) S 12505 12507 11744 0 -1 0 80028 0 1 0 179986 40 0 0 16 0 14 0 154645998 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12507/statm: 369970 74410 1432 9 0 367313 0 [pid=12507/tid=12509] ppid=12505 vsize=1479880 CPUtime=1794.15 /proc/12507/task/12509/stat : 12509 (java) R 12505 12507 11744 0 -1 64 31069 0 1 0 179399 16 0 0 25 0 14 0 154645999 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4109797132 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12510] ppid=12505 vsize=1479880 CPUtime=1.93 /proc/12507/task/12510/stat : 12510 (java) S 12505 12507 11744 0 -1 64 19790 0 0 0 184 9 0 0 16 0 14 0 154646001 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12511] ppid=12505 vsize=1479880 CPUtime=1.92 /proc/12507/task/12511/stat : 12511 (java) S 12505 12507 11744 0 -1 64 24171 0 0 0 182 10 0 0 16 0 14 0 154646001 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12512] ppid=12505 vsize=1479880 CPUtime=0.02 /proc/12507/task/12512/stat : 12512 (java) S 12505 12507 11744 0 -1 64 18 0 0 0 2 0 0 0 16 0 14 0 154646002 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12513] ppid=12505 vsize=1479880 CPUtime=0 /proc/12507/task/12513/stat : 12513 (java) S 12505 12507 11744 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 154646003 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12514] ppid=12505 vsize=1479880 CPUtime=0 /proc/12507/task/12514/stat : 12514 (java) S 12505 12507 11744 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 154646003 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12515] ppid=12505 vsize=1479880 CPUtime=0 /proc/12507/task/12515/stat : 12515 (java) S 12505 12507 11744 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 154646007 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12516] ppid=12505 vsize=1479880 CPUtime=1.09 /proc/12507/task/12516/stat : 12516 (java) S 12505 12507 11744 0 -1 64 1081 0 0 0 109 0 0 0 17 0 14 0 154646007 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12517] ppid=12505 vsize=1479880 CPUtime=1.04 /proc/12507/task/12517/stat : 12517 (java) S 12505 12507 11744 0 -1 64 3134 0 0 0 103 1 0 0 16 0 14 0 154646007 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12518] ppid=12505 vsize=1479880 CPUtime=0 /proc/12507/task/12518/stat : 12518 (java) S 12505 12507 11744 0 -1 64 0 0 0 0 0 0 0 0 25 0 14 0 154646007 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12507/tid=12519] ppid=12505 vsize=1479880 CPUtime=0 /proc/12507/task/12519/stat : 12519 (java) S 12505 12507 11744 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 154646007 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12507/tid=12520] ppid=12505 vsize=1479880 CPUtime=0 /proc/12507/task/12520/stat : 12520 (java) S 12505 12507 11744 0 -1 64 4 0 0 0 0 0 0 0 21 0 14 0 154646348 1515397120 74410 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 1479880 Child status: 143 Real time (s): 1797.3 CPU time (s): 1800.35 CPU user time (s): 1799.9 CPU system time (s): 0.448931 CPU usage (%): 100.17 Max. virtual memory (cumulated for all children) (KiB): 1480576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.448931 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80028 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= 37812 involuntary context switches= 37551 runsolver used 2.21066 second user time and 4.35034 second system time The end
Begin job on node12 at 2009-06-13 07:20:54 IDJOB=1855257 IDBENCH=1479 IDSOLVER=682 FILE ID=node12/1855257-1244870454 PBS_JOBID= 9354326 Free space on /tmp= 66360 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1855257-1244870454/watcher-1855257-1244870454 -o /tmp/evaluation-result-1855257-1244870454/solver-1855257-1244870454 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855257-1244870454.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62 RANDOM SEED=1782203534 node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.281 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.281 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: 1127520 kB Buffers: 51008 kB Cached: 808932 kB SwapCached: 4000 kB Active: 53220 kB Inactive: 814884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1127520 kB SwapTotal: 4192956 kB SwapFree: 4182996 kB Dirty: 5856 kB Writeback: 0 kB Mapped: 14364 kB Slab: 46272 kB Committed_AS: 126360 kB PageTables: 1380 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= 66360 MiB End job on node12 at 2009-06-13 07:50:53