Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 95959999077 | 1804.84 | 1794.39 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb |
MD5SUM | 7c42bfce08dbcdfa75528339ed295749 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 43909739328 |
Best CPU time to get the best result obtained on this benchmark | 1804.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 43909739328 |
Optimality of the best value was proved | NO |
Number of variables | 282020 |
Total number of constraints | 1761 |
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 | 1761 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 49260 |
Number of terms in the objective function | 282020 |
Biggest coefficient in the objective function | 2456844338462720 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 16364293819131525300 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 2456844338462720 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 16364293819131525300 |
Number of bits of the biggest sum of numbers | 64 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
OK 95959999077
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/node78/watcher-44764-1149315966 -o ROOT/results/node78/solver-44764-1149315966 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node78/44764-1149315966/instance-44764-1149315966.opb 440250396 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.96 2/67 15866 /proc/meminfo: memFree=1327160/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1788 CPUtime=0 /proc/15866/stat : 15866 (java) D 15864 15866 15820 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 196625566 1830912 135 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/15866/statm: 447 135 100 14 0 91 0 [startup+10.0076 s] /proc/loadavg: 0.94 0.98 0.97 3/78 15877 /proc/meminfo: memFree=1065896/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1711788 CPUtime=11.48 /proc/15866/stat : 15866 (java) S 15864 15866 15820 0 -1 0 69136 0 1 0 1116 32 0 0 20 0 12 0 196625566 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15866/statm: 427947 67256 1887 14 0 414693 0 [pid=15866/tid=15867] ppid=15864 vsize=1711788 CPUtime=0.88 /proc/15866/task/15867/stat : 15867 (java) R 15864 15866 15820 0 -1 64 13480 0 0 0 81 7 0 0 17 0 12 0 196625570 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154644977 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1711788 CPUtime=0.87 /proc/15866/task/15868/stat : 15868 (java) R 15864 15866 15820 0 -1 64 18364 0 0 0 78 9 0 0 16 0 12 0 196625570 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152725234 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196625572 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196625576 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 196625576 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1711788 CPUtime=0.42 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 466 0 0 0 42 0 0 0 16 0 12 0 196625576 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1711788 CPUtime=0.42 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 475 0 0 0 42 0 0 0 17 0 12 0 196625576 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196625576 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196625576 1752870912 67256 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.48 Current children cumulated vsize (Kb) 1711788 [startup+20.0147 s] /proc/loadavg: 0.95 0.98 0.97 2/78 15877 /proc/meminfo: memFree=1041128/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1711788 CPUtime=21.84 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 77115 0 1 0 2146 38 0 0 25 0 12 0 196625566 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071459929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 427947 73336 1887 14 0 414693 0 [pid=15866/tid=15867] ppid=15864 vsize=1711788 CPUtime=1.23 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 17565 0 0 0 115 8 0 0 17 0 12 0 196625570 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1711788 CPUtime=1.22 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 22232 0 0 0 111 11 0 0 16 0 12 0 196625570 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 17 0 0 0 0 0 0 0 15 0 12 0 196625572 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196625576 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 196625576 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1711788 CPUtime=0.42 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 466 0 0 0 42 0 0 0 16 0 12 0 196625576 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1711788 CPUtime=0.43 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 476 0 0 0 43 0 0 0 17 0 12 0 196625576 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196625576 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196625576 1752870912 73336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.84 Current children cumulated vsize (Kb) 1711788 [startup+30.0217 s] /proc/loadavg: 0.96 0.98 0.97 2/78 15877 /proc/meminfo: memFree=1009576/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1711788 CPUtime=32.15 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 85364 0 1 0 3170 45 0 0 25 0 12 0 196625566 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071459995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 427947 81266 1888 14 0 414693 0 [pid=15866/tid=15867] ppid=15864 vsize=1711788 CPUtime=1.52 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 21854 0 0 0 141 11 0 0 16 0 12 0 196625570 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1711788 CPUtime=1.51 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 26175 0 0 0 138 13 0 0 16 0 12 0 196625570 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 22 0 0 0 0 0 0 0 16 0 12 0 196625572 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196625576 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 196625576 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1711788 CPUtime=0.43 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 467 0 0 0 43 0 0 0 16 0 12 0 196625576 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1711788 CPUtime=0.44 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 476 0 0 0 44 0 0 0 17 0 12 0 196625576 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196625576 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196625576 1752870912 81266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.15 Current children cumulated vsize (Kb) 1711788 [startup+40.0288 s] /proc/loadavg: 0.96 0.98 0.97 2/78 15877 /proc/meminfo: memFree=980264/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1711788 CPUtime=42.43 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 93093 0 1 0 4193 50 0 0 25 0 12 0 196625566 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071493580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 427947 88585 1888 14 0 414693 0 [pid=15866/tid=15867] ppid=15864 vsize=1711788 CPUtime=1.79 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 25027 0 0 0 167 12 0 0 17 0 12 0 196625570 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1711788 CPUtime=1.78 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 30722 0 0 0 163 15 0 0 16 0 12 0 196625570 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1711788 CPUtime=0.01 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 23 0 0 0 1 0 0 0 16 0 12 0 196625572 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196625576 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 196625576 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1711788 CPUtime=0.43 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 467 0 0 0 43 0 0 0 16 0 12 0 196625576 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1711788 CPUtime=0.44 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 476 0 0 0 44 0 0 0 17 0 12 0 196625576 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196625576 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196625576 1752870912 88585 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.43 Current children cumulated vsize (Kb) 1711788 [startup+50.0369 s] /proc/loadavg: 0.97 0.98 0.97 2/78 15877 /proc/meminfo: memFree=964136/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1711788 CPUtime=52.72 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 97400 0 1 0 5219 53 0 0 25 0 12 0 196625566 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071440985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 427947 92641 1899 14 0 414693 0 [pid=15866/tid=15867] ppid=15864 vsize=1711788 CPUtime=1.99 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 27110 0 0 0 186 13 0 0 16 0 12 0 196625570 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1711788 CPUtime=1.98 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 32900 0 0 0 182 16 0 0 16 0 12 0 196625570 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1711788 CPUtime=0.01 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 23 0 0 0 1 0 0 0 16 0 12 0 196625572 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196625576 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 196625576 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1711788 CPUtime=0.5 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 475 0 0 0 50 0 0 0 16 0 12 0 196625576 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1711788 CPUtime=0.5 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 483 0 0 0 50 0 0 0 16 0 12 0 196625576 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196625576 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196625576 1752870912 92641 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.72 Current children cumulated vsize (Kb) 1711788 [startup+60.043 s] /proc/loadavg: 0.97 0.98 0.97 2/78 15877 /proc/meminfo: memFree=955560/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1711788 CPUtime=62.76 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 99537 0 1 0 6222 54 0 0 25 0 12 0 196625566 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071556816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 427947 94774 1899 14 0 414693 0 [pid=15866/tid=15867] ppid=15864 vsize=1711788 CPUtime=2.03 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 27570 0 0 0 189 14 0 0 17 0 12 0 196625570 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1711788 CPUtime=2.01 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 34575 0 0 0 184 17 0 0 16 0 12 0 196625570 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1711788 CPUtime=0.01 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 23 0 0 0 1 0 0 0 16 0 12 0 196625572 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 196625573 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196625576 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 196625576 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1711788 CPUtime=0.5 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 475 0 0 0 50 0 0 0 16 0 12 0 196625576 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1711788 CPUtime=0.5 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 483 0 0 0 50 0 0 0 16 0 12 0 196625576 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196625576 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1711788 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196625576 1752870912 94774 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196625576 1754054656 170469 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15883] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15883/stat : 15883 (java) S 15864 15866 15820 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196780247 1754054656 170469 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (Kb) 1712944 [startup+1790.24 s] /proc/loadavg: 0.99 0.98 0.97 2/79 15883 /proc/meminfo: memFree=651064/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1712944 CPUtime=1798.72 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 191035 0 1 0 179747 125 0 0 25 0 13 0 196625566 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071461546 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 428236 170453 1910 14 0 414982 0 [pid=15866/tid=15867] ppid=15864 vsize=1712944 CPUtime=7.92 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 73773 0 0 0 748 44 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1712944 CPUtime=7.92 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 74054 0 0 0 740 52 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1712944 CPUtime=0.05 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 70 0 0 0 2 3 0 0 15 0 13 0 196625572 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1712944 CPUtime=0.69 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 486 0 0 0 69 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1712944 CPUtime=0.75 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 506 0 0 0 75 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15883] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15883/stat : 15883 (java) S 15864 15866 15820 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196780247 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.72 Current children cumulated vsize (Kb) 1712944 [startup+1791.24 s] /proc/loadavg: 0.99 0.98 0.97 2/79 15883 /proc/meminfo: memFree=651064/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1712944 CPUtime=1799.72 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 191035 0 1 0 179847 125 0 0 25 0 13 0 196625566 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071650348 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 428236 170453 1910 14 0 414982 0 [pid=15866/tid=15867] ppid=15864 vsize=1712944 CPUtime=7.92 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 73773 0 0 0 748 44 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1712944 CPUtime=7.92 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 74054 0 0 0 740 52 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1712944 CPUtime=0.05 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 70 0 0 0 2 3 0 0 16 0 13 0 196625572 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1712944 CPUtime=0.69 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 486 0 0 0 69 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1712944 CPUtime=0.75 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 506 0 0 0 75 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15883] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15883/stat : 15883 (java) S 15864 15866 15820 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196780247 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (Kb) 1712944 [startup+1792.25 s] /proc/loadavg: 0.99 0.98 0.97 2/79 15883 /proc/meminfo: memFree=651064/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1712944 CPUtime=1800.75 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 191036 0 1 0 179950 125 0 0 25 0 13 0 196625566 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071461990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 428236 170453 1910 14 0 414982 0 [pid=15866/tid=15867] ppid=15864 vsize=1712944 CPUtime=7.93 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 73773 0 0 0 749 44 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1712944 CPUtime=7.94 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 74054 0 0 0 742 52 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1712944 CPUtime=0.05 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 70 0 0 0 2 3 0 0 15 0 13 0 196625572 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1712944 CPUtime=0.69 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 486 0 0 0 69 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1712944 CPUtime=0.75 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 506 0 0 0 75 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15883] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15883/stat : 15883 (java) S 15864 15866 15820 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196780247 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 1712944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.25 s] /proc/loadavg: 0.99 0.98 0.97 2/79 15883 /proc/meminfo: memFree=651064/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1712944 CPUtime=1800.75 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 191036 0 1 0 179950 125 0 0 25 0 13 0 196625566 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071461743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 428236 170453 1910 14 0 414982 0 [pid=15866/tid=15867] ppid=15864 vsize=1712944 CPUtime=7.93 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 73773 0 0 0 749 44 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1712944 CPUtime=7.94 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 74054 0 0 0 742 52 0 0 16 0 13 0 196625570 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1712944 CPUtime=0.05 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 70 0 0 0 2 3 0 0 15 0 13 0 196625572 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196625573 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1712944 CPUtime=0.69 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 486 0 0 0 69 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1712944 CPUtime=0.75 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 506 0 0 0 75 0 0 0 16 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196625576 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15883] ppid=15864 vsize=1712944 CPUtime=0 /proc/15866/task/15883/stat : 15883 (java) S 15864 15866 15820 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196780247 1754054656 170453 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 1712944 Sending SIGTERM to -15866 Sleeping 2 seconds [startup+1793.26 s] /proc/loadavg: 1.07 1.00 0.97 3/82 15886 /proc/meminfo: memFree=643936/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=1713976 CPUtime=1802.73 /proc/15866/stat : 15866 (java) R 15864 15866 15820 0 -1 0 192253 0 1 0 180147 126 0 0 23 0 15 0 196625566 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071461554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15866/statm: 428494 171669 1913 14 0 415240 0 [pid=15866/tid=15867] ppid=15864 vsize=1713976 CPUtime=7.96 /proc/15866/task/15867/stat : 15867 (java) S 15864 15866 15820 0 -1 64 74958 0 0 0 751 45 0 0 17 0 15 0 196625570 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15868] ppid=15864 vsize=1713976 CPUtime=7.95 /proc/15866/task/15868/stat : 15868 (java) S 15864 15866 15820 0 -1 64 74054 0 0 0 743 52 0 0 16 0 15 0 196625570 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15869] ppid=15864 vsize=1713976 CPUtime=0.05 /proc/15866/task/15869/stat : 15869 (java) S 15864 15866 15820 0 -1 64 75 0 0 0 2 3 0 0 16 0 15 0 196625572 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15870] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15870/stat : 15870 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 16 0 15 0 196625573 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15871] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15871/stat : 15871 (java) S 15864 15866 15820 0 -1 64 5 0 0 0 0 0 0 0 16 0 15 0 196625573 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15872] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15872/stat : 15872 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 17 0 15 0 196625576 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15873] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15873/stat : 15873 (java) S 15864 15866 15820 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 196625576 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15874] ppid=15864 vsize=1713976 CPUtime=0.73 /proc/15866/task/15874/stat : 15874 (java) S 15864 15866 15820 0 -1 64 489 0 0 0 73 0 0 0 16 0 15 0 196625576 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15875] ppid=15864 vsize=1713976 CPUtime=0.81 /proc/15866/task/15875/stat : 15875 (java) S 15864 15866 15820 0 -1 64 510 0 0 0 81 0 0 0 16 0 15 0 196625576 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15876] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15876/stat : 15876 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 196625576 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15877] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15877/stat : 15877 (java) S 15864 15866 15820 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 196625576 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15883] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15883/stat : 15883 (java) S 15864 15866 15820 0 -1 64 0 0 0 0 0 0 0 0 16 0 15 0 196780247 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15866/tid=15885] ppid=15864 vsize=1713976 CPUtime=0 /proc/15866/task/15885/stat : 15885 (java) S 15864 15866 15820 0 -1 64 9 0 0 0 0 0 0 0 18 0 15 0 196804792 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15866/tid=15886] ppid=15864 vsize=1713976 CPUtime=0.85 /proc/15866/task/15886/stat : 15886 (java) R 15864 15866 15820 0 -1 64 6 0 0 0 85 0 0 0 22 0 15 0 196804792 1755111424 171669 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071565482 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1802.73 Current children cumulated vsize (Kb) 1713976 Sending SIGKILL to -15866 [startup+1794.27 s] !!! unable to read /proc/15866/task filesystem (No such file or directory) !!!/proc/loadavg: 1.07 1.00 0.97 3/69 15886 /proc/meminfo: memFree=643872/2055892 swapFree=4085732/4096564 [pid=15866] ppid=15864 vsize=0 CPUtime=1804.74 /proc/15866/stat : 15866 (java) Z 15864 15866 15820 0 -1 1036 192255 0 1 0 180347 127 0 0 16 0 2 0 196625566 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15866/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1804.74 Current children cumulated vsize (Kb) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1794.39 CPU time (s): 1804.84 CPU user time (s): 1803.47 CPU system time (s): 1.37079 CPU usage (%): 100.582 Max. virtual memory (cumulated for all children) (Kb): 1713976 The end
Begin job on node78 on Sat Jun 3 06:26:07 UTC 2006 FILE ID= 44764-1149315966 PBS_JOBID= 308330 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node78/44764-1149315966/instance-44764-1149315966.opb 440250396 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-44764-1149315966 -o ROOT/results/node78/solver-44764-1149315966 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node78/44764-1149315966/instance-44764-1149315966.opb 440250396 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 7c42bfce08dbcdfa75528339ed295749 RANDOM SEED= 440250396 /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.225 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 : 6006.17 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.225 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1327560 kB Buffers: 37500 kB Cached: 619852 kB SwapCached: 2520 kB Active: 225736 kB Inactive: 440404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1327560 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 264 kB Writeback: 0 kB Mapped: 15136 kB Slab: 48704 kB Committed_AS: 326152 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Sat Jun 3 06:56:02 UTC 2006