Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
absconPseudo 1 | ? (TO) | 1800.45 | 1787.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb |
MD5SUM | 8bb4ff591e2fd696de21761de4abecdf |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 13.137 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4500 |
Total number of constraints | 2559501 |
Number of constraints which are clauses | 2554450 |
Number of constraints which are cardinality constraints (but not clauses) | 101 |
Number of constraints which are nor clauses,nor cardinality constraints | 4950 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 466 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2049 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1787.53 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 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/node0/watcher-30294-1149321282 -o ROOT/results/node0/solver-30294-1149321282 -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/node0/30294-1149321282/instance-30294-1149321282.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.95 0.98 2/64 20291 /proc/meminfo: memFree=1523824/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=168 CPUtime=0 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 197789924 172032 23 18446744073709551615 134512640 134570276 4294956512 18446744073709551615 8069924 0 0 4096 0 0 0 0 17 1 0 0 /proc/20291/statm: 42 23 18 14 0 2 0 [startup+10.003 s] /proc/loadavg: 1.02 0.98 0.99 3/75 20302 /proc/meminfo: memFree=1107032/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1713436 CPUtime=14 /proc/20291/stat : 20291 (java) S 20289 20291 20245 0 -1 0 115561 0 1 0 1343 57 0 0 18 0 12 0 197789924 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20291/statm: 428359 106337 2325 14 0 414751 0 [pid=20291/tid=20292] ppid=20289 vsize=1713436 CPUtime=3.74 /proc/20291/task/20292/stat : 20292 (java) R 20289 20291 20245 0 -1 64 39275 0 0 0 356 18 0 0 18 0 12 0 197789928 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4152729603 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1713436 CPUtime=3.74 /proc/20291/task/20293/stat : 20293 (java) R 20289 20291 20245 0 -1 64 40354 0 0 0 354 20 0 0 19 0 12 0 197789928 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4154975264 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1713436 CPUtime=2.12 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 11362 0 0 0 209 3 0 0 16 0 12 0 197789931 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1713436 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1713436 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 197789931 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1713436 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1713436 CPUtime=0 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 197789935 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1713436 CPUtime=0.2 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 558 0 0 0 20 0 0 0 17 0 12 0 197789935 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1713436 CPUtime=0.17 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 545 0 0 0 17 0 0 0 17 0 12 0 197789935 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1713436 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1754558464 106337 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1713436 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1754558464 106337 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) 1713436 [startup+20.0101 s] /proc/loadavg: 1.10 1.00 0.99 2/75 20302 /proc/meminfo: memFree=790168/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1721408 CPUtime=27.35 /proc/20291/stat : 20291 (java) S 20289 20291 20245 0 -1 0 201471 0 1 0 2632 103 0 0 18 0 12 0 197789924 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20291/statm: 430352 185460 2326 14 0 416744 0 [pid=20291/tid=20292] ppid=20289 vsize=1721408 CPUtime=7.02 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 78028 0 0 0 664 38 0 0 18 0 12 0 197789928 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1721408 CPUtime=7.02 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 84023 0 0 0 661 41 0 0 19 0 12 0 197789928 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1721408 CPUtime=5.1 /proc/20291/task/20294/stat : 20294 (java) R 20289 20291 20245 0 -1 64 14778 0 0 0 505 5 0 0 25 0 12 0 197789931 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4154938615 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1721408 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1721408 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 197789931 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1721408 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1721408 CPUtime=0 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197789935 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1721408 CPUtime=0.22 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 559 0 0 0 22 0 0 0 15 0 12 0 197789935 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1721408 CPUtime=0.22 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 603 0 0 0 22 0 0 0 17 0 12 0 197789935 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1721408 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1721408 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1762721792 185460 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 27.35 Current children cumulated vsize (Kb) 1721408 [startup+30.0172 s] /proc/loadavg: 1.08 1.00 0.99 3/75 20302 /proc/meminfo: memFree=364952/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1732180 CPUtime=42.15 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 325563 0 1 0 4047 168 0 0 25 0 12 0 197789924 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071481001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20291/statm: 433045 291585 2330 14 0 419437 0 [pid=20291/tid=20292] ppid=20289 vsize=1732180 CPUtime=10.37 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 130682 0 0 0 973 64 0 0 16 0 12 0 197789928 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1732180 CPUtime=10.39 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 138316 0 0 0 969 70 0 0 16 0 12 0 197789928 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1732180 CPUtime=6.77 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 21444 0 0 0 670 7 0 0 16 0 12 0 197789931 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1732180 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1732180 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 197789931 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1732180 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1732180 CPUtime=0 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197789935 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1732180 CPUtime=1.16 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 7765 0 0 0 113 3 0 0 17 0 12 0 197789935 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1732180 CPUtime=0.93 /proc/20291/task/20300/stat : 20300 (java) R 20289 20291 20245 0 -1 64 3789 0 0 0 91 2 0 0 20 0 12 0 197789935 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4152701445 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1732180 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1732180 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1773752320 291585 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.15 Current children cumulated vsize (Kb) 1732180 [startup+40.0244 s] /proc/loadavg: 1.14 1.02 1.00 2/75 20302 /proc/meminfo: memFree=314136/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1723384 CPUtime=52.63 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 349448 0 1 0 5083 180 0 0 25 0 12 0 197789924 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071453646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430846 304242 2340 14 0 417238 0 [pid=20291/tid=20292] ppid=20289 vsize=1723384 CPUtime=10.48 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 136370 0 0 0 981 67 0 0 17 0 12 0 197789928 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1723384 CPUtime=10.51 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 143336 0 0 0 977 74 0 0 17 0 12 0 197789928 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1723384 CPUtime=14.17 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1406 11 0 0 16 0 12 0 197789931 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 197789931 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197789935 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1723384 CPUtime=1.32 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8514 0 0 0 128 4 0 0 16 0 12 0 197789935 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1723384 CPUtime=1.28 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5210 0 0 0 126 2 0 0 22 0 12 0 197789935 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1764745216 304242 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.63 Current children cumulated vsize (Kb) 1723384 [startup+50.0315 s] /proc/loadavg: 1.12 1.01 1.00 2/75 20302 /proc/meminfo: memFree=293592/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1723384 CPUtime=62.74 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 355478 0 1 0 6090 184 0 0 25 0 12 0 197789924 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071453609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20291/statm: 430846 309385 2340 14 0 417238 0 [pid=20291/tid=20292] ppid=20289 vsize=1723384 CPUtime=10.59 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 139536 0 0 0 990 69 0 0 16 0 12 0 197789928 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1723384 CPUtime=10.61 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146193 0 0 0 986 75 0 0 17 0 12 0 197789928 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1723384 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 16 0 12 0 197789931 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 197789931 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197789935 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1723384 CPUtime=1.32 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8514 0 0 0 128 4 0 0 16 0 12 0 197789935 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1723384 CPUtime=1.28 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5210 0 0 0 126 2 0 0 17 0 12 0 197789935 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1723384 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1764745216 309385 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 62.74 Current children cumulated vsize (Kb) 1723384 [startup+60.0386 s] /proc/loadavg: 1.10 1.01 1.00 2/75 20302 /proc/meminfo: memFree=291928/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1720212 CPUtime=73.19 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 357347 0 1 0 7133 186 0 0 25 0 12 0 197789924 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071835966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430053 309984 2566 14 0 416445 0 [pid=20291/tid=20292] ppid=20289 vsize=1720212 CPUtime=10.61 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 140293 0 0 0 992 69 0 0 16 0 12 0 197789928 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1720212 CPUtime=10.64 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146874 0 0 0 988 76 0 0 17 0 12 0 197789928 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1720212 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 17 0 12 0 197789931 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1720212 CPUtime=0.01 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 1 0 0 0 17 0 12 0 197789935 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1720212 CPUtime=1.63 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8586 0 0 0 159 4 0 0 17 0 12 0 197789935 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1720212 CPUtime=1.64 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5277 0 0 0 161 3 0 0 17 0 12 0 197789935 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1761497088 309984 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/75 20497 /proc/meminfo: memFree=290968/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1720212 CPUtime=1796.23 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 357417 0 1 0 179431 192 0 0 25 0 12 0 197789924 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071772708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430053 309989 2566 14 0 416445 0 [pid=20291/tid=20292] ppid=20289 vsize=1720212 CPUtime=10.61 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 140293 0 0 0 992 69 0 0 16 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1720212 CPUtime=10.64 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146874 0 0 0 988 76 0 0 17 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1720212 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1720212 CPUtime=0.01 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 1 0 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1720212 CPUtime=1.72 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8591 0 0 0 168 4 0 0 16 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1720212 CPUtime=1.79 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5318 0 0 0 176 3 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (Kb) 1720212 [startup+1784.51 s] /proc/loadavg: 1.00 1.00 1.00 2/75 20497 /proc/meminfo: memFree=290968/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1720212 CPUtime=1797.24 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 357417 0 1 0 179532 192 0 0 25 0 12 0 197789924 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071830399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430053 309989 2566 14 0 416445 0 [pid=20291/tid=20292] ppid=20289 vsize=1720212 CPUtime=10.61 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 140293 0 0 0 992 69 0 0 16 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1720212 CPUtime=10.64 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146874 0 0 0 988 76 0 0 17 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1720212 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1720212 CPUtime=0.01 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 1 0 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1720212 CPUtime=1.72 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8591 0 0 0 168 4 0 0 16 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1720212 CPUtime=1.79 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5318 0 0 0 176 3 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (Kb) 1720212 [startup+1785.52 s] /proc/loadavg: 1.00 1.00 1.00 2/75 20497 /proc/meminfo: memFree=290968/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1720212 CPUtime=1798.24 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 357417 0 1 0 179632 192 0 0 25 0 12 0 197789924 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071803818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430053 309989 2566 14 0 416445 0 [pid=20291/tid=20292] ppid=20289 vsize=1720212 CPUtime=10.61 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 140293 0 0 0 992 69 0 0 16 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1720212 CPUtime=10.64 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146874 0 0 0 988 76 0 0 17 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1720212 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1720212 CPUtime=0.01 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 1 0 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1720212 CPUtime=1.72 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8591 0 0 0 168 4 0 0 16 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1720212 CPUtime=1.79 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5318 0 0 0 176 3 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.24 Current children cumulated vsize (Kb) 1720212 [startup+1786.52 s] /proc/loadavg: 1.00 1.00 1.00 2/75 20497 /proc/meminfo: memFree=290968/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1720212 CPUtime=1799.25 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 357417 0 1 0 179733 192 0 0 25 0 12 0 197789924 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071835966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430053 309989 2566 14 0 416445 0 [pid=20291/tid=20292] ppid=20289 vsize=1720212 CPUtime=10.61 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 140293 0 0 0 992 69 0 0 16 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1720212 CPUtime=10.64 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146874 0 0 0 988 76 0 0 17 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1720212 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1720212 CPUtime=0.01 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 1 0 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1720212 CPUtime=1.72 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8591 0 0 0 168 4 0 0 16 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1720212 CPUtime=1.79 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5318 0 0 0 176 3 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.25 Current children cumulated vsize (Kb) 1720212 [startup+1787.53 s] /proc/loadavg: 1.00 1.00 1.00 2/75 20497 /proc/meminfo: memFree=290968/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1720212 CPUtime=1800.26 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 357417 0 1 0 179834 192 0 0 25 0 12 0 197789924 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071772752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430053 309989 2566 14 0 416445 0 [pid=20291/tid=20292] ppid=20289 vsize=1720212 CPUtime=10.61 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 140293 0 0 0 992 69 0 0 16 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1720212 CPUtime=10.64 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146874 0 0 0 988 76 0 0 17 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1720212 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1720212 CPUtime=0.01 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 1 0 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1720212 CPUtime=1.72 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8591 0 0 0 168 4 0 0 16 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1720212 CPUtime=1.79 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5318 0 0 0 176 3 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (Kb) 1720212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.53 s] /proc/loadavg: 1.00 1.00 1.00 2/75 20497 /proc/meminfo: memFree=290968/2055920 swapFree=4191892/4192956 [pid=20291] ppid=20289 vsize=1720212 CPUtime=1800.26 /proc/20291/stat : 20291 (java) R 20289 20291 20245 0 -1 0 357417 0 1 0 179834 192 0 0 25 0 12 0 197789924 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071772734 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20291/statm: 430053 309989 2566 14 0 416445 0 [pid=20291/tid=20292] ppid=20289 vsize=1720212 CPUtime=10.61 /proc/20291/task/20292/stat : 20292 (java) S 20289 20291 20245 0 -1 64 140293 0 0 0 992 69 0 0 16 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20293] ppid=20289 vsize=1720212 CPUtime=10.64 /proc/20291/task/20293/stat : 20293 (java) S 20289 20291 20245 0 -1 64 146874 0 0 0 988 76 0 0 17 0 12 0 197789928 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20294] ppid=20289 vsize=1720212 CPUtime=14.18 /proc/20291/task/20294/stat : 20294 (java) S 20289 20291 20245 0 -1 64 32429 0 0 0 1407 11 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20295] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20295/stat : 20295 (java) S 20289 20291 20245 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20296] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20296/stat : 20296 (java) S 20289 20291 20245 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197789931 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20297] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20297/stat : 20297 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20298] ppid=20289 vsize=1720212 CPUtime=0.01 /proc/20291/task/20298/stat : 20298 (java) S 20289 20291 20245 0 -1 64 4 0 0 0 1 0 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20299] ppid=20289 vsize=1720212 CPUtime=1.72 /proc/20291/task/20299/stat : 20299 (java) S 20289 20291 20245 0 -1 64 8591 0 0 0 168 4 0 0 16 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20300] ppid=20289 vsize=1720212 CPUtime=1.79 /proc/20291/task/20300/stat : 20300 (java) S 20289 20291 20245 0 -1 64 5318 0 0 0 176 3 0 0 17 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20291/tid=20301] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20301/stat : 20301 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20291/tid=20302] ppid=20289 vsize=1720212 CPUtime=0 /proc/20291/task/20302/stat : 20302 (java) S 20289 20291 20245 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 197789935 1761497088 309989 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (Kb) 1720212 Sending SIGTERM to -20291 Sleeping 2 seconds Child status: 143 Real time (s): 1787.72 CPU time (s): 1800.45 CPU user time (s): 1798.35 CPU system time (s): 2.10268 CPU usage (%): 100.712 Max. virtual memory (cumulated for all children) (Kb): 1732180
Begin job on node0 on Sat Jun 3 07:54:43 UTC 2006 FILE ID= 30294-1149321282 PBS_JOBID= 309338 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.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/node0/30294-1149321282/instance-30294-1149321282.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node0/watcher-30294-1149321282 -o ROOT/results/node0/solver-30294-1149321282 -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/node0/30294-1149321282/instance-30294-1149321282.opb MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771 MD5SUM BENCH= 8bb4ff591e2fd696de21761de4abecdf RANDOM SEED= 829455743 /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.236 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.236 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: 1524224 kB Buffers: 24868 kB Cached: 440100 kB SwapCached: 492 kB Active: 225924 kB Inactive: 255704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1524224 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 192 kB Writeback: 0 kB Mapped: 25740 kB Slab: 35992 kB Committed_AS: 274332 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node0 on Sat Jun 3 08:24:32 UTC 2006