Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 1 | ? | 70.8092 | 58.0881 |
Name | normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb |
MD5SUM | dc68c84ca9a12d789f4fef65e97f0e43 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2933624 |
Total number of constraints | 48672 |
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 | 48672 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 1496264 |
Biggest coefficient in the objective function | 160 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 1988816 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1988816 |
Number of bits of the biggest sum of numbers | 21 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
57.81 s UNKNOWN 57.93 Exception in thread "Thread-0" java.lang.NullPointerException 57.93 at abscon.Resolution$ThreadPseudo.run(Resolution.java:547)
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/node27/watcher-30412-1149322174 -o ROOT/results/node27/solver-30412-1149322174 -C 1800 -M 1800 -S 64 java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node27/30412-1149322174/instance-30412-1149322174.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.19 0.05 0.19 3/64 29341 /proc/meminfo: memFree=1465016/2055920 swapFree=4180900/4192956 [pid=29341] ppid=29339 vsize=1592 CPUtime=0 /proc/29341/stat : 29341 (java) R 29339 29341 29295 0 -1 0 134 0 0 0 0 0 0 0 19 0 1 0 197883656 1630208 106 18446744073709551615 134512640 134570276 4294956512 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29341/statm: 399 114 91 14 0 44 0 [startup+10.0029 s] /proc/loadavg: 0.39 0.09 0.20 2/75 29352 /proc/meminfo: memFree=722528/2055920 swapFree=4180900/4192956 [pid=29341] ppid=29339 vsize=1720432 CPUtime=14.14 /proc/29341/stat : 29341 (java) S 29339 29341 29295 0 -1 0 215159 0 1 0 1315 99 0 0 17 0 12 0 197883656 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29341/statm: 430108 187493 2294 14 0 416500 0 [pid=29341/tid=29342] ppid=29339 vsize=1720432 CPUtime=4.34 /proc/29341/task/29342/stat : 29342 (java) S 29339 29341 29295 0 -1 64 103609 0 0 0 386 48 0 0 16 0 12 0 197883671 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29343] ppid=29339 vsize=1720432 CPUtime=4.34 /proc/29341/task/29343/stat : 29343 (java) S 29339 29341 29295 0 -1 64 80915 0 0 0 397 37 0 0 16 0 12 0 197883671 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29344] ppid=29339 vsize=1720432 CPUtime=3.37 /proc/29341/task/29344/stat : 29344 (java) R 29339 29341 29295 0 -1 64 6826 0 0 0 334 3 0 0 25 0 12 0 197883673 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4152729152 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29345] ppid=29339 vsize=1720432 CPUtime=0 /proc/29341/task/29345/stat : 29345 (java) S 29339 29341 29295 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197883674 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29346] ppid=29339 vsize=1720432 CPUtime=0 /proc/29341/task/29346/stat : 29346 (java) S 29339 29341 29295 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197883674 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29347] ppid=29339 vsize=1720432 CPUtime=0 /proc/29341/task/29347/stat : 29347 (java) S 29339 29341 29295 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 197883682 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29348] ppid=29339 vsize=1720432 CPUtime=0 /proc/29341/task/29348/stat : 29348 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197883682 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29349] ppid=29339 vsize=1720432 CPUtime=0.06 /proc/29341/task/29349/stat : 29349 (java) S 29339 29341 29295 0 -1 64 269 0 0 0 6 0 0 0 16 0 12 0 197883682 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29350] ppid=29339 vsize=1720432 CPUtime=0.06 /proc/29341/task/29350/stat : 29350 (java) S 29339 29341 29295 0 -1 64 70 0 0 0 6 0 0 0 16 0 12 0 197883682 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29351] ppid=29339 vsize=1720432 CPUtime=0 /proc/29341/task/29351/stat : 29351 (java) S 29339 29341 29295 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 197883682 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29352] ppid=29339 vsize=1720432 CPUtime=0 /proc/29341/task/29352/stat : 29352 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197883682 1761722368 187493 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.14 Current children cumulated vsize (Kb) 1720432 [startup+20.0109 s] /proc/loadavg: 0.56 0.14 0.21 2/75 29352 /proc/meminfo: memFree=151648/2055920 swapFree=4180900/4192956 [pid=29341] ppid=29339 vsize=1786120 CPUtime=27.93 /proc/29341/stat : 29341 (java) S 29339 29341 29295 0 -1 0 379948 0 1 0 2615 178 0 0 17 0 12 0 197883656 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29341/statm: 446530 329908 2307 14 0 432922 0 [pid=29341/tid=29342] ppid=29339 vsize=1786120 CPUtime=7.98 /proc/29341/task/29342/stat : 29342 (java) S 29339 29341 29295 0 -1 64 160415 0 0 0 722 76 0 0 24 0 12 0 197883671 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29343] ppid=29339 vsize=1786120 CPUtime=7.98 /proc/29341/task/29343/stat : 29343 (java) S 29339 29341 29295 0 -1 64 111848 0 0 0 741 57 0 0 16 0 12 0 197883671 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29344] ppid=29339 vsize=1786120 CPUtime=7.91 /proc/29341/task/29344/stat : 29344 (java) R 29339 29341 29295 0 -1 64 43809 0 0 0 774 17 0 0 25 0 12 0 197883673 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4152729153 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29345] ppid=29339 vsize=1786120 CPUtime=0 /proc/29341/task/29345/stat : 29345 (java) S 29339 29341 29295 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197883674 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29346] ppid=29339 vsize=1786120 CPUtime=0 /proc/29341/task/29346/stat : 29346 (java) S 29339 29341 29295 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197883674 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29347] ppid=29339 vsize=1786120 CPUtime=0 /proc/29341/task/29347/stat : 29347 (java) S 29339 29341 29295 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 197883682 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29348] ppid=29339 vsize=1786120 CPUtime=0 /proc/29341/task/29348/stat : 29348 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197883682 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29349] ppid=29339 vsize=1786120 CPUtime=0.16 /proc/29341/task/29349/stat : 29349 (java) S 29339 29341 29295 0 -1 64 467 0 0 0 16 0 0 0 16 0 12 0 197883682 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29350] ppid=29339 vsize=1786120 CPUtime=0.14 /proc/29341/task/29350/stat : 29350 (java) S 29339 29341 29295 0 -1 64 169 0 0 0 14 0 0 0 16 0 12 0 197883682 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29351] ppid=29339 vsize=1786120 CPUtime=0 /proc/29341/task/29351/stat : 29351 (java) S 29339 29341 29295 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 197883682 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29352] ppid=29339 vsize=1786120 CPUtime=0 /proc/29341/task/29352/stat : 29352 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197883682 1828986880 329908 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 27.93 Current children cumulated vsize (Kb) 1786120 [startup+30.019 s] /proc/loadavg: 0.95 0.25 0.25 2/75 29352 /proc/meminfo: memFree=18080/2055920 swapFree=4180900/4192956 [pid=29341] ppid=29339 vsize=1748132 CPUtime=42.73 /proc/29341/stat : 29341 (java) S 29339 29341 29295 0 -1 0 452090 0 1 0 4045 228 0 0 16 0 12 0 197883656 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29341/statm: 437033 381025 2315 14 0 423425 0 [pid=29341/tid=29342] ppid=29339 vsize=1748132 CPUtime=9.83 /proc/29341/task/29342/stat : 29342 (java) S 29339 29341 29295 0 -1 64 188050 0 0 0 890 93 0 0 17 0 12 0 197883671 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29343] ppid=29339 vsize=1748132 CPUtime=9.84 /proc/29341/task/29343/stat : 29343 (java) S 29339 29341 29295 0 -1 64 137640 0 0 0 904 80 0 0 16 0 12 0 197883671 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29344] ppid=29339 vsize=1748132 CPUtime=11.63 /proc/29341/task/29344/stat : 29344 (java) R 29339 29341 29295 0 -1 64 46527 0 0 0 1144 19 0 0 25 0 12 0 197883673 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4154938534 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29345] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29345/stat : 29345 (java) S 29339 29341 29295 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197883674 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29346] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29346/stat : 29346 (java) S 29339 29341 29295 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197883674 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29347] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29347/stat : 29347 (java) S 29339 29341 29295 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 197883682 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29348] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29348/stat : 29348 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197883682 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29349] ppid=29339 vsize=1748132 CPUtime=0.37 /proc/29341/task/29349/stat : 29349 (java) S 29339 29341 29295 0 -1 64 788 0 0 0 37 0 0 0 16 0 12 0 197883682 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29350] ppid=29339 vsize=1748132 CPUtime=3.02 /proc/29341/task/29350/stat : 29350 (java) S 29339 29341 29295 0 -1 64 15585 0 0 0 296 6 0 0 16 0 12 0 197883682 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29351] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29351/stat : 29351 (java) S 29339 29341 29295 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 197883682 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29352] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29352/stat : 29352 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197883682 1790087168 381025 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.73 Current children cumulated vsize (Kb) 1748132 [startup+40.026 s] /proc/loadavg: 1.04 0.29 0.26 2/75 29352 /proc/meminfo: memFree=19872/2055920 swapFree=4180900/4192956 [pid=29341] ppid=29339 vsize=1748132 CPUtime=52.79 /proc/29341/stat : 29341 (java) S 29339 29341 29295 0 -1 0 469009 0 1 0 5044 235 0 0 17 0 12 0 197883656 1790087168 393016 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29341/statm: 437033 393017 2315 14 0 423425 0 [pid=29341/tid=29342] ppid=29339 vsize=1748132 CPUtime=9.89 /proc/29341/task/29342/stat : 29342 (java) S 29339 29341 29295 0 -1 64 188050 0 0 0 895 94 0 0 17 0 12 0 197883671 1790087168 393017 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29343] ppid=29339 vsize=1748132 CPUtime=9.9 /proc/29341/task/29343/stat : 29343 (java) S 29339 29341 29295 0 -1 64 137640 0 0 0 910 80 0 0 17 0 12 0 197883671 1790087168 393017 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29344] ppid=29339 vsize=1748132 CPUtime=21.46 /proc/29341/task/29344/stat : 29344 (java) R 29339 29341 29295 0 -1 64 63446 0 0 0 2120 26 0 0 18 0 12 0 197883673 1790087168 393018 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4154472791 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29345] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29345/stat : 29345 (java) S 29339 29341 29295 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197883674 1790087168 393018 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29346] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29346/stat : 29346 (java) S 29339 29341 29295 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197883674 1790087168 393018 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29347] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29347/stat : 29347 (java) S 29339 29341 29295 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 197883682 1790087168 393018 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29348] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29348/stat : 29348 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197883682 1790087168 393018 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29349] ppid=29339 vsize=1748132 CPUtime=0.37 /proc/29341/task/29349/stat : 29349 (java) S 29339 29341 29295 0 -1 64 788 0 0 0 37 0 0 0 16 0 12 0 197883682 1790087168 393019 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29350] ppid=29339 vsize=1748132 CPUtime=3.02 /proc/29341/task/29350/stat : 29350 (java) S 29339 29341 29295 0 -1 64 15585 0 0 0 296 6 0 0 16 0 12 0 197883682 1790087168 393019 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29351] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29351/stat : 29351 (java) S 29339 29341 29295 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 197883682 1790087168 393019 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29352] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29352/stat : 29352 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197883682 1790087168 393019 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.79 Current children cumulated vsize (Kb) 1748132 [startup+50.0331 s] /proc/loadavg: 1.03 0.31 0.27 2/75 29352 /proc/meminfo: memFree=18272/2055920 swapFree=4180900/4192956 [pid=29341] ppid=29339 vsize=1748132 CPUtime=62.79 /proc/29341/stat : 29341 (java) S 29339 29341 29295 0 -1 0 474750 0 1 0 6042 237 0 0 16 0 12 0 197883656 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29341/statm: 437033 396293 2315 14 0 423425 0 [pid=29341/tid=29342] ppid=29339 vsize=1748132 CPUtime=9.89 /proc/29341/task/29342/stat : 29342 (java) S 29339 29341 29295 0 -1 64 188050 0 0 0 895 94 0 0 17 0 12 0 197883671 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29343] ppid=29339 vsize=1748132 CPUtime=9.9 /proc/29341/task/29343/stat : 29343 (java) S 29339 29341 29295 0 -1 64 137640 0 0 0 910 80 0 0 17 0 12 0 197883671 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29344] ppid=29339 vsize=1748132 CPUtime=31.45 /proc/29341/task/29344/stat : 29344 (java) R 29339 29341 29295 0 -1 64 69184 0 0 0 3117 28 0 0 25 0 12 0 197883673 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4152729250 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29345] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29345/stat : 29345 (java) S 29339 29341 29295 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197883674 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29346] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29346/stat : 29346 (java) S 29339 29341 29295 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197883674 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29347] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29347/stat : 29347 (java) S 29339 29341 29295 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 197883682 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29348] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29348/stat : 29348 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 197883682 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29349] ppid=29339 vsize=1748132 CPUtime=0.37 /proc/29341/task/29349/stat : 29349 (java) S 29339 29341 29295 0 -1 64 788 0 0 0 37 0 0 0 16 0 12 0 197883682 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29350] ppid=29339 vsize=1748132 CPUtime=3.02 /proc/29341/task/29350/stat : 29350 (java) S 29339 29341 29295 0 -1 64 15585 0 0 0 296 6 0 0 16 0 12 0 197883682 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29341/tid=29351] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29351/stat : 29351 (java) S 29339 29341 29295 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 197883682 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29341/tid=29352] ppid=29339 vsize=1748132 CPUtime=0 /proc/29341/task/29352/stat : 29352 (java) S 29339 29341 29295 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197883682 1790087168 396293 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 62.79 Current children cumulated vsize (Kb) 1748132 Child status: 1 Real time (s): 58.0881 CPU time (s): 70.8092 CPU user time (s): 68.1886 CPU system time (s): 2.6206 CPU usage (%): 121.9 Max. virtual memory (cumulated for all children) (Kb): 1786120
Begin job on node27 on Sat Jun 3 08:09:51 UTC 2006 FILE ID= 30412-1149322174 PBS_JOBID= 309375 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb COMMAND LINE= java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node27/30412-1149322174/instance-30412-1149322174.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-30412-1149322174 -o ROOT/results/node27/solver-30412-1149322174 -C 1800 -M 1800 -S 64 java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node27/30412-1149322174/instance-30412-1149322174.opb MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771 MD5SUM BENCH= dc68c84ca9a12d789f4fef65e97f0e43 RANDOM SEED= 413502529 /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.234 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.234 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: 1464904 kB Buffers: 23116 kB Cached: 497924 kB SwapCached: 3784 kB Active: 206112 kB Inactive: 323676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1464904 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 228 kB Writeback: 0 kB Mapped: 14776 kB Slab: 47292 kB Committed_AS: 346192 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Sat Jun 3 08:11:34 UTC 2006