Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | UNSAT | 18.3572 | 15.2901 |
Name | /PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo |
MD5SUM | e51a1e905ff19ece48b75fd81968c4c3 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | |
Best cost obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1921 |
Total number of constraints | 124511 |
Number of soft constraints | 124429 |
Number of constraints which are clauses | 124429 |
Number of constraints which are cardinality constraints (but not clauses) | 82 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 28 |
Top cost | 3389 |
Min constraint cost | 1 |
Max constraint cost | 2436 |
Sum of constraints costs | 44162576 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 29 |
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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 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.00/0.09 c Pseudo Boolean Optimization 0.00/0.09 c --- Begin Solver configuration --- 0.00/0.09 c Stops conflict analysis at the first Unique Implication Point 0.00/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.00/0.09 c Learn all clauses as in MiniSAT 0.00/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.09 c Expensive reason simplification 0.00/0.09 c Armin Biere (Picosat) restarts strategy 0.00/0.09 c Glucose learned constraints deletion strategy 0.00/0.09 c timeout=2147483s 0.00/0.09 c DB Simplification allowed=false 0.00/0.09 c --- End Solver configuration --- 0.00/0.09 c solving HOME/instance-2701360-1278539396.wbo 0.00/0.09 c reading problem ... 17.08/14.64 c ... done. Wall clock time 14.543s. 17.08/14.64 c #vars 126350 17.08/14.64 c #constraints 124594 17.08/14.64 c constraints type 17.08/14.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82 17.08/14.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 123937 17.08/14.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 18.29/15.22 c starts : 2 18.29/15.22 c conflicts : 183 18.29/15.22 c decisions : 211087 18.29/15.22 c propagations : 227688 18.29/15.22 c inspects : 54629 18.29/15.22 c learnt literals : 5 18.29/15.22 c learnt binary clauses : 4 18.29/15.22 c learnt ternary clauses : 12 18.29/15.22 c learnt clauses : 177 18.29/15.22 c ignored clauses : 0 18.29/15.22 c root simplifications : 0 18.29/15.22 c removed literals (reason simplification) : 109 18.29/15.22 c reason swapping (by a shorter reason) : 0 18.29/15.22 c Calls to reduceDB : 0 18.29/15.22 c number of reductions to clauses (during analyze) : 0 18.29/15.22 c number of learned constraints concerned by reduction : 0 18.29/15.22 c number of learning phase by resolution : 0 18.29/15.22 c number of learning phase by cutting planes : 0 18.29/15.22 c speed (assignments/second) : 389210.25641025644 18.29/15.22 c non guided choices 650 18.29/15.22 c learnt constraints type 18.29/15.22 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 173 18.29/15.22 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4 18.29/15.22 c constraints type 18.29/15.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82 18.29/15.22 c org.sat4j.minisat.constraints.card.MinWatchCard => 123937 18.29/15.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 18.29/15.22 s UNSATISFIABLE 18.29/15.22 c Total wall clock time (in seconds): 15.129
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-2701360-1278539396/watcher-2701360-1278539396 -o /tmp/evaluation-result-2701360-1278539396/solver-2701360-1278539396 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701360-1278539396.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.00 2.00 1.94 3/178 20875 /proc/meminfo: memFree=29358784/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=13436 CPUtime=0 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 1056 0 0 0 0 0 0 0 19 0 2 0 22151813 13758464 540 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 3359 540 231 10 0 1202 0 [pid=20875/tid=20876] ppid=20873 vsize=13440 CPUtime=0 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 2 0 22151814 13762560 544 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0 0 [startup+0.0171431 s] /proc/loadavg: 2.00 2.00 1.94 3/178 20875 /proc/meminfo: memFree=29358784/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1523456 CPUtime=0 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 3317 0 1 0 0 0 0 0 19 0 10 0 22151813 1560018944 2761 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 380864 2761 945 10 0 378174 0 [pid=20875/tid=20876] ppid=20873 vsize=1523456 CPUtime=0 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 2267 0 1 0 0 0 0 0 23 0 10 0 22151814 1560018944 2761 4089446400 134512640 134550932 4291874400 18446744073709551615 105829947 0 4 0 16784584 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1523456 [startup+0.103205 s] /proc/loadavg: 2.00 2.00 1.94 3/178 20875 /proc/meminfo: memFree=29358784/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1529984 CPUtime=0.11 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 5238 0 1 0 11 0 0 0 19 0 18 0 22151813 1566703616 4676 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 382496 4676 1348 10 0 379798 0 [pid=20875/tid=20876] ppid=20873 vsize=1529984 CPUtime=0.08 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 3586 0 1 0 8 0 0 0 18 0 18 0 22151814 1566703616 4676 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529984 [startup+0.304098 s] /proc/loadavg: 2.00 2.00 1.94 3/178 20875 /proc/meminfo: memFree=29358784/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1532892 CPUtime=0.56 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 21810 0 1 0 54 2 0 0 19 0 18 0 22151813 1569681408 20950 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383223 20959 1403 10 0 380525 0 [pid=20875/tid=20876] ppid=20873 vsize=1532892 CPUtime=0.28 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 19063 0 1 0 27 1 0 0 18 0 18 0 22151814 1569681408 20959 4089446400 134512640 134550932 4291874400 18446744073709551615 4109412943 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 1532892 [startup+0.701023 s] /proc/loadavg: 2.00 2.00 1.94 3/178 20875 /proc/meminfo: memFree=29358784/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1532892 CPUtime=1.29 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 45764 0 1 0 124 5 0 0 19 0 18 0 22151813 1569681408 44333 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383223 44333 1425 10 0 380525 0 [pid=20875/tid=20876] ppid=20873 vsize=1532892 CPUtime=0.65 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 37499 0 1 0 61 4 0 0 18 0 18 0 22151814 1569681408 44333 4089446400 134512640 134550932 4291874400 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 1532892 [startup+1.5017 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29184004/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1532892 CPUtime=2.19 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 48268 0 1 0 212 7 0 0 19 0 18 0 22151813 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383223 46707 1425 10 0 380525 0 [pid=20875/tid=20876] ppid=20873 vsize=1532892 CPUtime=1.4 /proc/20875/task/20876/stat : 20876 (java) S 20873 20875 19295 0 -1 4202560 37844 0 1 0 136 4 0 0 18 0 18 0 22151814 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20878] ppid=20873 vsize=1532892 CPUtime=0.03 /proc/20875/task/20878/stat : 20878 (java) R 20873 20875 19295 0 -1 4202560 1253 0 0 0 3 0 0 0 15 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20875/tid=20879] ppid=20873 vsize=1532892 CPUtime=0.03 /proc/20875/task/20879/stat : 20879 (java) S 20873 20875 19295 0 -1 4202560 1085 0 0 0 3 0 0 0 15 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20880] ppid=20873 vsize=1532892 CPUtime=0.02 /proc/20875/task/20880/stat : 20880 (java) S 20873 20875 19295 0 -1 4202560 748 0 0 0 2 0 0 0 16 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20881] ppid=20873 vsize=1532892 CPUtime=0.02 /proc/20875/task/20881/stat : 20881 (java) S 20873 20875 19295 0 -1 4202560 771 0 0 0 2 0 0 0 15 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20882] ppid=20873 vsize=1532892 CPUtime=0.03 /proc/20875/task/20882/stat : 20882 (java) R 20873 20875 19295 0 -1 4202560 794 0 0 0 3 0 0 0 15 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20875/tid=20883] ppid=20873 vsize=1532892 CPUtime=0.03 /proc/20875/task/20883/stat : 20883 (java) S 20873 20875 19295 0 -1 4202560 1295 0 0 0 3 0 0 0 15 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20884] ppid=20873 vsize=1532892 CPUtime=0.02 /proc/20875/task/20884/stat : 20884 (java) S 20873 20875 19295 0 -1 4202560 522 0 0 0 2 0 0 0 15 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20885] ppid=20873 vsize=1532892 CPUtime=0.02 /proc/20875/task/20885/stat : 20885 (java) S 20873 20875 19295 0 -1 4202560 667 0 0 0 2 0 0 0 15 0 18 0 22151815 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20886] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20886/stat : 20886 (java) R 20873 20875 19295 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 22151816 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 6 0 0 0 [pid=20875/tid=20887] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20887/stat : 20887 (java) S 20873 20875 19295 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22151816 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20888] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20888/stat : 20888 (java) S 20873 20875 19295 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22151816 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20889] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20889/stat : 20889 (java) S 20873 20875 19295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22151818 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20890] ppid=20873 vsize=1532892 CPUtime=0.26 /proc/20875/task/20890/stat : 20890 (java) S 20873 20875 19295 0 -1 4202560 849 0 0 0 26 0 0 0 16 0 18 0 22151818 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20891] ppid=20873 vsize=1532892 CPUtime=0.23 /proc/20875/task/20891/stat : 20891 (java) S 20873 20875 19295 0 -1 4202560 1356 0 0 0 23 0 0 0 24 0 18 0 22151818 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20892] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20892/stat : 20892 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22151818 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20893] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20893/stat : 20893 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22151818 1569681408 46707 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 1532892 [startup+3.10159 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29174084/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1532892 CPUtime=3.91 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 50236 0 1 0 382 9 0 0 19 0 18 0 22151813 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383223 48565 1425 10 0 380525 0 [pid=20875/tid=20876] ppid=20873 vsize=1532892 CPUtime=2.92 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 37891 0 1 0 288 4 0 0 20 0 18 0 22151814 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=20875/tid=20878] ppid=20873 vsize=1532892 CPUtime=0.06 /proc/20875/task/20878/stat : 20878 (java) S 20873 20875 19295 0 -1 4202560 1525 0 0 0 6 0 0 0 15 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20879] ppid=20873 vsize=1532892 CPUtime=0.04 /proc/20875/task/20879/stat : 20879 (java) S 20873 20875 19295 0 -1 4202560 1358 0 0 0 4 0 0 0 15 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20880] ppid=20873 vsize=1532892 CPUtime=0.04 /proc/20875/task/20880/stat : 20880 (java) S 20873 20875 19295 0 -1 4202560 1014 0 0 0 4 0 0 0 15 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20881] ppid=20873 vsize=1532892 CPUtime=0.05 /proc/20875/task/20881/stat : 20881 (java) S 20873 20875 19295 0 -1 4202560 963 0 0 0 5 0 0 0 16 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20882] ppid=20873 vsize=1532892 CPUtime=0.06 /proc/20875/task/20882/stat : 20882 (java) S 20873 20875 19295 0 -1 4202560 1083 0 0 0 6 0 0 0 15 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 5 0 0 0 [pid=20875/tid=20883] ppid=20873 vsize=1532892 CPUtime=0.05 /proc/20875/task/20883/stat : 20883 (java) S 20873 20875 19295 0 -1 4202560 1491 0 0 0 5 0 0 0 15 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20884] ppid=20873 vsize=1532892 CPUtime=0.04 /proc/20875/task/20884/stat : 20884 (java) S 20873 20875 19295 0 -1 4202560 700 0 0 0 4 0 0 0 15 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20885] ppid=20873 vsize=1532892 CPUtime=0.05 /proc/20875/task/20885/stat : 20885 (java) S 20873 20875 19295 0 -1 4202560 922 0 0 0 5 0 0 0 15 0 18 0 22151815 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20886] ppid=20873 vsize=1532892 CPUtime=0.01 /proc/20875/task/20886/stat : 20886 (java) S 20873 20875 19295 0 -1 4202560 23 0 0 0 0 1 0 0 15 0 18 0 22151816 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20887] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20887/stat : 20887 (java) S 20873 20875 19295 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22151816 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20888] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20888/stat : 20888 (java) S 20873 20875 19295 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22151816 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20889] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20889/stat : 20889 (java) S 20873 20875 19295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22151818 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20890] ppid=20873 vsize=1532892 CPUtime=0.26 /proc/20875/task/20890/stat : 20890 (java) S 20873 20875 19295 0 -1 4202560 849 0 0 0 26 0 0 0 16 0 18 0 22151818 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20891] ppid=20873 vsize=1532892 CPUtime=0.23 /proc/20875/task/20891/stat : 20891 (java) S 20873 20875 19295 0 -1 4202560 1356 0 0 0 23 0 0 0 24 0 18 0 22151818 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20892] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20892/stat : 20892 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22151818 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20893] ppid=20873 vsize=1532892 CPUtime=0 /proc/20875/task/20893/stat : 20893 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22151818 1569681408 48565 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 1532892 [startup+6.30098 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29159480/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1533916 CPUtime=7.48 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 53268 0 1 0 733 15 0 0 19 0 18 0 22151813 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383479 51411 1425 10 0 380781 0 [pid=20875/tid=20876] ppid=20873 vsize=1533916 CPUtime=5.96 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 37984 0 1 0 591 5 0 0 18 0 18 0 22151814 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=20875/tid=20878] ppid=20873 vsize=1533916 CPUtime=0.12 /proc/20875/task/20878/stat : 20878 (java) S 20873 20875 19295 0 -1 4202560 1800 0 0 0 11 1 0 0 15 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 5 0 0 0 [pid=20875/tid=20879] ppid=20873 vsize=1533916 CPUtime=0.1 /proc/20875/task/20879/stat : 20879 (java) S 20873 20875 19295 0 -1 4202560 1658 0 0 0 10 0 0 0 15 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20880] ppid=20873 vsize=1533916 CPUtime=0.09 /proc/20875/task/20880/stat : 20880 (java) S 20873 20875 19295 0 -1 4202560 1389 0 0 0 9 0 0 0 16 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20881] ppid=20873 vsize=1533916 CPUtime=0.12 /proc/20875/task/20881/stat : 20881 (java) S 20873 20875 19295 0 -1 4202560 1462 0 0 0 11 1 0 0 15 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20882] ppid=20873 vsize=1533916 CPUtime=0.13 /proc/20875/task/20882/stat : 20882 (java) S 20873 20875 19295 0 -1 4202560 1352 0 0 0 12 1 0 0 15 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20883] ppid=20873 vsize=1533916 CPUtime=0.1 /proc/20875/task/20883/stat : 20883 (java) S 20873 20875 19295 0 -1 4202560 1939 0 0 0 10 0 0 0 15 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20884] ppid=20873 vsize=1533916 CPUtime=0.1 /proc/20875/task/20884/stat : 20884 (java) S 20873 20875 19295 0 -1 4202560 1067 0 0 0 10 0 0 0 15 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 5 0 0 0 [pid=20875/tid=20885] ppid=20873 vsize=1533916 CPUtime=0.11 /proc/20875/task/20885/stat : 20885 (java) S 20873 20875 19295 0 -1 4202560 1328 0 0 0 11 0 0 0 15 0 18 0 22151815 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20886] ppid=20873 vsize=1533916 CPUtime=0.03 /proc/20875/task/20886/stat : 20886 (java) S 20873 20875 19295 0 -1 4202560 23 0 0 0 1 2 0 0 15 0 18 0 22151816 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20887] ppid=20873 vsize=1533916 CPUtime=0 /proc/20875/task/20887/stat : 20887 (java) S 20873 20875 19295 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22151816 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20888] ppid=20873 vsize=1533916 CPUtime=0 /proc/20875/task/20888/stat : 20888 (java) S 20873 20875 19295 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22151816 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20889] ppid=20873 vsize=1533916 CPUtime=0 /proc/20875/task/20889/stat : 20889 (java) S 20873 20875 19295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22151818 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20890] ppid=20873 vsize=1533916 CPUtime=0.26 /proc/20875/task/20890/stat : 20890 (java) S 20873 20875 19295 0 -1 4202560 849 0 0 0 26 0 0 0 16 0 18 0 22151818 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20891] ppid=20873 vsize=1533916 CPUtime=0.23 /proc/20875/task/20891/stat : 20891 (java) S 20873 20875 19295 0 -1 4202560 1356 0 0 0 23 0 0 0 24 0 18 0 22151818 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20892] ppid=20873 vsize=1533916 CPUtime=0 /proc/20875/task/20892/stat : 20892 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22151818 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20893] ppid=20873 vsize=1533916 CPUtime=0 /proc/20875/task/20893/stat : 20893 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22151818 1570729984 51411 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 7.48 Current children cumulated vsize (KiB) 1533916 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29140088/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1533916 CPUtime=14.78 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 57288 0 1 0 1441 37 0 0 19 0 18 0 22151813 1570729984 55087 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383479 55087 1425 10 0 380781 0 ################ # More data... # ################ /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29130168/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1534940 CPUtime=16.67 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 59373 0 1 0 1622 45 0 0 19 0 18 0 22151813 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383735 57106 1425 10 0 381037 0 [pid=20875/tid=20876] ppid=20873 vsize=1534940 CPUtime=13.45 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 38217 0 1 0 1340 5 0 0 25 0 18 0 22151814 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=20875/tid=20878] ppid=20873 vsize=1534940 CPUtime=0.32 /proc/20875/task/20878/stat : 20878 (java) S 20873 20875 19295 0 -1 4202560 2590 0 0 0 28 4 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20879] ppid=20873 vsize=1534940 CPUtime=0.3 /proc/20875/task/20879/stat : 20879 (java) S 20873 20875 19295 0 -1 4202560 2401 0 0 0 27 3 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20880] ppid=20873 vsize=1534940 CPUtime=0.28 /proc/20875/task/20880/stat : 20880 (java) S 20873 20875 19295 0 -1 4202560 1868 0 0 0 25 3 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 5 0 0 0 [pid=20875/tid=20881] ppid=20873 vsize=1534940 CPUtime=0.33 /proc/20875/task/20881/stat : 20881 (java) S 20873 20875 19295 0 -1 4202560 2248 0 0 0 29 4 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20882] ppid=20873 vsize=1534940 CPUtime=0.34 /proc/20875/task/20882/stat : 20882 (java) S 20873 20875 19295 0 -1 4202560 2703 0 0 0 30 4 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20883] ppid=20873 vsize=1534940 CPUtime=0.28 /proc/20875/task/20883/stat : 20883 (java) S 20873 20875 19295 0 -1 4202560 2406 0 0 0 25 3 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20884] ppid=20873 vsize=1534940 CPUtime=0.31 /proc/20875/task/20884/stat : 20884 (java) S 20873 20875 19295 0 -1 4202560 1502 0 0 0 28 3 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20885] ppid=20873 vsize=1534940 CPUtime=0.34 /proc/20875/task/20885/stat : 20885 (java) S 20873 20875 19295 0 -1 4202560 2149 0 0 0 31 3 0 0 15 0 18 0 22151815 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20886] ppid=20873 vsize=1534940 CPUtime=0.11 /proc/20875/task/20886/stat : 20886 (java) S 20873 20875 19295 0 -1 4202560 23 0 0 0 4 7 0 0 15 0 18 0 22151816 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20887] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20887/stat : 20887 (java) S 20873 20875 19295 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22151816 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20888] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20888/stat : 20888 (java) S 20873 20875 19295 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22151816 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20889] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20889/stat : 20889 (java) S 20873 20875 19295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22151818 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20890] ppid=20873 vsize=1534940 CPUtime=0.26 /proc/20875/task/20890/stat : 20890 (java) S 20873 20875 19295 0 -1 4202560 849 0 0 0 26 0 0 0 16 0 18 0 22151818 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20891] ppid=20873 vsize=1534940 CPUtime=0.23 /proc/20875/task/20891/stat : 20891 (java) S 20873 20875 19295 0 -1 4202560 1356 0 0 0 23 0 0 0 24 0 18 0 22151818 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20892] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20892/stat : 20892 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22151818 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20893] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20893/stat : 20893 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22151818 1571778560 57106 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 16.67 Current children cumulated vsize (KiB) 1534940 [startup+14.7014 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29130168/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1534940 CPUtime=17.23 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 59495 0 1 0 1677 46 0 0 19 0 18 0 22151813 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 383735 57217 1429 10 0 381037 0 [pid=20875/tid=20876] ppid=20873 vsize=1534940 CPUtime=13.83 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 38251 0 1 0 1378 5 0 0 25 0 18 0 22151814 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4109054753 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=20875/tid=20878] ppid=20873 vsize=1534940 CPUtime=0.32 /proc/20875/task/20878/stat : 20878 (java) S 20873 20875 19295 0 -1 4202560 2595 0 0 0 28 4 0 0 15 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20879] ppid=20873 vsize=1534940 CPUtime=0.3 /proc/20875/task/20879/stat : 20879 (java) S 20873 20875 19295 0 -1 4202560 2407 0 0 0 27 3 0 0 16 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20880] ppid=20873 vsize=1534940 CPUtime=0.28 /proc/20875/task/20880/stat : 20880 (java) S 20873 20875 19295 0 -1 4202560 1880 0 0 0 25 3 0 0 15 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 5 0 0 0 [pid=20875/tid=20881] ppid=20873 vsize=1534940 CPUtime=0.34 /proc/20875/task/20881/stat : 20881 (java) S 20873 20875 19295 0 -1 4202560 2260 0 0 0 30 4 0 0 15 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20882] ppid=20873 vsize=1534940 CPUtime=0.34 /proc/20875/task/20882/stat : 20882 (java) S 20873 20875 19295 0 -1 4202560 2713 0 0 0 30 4 0 0 15 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20883] ppid=20873 vsize=1534940 CPUtime=0.29 /proc/20875/task/20883/stat : 20883 (java) S 20873 20875 19295 0 -1 4202560 2410 0 0 0 26 3 0 0 15 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20884] ppid=20873 vsize=1534940 CPUtime=0.31 /proc/20875/task/20884/stat : 20884 (java) S 20873 20875 19295 0 -1 4202560 1507 0 0 0 28 3 0 0 16 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20885] ppid=20873 vsize=1534940 CPUtime=0.34 /proc/20875/task/20885/stat : 20885 (java) S 20873 20875 19295 0 -1 4202560 2160 0 0 0 31 3 0 0 15 0 18 0 22151815 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20886] ppid=20873 vsize=1534940 CPUtime=0.11 /proc/20875/task/20886/stat : 20886 (java) S 20873 20875 19295 0 -1 4202560 23 0 0 0 4 7 0 0 15 0 18 0 22151816 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20887] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20887/stat : 20887 (java) S 20873 20875 19295 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22151816 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20888] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20888/stat : 20888 (java) S 20873 20875 19295 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 22151816 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20889] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20889/stat : 20889 (java) S 20873 20875 19295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22151818 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20890] ppid=20873 vsize=1534940 CPUtime=0.29 /proc/20875/task/20890/stat : 20890 (java) S 20873 20875 19295 0 -1 4202560 852 0 0 0 29 0 0 0 15 0 18 0 22151818 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20891] ppid=20873 vsize=1534940 CPUtime=0.34 /proc/20875/task/20891/stat : 20891 (java) S 20873 20875 19295 0 -1 4202560 1376 0 0 0 34 0 0 0 16 0 18 0 22151818 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20892] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20892/stat : 20892 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22151818 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20893] ppid=20873 vsize=1534940 CPUtime=0 /proc/20875/task/20893/stat : 20893 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22151818 1571778560 57217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 17.23 Current children cumulated vsize (KiB) 1534940 [startup+15.1013 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29130168/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1537124 CPUtime=18.07 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 62660 0 1 0 1760 47 0 0 19 0 19 0 22151813 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 384281 60217 1440 10 0 381583 0 [pid=20875/tid=20876] ppid=20873 vsize=1537124 CPUtime=14.22 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 38263 0 1 0 1417 5 0 0 25 0 19 0 22151814 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4109025089 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=20875/tid=20878] ppid=20873 vsize=1537124 CPUtime=0.33 /proc/20875/task/20878/stat : 20878 (java) S 20873 20875 19295 0 -1 4202560 2719 0 0 0 29 4 0 0 16 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20879] ppid=20873 vsize=1537124 CPUtime=0.31 /proc/20875/task/20879/stat : 20879 (java) S 20873 20875 19295 0 -1 4202560 2555 0 0 0 28 3 0 0 16 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20880] ppid=20873 vsize=1537124 CPUtime=0.29 /proc/20875/task/20880/stat : 20880 (java) S 20873 20875 19295 0 -1 4202560 2456 0 0 0 26 3 0 0 16 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 5 0 0 0 [pid=20875/tid=20881] ppid=20873 vsize=1537124 CPUtime=0.35 /proc/20875/task/20881/stat : 20881 (java) S 20873 20875 19295 0 -1 4202560 2842 0 0 0 31 4 0 0 16 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20882] ppid=20873 vsize=1537124 CPUtime=0.35 /proc/20875/task/20882/stat : 20882 (java) S 20873 20875 19295 0 -1 4202560 2953 0 0 0 31 4 0 0 16 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20883] ppid=20873 vsize=1537124 CPUtime=0.3 /proc/20875/task/20883/stat : 20883 (java) S 20873 20875 19295 0 -1 4202560 2985 0 0 0 27 3 0 0 16 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20884] ppid=20873 vsize=1537124 CPUtime=0.32 /proc/20875/task/20884/stat : 20884 (java) S 20873 20875 19295 0 -1 4202560 1911 0 0 0 29 3 0 0 16 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20885] ppid=20873 vsize=1537124 CPUtime=0.34 /proc/20875/task/20885/stat : 20885 (java) S 20873 20875 19295 0 -1 4202560 2160 0 0 0 31 3 0 0 15 0 19 0 22151815 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20886] ppid=20873 vsize=1537124 CPUtime=0.11 /proc/20875/task/20886/stat : 20886 (java) S 20873 20875 19295 0 -1 4202560 23 0 0 0 4 7 0 0 15 0 19 0 22151816 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20887] ppid=20873 vsize=1537124 CPUtime=0 /proc/20875/task/20887/stat : 20887 (java) S 20873 20875 19295 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 19 0 22151816 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20888] ppid=20873 vsize=1537124 CPUtime=0 /proc/20875/task/20888/stat : 20888 (java) S 20873 20875 19295 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 22151816 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20889] ppid=20873 vsize=1537124 CPUtime=0 /proc/20875/task/20889/stat : 20889 (java) S 20873 20875 19295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 22151818 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20890] ppid=20873 vsize=1537124 CPUtime=0.52 /proc/20875/task/20890/stat : 20890 (java) R 20873 20875 19295 0 -1 4202560 1067 0 0 0 52 0 0 0 16 0 19 0 22151818 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 104138290 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20875/tid=20891] ppid=20873 vsize=1537124 CPUtime=0.49 /proc/20875/task/20891/stat : 20891 (java) S 20873 20875 19295 0 -1 4202560 1661 0 0 0 49 0 0 0 15 0 19 0 22151818 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20892] ppid=20873 vsize=1537124 CPUtime=0 /proc/20875/task/20892/stat : 20892 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22151818 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20893] ppid=20873 vsize=1537124 CPUtime=0 /proc/20875/task/20893/stat : 20893 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22151818 1574014976 60217 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 18.07 Current children cumulated vsize (KiB) 1537124 [startup+15.2013 s] /proc/loadavg: 2.00 2.00 1.94 3/196 20893 /proc/meminfo: memFree=29130168/32951124 swapFree=67111528/67111528 [pid=20875] ppid=20873 vsize=1538500 CPUtime=18.29 /proc/20875/stat : 20875 (java) S 20873 20875 19295 0 -1 4202496 63203 0 1 0 1782 47 0 0 19 0 19 0 22151813 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/20875/statm: 384625 60563 1440 10 0 381927 0 [pid=20875/tid=20876] ppid=20873 vsize=1538500 CPUtime=14.32 /proc/20875/task/20876/stat : 20876 (java) R 20873 20875 19295 0 -1 4202560 38266 0 1 0 1427 5 0 0 25 0 19 0 22151814 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4109639163 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=20875/tid=20878] ppid=20873 vsize=1538500 CPUtime=0.33 /proc/20875/task/20878/stat : 20878 (java) S 20873 20875 19295 0 -1 4202560 2719 0 0 0 29 4 0 0 16 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20879] ppid=20873 vsize=1538500 CPUtime=0.31 /proc/20875/task/20879/stat : 20879 (java) S 20873 20875 19295 0 -1 4202560 2555 0 0 0 28 3 0 0 16 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20880] ppid=20873 vsize=1538500 CPUtime=0.29 /proc/20875/task/20880/stat : 20880 (java) S 20873 20875 19295 0 -1 4202560 2456 0 0 0 26 3 0 0 16 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 5 0 0 0 [pid=20875/tid=20881] ppid=20873 vsize=1538500 CPUtime=0.35 /proc/20875/task/20881/stat : 20881 (java) S 20873 20875 19295 0 -1 4202560 2842 0 0 0 31 4 0 0 16 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 [pid=20875/tid=20882] ppid=20873 vsize=1538500 CPUtime=0.35 /proc/20875/task/20882/stat : 20882 (java) S 20873 20875 19295 0 -1 4202560 2953 0 0 0 31 4 0 0 16 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20883] ppid=20873 vsize=1538500 CPUtime=0.3 /proc/20875/task/20883/stat : 20883 (java) S 20873 20875 19295 0 -1 4202560 2985 0 0 0 27 3 0 0 16 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20884] ppid=20873 vsize=1538500 CPUtime=0.32 /proc/20875/task/20884/stat : 20884 (java) S 20873 20875 19295 0 -1 4202560 1911 0 0 0 29 3 0 0 16 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20885] ppid=20873 vsize=1538500 CPUtime=0.34 /proc/20875/task/20885/stat : 20885 (java) S 20873 20875 19295 0 -1 4202560 2160 0 0 0 31 3 0 0 15 0 19 0 22151815 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20886] ppid=20873 vsize=1538500 CPUtime=0.11 /proc/20875/task/20886/stat : 20886 (java) S 20873 20875 19295 0 -1 4202560 23 0 0 0 4 7 0 0 15 0 19 0 22151816 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 0 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20887] ppid=20873 vsize=1538500 CPUtime=0 /proc/20875/task/20887/stat : 20887 (java) S 20873 20875 19295 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 19 0 22151816 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 0 0 0 0 [pid=20875/tid=20888] ppid=20873 vsize=1538500 CPUtime=0 /proc/20875/task/20888/stat : 20888 (java) S 20873 20875 19295 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 22151816 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 1 0 0 0 [pid=20875/tid=20889] ppid=20873 vsize=1538500 CPUtime=0 /proc/20875/task/20889/stat : 20889 (java) S 20873 20875 19295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 22151818 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20890] ppid=20873 vsize=1538500 CPUtime=0.57 /proc/20875/task/20890/stat : 20890 (java) S 20873 20875 19295 0 -1 4202560 1458 0 0 0 57 0 0 0 15 0 19 0 22151818 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 3 0 0 0 [pid=20875/tid=20891] ppid=20873 vsize=1538500 CPUtime=0.57 /proc/20875/task/20891/stat : 20891 (java) S 20873 20875 19295 0 -1 4202560 1810 0 0 0 57 0 0 0 16 0 19 0 22151818 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 2 0 0 0 [pid=20875/tid=20892] ppid=20873 vsize=1538500 CPUtime=0 /proc/20875/task/20892/stat : 20892 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22151818 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 6 0 0 0 [pid=20875/tid=20893] ppid=20873 vsize=1538500 CPUtime=0 /proc/20875/task/20893/stat : 20893 (java) S 20873 20875 19295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22151818 1575424000 60563 4089446400 134512640 134550932 4291874400 18446744073709551615 4294960144 0 4 0 16800975 18446604453935414080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 18.29 Current children cumulated vsize (KiB) 1538500 Child status: 20 Real time (s): 15.2901 CPU time (s): 18.3572 CPU user time (s): 17.8753 CPU system time (s): 0.481926 CPU usage (%): 120.059 Max. virtual memory (cumulated for all children) (KiB): 1538500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.8753 system time used= 0.481926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63219 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= 12431 involuntary context switches= 104082 runsolver used 0.026995 second user time and 0.070989 second system time The end
Begin job on node141 at 2010-07-07 23:49:56 IDJOB=2701360 IDBENCH=79567 IDSOLVER=1202 FILE ID=node141/2701360-1278539396 PBS_JOBID= 11239195 Free space on /tmp= 73640 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-16reduc_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701360-1278539396/watcher-2701360-1278539396 -o /tmp/evaluation-result-2701360-1278539396/solver-2701360-1278539396 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701360-1278539396.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e51a1e905ff19ece48b75fd81968c4c3 RANDOM SEED=1945526974 node141.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.839 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.67 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.839 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 : 5265.34 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.839 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.839 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.74 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.839 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.76 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.839 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.75 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.839 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.839 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: 32951124 kB MemFree: 29359188 kB Buffers: 148824 kB Cached: 2653488 kB SwapCached: 0 kB Active: 1831352 kB Inactive: 1607524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29359188 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 8948 kB Writeback: 0 kB AnonPages: 637372 kB Mapped: 15332 kB Slab: 88056 kB PageTables: 6340 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 796200 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= 73636 MiB End job on node141 at 2010-07-07 23:50:11