Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong UNSAT | 45.2871 | 34.3704 |
Name | /PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq2_wcsp.wbo |
MD5SUM | bcd7b5518081fa979d1f2cc7e09012de |
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 | 3357945 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 90600 |
Total number of constraints | 180900 |
Number of soft constraints | 180300 |
Number of constraints which are clauses | 180300 |
Number of constraints which are cardinality constraints (but not clauses) | 600 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 300 |
Top cost | 170764190 |
Min constraint cost | 1 |
Max constraint cost | 170764190 |
Sum of constraints costs | 15370053062545 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 301 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.06 c See www.sat4j.org for details. 0.01/0.06 c version 2.2.0.v20100531 0.01/0.06 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.06 c java.vm.name Java HotSpot(TM) Server VM 0.01/0.06 c java.vm.version 11.2-b01 0.01/0.06 c java.vm.vendor Sun Microsystems Inc. 0.01/0.06 c sun.arch.data.model 32 0.01/0.06 c java.version 1.6.0_12 0.01/0.06 c os.name Linux 0.01/0.06 c os.version 2.6.18-164.el5 0.01/0.06 c os.arch i386 0.01/0.06 c Free memory 1393557488 0.01/0.06 c Max memory 1395916800 0.01/0.06 c Total memory 1395916800 0.01/0.06 c Number of processors 8 0.01/0.10 c Pseudo Boolean Optimization 0.01/0.10 c ManyCore solver with 2 solvers running in parallel 0.01/0.10 c --- Begin Solver configuration --- 0.01/0.10 c Stops conflict analysis at the first Unique Implication Point 0.01/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@18385e3 0.01/0.10 c Learn all clauses as in MiniSAT 0.01/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.01/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.01/0.10 c Expensive reason simplification 0.01/0.10 c Armin Biere (Picosat) restarts strategy 0.01/0.10 c Glucose learned constraints deletion strategy 0.01/0.10 c timeout=2147483s 0.01/0.10 c DB Simplification allowed=false 0.01/0.10 c --- End Solver configuration --- 0.01/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.01/0.10 c --- Begin Solver configuration --- 0.01/0.10 c Stops conflict analysis at the first Unique Implication Point 0.01/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@cf40f5 0.01/0.10 c Learn all clauses as in MiniSAT 0.01/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.01/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.01/0.10 c No reason simplification 0.01/0.10 c Armin Biere (Picosat) restarts strategy 0.01/0.10 c Glucose learned constraints deletion strategy 0.01/0.10 c timeout=2147483s 0.01/0.10 c DB Simplification allowed=false 0.01/0.10 c --- End Solver configuration --- 0.01/0.10 0.01/0.10 c solving HOME/instance-2701050-1278537415.wbo 0.01/0.10 c reading problem ... 44.28/33.31 c ... done. Wall clock time 33.217s. 44.28/33.31 c #vars 270900 44.28/33.31 c #constraints 271501 44.28/33.31 c constraints type 44.28/33.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 300 44.28/33.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 90300 44.28/33.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 600 44.28/33.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 44.28/33.31 c constraints type 44.28/33.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 600 44.28/33.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 300 44.28/33.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90300 44.28/33.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 45.22/33.61 c And the winner is Resolution 45.26/34.32 c starts : 0 45.26/34.32 c conflicts : 0 45.26/34.32 c decisions : 0 45.26/34.32 c propagations : 301 45.26/34.32 c inspects : 301 45.26/34.32 c learnt literals : 0 45.26/34.32 c learnt binary clauses : 0 45.26/34.32 c learnt ternary clauses : 0 45.26/34.32 c learnt clauses : 0 45.26/34.32 c ignored clauses : 0 45.26/34.32 c root simplifications : 0 45.26/34.32 c removed literals (reason simplification) : 0 45.26/34.32 c reason swapping (by a shorter reason) : 0 45.26/34.32 c Calls to reduceDB : 0 45.26/34.32 c number of reductions to clauses (during analyze) : 0 45.26/34.32 c number of learned constraints concerned by reduction : 0 45.26/34.32 c number of learning phase by resolution : 0 45.26/34.32 c number of learning phase by cutting planes : 0 45.26/34.32 c speed (assignments/second) : 300.3992015968064 45.26/34.32 c non guided choices 0 45.26/34.32 c learnt constraints type 45.26/34.32 c constraints type 45.26/34.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 300 45.26/34.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 90300 45.26/34.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 600 45.26/34.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 45.26/34.32 c constraints type 45.26/34.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 600 45.26/34.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 300 45.26/34.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90300 45.26/34.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 45.26/34.32 s UNSATISFIABLE 45.26/34.32 c Total wall clock time (in seconds): 34.222
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-2701050-1278537415/watcher-2701050-1278537415 -o /tmp/evaluation-result-2701050-1278537415/solver-2701050-1278537415 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701050-1278537415.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.08 2.02 1.91 3/196 18621 /proc/meminfo: memFree=29724524/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=13480 CPUtime=0 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 1114 0 0 0 0 0 0 0 25 0 2 0 21955691 13803520 583 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 3370 583 265 10 0 1204 0 [pid=18621/tid=18622] ppid=18619 vsize=13508 CPUtime=0 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 73 0 0 0 0 0 0 0 25 0 2 0 21955692 13832192 586 4089446400 134512640 134550932 4294389552 18446744073709551615 2257374 0 0 0 16784584 0 0 0 -1 0 0 0 0 [startup+0.0229129 s] /proc/loadavg: 2.08 2.02 1.91 3/196 18621 /proc/meminfo: memFree=29724524/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1525308 CPUtime=0.01 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 3585 0 1 0 1 0 0 0 25 0 13 0 21955691 1561915392 3025 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 381327 3027 1011 10 0 378637 0 [pid=18621/tid=18622] ppid=18619 vsize=1525308 CPUtime=0.01 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 2520 0 1 0 1 0 0 0 25 0 13 0 21955692 1561915392 3028 4089446400 134512640 134550932 4294389552 18446744073709551615 105776770 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1525308 [startup+0.100897 s] /proc/loadavg: 2.08 2.02 1.91 3/196 18621 /proc/meminfo: memFree=29724524/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1529964 CPUtime=0.12 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 5302 0 1 0 11 1 0 0 25 0 18 0 21955691 1566683136 4738 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 382491 4738 1350 10 0 379794 0 [pid=18621/tid=18622] ppid=18619 vsize=1529964 CPUtime=0.08 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 3611 0 1 0 8 0 0 0 18 0 18 0 21955692 1566683136 4738 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 1529964 [startup+0.300851 s] /proc/loadavg: 2.08 2.02 1.91 3/196 18621 /proc/meminfo: memFree=29724524/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1534588 CPUtime=0.59 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 14434 0 1 0 57 2 0 0 25 0 18 0 21955691 1571418112 13595 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 383647 13596 1406 10 0 380950 0 [pid=18621/tid=18622] ppid=18619 vsize=1534588 CPUtime=0.28 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 11343 0 1 0 27 1 0 0 18 0 18 0 21955692 1571418112 13596 4089446400 134512640 134550932 4294389552 18446744073709551615 4108940615 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 1534588 [startup+0.706463 s] /proc/loadavg: 2.08 2.02 1.91 3/196 18621 /proc/meminfo: memFree=29724524/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1535016 CPUtime=1.61 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 49071 0 1 0 153 8 0 0 25 0 18 0 21955691 1571856384 48128 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 383754 48128 1423 10 0 381057 0 [pid=18621/tid=18622] ppid=18619 vsize=1535016 CPUtime=0.59 /proc/18621/task/18622/stat : 18622 (java) S 18619 18621 17495 0 -1 4202560 32057 0 1 0 54 5 0 0 17 0 18 0 21955692 1571856384 48128 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 1535016 [startup+1.50057 s] /proc/loadavg: 2.08 2.02 1.91 3/214 18639 /proc/meminfo: memFree=29515644/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1537644 CPUtime=2.91 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 56225 0 1 0 277 14 0 0 25 0 18 0 21955691 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 384411 54579 1423 10 0 381714 0 [pid=18621/tid=18622] ppid=18619 vsize=1537644 CPUtime=1.27 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 32087 0 1 0 122 5 0 0 17 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18621/tid=18624] ppid=18619 vsize=1537644 CPUtime=0.14 /proc/18621/task/18624/stat : 18624 (java) S 18619 18621 17495 0 -1 4202560 2611 0 0 0 13 1 0 0 16 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 [pid=18621/tid=18625] ppid=18619 vsize=1537644 CPUtime=0.07 /proc/18621/task/18625/stat : 18625 (java) S 18619 18621 17495 0 -1 4202560 874 0 0 0 7 0 0 0 15 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18626] ppid=18619 vsize=1537644 CPUtime=0.14 /proc/18621/task/18626/stat : 18626 (java) S 18619 18621 17495 0 -1 4202560 2703 0 0 0 13 1 0 0 15 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 1 0 0 0 [pid=18621/tid=18627] ppid=18619 vsize=1537644 CPUtime=0.13 /proc/18621/task/18627/stat : 18627 (java) S 18619 18621 17495 0 -1 4202560 2489 0 0 0 13 0 0 0 15 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18628] ppid=18619 vsize=1537644 CPUtime=0.13 /proc/18621/task/18628/stat : 18628 (java) S 18619 18621 17495 0 -1 4202560 2988 0 0 0 13 0 0 0 15 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18629] ppid=18619 vsize=1537644 CPUtime=0.14 /proc/18621/task/18629/stat : 18629 (java) S 18619 18621 17495 0 -1 4202560 3137 0 0 0 13 1 0 0 15 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18630] ppid=18619 vsize=1537644 CPUtime=0.1 /proc/18621/task/18630/stat : 18630 (java) S 18619 18621 17495 0 -1 4202560 2412 0 0 0 10 0 0 0 15 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18631] ppid=18619 vsize=1537644 CPUtime=0.14 /proc/18621/task/18631/stat : 18631 (java) S 18619 18621 17495 0 -1 4202560 2520 0 0 0 14 0 0 0 15 0 18 0 21955692 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 6 0 0 0 [pid=18621/tid=18632] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18632/stat : 18632 (java) S 18619 18621 17495 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 18 0 21955693 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446604471129751616 0 0 -1 6 0 0 0 [pid=18621/tid=18633] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18633/stat : 18633 (java) S 18619 18621 17495 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21955693 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18634] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18634/stat : 18634 (java) S 18619 18621 17495 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 21955693 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18635] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18635/stat : 18635 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18636] ppid=18619 vsize=1537644 CPUtime=0.35 /proc/18621/task/18636/stat : 18636 (java) S 18619 18621 17495 0 -1 4202560 2134 0 0 0 35 0 0 0 15 0 18 0 21955695 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18637] ppid=18619 vsize=1537644 CPUtime=0.2 /proc/18621/task/18637/stat : 18637 (java) S 18619 18621 17495 0 -1 4202560 1192 0 0 0 20 0 0 0 25 0 18 0 21955695 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18638] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18638/stat : 18638 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18639] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18639/stat : 18639 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21955695 1574547456 54579 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 1537644 [startup+3.10136 s] /proc/loadavg: 2.08 2.02 1.91 3/214 18639 /proc/meminfo: memFree=29509444/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1537644 CPUtime=4.98 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 58239 0 1 0 477 21 0 0 25 0 18 0 21955691 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 384411 56479 1423 10 0 381714 0 [pid=18621/tid=18622] ppid=18619 vsize=1537644 CPUtime=2.75 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 32131 0 1 0 270 5 0 0 17 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4109005731 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18621/tid=18624] ppid=18619 vsize=1537644 CPUtime=0.19 /proc/18621/task/18624/stat : 18624 (java) S 18619 18621 17495 0 -1 4202560 2811 0 0 0 18 1 0 0 15 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18625] ppid=18619 vsize=1537644 CPUtime=0.11 /proc/18621/task/18625/stat : 18625 (java) S 18619 18621 17495 0 -1 4202560 1090 0 0 0 11 0 0 0 15 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 6 0 0 0 [pid=18621/tid=18626] ppid=18619 vsize=1537644 CPUtime=0.2 /proc/18621/task/18626/stat : 18626 (java) S 18619 18621 17495 0 -1 4202560 2981 0 0 0 19 1 0 0 16 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 1 0 0 0 [pid=18621/tid=18627] ppid=18619 vsize=1537644 CPUtime=0.2 /proc/18621/task/18627/stat : 18627 (java) S 18619 18621 17495 0 -1 4202560 2755 0 0 0 19 1 0 0 15 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18628] ppid=18619 vsize=1537644 CPUtime=0.18 /proc/18621/task/18628/stat : 18628 (java) S 18619 18621 17495 0 -1 4202560 3193 0 0 0 17 1 0 0 15 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18629] ppid=18619 vsize=1537644 CPUtime=0.19 /proc/18621/task/18629/stat : 18629 (java) S 18619 18621 17495 0 -1 4202560 3411 0 0 0 18 1 0 0 15 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18630] ppid=18619 vsize=1537644 CPUtime=0.16 /proc/18621/task/18630/stat : 18630 (java) S 18619 18621 17495 0 -1 4202560 2620 0 0 0 16 0 0 0 15 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 [pid=18621/tid=18631] ppid=18619 vsize=1537644 CPUtime=0.2 /proc/18621/task/18631/stat : 18631 (java) S 18619 18621 17495 0 -1 4202560 2795 0 0 0 19 1 0 0 15 0 18 0 21955692 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18632] ppid=18619 vsize=1537644 CPUtime=0.02 /proc/18621/task/18632/stat : 18632 (java) S 18619 18621 17495 0 -1 4202560 13 0 0 0 0 2 0 0 15 0 18 0 21955693 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18633] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18633/stat : 18633 (java) S 18619 18621 17495 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21955693 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18634] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18634/stat : 18634 (java) S 18619 18621 17495 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 21955693 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18635] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18635/stat : 18635 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18636] ppid=18619 vsize=1537644 CPUtime=0.4 /proc/18621/task/18636/stat : 18636 (java) S 18619 18621 17495 0 -1 4202560 2139 0 0 0 40 0 0 0 15 0 18 0 21955695 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18637] ppid=18619 vsize=1537644 CPUtime=0.24 /proc/18621/task/18637/stat : 18637 (java) S 18619 18621 17495 0 -1 4202560 1235 0 0 0 24 0 0 0 15 0 18 0 21955695 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18638] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18638/stat : 18638 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18639] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18639/stat : 18639 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21955695 1574547456 56479 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.98 Current children cumulated vsize (KiB) 1537644 [startup+6.30076 s] /proc/loadavg: 2.07 2.02 1.91 3/214 18639 /proc/meminfo: memFree=29495468/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1537644 CPUtime=8.94 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 61940 0 1 0 862 32 0 0 25 0 18 0 21955691 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 384411 60046 1423 10 0 381714 0 [pid=18621/tid=18622] ppid=18619 vsize=1537644 CPUtime=5.7 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 32221 0 1 0 564 6 0 0 19 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18621/tid=18624] ppid=18619 vsize=1537644 CPUtime=0.32 /proc/18621/task/18624/stat : 18624 (java) S 18619 18621 17495 0 -1 4202560 3210 0 0 0 30 2 0 0 15 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18625] ppid=18619 vsize=1537644 CPUtime=0.21 /proc/18621/task/18625/stat : 18625 (java) S 18619 18621 17495 0 -1 4202560 1591 0 0 0 20 1 0 0 16 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18626] ppid=18619 vsize=1537644 CPUtime=0.34 /proc/18621/task/18626/stat : 18626 (java) S 18619 18621 17495 0 -1 4202560 3406 0 0 0 31 3 0 0 15 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18627] ppid=18619 vsize=1537644 CPUtime=0.33 /proc/18621/task/18627/stat : 18627 (java) S 18619 18621 17495 0 -1 4202560 3267 0 0 0 30 3 0 0 15 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 1 0 0 0 [pid=18621/tid=18628] ppid=18619 vsize=1537644 CPUtime=0.31 /proc/18621/task/18628/stat : 18628 (java) S 18619 18621 17495 0 -1 4202560 3564 0 0 0 29 2 0 0 15 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 6 0 0 0 [pid=18621/tid=18629] ppid=18619 vsize=1537644 CPUtime=0.33 /proc/18621/task/18629/stat : 18629 (java) S 18619 18621 17495 0 -1 4202560 3973 0 0 0 31 2 0 0 15 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18630] ppid=18619 vsize=1537644 CPUtime=0.31 /proc/18621/task/18630/stat : 18630 (java) S 18619 18621 17495 0 -1 4202560 3130 0 0 0 29 2 0 0 15 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 [pid=18621/tid=18631] ppid=18619 vsize=1537644 CPUtime=0.29 /proc/18621/task/18631/stat : 18631 (java) S 18619 18621 17495 0 -1 4202560 3126 0 0 0 27 2 0 0 15 0 18 0 21955692 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18632] ppid=18619 vsize=1537644 CPUtime=0.06 /proc/18621/task/18632/stat : 18632 (java) S 18619 18621 17495 0 -1 4202560 13 0 0 0 1 5 0 0 15 0 18 0 21955693 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18633] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18633/stat : 18633 (java) S 18619 18621 17495 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21955693 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18634] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18634/stat : 18634 (java) S 18619 18621 17495 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 21955693 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18635] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18635/stat : 18635 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18636] ppid=18619 vsize=1537644 CPUtime=0.4 /proc/18621/task/18636/stat : 18636 (java) S 18619 18621 17495 0 -1 4202560 2139 0 0 0 40 0 0 0 15 0 18 0 21955695 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18637] ppid=18619 vsize=1537644 CPUtime=0.24 /proc/18621/task/18637/stat : 18637 (java) S 18619 18621 17495 0 -1 4202560 1235 0 0 0 24 0 0 0 15 0 18 0 21955695 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18638] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18638/stat : 18638 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18639] ppid=18619 vsize=1537644 CPUtime=0 /proc/18621/task/18639/stat : 18639 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 21955695 1574547456 60046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.94 Current children cumulated vsize (KiB) 1537644 [startup+12.7015 s] /proc/loadavg: 2.07 2.02 1.91 3/214 18639 /proc/meminfo: memFree=29473148/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1537644 CPUtime=16.97 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 71119 0 1 0 1629 68 0 0 25 0 18 0 21955691 1574547456 68992 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 384411 68992 1423 10 0 381714 0 ################ # More data... # ################ /proc/loadavg: 2.52 2.13 1.95 3/214 18639 /proc/meminfo: memFree=29412220/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1538668 CPUtime=42.41 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 82895 0 1 0 3996 245 0 0 25 0 18 0 21955691 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 384667 80046 1423 10 0 381970 0 [pid=18621/tid=18622] ppid=18619 vsize=1538668 CPUtime=27.9 /proc/18621/task/18622/stat : 18622 (java) R 18619 18621 17495 0 -1 4202560 32883 0 1 0 2783 7 0 0 25 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18621/tid=18624] ppid=18619 vsize=1538668 CPUtime=1.7 /proc/18621/task/18624/stat : 18624 (java) S 18619 18621 17495 0 -1 4202560 5934 0 0 0 146 24 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18625] ppid=18619 vsize=1538668 CPUtime=1.66 /proc/18621/task/18625/stat : 18625 (java) S 18619 18621 17495 0 -1 4202560 4007 0 0 0 144 22 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18626] ppid=18619 vsize=1538668 CPUtime=1.69 /proc/18621/task/18626/stat : 18626 (java) S 18619 18621 17495 0 -1 4202560 6971 0 0 0 136 33 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 [pid=18621/tid=18627] ppid=18619 vsize=1538668 CPUtime=1.75 /proc/18621/task/18627/stat : 18627 (java) S 18619 18621 17495 0 -1 4202560 5326 0 0 0 144 31 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18628] ppid=18619 vsize=1538668 CPUtime=1.74 /proc/18621/task/18628/stat : 18628 (java) S 18619 18621 17495 0 -1 4202560 6177 0 0 0 148 26 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 6 0 0 0 [pid=18621/tid=18629] ppid=18619 vsize=1538668 CPUtime=1.71 /proc/18621/task/18629/stat : 18629 (java) S 18619 18621 17495 0 -1 4202560 6479 0 0 0 146 25 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18630] ppid=18619 vsize=1538668 CPUtime=1.66 /proc/18621/task/18630/stat : 18630 (java) S 18619 18621 17495 0 -1 4202560 5027 0 0 0 133 33 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18631] ppid=18619 vsize=1538668 CPUtime=1.62 /proc/18621/task/18631/stat : 18631 (java) S 18619 18621 17495 0 -1 4202560 5634 0 0 0 140 22 0 0 15 0 18 0 21955692 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 [pid=18621/tid=18632] ppid=18619 vsize=1538668 CPUtime=0.23 /proc/18621/task/18632/stat : 18632 (java) S 18619 18621 17495 0 -1 4202560 17 0 0 0 6 17 0 0 15 0 18 0 21955693 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18633] ppid=18619 vsize=1538668 CPUtime=0 /proc/18621/task/18633/stat : 18633 (java) S 18619 18621 17495 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21955693 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18634] ppid=18619 vsize=1538668 CPUtime=0 /proc/18621/task/18634/stat : 18634 (java) S 18619 18621 17495 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 21955693 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18635] ppid=18619 vsize=1538668 CPUtime=0 /proc/18621/task/18635/stat : 18635 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18636] ppid=18619 vsize=1538668 CPUtime=0.4 /proc/18621/task/18636/stat : 18636 (java) S 18619 18621 17495 0 -1 4202560 2139 0 0 0 40 0 0 0 15 0 18 0 21955695 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18637] ppid=18619 vsize=1538668 CPUtime=0.24 /proc/18621/task/18637/stat : 18637 (java) S 18619 18621 17495 0 -1 4202560 1235 0 0 0 24 0 0 0 15 0 18 0 21955695 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18638] ppid=18619 vsize=1538668 CPUtime=0 /proc/18621/task/18638/stat : 18638 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18639] ppid=18619 vsize=1538668 CPUtime=0 /proc/18621/task/18639/stat : 18639 (java) S 18619 18621 17495 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 21955695 1575596032 80046 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 42.41 Current children cumulated vsize (KiB) 1538668 [startup+33.5106 s] /proc/loadavg: 2.64 2.16 1.96 3/214 18639 /proc/meminfo: memFree=29401168/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1540984 CPUtime=45.01 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 93138 0 1 0 4244 257 0 0 25 0 20 0 21955691 1577967616 89948 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 385246 89958 1436 10 0 382549 0 [pid=18621/tid=18622] ppid=18619 vsize=1540984 CPUtime=29.16 /proc/18621/task/18622/stat : 18622 (java) S 18619 18621 17495 0 -1 4202560 32930 0 1 0 2909 7 0 0 25 0 20 0 21955692 1577967616 89962 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18624] ppid=18619 vsize=1540984 CPUtime=1.78 /proc/18621/task/18624/stat : 18624 (java) R 18619 18621 17495 0 -1 4202560 6181 0 0 0 153 25 0 0 15 0 20 0 21955692 1577967616 89967 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18621/tid=18625] ppid=18619 vsize=1540984 CPUtime=1.74 /proc/18621/task/18625/stat : 18625 (java) R 18619 18621 17495 0 -1 4202560 6115 0 0 0 150 24 0 0 15 0 20 0 21955692 1577967616 89969 4089446400 134512640 134550932 4294389552 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18621/tid=18626] ppid=18619 vsize=1540984 CPUtime=1.77 /proc/18621/task/18626/stat : 18626 (java) R 18619 18621 17495 0 -1 4202560 7696 0 0 0 143 34 0 0 15 0 20 0 21955692 1577967616 89973 4089446400 134512640 134550932 4294389552 18446744073709551615 105886451 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=18621/tid=18627] ppid=18619 vsize=1540984 CPUtime=1.81 /proc/18621/task/18627/stat : 18627 (java) R 18619 18621 17495 0 -1 4202560 7146 0 0 0 149 32 0 0 16 0 20 0 21955692 1577967616 89979 4089446400 134512640 134550932 4294389552 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18621/tid=18628] ppid=18619 vsize=1540984 CPUtime=1.81 /proc/18621/task/18628/stat : 18628 (java) R 18619 18621 17495 0 -1 4202560 6874 0 0 0 154 27 0 0 15 0 20 0 21955692 1577967616 89984 4089446400 134512640 134550932 4294389552 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18621/tid=18629] ppid=18619 vsize=1540984 CPUtime=1.78 /proc/18621/task/18629/stat : 18629 (java) R 18619 18621 17495 0 -1 4202560 6945 0 0 0 152 26 0 0 16 0 20 0 21955692 1577967616 89989 4089446400 134512640 134550932 4294389552 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18621/tid=18630] ppid=18619 vsize=1540984 CPUtime=1.72 /proc/18621/task/18630/stat : 18630 (java) R 18619 18621 17495 0 -1 4202560 7628 0 0 0 138 34 0 0 15 0 20 0 21955692 1577967616 89992 4089446400 134512640 134550932 4294389552 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=18621/tid=18631] ppid=18619 vsize=1540984 CPUtime=1.69 /proc/18621/task/18631/stat : 18631 (java) R 18619 18621 17495 0 -1 4202560 6665 0 0 0 146 23 0 0 15 0 20 0 21955692 1577967616 89997 4089446400 134512640 134550932 4294389552 18446744073709551615 104188357 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18621/tid=18632] ppid=18619 vsize=1540984 CPUtime=0.23 /proc/18621/task/18632/stat : 18632 (java) S 18619 18621 17495 0 -1 4202560 17 0 0 0 6 17 0 0 16 0 20 0 21955693 1577967616 90001 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18633] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18633/stat : 18633 (java) S 18619 18621 17495 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 20 0 21955693 1577967616 90006 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18634] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18634/stat : 18634 (java) S 18619 18621 17495 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 20 0 21955693 1577967616 90011 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18635] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18635/stat : 18635 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 21955695 1577967616 90016 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18636] ppid=18619 vsize=1540984 CPUtime=0.54 /proc/18621/task/18636/stat : 18636 (java) S 18619 18621 17495 0 -1 4202560 2166 0 0 0 54 0 0 0 15 0 20 0 21955695 1577967616 90021 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18637] ppid=18619 vsize=1540984 CPUtime=0.48 /proc/18621/task/18637/stat : 18637 (java) S 18619 18621 17495 0 -1 4202560 1724 0 0 0 48 0 0 0 15 0 20 0 21955695 1577967616 90025 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18638] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18638/stat : 18638 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 21955695 1577967616 90029 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18639] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18639/stat : 18639 (java) S 18619 18621 17495 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 21955695 1577967616 90033 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 45.01 Current children cumulated vsize (KiB) 1540984 [startup+33.9006 s] /proc/loadavg: 2.64 2.16 1.96 3/214 18639 /proc/meminfo: memFree=29401168/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1540984 CPUtime=45.26 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 95084 0 1 0 4268 258 0 0 25 0 18 0 21955691 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 385246 91872 1437 10 0 382549 0 [pid=18621/tid=18622] ppid=18619 vsize=1540984 CPUtime=29.16 /proc/18621/task/18622/stat : 18622 (java) S 18619 18621 17495 0 -1 4202560 32930 0 1 0 2909 7 0 0 25 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18624] ppid=18619 vsize=1540984 CPUtime=1.79 /proc/18621/task/18624/stat : 18624 (java) S 18619 18621 17495 0 -1 4202560 6200 0 0 0 154 25 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18625] ppid=18619 vsize=1540984 CPUtime=1.75 /proc/18621/task/18625/stat : 18625 (java) S 18619 18621 17495 0 -1 4202560 6261 0 0 0 151 24 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18626] ppid=18619 vsize=1540984 CPUtime=1.81 /proc/18621/task/18626/stat : 18626 (java) S 18619 18621 17495 0 -1 4202560 8994 0 0 0 146 35 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 [pid=18621/tid=18627] ppid=18619 vsize=1540984 CPUtime=1.82 /proc/18621/task/18627/stat : 18627 (java) S 18619 18621 17495 0 -1 4202560 7230 0 0 0 150 32 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 6 0 0 0 [pid=18621/tid=18628] ppid=18619 vsize=1540984 CPUtime=1.82 /proc/18621/task/18628/stat : 18628 (java) S 18619 18621 17495 0 -1 4202560 6949 0 0 0 155 27 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18629] ppid=18619 vsize=1540984 CPUtime=1.8 /proc/18621/task/18629/stat : 18629 (java) S 18619 18621 17495 0 -1 4202560 7028 0 0 0 153 27 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18630] ppid=18619 vsize=1540984 CPUtime=1.74 /proc/18621/task/18630/stat : 18630 (java) S 18619 18621 17495 0 -1 4202560 7736 0 0 0 140 34 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18631] ppid=18619 vsize=1540984 CPUtime=1.71 /proc/18621/task/18631/stat : 18631 (java) S 18619 18621 17495 0 -1 4202560 6757 0 0 0 148 23 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18632] ppid=18619 vsize=1540984 CPUtime=0.23 /proc/18621/task/18632/stat : 18632 (java) S 18619 18621 17495 0 -1 4202560 17 0 0 0 6 17 0 0 15 0 18 0 21955693 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18633] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18633/stat : 18633 (java) S 18619 18621 17495 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21955693 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18634] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18634/stat : 18634 (java) S 18619 18621 17495 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 21955693 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18635] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18635/stat : 18635 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18636] ppid=18619 vsize=1540984 CPUtime=0.54 /proc/18621/task/18636/stat : 18636 (java) S 18619 18621 17495 0 -1 4202560 2166 0 0 0 54 0 0 0 15 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18637] ppid=18619 vsize=1540984 CPUtime=0.48 /proc/18621/task/18637/stat : 18637 (java) S 18619 18621 17495 0 -1 4202560 1724 0 0 0 48 0 0 0 15 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18638] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18638/stat : 18638 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18639] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18639/stat : 18639 (java) S 18619 18621 17495 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 45.26 Current children cumulated vsize (KiB) 1540984 [startup+34.3015 s] /proc/loadavg: 2.64 2.16 1.96 2/214 18641 /proc/meminfo: memFree=29364588/32950928 swapFree=67111528/67111528 [pid=18621] ppid=18619 vsize=1540984 CPUtime=45.26 /proc/18621/stat : 18621 (java) S 18619 18621 17495 0 -1 4202496 95084 0 1 0 4268 258 0 0 25 0 18 0 21955691 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/18621/statm: 385246 91872 1437 10 0 382549 0 [pid=18621/tid=18622] ppid=18619 vsize=1540984 CPUtime=29.16 /proc/18621/task/18622/stat : 18622 (java) S 18619 18621 17495 0 -1 4202560 32930 0 1 0 2909 7 0 0 25 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18624] ppid=18619 vsize=1540984 CPUtime=1.79 /proc/18621/task/18624/stat : 18624 (java) S 18619 18621 17495 0 -1 4202560 6200 0 0 0 154 25 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18625] ppid=18619 vsize=1540984 CPUtime=1.75 /proc/18621/task/18625/stat : 18625 (java) S 18619 18621 17495 0 -1 4202560 6261 0 0 0 151 24 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18626] ppid=18619 vsize=1540984 CPUtime=1.81 /proc/18621/task/18626/stat : 18626 (java) S 18619 18621 17495 0 -1 4202560 8994 0 0 0 146 35 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 3 0 0 0 [pid=18621/tid=18627] ppid=18619 vsize=1540984 CPUtime=1.82 /proc/18621/task/18627/stat : 18627 (java) S 18619 18621 17495 0 -1 4202560 7230 0 0 0 150 32 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 6 0 0 0 [pid=18621/tid=18628] ppid=18619 vsize=1540984 CPUtime=1.82 /proc/18621/task/18628/stat : 18628 (java) S 18619 18621 17495 0 -1 4202560 6949 0 0 0 155 27 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18629] ppid=18619 vsize=1540984 CPUtime=1.8 /proc/18621/task/18629/stat : 18629 (java) S 18619 18621 17495 0 -1 4202560 7028 0 0 0 153 27 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18630] ppid=18619 vsize=1540984 CPUtime=1.74 /proc/18621/task/18630/stat : 18630 (java) S 18619 18621 17495 0 -1 4202560 7736 0 0 0 140 34 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18631] ppid=18619 vsize=1540984 CPUtime=1.71 /proc/18621/task/18631/stat : 18631 (java) S 18619 18621 17495 0 -1 4202560 6757 0 0 0 148 23 0 0 15 0 18 0 21955692 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18632] ppid=18619 vsize=1540984 CPUtime=0.23 /proc/18621/task/18632/stat : 18632 (java) S 18619 18621 17495 0 -1 4202560 17 0 0 0 6 17 0 0 15 0 18 0 21955693 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 0 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18633] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18633/stat : 18633 (java) S 18619 18621 17495 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 21955693 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18634] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18634/stat : 18634 (java) S 18619 18621 17495 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 21955693 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 0 0 0 0 [pid=18621/tid=18635] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18635/stat : 18635 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18636] ppid=18619 vsize=1540984 CPUtime=0.54 /proc/18621/task/18636/stat : 18636 (java) S 18619 18621 17495 0 -1 4202560 2166 0 0 0 54 0 0 0 15 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 4 0 0 0 [pid=18621/tid=18637] ppid=18619 vsize=1540984 CPUtime=0.48 /proc/18621/task/18637/stat : 18637 (java) S 18619 18621 17495 0 -1 4202560 1724 0 0 0 48 0 0 0 15 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 5 0 0 0 [pid=18621/tid=18638] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18638/stat : 18638 (java) S 18619 18621 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 [pid=18621/tid=18639] ppid=18619 vsize=1540984 CPUtime=0 /proc/18621/task/18639/stat : 18639 (java) S 18619 18621 17495 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 21955695 1577967616 91872 4089446400 134512640 134550932 4294389552 18446744073709551615 4294960144 0 4 0 16800975 18446604471129751616 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 45.26 Current children cumulated vsize (KiB) 1540984 Child status: 20 Real time (s): 34.3704 CPU time (s): 45.2871 CPU user time (s): 42.6865 CPU system time (s): 2.6006 CPU usage (%): 131.762 Max. virtual memory (cumulated for all children) (KiB): 1540984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.6865 system time used= 2.6006 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95093 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= 28465 involuntary context switches= 1038296 runsolver used 0.067989 second user time and 0.132979 second system time The end
Begin job on node113 at 2010-07-07 23:16:55 IDJOB=2701050 IDBENCH=79515 IDSOLVER=1207 FILE ID=node113/2701050-1278537415 PBS_JOBID= 11239251 Free space on /tmp= 73744 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-capmq2_wcsp.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701050-1278537415/watcher-2701050-1278537415 -o /tmp/evaluation-result-2701050-1278537415/solver-2701050-1278537415 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2701050-1278537415.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bcd7b5518081fa979d1f2cc7e09012de RANDOM SEED=592914637 node113.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.843 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.68 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.843 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 : 5332.75 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.843 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.82 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.843 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.73 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.843 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.74 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.843 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.843 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.93 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.843 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29724812 kB Buffers: 139224 kB Cached: 2790136 kB SwapCached: 0 kB Active: 1718552 kB Inactive: 1356440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29724812 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6980 kB Writeback: 0 kB AnonPages: 145260 kB Mapped: 20336 kB Slab: 86236 kB PageTables: 5148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1654712 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= 73740 MiB End job on node113 at 2010-07-07 23:17:30