Trace number 2662524

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.38 919.553

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n370b.opb
MD5SUM1f80e288849d4e939571e6eefbd84b3a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4779438072
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 29694485111877
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 29694485111877
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.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.24/0.21	c Pseudo Boolean Optimization
0.24/0.21	c ManyCore solver with 2 solvers running in parallel
0.24/0.21	c --- Begin Solver configuration ---
0.24/0.21	c Stops conflict analysis at the first Unique Implication Point
0.24/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.24/0.21	c Learn all clauses as in MiniSAT
0.24/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.21	c Expensive reason simplification
0.24/0.21	c Armin Biere (Picosat) restarts strategy
0.24/0.21	c Glucose learned constraints deletion strategy
0.24/0.21	c timeout=2147483s
0.24/0.21	c DB Simplification allowed=false
0.24/0.21	c --- End Solver configuration ---
0.24/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.24/0.21	c --- Begin Solver configuration ---
0.24/0.21	c Stops conflict analysis at the first Unique Implication Point
0.24/0.21	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.24/0.21	c Learn all clauses as in MiniSAT
0.24/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.24/0.21	c No reason simplification
0.24/0.21	c Armin Biere (Picosat) restarts strategy
0.24/0.21	c Glucose learned constraints deletion strategy
0.24/0.21	c timeout=2147483s
0.24/0.21	c DB Simplification allowed=false
0.24/0.21	c --- End Solver configuration ---
0.24/0.21	
0.24/0.21	c solving HOME/instance-2662524-1276523765.opb
0.24/0.21	c reading problem ... 
7.75/5.97	c ... done. Wall clock time 5.758s.
7.75/5.97	c #vars     155000
7.75/5.97	c #constraints  65976
7.75/5.97	c constraints type 
7.75/5.97	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
7.75/5.97	c constraints type 
7.75/5.97	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
97.56/51.40	c cleaning 2507 clauses out of 5013 with flag 5013/5013
147.99/77.18	c cleaning 4250 clauses out of 8499 with flag 11006/11006
196.20/101.88	c cleaning 5621 clauses out of 11243 with flag 18000/18000
263.09/135.99	c cleaning 6820 clauses out of 13641 with flag 26019/26019
347.11/178.73	c cleaning 7907 clauses out of 15816 with flag 35014/35014
424.73/218.29	c cleaning 8954 clauses out of 17909 with flag 45014/45014
534.86/274.12	c cleaning 9470 clauses out of 18941 with flag 55000/55000
619.92/317.34	c cleaning 9737 clauses out of 19478 with flag 65007/65007
683.25/349.74	c cleaning 9868 clauses out of 19736 with flag 75002/75002
807.18/412.58	c cleaning 9932 clauses out of 19866 with flag 85000/85000
895.22/457.36	c cleaning 9971 clauses out of 19950 with flag 95016/95016
955.78/488.27	c cleaning 9985 clauses out of 19969 with flag 105006/105006
1040.79/531.63	c cleaning 9989 clauses out of 19979 with flag 115001/115001
1134.58/579.34	c cleaning 9996 clauses out of 19995 with flag 125006/125006
1209.91/617.75	c cleaning 9993 clauses out of 19995 with flag 135002/135002
1282.65/654.81	c cleaning 9998 clauses out of 20000 with flag 145000/145000
1343.40/686.06	c cleaning 10005 clauses out of 20019 with flag 155017/155017
1421.52/725.86	c cleaning 9997 clauses out of 20002 with flag 165005/165005
1502.18/766.94	c cleaning 10000 clauses out of 20004 with flag 175004/175004
1596.53/814.90	c cleaning 10004 clauses out of 20017 with flag 185017/185017
1661.07/848.09	c cleaning 9998 clauses out of 19997 with flag 195001/195001
1731.42/883.95	c cleaning 10000 clauses out of 20000 with flag 205002/205002
1786.10/911.97	c cleaning 10003 clauses out of 20014 with flag 215016/215016
1800.13/919.42	c starts		: 119
1800.13/919.42	c conflicts		: 218194
1800.13/919.42	c decisions		: 448858
1800.13/919.42	c propagations		: 13880250
1800.13/919.42	c inspects		: 264683467
1800.13/919.42	c learnt literals	: 0
1800.13/919.42	c learnt binary clauses	: 0
1800.13/919.42	c learnt ternary clauses	: 0
1800.13/919.42	c learnt clauses	: 218194
1800.13/919.42	c ignored clauses	: 0
1800.13/919.42	c root simplifications	: 0
1800.13/919.42	c removed literals (reason simplification)	: 2494482
1800.13/919.42	c reason swapping (by a shorter reason)	: 0
1800.13/919.42	c Calls to reduceDB	: 23
1800.13/919.42	c number of reductions to clauses (during analyze)	: 0
1800.13/919.42	c number of learned constraints concerned by reduction	: 0
1800.13/919.42	c number of learning phase by resolution	: 0
1800.13/919.42	c number of learning phase by cutting planes	: 0
1800.13/919.42	c speed (assignments/second)	: 15195.546077364517
1800.13/919.42	c non guided choices	0
1800.13/919.47	c learnt constraints type 
1800.13/919.47	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 13189
1800.13/919.47	c constraints type 
1800.13/919.47	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
1800.13/919.47	c constraints type 
1800.13/919.47	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
1800.13/919.47	s UNKNOWN
1800.13/919.47	c Total wall clock time (in seconds): 919.254

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-2662524-1276523765/watcher-2662524-1276523765 -o /tmp/evaluation-result-2662524-1276523765/solver-2662524-1276523765 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662524-1276523765.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: 1.00 1.00 1.08 3/106 29212
/proc/meminfo: memFree=1756076/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=248 CPUtime=0
/proc/29212/stat : 29212 (java) R 29210 29212 28930 0 -1 4194304 282 0 0 0 0 0 0 0 19 0 1 0 26031935 253952 28 1992294400 134512640 134550932 4288943840 18446744073709551615 6971988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29212/statm: 62 28 21 10 0 23 0

[startup+0.0553379 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 29212
/proc/meminfo: memFree=1756076/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1521664 CPUtime=0.04
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 3560 0 1 0 2 2 0 0 18 0 7 0 26031935 1558183936 3001 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 380416 3001 1011 10 0 377726 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1521664

[startup+0.101345 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 29212
/proc/meminfo: memFree=1756076/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1524180 CPUtime=0.08
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 3961 0 1 0 6 2 0 0 18 0 12 0 26031935 1560760320 3400 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 381045 3400 1075 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524180

[startup+0.316334 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 29212
/proc/meminfo: memFree=1756076/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1526812 CPUtime=0.41
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 7164 0 1 0 37 4 0 0 18 0 12 0 26031935 1563455488 6600 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 381703 6600 1368 10 0 379006 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 1526812

[startup+0.70032 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 29212
/proc/meminfo: memFree=1756076/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1527836 CPUtime=1.06
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 11829 0 1 0 98 8 0 0 18 0 12 0 26031935 1564504064 11133 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 381959 11134 1400 10 0 379262 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 1527836

[startup+1.50029 s]
/proc/loadavg: 1.00 1.00 1.08 2/118 29224
/proc/meminfo: memFree=1692680/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1528860 CPUtime=2
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 25251 0 1 0 188 12 0 0 18 0 12 0 26031935 1565552640 24531 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 382215 24531 1405 10 0 379518 0
[pid=29212/tid=29214] ppid=29210 vsize=1528860 CPUtime=1.47
/proc/29212/task/29214/stat : 29214 (java) R 29210 29212 28930 0 -1 4202560 22816 0 1 0 136 11 0 0 19 0 12 0 26031937 1565552640 24531 1992294400 134512640 134550932 4288943840 18446744073709551615 4109278560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 12 0 26031938 1565552640 24531 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 26031938 1565552640 24531 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 26031940 1565552640 24532 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 26031940 1565552640 24532 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 26031940 1565552640 24533 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 26031944 1565552640 24534 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1528860 CPUtime=0.08
/proc/29212/task/29221/stat : 29221 (java) R 29210 29212 28930 0 -1 4202560 60 0 0 0 8 0 0 0 18 0 12 0 26031945 1565552640 24535 1992294400 134512640 134550932 4288943840 18446744073709551615 105708972 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1528860 CPUtime=0.43
/proc/29212/task/29222/stat : 29222 (java) R 29210 29212 28930 0 -1 4202560 1309 0 0 0 42 1 0 0 16 0 12 0 26031945 1565552640 24536 1992294400 134512640 134550932 4288943840 18446744073709551615 103189745 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 26031945 1565552640 24537 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 26031945 1565552640 24538 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 1528860

[startup+3.10123 s]
/proc/loadavg: 1.00 1.00 1.08 2/118 29224
/proc/meminfo: memFree=1592984/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1528860 CPUtime=4.2
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 54812 0 1 0 394 26 0 0 18 0 12 0 26031935 1565552640 52062 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 382215 52066 1415 10 0 379518 0
[pid=29212/tid=29214] ppid=29210 vsize=1528860 CPUtime=2.7
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32010 0 1 0 256 14 0 0 17 0 12 0 26031937 1565552640 52067 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1528860 CPUtime=0.35
/proc/29212/task/29215/stat : 29215 (java) R 29210 29212 28930 0 -1 4202560 11195 0 0 0 31 4 0 0 18 0 12 0 26031938 1565552640 52070 1992294400 134512640 134550932 4288943840 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1528860 CPUtime=0.35
/proc/29212/task/29216/stat : 29216 (java) R 29210 29212 28930 0 -1 4202560 9061 0 0 0 31 4 0 0 18 0 12 0 26031938 1565552640 52072 1992294400 134512640 134550932 4288943840 18446744073709551615 106196756 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 12 0 26031940 1565552640 52074 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 26031940 1565552640 52076 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 26031940 1565552640 52079 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 26031944 1565552640 52081 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1528860 CPUtime=0.12
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 28930 0 -1 4202560 62 0 0 0 12 0 0 0 17 0 12 0 26031945 1565552640 52083 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1528860 CPUtime=0.63
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 28930 0 -1 4202560 1424 0 0 0 62 1 0 0 16 0 12 0 26031945 1565552640 52085 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 26031945 1565552640 52088 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1528860 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 26031945 1565552640 52090 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 1528860

[startup+6.31111 s]
/proc/loadavg: 1.00 1.00 1.08 2/118 29224
/proc/meminfo: memFree=1491304/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1536696 CPUtime=8.52
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 75877 0 1 0 816 36 0 0 18 0 14 0 26031935 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 384174 69097 1436 10 0 381477 0
[pid=29212/tid=29214] ppid=29210 vsize=1536696 CPUtime=5.09
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32040 0 1 0 494 15 0 0 17 0 14 0 26031937 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1536696 CPUtime=0.85
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 20565 0 0 0 75 10 0 0 18 0 14 0 26031938 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1536696 CPUtime=0.82
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 17724 0 0 0 75 7 0 0 16 0 14 0 26031938 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1536696 CPUtime=0
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 14 0 26031940 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1536696 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 26031940 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1536696 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 26031940 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1536696 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 14 0 26031944 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1536696 CPUtime=0.58
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 28930 0 -1 4202560 2965 0 0 0 57 1 0 0 15 0 14 0 26031945 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1536696 CPUtime=0.88
/proc/29212/task/29222/stat : 29222 (java) R 29210 29212 28930 0 -1 4202560 1496 0 0 0 87 1 0 0 16 0 14 0 26031945 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 104163552 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1536696 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 26031945 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1536696 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 26031945 1573576704 69097 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 1536696

[startup+12.7019 s]
/proc/loadavg: 1.23 1.05 1.09 3/122 29228
/proc/meminfo: memFree=1427660/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1537560 CPUtime=21.11
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 91253 0 1 0 2064 47 0 0 18 0 16 0 26031935 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 384390 83192 1440 10 0 381693 0
[pid=29212/tid=29214] ppid=29210 vsize=1537560 CPUtime=5.09
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32040 0 1 0 494 15 0 0 15 0 16 0 26031937 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1537560 CPUtime=1.61
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 27939 0 0 0 148 13 0 0 16 0 16 0 26031938 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1537560 CPUtime=1.6
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 25505 0 0 0 148 12 0 0 16 0 16 0 26031938 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1537560 CPUtime=0.01
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 7 0 0 0 1 0 0 0 15 0 16 0 26031940 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1537560 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 16 0 26031940 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1537560 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 26031940 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1537560 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 26031944 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1537560 CPUtime=1.4
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 28930 0 -1 4202560 3093 0 0 0 139 1 0 0 15 0 16 0 26031945 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1537560 CPUtime=1.53
/proc/29212/task/29222/stat : 29222 (java) R 29210 29212 28930 0 -1 4202560 1531 0 0 0 152 1 0 0 15 0 16 0 26031945 1574461440 83192 1992294400 134512640 134550932 4288943840 18446744073709551615 105959666 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1537560 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 26031945 1574461440 83194 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1537560 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 26031945 1574461440 83194 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=1537560 CPUtime=5.01
/proc/29212/task/29225/stat : 29225 (java) R 29210 29212 28930 0 -1 4202560 32 0 0 0 501 0 0 0 20 0 16 0 26032533 1574461440 83194 1992294400 134512640 134550932 4288943840 18446744073709551615 4109263973 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=1537560 CPUtime=4.78
/proc/29212/task/29226/stat : 29226 (java) R 29210 29212 28930 0 -1 4202560 35 0 0 0 478 0 0 0 19 0 16 0 26032533 1574461440 83194 1992294400 134512640 134550932 4288943840 18446744073709551615 4109022643 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=1537560 CPUtime=0
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 28930 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 26032655 1574461440 83194 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=1537560 CPUtime=0
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 16 0 26032665 1574461440 83194 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.11
Current children cumulated vsize (KiB) 1537560

[startup+25.5024 s]
/proc/loadavg: 1.35 1.08 1.10 3/122 29228
/proc/meminfo: memFree=1417864/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1537560 CPUtime=46.45
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 93717 0 1 0 4595 50 0 0 18 0 16 0 26031935 1574461440 85603 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 384390 85603 1440 10 0 381693 0
[pid=29212/tid=29214] ppid=29210 vsize=1537560 CPUtime=5.09
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32042 0 1 0 494 15 0 0 15 0 16 0 26031937 1574461440 85603 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1537560 CPUtime=1.92
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 29184 0 0 0 178 14 0 0 16 0 16 0 26031938 1574461440 85603 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1537560 CPUtime=1.92
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 26683 0 0 0 178 14 0 0 16 0 16 0 26031938 1574461440 85603 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1537560 CPUtime=0.02

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

/proc/29212/statm: 384902 120434 1451 10 0 382205 0
[pid=29212/tid=29214] ppid=29210 vsize=1539608 CPUtime=5.09
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32052 0 1 0 494 15 0 0 15 0 16 0 26031937 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1539608 CPUtime=9.27
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 48753 0 0 0 896 31 0 0 16 0 16 0 26031938 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1539608 CPUtime=9.24
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 45856 0 0 0 892 32 0 0 16 0 16 0 26031938 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1539608 CPUtime=15.62
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 95573 0 0 0 1520 42 0 0 15 0 16 0 26031940 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 26031944 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1539608 CPUtime=1.5
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 28930 0 -1 4202560 3100 0 0 0 149 1 0 0 15 0 16 0 26031945 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1539608 CPUtime=2.41
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 28930 0 -1 4202560 2838 0 0 0 239 2 0 0 15 0 16 0 26031945 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 26031945 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 16 0 26031945 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=1539608 CPUtime=726.96
/proc/29212/task/29225/stat : 29225 (java) R 29210 29212 28930 0 -1 4202560 282 0 0 0 72686 10 0 0 25 0 16 0 26032533 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4109665170 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=1539608 CPUtime=722.88
/proc/29212/task/29226/stat : 29226 (java) R 29210 29212 28930 0 -1 4202560 446 0 0 0 72263 25 0 0 25 0 16 0 26032533 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4109461361 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 28930 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 26032655 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 16 0 26032665 1576558592 120434 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1493.07
Current children cumulated vsize (KiB) 1539608

[startup+822.302 s]
/proc/loadavg: 1.95 2.00 1.65 3/122 29259
/proc/meminfo: memFree=1273776/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1539608 CPUtime=1610.1
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 232064 0 1 0 160842 168 0 0 18 0 16 0 26031935 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 384902 121145 1451 10 0 382205 0
[pid=29212/tid=29214] ppid=29210 vsize=1539608 CPUtime=5.09
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32053 0 1 0 494 15 0 0 15 0 16 0 26031937 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1539608 CPUtime=9.57
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 49260 0 0 0 926 31 0 0 16 0 16 0 26031938 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1539608 CPUtime=9.54
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 46373 0 0 0 921 33 0 0 16 0 16 0 26031938 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1539608 CPUtime=17.6
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 96579 0 0 0 1717 43 0 0 15 0 16 0 26031940 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 26031944 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1539608 CPUtime=1.5
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 28930 0 -1 4202560 3100 0 0 0 149 1 0 0 15 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1539608 CPUtime=2.41
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 28930 0 -1 4202560 2838 0 0 0 239 2 0 0 15 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=1539608 CPUtime=783.72
/proc/29212/task/29225/stat : 29225 (java) R 29210 29212 28930 0 -1 4202560 285 0 0 0 78359 13 0 0 25 0 16 0 26032533 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4109248556 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=1539608 CPUtime=780.56
/proc/29212/task/29226/stat : 29226 (java) R 29210 29212 28930 0 -1 4202560 454 0 0 0 78031 25 0 0 25 0 16 0 26032533 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4109520268 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 28930 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 26032655 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 16 0 26032665 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1610.1
Current children cumulated vsize (KiB) 1539608

[startup+882.302 s]
/proc/loadavg: 2.03 2.01 1.68 3/122 29261
/proc/meminfo: memFree=1273776/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1539608 CPUtime=1728.25
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 232591 0 1 0 172653 172 0 0 18 0 16 0 26031935 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 384902 121145 1451 10 0 382205 0
[pid=29212/tid=29214] ppid=29210 vsize=1539608 CPUtime=5.09
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32053 0 1 0 494 15 0 0 15 0 16 0 26031937 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1539608 CPUtime=9.95
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 49260 0 0 0 963 32 0 0 16 0 16 0 26031938 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1539608 CPUtime=9.92
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 46373 0 0 0 958 34 0 0 16 0 16 0 26031938 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1539608 CPUtime=18.46
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 97084 0 0 0 1803 43 0 0 15 0 16 0 26031940 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 26031944 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1539608 CPUtime=1.5
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 28930 0 -1 4202560 3100 0 0 0 149 1 0 0 15 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1539608 CPUtime=2.41
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 28930 0 -1 4202560 2838 0 0 0 239 2 0 0 15 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 26031945 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=1539608 CPUtime=841.96
/proc/29212/task/29225/stat : 29225 (java) R 29210 29212 28930 0 -1 4202560 293 0 0 0 84182 14 0 0 25 0 16 0 26032533 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4109851088 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=1539608 CPUtime=838.87
/proc/29212/task/29226/stat : 29226 (java) R 29210 29212 28930 0 -1 4202560 464 0 0 0 83860 27 0 0 25 0 16 0 26032533 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4109248702 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 28930 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 26032655 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 16 0 26032665 1576558592 121145 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1728.25
Current children cumulated vsize (KiB) 1539608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+919.401 s]
/proc/loadavg: 2.02 2.01 1.69 2/122 29261
/proc/meminfo: memFree=1270428/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=1539608 CPUtime=1800.13
/proc/29212/stat : 29212 (java) S 29210 29212 28930 0 -1 4202496 234454 0 1 0 179839 174 0 0 18 0 16 0 26031935 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 384902 121914 1451 10 0 382205 0
[pid=29212/tid=29214] ppid=29210 vsize=1539608 CPUtime=5.09
/proc/29212/task/29214/stat : 29214 (java) S 29210 29212 28930 0 -1 4202560 32054 0 1 0 494 15 0 0 15 0 16 0 26031937 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=1539608 CPUtime=10.23
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 28930 0 -1 4202560 49407 0 0 0 991 32 0 0 16 0 16 0 26031938 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=1539608 CPUtime=10.19
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 28930 0 -1 4202560 47071 0 0 0 985 34 0 0 16 0 16 0 26031938 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=1539608 CPUtime=20.16
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 28930 0 -1 4202560 98088 0 0 0 1973 43 0 0 15 0 16 0 26031940 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 0 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 26031940 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 28930 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 26031944 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=1539608 CPUtime=1.5
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 28930 0 -1 4202560 3100 0 0 0 149 1 0 0 15 0 16 0 26031945 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=1539608 CPUtime=2.41
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 28930 0 -1 4202560 2838 0 0 0 239 2 0 0 15 0 16 0 26031945 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 26031945 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 28930 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 26031945 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=1539608 CPUtime=876.62
/proc/29212/task/29225/stat : 29225 (java) R 29210 29212 28930 0 -1 4202560 297 0 0 0 87646 16 0 0 25 0 16 0 26032533 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4109665263 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=1539608 CPUtime=873.85
/proc/29212/task/29226/stat : 29226 (java) R 29210 29212 28930 0 -1 4202560 471 0 0 0 87358 27 0 0 25 0 16 0 26032533 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 28930 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 26032655 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 0 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=1539608 CPUtime=0
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 28930 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 16 0 26032665 1576558592 121914 1992294400 134512640 134550932 4288943840 18446744073709551615 4294960144 0 4 0 16800975 18446604437845603520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1539608

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

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

[startup+919.516 s]
/proc/loadavg: 2.02 2.01 1.69 2/109 29264
/proc/meminfo: memFree=1386160/2059040 swapFree=4136648/4192956
[pid=29212] ppid=29210 vsize=0 CPUtime=1800.33
/proc/29212/stat : 29212 (java) Z 29210 29212 28930 0 -1 4203548 234476 0 1 0 179857 176 0 0 17 0 2 0 26031935 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29212/statm: 0 0 0 0 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=0 CPUtime=876.7
/proc/29212/task/29225/stat : 29225 (java) R 29210 29212 28930 0 -1 4203588 297 0 0 0 87652 18 0 0 25 0 2 0 26032533 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 919.553
CPU time (s): 1800.38
CPU user time (s): 1798.58
CPU system time (s): 1.79773
CPU usage (%): 195.788
Max. virtual memory (cumulated for all children) (KiB): 1562104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.79773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234476
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= 28438
involuntary context switches= 52911

runsolver used 6.10107 second user time and 7.36088 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-14 15:56:05
IDJOB=2662524
IDBENCH=2303
IDSOLVER=1166
FILE ID=node026/2662524-1276523765
PBS_JOBID= 11173442
Free space on /tmp= 62508 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-n370b.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662524-1276523765/watcher-2662524-1276523765 -o /tmp/evaluation-result-2662524-1276523765/solver-2662524-1276523765 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662524-1276523765.opb

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

MD5SUM BENCH= 1f80e288849d4e939571e6eefbd84b3a
RANDOM SEED=87061362

node026.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.201
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.40
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.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1756348 kB
Buffers:         91064 kB
Cached:         131644 kB
SwapCached:       9576 kB
Active:         111500 kB
Inactive:       123876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1756348 kB
SwapTotal:     4192956 kB
SwapFree:      4136648 kB
Dirty:            8856 kB
Writeback:           8 kB
AnonPages:       11012 kB
Mapped:           9236 kB
Slab:            45472 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179780 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= 62508 MiB
End job on node026 at 2010-06-14 16:11:27