Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | UNSAT | 92.187 | 89.6147 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb |
MD5SUM | 235de11a8c28ae4c0ee0cc0c0810952d |
Bench Category | OPT-SMALLINT (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 | 9.77551 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 77286 |
Total number of constraints | 23680 |
Number of constraints which are clauses | 2311 |
Number of constraints which are cardinality constraints (but not clauses) | 862 |
Number of constraints which are nor clauses,nor cardinality constraints | 20507 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2790 |
Number of terms in the objective function | 31296 |
Biggest coefficient in the objective function | 10947 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 555358 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 555358 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.20 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.21 c no version file found!!! 0.21 c sun.arch.data.model 32 0.21 c java.version 1.5.0_06 0.21 c os.name Linux 0.21 c os.version 2.6.9-22.EL.rootsmp 0.21 c os.arch i386 0.21 c Free memory 1548419056 0.21 c Max memory 1551040512 0.21 c Total memory 1551040512 0.21 c Number of processors 2 0.26 c Cutting planes based inference 0.26 c --- Begin Solver configuration --- 0.26 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.26 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.26 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.26 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.26 c VSIDS like heuristics from MiniSAT using a heap 0.26 c No reason simplification 0.26 c --- End Solver configuration --- 0.26 c solving ROOT/tmp/node68/42613-1149358556/instance-42613-1149358556.opb 0.26 c reading problem ... 54.87 c ... done. Time 54.609 ms. 54.87 c #vars 77286 54.87 c #constraints 30383 89.57 c starts : 2 89.57 c conflicts : 174 89.57 c decisions : 1776 89.57 c propagations : 233812 89.57 c inspects : 2044810 89.57 c learnt literals : 0 89.57 c learnt binary clauses : 4 89.57 c learnt ternary clauses : 12 89.57 c learnt clauses : 173 89.57 c root simplifications : 0 89.57 c removed literals (reason simplification) : 0 89.57 c reason swapping (by a shorter reason) : 0 89.57 c Calls to reduceDB : 0 89.57 c speed (decisions/second) : 51.77238805970149 89.57 c non guided choices 0 89.57 s UNSATISFIABLE 89.57 c Total wall clock time (ms): 89.312
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-42613-1149358556 -o ROOT/results/node68/solver-42613-1149358556 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node68/42613-1149358556/instance-42613-1149358556.opb 118445051 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.94 3/64 23735 /proc/meminfo: memFree=1543304/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=172 CPUtime=0 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 201525160 176128 24 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 10514731 0 0 4096 0 0 0 0 17 0 0 0 /proc/23735/statm: 43 24 18 14 0 3 0 [startup+10.002 s] /proc/loadavg: 0.93 0.97 0.94 2/75 23746 /proc/meminfo: memFree=1359608/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1710884 CPUtime=10.84 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 50642 0 1 0 1063 21 0 0 20 0 12 0 201525160 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23735/statm: 427721 47694 1886 14 0 414468 0 [pid=23735/tid=23736] ppid=23733 vsize=1710884 CPUtime=0.36 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 6699 0 0 0 34 2 0 0 16 0 12 0 201525169 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1710884 CPUtime=0.34 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 5197 0 0 0 32 2 0 0 16 0 12 0 201525169 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1710884 CPUtime=0 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 201525172 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1710884 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 201525172 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1710884 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 201525172 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1710884 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 201525175 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1710884 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 201525175 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1710884 CPUtime=0.27 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 417 0 0 0 27 0 0 0 17 0 12 0 201525175 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1710884 CPUtime=0.38 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 811 0 0 0 38 0 0 0 16 0 12 0 201525175 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1710884 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 201525176 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1710884 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 201525176 1751945216 47694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.84 Current children cumulated vsize (Kb) 1710884 [startup+20.0097 s] /proc/loadavg: 0.94 0.97 0.94 2/75 23746 /proc/meminfo: memFree=1337792/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1711960 CPUtime=21.06 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 56947 0 1 0 2082 24 0 0 25 0 12 0 201525160 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23735/statm: 427990 53222 1888 14 0 414737 0 [pid=23735/tid=23736] ppid=23733 vsize=1711960 CPUtime=0.47 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 8785 0 0 0 44 3 0 0 16 0 12 0 201525169 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1711960 CPUtime=0.45 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 7182 0 0 0 42 3 0 0 16 0 12 0 201525169 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1711960 CPUtime=0 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 0 0 0 0 15 0 12 0 201525172 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1711960 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 201525172 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1711960 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 201525172 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1711960 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 201525175 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1711960 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 201525175 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1711960 CPUtime=0.32 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 518 0 0 0 32 0 0 0 16 0 12 0 201525175 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1711960 CPUtime=0.48 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 1489 0 0 0 48 0 0 0 16 0 12 0 201525175 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1711960 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 201525176 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1711960 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 201525176 1753047040 53222 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.06 Current children cumulated vsize (Kb) 1711960 [startup+30.0174 s] /proc/loadavg: 0.95 0.97 0.94 2/75 23746 /proc/meminfo: memFree=1327616/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1710560 CPUtime=31.24 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 60015 0 1 0 3098 26 0 0 25 0 12 0 201525160 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23735/statm: 427640 55790 1888 14 0 414387 0 [pid=23735/tid=23736] ppid=23733 vsize=1710560 CPUtime=0.59 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 10241 0 0 0 55 4 0 0 16 0 12 0 201525169 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1710560 CPUtime=0.57 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 8682 0 0 0 53 4 0 0 16 0 12 0 201525169 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1710560 CPUtime=0.01 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 1 0 0 0 16 0 12 0 201525172 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 201525172 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 201525172 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 201525175 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 201525175 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1710560 CPUtime=0.38 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 522 0 0 0 38 0 0 0 15 0 12 0 201525175 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1710560 CPUtime=0.5 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 1489 0 0 0 50 0 0 0 17 0 12 0 201525175 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 201525176 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 201525176 1751613440 55790 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.24 Current children cumulated vsize (Kb) 1710560 [startup+40.0242 s] /proc/loadavg: 0.96 0.97 0.94 2/75 23746 /proc/meminfo: memFree=1320192/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1710560 CPUtime=41.41 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 62376 0 1 0 4114 27 0 0 18 0 12 0 201525160 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419483 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23735/statm: 427640 57653 1888 14 0 414387 0 [pid=23735/tid=23736] ppid=23733 vsize=1710560 CPUtime=0.69 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 11480 0 0 0 65 4 0 0 16 0 12 0 201525169 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1710560 CPUtime=0.68 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 9773 0 0 0 64 4 0 0 15 0 12 0 201525169 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1710560 CPUtime=0.01 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 1 0 0 0 16 0 12 0 201525172 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 201525172 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 201525172 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 201525175 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 201525175 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1710560 CPUtime=0.43 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 529 0 0 0 43 0 0 0 16 0 12 0 201525175 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1710560 CPUtime=0.53 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 1490 0 0 0 53 0 0 0 16 0 12 0 201525175 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 201525176 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 201525176 1751613440 57653 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.41 Current children cumulated vsize (Kb) 1710560 [startup+50.0327 s] /proc/loadavg: 0.96 0.97 0.94 2/75 23746 /proc/meminfo: memFree=1311552/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1710560 CPUtime=51.57 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 64943 0 1 0 5128 29 0 0 25 0 12 0 201525160 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23735/statm: 427640 59813 1888 14 0 414387 0 [pid=23735/tid=23736] ppid=23733 vsize=1710560 CPUtime=0.79 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 12821 0 0 0 74 5 0 0 16 0 12 0 201525169 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1710560 CPUtime=0.79 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 10977 0 0 0 74 5 0 0 15 0 12 0 201525169 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1710560 CPUtime=0.01 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 1 0 0 0 15 0 12 0 201525172 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 201525172 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 201525172 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 201525175 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 201525175 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1710560 CPUtime=0.47 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 530 0 0 0 47 0 0 0 17 0 12 0 201525175 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1710560 CPUtime=0.54 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 1490 0 0 0 54 0 0 0 16 0 12 0 201525175 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 201525176 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1710560 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 201525176 1751613440 59813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.57 Current children cumulated vsize (Kb) 1710560 [startup+60.0394 s] /proc/loadavg: 0.97 0.97 0.94 2/76 23747 /proc/meminfo: memFree=1302328/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1715268 CPUtime=62.44 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 69433 0 1 0 6212 32 0 0 25 0 13 0 201525160 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071704600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23735/statm: 428817 62144 1911 14 0 415564 0 [pid=23735/tid=23736] ppid=23733 vsize=1715268 CPUtime=0.86 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 13748 0 0 0 81 5 0 0 17 0 13 0 201525169 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1715268 CPUtime=0.86 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 11600 0 0 0 81 5 0 0 16 0 13 0 201525169 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1715268 CPUtime=0.02 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 2 0 0 0 15 0 13 0 201525172 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1715268 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201525172 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1715268 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201525172 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1715268 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201525175 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1715268 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201525175 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1715268 CPUtime=0.87 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 879 0 0 0 87 0 0 0 16 0 13 0 201525175 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1715268 CPUtime=1.17 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 3991 0 0 0 116 1 0 0 16 0 13 0 201525175 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1715268 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201525176 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1715268 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201525176 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23747] ppid=23733 vsize=1715268 CPUtime=0 /proc/23735/task/23747/stat : 23747 (java) S 23733 23735 23689 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 201530716 1756434432 62144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 62.44 Current children cumulated vsize (Kb) 1715268 [startup+70.0462 s] /proc/loadavg: 0.97 0.97 0.94 2/76 23747 /proc/meminfo: memFree=1302776/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1713048 CPUtime=72.49 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 69815 0 1 0 7217 32 0 0 19 0 13 0 201525160 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071704273 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23735/statm: 428262 61969 1911 14 0 415009 0 [pid=23735/tid=23736] ppid=23733 vsize=1713048 CPUtime=0.87 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 14012 0 0 0 82 5 0 0 16 0 13 0 201525169 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1713048 CPUtime=0.87 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 11709 0 0 0 82 5 0 0 16 0 13 0 201525169 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1713048 CPUtime=0.02 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 2 0 0 0 16 0 13 0 201525172 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201525172 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201525172 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201525175 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201525175 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1713048 CPUtime=0.88 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 881 0 0 0 88 0 0 0 17 0 13 0 201525175 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1713048 CPUtime=1.2 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 3993 0 0 0 119 1 0 0 16 0 13 0 201525175 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201525176 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201525176 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23747] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23747/stat : 23747 (java) S 23733 23735 23689 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 201530716 1754161152 61969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 72.49 Current children cumulated vsize (Kb) 1713048 [startup+80.0529 s] /proc/loadavg: 0.98 0.97 0.94 2/76 23747 /proc/meminfo: memFree=1303416/2055920 swapFree=4182304/4192956 [pid=23735] ppid=23733 vsize=1713048 CPUtime=82.52 /proc/23735/stat : 23735 (java) R 23733 23735 23689 0 -1 0 69926 0 1 0 8220 32 0 0 25 0 13 0 201525160 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071704049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23735/statm: 428262 61834 1911 14 0 415009 0 [pid=23735/tid=23736] ppid=23733 vsize=1713048 CPUtime=0.88 /proc/23735/task/23736/stat : 23736 (java) S 23733 23735 23689 0 -1 64 14064 0 0 0 83 5 0 0 16 0 13 0 201525169 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23737] ppid=23733 vsize=1713048 CPUtime=0.88 /proc/23735/task/23737/stat : 23737 (java) S 23733 23735 23689 0 -1 64 11765 0 0 0 83 5 0 0 16 0 13 0 201525169 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23738] ppid=23733 vsize=1713048 CPUtime=0.02 /proc/23735/task/23738/stat : 23738 (java) S 23733 23735 23689 0 -1 64 27 0 0 0 2 0 0 0 16 0 13 0 201525172 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23739] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23739/stat : 23739 (java) S 23733 23735 23689 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201525172 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23740] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23740/stat : 23740 (java) S 23733 23735 23689 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201525172 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23741] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23741/stat : 23741 (java) S 23733 23735 23689 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201525175 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23742] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23742/stat : 23742 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 201525175 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23743] ppid=23733 vsize=1713048 CPUtime=0.9 /proc/23735/task/23743/stat : 23743 (java) S 23733 23735 23689 0 -1 64 882 0 0 0 90 0 0 0 17 0 13 0 201525175 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23744] ppid=23733 vsize=1713048 CPUtime=1.21 /proc/23735/task/23744/stat : 23744 (java) S 23733 23735 23689 0 -1 64 3993 0 0 0 120 1 0 0 17 0 13 0 201525175 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23745] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23745/stat : 23745 (java) S 23733 23735 23689 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201525176 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23735/tid=23746] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23746/stat : 23746 (java) S 23733 23735 23689 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201525176 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23735/tid=23747] ppid=23733 vsize=1713048 CPUtime=0 /proc/23735/task/23747/stat : 23747 (java) S 23733 23735 23689 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 201530716 1754161152 61834 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 82.52 Current children cumulated vsize (Kb) 1713048 Child status: 20 Real time (s): 89.6147 CPU time (s): 92.187 CPU user time (s): 91.823 CPU system time (s): 0.363944 CPU usage (%): 102.87 Max. virtual memory (cumulated for all children) (Kb): 1715268
Begin job on node68 on Sat Jun 3 18:15:56 UTC 2006 FILE ID= 42613-1149358556 PBS_JOBID= 311378 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node68/42613-1149358556/instance-42613-1149358556.opb 118445051 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-42613-1149358556 -o ROOT/results/node68/solver-42613-1149358556 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node68/42613-1149358556/instance-42613-1149358556.opb 118445051 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 235de11a8c28ae4c0ee0cc0c0810952d RANDOM SEED= 118445051 /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.279 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.279 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: 1543512 kB Buffers: 13600 kB Cached: 436500 kB SwapCached: 2168 kB Active: 84460 kB Inactive: 374172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1543512 kB SwapTotal: 4192956 kB SwapFree: 4182304 kB Dirty: 148 kB Writeback: 0 kB Mapped: 15504 kB Slab: 39804 kB Committed_AS: 357736 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sat Jun 3 18:17:26 UTC 2006