Trace number 2701846

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 NameAnswerCPU timeWall clock time
SAT4J PB Resolution 2.2.0 2010-05-26? (TO) 1800.11 1233.08

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph12_wcsp.wbo
MD5SUMbaac82f1e5c2363a05a67929a02d4991
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark60112
Best CPU time to get the best result obtained on this benchmark1800.31
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9502
Total number of constraints1168253
Number of soft constraints1168001
Number of constraints which are clauses1168001
Number of constraints which are cardinality constraints (but not clauses)252
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 939023
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 296009396
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.2.0.v20100526
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) Server VM
0.00/0.07	c java.vm.version	11.2-b01
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	32
0.00/0.07	c java.version		1.6.0_12
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		i386
0.00/0.07	c Free memory 		1393557488
0.00/0.07	c Max memory 		1395916800
0.00/0.07	c Total memory 		1395916800
0.00/0.07	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-2701846-1278541935.wbo
0.10/0.10	c reading problem ... 
1800.03/1233.02	c starts		: 0
1800.03/1233.02	c conflicts		: 0
1800.03/1233.02	c decisions		: 0
1800.03/1233.02	c propagations		: 0
1800.03/1233.02	c inspects		: 0
1800.03/1233.02	c learnt literals	: 0
1800.03/1233.02	c learnt binary clauses	: 0
1800.03/1233.02	c learnt ternary clauses	: 0
1800.03/1233.02	c learnt clauses	: 0
1800.03/1233.02	c ignored clauses	: 0
1800.03/1233.02	c root simplifications	: 0
1800.03/1233.02	c removed literals (reason simplification)	: 0
1800.03/1233.02	c reason swapping (by a shorter reason)	: 0
1800.03/1233.02	c Calls to reduceDB	: 0
1800.03/1233.02	c number of reductions to clauses (during analyze)	: 0
1800.03/1233.02	c number of learned constraints concerned by reduction	: 0
1800.03/1233.02	c number of learning phase by resolution	: 0
1800.03/1233.02	c number of learning phase by cutting planes	: 0
1800.03/1233.02	c speed (assignments/second)	: 0.0
1800.03/1233.02	c non guided choices	0
1800.03/1233.02	c learnt constraints type 
1800.03/1233.02	c constraints type 
1800.03/1233.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 252
1800.03/1233.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 366897
1800.03/1233.02	s UNKNOWN
1800.03/1233.02	c Total wall clock time (in seconds): 1232.92

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-2701846-1278541935/watcher-2701846-1278541935 -o /tmp/evaluation-result-2701846-1278541935/solver-2701846-1278541935 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701846-1278541935.wbo 

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 2.09 3/196 22846
/proc/meminfo: memFree=28989096/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=248 CPUtime=0
/proc/22846/stat : 22846 (java6) R 22844 22846 20232 0 -1 4194304 109 0 0 0 0 0 0 0 21 0 1 0 22407612 253952 28 4089446400 134512640 134550932 4287650720 18446744073709551615 11317726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22846/statm: 62 28 21 10 0 23 0

[startup+0.0106111 s]
/proc/loadavg: 1.92 1.98 2.09 3/196 22846
/proc/meminfo: memFree=28989096/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=13436 CPUtime=0
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 1043 0 0 0 0 0 0 0 21 0 2 0 22407612 13758464 527 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 3359 527 223 10 0 1202 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13436

[startup+0.100425 s]
/proc/loadavg: 1.92 1.98 2.09 3/196 22846
/proc/meminfo: memFree=28989096/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1530200 CPUtime=0.1
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 5184 0 1 0 10 0 0 0 21 0 18 0 22407612 1566924800 4621 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 382550 4621 1346 10 0 379852 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1530200

[startup+0.300386 s]
/proc/loadavg: 1.92 1.98 2.09 3/196 22846
/proc/meminfo: memFree=28989096/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1531976 CPUtime=0.57
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 13137 0 1 0 55 2 0 0 21 0 18 0 22407612 1568743424 12280 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 382994 12280 1414 10 0 380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 1531976

[startup+0.700329 s]
/proc/loadavg: 1.92 1.98 2.09 3/196 22846
/proc/meminfo: memFree=28989096/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1532260 CPUtime=1.3
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 44873 0 1 0 123 7 0 0 21 0 18 0 22407612 1569034240 43706 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383065 43706 1423 10 0 380367 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 1532260

[startup+1.50119 s]
/proc/loadavg: 1.92 1.98 2.09 3/214 22864
/proc/meminfo: memFree=28817780/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1533284 CPUtime=2.19
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 47689 0 1 0 210 9 0 0 21 0 18 0 22407612 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383321 46436 1425 10 0 380623 0
[pid=22846/tid=22848] ppid=22844 vsize=1533284 CPUtime=1.38
/proc/22846/task/22848/stat : 22848 (java) R 22844 22846 20232 0 -1 4202560 36135 0 1 0 134 4 0 0 25 0 18 0 22407613 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4109826388 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22846/tid=22849] ppid=22844 vsize=1533284 CPUtime=0.02
/proc/22846/task/22849/stat : 22849 (java) S 22844 22846 20232 0 -1 4202560 1019 0 0 0 2 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22850] ppid=22844 vsize=1533284 CPUtime=0.04
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 2011 0 0 0 4 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 5 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1533284 CPUtime=0.02
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 1001 0 0 0 2 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1533284 CPUtime=0.04
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 1286 0 0 0 4 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22853] ppid=22844 vsize=1533284 CPUtime=0.03
/proc/22846/task/22853/stat : 22853 (java) S 22844 22846 20232 0 -1 4202560 789 0 0 0 3 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22854] ppid=22844 vsize=1533284 CPUtime=0.01
/proc/22846/task/22854/stat : 22854 (java) S 22844 22846 20232 0 -1 4202560 376 0 0 0 1 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22855] ppid=22844 vsize=1533284 CPUtime=0.02
/proc/22846/task/22855/stat : 22855 (java) S 22844 22846 20232 0 -1 4202560 804 0 0 0 2 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22856] ppid=22844 vsize=1533284 CPUtime=0.03
/proc/22846/task/22856/stat : 22856 (java) S 22844 22846 20232 0 -1 4202560 1347 0 0 0 3 0 0 0 15 0 18 0 22407614 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22857] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22857/stat : 22857 (java) S 22844 22846 20232 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 22407615 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22858] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22858/stat : 22858 (java) S 22844 22846 20232 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 22407615 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22859] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22859/stat : 22859 (java) S 22844 22846 20232 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 22407615 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22860] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22860/stat : 22860 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22861] ppid=22844 vsize=1533284 CPUtime=0.24
/proc/22846/task/22861/stat : 22861 (java) S 22844 22846 20232 0 -1 4202560 746 0 0 0 24 0 0 0 15 0 18 0 22407617 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22862] ppid=22844 vsize=1533284 CPUtime=0.24
/proc/22846/task/22862/stat : 22862 (java) S 22844 22846 20232 0 -1 4202560 1090 0 0 0 24 0 0 0 15 0 18 0 22407617 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22863] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22863/stat : 22863 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22864] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22864/stat : 22864 (java) S 22844 22846 20232 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22407617 1570082816 46436 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 1533284

[startup+3.10092 s]
/proc/loadavg: 1.92 1.98 2.09 4/214 22864
/proc/meminfo: memFree=28806000/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1533284 CPUtime=3.91
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 49252 0 1 0 380 11 0 0 21 0 18 0 22407612 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383321 47869 1425 10 0 380623 0
[pid=22846/tid=22848] ppid=22844 vsize=1533284 CPUtime=2.91
/proc/22846/task/22848/stat : 22848 (java) R 22844 22846 20232 0 -1 4202560 36275 0 1 0 287 4 0 0 18 0 18 0 22407613 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22846/tid=22849] ppid=22844 vsize=1533284 CPUtime=0.04
/proc/22846/task/22849/stat : 22849 (java) S 22844 22846 20232 0 -1 4202560 1159 0 0 0 4 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22850] ppid=22844 vsize=1533284 CPUtime=0.06
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 2204 0 0 0 6 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1533284 CPUtime=0.04
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 1116 0 0 0 4 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 5 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1533284 CPUtime=0.07
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 1439 0 0 0 7 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22853] ppid=22844 vsize=1533284 CPUtime=0.05
/proc/22846/task/22853/stat : 22853 (java) S 22844 22846 20232 0 -1 4202560 979 0 0 0 5 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22854] ppid=22844 vsize=1533284 CPUtime=0.04
/proc/22846/task/22854/stat : 22854 (java) S 22844 22846 20232 0 -1 4202560 654 0 0 0 4 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22855] ppid=22844 vsize=1533284 CPUtime=0.03
/proc/22846/task/22855/stat : 22855 (java) S 22844 22846 20232 0 -1 4202560 961 0 0 0 3 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22856] ppid=22844 vsize=1533284 CPUtime=0.06
/proc/22846/task/22856/stat : 22856 (java) S 22844 22846 20232 0 -1 4202560 1544 0 0 0 6 0 0 0 15 0 18 0 22407614 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22857] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22857/stat : 22857 (java) S 22844 22846 20232 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 22407615 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22858] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22858/stat : 22858 (java) S 22844 22846 20232 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 22407615 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22859] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22859/stat : 22859 (java) S 22844 22846 20232 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 22407615 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22860] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22860/stat : 22860 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22861] ppid=22844 vsize=1533284 CPUtime=0.24
/proc/22846/task/22861/stat : 22861 (java) S 22844 22846 20232 0 -1 4202560 746 0 0 0 24 0 0 0 15 0 18 0 22407617 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22862] ppid=22844 vsize=1533284 CPUtime=0.24
/proc/22846/task/22862/stat : 22862 (java) S 22844 22846 20232 0 -1 4202560 1090 0 0 0 24 0 0 0 15 0 18 0 22407617 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22863] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22863/stat : 22863 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22864] ppid=22844 vsize=1533284 CPUtime=0
/proc/22846/task/22864/stat : 22864 (java) S 22844 22846 20232 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22407617 1570082816 47869 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 1533284

[startup+6.30133 s]
/proc/loadavg: 1.93 1.98 2.09 3/214 22865
/proc/meminfo: memFree=28795360/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1534308 CPUtime=7.51
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 52222 0 1 0 722 29 0 0 21 0 18 0 22407612 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383577 50687 1425 10 0 380879 0
[pid=22846/tid=22848] ppid=22844 vsize=1534308 CPUtime=5.91
/proc/22846/task/22848/stat : 22848 (java) R 22844 22846 20232 0 -1 4202560 36367 0 1 0 586 5 0 0 19 0 18 0 22407613 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4109923680 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22846/tid=22849] ppid=22844 vsize=1534308 CPUtime=0.11
/proc/22846/task/22849/stat : 22849 (java) S 22844 22846 20232 0 -1 4202560 1706 0 0 0 9 2 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22850] ppid=22844 vsize=1534308 CPUtime=0.15
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 2652 0 0 0 12 3 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1534308 CPUtime=0.12
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 1618 0 0 0 9 3 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 5 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1534308 CPUtime=0.14
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 1728 0 0 0 12 2 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22853] ppid=22844 vsize=1534308 CPUtime=0.11
/proc/22846/task/22853/stat : 22853 (java) S 22844 22846 20232 0 -1 4202560 1149 0 0 0 9 2 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22854] ppid=22844 vsize=1534308 CPUtime=0.1
/proc/22846/task/22854/stat : 22854 (java) S 22844 22846 20232 0 -1 4202560 916 0 0 0 9 1 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22855] ppid=22844 vsize=1534308 CPUtime=0.11
/proc/22846/task/22855/stat : 22855 (java) S 22844 22846 20232 0 -1 4202560 1436 0 0 0 9 2 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22856] ppid=22844 vsize=1534308 CPUtime=0.13
/proc/22846/task/22856/stat : 22856 (java) S 22844 22846 20232 0 -1 4202560 1729 0 0 0 11 2 0 0 15 0 18 0 22407614 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22857] ppid=22844 vsize=1534308 CPUtime=0.03
/proc/22846/task/22857/stat : 22857 (java) S 22844 22846 20232 0 -1 4202560 23 0 0 0 1 2 0 0 15 0 18 0 22407615 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22858] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22858/stat : 22858 (java) S 22844 22846 20232 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22859] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22859/stat : 22859 (java) S 22844 22846 20232 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22860] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22860/stat : 22860 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22861] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22861/stat : 22861 (java) S 22844 22846 20232 0 -1 4202560 746 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22862] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22862/stat : 22862 (java) S 22844 22846 20232 0 -1 4202560 1090 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22863] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22863/stat : 22863 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22864] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22864/stat : 22864 (java) S 22844 22846 20232 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22407617 1571131392 50687 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 1534308

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 2.09 3/214 22865
/proc/meminfo: memFree=28783808/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1534308 CPUtime=14.78
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 55225 0 1 0 1388 90 0 0 21 0 18 0 22407612 1571131392 53491 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383577 53491 1425 10 0 380879 0
[pid=22846/tid=22848] ppid=22844 vsize=1534308 CPUtime=11.71
/proc/22846/task/22848/stat : 22848 (java) R 22844 22846 20232 0 -1 4202560 36538 0 1 0 1166 5 0 0 18 0 18 0 22407613 1571131392 53491 4089446400 134512640 134550932 4287020896 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22846/tid=22849] ppid=22844 vsize=1534308 CPUtime=0.29
/proc/22846/task/22849/stat : 22849 (java) S 22844 22846 20232 0 -1 4202560 2086 0 0 0 20 9 0 0 15 0 18 0 22407614 1571131392 53491 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22850] ppid=22844 vsize=1534308 CPUtime=0.32
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 2844 0 0 0 20 12 0 0 15 0 18 0 22407614 1571131392 53491 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1534308 CPUtime=0.3
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 1769 0 0 0 18 12 0 0 15 0 18 0 22407614 1571131392 53491 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 5 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1534308 CPUtime=0.33
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 1902 0 0 0 22 11 0 0 15 0 18 0 22407614 1571131392 53491 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0

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

[pid=22846/tid=22850] ppid=22844 vsize=1534308 CPUtime=86.61
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 21336 0 0 0 7887 774 0 0 15 0 18 0 22407614 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1534308 CPUtime=87.3
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 20552 0 0 0 7883 847 0 0 15 0 18 0 22407614 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1534308 CPUtime=88.29
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 20704 0 0 0 7925 904 0 0 15 0 18 0 22407614 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22853] ppid=22844 vsize=1534308 CPUtime=88.02
/proc/22846/task/22853/stat : 22853 (java) S 22844 22846 20232 0 -1 4202560 18640 0 0 0 7994 808 0 0 15 0 18 0 22407614 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22854] ppid=22844 vsize=1534308 CPUtime=87.61
/proc/22846/task/22854/stat : 22854 (java) S 22844 22846 20232 0 -1 4202560 19003 0 0 0 7875 886 0 0 15 0 18 0 22407614 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22855] ppid=22844 vsize=1534308 CPUtime=86.85
/proc/22846/task/22855/stat : 22855 (java) S 22844 22846 20232 0 -1 4202560 23100 0 0 0 7831 854 0 0 15 0 18 0 22407614 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 3 0 0 0
[pid=22846/tid=22856] ppid=22844 vsize=1534308 CPUtime=87.66
/proc/22846/task/22856/stat : 22856 (java) S 22844 22846 20232 0 -1 4202560 20213 0 0 0 7905 861 0 0 15 0 18 0 22407614 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
[pid=22846/tid=22857] ppid=22844 vsize=1534308 CPUtime=4.79
/proc/22846/task/22857/stat : 22857 (java) S 22844 22846 20232 0 -1 4202560 145 0 0 0 176 303 0 0 15 0 18 0 22407615 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446604453952094528 0 0 -1 5 0 0 0
[pid=22846/tid=22858] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22858/stat : 22858 (java) S 22844 22846 20232 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22859] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22859/stat : 22859 (java) S 22844 22846 20232 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22860] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22860/stat : 22860 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22861] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22861/stat : 22861 (java) S 22844 22846 20232 0 -1 4202560 746 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22862] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22862/stat : 22862 (java) S 22844 22846 20232 0 -1 4202560 1090 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22863] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22863/stat : 22863 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22864] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22864/stat : 22864 (java) S 22844 22846 20232 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 18 0 22407617 1571131392 196254 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1528.9
Current children cumulated vsize (KiB) 1534308

[startup+1122.3 s]
/proc/loadavg: 1.73 1.65 1.78 6/188 22918
/proc/meminfo: memFree=28422732/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1534308 CPUtime=1623.42
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 234345 0 1 0 154870 7472 0 0 21 0 18 0 22407612 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383577 202146 1425 10 0 380879 0
[pid=22846/tid=22848] ppid=22844 vsize=1534308 CPUtime=868.92
/proc/22846/task/22848/stat : 22848 (java) R 22844 22846 20232 0 -1 4202560 62884 0 1 0 86854 38 0 0 15 0 18 0 22407613 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 106834683 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22846/tid=22849] ppid=22844 vsize=1534308 CPUtime=93.2
/proc/22846/task/22849/stat : 22849 (java) S 22844 22846 20232 0 -1 4202560 19695 0 0 0 8424 896 0 0 15 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22850] ppid=22844 vsize=1534308 CPUtime=92.84
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 21962 0 0 0 8480 804 0 0 15 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1534308 CPUtime=93.51
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 21265 0 0 0 8470 881 0 0 16 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 3 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1534308 CPUtime=94.48
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 21471 0 0 0 8502 946 0 0 15 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22853] ppid=22844 vsize=1534308 CPUtime=94.16
/proc/22846/task/22853/stat : 22853 (java) S 22844 22846 20232 0 -1 4202560 19359 0 0 0 8567 849 0 0 15 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
[pid=22846/tid=22854] ppid=22844 vsize=1534308 CPUtime=93.61
/proc/22846/task/22854/stat : 22854 (java) S 22844 22846 20232 0 -1 4202560 19720 0 0 0 8444 917 0 0 15 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22855] ppid=22844 vsize=1534308 CPUtime=93.05
/proc/22846/task/22855/stat : 22855 (java) S 22844 22846 20232 0 -1 4202560 23875 0 0 0 8404 901 0 0 15 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 5 0 0 0
[pid=22846/tid=22856] ppid=22844 vsize=1534308 CPUtime=93.98
/proc/22846/task/22856/stat : 22856 (java) S 22844 22846 20232 0 -1 4202560 21022 0 0 0 8483 915 0 0 15 0 18 0 22407614 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22857] ppid=22844 vsize=1534308 CPUtime=5.08
/proc/22846/task/22857/stat : 22857 (java) S 22844 22846 20232 0 -1 4202560 150 0 0 0 188 320 0 0 15 0 18 0 22407615 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22858] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22858/stat : 22858 (java) S 22844 22846 20232 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22859] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22859/stat : 22859 (java) S 22844 22846 20232 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22860] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22860/stat : 22860 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22861] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22861/stat : 22861 (java) S 22844 22846 20232 0 -1 4202560 746 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22862] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22862/stat : 22862 (java) S 22844 22846 20232 0 -1 4202560 1090 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22863] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22863/stat : 22863 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22864] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22864/stat : 22864 (java) S 22844 22846 20232 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 22407617 1571131392 202146 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1623.42
Current children cumulated vsize (KiB) 1534308

[startup+1182.3 s]
/proc/loadavg: 1.46 1.62 1.76 2/188 22919
/proc/meminfo: memFree=28398016/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1534308 CPUtime=1718.54
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 241785 0 1 0 164044 7810 0 0 21 0 18 0 22407612 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383577 208244 1425 10 0 380879 0
[pid=22846/tid=22848] ppid=22844 vsize=1534308 CPUtime=913.88
/proc/22846/task/22848/stat : 22848 (java) R 22844 22846 20232 0 -1 4202560 64211 0 1 0 91348 40 0 0 15 0 18 0 22407613 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22846/tid=22849] ppid=22844 vsize=1534308 CPUtime=99.28
/proc/22846/task/22849/stat : 22849 (java) S 22844 22846 20232 0 -1 4202560 20455 0 0 0 8992 936 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22850] ppid=22844 vsize=1534308 CPUtime=99.11
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 22724 0 0 0 9070 841 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1534308 CPUtime=99.86
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 22073 0 0 0 9061 925 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 5 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1534308 CPUtime=100.69
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 22154 0 0 0 9089 980 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22853] ppid=22844 vsize=1534308 CPUtime=100.35
/proc/22846/task/22853/stat : 22853 (java) S 22844 22846 20232 0 -1 4202560 20210 0 0 0 9137 898 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
[pid=22846/tid=22854] ppid=22844 vsize=1534308 CPUtime=99.93
/proc/22846/task/22854/stat : 22854 (java) S 22844 22846 20232 0 -1 4202560 20381 0 0 0 9045 948 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22855] ppid=22844 vsize=1534308 CPUtime=99.06
/proc/22846/task/22855/stat : 22855 (java) S 22844 22846 20232 0 -1 4202560 24589 0 0 0 8974 932 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22856] ppid=22844 vsize=1534308 CPUtime=100.38
/proc/22846/task/22856/stat : 22856 (java) S 22844 22846 20232 0 -1 4202560 21888 0 0 0 9075 963 0 0 15 0 18 0 22407614 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 3 0 0 0
[pid=22846/tid=22857] ppid=22844 vsize=1534308 CPUtime=5.4
/proc/22846/task/22857/stat : 22857 (java) S 22844 22846 20232 0 -1 4202560 156 0 0 0 199 341 0 0 15 0 18 0 22407615 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446604453952094528 0 0 -1 3 0 0 0
[pid=22846/tid=22858] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22858/stat : 22858 (java) S 22844 22846 20232 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22859] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22859/stat : 22859 (java) S 22844 22846 20232 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22860] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22860/stat : 22860 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22861] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22861/stat : 22861 (java) S 22844 22846 20232 0 -1 4202560 746 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22862] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22862/stat : 22862 (java) S 22844 22846 20232 0 -1 4202560 1090 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22863] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22863/stat : 22863 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22864] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22864/stat : 22864 (java) S 22844 22846 20232 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 18 0 22407617 1571131392 208244 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1718.54
Current children cumulated vsize (KiB) 1534308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1233 s]
/proc/loadavg: 1.27 1.55 1.73 2/188 22921
/proc/meminfo: memFree=28377232/32951124 swapFree=67111528/67111528
[pid=22846] ppid=22844 vsize=1534308 CPUtime=1800.03
/proc/22846/stat : 22846 (java) S 22844 22846 20232 0 -1 4202496 247855 0 1 0 171902 8101 0 0 21 0 18 0 22407612 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22846/statm: 383577 213170 1425 10 0 380879 0
[pid=22846/tid=22848] ppid=22844 vsize=1534308 CPUtime=951.78
/proc/22846/task/22848/stat : 22848 (java) R 22844 22846 20232 0 -1 4202560 65326 0 1 0 95137 41 0 0 15 0 18 0 22407613 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 106834683 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22846/tid=22849] ppid=22844 vsize=1534308 CPUtime=104.72
/proc/22846/task/22849/stat : 22849 (java) S 22844 22846 20232 0 -1 4202560 20965 0 0 0 9508 964 0 0 16 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 0 0 0 0
[pid=22846/tid=22850] ppid=22844 vsize=1534308 CPUtime=104.52
/proc/22846/task/22850/stat : 22850 (java) S 22844 22846 20232 0 -1 4202560 23251 0 0 0 9584 868 0 0 15 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 6 0 0 0
[pid=22846/tid=22851] ppid=22844 vsize=1534308 CPUtime=105.3
/proc/22846/task/22851/stat : 22851 (java) S 22844 22846 20232 0 -1 4202560 22780 0 0 0 9561 969 0 0 15 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 3 0 0 0
[pid=22846/tid=22852] ppid=22844 vsize=1534308 CPUtime=106.09
/proc/22846/task/22852/stat : 22852 (java) S 22844 22846 20232 0 -1 4202560 22724 0 0 0 9603 1006 0 0 15 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22853] ppid=22844 vsize=1534308 CPUtime=106.01
/proc/22846/task/22853/stat : 22853 (java) S 22844 22846 20232 0 -1 4202560 20880 0 0 0 9658 943 0 0 15 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 1 0 0 0
[pid=22846/tid=22854] ppid=22844 vsize=1534308 CPUtime=105.37
/proc/22846/task/22854/stat : 22854 (java) S 22844 22846 20232 0 -1 4202560 21046 0 0 0 9547 990 0 0 15 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 3 0 0 0
[pid=22846/tid=22855] ppid=22844 vsize=1534308 CPUtime=104.56
/proc/22846/task/22855/stat : 22855 (java) S 22844 22846 20232 0 -1 4202560 25295 0 0 0 9481 975 0 0 15 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22856] ppid=22844 vsize=1534308 CPUtime=105.62
/proc/22846/task/22856/stat : 22856 (java) S 22844 22846 20232 0 -1 4202560 22479 0 0 0 9568 994 0 0 15 0 18 0 22407614 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22857] ppid=22844 vsize=1534308 CPUtime=5.48
/proc/22846/task/22857/stat : 22857 (java) S 22844 22846 20232 0 -1 4202560 163 0 0 0 202 346 0 0 15 0 18 0 22407615 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 0 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22858] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22858/stat : 22858 (java) S 22844 22846 20232 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22859] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22859/stat : 22859 (java) S 22844 22846 20232 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 22407615 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22860] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22860/stat : 22860 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22861] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22861/stat : 22861 (java) S 22844 22846 20232 0 -1 4202560 746 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 7 0 0 0
[pid=22846/tid=22862] ppid=22844 vsize=1534308 CPUtime=0.24
/proc/22846/task/22862/stat : 22862 (java) S 22844 22846 20232 0 -1 4202560 1090 0 0 0 24 0 0 0 15 0 18 0 22407617 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 2 0 0 0
[pid=22846/tid=22863] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22863/stat : 22863 (java) S 22844 22846 20232 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22407617 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
[pid=22846/tid=22864] ppid=22844 vsize=1534308 CPUtime=0
/proc/22846/task/22864/stat : 22864 (java) S 22844 22846 20232 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 22407617 1571131392 213170 4089446400 134512640 134550932 4287020896 18446744073709551615 4294960144 0 4 0 16800975 18446604453952094528 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1534308

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

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

Child status: 143
Real time (s): 1233.08
CPU time (s): 1800.11
CPU user time (s): 1719.06
CPU system time (s): 81.0567
CPU usage (%): 145.985
Max. virtual memory (cumulated for all children) (KiB): 1534308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1719.06
system time used= 81.0567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247877
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= 1385856
involuntary context switches= 22142075

runsolver used 2.42763 second user time and 4.55131 second system time

The end

Launcher Data 

Begin job on node109 at 2010-07-08 00:32:15
IDJOB=2701846
IDBENCH=79647
IDSOLVER=1202
FILE ID=node109/2701846-1278541935
PBS_JOBID= 11239260
Free space on /tmp= 73736 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph12_wcsp.wbo
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701846-1278541935/watcher-2701846-1278541935 -o /tmp/evaluation-result-2701846-1278541935/solver-2701846-1278541935 -C 1800 -W 2000 -M 3800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701846-1278541935.wbo

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

MD5SUM BENCH= baac82f1e5c2363a05a67929a02d4991
RANDOM SEED=147581758

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28989376 kB
Buffers:        149944 kB
Cached:        3369060 kB
SwapCached:          0 kB
Active:        2220408 kB
Inactive:      1592608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28989376 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           35488 kB
Writeback:           0 kB
AnonPages:      293980 kB
Mapped:          20348 kB
Slab:            83108 kB
PageTables:       5252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1651432 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73736 MiB
End job on node109 at 2010-07-08 00:52:51