Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | OPT | 3 | 86.2359 | 46.1668 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb |
MD5SUM | 74c00e33b4232d137ad873ae982593f6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 2.54561 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 96 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.16 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.16 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.16 c java.vm.version 11.2-b01 0.08/0.16 c java.vm.vendor Sun Microsystems Inc. 0.08/0.16 c sun.arch.data.model 32 0.08/0.16 c java.version 1.6.0_12 0.08/0.16 c os.name Linux 0.08/0.16 c os.version 2.6.18-164.el5 0.08/0.16 c os.arch i386 0.08/0.16 c Free memory 1393557488 0.08/0.16 c Max memory 1395916800 0.08/0.16 c Total memory 1395916800 0.08/0.16 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c ManyCore solver with 2 solvers running in parallel 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 0.22/0.22 c solving HOME/instance-2661799-1276649880.opb 0.22/0.22 c reading problem ... 0.35/0.38 c ... done. Wall clock time 0.157s. 0.35/0.38 c #vars 352 0.35/0.38 c #constraints 525 0.35/0.38 c constraints type 0.35/0.38 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 256 0.35/0.38 c org.sat4j.pb.constraints.pb.MaxWatchPb => 269 0.35/0.38 c constraints type 0.35/0.38 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 256 0.35/0.38 c org.sat4j.pb.constraints.pb.MaxWatchPb => 269 7.48/3.93 c cleaning 2500 clauses out of 5000 with flag 5000/5000 10.23/5.31 c cleaning 4250 clauses out of 8500 with flag 11000/11000 11.37/5.98 c And the winner is Resolution 11.54/6.43 c SATISFIABLE 11.54/6.43 c OPTIMIZING... 11.54/6.43 c Got one! Elapsed wall clock time (in seconds):6.203 11.54/6.43 o 3 12.67/7.05 c cleaning 5611 clauses out of 11250 with flag 18000/18000 16.40/8.99 c cleaning 6817 clauses out of 13639 with flag 26000/26000 20.08/10.80 c cleaning 7907 clauses out of 15822 with flag 35000/35000 23.98/12.81 c cleaning 8953 clauses out of 17916 with flag 45001/45001 28.08/14.90 c cleaning 9475 clauses out of 18962 with flag 55000/55000 32.78/17.30 c cleaning 9737 clauses out of 19487 with flag 65001/65001 38.02/20.06 c cleaning 9869 clauses out of 19749 with flag 75000/75000 41.71/21.99 c cleaning 9938 clauses out of 19881 with flag 85001/85001 45.58/23.92 c cleaning 9967 clauses out of 19945 with flag 95003/95003 49.64/26.03 c cleaning 9988 clauses out of 19976 with flag 105001/105001 54.09/28.37 c cleaning 9993 clauses out of 19989 with flag 115002/115002 59.94/31.36 c cleaning 9992 clauses out of 19994 with flag 125000/125000 64.41/33.64 c cleaning 10001 clauses out of 20002 with flag 135000/135000 68.47/35.73 c cleaning 9995 clauses out of 20001 with flag 145001/145001 73.30/38.20 c cleaning 9998 clauses out of 20005 with flag 155000/155000 77.76/40.56 c cleaning 10000 clauses out of 20007 with flag 165000/165000 82.24/42.83 c cleaning 10001 clauses out of 20007 with flag 175000/175000 85.50/44.52 c And the winner is Resolution 86.19/46.11 c starts : 106 86.19/46.11 c conflicts : 183869 86.19/46.11 c decisions : 191996 86.19/46.11 c propagations : 3586236 86.19/46.11 c inspects : 125172183 86.19/46.11 c learnt literals : 16 86.19/46.11 c learnt binary clauses : 66 86.19/46.11 c learnt ternary clauses : 192 86.19/46.11 c learnt clauses : 183852 86.19/46.11 c ignored clauses : 0 86.19/46.11 c root simplifications : 0 86.19/46.11 c removed literals (reason simplification) : 6232679 86.19/46.11 c reason swapping (by a shorter reason) : 0 86.19/46.11 c Calls to reduceDB : 19 86.19/46.11 c number of reductions to clauses (during analyze) : 0 86.19/46.11 c number of learned constraints concerned by reduction : 0 86.19/46.11 c number of learning phase by resolution : 0 86.19/46.11 c number of learning phase by cutting planes : 0 86.19/46.11 c speed (assignments/second) : 90360.71356581333 86.19/46.11 c non guided choices 1110 86.19/46.11 c learnt constraints type 86.19/46.11 c constraints type 86.19/46.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 256 86.19/46.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 269 86.19/46.11 c constraints type 86.19/46.11 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 256 86.19/46.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 269 86.19/46.11 s OPTIMUM FOUND 86.19/46.11 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 -x15 x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 86.19/46.11 c objective function=3 86.19/46.12 c Total wall clock time (in seconds): 45.892
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2661799-1276649880/watcher-2661799-1276649880 -o /tmp/evaluation-result-2661799-1276649880/solver-2661799-1276649880 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2661799-1276649880.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.99 0.99 3/106 7002 /proc/meminfo: memFree=1833020/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1700 CPUtime=0 /proc/7002/stat : 7002 (java6) R 7000 7002 6272 0 -1 4194304 168 0 0 0 0 0 0 0 16 0 1 0 40589599 1740800 71 1992294400 134512640 134550932 4291101104 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7002/statm: 425 82 62 10 0 30 0 [startup+0.0494071 s] /proc/loadavg: 0.99 0.99 0.99 3/106 7002 /proc/meminfo: memFree=1833020/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1521016 CPUtime=0.03 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 3465 0 1 0 1 2 0 0 15 0 5 0 40589599 1557520384 2907 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 380254 2907 980 10 0 377564 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1521016 [startup+0.101419 s] /proc/loadavg: 0.99 0.99 0.99 3/106 7002 /proc/meminfo: memFree=1833020/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1524180 CPUtime=0.08 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 3950 0 1 0 5 3 0 0 15 0 12 0 40589599 1560760320 3388 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 381045 3388 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300457 s] /proc/loadavg: 0.99 0.99 0.99 3/106 7002 /proc/meminfo: memFree=1833020/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1526444 CPUtime=0.35 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 5374 0 1 0 31 4 0 0 15 0 12 0 40589599 1563078656 4810 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 381611 4810 1353 10 0 378914 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1526444 [startup+0.700549 s] /proc/loadavg: 0.99 0.99 0.99 3/106 7002 /proc/meminfo: memFree=1833020/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1531608 CPUtime=1.14 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 7041 0 1 0 109 5 0 0 15 0 16 0 40589599 1568366592 6419 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 382902 6419 1416 10 0 380205 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 1531608 [startup+1.50172 s] /proc/loadavg: 1.07 1.00 1.00 7/122 7018 /proc/meminfo: memFree=1808588/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1534004 CPUtime=2.73 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 10962 0 1 0 266 7 0 0 15 0 16 0 40589599 1570820096 9890 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 383501 9890 1421 10 0 380804 0 [pid=7002/tid=7004] ppid=7000 vsize=1534004 CPUtime=0.34 /proc/7002/task/7004/stat : 7004 (java) S 7000 7002 6272 0 -1 4202560 3949 0 1 0 32 2 0 0 18 0 16 0 40589601 1570820096 9890 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 40589602 1570820096 9890 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 40589602 1570820096 9891 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 40589604 1570820096 9891 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 40589604 1570820096 9891 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 40589604 1570820096 9891 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 40589609 1570820096 9891 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1534004 CPUtime=0.06 /proc/7002/task/7011/stat : 7011 (java) R 7000 7002 6272 0 -1 4202560 79 0 0 0 6 0 0 0 22 0 16 0 40589609 1570820096 9891 1992294400 134512640 134550932 4291558016 18446744073709551615 106261989 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1534004 CPUtime=1.18 /proc/7002/task/7012/stat : 7012 (java) R 7000 7002 6272 0 -1 4202560 2669 0 0 0 117 1 0 0 17 0 16 0 40589609 1570820096 9892 1992294400 134512640 134550932 4291558016 18446744073709551615 103975904 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 40589609 1570820096 9892 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) R 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 40589609 1570820096 9892 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7015] ppid=7000 vsize=1534004 CPUtime=0.6 /proc/7002/task/7015/stat : 7015 (java) R 7000 7002 6272 0 -1 4202560 937 0 0 0 60 0 0 0 22 0 16 0 40589638 1570820096 9892 1992294400 134512640 134550932 4291558016 18446744073709551615 4109276809 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=7002/tid=7016] ppid=7000 vsize=1534004 CPUtime=0.49 /proc/7002/task/7016/stat : 7016 (java) R 7000 7002 6272 0 -1 4202560 2255 0 0 0 48 1 0 0 23 0 16 0 40589638 1570820096 9892 1992294400 134512640 134550932 4291558016 18446744073709551615 4108875801 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 40589639 1570820096 9892 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1534004 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 40589639 1570820096 9892 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 1534004 [startup+3.10206 s] /proc/loadavg: 1.07 1.00 1.00 5/122 7018 /proc/meminfo: memFree=1770024/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1545728 CPUtime=5.89 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 28301 0 1 0 574 15 0 0 15 0 16 0 40589599 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 386432 23553 1424 10 0 383735 0 [pid=7002/tid=7004] ppid=7000 vsize=1545728 CPUtime=0.34 /proc/7002/task/7004/stat : 7004 (java) S 7000 7002 6272 0 -1 4202560 3949 0 1 0 32 2 0 0 18 0 16 0 40589601 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 40589602 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 40589602 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 40589604 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 40589604 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 40589604 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 40589609 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1545728 CPUtime=0.19 /proc/7002/task/7011/stat : 7011 (java) R 7000 7002 6272 0 -1 4202560 530 0 0 0 19 0 0 0 22 0 16 0 40589609 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 2822921 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1545728 CPUtime=2.74 /proc/7002/task/7012/stat : 7012 (java) R 7000 7002 6272 0 -1 4202560 8885 0 0 0 271 3 0 0 18 0 16 0 40589609 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 105389183 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 40589609 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 40589609 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7015] ppid=7000 vsize=1545728 CPUtime=1.6 /proc/7002/task/7015/stat : 7015 (java) R 7000 7002 6272 0 -1 4202560 6169 0 0 0 157 3 0 0 25 0 16 0 40589638 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4108865169 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=7002/tid=7016] ppid=7000 vsize=1545728 CPUtime=0.96 /proc/7002/task/7016/stat : 7016 (java) R 7000 7002 6272 0 -1 4202560 7693 0 0 0 92 4 0 0 25 0 16 0 40589638 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4109301568 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 40589639 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1545728 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 40589639 1582825472 23553 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.89 Current children cumulated vsize (KiB) 1545728 [startup+6.30173 s] /proc/loadavg: 1.23 1.03 1.01 4/122 7018 /proc/meminfo: memFree=1674544/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1545272 CPUtime=11.54 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 47400 0 1 0 1129 25 0 0 15 0 14 0 40589599 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 386318 40789 1447 10 0 383621 0 [pid=7002/tid=7004] ppid=7000 vsize=1545272 CPUtime=0.34 /proc/7002/task/7004/stat : 7004 (java) S 7000 7002 6272 0 -1 4202560 3950 0 1 0 32 2 0 0 15 0 14 0 40589601 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1545272 CPUtime=0.03 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 746 0 0 0 3 0 0 0 15 0 14 0 40589602 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1545272 CPUtime=0.04 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 752 0 0 0 4 0 0 0 15 0 14 0 40589602 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1545272 CPUtime=0.06 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 1327 0 0 0 6 0 0 0 16 0 14 0 40589604 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1545272 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 40589604 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1545272 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 14 0 40589604 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1545272 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 14 0 40589609 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1545272 CPUtime=1.05 /proc/7002/task/7011/stat : 7011 (java) S 7000 7002 6272 0 -1 4202560 2389 0 0 0 104 1 0 0 15 0 14 0 40589609 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1545272 CPUtime=3.21 /proc/7002/task/7012/stat : 7012 (java) S 7000 7002 6272 0 -1 4202560 8992 0 0 0 318 3 0 0 15 0 14 0 40589609 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1545272 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 40589609 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1545272 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 40589609 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1545272 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 40589639 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1545272 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 40589639 1582358528 40789 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 11.54 Current children cumulated vsize (KiB) 1545272 [startup+12.7021 s] /proc/loadavg: 1.29 1.05 1.02 3/122 7020 /proc/meminfo: memFree=1635980/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1544228 CPUtime=23.78 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 57720 0 1 0 2349 29 0 0 15 0 16 0 40589599 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 386057 50697 1449 10 0 383360 0 [pid=7002/tid=7004] ppid=7000 vsize=1544228 CPUtime=0.35 /proc/7002/task/7004/stat : 7004 (java) S 7000 7002 6272 0 -1 4202560 3951 0 1 0 33 2 0 0 15 0 16 0 40589601 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1544228 CPUtime=0.13 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 2287 0 0 0 12 1 0 0 15 0 16 0 40589602 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1544228 CPUtime=0.14 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 2261 0 0 0 13 1 0 0 16 0 16 0 40589602 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1544228 CPUtime=0.25 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 2579 0 0 0 24 1 0 0 15 0 16 0 40589604 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 40589604 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 16 0 40589604 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 40589609 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1544228 CPUtime=1.05 /proc/7002/task/7011/stat : 7011 (java) S 7000 7002 6272 0 -1 4202560 2389 0 0 0 104 1 0 0 15 0 16 0 40589609 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1544228 CPUtime=3.28 /proc/7002/task/7012/stat : 7012 (java) S 7000 7002 6272 0 -1 4202560 8996 0 0 0 325 3 0 0 15 0 16 0 40589609 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 40589609 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 40589609 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 40589639 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 40589639 1581289472 50697 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 ################ # More data... # ################ [pid=7002/tid=7005] ppid=7000 vsize=1544228 CPUtime=0.53 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 3921 0 0 0 50 3 0 0 16 0 16 0 40589602 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1544228 CPUtime=0.54 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 4255 0 0 0 51 3 0 0 16 0 16 0 40589602 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1544228 CPUtime=1.45 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 3112 0 0 0 144 1 0 0 16 0 16 0 40589604 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 40589604 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 16 0 40589604 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 40589609 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1544228 CPUtime=1.07 /proc/7002/task/7011/stat : 7011 (java) S 7000 7002 6272 0 -1 4202560 2389 0 0 0 106 1 0 0 15 0 16 0 40589609 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1544228 CPUtime=4.36 /proc/7002/task/7012/stat : 7012 (java) S 7000 7002 6272 0 -1 4202560 9070 0 0 0 433 3 0 0 15 0 16 0 40589609 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 40589609 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 16 0 40589609 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 40589639 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 40589639 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7019] ppid=7000 vsize=1544228 CPUtime=31.74 /proc/7002/task/7019/stat : 7019 (java) R 7000 7002 6272 0 -1 4202560 839 0 0 0 3174 0 0 0 25 0 16 0 40590242 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4109244232 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7020] ppid=7000 vsize=1544228 CPUtime=32.8 /proc/7002/task/7020/stat : 7020 (java) R 7000 7002 6272 0 -1 4202560 5221 0 0 0 3278 2 0 0 25 0 16 0 40590242 1581289472 54555 1992294400 134512640 134550932 4291558016 18446744073709551615 4109271669 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 79.65 Current children cumulated vsize (KiB) 1544228 [startup+44.702 s] /proc/loadavg: 1.62 1.16 1.05 3/122 7020 /proc/meminfo: memFree=1618992/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1544228 CPUtime=85.59 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 62049 0 1 0 8523 36 0 0 15 0 14 0 40589599 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 386057 54594 1449 10 0 383360 0 [pid=7002/tid=7004] ppid=7000 vsize=1544228 CPUtime=0.35 /proc/7002/task/7004/stat : 7004 (java) S 7000 7002 6272 0 -1 4202560 3952 0 1 0 33 2 0 0 15 0 14 0 40589601 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1544228 CPUtime=0.57 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 3921 0 0 0 53 4 0 0 16 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1544228 CPUtime=0.58 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 4260 0 0 0 55 3 0 0 15 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1544228 CPUtime=1.55 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 3146 0 0 0 154 1 0 0 15 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1544228 CPUtime=1.07 /proc/7002/task/7011/stat : 7011 (java) S 7000 7002 6272 0 -1 4202560 2389 0 0 0 106 1 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1544228 CPUtime=4.36 /proc/7002/task/7012/stat : 7012 (java) S 7000 7002 6272 0 -1 4202560 9070 0 0 0 433 3 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 85.59 Current children cumulated vsize (KiB) 1544228 [startup+45.501 s] /proc/loadavg: 1.62 1.16 1.05 1/120 7020 /proc/meminfo: memFree=1618884/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1544228 CPUtime=85.59 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 62049 0 1 0 8523 36 0 0 15 0 14 0 40589599 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 386057 54594 1449 10 0 383360 0 [pid=7002/tid=7004] ppid=7000 vsize=1544228 CPUtime=0.35 /proc/7002/task/7004/stat : 7004 (java) S 7000 7002 6272 0 -1 4202560 3952 0 1 0 33 2 0 0 15 0 14 0 40589601 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1544228 CPUtime=0.57 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 3921 0 0 0 53 4 0 0 16 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1544228 CPUtime=0.58 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 4260 0 0 0 55 3 0 0 15 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1544228 CPUtime=1.55 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 3146 0 0 0 154 1 0 0 15 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1544228 CPUtime=1.07 /proc/7002/task/7011/stat : 7011 (java) S 7000 7002 6272 0 -1 4202560 2389 0 0 0 106 1 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1544228 CPUtime=4.36 /proc/7002/task/7012/stat : 7012 (java) S 7000 7002 6272 0 -1 4202560 9070 0 0 0 433 3 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 85.59 Current children cumulated vsize (KiB) 1544228 [startup+45.9 s] /proc/loadavg: 1.62 1.16 1.05 1/120 7020 /proc/meminfo: memFree=1618884/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1544228 CPUtime=85.98 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 62049 0 1 0 8562 36 0 0 15 0 14 0 40589599 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 386057 54594 1449 10 0 383360 0 [pid=7002/tid=7004] ppid=7000 vsize=1544228 CPUtime=0.71 /proc/7002/task/7004/stat : 7004 (java) R 7000 7002 6272 0 -1 4202560 3952 0 1 0 69 2 0 0 16 0 14 0 40589601 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4109014753 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1544228 CPUtime=0.57 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 3921 0 0 0 53 4 0 0 16 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1544228 CPUtime=0.58 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 4260 0 0 0 55 3 0 0 15 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1544228 CPUtime=1.55 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 3146 0 0 0 154 1 0 0 16 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1544228 CPUtime=1.1 /proc/7002/task/7011/stat : 7011 (java) S 7000 7002 6272 0 -1 4202560 2389 0 0 0 109 1 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1544228 CPUtime=4.36 /proc/7002/task/7012/stat : 7012 (java) S 7000 7002 6272 0 -1 4202560 9070 0 0 0 433 3 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 85.98 Current children cumulated vsize (KiB) 1544228 [startup+46.1 s] /proc/loadavg: 1.49 1.14 1.04 2/120 7020 /proc/meminfo: memFree=1618884/2059040 swapFree=4140252/4192956 [pid=7002] ppid=7000 vsize=1544228 CPUtime=86.19 /proc/7002/stat : 7002 (java) S 7000 7002 6272 0 -1 4202496 62049 0 1 0 8583 36 0 0 15 0 14 0 40589599 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7002/statm: 386057 54594 1449 10 0 383360 0 [pid=7002/tid=7004] ppid=7000 vsize=1544228 CPUtime=0.91 /proc/7002/task/7004/stat : 7004 (java) R 7000 7002 6272 0 -1 4202560 3952 0 1 0 89 2 0 0 16 0 14 0 40589601 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4109014829 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7002/tid=7005] ppid=7000 vsize=1544228 CPUtime=0.57 /proc/7002/task/7005/stat : 7005 (java) S 7000 7002 6272 0 -1 4202560 3921 0 0 0 53 4 0 0 16 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7006] ppid=7000 vsize=1544228 CPUtime=0.58 /proc/7002/task/7006/stat : 7006 (java) S 7000 7002 6272 0 -1 4202560 4260 0 0 0 55 3 0 0 15 0 14 0 40589602 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7007] ppid=7000 vsize=1544228 CPUtime=1.55 /proc/7002/task/7007/stat : 7007 (java) S 7000 7002 6272 0 -1 4202560 3146 0 0 0 154 1 0 0 16 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 0 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7008] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7008/stat : 7008 (java) S 7000 7002 6272 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7009] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7009/stat : 7009 (java) S 7000 7002 6272 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 14 0 40589604 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7010] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7010/stat : 7010 (java) S 7000 7002 6272 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7011] ppid=7000 vsize=1544228 CPUtime=1.1 /proc/7002/task/7011/stat : 7011 (java) S 7000 7002 6272 0 -1 4202560 2389 0 0 0 109 1 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7012] ppid=7000 vsize=1544228 CPUtime=4.36 /proc/7002/task/7012/stat : 7012 (java) S 7000 7002 6272 0 -1 4202560 9070 0 0 0 433 3 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7013] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7013/stat : 7013 (java) S 7000 7002 6272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 0 0 0 0 [pid=7002/tid=7014] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7014/stat : 7014 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 14 0 40589609 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7017] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7017/stat : 7017 (java) S 7000 7002 6272 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 [pid=7002/tid=7018] ppid=7000 vsize=1544228 CPUtime=0 /proc/7002/task/7018/stat : 7018 (java) S 7000 7002 6272 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 40589639 1581289472 54594 1992294400 134512640 134550932 4291558016 18446744073709551615 4294960144 0 4 0 16800975 18446604437871505600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 86.19 Current children cumulated vsize (KiB) 1544228 Child status: 30 Real time (s): 46.1668 CPU time (s): 86.2359 CPU user time (s): 85.8479 CPU system time (s): 0.387941 CPU usage (%): 186.792 Max. virtual memory (cumulated for all children) (KiB): 1547708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 85.8479 system time used= 0.387941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62055 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= 1925 involuntary context switches= 2780 runsolver used 0.266959 second user time and 0.485926 second system time The end
Begin job on node010 at 2010-06-16 02:58:00 IDJOB=2661799 IDBENCH=48054 IDSOLVER=1166 FILE ID=node010/2661799-1276649880 PBS_JOBID= 11172401 Free space on /tmp= 62532 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2661799-1276649880/watcher-2661799-1276649880 -o /tmp/evaluation-result-2661799-1276649880/solver-2661799-1276649880 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2661799-1276649880.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 74c00e33b4232d137ad873ae982593f6 RANDOM SEED=1629201368 node010.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833416 kB Buffers: 40116 kB Cached: 105172 kB SwapCached: 6204 kB Active: 90876 kB Inactive: 67964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833416 kB SwapTotal: 4192956 kB SwapFree: 4140252 kB Dirty: 312 kB Writeback: 0 kB AnonPages: 11856 kB Mapped: 13032 kB Slab: 44784 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182728 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node010 at 2010-06-16 02:58:46