Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | ? (TO) | 1800.19 | 1703.07 |
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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.00/0.09 c Pseudo Boolean Optimization 0.00/0.09 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.00/0.09 c --- Begin Solver configuration --- 0.00/0.09 c Stops conflict analysis at the first Unique Implication Point 0.00/0.09 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.00/0.09 c Learn all clauses as in MiniSAT 0.00/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.09 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.00/0.09 c No reason simplification 0.00/0.09 c Armin Biere (Picosat) restarts strategy 0.00/0.09 c Glucose learned constraints deletion strategy 0.00/0.09 c timeout=2147483s 0.00/0.09 c DB Simplification allowed=false 0.00/0.09 c --- End Solver configuration --- 0.00/0.09 c solving HOME/instance-2699623-1278533798.wbo 0.00/0.09 c reading problem ... 0.98/0.58 c ... done. Wall clock time 0.488s. 0.98/0.58 c #vars 41899 0.98/0.58 c #constraints 81686 0.98/0.58 c constraints type 0.98/0.58 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 33 0.98/0.58 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40843 12.76/9.77 c cleaning 0 clauses out of 5001 with flag 0/5001 57.13/52.81 c cleaning 0 clauses out of 11002 with flag 0/11002 179.24/170.74 c cleaning 0 clauses out of 18000 with flag 0/18000 483.39/462.03 c cleaning 0 clauses out of 26000 with flag 0/26000 1082.41/1029.15 c cleaning 0 clauses out of 35001 with flag 0/35001 1800.08/1703.01 c starts : 55 1800.08/1703.01 c conflicts : 41133 1800.08/1703.01 c decisions : 101954 1800.08/1703.01 c propagations : 1925096 1800.08/1703.01 c inspects : 2099506184 1800.08/1703.01 c learnt literals : 0 1800.08/1703.01 c learnt binary clauses : 0 1800.08/1703.01 c learnt ternary clauses : 0 1800.08/1703.01 c learnt clauses : 41132 1800.08/1703.01 c ignored clauses : 0 1800.08/1703.01 c root simplifications : 0 1800.08/1703.01 c removed literals (reason simplification) : 0 1800.08/1703.01 c reason swapping (by a shorter reason) : 0 1800.08/1703.01 c Calls to reduceDB : 5 1800.08/1703.01 c number of reductions to clauses (during analyze) : 0 1800.08/1703.01 c number of learned constraints concerned by reduction : 0 1800.08/1703.01 c number of learning phase by resolution : 0 1800.08/1703.01 c number of learning phase by cutting planes : 0 1800.08/1703.01 c speed (assignments/second) : 1130.794371333178 1800.08/1703.01 c non guided choices 2637 1800.08/1703.04 c learnt constraints type 1800.08/1703.04 c org.sat4j.pb.constraints.pb.MaxWatchPb => 41133 1800.08/1703.04 c constraints type 1800.08/1703.04 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 33 1800.08/1703.04 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40843 1800.08/1703.04 s UNKNOWN 1800.08/1703.04 c Total wall clock time (in seconds): 1702.942
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-2699623-1278533798/watcher-2699623-1278533798 -o /tmp/evaluation-result-2699623-1278533798/solver-2699623-1278533798 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2699623-1278533798.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.08 0.02 0.01 2/173 18321 /proc/meminfo: memFree=29439620/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=13480 CPUtime=0 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 1111 0 0 0 0 0 0 0 18 0 2 0 21592217 13803520 582 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 3370 582 265 10 0 1204 0 [pid=18321/tid=18322] ppid=18319 vsize=13480 CPUtime=0 /proc/18321/task/18322/stat : 18322 (java) S 18319 18321 18174 0 -1 4202560 70 0 0 0 0 0 0 0 19 0 2 0 21592218 13803520 582 4089446400 134512640 134550932 4293591008 18446744073709551615 1938004 0 2147483391 0 16784584 18446744071699207358 0 0 -1 5 0 0 0 [startup+0.0120271 s] /proc/loadavg: 0.08 0.02 0.01 2/173 18321 /proc/meminfo: memFree=29439620/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1521496 CPUtime=0 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 2812 0 1 0 0 0 0 0 18 0 10 0 21592217 1558011904 2256 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 380374 2256 519 10 0 378085 0 [pid=18321/tid=18322] ppid=18319 vsize=1521496 CPUtime=0 /proc/18321/task/18322/stat : 18322 (java) S 18319 18321 18174 0 -1 4202560 1762 0 1 0 0 0 0 0 18 0 10 0 21592218 1558011904 2256 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 2147483391 0 16784584 18446744071699207358 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1521496 [startup+0.102775 s] /proc/loadavg: 0.08 0.02 0.01 2/173 18321 /proc/meminfo: memFree=29439620/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1529828 CPUtime=0.12 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 5269 0 1 0 11 1 0 0 18 0 18 0 21592217 1566543872 4707 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 382457 4707 1349 10 0 379759 0 [pid=18321/tid=18322] ppid=18319 vsize=1529828 CPUtime=0.08 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 3577 0 1 0 8 0 0 0 18 0 18 0 21592218 1566543872 4707 4089446400 134512640 134550932 4293591008 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 1529828 [startup+0.300716 s] /proc/loadavg: 0.08 0.02 0.01 2/173 18321 /proc/meminfo: memFree=29439620/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1531532 CPUtime=0.53 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 7898 0 1 0 52 1 0 0 18 0 18 0 21592217 1568288768 7097 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 382883 7098 1403 10 0 380185 0 [pid=18321/tid=18322] ppid=18319 vsize=1531532 CPUtime=0.28 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 5461 0 1 0 27 1 0 0 18 0 18 0 21592218 1568288768 7098 4089446400 134512640 134550932 4293591008 18446744073709551615 4109990676 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1531532 [startup+0.700631 s] /proc/loadavg: 0.08 0.02 0.01 2/173 18321 /proc/meminfo: memFree=29439620/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1533524 CPUtime=1.32 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 30040 0 1 0 128 4 0 0 18 0 18 0 21592217 1570328576 28831 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 383381 28831 1422 10 0 380683 0 [pid=18321/tid=18322] ppid=18319 vsize=1533524 CPUtime=0.68 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 26596 0 1 0 64 4 0 0 18 0 18 0 21592218 1570328576 28831 4089446400 134512640 134550932 4293591008 18446744073709551615 4110240675 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 1533524 [startup+1.5015 s] /proc/loadavg: 0.08 0.02 0.01 4/192 18340 /proc/meminfo: memFree=29286204/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1546488 CPUtime=3.62 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 51709 0 1 0 355 7 0 0 18 0 19 0 21592217 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 386622 45502 1446 10 0 383924 0 [pid=18321/tid=18322] ppid=18319 vsize=1546488 CPUtime=1.45 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 32078 0 1 0 141 4 0 0 19 0 19 0 21592218 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4110447410 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18321/tid=18324] ppid=18319 vsize=1546488 CPUtime=0.01 /proc/18321/task/18324/stat : 18324 (java) S 18319 18321 18174 0 -1 4202560 1247 0 0 0 1 0 0 0 16 0 19 0 21592218 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18325] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18325/stat : 18325 (java) S 18319 18321 18174 0 -1 4202560 339 0 0 0 0 0 0 0 15 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18326] ppid=18319 vsize=1546488 CPUtime=0.02 /proc/18321/task/18326/stat : 18326 (java) S 18319 18321 18174 0 -1 4202560 981 0 0 0 2 0 0 0 16 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18327] ppid=18319 vsize=1546488 CPUtime=0.02 /proc/18321/task/18327/stat : 18327 (java) S 18319 18321 18174 0 -1 4202560 1070 0 0 0 2 0 0 0 16 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 0 0 0 0 [pid=18321/tid=18328] ppid=18319 vsize=1546488 CPUtime=0.02 /proc/18321/task/18328/stat : 18328 (java) S 18319 18321 18174 0 -1 4202560 1350 0 0 0 2 0 0 0 16 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18329] ppid=18319 vsize=1546488 CPUtime=0.01 /proc/18321/task/18329/stat : 18329 (java) S 18319 18321 18174 0 -1 4202560 844 0 0 0 1 0 0 0 16 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 5 0 0 0 [pid=18321/tid=18330] ppid=18319 vsize=1546488 CPUtime=0.02 /proc/18321/task/18330/stat : 18330 (java) S 18319 18321 18174 0 -1 4202560 1044 0 0 0 2 0 0 0 16 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18331] ppid=18319 vsize=1546488 CPUtime=0.02 /proc/18321/task/18331/stat : 18331 (java) S 18319 18321 18174 0 -1 4202560 1214 0 0 0 2 0 0 0 16 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18332] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18332/stat : 18332 (java) S 18319 18321 18174 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 21592219 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18333] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18333/stat : 18333 (java) S 18319 18321 18174 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 21592220 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18334] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18334/stat : 18334 (java) S 18319 18321 18174 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21592220 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18335] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18335/stat : 18335 (java) S 18319 18321 18174 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 21592222 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18336] ppid=18319 vsize=1546488 CPUtime=0.97 /proc/18321/task/18336/stat : 18336 (java) S 18319 18321 18174 0 -1 4202560 7291 0 0 0 96 1 0 0 16 0 19 0 21592222 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18337] ppid=18319 vsize=1546488 CPUtime=1.01 /proc/18321/task/18337/stat : 18337 (java) S 18319 18321 18174 0 -1 4202560 3167 0 0 0 101 0 0 0 16 0 19 0 21592222 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18338] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18338/stat : 18338 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 21592222 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18339] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18339/stat : 18339 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21592222 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18340] ppid=18319 vsize=1546488 CPUtime=0 /proc/18321/task/18340/stat : 18340 (java) S 18319 18321 18174 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 21592299 1583603712 45502 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 1546488 [startup+3.1012 s] /proc/loadavg: 0.08 0.02 0.01 2/192 18340 /proc/meminfo: memFree=29242716/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1546288 CPUtime=5.93 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 61519 0 1 0 583 10 0 0 18 0 19 0 21592217 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 386572 51781 1446 10 0 383874 0 [pid=18321/tid=18322] ppid=18319 vsize=1546288 CPUtime=2.98 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 32087 0 1 0 294 4 0 0 22 0 19 0 21592218 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4110321722 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18321/tid=18324] ppid=18319 vsize=1546288 CPUtime=0.02 /proc/18321/task/18324/stat : 18324 (java) S 18319 18321 18174 0 -1 4202560 1307 0 0 0 2 0 0 0 15 0 19 0 21592218 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18325] ppid=18319 vsize=1546288 CPUtime=0.05 /proc/18321/task/18325/stat : 18325 (java) S 18319 18321 18174 0 -1 4202560 1423 0 0 0 5 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18326] ppid=18319 vsize=1546288 CPUtime=0.05 /proc/18321/task/18326/stat : 18326 (java) S 18319 18321 18174 0 -1 4202560 2265 0 0 0 5 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18327] ppid=18319 vsize=1546288 CPUtime=0.07 /proc/18321/task/18327/stat : 18327 (java) S 18319 18321 18174 0 -1 4202560 1995 0 0 0 7 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 0 0 0 0 [pid=18321/tid=18328] ppid=18319 vsize=1546288 CPUtime=0.07 /proc/18321/task/18328/stat : 18328 (java) S 18319 18321 18174 0 -1 4202560 2166 0 0 0 7 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18329] ppid=18319 vsize=1546288 CPUtime=0.06 /proc/18321/task/18329/stat : 18329 (java) S 18319 18321 18174 0 -1 4202560 2076 0 0 0 6 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 5 0 0 0 [pid=18321/tid=18330] ppid=18319 vsize=1546288 CPUtime=0.07 /proc/18321/task/18330/stat : 18330 (java) S 18319 18321 18174 0 -1 4202560 1832 0 0 0 7 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18331] ppid=18319 vsize=1546288 CPUtime=0.04 /proc/18321/task/18331/stat : 18331 (java) S 18319 18321 18174 0 -1 4202560 1545 0 0 0 4 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18332] ppid=18319 vsize=1546288 CPUtime=0 /proc/18321/task/18332/stat : 18332 (java) S 18319 18321 18174 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 21592219 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18333] ppid=18319 vsize=1546288 CPUtime=0 /proc/18321/task/18333/stat : 18333 (java) S 18319 18321 18174 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 21592220 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18334] ppid=18319 vsize=1546288 CPUtime=0 /proc/18321/task/18334/stat : 18334 (java) S 18319 18321 18174 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21592220 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18335] ppid=18319 vsize=1546288 CPUtime=0 /proc/18321/task/18335/stat : 18335 (java) S 18319 18321 18174 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 21592222 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18336] ppid=18319 vsize=1546288 CPUtime=1.24 /proc/18321/task/18336/stat : 18336 (java) S 18319 18321 18174 0 -1 4202560 10230 0 0 0 123 1 0 0 15 0 19 0 21592222 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18337] ppid=18319 vsize=1546288 CPUtime=1.17 /proc/18321/task/18337/stat : 18337 (java) S 18319 18321 18174 0 -1 4202560 3497 0 0 0 117 0 0 0 16 0 19 0 21592222 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18338] ppid=18319 vsize=1546288 CPUtime=0 /proc/18321/task/18338/stat : 18338 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 21592222 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18339] ppid=18319 vsize=1546288 CPUtime=0 /proc/18321/task/18339/stat : 18339 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21592222 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18340] ppid=18319 vsize=1546288 CPUtime=0 /proc/18321/task/18340/stat : 18340 (java) S 18319 18321 18174 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 21592299 1583398912 51781 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 1546288 [startup+6.30156 s] /proc/loadavg: 0.15 0.03 0.01 2/192 18340 /proc/meminfo: memFree=29234656/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1544428 CPUtime=9.26 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 63058 0 1 0 915 11 0 0 18 0 19 0 21592217 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 386107 52644 1446 10 0 383409 0 [pid=18321/tid=18322] ppid=18319 vsize=1544428 CPUtime=6.14 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 32105 0 1 0 610 4 0 0 25 0 19 0 21592218 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4110476065 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18321/tid=18324] ppid=18319 vsize=1544428 CPUtime=0.04 /proc/18321/task/18324/stat : 18324 (java) S 18319 18321 18174 0 -1 4202560 1524 0 0 0 4 0 0 0 15 0 19 0 21592218 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18325] ppid=18319 vsize=1544428 CPUtime=0.06 /proc/18321/task/18325/stat : 18325 (java) S 18319 18321 18174 0 -1 4202560 1507 0 0 0 6 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18326] ppid=18319 vsize=1544428 CPUtime=0.08 /proc/18321/task/18326/stat : 18326 (java) S 18319 18321 18174 0 -1 4202560 2488 0 0 0 8 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18327] ppid=18319 vsize=1544428 CPUtime=0.09 /proc/18321/task/18327/stat : 18327 (java) S 18319 18321 18174 0 -1 4202560 2217 0 0 0 9 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18328] ppid=18319 vsize=1544428 CPUtime=0.09 /proc/18321/task/18328/stat : 18328 (java) S 18319 18321 18174 0 -1 4202560 2297 0 0 0 9 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18329] ppid=18319 vsize=1544428 CPUtime=0.08 /proc/18321/task/18329/stat : 18329 (java) S 18319 18321 18174 0 -1 4202560 2301 0 0 0 8 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 5 0 0 0 [pid=18321/tid=18330] ppid=18319 vsize=1544428 CPUtime=0.09 /proc/18321/task/18330/stat : 18330 (java) S 18319 18321 18174 0 -1 4202560 2039 0 0 0 9 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 0 0 0 0 [pid=18321/tid=18331] ppid=18319 vsize=1544428 CPUtime=0.06 /proc/18321/task/18331/stat : 18331 (java) S 18319 18321 18174 0 -1 4202560 1757 0 0 0 6 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18332] ppid=18319 vsize=1544428 CPUtime=0 /proc/18321/task/18332/stat : 18332 (java) S 18319 18321 18174 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 21592219 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18333] ppid=18319 vsize=1544428 CPUtime=0 /proc/18321/task/18333/stat : 18333 (java) S 18319 18321 18174 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 21592220 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18334] ppid=18319 vsize=1544428 CPUtime=0 /proc/18321/task/18334/stat : 18334 (java) S 18319 18321 18174 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21592220 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18335] ppid=18319 vsize=1544428 CPUtime=0 /proc/18321/task/18335/stat : 18335 (java) S 18319 18321 18174 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 21592222 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18336] ppid=18319 vsize=1544428 CPUtime=1.25 /proc/18321/task/18336/stat : 18336 (java) S 18319 18321 18174 0 -1 4202560 10230 0 0 0 124 1 0 0 15 0 19 0 21592222 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18337] ppid=18319 vsize=1544428 CPUtime=1.17 /proc/18321/task/18337/stat : 18337 (java) S 18319 18321 18174 0 -1 4202560 3497 0 0 0 117 0 0 0 16 0 19 0 21592222 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18338] ppid=18319 vsize=1544428 CPUtime=0 /proc/18321/task/18338/stat : 18338 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 21592222 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18339] ppid=18319 vsize=1544428 CPUtime=0 /proc/18321/task/18339/stat : 18339 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21592222 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18340] ppid=18319 vsize=1544428 CPUtime=0 /proc/18321/task/18340/stat : 18340 (java) S 18319 18321 18174 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 21592299 1581494272 52644 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 9.26 Current children cumulated vsize (KiB) 1544428 ################ # More data... # ################ [pid=18321/tid=18329] ppid=18319 vsize=1545608 CPUtime=12.51 /proc/18321/task/18329/stat : 18329 (java) S 18319 18321 18174 0 -1 4202560 8535 0 0 0 1096 155 0 0 16 0 19 0 21592219 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18330] ppid=18319 vsize=1545608 CPUtime=12.07 /proc/18321/task/18330/stat : 18330 (java) S 18319 18321 18174 0 -1 4202560 8657 0 0 0 1081 126 0 0 15 0 19 0 21592219 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18331] ppid=18319 vsize=1545608 CPUtime=12.45 /proc/18321/task/18331/stat : 18331 (java) S 18319 18321 18174 0 -1 4202560 8107 0 0 0 1107 138 0 0 16 0 19 0 21592219 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18332] ppid=18319 vsize=1545608 CPUtime=1.68 /proc/18321/task/18332/stat : 18332 (java) S 18319 18321 18174 0 -1 4202560 700 0 0 0 126 42 0 0 15 0 19 0 21592219 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18333] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18333/stat : 18333 (java) S 18319 18321 18174 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18334] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18334/stat : 18334 (java) S 18319 18321 18174 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18335] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18335/stat : 18335 (java) S 18319 18321 18174 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 21592222 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18336] ppid=18319 vsize=1545608 CPUtime=1.26 /proc/18321/task/18336/stat : 18336 (java) S 18319 18321 18174 0 -1 4202560 10230 0 0 0 125 1 0 0 15 0 19 0 21592222 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18337] ppid=18319 vsize=1545608 CPUtime=1.38 /proc/18321/task/18337/stat : 18337 (java) S 18319 18321 18174 0 -1 4202560 4550 0 0 0 138 0 0 0 15 0 19 0 21592222 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18338] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18338/stat : 18338 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 21592222 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18339] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18339/stat : 18339 (java) S 18319 18321 18174 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 21592222 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18340] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18340/stat : 18340 (java) S 18319 18321 18174 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 21592299 1582702592 100140 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1627.44 Current children cumulated vsize (KiB) 1545608 [startup+1602.3 s] /proc/loadavg: 2.05 1.99 1.61 3/197 18672 /proc/meminfo: memFree=28052184/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1545608 CPUtime=1691.83 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 118532 0 1 0 167836 1347 0 0 18 0 19 0 21592217 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 386402 102605 1452 10 0 383704 0 [pid=18321/tid=18322] ppid=18319 vsize=1545608 CPUtime=1583.03 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 34502 0 1 0 158289 14 0 0 25 0 19 0 21592218 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4110388991 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18321/tid=18324] ppid=18319 vsize=1545608 CPUtime=13.12 /proc/18321/task/18324/stat : 18324 (java) S 18319 18321 18174 0 -1 4202560 7778 0 0 0 1136 176 0 0 16 0 19 0 21592218 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18325] ppid=18319 vsize=1545608 CPUtime=13.35 /proc/18321/task/18325/stat : 18325 (java) S 18319 18321 18174 0 -1 4202560 7542 0 0 0 1149 186 0 0 16 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18326] ppid=18319 vsize=1545608 CPUtime=12.55 /proc/18321/task/18326/stat : 18326 (java) S 18319 18321 18174 0 -1 4202560 8948 0 0 0 1116 139 0 0 15 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18327] ppid=18319 vsize=1545608 CPUtime=13.57 /proc/18321/task/18327/stat : 18327 (java) S 18319 18321 18174 0 -1 4202560 8101 0 0 0 1162 195 0 0 16 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18328] ppid=18319 vsize=1545608 CPUtime=12.71 /proc/18321/task/18328/stat : 18328 (java) S 18319 18321 18174 0 -1 4202560 8759 0 0 0 1125 146 0 0 16 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 0 0 0 0 [pid=18321/tid=18329] ppid=18319 vsize=1545608 CPUtime=13.09 /proc/18321/task/18329/stat : 18329 (java) S 18319 18321 18174 0 -1 4202560 8772 0 0 0 1149 160 0 0 16 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18330] ppid=18319 vsize=1545608 CPUtime=12.78 /proc/18321/task/18330/stat : 18330 (java) S 18319 18321 18174 0 -1 4202560 8969 0 0 0 1141 137 0 0 16 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18331] ppid=18319 vsize=1545608 CPUtime=13.16 /proc/18321/task/18331/stat : 18331 (java) S 18319 18321 18174 0 -1 4202560 8516 0 0 0 1173 143 0 0 16 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18332] ppid=18319 vsize=1545608 CPUtime=1.7 /proc/18321/task/18332/stat : 18332 (java) S 18319 18321 18174 0 -1 4202560 704 0 0 0 127 43 0 0 15 0 19 0 21592219 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18333] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18333/stat : 18333 (java) S 18319 18321 18174 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18334] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18334/stat : 18334 (java) S 18319 18321 18174 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18335] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18335/stat : 18335 (java) S 18319 18321 18174 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 21592222 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18336] ppid=18319 vsize=1545608 CPUtime=1.26 /proc/18321/task/18336/stat : 18336 (java) S 18319 18321 18174 0 -1 4202560 10230 0 0 0 125 1 0 0 15 0 19 0 21592222 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18337] ppid=18319 vsize=1545608 CPUtime=1.38 /proc/18321/task/18337/stat : 18337 (java) S 18319 18321 18174 0 -1 4202560 4550 0 0 0 138 0 0 0 15 0 19 0 21592222 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18338] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18338/stat : 18338 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 21592222 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18339] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18339/stat : 18339 (java) S 18319 18321 18174 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 21592222 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18340] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18340/stat : 18340 (java) S 18319 18321 18174 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 21592299 1582702592 102605 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1691.83 Current children cumulated vsize (KiB) 1545608 [startup+1662.3 s] /proc/loadavg: 2.64 2.18 1.70 3/197 18674 /proc/meminfo: memFree=27986908/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1545608 CPUtime=1756.28 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 121213 0 1 0 174213 1415 0 0 18 0 19 0 21592217 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 386402 105180 1452 10 0 383704 0 [pid=18321/tid=18322] ppid=18319 vsize=1545608 CPUtime=1642.14 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 34574 0 1 0 164200 14 0 0 25 0 19 0 21592218 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4110387498 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18321/tid=18324] ppid=18319 vsize=1545608 CPUtime=13.79 /proc/18321/task/18324/stat : 18324 (java) S 18319 18321 18174 0 -1 4202560 8206 0 0 0 1196 183 0 0 16 0 19 0 21592218 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18325] ppid=18319 vsize=1545608 CPUtime=14.06 /proc/18321/task/18325/stat : 18325 (java) S 18319 18321 18174 0 -1 4202560 7775 0 0 0 1209 197 0 0 16 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18326] ppid=18319 vsize=1545608 CPUtime=13.24 /proc/18321/task/18326/stat : 18326 (java) S 18319 18321 18174 0 -1 4202560 9208 0 0 0 1173 151 0 0 16 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18327] ppid=18319 vsize=1545608 CPUtime=14.31 /proc/18321/task/18327/stat : 18327 (java) S 18319 18321 18174 0 -1 4202560 8514 0 0 0 1228 203 0 0 16 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18328] ppid=18319 vsize=1545608 CPUtime=13.32 /proc/18321/task/18328/stat : 18328 (java) S 18319 18321 18174 0 -1 4202560 9109 0 0 0 1181 151 0 0 15 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18329] ppid=18319 vsize=1545608 CPUtime=13.79 /proc/18321/task/18329/stat : 18329 (java) S 18319 18321 18174 0 -1 4202560 9069 0 0 0 1208 171 0 0 16 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18330] ppid=18319 vsize=1545608 CPUtime=13.32 /proc/18321/task/18330/stat : 18330 (java) S 18319 18321 18174 0 -1 4202560 9211 0 0 0 1188 144 0 0 16 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18331] ppid=18319 vsize=1545608 CPUtime=13.83 /proc/18321/task/18331/stat : 18331 (java) S 18319 18321 18174 0 -1 4202560 8894 0 0 0 1234 149 0 0 16 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 0 0 0 0 [pid=18321/tid=18332] ppid=18319 vsize=1545608 CPUtime=1.73 /proc/18321/task/18332/stat : 18332 (java) S 18319 18321 18174 0 -1 4202560 708 0 0 0 128 45 0 0 15 0 19 0 21592219 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18333] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18333/stat : 18333 (java) S 18319 18321 18174 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18334] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18334/stat : 18334 (java) S 18319 18321 18174 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18335] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18335/stat : 18335 (java) S 18319 18321 18174 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 21592222 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18336] ppid=18319 vsize=1545608 CPUtime=1.26 /proc/18321/task/18336/stat : 18336 (java) S 18319 18321 18174 0 -1 4202560 10230 0 0 0 125 1 0 0 15 0 19 0 21592222 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18337] ppid=18319 vsize=1545608 CPUtime=1.38 /proc/18321/task/18337/stat : 18337 (java) S 18319 18321 18174 0 -1 4202560 4550 0 0 0 138 0 0 0 15 0 19 0 21592222 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18338] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18338/stat : 18338 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 21592222 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18339] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18339/stat : 18339 (java) S 18319 18321 18174 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 21592222 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18340] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18340/stat : 18340 (java) S 18319 18321 18174 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 21592299 1582702592 105180 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1756.28 Current children cumulated vsize (KiB) 1545608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1703 s] /proc/loadavg: 2.33 2.16 1.71 3/197 18675 /proc/meminfo: memFree=27946216/32951124 swapFree=67111528/67111528 [pid=18321] ppid=18319 vsize=1545608 CPUtime=1800.08 /proc/18321/stat : 18321 (java) S 18319 18321 18174 0 -1 4202496 122938 0 1 0 178543 1465 0 0 18 0 19 0 21592217 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/18321/statm: 386402 106842 1452 10 0 383704 0 [pid=18321/tid=18322] ppid=18319 vsize=1545608 CPUtime=1682.22 /proc/18321/task/18322/stat : 18322 (java) R 18319 18321 18174 0 -1 4202560 34623 0 1 0 168208 14 0 0 25 0 19 0 21592218 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4110445953 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18321/tid=18324] ppid=18319 vsize=1545608 CPUtime=14.24 /proc/18321/task/18324/stat : 18324 (java) S 18319 18321 18174 0 -1 4202560 8390 0 0 0 1238 186 0 0 16 0 19 0 21592218 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18325] ppid=18319 vsize=1545608 CPUtime=14.54 /proc/18321/task/18325/stat : 18325 (java) S 18319 18321 18174 0 -1 4202560 7953 0 0 0 1249 205 0 0 16 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18326] ppid=18319 vsize=1545608 CPUtime=13.69 /proc/18321/task/18326/stat : 18326 (java) S 18319 18321 18174 0 -1 4202560 9408 0 0 0 1212 157 0 0 16 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 2 0 0 0 [pid=18321/tid=18327] ppid=18319 vsize=1545608 CPUtime=14.74 /proc/18321/task/18327/stat : 18327 (java) S 18319 18321 18174 0 -1 4202560 8661 0 0 0 1267 207 0 0 16 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18328] ppid=18319 vsize=1545608 CPUtime=13.76 /proc/18321/task/18328/stat : 18328 (java) S 18319 18321 18174 0 -1 4202560 9378 0 0 0 1221 155 0 0 16 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 0 0 0 0 [pid=18321/tid=18329] ppid=18319 vsize=1545608 CPUtime=14.27 /proc/18321/task/18329/stat : 18329 (java) S 18319 18321 18174 0 -1 4202560 9280 0 0 0 1246 181 0 0 16 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18330] ppid=18319 vsize=1545608 CPUtime=13.8 /proc/18321/task/18330/stat : 18330 (java) S 18319 18321 18174 0 -1 4202560 9433 0 0 0 1231 149 0 0 16 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 4 0 0 0 [pid=18321/tid=18331] ppid=18319 vsize=1545608 CPUtime=14.31 /proc/18321/task/18331/stat : 18331 (java) S 18319 18321 18174 0 -1 4202560 9155 0 0 0 1273 158 0 0 15 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18332] ppid=18319 vsize=1545608 CPUtime=1.75 /proc/18321/task/18332/stat : 18332 (java) S 18319 18321 18174 0 -1 4202560 710 0 0 0 129 46 0 0 15 0 19 0 21592219 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 0 0 16800975 18446604471139342464 0 0 -1 0 0 0 0 [pid=18321/tid=18333] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18333/stat : 18333 (java) S 18319 18321 18174 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18334] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18334/stat : 18334 (java) S 18319 18321 18174 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 21592220 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 6 0 0 0 [pid=18321/tid=18335] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18335/stat : 18335 (java) S 18319 18321 18174 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 21592222 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18336] ppid=18319 vsize=1545608 CPUtime=1.26 /proc/18321/task/18336/stat : 18336 (java) S 18319 18321 18174 0 -1 4202560 10230 0 0 0 125 1 0 0 15 0 19 0 21592222 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18337] ppid=18319 vsize=1545608 CPUtime=1.38 /proc/18321/task/18337/stat : 18337 (java) S 18319 18321 18174 0 -1 4202560 4550 0 0 0 138 0 0 0 15 0 19 0 21592222 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 3 0 0 0 [pid=18321/tid=18338] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18338/stat : 18338 (java) S 18319 18321 18174 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 21592222 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 [pid=18321/tid=18339] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18339/stat : 18339 (java) S 18319 18321 18174 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 21592222 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 7 0 0 0 [pid=18321/tid=18340] ppid=18319 vsize=1545608 CPUtime=0 /proc/18321/task/18340/stat : 18340 (java) S 18319 18321 18174 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 21592299 1582702592 106842 4089446400 134512640 134550932 4293591008 18446744073709551615 4294960144 0 4 0 16800975 18446604471139342464 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1545608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1703.07 CPU time (s): 1800.19 CPU user time (s): 1785.52 CPU system time (s): 14.6738 CPU usage (%): 105.703 Max. virtual memory (cumulated for all children) (KiB): 1551136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.52 system time used= 14.6738 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 122961 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= 106538 involuntary context switches= 3474923 runsolver used 3.22851 second user time and 6.19006 second system time The end
Begin job on node143 at 2010-07-07 22:16:38 IDJOB=2699623 IDBENCH=79360 IDSOLVER=1203 FILE ID=node143/2699623-1278533798 PBS_JOBID= 11239191 Free space on /tmp= 73248 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 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 CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699623-1278533798/watcher-2699623-1278533798 -o /tmp/evaluation-result-2699623-1278533798/solver-2699623-1278533798 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2699623-1278533798.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69dbc7406636817ba2a44752a9d60525 RANDOM SEED=1499548248 node143.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.829 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.65 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.829 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.72 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.829 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 : 5338.82 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.74 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.829 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: 29439892 kB Buffers: 133500 kB Cached: 3160680 kB SwapCached: 0 kB Active: 1593080 kB Inactive: 1763048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29439892 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1380 kB Writeback: 0 kB AnonPages: 61976 kB Mapped: 14624 kB Slab: 91880 kB PageTables: 4496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185148 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= 73244 MiB End job on node143 at 2010-07-07 22:45:04