Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | UNSAT | 107.175 | 105.708 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo |
MD5SUM | 69dbc7406636817ba2a44752a9d60525 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best cost obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 63.9493 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1089 |
Total number of constraints | 40843 |
Number of soft constraints | 40810 |
Number of constraints which are clauses | 40810 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 33 |
Top cost | 1 |
Min constraint cost | 1 |
Max constraint cost | 1 |
Sum of constraints costs | 40810 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 34 |
Number of bits of the biggest sum of numbers | 6 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.2.1.v20100705 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.09 c java.vm.version 11.2-b01 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 32 0.00/0.09 c java.version 1.6.0_12 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch i386 0.00/0.09 c Free memory 1393557488 0.00/0.09 c Max memory 1395916800 0.00/0.09 c Total memory 1395916800 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c Stops conflict analysis at the first Unique Implication Point 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@16fd0b7 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-2699630-1278533800.wbo 0.10/0.11 c reading problem ... 1.13/0.62 c ... done. Wall clock time 0.51s. 1.13/0.62 c #vars 41899 1.13/0.62 c #constraints 81686 1.13/0.62 c constraints type 1.13/0.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40843 1.13/0.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 33 2.55/1.38 c cleaning 2479 clauses out of 4995 with flag 5000/5000 3.34/2.00 c cleaning 4215 clauses out of 8515 with flag 11001/11001 4.24/2.97 c cleaning 5623 clauses out of 11301 with flag 18003/18003 5.86/4.58 c cleaning 6802 clauses out of 13672 with flag 26001/26001 9.39/8.04 c cleaning 7896 clauses out of 15860 with flag 35003/35003 15.19/13.87 c cleaning 8965 clauses out of 17952 with flag 45000/45000 22.71/21.34 c cleaning 9955 clauses out of 19986 with flag 56000/56000 31.62/30.26 c cleaning 11008 clauses out of 22030 with flag 68000/68000 42.23/40.90 c cleaning 12009 clauses out of 24023 with flag 81002/81002 53.94/52.53 c cleaning 13001 clauses out of 26010 with flag 95001/95001 66.24/64.87 c cleaning 13997 clauses out of 28006 with flag 110000/110000 82.35/80.93 c cleaning 14999 clauses out of 30008 with flag 126000/126000 97.47/96.01 c cleaning 16003 clauses out of 32013 with flag 143004/143004 107.08/105.66 c starts : 100 107.08/105.66 c conflicts : 154563 107.08/105.66 c decisions : 292791 107.08/105.66 c propagations : 27858827 107.08/105.66 c inspects : 1052548653 107.08/105.66 c learnt literals : 47 107.08/105.66 c learnt binary clauses : 366 107.08/105.66 c learnt ternary clauses : 478 107.08/105.66 c learnt clauses : 154515 107.08/105.66 c ignored clauses : 0 107.08/105.66 c root simplifications : 0 107.08/105.66 c removed literals (reason simplification) : 3290572 107.08/105.66 c reason swapping (by a shorter reason) : 0 107.08/105.66 c Calls to reduceDB : 13 107.08/105.66 c number of reductions to clauses (during analyze) : 0 107.08/105.66 c number of learned constraints concerned by reduction : 0 107.08/105.66 c number of learning phase by resolution : 0 107.08/105.66 c number of learning phase by cutting planes : 0 107.08/105.66 c speed (assignments/second) : 265226.17528894305 107.08/105.66 c non guided choices 2713 107.08/105.67 c learnt constraints type 107.08/105.67 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 27197 107.08/105.67 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 366 107.08/105.67 c constraints type 107.08/105.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40843 107.08/105.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 33 107.08/105.67 s UNSATISFIABLE 107.08/105.67 c Total wall clock time (in seconds): 105.561
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-2699630-1278533800/watcher-2699630-1278533800 -o /tmp/evaluation-result-2699630-1278533800/solver-2699630-1278533800 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2699630-1278533800.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: 0.15 0.03 0.01 3/178 19278 /proc/meminfo: memFree=30054448/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=24036 CPUtime=0 /proc/19278/stat : 19278 (runsolver) S 19276 19278 19224 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 1 0 21593971 24612864 106 4089446400 4194304 4302564 140736101561584 18446744073709551615 216734999543 0 2147483391 4096 24578 0 0 0 17 3 0 0 0 /proc/19278/statm: 6009 106 69 27 0 2647 0 [startup+0.106384 s] /proc/loadavg: 0.15 0.03 0.01 3/178 19278 /proc/meminfo: memFree=30054448/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1529820 CPUtime=0.1 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 5169 0 1 0 9 1 0 0 20 0 18 0 21593971 1566535680 4606 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 382455 4607 1345 10 0 379758 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529820 [startup+0.200368 s] /proc/loadavg: 0.15 0.03 0.01 3/178 19278 /proc/meminfo: memFree=30054448/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1529820 CPUtime=0.25 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 5850 0 1 0 23 2 0 0 20 0 18 0 21593971 1566535680 5287 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 382455 5288 1374 10 0 379758 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1529820 [startup+0.300457 s] /proc/loadavg: 0.15 0.03 0.01 3/178 19278 /proc/meminfo: memFree=30054448/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1531448 CPUtime=0.5 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 7598 0 1 0 48 2 0 0 20 0 18 0 21593971 1568202752 6926 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 382862 6926 1402 10 0 380165 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1531448 [startup+0.700317 s] /proc/loadavg: 0.15 0.03 0.01 3/178 19278 /proc/meminfo: memFree=30054448/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1534980 CPUtime=1.32 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 30054 0 1 0 128 4 0 0 20 0 18 0 21593971 1571819520 28517 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383745 28517 1420 10 0 381048 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 1534980 [startup+1.50115 s] /proc/loadavg: 0.15 0.03 0.01 4/197 19298 /proc/meminfo: memFree=29902472/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1535440 CPUtime=2.82 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 47881 0 1 0 275 7 0 0 20 0 19 0 21593971 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383860 46166 1446 10 0 381163 0 [pid=19278/tid=19280] ppid=19276 vsize=1535440 CPUtime=1.4 /proc/19278/task/19280/stat : 19280 (java) R 19276 19278 19224 0 -1 4202560 32053 0 1 0 136 4 0 0 23 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4110163287 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=19278/tid=19281] ppid=19276 vsize=1535440 CPUtime=0.01 /proc/19278/task/19281/stat : 19281 (java) S 19276 19278 19224 0 -1 4202560 885 0 0 0 1 0 0 0 15 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19282] ppid=19276 vsize=1535440 CPUtime=0.02 /proc/19278/task/19282/stat : 19282 (java) S 19276 19278 19224 0 -1 4202560 1991 0 0 0 2 0 0 0 16 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19283] ppid=19276 vsize=1535440 CPUtime=0.01 /proc/19278/task/19283/stat : 19283 (java) S 19276 19278 19224 0 -1 4202560 1494 0 0 0 1 0 0 0 15 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19284] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19284/stat : 19284 (java) S 19276 19278 19224 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19285] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19285/stat : 19285 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19286] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19286/stat : 19286 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19287] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19287/stat : 19287 (java) S 19276 19278 19224 0 -1 4202560 1291 0 0 0 0 0 0 0 15 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19288] ppid=19276 vsize=1535440 CPUtime=0.02 /proc/19278/task/19288/stat : 19288 (java) S 19276 19278 19224 0 -1 4202560 1902 0 0 0 2 0 0 0 16 0 19 0 21593973 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 7 0 0 0 [pid=19278/tid=19289] ppid=19276 vsize=1535440 CPUtime=0.03 /proc/19278/task/19289/stat : 19289 (java) S 19276 19278 19224 0 -1 4202560 4044 0 0 0 3 0 0 0 15 0 19 0 21593974 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19290] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19290/stat : 19290 (java) S 19276 19278 19224 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21593974 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19291] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19291/stat : 19291 (java) S 19276 19278 19224 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21593974 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19292] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19292/stat : 19292 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21593977 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19293] ppid=19276 vsize=1535440 CPUtime=0.61 /proc/19278/task/19293/stat : 19293 (java) S 19276 19278 19224 0 -1 4202560 902 0 0 0 61 0 0 0 15 0 19 0 21593977 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19294] ppid=19276 vsize=1535440 CPUtime=0.65 /proc/19278/task/19294/stat : 19294 (java) S 19276 19278 19224 0 -1 4202560 2204 0 0 0 65 0 0 0 15 0 19 0 21593977 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 21593977 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19296] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19296/stat : 19296 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 21593977 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19298] ppid=19276 vsize=1535440 CPUtime=0 /proc/19278/task/19298/stat : 19298 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 21594057 1572290560 46166 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 1535440 [startup+3.10091 s] /proc/loadavg: 0.15 0.03 0.01 2/192 19315 /proc/meminfo: memFree=30048824/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1535948 CPUtime=4.45 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 48441 0 1 0 438 7 0 0 20 0 19 0 21593971 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383987 46724 1446 10 0 381290 0 [pid=19278/tid=19280] ppid=19276 vsize=1535948 CPUtime=2.92 /proc/19278/task/19280/stat : 19280 (java) R 19276 19278 19224 0 -1 4202560 32056 0 1 0 288 4 0 0 25 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4110145024 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19278/tid=19281] ppid=19276 vsize=1535948 CPUtime=0.01 /proc/19278/task/19281/stat : 19281 (java) S 19276 19278 19224 0 -1 4202560 885 0 0 0 1 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 [pid=19278/tid=19282] ppid=19276 vsize=1535948 CPUtime=0.02 /proc/19278/task/19282/stat : 19282 (java) S 19276 19278 19224 0 -1 4202560 1992 0 0 0 2 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19283] ppid=19276 vsize=1535948 CPUtime=0.01 /proc/19278/task/19283/stat : 19283 (java) S 19276 19278 19224 0 -1 4202560 1495 0 0 0 1 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19284] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19284/stat : 19284 (java) S 19276 19278 19224 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 [pid=19278/tid=19285] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19285/stat : 19285 (java) S 19276 19278 19224 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19286] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19286/stat : 19286 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19287] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19287/stat : 19287 (java) S 19276 19278 19224 0 -1 4202560 1291 0 0 0 0 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19288] ppid=19276 vsize=1535948 CPUtime=0.02 /proc/19278/task/19288/stat : 19288 (java) S 19276 19278 19224 0 -1 4202560 1905 0 0 0 2 0 0 0 15 0 19 0 21593973 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 7 0 0 0 [pid=19278/tid=19289] ppid=19276 vsize=1535948 CPUtime=0.1 /proc/19278/task/19289/stat : 19289 (java) S 19276 19278 19224 0 -1 4202560 4588 0 0 0 10 0 0 0 16 0 19 0 21593974 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19290] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19290/stat : 19290 (java) S 19276 19278 19224 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21593974 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19291] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19291/stat : 19291 (java) S 19276 19278 19224 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21593974 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19292] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19292/stat : 19292 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21593977 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19293] ppid=19276 vsize=1535948 CPUtime=0.63 /proc/19278/task/19293/stat : 19293 (java) S 19276 19278 19224 0 -1 4202560 907 0 0 0 63 0 0 0 15 0 19 0 21593977 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19294] ppid=19276 vsize=1535948 CPUtime=0.66 /proc/19278/task/19294/stat : 19294 (java) S 19276 19278 19224 0 -1 4202560 2206 0 0 0 66 0 0 0 15 0 19 0 21593977 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 21593977 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19296] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19296/stat : 19296 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 21593977 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19298] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19298/stat : 19298 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 21594057 1572810752 46724 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.45 Current children cumulated vsize (KiB) 1535948 [startup+6.30134 s] /proc/loadavg: 0.22 0.05 0.02 2/192 19315 /proc/meminfo: memFree=30048208/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1535948 CPUtime=7.68 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 48449 0 1 0 761 7 0 0 20 0 19 0 21593971 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383987 46722 1446 10 0 381290 0 [pid=19278/tid=19280] ppid=19276 vsize=1535948 CPUtime=6.07 /proc/19278/task/19280/stat : 19280 (java) R 19276 19278 19224 0 -1 4202560 32057 0 1 0 603 4 0 0 25 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4110163013 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=19278/tid=19281] ppid=19276 vsize=1535948 CPUtime=0.01 /proc/19278/task/19281/stat : 19281 (java) S 19276 19278 19224 0 -1 4202560 885 0 0 0 1 0 0 0 15 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 [pid=19278/tid=19282] ppid=19276 vsize=1535948 CPUtime=0.02 /proc/19278/task/19282/stat : 19282 (java) S 19276 19278 19224 0 -1 4202560 1992 0 0 0 2 0 0 0 15 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19283] ppid=19276 vsize=1535948 CPUtime=0.01 /proc/19278/task/19283/stat : 19283 (java) S 19276 19278 19224 0 -1 4202560 1495 0 0 0 1 0 0 0 15 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19284] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19284/stat : 19284 (java) S 19276 19278 19224 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 [pid=19278/tid=19285] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19285/stat : 19285 (java) S 19276 19278 19224 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19286] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19286/stat : 19286 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19287] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19287/stat : 19287 (java) S 19276 19278 19224 0 -1 4202560 1291 0 0 0 0 0 0 0 15 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19288] ppid=19276 vsize=1535948 CPUtime=0.02 /proc/19278/task/19288/stat : 19288 (java) S 19276 19278 19224 0 -1 4202560 1905 0 0 0 2 0 0 0 16 0 19 0 21593973 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19289] ppid=19276 vsize=1535948 CPUtime=0.15 /proc/19278/task/19289/stat : 19289 (java) S 19276 19278 19224 0 -1 4202560 4588 0 0 0 15 0 0 0 15 0 19 0 21593974 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446604471149366336 0 0 -1 7 0 0 0 [pid=19278/tid=19290] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19290/stat : 19290 (java) S 19276 19278 19224 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21593974 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19291] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19291/stat : 19291 (java) S 19276 19278 19224 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21593974 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19292] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19292/stat : 19292 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21593977 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19293] ppid=19276 vsize=1535948 CPUtime=0.65 /proc/19278/task/19293/stat : 19293 (java) S 19276 19278 19224 0 -1 4202560 914 0 0 0 65 0 0 0 15 0 19 0 21593977 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19294] ppid=19276 vsize=1535948 CPUtime=0.67 /proc/19278/task/19294/stat : 19294 (java) S 19276 19278 19224 0 -1 4202560 2206 0 0 0 67 0 0 0 15 0 19 0 21593977 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 21593977 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19296] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19296/stat : 19296 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 21593977 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19298] ppid=19276 vsize=1535948 CPUtime=0 /proc/19278/task/19298/stat : 19298 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 21594057 1572810752 46722 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 7.68 Current children cumulated vsize (KiB) 1535948 [startup+12.7012 s] /proc/loadavg: 0.28 0.06 0.02 2/192 19315 /proc/meminfo: memFree=30047724/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1534924 CPUtime=14.09 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 48608 0 1 0 1402 7 0 0 20 0 19 0 21593971 1571762176 46847 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383731 46847 1446 10 0 381034 0 [pid=19278/tid=19280] ppid=19276 vsize=1534924 CPUtime=12.42 /proc/19278/task/19280/stat : 19280 (java) R 19276 19278 19224 0 -1 4202560 32058 0 1 0 1238 4 0 0 25 0 19 0 21593973 1571762176 46847 4089446400 134512640 134550932 4288248096 18446744073709551615 4110162316 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=19278/tid=19281] ppid=19276 vsize=1534924 CPUtime=0.01 /proc/19278/task/19281/stat : 19281 (java) S 19276 19278 19224 0 -1 4202560 885 0 0 0 1 0 0 0 15 0 19 0 21593973 1571762176 46847 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=19278/tid=19287] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19287/stat : 19287 (java) S 19276 19278 19224 0 -1 4202560 1294 0 0 0 2 0 0 0 16 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19288] ppid=19276 vsize=1534924 CPUtime=0.03 /proc/19278/task/19288/stat : 19288 (java) S 19276 19278 19224 0 -1 4202560 1907 0 0 0 3 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19289] ppid=19276 vsize=1534924 CPUtime=0.58 /proc/19278/task/19289/stat : 19289 (java) S 19276 19278 19224 0 -1 4202560 6165 0 0 0 57 1 0 0 15 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446604471149366336 0 0 -1 7 0 0 0 [pid=19278/tid=19290] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19290/stat : 19290 (java) S 19276 19278 19224 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19291] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19291/stat : 19291 (java) S 19276 19278 19224 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19292] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19292/stat : 19292 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19293] ppid=19276 vsize=1534924 CPUtime=0.66 /proc/19278/task/19293/stat : 19293 (java) S 19276 19278 19224 0 -1 4202560 914 0 0 0 66 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19294] ppid=19276 vsize=1534924 CPUtime=0.67 /proc/19278/task/19294/stat : 19294 (java) S 19276 19278 19224 0 -1 4202560 2206 0 0 0 67 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19296] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19296/stat : 19296 (java) S 19276 19278 19224 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19298] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19298/stat : 19298 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 21594057 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 105.47 Current children cumulated vsize (KiB) 1534924 [startup+104.801 s] /proc/loadavg: 1.44 0.48 0.17 3/197 19573 /proc/meminfo: memFree=29974080/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1534924 CPUtime=106.27 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 50071 0 1 0 10619 8 0 0 20 0 19 0 21593971 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383731 48292 1446 10 0 381034 0 [pid=19278/tid=19280] ppid=19276 vsize=1534924 CPUtime=104.13 /proc/19278/task/19280/stat : 19280 (java) R 19276 19278 19224 0 -1 4202560 32066 0 1 0 10409 4 0 0 25 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4110110147 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19278/tid=19281] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19281/stat : 19281 (java) S 19276 19278 19224 0 -1 4202560 888 0 0 0 2 0 0 0 16 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 6 0 0 0 [pid=19278/tid=19282] ppid=19276 vsize=1534924 CPUtime=0.03 /proc/19278/task/19282/stat : 19282 (java) S 19276 19278 19224 0 -1 4202560 1996 0 0 0 3 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19283] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19283/stat : 19283 (java) S 19276 19278 19224 0 -1 4202560 1497 0 0 0 2 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 6 0 0 0 [pid=19278/tid=19284] ppid=19276 vsize=1534924 CPUtime=0.01 /proc/19278/task/19284/stat : 19284 (java) S 19276 19278 19224 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 [pid=19278/tid=19285] ppid=19276 vsize=1534924 CPUtime=0.01 /proc/19278/task/19285/stat : 19285 (java) S 19276 19278 19224 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19286] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19286/stat : 19286 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19287] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19287/stat : 19287 (java) S 19276 19278 19224 0 -1 4202560 1294 0 0 0 2 0 0 0 16 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19288] ppid=19276 vsize=1534924 CPUtime=0.03 /proc/19278/task/19288/stat : 19288 (java) S 19276 19278 19224 0 -1 4202560 1907 0 0 0 3 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19289] ppid=19276 vsize=1534924 CPUtime=0.58 /proc/19278/task/19289/stat : 19289 (java) S 19276 19278 19224 0 -1 4202560 6165 0 0 0 57 1 0 0 15 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446604471149366336 0 0 -1 7 0 0 0 [pid=19278/tid=19290] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19290/stat : 19290 (java) S 19276 19278 19224 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19291] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19291/stat : 19291 (java) S 19276 19278 19224 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19292] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19292/stat : 19292 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19293] ppid=19276 vsize=1534924 CPUtime=0.66 /proc/19278/task/19293/stat : 19293 (java) S 19276 19278 19224 0 -1 4202560 914 0 0 0 66 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19294] ppid=19276 vsize=1534924 CPUtime=0.67 /proc/19278/task/19294/stat : 19294 (java) S 19276 19278 19224 0 -1 4202560 2206 0 0 0 67 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19296] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19296/stat : 19296 (java) S 19276 19278 19224 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19298] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19298/stat : 19298 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 21594057 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 106.27 Current children cumulated vsize (KiB) 1534924 [startup+105.201 s] /proc/loadavg: 1.44 0.48 0.17 3/197 19573 /proc/meminfo: memFree=29974080/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1534924 CPUtime=106.67 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 50071 0 1 0 10659 8 0 0 20 0 19 0 21593971 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383731 48292 1446 10 0 381034 0 [pid=19278/tid=19280] ppid=19276 vsize=1534924 CPUtime=104.53 /proc/19278/task/19280/stat : 19280 (java) R 19276 19278 19224 0 -1 4202560 32066 0 1 0 10449 4 0 0 25 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4110110181 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19278/tid=19281] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19281/stat : 19281 (java) S 19276 19278 19224 0 -1 4202560 888 0 0 0 2 0 0 0 16 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 6 0 0 0 [pid=19278/tid=19282] ppid=19276 vsize=1534924 CPUtime=0.03 /proc/19278/task/19282/stat : 19282 (java) S 19276 19278 19224 0 -1 4202560 1996 0 0 0 3 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19283] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19283/stat : 19283 (java) S 19276 19278 19224 0 -1 4202560 1497 0 0 0 2 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 6 0 0 0 [pid=19278/tid=19284] ppid=19276 vsize=1534924 CPUtime=0.01 /proc/19278/task/19284/stat : 19284 (java) S 19276 19278 19224 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 [pid=19278/tid=19285] ppid=19276 vsize=1534924 CPUtime=0.01 /proc/19278/task/19285/stat : 19285 (java) S 19276 19278 19224 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19286] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19286/stat : 19286 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19287] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19287/stat : 19287 (java) S 19276 19278 19224 0 -1 4202560 1294 0 0 0 2 0 0 0 16 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19288] ppid=19276 vsize=1534924 CPUtime=0.03 /proc/19278/task/19288/stat : 19288 (java) S 19276 19278 19224 0 -1 4202560 1907 0 0 0 3 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19289] ppid=19276 vsize=1534924 CPUtime=0.58 /proc/19278/task/19289/stat : 19289 (java) S 19276 19278 19224 0 -1 4202560 6165 0 0 0 57 1 0 0 15 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446604471149366336 0 0 -1 7 0 0 0 [pid=19278/tid=19290] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19290/stat : 19290 (java) S 19276 19278 19224 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19291] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19291/stat : 19291 (java) S 19276 19278 19224 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19292] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19292/stat : 19292 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19293] ppid=19276 vsize=1534924 CPUtime=0.66 /proc/19278/task/19293/stat : 19293 (java) S 19276 19278 19224 0 -1 4202560 914 0 0 0 66 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19294] ppid=19276 vsize=1534924 CPUtime=0.67 /proc/19278/task/19294/stat : 19294 (java) S 19276 19278 19224 0 -1 4202560 2206 0 0 0 67 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19296] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19296/stat : 19296 (java) S 19276 19278 19224 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19298] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19298/stat : 19298 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 21594057 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 106.67 Current children cumulated vsize (KiB) 1534924 [startup+105.601 s] /proc/loadavg: 1.44 0.48 0.17 3/197 19573 /proc/meminfo: memFree=29972792/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=1534924 CPUtime=107.08 /proc/19278/stat : 19278 (java) S 19276 19278 19224 0 -1 4202496 50071 0 1 0 10700 8 0 0 20 0 19 0 21593971 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 383731 48292 1446 10 0 381034 0 [pid=19278/tid=19280] ppid=19276 vsize=1534924 CPUtime=104.93 /proc/19278/task/19280/stat : 19280 (java) R 19276 19278 19224 0 -1 4202560 32066 0 1 0 10489 4 0 0 25 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4110162490 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=19278/tid=19281] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19281/stat : 19281 (java) S 19276 19278 19224 0 -1 4202560 888 0 0 0 2 0 0 0 16 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 6 0 0 0 [pid=19278/tid=19282] ppid=19276 vsize=1534924 CPUtime=0.03 /proc/19278/task/19282/stat : 19282 (java) S 19276 19278 19224 0 -1 4202560 1996 0 0 0 3 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19283] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19283/stat : 19283 (java) S 19276 19278 19224 0 -1 4202560 1497 0 0 0 2 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 6 0 0 0 [pid=19278/tid=19284] ppid=19276 vsize=1534924 CPUtime=0.01 /proc/19278/task/19284/stat : 19284 (java) S 19276 19278 19224 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 2 0 0 0 [pid=19278/tid=19285] ppid=19276 vsize=1534924 CPUtime=0.01 /proc/19278/task/19285/stat : 19285 (java) S 19276 19278 19224 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19286] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19286/stat : 19286 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19287] ppid=19276 vsize=1534924 CPUtime=0.02 /proc/19278/task/19287/stat : 19287 (java) S 19276 19278 19224 0 -1 4202560 1294 0 0 0 2 0 0 0 16 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19288] ppid=19276 vsize=1534924 CPUtime=0.03 /proc/19278/task/19288/stat : 19288 (java) S 19276 19278 19224 0 -1 4202560 1907 0 0 0 3 0 0 0 15 0 19 0 21593973 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19289] ppid=19276 vsize=1534924 CPUtime=0.58 /proc/19278/task/19289/stat : 19289 (java) S 19276 19278 19224 0 -1 4202560 6165 0 0 0 57 1 0 0 15 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 0 0 16800975 18446604471149366336 0 0 -1 7 0 0 0 [pid=19278/tid=19290] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19290/stat : 19290 (java) S 19276 19278 19224 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19291] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19291/stat : 19291 (java) S 19276 19278 19224 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21593974 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19292] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19292/stat : 19292 (java) S 19276 19278 19224 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 1 0 0 0 [pid=19278/tid=19293] ppid=19276 vsize=1534924 CPUtime=0.66 /proc/19278/task/19293/stat : 19293 (java) S 19276 19278 19224 0 -1 4202560 914 0 0 0 66 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 0 0 0 0 [pid=19278/tid=19294] ppid=19276 vsize=1534924 CPUtime=0.67 /proc/19278/task/19294/stat : 19294 (java) S 19276 19278 19224 0 -1 4202560 2206 0 0 0 67 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) S 19276 19278 19224 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 3 0 0 0 [pid=19278/tid=19296] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19296/stat : 19296 (java) S 19276 19278 19224 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 21593977 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 [pid=19278/tid=19298] ppid=19276 vsize=1534924 CPUtime=0 /proc/19278/task/19298/stat : 19298 (java) S 19276 19278 19224 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 21594057 1571762176 48292 4089446400 134512640 134550932 4288248096 18446744073709551615 4294960144 0 4 0 16800975 18446604471149366336 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 107.08 Current children cumulated vsize (KiB) 1534924 [startup+105.707 s] /proc/loadavg: 1.44 0.48 0.17 3/197 19573 /proc/meminfo: memFree=29972792/32951124 swapFree=67111528/67111528 [pid=19278] ppid=19276 vsize=0 CPUtime=107.17 /proc/19278/stat : 19278 (java) Z 19276 19278 19224 0 -1 4203548 50085 0 1 0 10708 9 0 0 18 0 2 0 21593971 0 0 4089446400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/19278/statm: 0 0 0 0 0 0 0 [pid=19278/tid=19295] ppid=19276 vsize=0 CPUtime=0 /proc/19278/task/19295/stat : 19295 (java) R 19276 19278 19224 0 -1 4203588 0 0 0 0 0 0 0 0 18 0 2 0 21593977 0 0 4089446400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 107.17 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 105.708 CPU time (s): 107.175 CPU user time (s): 107.082 CPU system time (s): 0.092985 CPU usage (%): 101.387 Max. virtual memory (cumulated for all children) (KiB): 1535948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 107.082 system time used= 0.092985 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50085 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= 2874 involuntary context switches= 3110 runsolver used 0.174973 second user time and 0.399939 second system time The end
Begin job on node119 at 2010-07-07 22:16:40 IDJOB=2699630 IDBENCH=79360 IDSOLVER=1211 FILE ID=node119/2699630-1278533800 PBS_JOBID= 11239239 Free space on /tmp= 73220 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-langford-3-11_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699630-1278533800/watcher-2699630-1278533800 -o /tmp/evaluation-result-2699630-1278533800/solver-2699630-1278533800 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2699630-1278533800.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69dbc7406636817ba2a44752a9d60525 RANDOM SEED=1986898797 node119.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.868 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.73 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.75 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.868 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.72 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.868 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.82 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.868 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.75 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.868 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30054976 kB Buffers: 138204 kB Cached: 2364408 kB SwapCached: 0 kB Active: 1274536 kB Inactive: 1457796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30054976 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 8168 kB Writeback: 0 kB AnonPages: 230104 kB Mapped: 16520 kB Slab: 99544 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 377008 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= 73220 MiB End job on node119 at 2010-07-07 22:18:26