Trace number 2662522

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB RES // CP 2.2.0 2010-05-31? (TO) 1800.47 921.967

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3705.opb
MD5SUMc62be038ec01e0d6924d61ed3007a589
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12665835129
Best CPU time to get the best result obtained on this benchmark1800.8
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4802224614
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29593306649763
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29593306649763
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100531
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.16	c Free memory 		1393557488
0.08/0.16	c Max memory 		1395916800
0.08/0.16	c Total memory 		1395916800
0.08/0.16	c Number of processors 	2
0.22/0.22	c Pseudo Boolean Optimization
0.22/0.22	c ManyCore solver with 2 solvers running in parallel
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.22	c Expensive reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.22	c No reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	
0.22/0.22	c solving HOME/instance-2662522-1276522498.opb
0.22/0.22	c reading problem ... 
8.08/6.22	c ... done. Wall clock time 6.0s.
8.08/6.22	c #vars     155000
8.08/6.22	c #constraints  66429
8.08/6.22	c constraints type 
8.08/6.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
8.08/6.22	c constraints type 
8.08/6.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
75.01/40.05	c cleaning 2512 clauses out of 5024 with flag 5024/5024
127.48/66.80	c cleaning 4244 clauses out of 8489 with flag 11001/11001
179.30/93.33	c cleaning 5627 clauses out of 11253 with flag 18009/18009
247.05/127.90	c cleaning 6811 clauses out of 13622 with flag 26005/26005
337.70/174.02	c cleaning 7910 clauses out of 15820 with flag 35014/35014
430.30/221.19	c cleaning 8954 clauses out of 17908 with flag 45012/45012
549.22/281.57	c cleaning 9479 clauses out of 18957 with flag 55015/55015
649.48/332.55	c cleaning 9738 clauses out of 19476 with flag 65013/65013
728.08/372.78	c cleaning 9866 clauses out of 19732 with flag 75007/75007
844.63/431.96	c cleaning 9940 clauses out of 19879 with flag 85020/85020
929.56/475.25	c cleaning 9961 clauses out of 19922 with flag 95003/95003
1024.97/523.90	c cleaning 9978 clauses out of 19960 with flag 105002/105002
1084.81/554.61	c cleaning 9987 clauses out of 19980 with flag 115000/115000
1150.46/588.28	c cleaning 9996 clauses out of 20002 with flag 125009/125009
1206.43/616.93	c cleaning 9994 clauses out of 19997 with flag 135000/135000
1264.22/646.55	c cleaning 9995 clauses out of 20004 with flag 145001/145001
1313.56/671.94	c cleaning 9997 clauses out of 20008 with flag 155000/155000
1372.56/702.12	c cleaning 10000 clauses out of 20011 with flag 165000/165000
1434.51/733.84	c cleaning 9998 clauses out of 20012 with flag 175001/175001
1491.44/763.06	c cleaning 10001 clauses out of 20015 with flag 185002/185002
1548.91/792.69	c cleaning 9999 clauses out of 20013 with flag 195001/195001
1606.63/822.27	c cleaning 10001 clauses out of 20014 with flag 205001/205001
1665.35/852.40	c cleaning 9999 clauses out of 20013 with flag 215001/215001
1725.09/882.96	c cleaning 10003 clauses out of 20014 with flag 225001/225001
1769.76/906.05	c cleaning 9998 clauses out of 20010 with flag 235000/235000
1800.02/921.72	c starts		: 120
1800.02/921.72	c conflicts		: 240948
1800.02/921.72	c decisions		: 607020
1800.02/921.72	c propagations		: 10367783
1800.02/921.72	c inspects		: 226675263
1800.02/921.72	c learnt literals	: 0
1800.02/921.72	c learnt binary clauses	: 0
1800.02/921.72	c learnt ternary clauses	: 0
1800.02/921.72	c learnt clauses	: 240948
1800.02/921.72	c ignored clauses	: 0
1800.02/921.72	c root simplifications	: 0
1800.02/921.72	c removed literals (reason simplification)	: 5022930
1800.02/921.72	c reason swapping (by a shorter reason)	: 0
1800.02/921.72	c Calls to reduceDB	: 25
1800.02/921.72	c number of reductions to clauses (during analyze)	: 0
1800.02/921.72	c number of learned constraints concerned by reduction	: 0
1800.02/921.72	c number of learning phase by resolution	: 0
1800.02/921.72	c number of learning phase by cutting planes	: 0
1800.02/921.72	c speed (assignments/second)	: 11324.747842158038
1800.02/921.72	c non guided choices	127298
1800.23/921.86	c learnt constraints type 
1800.23/921.86	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 15986
1800.23/921.86	c constraints type 
1800.23/921.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
1800.23/921.86	c constraints type 
1800.23/921.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
1800.23/921.86	s UNKNOWN
1800.23/921.86	c Total wall clock time (in seconds): 921.634

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662522-1276522498/watcher-2662522-1276522498 -o /tmp/evaluation-result-2662522-1276522498/solver-2662522-1276522498 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662522-1276522498.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.01 1.66 3/106 32039
/proc/meminfo: memFree=1771876/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1700 CPUtime=0
/proc/32039/stat : 32039 (java6) R 32037 32039 31603 0 -1 4194304 199 0 0 0 0 0 0 0 19 0 1 0 27851415 1740800 105 1992294400 134512640 134550932 4287445296 18446744073709551615 7788704 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32039/statm: 425 105 81 10 0 30 0

[startup+0.0514541 s]
/proc/loadavg: 2.19 2.01 1.66 3/106 32039
/proc/meminfo: memFree=1771876/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1521016 CPUtime=0.03
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 3486 0 1 0 1 2 0 0 15 0 5 0 27851415 1557520384 2930 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 380254 2931 986 10 0 377564 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1521016

[startup+0.100453 s]
/proc/loadavg: 2.19 2.01 1.66 3/106 32039
/proc/meminfo: memFree=1771876/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1524020 CPUtime=0.08
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 3939 0 1 0 5 3 0 0 15 0 12 0 27851415 1560596480 3379 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 381045 3386 1074 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524020

[startup+0.300453 s]
/proc/loadavg: 2.19 2.01 1.66 3/106 32039
/proc/meminfo: memFree=1771876/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1526232 CPUtime=0.36
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 7031 0 1 0 31 5 0 0 15 0 12 0 27851415 1562861568 6469 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 381558 6469 1359 10 0 378861 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1526232

[startup+0.700453 s]
/proc/loadavg: 2.19 2.01 1.66 3/106 32039
/proc/meminfo: memFree=1771876/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1527980 CPUtime=1.03
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 11233 0 1 0 96 7 0 0 15 0 12 0 27851415 1564651520 10621 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 381995 10621 1400 10 0 379298 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 1527980

[startup+1.50145 s]
/proc/loadavg: 2.26 2.03 1.67 2/118 32051
/proc/meminfo: memFree=1712880/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1528448 CPUtime=1.91
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 24945 0 1 0 179 12 0 0 15 0 12 0 27851415 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 382112 24333 1401 10 0 379415 0
[pid=32039/tid=32041] ppid=32037 vsize=1528448 CPUtime=1.45
/proc/32039/task/32041/stat : 32041 (java) R 32037 32039 31603 0 -1 4202560 22677 0 1 0 135 10 0 0 25 0 12 0 27851417 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 106408363 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32042/stat : 32042 (java) S 32037 32039 31603 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 27851418 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32043/stat : 32043 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 27851418 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 27851420 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 27851420 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 27851420 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 27851425 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1528448 CPUtime=0.09
/proc/32039/task/32048/stat : 32048 (java) R 32037 32039 31603 0 -1 4202560 61 0 0 0 9 0 0 0 15 0 12 0 27851425 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 106127739 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1528448 CPUtime=0.34
/proc/32039/task/32049/stat : 32049 (java) R 32037 32039 31603 0 -1 4202560 1141 0 0 0 34 0 0 0 15 0 12 0 27851425 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 106262236 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 27851425 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1528448 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 27851425 1565130752 24333 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 1528448

[startup+3.10145 s]
/proc/loadavg: 2.26 2.03 1.67 2/118 32051
/proc/meminfo: memFree=1609464/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1528224 CPUtime=4.05
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 49948 0 1 0 382 23 0 0 15 0 12 0 27851415 1564901376 48311 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 382056 48313 1415 10 0 379359 0
[pid=32039/tid=32041] ppid=32037 vsize=1528224 CPUtime=2.76
/proc/32039/task/32041/stat : 32041 (java) R 32037 32039 31603 0 -1 4202560 32021 0 1 0 262 14 0 0 25 0 12 0 27851417 1564901376 48313 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1528224 CPUtime=0.27
/proc/32039/task/32042/stat : 32042 (java) R 32037 32039 31603 0 -1 4202560 8428 0 0 0 24 3 0 0 16 0 12 0 27851418 1564901376 48315 1992294400 134512640 134550932 4291129664 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1528224 CPUtime=0.27
/proc/32039/task/32043/stat : 32043 (java) R 32037 32039 31603 0 -1 4202560 7178 0 0 0 25 2 0 0 18 0 12 0 27851418 1564901376 48321 1992294400 134512640 134550932 4291129664 18446744073709551615 106195400 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1528224 CPUtime=0
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 12 0 27851420 1564901376 48322 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1528224 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 27851420 1564901376 48324 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1528224 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 27851420 1564901376 48325 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1528224 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 27851425 1564901376 48326 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1528224 CPUtime=0.25
/proc/32039/task/32048/stat : 32048 (java) S 32037 32039 31603 0 -1 4202560 78 0 0 0 25 0 0 0 15 0 12 0 27851425 1564901376 48328 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1528224 CPUtime=0.43
/proc/32039/task/32049/stat : 32049 (java) S 32037 32039 31603 0 -1 4202560 1180 0 0 0 43 0 0 0 15 0 12 0 27851425 1564901376 48329 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1528224 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 27851425 1564901376 48330 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1528224 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 27851425 1564901376 48332 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 1528224

[startup+6.30445 s]
/proc/loadavg: 2.16 2.01 1.66 4/118 32051
/proc/meminfo: memFree=1525268/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1533352 CPUtime=8.25
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 75044 0 1 0 791 34 0 0 15 0 14 0 27851415 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 383338 68236 1427 10 0 380641 0
[pid=32039/tid=32041] ppid=32037 vsize=1533352 CPUtime=5.18
/proc/32039/task/32041/stat : 32041 (java) S 32037 32039 31603 0 -1 4202560 32049 0 1 0 503 15 0 0 18 0 14 0 27851417 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1533352 CPUtime=0.97
/proc/32039/task/32042/stat : 32042 (java) S 32037 32039 31603 0 -1 4202560 21971 0 0 0 87 10 0 0 16 0 14 0 27851418 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1533352 CPUtime=0.95
/proc/32039/task/32043/stat : 32043 (java) S 32037 32039 31603 0 -1 4202560 16827 0 0 0 90 5 0 0 16 0 14 0 27851418 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1533352 CPUtime=0
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 14 0 27851420 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1533352 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 14 0 27851420 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1533352 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 27851420 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1533352 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 14 0 27851425 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1533352 CPUtime=0.31
/proc/32039/task/32048/stat : 32048 (java) S 32037 32039 31603 0 -1 4202560 85 0 0 0 31 0 0 0 15 0 14 0 27851425 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1533352 CPUtime=0.72
/proc/32039/task/32049/stat : 32049 (java) S 32037 32039 31603 0 -1 4202560 3033 0 0 0 71 1 0 0 15 0 14 0 27851425 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1533352 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 27851425 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1533352 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) R 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 27851425 1570152448 68236 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 1533352

[startup+12.7139 s]
/proc/loadavg: 2.30 2.04 1.68 3/122 32055
/proc/meminfo: memFree=1448232/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1534000 CPUtime=20.94
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 90344 0 1 0 2051 43 0 0 15 0 16 0 27851415 1570816000 82162 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 383500 82162 1441 10 0 380803 0
[pid=32039/tid=32041] ppid=32037 vsize=1534000 CPUtime=5.18
/proc/32039/task/32041/stat : 32041 (java) S 32037 32039 31603 0 -1 4202560 32050 0 1 0 503 15 0 0 15 0 16 0 27851417 1570816000 82162 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1534000 CPUtime=1.85
/proc/32039/task/32042/stat : 32042 (java) R 32037 32039 31603 0 -1 4202560 29600 0 0 0 172 13 0 0 15 0 16 0 27851418 1570816000 82163 1992294400 134512640 134550932 4291129664 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1534000 CPUtime=1.83
/proc/32039/task/32043/stat : 32043 (java) R 32037 32039 31603 0 -1 4202560 24214 0 0 0 173 10 0 0 15 0 16 0 27851418 1570816000 82163 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1534000 CPUtime=0.01
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 7 0 0 0 1 0 0 0 15 0 16 0 27851420 1570816000 82163 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1534000 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 27851420 1570816000 82163 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1534000 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27851420 1570816000 82163 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1534000 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27851425 1570816000 82163 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1534000 CPUtime=1.06
/proc/32039/task/32048/stat : 32048 (java) S 32037 32039 31603 0 -1 4202560 172 0 0 0 106 0 0 0 15 0 16 0 27851425 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1534000 CPUtime=1.62
/proc/32039/task/32049/stat : 32049 (java) S 32037 32039 31603 0 -1 4202560 3162 0 0 0 161 1 0 0 15 0 16 0 27851425 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1534000 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 27851425 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1534000 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 27851425 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32052] ppid=32037 vsize=1534000 CPUtime=4.94
/proc/32039/task/32052/stat : 32052 (java) S 32037 32039 31603 0 -1 4202560 29 0 0 0 494 0 0 0 18 0 16 0 27852038 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32053] ppid=32037 vsize=1534000 CPUtime=4.36
/proc/32039/task/32053/stat : 32053 (java) S 32037 32039 31603 0 -1 4202560 41 0 0 0 436 0 0 0 21 0 16 0 27852038 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32054] ppid=32037 vsize=1534000 CPUtime=0
/proc/32039/task/32054/stat : 32054 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 16 0 27852170 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32055] ppid=32037 vsize=1534000 CPUtime=0
/proc/32039/task/32055/stat : 32055 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 27852198 1570816000 82164 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.94
Current children cumulated vsize (KiB) 1534000

[startup+25.5016 s]
/proc/loadavg: 2.26 2.04 1.68 3/122 32055
/proc/meminfo: memFree=1432608/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1534000 CPUtime=46.26
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 94320 0 1 0 4580 46 0 0 15 0 16 0 27851415 1570816000 85924 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 383500 85924 1445 10 0 380803 0
[pid=32039/tid=32041] ppid=32037 vsize=1534000 CPUtime=5.18
/proc/32039/task/32041/stat : 32041 (java) S 32037 32039 31603 0 -1 4202560 32051 0 1 0 503 15 0 0 15 0 16 0 27851417 1570816000 85924 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1534000 CPUtime=2.28
/proc/32039/task/32042/stat : 32042 (java) S 32037 32039 31603 0 -1 4202560 31549 0 0 0 214 14 0 0 16 0 16 0 27851418 1570816000 85924 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1534000 CPUtime=2.25
/proc/32039/task/32043/stat : 32043 (java) S 32037 32039 31603 0 -1 4202560 26192 0 0 0 214 11 0 0 15 0 16 0 27851418 1570816000 85924 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1534000 CPUtime=0.03

################
# More data... #
################

/proc/32039/task/32054/stat : 32054 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 16 0 27852170 1571565568 123981 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32055] ppid=32037 vsize=1534732 CPUtime=0
/proc/32039/task/32055/stat : 32055 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 27852198 1571565568 123981 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1606.81
Current children cumulated vsize (KiB) 1534732

[startup+882.301 s]
/proc/loadavg: 2.06 2.04 1.87 3/122 32079
/proc/meminfo: memFree=1278724/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1533728 CPUtime=1723.89
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 300817 0 1 0 172190 199 0 0 15 0 16 0 27851415 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 383432 123781 1452 10 0 380735 0
[pid=32039/tid=32041] ppid=32037 vsize=1533728 CPUtime=5.18
/proc/32039/task/32041/stat : 32041 (java) S 32037 32039 31603 0 -1 4202560 32066 0 1 0 503 15 0 0 15 0 16 0 27851417 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1533728 CPUtime=12.2
/proc/32039/task/32042/stat : 32042 (java) S 32037 32039 31603 0 -1 4202560 54522 0 0 0 1178 42 0 0 15 0 16 0 27851418 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1533728 CPUtime=12.13
/proc/32039/task/32043/stat : 32043 (java) S 32037 32039 31603 0 -1 4202560 45704 0 0 0 1179 34 0 0 16 0 16 0 27851418 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1533728 CPUtime=21.22
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 162644 0 0 0 2053 69 0 0 15 0 16 0 27851420 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27851420 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27851420 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1533728 CPUtime=1.21
/proc/32039/task/32048/stat : 32048 (java) S 32037 32039 31603 0 -1 4202560 183 0 0 0 121 0 0 0 15 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1533728 CPUtime=2.51
/proc/32039/task/32049/stat : 32049 (java) S 32037 32039 31603 0 -1 4202560 3542 0 0 0 250 1 0 0 15 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) S 32037 32039 31603 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32052] ppid=32037 vsize=1533728 CPUtime=833.53
/proc/32039/task/32052/stat : 32052 (java) R 32037 32039 31603 0 -1 4202560 425 0 0 0 83336 17 0 0 25 0 16 0 27852038 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4109967747 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32039/tid=32053] ppid=32037 vsize=1533728 CPUtime=835.83
/proc/32039/task/32053/stat : 32053 (java) R 32037 32039 31603 0 -1 4202560 606 0 0 0 83566 17 0 0 25 0 16 0 27852038 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4109770925 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32054] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32054/stat : 32054 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 16 0 27852170 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32055] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32055/stat : 32055 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 27852198 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1723.89
Current children cumulated vsize (KiB) 1533728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.702 s]
/proc/loadavg: 2.09 2.05 1.88 3/122 32079
/proc/meminfo: memFree=1278600/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1533728 CPUtime=1800.02
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 304438 0 1 0 179797 205 0 0 15 0 16 0 27851415 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 383432 123781 1452 10 0 380735 0
[pid=32039/tid=32041] ppid=32037 vsize=1533728 CPUtime=5.18
/proc/32039/task/32041/stat : 32041 (java) S 32037 32039 31603 0 -1 4202560 32066 0 1 0 503 15 0 0 15 0 16 0 27851417 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1533728 CPUtime=12.52
/proc/32039/task/32042/stat : 32042 (java) S 32037 32039 31603 0 -1 4202560 54522 0 0 0 1210 42 0 0 16 0 16 0 27851418 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1533728 CPUtime=12.45
/proc/32039/task/32043/stat : 32043 (java) S 32037 32039 31603 0 -1 4202560 45704 0 0 0 1210 35 0 0 15 0 16 0 27851418 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1533728 CPUtime=23.29
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 166235 0 0 0 2258 71 0 0 15 0 16 0 27851420 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27851420 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27851420 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1533728 CPUtime=1.21
/proc/32039/task/32048/stat : 32048 (java) S 32037 32039 31603 0 -1 4202560 183 0 0 0 121 0 0 0 15 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1533728 CPUtime=2.51
/proc/32039/task/32049/stat : 32049 (java) S 32037 32039 31603 0 -1 4202560 3542 0 0 0 250 1 0 0 15 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) S 32037 32039 31603 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 27851425 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32052] ppid=32037 vsize=1533728 CPUtime=870.52
/proc/32039/task/32052/stat : 32052 (java) R 32037 32039 31603 0 -1 4202560 436 0 0 0 87035 17 0 0 25 0 16 0 27852038 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4109466244 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32039/tid=32053] ppid=32037 vsize=1533728 CPUtime=872.24
/proc/32039/task/32053/stat : 32053 (java) R 32037 32039 31603 0 -1 4202560 623 0 0 0 87205 19 0 0 25 0 16 0 27852038 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4109847656 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32054] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32054/stat : 32054 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 16 0 27852170 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32055] ppid=32037 vsize=1533728 CPUtime=0
/proc/32039/task/32055/stat : 32055 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 27852198 1570537472 123781 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1533728

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+921.825 s]
/proc/loadavg: 2.09 2.05 1.88 3/122 32079
/proc/meminfo: memFree=1278600/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1534376 CPUtime=1800.23
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 304454 0 1 0 179818 205 0 0 15 0 18 0 27851415 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 383594 123797 1452 10 0 380897 0
[pid=32039/tid=32041] ppid=32037 vsize=1534376 CPUtime=5.18
/proc/32039/task/32041/stat : 32041 (java) S 32037 32039 31603 0 -1 4202560 32066 0 1 0 503 15 0 0 15 0 18 0 27851417 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1534376 CPUtime=12.52
/proc/32039/task/32042/stat : 32042 (java) S 32037 32039 31603 0 -1 4202560 54522 0 0 0 1210 42 0 0 16 0 18 0 27851418 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1534376 CPUtime=12.45
/proc/32039/task/32043/stat : 32043 (java) S 32037 32039 31603 0 -1 4202560 45704 0 0 0 1210 35 0 0 15 0 18 0 27851418 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1534376 CPUtime=23.29
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 166235 0 0 0 2258 71 0 0 15 0 18 0 27851420 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 27851420 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 27851420 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 18 0 27851425 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1534376 CPUtime=1.21
/proc/32039/task/32048/stat : 32048 (java) S 32037 32039 31603 0 -1 4202560 183 0 0 0 121 0 0 0 15 0 18 0 27851425 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1534376 CPUtime=2.51
/proc/32039/task/32049/stat : 32049 (java) S 32037 32039 31603 0 -1 4202560 3542 0 0 0 250 1 0 0 15 0 18 0 27851425 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 27851425 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) S 32037 32039 31603 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 27851425 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32052] ppid=32037 vsize=1534376 CPUtime=870.62
/proc/32039/task/32052/stat : 32052 (java) R 32037 32039 31603 0 -1 4202560 436 0 0 0 87045 17 0 0 25 0 18 0 27852038 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4109215420 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32039/tid=32053] ppid=32037 vsize=1534376 CPUtime=872.33
/proc/32039/task/32053/stat : 32053 (java) R 32037 32039 31603 0 -1 4202560 623 0 0 0 87214 19 0 0 25 0 18 0 27852038 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4109850490 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32054] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32054/stat : 32054 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 27852170 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32055] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32055/stat : 32055 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 18 0 27852198 1571201024 123797 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1534376

[startup+921.902 s]
/proc/loadavg: 2.09 2.05 1.88 3/122 32079
/proc/meminfo: memFree=1278600/2059040 swapFree=4136184/4192956
[pid=32039] ppid=32037 vsize=1534376 CPUtime=1800.39
/proc/32039/stat : 32039 (java) S 32037 32039 31603 0 -1 4202496 304461 0 1 0 179833 206 0 0 15 0 17 0 27851415 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 383594 123804 1453 10 0 380897 0
[pid=32039/tid=32041] ppid=32037 vsize=1534376 CPUtime=5.18
/proc/32039/task/32041/stat : 32041 (java) S 32037 32039 31603 0 -1 4202560 32066 0 1 0 503 15 0 0 15 0 17 0 27851417 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32042] ppid=32037 vsize=1534376 CPUtime=12.52
/proc/32039/task/32042/stat : 32042 (java) S 32037 32039 31603 0 -1 4202560 54522 0 0 0 1210 42 0 0 16 0 17 0 27851418 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32043] ppid=32037 vsize=1534376 CPUtime=12.45
/proc/32039/task/32043/stat : 32043 (java) S 32037 32039 31603 0 -1 4202560 45704 0 0 0 1210 35 0 0 15 0 17 0 27851418 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32044] ppid=32037 vsize=1534376 CPUtime=23.29
/proc/32039/task/32044/stat : 32044 (java) S 32037 32039 31603 0 -1 4202560 166235 0 0 0 2258 71 0 0 15 0 17 0 27851420 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 0 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32045] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32045/stat : 32045 (java) S 32037 32039 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 17 0 27851420 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32046] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32046/stat : 32046 (java) S 32037 32039 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 27851420 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32047] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32047/stat : 32047 (java) S 32037 32039 31603 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 17 0 27851425 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32048] ppid=32037 vsize=1534376 CPUtime=1.24
/proc/32039/task/32048/stat : 32048 (java) S 32037 32039 31603 0 -1 4202560 186 0 0 0 124 0 0 0 15 0 17 0 27851425 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32049] ppid=32037 vsize=1534376 CPUtime=2.51
/proc/32039/task/32049/stat : 32049 (java) S 32037 32039 31603 0 -1 4202560 3542 0 0 0 250 1 0 0 15 0 17 0 27851425 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
[pid=32039/tid=32050] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32050/stat : 32050 (java) S 32037 32039 31603 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 17 0 27851425 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32051] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32051/stat : 32051 (java) S 32037 32039 31603 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 17 0 27851425 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32052] ppid=32037 vsize=1534376 CPUtime=870.7
/proc/32039/task/32052/stat : 32052 (java) R 32037 32039 31603 0 -1 4202560 436 0 0 0 87053 17 0 0 25 0 17 0 27852038 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4109770905 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32039/tid=32053] ppid=32037 vsize=1534376 CPUtime=872.37
/proc/32039/task/32053/stat : 32053 (java) R 32037 32039 31603 0 -1 4202560 623 0 0 0 87218 19 0 0 25 0 17 0 27852038 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4109855552 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32039/tid=32054] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32054/stat : 32054 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 17 0 27852170 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 0 0 0 0
[pid=32039/tid=32055] ppid=32037 vsize=1534376 CPUtime=0
/proc/32039/task/32055/stat : 32055 (java) S 32037 32039 31603 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 17 0 27852198 1571201024 123804 1992294400 134512640 134550932 4291129664 18446744073709551615 4294960144 0 4 0 16800975 18446604437845078464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 1534376

Child status: 143
Real time (s): 921.967
CPU time (s): 1800.47
CPU user time (s): 1798.36
CPU system time (s): 2.11068
CPU usage (%): 195.286
Max. virtual memory (cumulated for all children) (KiB): 1556224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 2.11068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304462
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= 31805
involuntary context switches= 54174

runsolver used 5.34319 second user time and 9.10062 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-14 15:34:59
IDJOB=2662522
IDBENCH=2298
IDSOLVER=1166
FILE ID=node011/2662522-1276522498
PBS_JOBID= 11173437
Free space on /tmp= 62256 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662522-1276522498/watcher-2662522-1276522498 -o /tmp/evaluation-result-2662522-1276522498/solver-2662522-1276522498 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662522-1276522498.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c62be038ec01e0d6924d61ed3007a589
RANDOM SEED=2018167091

node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1772272 kB
Buffers:         95856 kB
Cached:         113728 kB
SwapCached:       9796 kB
Active:         102724 kB
Inactive:       119384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1772272 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            8852 kB
Writeback:           0 kB
AnonPages:       11112 kB
Mapped:           9140 kB
Slab:            42720 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62256 MiB
End job on node011 at 2010-06-14 15:50:22