Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 1 | ? (TO) | 1800.31 | 1791.48 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb |
MD5SUM | f304ba5324add428c73c7022630c48ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 49 |
Best CPU time to get the best result obtained on this benchmark | 193.504 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 49 |
Optimality of the best value was proved | YES |
Number of variables | 27027 |
Total number of constraints | 1883063 |
Number of constraints which are clauses | 1877876 |
Number of constraints which are cardinality constraints (but not clauses) | 5187 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 182 |
Number of terms in the objective function | 182 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 180 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 362 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1791.31 s UNKNOWN
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node4/watcher-49279-1154114646 -o ROOT/results/node4/solver-49279-1154114646 -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/node4/49279-1154114646/instance-49279-1154114646.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.98 2/64 23053 /proc/meminfo: memFree=700800/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1596 CPUtime=0 /proc/23053/stat : 23053 (java) D 23051 23053 23004 0 -1 0 148 0 0 0 0 0 0 0 19 0 1 0 158326541 1634304 118 18446744073709551615 134512640 134570276 4294956512 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/23053/statm: 399 118 95 14 0 44 0 [startup+10.0025 s] /proc/loadavg: 1.15 1.00 0.99 3/75 23064 /proc/meminfo: memFree=282472/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=14 /proc/23053/stat : 23053 (java) S 23051 23053 23004 0 -1 0 115734 0 1 0 1349 51 0 0 18 0 12 0 158326541 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 106733 2329 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=3.7 /proc/23053/task/23054/stat : 23054 (java) R 23051 23053 23004 0 -1 64 42442 0 0 0 354 16 0 0 19 0 12 0 158326547 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4152729513 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=3.69 /proc/23053/task/23055/stat : 23055 (java) R 23051 23053 23004 0 -1 64 38033 0 0 0 352 17 0 0 19 0 12 0 158326547 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4154975172 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=1.9 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 9393 0 0 0 187 3 0 0 15 0 12 0 158326550 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 158326554 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.24 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 1067 0 0 0 24 0 0 0 16 0 12 0 158326554 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.24 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1309 0 0 0 24 0 0 0 16 0 12 0 158326554 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 106733 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14 Current children cumulated vsize (Kb) 1714296 [startup+20.0103 s] /proc/loadavg: 1.12 1.00 0.99 2/75 23064 /proc/meminfo: memFree=17704/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1722300 CPUtime=27.57 /proc/23053/stat : 23053 (java) S 23051 23053 23004 0 -1 0 203282 0 1 0 2659 98 0 0 18 0 12 0 158326541 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 430575 185687 2329 14 0 416967 0 [pid=23053/tid=23054] ppid=23051 vsize=1722300 CPUtime=7.26 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 84049 0 0 0 690 36 0 0 16 0 12 0 158326547 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1722300 CPUtime=7.26 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 80433 0 0 0 687 39 0 0 19 0 12 0 158326547 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1722300 CPUtime=4.36 /proc/23053/task/23056/stat : 23056 (java) R 23051 23053 23004 0 -1 64 12920 0 0 0 431 5 0 0 25 0 12 0 158326550 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4154938542 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1722300 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1722300 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1722300 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1722300 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 158326554 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1722300 CPUtime=0.24 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 1067 0 0 0 24 0 0 0 15 0 12 0 158326554 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1722300 CPUtime=0.26 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1311 0 0 0 26 0 0 0 16 0 12 0 158326554 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1722300 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1722300 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1763635200 185687 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 27.57 Current children cumulated vsize (Kb) 1722300 [startup+30.0171 s] /proc/loadavg: 1.10 1.00 0.99 2/75 23064 /proc/meminfo: memFree=15720/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=39.25 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235703 0 1 0 3809 116 0 0 25 0 12 0 158326541 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071501443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211482 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.38 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 628 10 0 0 16 0 12 0 158326550 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.78 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2216 0 0 0 78 0 0 0 16 0 12 0 158326554 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.76 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1556 0 0 0 76 0 0 0 16 0 12 0 158326554 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211482 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 39.25 Current children cumulated vsize (Kb) 1714296 [startup+40.0239 s] /proc/loadavg: 1.09 1.00 0.99 2/75 23064 /proc/meminfo: memFree=16360/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=49.26 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235706 0 1 0 4809 117 0 0 25 0 12 0 158326541 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071742595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211345 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.38 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 628 10 0 0 16 0 12 0 158326550 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.79 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2216 0 0 0 79 0 0 0 16 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.77 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1558 0 0 0 77 0 0 0 16 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 49.26 Current children cumulated vsize (Kb) 1714296 [startup+50.0316 s] /proc/loadavg: 1.07 1.00 0.99 2/75 23064 /proc/meminfo: memFree=16424/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=59.27 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235707 0 1 0 5810 117 0 0 25 0 12 0 158326541 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071742019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211345 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.38 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 628 10 0 0 16 0 12 0 158326550 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.79 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2217 0 0 0 79 0 0 0 17 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.77 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1558 0 0 0 77 0 0 0 17 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211345 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 59.27 Current children cumulated vsize (Kb) 1714296 [startup+60.0384 s] /proc/loadavg: 1.06 1.00 0.99 2/75 23064 /proc/meminfo: memFree=16488/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=69.28 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235710 0 1 0 6811 117 0 0 25 0 12 0 158326541 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071742595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211348 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.38 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 628 10 0 0 16 0 12 0 158326550 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.8 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2218 0 0 0 80 0 0 0 17 0 12 0 158326554 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.78 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1559 0 0 0 78 0 0 0 17 0 12 0 158326554 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211348 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 ################ # More data... # ################ /proc/loadavg: 1.00 1.00 0.99 2/75 23066 /proc/meminfo: memFree=15656/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=1796.1 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235746 0 1 0 179491 119 0 0 25 0 12 0 158326541 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071675011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211369 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.39 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 629 10 0 0 16 0 12 0 158326550 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.95 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2231 0 0 0 95 0 0 0 17 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.86 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1568 0 0 0 86 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (Kb) 1714296 [startup+1788.29 s] /proc/loadavg: 1.00 1.00 0.99 2/75 23066 /proc/meminfo: memFree=15656/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=1797.1 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235746 0 1 0 179591 119 0 0 25 0 12 0 158326541 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071684035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211369 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.39 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 629 10 0 0 16 0 12 0 158326550 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.95 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2231 0 0 0 95 0 0 0 17 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.86 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1568 0 0 0 86 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.1 Current children cumulated vsize (Kb) 1714296 [startup+1789.29 s] /proc/loadavg: 1.00 1.00 0.99 2/75 23066 /proc/meminfo: memFree=15656/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=1798.11 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235746 0 1 0 179692 119 0 0 25 0 12 0 158326541 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071684010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211369 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.39 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 629 10 0 0 16 0 12 0 158326550 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.95 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2231 0 0 0 95 0 0 0 17 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.86 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1568 0 0 0 86 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.11 Current children cumulated vsize (Kb) 1714296 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.99 2/75 23066 /proc/meminfo: memFree=15656/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=1799.11 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235746 0 1 0 179792 119 0 0 25 0 12 0 158326541 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071696374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211369 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.39 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 629 10 0 0 16 0 12 0 158326550 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.95 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2231 0 0 0 95 0 0 0 17 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.86 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1568 0 0 0 86 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.11 Current children cumulated vsize (Kb) 1714296 [startup+1791.3 s] /proc/loadavg: 1.00 1.00 0.99 2/75 23066 /proc/meminfo: memFree=15656/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=1800.12 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235746 0 1 0 179893 119 0 0 25 0 12 0 158326541 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071792788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211369 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.39 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 629 10 0 0 16 0 12 0 158326550 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.95 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2231 0 0 0 95 0 0 0 17 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.86 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1568 0 0 0 86 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (Kb) 1714296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.31 s] /proc/loadavg: 1.00 1.00 0.99 2/75 23066 /proc/meminfo: memFree=15656/2055920 swapFree=4183140/4192956 [pid=23053] ppid=23051 vsize=1714296 CPUtime=1800.12 /proc/23053/stat : 23053 (java) R 23051 23053 23004 0 -1 0 235746 0 1 0 179893 119 0 0 25 0 12 0 158326541 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071684010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23053/statm: 428574 211369 2562 14 0 414966 0 [pid=23053/tid=23054] ppid=23051 vsize=1714296 CPUtime=8.22 /proc/23053/task/23054/stat : 23054 (java) S 23051 23053 23004 0 -1 64 95928 0 0 0 780 42 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23055] ppid=23051 vsize=1714296 CPUtime=8.2 /proc/23053/task/23055/stat : 23055 (java) S 23051 23053 23004 0 -1 64 92677 0 0 0 775 45 0 0 18 0 12 0 158326547 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23056] ppid=23051 vsize=1714296 CPUtime=6.39 /proc/23053/task/23056/stat : 23056 (java) S 23051 23053 23004 0 -1 64 19516 0 0 0 629 10 0 0 16 0 12 0 158326550 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23057] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23057/stat : 23057 (java) S 23051 23053 23004 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23058] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23058/stat : 23058 (java) S 23051 23053 23004 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158326551 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23059] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23059/stat : 23059 (java) S 23051 23053 23004 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23060] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23060/stat : 23060 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23061] ppid=23051 vsize=1714296 CPUtime=0.95 /proc/23053/task/23061/stat : 23061 (java) S 23051 23053 23004 0 -1 64 2231 0 0 0 95 0 0 0 17 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23053/tid=23062] ppid=23051 vsize=1714296 CPUtime=0.86 /proc/23053/task/23062/stat : 23062 (java) S 23051 23053 23004 0 -1 64 1568 0 0 0 86 0 0 0 16 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23063] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23063/stat : 23063 (java) S 23051 23053 23004 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23053/tid=23064] ppid=23051 vsize=1714296 CPUtime=0 /proc/23053/task/23064/stat : 23064 (java) S 23051 23053 23004 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158326554 1755439104 211369 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (Kb) 1714296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1791.48 CPU time (s): 1800.31 CPU user time (s): 1798.99 CPU system time (s): 1.3238 CPU usage (%): 100.493 Max. virtual memory (cumulated for all children) (Kb): 1722300 The end
Begin job on node4 on Fri Jul 28 19:24:10 UTC 2006 FILE ID= 49279-1154114646 PBS_JOBID= 886659 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.10.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/node4/49279-1154114646/instance-49279-1154114646.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-49279-1154114646 -o ROOT/results/node4/solver-49279-1154114646 -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/node4/49279-1154114646/instance-49279-1154114646.opb MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771 MD5SUM BENCH= f304ba5324add428c73c7022630c48ee RANDOM SEED= 352460509 TIMEOUT= 1800 seconds /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.256 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.256 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: 701008 kB Buffers: 47480 kB Cached: 1222288 kB SwapCached: 3804 kB Active: 511484 kB Inactive: 767068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 701008 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14816 kB Slab: 62232 kB Committed_AS: 659464 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jul 28 19:54:02 UTC 2006