Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong UNSAT | 39.0941 | 28.5955 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-22_wcsp.wbo |
MD5SUM | a17cc9631cce6dbec0a98622ec920de1 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 46905 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1810 |
Total number of constraints | 164594 |
Number of soft constraints | 164495 |
Number of constraints which are clauses | 164495 |
Number of constraints which are cardinality constraints (but not clauses) | 99 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 22 |
Top cost | 252932 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 28915211 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 23 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100531 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c ManyCore solver with 2 solvers running in parallel 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@18385e3 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@cf40f5 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 0.11/0.10 c solving HOME/instance-2701434-1278540055.wbo 0.11/0.10 c reading problem ... 36.28/27.53 c ... done. Wall clock time 27.429s. 36.28/27.53 c #vars 166305 36.28/27.53 c #constraints 164478 36.28/27.53 c constraints type 36.28/27.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 99 36.28/27.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 164344 36.28/27.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 36.28/27.53 c constraints type 36.28/27.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 99 36.28/27.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 164344 36.28/27.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 38.83/28.49 c And the winner is Resolution 39.07/28.54 c starts : 1 39.07/28.54 c conflicts : 181 39.07/28.54 c decisions : 701057 39.07/28.54 c propagations : 735759 39.07/28.54 c inspects : 67542 39.07/28.54 c learnt literals : 18 39.07/28.54 c learnt binary clauses : 3 39.07/28.54 c learnt ternary clauses : 9 39.07/28.54 c learnt clauses : 162 39.07/28.54 c ignored clauses : 0 39.07/28.54 c root simplifications : 0 39.07/28.54 c removed literals (reason simplification) : 81 39.07/28.54 c reason swapping (by a shorter reason) : 0 39.07/28.54 c Calls to reduceDB : 0 39.07/28.54 c number of reductions to clauses (during analyze) : 0 39.07/28.54 c number of learned constraints concerned by reduction : 0 39.07/28.54 c number of learning phase by resolution : 0 39.07/28.54 c number of learning phase by cutting planes : 0 39.07/28.54 c speed (assignments/second) : 732827.6892430279 39.07/28.54 c non guided choices 2145 39.07/28.54 c learnt constraints type 39.07/28.54 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 159 39.07/28.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 39.07/28.54 c constraints type 39.07/28.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 99 39.07/28.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 164344 39.07/28.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 39.07/28.54 c constraints type 39.07/28.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 99 39.07/28.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 164344 39.07/28.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 39.07/28.54 s UNSATISFIABLE 39.07/28.54 c Total wall clock time (in seconds): 28.435
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701434-1278540055/watcher-2701434-1278540055 -o /tmp/evaluation-result-2701434-1278540055/solver-2701434-1278540055 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701434-1278540055.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.88 2.52 2.19 3/196 19458 /proc/meminfo: memFree=28567552/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=13164 CPUtime=0 /proc/19458/stat : 19458 (java) R 19456 19458 17896 0 -1 4194304 880 0 0 0 0 0 0 0 25 0 1 0 22219360 13479936 399 4089446400 134512640 134550932 4290616864 18446744073709551615 2815621 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19458/statm: 3291 405 143 10 0 1121 0 [startup+0.088819 s] /proc/loadavg: 2.88 2.52 2.19 3/196 19458 /proc/meminfo: memFree=28567552/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1529864 CPUtime=0.09 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 5074 0 1 0 8 1 0 0 25 0 18 0 22219360 1566580736 4512 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 382466 4512 1340 10 0 379769 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1529864 [startup+0.100755 s] /proc/loadavg: 2.88 2.52 2.19 3/196 19458 /proc/meminfo: memFree=28567552/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1529864 CPUtime=0.11 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 5228 0 1 0 10 1 0 0 25 0 18 0 22219360 1566580736 4665 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 382466 4665 1346 10 0 379769 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529864 [startup+0.300778 s] /proc/loadavg: 2.88 2.52 2.19 3/196 19458 /proc/meminfo: memFree=28567552/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1533096 CPUtime=0.55 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 17384 0 1 0 52 3 0 0 25 0 18 0 22219360 1569890304 16665 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 383274 16672 1414 10 0 380577 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 1533096 [startup+0.700654 s] /proc/loadavg: 2.88 2.52 2.19 3/196 19458 /proc/meminfo: memFree=28567552/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1541160 CPUtime=1.52 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 47727 0 1 0 144 8 0 0 25 0 18 0 22219360 1578147840 45784 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 385290 45784 1425 10 0 382593 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 1541160 [startup+1.50051 s] /proc/loadavg: 2.88 2.52 2.19 3/214 19476 /proc/meminfo: memFree=28382224/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1541160 CPUtime=2.62 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 53022 0 1 0 252 10 0 0 25 0 18 0 22219360 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 385290 50451 1425 10 0 382593 0 [pid=19458/tid=19460] ppid=19456 vsize=1541160 CPUtime=1.37 /proc/19458/task/19460/stat : 19460 (java) R 19456 19458 17896 0 -1 4202560 35779 0 1 0 131 6 0 0 18 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1541160 CPUtime=0.02 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 541 0 0 0 2 0 0 0 16 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1541160 CPUtime=0.04 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 1692 0 0 0 4 0 0 0 15 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1541160 CPUtime=0.07 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 2176 0 0 0 7 0 0 0 16 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1541160 CPUtime=0.05 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 1455 0 0 0 5 0 0 0 15 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 [pid=19458/tid=19465] ppid=19456 vsize=1541160 CPUtime=0.04 /proc/19458/task/19465/stat : 19465 (java) S 19456 19458 17896 0 -1 4202560 1270 0 0 0 4 0 0 0 16 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19466] ppid=19456 vsize=1541160 CPUtime=0.06 /proc/19458/task/19466/stat : 19466 (java) S 19456 19458 17896 0 -1 4202560 1855 0 0 0 6 0 0 0 15 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19467] ppid=19456 vsize=1541160 CPUtime=0.03 /proc/19458/task/19467/stat : 19467 (java) S 19456 19458 17896 0 -1 4202560 773 0 0 0 3 0 0 0 16 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 5 0 0 0 [pid=19458/tid=19468] ppid=19456 vsize=1541160 CPUtime=0.06 /proc/19458/task/19468/stat : 19468 (java) S 19456 19458 17896 0 -1 4202560 1632 0 0 0 6 0 0 0 15 0 18 0 22219361 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19469] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19469/stat : 19469 (java) S 19456 19458 17896 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 18 0 22219362 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19470] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19470/stat : 19470 (java) S 19456 19458 17896 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22219362 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19471] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19471/stat : 19471 (java) S 19456 19458 17896 0 -1 4202560 6 0 0 0 0 0 0 0 22 0 18 0 22219362 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19472] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19472/stat : 19472 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19473] ppid=19456 vsize=1541160 CPUtime=0.32 /proc/19458/task/19473/stat : 19473 (java) S 19456 19458 17896 0 -1 4202560 2333 0 0 0 32 0 0 0 15 0 18 0 22219365 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19474] ppid=19456 vsize=1541160 CPUtime=0.46 /proc/19458/task/19474/stat : 19474 (java) S 19456 19458 17896 0 -1 4202560 2425 0 0 0 46 0 0 0 16 0 18 0 22219365 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19475] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19475/stat : 19475 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19476] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19476/stat : 19476 (java) S 19456 19458 17896 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 22219365 1578147840 50451 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 1541160 [startup+3.10123 s] /proc/loadavg: 2.81 2.51 2.19 3/214 19476 /proc/meminfo: memFree=28365488/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1541160 CPUtime=4.51 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 56839 0 1 0 440 11 0 0 25 0 18 0 22219360 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 385290 54036 1425 10 0 382593 0 [pid=19458/tid=19460] ppid=19456 vsize=1541160 CPUtime=2.88 /proc/19458/task/19460/stat : 19460 (java) R 19456 19458 17896 0 -1 4202560 36042 0 1 0 282 6 0 0 20 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 106834528 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1541160 CPUtime=0.06 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 944 0 0 0 6 0 0 0 16 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1541160 CPUtime=0.08 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 2269 0 0 0 8 0 0 0 16 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1541160 CPUtime=0.11 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 2532 0 0 0 11 0 0 0 16 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1541160 CPUtime=0.1 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 1907 0 0 0 10 0 0 0 16 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 [pid=19458/tid=19465] ppid=19456 vsize=1541160 CPUtime=0.09 /proc/19458/task/19465/stat : 19465 (java) S 19456 19458 17896 0 -1 4202560 1787 0 0 0 9 0 0 0 15 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19466] ppid=19456 vsize=1541160 CPUtime=0.11 /proc/19458/task/19466/stat : 19466 (java) S 19456 19458 17896 0 -1 4202560 2297 0 0 0 11 0 0 0 15 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19467] ppid=19456 vsize=1541160 CPUtime=0.08 /proc/19458/task/19467/stat : 19467 (java) S 19456 19458 17896 0 -1 4202560 1213 0 0 0 8 0 0 0 15 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 5 0 0 0 [pid=19458/tid=19468] ppid=19456 vsize=1541160 CPUtime=0.11 /proc/19458/task/19468/stat : 19468 (java) S 19456 19458 17896 0 -1 4202560 1998 0 0 0 11 0 0 0 16 0 18 0 22219361 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19469] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19469/stat : 19469 (java) S 19456 19458 17896 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 18 0 22219362 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19470] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19470/stat : 19470 (java) S 19456 19458 17896 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22219362 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19471] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19471/stat : 19471 (java) S 19456 19458 17896 0 -1 4202560 6 0 0 0 0 0 0 0 22 0 18 0 22219362 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19472] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19472/stat : 19472 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19473] ppid=19456 vsize=1541160 CPUtime=0.32 /proc/19458/task/19473/stat : 19473 (java) S 19456 19458 17896 0 -1 4202560 2333 0 0 0 32 0 0 0 15 0 18 0 22219365 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19474] ppid=19456 vsize=1541160 CPUtime=0.46 /proc/19458/task/19474/stat : 19474 (java) S 19456 19458 17896 0 -1 4202560 2425 0 0 0 46 0 0 0 16 0 18 0 22219365 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19475] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19475/stat : 19475 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19476] ppid=19456 vsize=1541160 CPUtime=0 /proc/19458/task/19476/stat : 19476 (java) S 19456 19458 17896 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 22219365 1578147840 54036 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.51 Current children cumulated vsize (KiB) 1541160 [startup+6.30068 s] /proc/loadavg: 2.81 2.51 2.19 10/214 19476 /proc/meminfo: memFree=28343124/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1538640 CPUtime=8.57 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 61927 0 1 0 833 24 0 0 25 0 18 0 22219360 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 384660 58276 1425 10 0 381963 0 [pid=19458/tid=19460] ppid=19456 vsize=1538640 CPUtime=5.86 /proc/19458/task/19460/stat : 19460 (java) R 19456 19458 17896 0 -1 4202560 36132 0 1 0 580 6 0 0 25 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1538640 CPUtime=0.18 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 1653 0 0 0 17 1 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1538640 CPUtime=0.21 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 3001 0 0 0 20 1 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1538640 CPUtime=0.26 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 3362 0 0 0 24 2 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1538640 CPUtime=0.23 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 2597 0 0 0 22 1 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 1 0 0 0 [pid=19458/tid=19465] ppid=19456 vsize=1538640 CPUtime=0.19 /proc/19458/task/19465/stat : 19465 (java) S 19456 19458 17896 0 -1 4202560 2166 0 0 0 18 1 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19466] ppid=19456 vsize=1538640 CPUtime=0.25 /proc/19458/task/19466/stat : 19466 (java) S 19456 19458 17896 0 -1 4202560 2924 0 0 0 24 1 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19467] ppid=19456 vsize=1538640 CPUtime=0.22 /proc/19458/task/19467/stat : 19467 (java) S 19456 19458 17896 0 -1 4202560 1716 0 0 0 21 1 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19468] ppid=19456 vsize=1538640 CPUtime=0.24 /proc/19458/task/19468/stat : 19468 (java) S 19456 19458 17896 0 -1 4202560 2526 0 0 0 23 1 0 0 16 0 18 0 22219361 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 5 0 0 0 [pid=19458/tid=19469] ppid=19456 vsize=1538640 CPUtime=0.02 /proc/19458/task/19469/stat : 19469 (java) S 19456 19458 17896 0 -1 4202560 30 0 0 0 1 1 0 0 15 0 18 0 22219362 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19470] ppid=19456 vsize=1538640 CPUtime=0 /proc/19458/task/19470/stat : 19470 (java) S 19456 19458 17896 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22219362 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19471] ppid=19456 vsize=1538640 CPUtime=0 /proc/19458/task/19471/stat : 19471 (java) S 19456 19458 17896 0 -1 4202560 6 0 0 0 0 0 0 0 22 0 18 0 22219362 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19472] ppid=19456 vsize=1538640 CPUtime=0 /proc/19458/task/19472/stat : 19472 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19473] ppid=19456 vsize=1538640 CPUtime=0.32 /proc/19458/task/19473/stat : 19473 (java) S 19456 19458 17896 0 -1 4202560 2333 0 0 0 32 0 0 0 15 0 18 0 22219365 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19474] ppid=19456 vsize=1538640 CPUtime=0.46 /proc/19458/task/19474/stat : 19474 (java) S 19456 19458 17896 0 -1 4202560 2425 0 0 0 46 0 0 0 16 0 18 0 22219365 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19475] ppid=19456 vsize=1538640 CPUtime=0 /proc/19458/task/19475/stat : 19475 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19476] ppid=19456 vsize=1538640 CPUtime=0 /proc/19458/task/19476/stat : 19476 (java) S 19456 19458 17896 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 22219365 1575567360 58276 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 8.57 Current children cumulated vsize (KiB) 1538640 [startup+12.7015 s] /proc/loadavg: 2.68 2.49 2.19 3/214 19486 /proc/meminfo: memFree=28317084/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1539664 CPUtime=16.83 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 68156 0 1 0 1593 90 0 0 25 0 18 0 22219360 1576615936 64233 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 384916 64233 1425 10 0 382219 0 [pid=19458/tid=19460] ppid=19456 vsize=1539664 CPUtime=11.64 /proc/19458/task/19460/stat : 19460 (java) R 19456 19458 17896 0 -1 4202560 36311 0 1 0 1158 6 0 0 25 0 18 0 22219361 1576615936 64233 4089446400 134512640 134550932 4290616864 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1539664 CPUtime=0.48 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 2529 0 0 0 39 9 0 0 15 0 18 0 22219361 1576615936 64233 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1539664 CPUtime=0.5 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 3623 0 0 0 41 9 0 0 15 0 18 0 22219361 1576615936 64233 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1539664 CPUtime=0.55 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 4192 0 0 0 45 10 0 0 15 0 18 0 22219361 1576615936 64233 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1539664 CPUtime=0.57 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 3471 0 0 0 47 10 0 0 15 0 18 0 22219361 1576615936 64233 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 ################ # More data... # ################ /proc/19458/statm: 386112 75687 1425 10 0 383415 0 [pid=19458/tid=19460] ppid=19456 vsize=1544448 CPUtime=23.69 /proc/19458/task/19460/stat : 19460 (java) R 19456 19458 17896 0 -1 4202560 36699 0 1 0 2362 7 0 0 25 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4109278380 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1544448 CPUtime=1.29 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 3803 0 0 0 100 29 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1544448 CPUtime=1.35 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 4670 0 0 0 103 32 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1544448 CPUtime=1.37 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 5304 0 0 0 103 34 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1544448 CPUtime=1.33 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 4793 0 0 0 99 34 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 [pid=19458/tid=19465] ppid=19456 vsize=1544448 CPUtime=1.33 /proc/19458/task/19465/stat : 19465 (java) S 19456 19458 17896 0 -1 4202560 4806 0 0 0 99 34 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19466] ppid=19456 vsize=1544448 CPUtime=1.35 /proc/19458/task/19466/stat : 19466 (java) S 19456 19458 17896 0 -1 4202560 5317 0 0 0 106 29 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19467] ppid=19456 vsize=1544448 CPUtime=1.31 /proc/19458/task/19467/stat : 19467 (java) S 19456 19458 17896 0 -1 4202560 3497 0 0 0 97 34 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 5 0 0 0 [pid=19458/tid=19468] ppid=19456 vsize=1544448 CPUtime=1.36 /proc/19458/task/19468/stat : 19468 (java) S 19456 19458 17896 0 -1 4202560 4438 0 0 0 103 33 0 0 15 0 18 0 22219361 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19469] ppid=19456 vsize=1544448 CPUtime=0.06 /proc/19458/task/19469/stat : 19469 (java) S 19456 19458 17896 0 -1 4202560 32 0 0 0 3 3 0 0 15 0 18 0 22219362 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19470] ppid=19456 vsize=1544448 CPUtime=0 /proc/19458/task/19470/stat : 19470 (java) S 19456 19458 17896 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22219362 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19471] ppid=19456 vsize=1544448 CPUtime=0 /proc/19458/task/19471/stat : 19471 (java) S 19456 19458 17896 0 -1 4202560 6 0 0 0 0 0 0 0 22 0 18 0 22219362 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19472] ppid=19456 vsize=1544448 CPUtime=0 /proc/19458/task/19472/stat : 19472 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19473] ppid=19456 vsize=1544448 CPUtime=0.33 /proc/19458/task/19473/stat : 19473 (java) S 19456 19458 17896 0 -1 4202560 2333 0 0 0 33 0 0 0 15 0 18 0 22219365 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19474] ppid=19456 vsize=1544448 CPUtime=0.63 /proc/19458/task/19474/stat : 19474 (java) R 19456 19458 17896 0 -1 4202560 3702 0 0 0 63 0 0 0 16 0 18 0 22219365 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 105873548 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19458/tid=19475] ppid=19456 vsize=1544448 CPUtime=0 /proc/19458/task/19475/stat : 19475 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22219365 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19476] ppid=19456 vsize=1544448 CPUtime=0 /proc/19458/task/19476/stat : 19476 (java) S 19456 19458 17896 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 22219365 1581514752 75687 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 35.51 Current children cumulated vsize (KiB) 1544448 [startup+27.9038 s] /proc/loadavg: 2.53 2.47 2.18 3/214 19487 /proc/meminfo: memFree=28248320/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1551844 CPUtime=37.49 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 92282 0 1 0 3470 279 0 0 25 0 22 0 22219360 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 387961 85615 1439 10 0 385264 0 [pid=19458/tid=19460] ppid=19456 vsize=1551844 CPUtime=24.1 /proc/19458/task/19460/stat : 19460 (java) S 19456 19458 17896 0 -1 4202560 36704 0 1 0 2403 7 0 0 25 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1551844 CPUtime=1.32 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 4466 0 0 0 103 29 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1551844 CPUtime=1.38 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 5579 0 0 0 106 32 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1551844 CPUtime=1.41 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 5733 0 0 0 106 35 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1551844 CPUtime=1.38 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 6015 0 0 0 104 34 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 [pid=19458/tid=19465] ppid=19456 vsize=1551844 CPUtime=1.38 /proc/19458/task/19465/stat : 19465 (java) S 19456 19458 17896 0 -1 4202560 5528 0 0 0 104 34 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19466] ppid=19456 vsize=1551844 CPUtime=1.4 /proc/19458/task/19466/stat : 19466 (java) S 19456 19458 17896 0 -1 4202560 6487 0 0 0 111 29 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19467] ppid=19456 vsize=1551844 CPUtime=1.36 /proc/19458/task/19467/stat : 19467 (java) S 19456 19458 17896 0 -1 4202560 4538 0 0 0 102 34 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 5 0 0 0 [pid=19458/tid=19468] ppid=19456 vsize=1551844 CPUtime=1.42 /proc/19458/task/19468/stat : 19468 (java) S 19456 19458 17896 0 -1 4202560 6590 0 0 0 109 33 0 0 15 0 22 0 22219361 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19469] ppid=19456 vsize=1551844 CPUtime=0.06 /proc/19458/task/19469/stat : 19469 (java) S 19456 19458 17896 0 -1 4202560 32 0 0 0 3 3 0 0 15 0 22 0 22219362 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19470] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19470/stat : 19470 (java) S 19456 19458 17896 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 22 0 22219362 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19471] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19471/stat : 19471 (java) S 19456 19458 17896 0 -1 4202560 6 0 0 0 0 0 0 0 22 0 22 0 22219362 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19472] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19472/stat : 19472 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 22219365 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19473] ppid=19456 vsize=1551844 CPUtime=0.47 /proc/19458/task/19473/stat : 19473 (java) R 19456 19458 17896 0 -1 4202560 2377 0 0 0 47 0 0 0 15 0 22 0 22219365 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 102093025 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19458/tid=19474] ppid=19456 vsize=1551844 CPUtime=1.04 /proc/19458/task/19474/stat : 19474 (java) R 19456 19458 17896 0 -1 4202560 7120 0 0 0 103 1 0 0 15 0 22 0 22219365 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 106117268 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19458/tid=19475] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19475/stat : 19475 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 22219365 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19476] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19476/stat : 19476 (java) S 19456 19458 17896 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 22219365 1589088256 85615 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 37.49 Current children cumulated vsize (KiB) 1551844 [startup+28.3007 s] /proc/loadavg: 2.53 2.47 2.18 3/214 19487 /proc/meminfo: memFree=28248320/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1551844 CPUtime=38.58 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 94316 0 1 0 3579 279 0 0 25 0 22 0 22219360 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 387961 87648 1441 10 0 385264 0 [pid=19458/tid=19460] ppid=19456 vsize=1551844 CPUtime=24.1 /proc/19458/task/19460/stat : 19460 (java) S 19456 19458 17896 0 -1 4202560 36704 0 1 0 2403 7 0 0 25 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1551844 CPUtime=1.32 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 4466 0 0 0 103 29 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1551844 CPUtime=1.38 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 6259 0 0 0 106 32 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1551844 CPUtime=1.41 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 6221 0 0 0 106 35 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1551844 CPUtime=1.39 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 6015 0 0 0 105 34 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 [pid=19458/tid=19465] ppid=19456 vsize=1551844 CPUtime=1.38 /proc/19458/task/19465/stat : 19465 (java) S 19456 19458 17896 0 -1 4202560 5528 0 0 0 104 34 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19466] ppid=19456 vsize=1551844 CPUtime=1.4 /proc/19458/task/19466/stat : 19466 (java) S 19456 19458 17896 0 -1 4202560 6487 0 0 0 111 29 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19467] ppid=19456 vsize=1551844 CPUtime=1.37 /proc/19458/task/19467/stat : 19467 (java) S 19456 19458 17896 0 -1 4202560 5024 0 0 0 102 35 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19468] ppid=19456 vsize=1551844 CPUtime=1.42 /proc/19458/task/19468/stat : 19468 (java) S 19456 19458 17896 0 -1 4202560 6915 0 0 0 109 33 0 0 15 0 22 0 22219361 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19469] ppid=19456 vsize=1551844 CPUtime=0.06 /proc/19458/task/19469/stat : 19469 (java) S 19456 19458 17896 0 -1 4202560 32 0 0 0 3 3 0 0 15 0 22 0 22219362 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19470] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19470/stat : 19470 (java) S 19456 19458 17896 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 22 0 22219362 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19471] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19471/stat : 19471 (java) S 19456 19458 17896 0 -1 4202560 6 0 0 0 0 0 0 0 22 0 22 0 22219362 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19472] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19472/stat : 19472 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 22219365 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19473] ppid=19456 vsize=1551844 CPUtime=0.62 /proc/19458/task/19473/stat : 19473 (java) R 19456 19458 17896 0 -1 4202560 2398 0 0 0 62 0 0 0 15 0 22 0 22219365 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 105580278 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19458/tid=19474] ppid=19456 vsize=1551844 CPUtime=1.19 /proc/19458/task/19474/stat : 19474 (java) S 19456 19458 17896 0 -1 4202560 7140 0 0 0 118 1 0 0 15 0 22 0 22219365 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19475] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19475/stat : 19475 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 22219365 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19476] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19476/stat : 19476 (java) S 19456 19458 17896 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 22219365 1589088256 87648 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 38.58 Current children cumulated vsize (KiB) 1551844 [startup+28.5007 s] /proc/loadavg: 2.53 2.47 2.18 2/216 19491 /proc/meminfo: memFree=28222016/32950904 swapFree=67111528/67111528 [pid=19458] ppid=19456 vsize=1551844 CPUtime=39.07 /proc/19458/stat : 19458 (java) S 19456 19458 17896 0 -1 4202496 94333 0 1 0 3628 279 0 0 25 0 20 0 22219360 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19458/statm: 387961 87663 1442 10 0 385264 0 [pid=19458/tid=19460] ppid=19456 vsize=1551844 CPUtime=24.1 /proc/19458/task/19460/stat : 19460 (java) S 19456 19458 17896 0 -1 4202560 36704 0 1 0 2403 7 0 0 25 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19461] ppid=19456 vsize=1551844 CPUtime=1.32 /proc/19458/task/19461/stat : 19461 (java) S 19456 19458 17896 0 -1 4202560 4466 0 0 0 103 29 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19462] ppid=19456 vsize=1551844 CPUtime=1.38 /proc/19458/task/19462/stat : 19462 (java) S 19456 19458 17896 0 -1 4202560 6259 0 0 0 106 32 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19463] ppid=19456 vsize=1551844 CPUtime=1.41 /proc/19458/task/19463/stat : 19463 (java) S 19456 19458 17896 0 -1 4202560 6221 0 0 0 106 35 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19464] ppid=19456 vsize=1551844 CPUtime=1.39 /proc/19458/task/19464/stat : 19464 (java) S 19456 19458 17896 0 -1 4202560 6015 0 0 0 105 34 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 [pid=19458/tid=19465] ppid=19456 vsize=1551844 CPUtime=1.38 /proc/19458/task/19465/stat : 19465 (java) S 19456 19458 17896 0 -1 4202560 5528 0 0 0 104 34 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19466] ppid=19456 vsize=1551844 CPUtime=1.4 /proc/19458/task/19466/stat : 19466 (java) S 19456 19458 17896 0 -1 4202560 6487 0 0 0 111 29 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19467] ppid=19456 vsize=1551844 CPUtime=1.37 /proc/19458/task/19467/stat : 19467 (java) S 19456 19458 17896 0 -1 4202560 5024 0 0 0 102 35 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19468] ppid=19456 vsize=1551844 CPUtime=1.42 /proc/19458/task/19468/stat : 19468 (java) S 19456 19458 17896 0 -1 4202560 6915 0 0 0 109 33 0 0 15 0 20 0 22219361 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19469] ppid=19456 vsize=1551844 CPUtime=0.06 /proc/19458/task/19469/stat : 19469 (java) S 19456 19458 17896 0 -1 4202560 32 0 0 0 3 3 0 0 15 0 20 0 22219362 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 0 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19470] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19470/stat : 19470 (java) S 19456 19458 17896 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 20 0 22219362 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19471] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19471/stat : 19471 (java) S 19456 19458 17896 0 -1 4202560 6 0 0 0 0 0 0 0 22 0 20 0 22219362 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 0 0 0 0 [pid=19458/tid=19472] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19472/stat : 19472 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 22219365 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19473] ppid=19456 vsize=1551844 CPUtime=0.71 /proc/19458/task/19473/stat : 19473 (java) S 19456 19458 17896 0 -1 4202560 2408 0 0 0 71 0 0 0 15 0 20 0 22219365 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 5 0 0 0 [pid=19458/tid=19474] ppid=19456 vsize=1551844 CPUtime=1.2 /proc/19458/task/19474/stat : 19474 (java) S 19456 19458 17896 0 -1 4202560 7140 0 0 0 119 1 0 0 15 0 20 0 22219365 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 6 0 0 0 [pid=19458/tid=19475] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19475/stat : 19475 (java) S 19456 19458 17896 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 22219365 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 2 0 0 0 [pid=19458/tid=19476] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19476/stat : 19476 (java) S 19456 19458 17896 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 22219365 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 7 0 0 0 [pid=19458/tid=19490] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19490/stat : 19490 (java) S 19456 19458 17896 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 20 0 22222147 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 4 0 0 0 [pid=19458/tid=19491] ppid=19456 vsize=1551844 CPUtime=0 /proc/19458/task/19491/stat : 19491 (java) S 19456 19458 17896 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 20 0 22222147 1589088256 87663 4089446400 134512640 134550932 4290616864 18446744073709551615 4294960144 0 4 0 16800975 18446604453901383488 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 39.07 Current children cumulated vsize (KiB) 1551844 Child status: 20 Real time (s): 28.5955 CPU time (s): 39.0941 CPU user time (s): 36.2815 CPU system time (s): 2.81257 CPU usage (%): 136.714 Max. virtual memory (cumulated for all children) (KiB): 1551844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.2815 system time used= 2.81257 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94342 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25841 involuntary context switches= 1187980 runsolver used 0.040993 second user time and 0.12598 second system time The end
Begin job on node121 at 2010-07-08 00:00:55 IDJOB=2701434 IDBENCH=79579 IDSOLVER=1207 FILE ID=node121/2701434-1278540055 PBS_JOBID= 11239236 Free space on /tmp= 73656 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-22_wcsp.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701434-1278540055/watcher-2701434-1278540055 -o /tmp/evaluation-result-2701434-1278540055/solver-2701434-1278540055 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701434-1278540055.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a17cc9631cce6dbec0a98622ec920de1 RANDOM SEED=1984477476 node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 28567956 kB Buffers: 137992 kB Cached: 3509312 kB SwapCached: 0 kB Active: 1914964 kB Inactive: 2321752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 28567956 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5136 kB Writeback: 0 kB AnonPages: 590092 kB Mapped: 20356 kB Slab: 82180 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 1645408 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73656 MiB End job on node121 at 2010-07-08 00:01:23