Trace number 2701684

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-26UNSAT 58.4941 32.3351

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-sheep4r-4-2_wcsp.wbo
MD5SUM4279ee44886a475273bf158c4a05b4f8
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables22540
Total number of constraints1101088
Number of soft constraints1098834
Number of constraints which are clauses1098834
Number of constraints which are cardinality constraints (but not clauses)2254
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 899
Min constraint cost 1
Max constraint cost 899
Sum of constraints costs 980594130
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.05/0.06	c version 2.2.0.v20100526
0.05/0.06	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.06	c java.vm.name		Java HotSpot(TM) Server VM
0.05/0.06	c java.vm.version	11.2-b01
0.05/0.06	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.06	c sun.arch.data.model	32
0.05/0.06	c java.version		1.6.0_12
0.05/0.06	c os.name		Linux
0.05/0.06	c os.version		2.6.18-164.el5
0.05/0.06	c os.arch		i386
0.05/0.06	c Free memory 		1393557488
0.05/0.06	c Max memory 		1395916800
0.05/0.06	c Total memory 		1395916800
0.05/0.06	c Number of processors 	8
0.05/0.09	c Pseudo Boolean Optimization
0.05/0.09	c --- Begin Solver configuration ---
0.05/0.09	c Stops conflict analysis at the first Unique Implication Point
0.05/0.09	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b
0.05/0.09	c Learn all clauses as in MiniSAT
0.05/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.09	c Expensive reason simplification
0.05/0.09	c Armin Biere (Picosat) restarts strategy
0.05/0.09	c Glucose learned constraints deletion strategy
0.05/0.09	c timeout=2147483s
0.05/0.09	c DB Simplification allowed=false
0.05/0.09	c --- End Solver configuration ---
0.05/0.09	c solving HOME/instance-2701684-1278541176.wbo
0.05/0.09	c reading problem ... 
55.20/30.57	c ... done. Wall clock time 30.481s.
55.20/30.57	c #vars     1121374
55.20/30.57	c #constraints  2194026
55.20/30.57	c constraints type 
55.20/30.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2254
55.20/30.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 23437
55.20/30.57	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1069501
58.33/32.25	c starts		: 1
58.33/32.25	c conflicts		: 10
58.33/32.25	c decisions		: 11508
58.33/32.25	c propagations		: 1113725
58.33/32.25	c inspects		: 133125
58.33/32.25	c learnt literals	: 3
58.33/32.25	c learnt binary clauses	: 1
58.33/32.25	c learnt ternary clauses	: 4
58.33/32.25	c learnt clauses	: 6
58.33/32.25	c ignored clauses	: 0
58.33/32.25	c root simplifications	: 0
58.33/32.25	c removed literals (reason simplification)	: 0
58.33/32.25	c reason swapping (by a shorter reason)	: 0
58.33/32.25	c Calls to reduceDB	: 0
58.33/32.25	c number of reductions to clauses (during analyze)	: 0
58.33/32.25	c number of learned constraints concerned by reduction	: 0
58.33/32.25	c number of learning phase by resolution	: 0
58.33/32.25	c number of learning phase by cutting planes	: 0
58.33/32.25	c speed (assignments/second)	: 664513.7231503581
58.33/32.25	c non guided choices	3398
58.33/32.25	c learnt constraints type 
58.33/32.25	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 5
58.33/32.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
58.33/32.25	c constraints type 
58.33/32.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2254
58.33/32.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 23437
58.33/32.25	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1069501
58.33/32.25	s UNSATISFIABLE
58.33/32.25	c Total wall clock time (in seconds): 32.161

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-2701684-1278541176/watcher-2701684-1278541176 -o /tmp/evaluation-result-2701684-1278541176/solver-2701684-1278541176 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701684-1278541176.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: 2.31 2.17 2.21 3/178 18991
/proc/meminfo: memFree=29670864/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=13644 CPUtime=0
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 1159 0 0 0 0 0 0 0 21 0 2 0 22330587 13971456 613 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 3424 616 294 10 0 1206 0
[pid=18991/tid=18992] ppid=18989 vsize=13684 CPUtime=0
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 139 0 0 0 0 0 0 0 23 0 2 0 22330587 14012416 628 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0663041 s]
/proc/loadavg: 2.31 2.17 2.21 3/178 18991
/proc/meminfo: memFree=29670864/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1527696 CPUtime=0.05
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 4279 0 1 0 4 1 0 0 21 0 18 0 22330587 1564360704 3718 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 381924 3718 1091 10 0 379226 0
[pid=18991/tid=18992] ppid=18989 vsize=1527696 CPUtime=0.04
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 3198 0 1 0 4 0 0 0 25 0 18 0 22330587 1564360704 3718 4089446400 134512640 134550932 4292173584 18446744073709551615 4108650234 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1527696

[startup+0.102386 s]
/proc/loadavg: 2.31 2.17 2.21 3/178 18991
/proc/meminfo: memFree=29670864/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1529880 CPUtime=0.11
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 5398 0 1 0 10 1 0 0 21 0 18 0 22330587 1566597120 4835 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 382470 4835 1348 10 0 379772 0
[pid=18991/tid=18992] ppid=18989 vsize=1529880 CPUtime=0.09
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 3718 0 1 0 8 1 0 0 18 0 18 0 22330587 1566597120 4835 4089446400 134512640 134550932 4292173584 18446744073709551615 11055296 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1529880

[startup+0.300269 s]
/proc/loadavg: 2.31 2.17 2.21 3/178 18991
/proc/meminfo: memFree=29670864/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1532204 CPUtime=0.52
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 34682 0 1 0 47 5 0 0 21 0 18 0 22330587 1568976896 34022 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 383051 34022 1406 10 0 380353 0
[pid=18991/tid=18992] ppid=18989 vsize=1532204 CPUtime=0.28
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 31819 0 1 0 24 4 0 0 18 0 18 0 22330587 1568976896 34022 4089446400 134512640 134550932 4292173584 18446744073709551615 4109015573 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 1532204

[startup+0.701185 s]
/proc/loadavg: 2.31 2.17 2.21 3/178 18991
/proc/meminfo: memFree=29670864/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1532184 CPUtime=1.45
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 44992 0 1 0 138 7 0 0 21 0 18 0 22330587 1568956416 44007 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 383046 44011 1424 10 0 380348 0
[pid=18991/tid=18992] ppid=18989 vsize=1532184 CPUtime=0.62
/proc/18991/task/18992/stat : 18992 (java) S 18989 18991 17738 0 -1 4202560 32762 0 1 0 58 4 0 0 18 0 18 0 22330587 1568956416 44015 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 1532184

[startup+1.5011 s]
/proc/loadavg: 2.31 2.17 2.21 3/196 19009
/proc/meminfo: memFree=29473836/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1532568 CPUtime=2.94
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 62310 0 1 0 281 13 0 0 21 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 383142 60203 1424 10 0 380444 0
[pid=18991/tid=18992] ppid=18989 vsize=1532568 CPUtime=1.27
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 32825 0 1 0 122 5 0 0 17 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4108967133 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18991/tid=18994] ppid=18989 vsize=1532568 CPUtime=0.11
/proc/18991/task/18994/stat : 18994 (java) S 18989 18991 17738 0 -1 4202560 3872 0 0 0 11 0 0 0 15 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18995] ppid=18989 vsize=1532568 CPUtime=0.13
/proc/18991/task/18995/stat : 18995 (java) S 18989 18991 17738 0 -1 4202560 3694 0 0 0 13 0 0 0 16 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
[pid=18991/tid=18996] ppid=18989 vsize=1532568 CPUtime=0.12
/proc/18991/task/18996/stat : 18996 (java) S 18989 18991 17738 0 -1 4202560 3128 0 0 0 11 1 0 0 16 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=18997] ppid=18989 vsize=1532568 CPUtime=0.17
/proc/18991/task/18997/stat : 18997 (java) S 18989 18991 17738 0 -1 4202560 4283 0 0 0 17 0 0 0 16 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 5 0 0 0
[pid=18991/tid=18998] ppid=18989 vsize=1532568 CPUtime=0.13
/proc/18991/task/18998/stat : 18998 (java) S 18989 18991 17738 0 -1 4202560 3842 0 0 0 12 1 0 0 16 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=18999] ppid=18989 vsize=1532568 CPUtime=0.12
/proc/18991/task/18999/stat : 18999 (java) S 18989 18991 17738 0 -1 4202560 2803 0 0 0 11 1 0 0 16 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19000] ppid=18989 vsize=1532568 CPUtime=0.1
/proc/18991/task/19000/stat : 19000 (java) S 18989 18991 17738 0 -1 4202560 2807 0 0 0 10 0 0 0 16 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
[pid=18991/tid=19001] ppid=18989 vsize=1532568 CPUtime=0.09
/proc/18991/task/19001/stat : 19001 (java) S 18989 18991 17738 0 -1 4202560 2225 0 0 0 9 0 0 0 15 0 18 0 22330587 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19002] ppid=18989 vsize=1532568 CPUtime=0
/proc/18991/task/19002/stat : 19002 (java) S 18989 18991 17738 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 18 0 22330588 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19003] ppid=18989 vsize=1532568 CPUtime=0
/proc/18991/task/19003/stat : 19003 (java) S 18989 18991 17738 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 18 0 22330589 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19004] ppid=18989 vsize=1532568 CPUtime=0
/proc/18991/task/19004/stat : 19004 (java) S 18989 18991 17738 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 18 0 22330589 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19005] ppid=18989 vsize=1532568 CPUtime=0
/proc/18991/task/19005/stat : 19005 (java) S 18989 18991 17738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22330591 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19006] ppid=18989 vsize=1532568 CPUtime=0.26
/proc/18991/task/19006/stat : 19006 (java) S 18989 18991 17738 0 -1 4202560 667 0 0 0 26 0 0 0 15 0 18 0 22330591 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19007] ppid=18989 vsize=1532568 CPUtime=0.33
/proc/18991/task/19007/stat : 19007 (java) S 18989 18991 17738 0 -1 4202560 1084 0 0 0 33 0 0 0 25 0 18 0 22330591 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=1532568 CPUtime=0
/proc/18991/task/19008/stat : 19008 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22330591 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19009] ppid=18989 vsize=1532568 CPUtime=0
/proc/18991/task/19009/stat : 19009 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22330591 1569349632 60203 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 1532568

[startup+3.1008 s]
/proc/loadavg: 2.31 2.17 2.21 3/196 19009
/proc/meminfo: memFree=29402908/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1533592 CPUtime=6.05
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 87521 0 1 0 581 24 0 0 21 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 383398 83822 1424 10 0 380700 0
[pid=18991/tid=18992] ppid=18989 vsize=1533592 CPUtime=2.55
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 32853 0 1 0 250 5 0 0 15 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18991/tid=18994] ppid=18989 vsize=1533592 CPUtime=0.32
/proc/18991/task/18994/stat : 18994 (java) S 18989 18991 17738 0 -1 4202560 6755 0 0 0 30 2 0 0 16 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=18995] ppid=18989 vsize=1533592 CPUtime=0.38
/proc/18991/task/18995/stat : 18995 (java) S 18989 18991 17738 0 -1 4202560 7545 0 0 0 36 2 0 0 16 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 1 0 0 0
[pid=18991/tid=18996] ppid=18989 vsize=1533592 CPUtime=0.36
/proc/18991/task/18996/stat : 18996 (java) S 18989 18991 17738 0 -1 4202560 6315 0 0 0 34 2 0 0 16 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18997] ppid=18989 vsize=1533592 CPUtime=0.43
/proc/18991/task/18997/stat : 18997 (java) S 18989 18991 17738 0 -1 4202560 7350 0 0 0 42 1 0 0 16 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 5 0 0 0
[pid=18991/tid=18998] ppid=18989 vsize=1533592 CPUtime=0.32
/proc/18991/task/18998/stat : 18998 (java) S 18989 18991 17738 0 -1 4202560 6139 0 0 0 30 2 0 0 16 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=18999] ppid=18989 vsize=1533592 CPUtime=0.33
/proc/18991/task/18999/stat : 18999 (java) S 18989 18991 17738 0 -1 4202560 6238 0 0 0 31 2 0 0 15 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19000] ppid=18989 vsize=1533592 CPUtime=0.35
/proc/18991/task/19000/stat : 19000 (java) S 18989 18991 17738 0 -1 4202560 6457 0 0 0 34 1 0 0 16 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
[pid=18991/tid=19001] ppid=18989 vsize=1533592 CPUtime=0.3
/proc/18991/task/19001/stat : 19001 (java) S 18989 18991 17738 0 -1 4202560 5038 0 0 0 29 1 0 0 16 0 18 0 22330587 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19002] ppid=18989 vsize=1533592 CPUtime=0
/proc/18991/task/19002/stat : 19002 (java) S 18989 18991 17738 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 18 0 22330588 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19003] ppid=18989 vsize=1533592 CPUtime=0
/proc/18991/task/19003/stat : 19003 (java) S 18989 18991 17738 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 18 0 22330589 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19004] ppid=18989 vsize=1533592 CPUtime=0
/proc/18991/task/19004/stat : 19004 (java) S 18989 18991 17738 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 18 0 22330589 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19005] ppid=18989 vsize=1533592 CPUtime=0
/proc/18991/task/19005/stat : 19005 (java) S 18989 18991 17738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22330591 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19006] ppid=18989 vsize=1533592 CPUtime=0.26
/proc/18991/task/19006/stat : 19006 (java) S 18989 18991 17738 0 -1 4202560 667 0 0 0 26 0 0 0 15 0 18 0 22330591 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19007] ppid=18989 vsize=1533592 CPUtime=0.33
/proc/18991/task/19007/stat : 19007 (java) S 18989 18991 17738 0 -1 4202560 1084 0 0 0 33 0 0 0 25 0 18 0 22330591 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=1533592 CPUtime=0
/proc/18991/task/19008/stat : 19008 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22330591 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19009] ppid=18989 vsize=1533592 CPUtime=0
/proc/18991/task/19009/stat : 19009 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22330591 1570398208 83822 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 1533592

[startup+6.30223 s]
/proc/loadavg: 2.29 2.17 2.20 3/196 19009
/proc/meminfo: memFree=29279780/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1534616 CPUtime=11.57
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 118116 0 1 0 1112 45 0 0 21 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 383654 112324 1424 10 0 380956 0
[pid=18991/tid=18992] ppid=18989 vsize=1534616 CPUtime=5.2
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 32923 0 1 0 515 5 0 0 15 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4109148790 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18991/tid=18994] ppid=18989 vsize=1534616 CPUtime=0.61
/proc/18991/task/18994/stat : 18994 (java) S 18989 18991 17738 0 -1 4202560 9001 0 0 0 58 3 0 0 16 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18995] ppid=18989 vsize=1534616 CPUtime=0.76
/proc/18991/task/18995/stat : 18995 (java) S 18989 18991 17738 0 -1 4202560 12038 0 0 0 72 4 0 0 16 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 1 0 0 0
[pid=18991/tid=18996] ppid=18989 vsize=1534616 CPUtime=0.7
/proc/18991/task/18996/stat : 18996 (java) S 18989 18991 17738 0 -1 4202560 10769 0 0 0 66 4 0 0 16 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=18997] ppid=18989 vsize=1534616 CPUtime=0.78
/proc/18991/task/18997/stat : 18997 (java) S 18989 18991 17738 0 -1 4202560 10630 0 0 0 76 2 0 0 16 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=18998] ppid=18989 vsize=1534616 CPUtime=0.66
/proc/18991/task/18998/stat : 18998 (java) S 18989 18991 17738 0 -1 4202560 10618 0 0 0 62 4 0 0 15 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18999] ppid=18989 vsize=1534616 CPUtime=0.72
/proc/18991/task/18999/stat : 18999 (java) S 18989 18991 17738 0 -1 4202560 10531 0 0 0 67 5 0 0 16 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 5 0 0 0
[pid=18991/tid=19000] ppid=18989 vsize=1534616 CPUtime=0.73
/proc/18991/task/19000/stat : 19000 (java) S 18989 18991 17738 0 -1 4202560 9978 0 0 0 69 4 0 0 16 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
[pid=18991/tid=19001] ppid=18989 vsize=1534616 CPUtime=0.66
/proc/18991/task/19001/stat : 19001 (java) S 18989 18991 17738 0 -1 4202560 8797 0 0 0 61 5 0 0 16 0 18 0 22330587 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19002] ppid=18989 vsize=1534616 CPUtime=0.03
/proc/18991/task/19002/stat : 19002 (java) S 18989 18991 17738 0 -1 4202560 20 0 0 0 1 2 0 0 15 0 18 0 22330588 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19003] ppid=18989 vsize=1534616 CPUtime=0
/proc/18991/task/19003/stat : 19003 (java) S 18989 18991 17738 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 18 0 22330589 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19004] ppid=18989 vsize=1534616 CPUtime=0
/proc/18991/task/19004/stat : 19004 (java) S 18989 18991 17738 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 18 0 22330589 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19005] ppid=18989 vsize=1534616 CPUtime=0
/proc/18991/task/19005/stat : 19005 (java) S 18989 18991 17738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22330591 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19006] ppid=18989 vsize=1534616 CPUtime=0.26
/proc/18991/task/19006/stat : 19006 (java) S 18989 18991 17738 0 -1 4202560 667 0 0 0 26 0 0 0 15 0 18 0 22330591 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19007] ppid=18989 vsize=1534616 CPUtime=0.33
/proc/18991/task/19007/stat : 19007 (java) S 18989 18991 17738 0 -1 4202560 1084 0 0 0 33 0 0 0 25 0 18 0 22330591 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=1534616 CPUtime=0
/proc/18991/task/19008/stat : 19008 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22330591 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19009] ppid=18989 vsize=1534616 CPUtime=0
/proc/18991/task/19009/stat : 19009 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22330591 1571446784 112324 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (KiB) 1534616

[startup+12.7011 s]
/proc/loadavg: 2.26 2.17 2.20 6/196 19009
/proc/meminfo: memFree=29097684/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1534940 CPUtime=22.42
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 155142 0 1 0 2144 98 0 0 21 0 18 0 22330587 1571778560 146473 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 383735 146473 1424 10 0 381037 0

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

[pid=18991/tid=18996] ppid=18989 vsize=1534940 CPUtime=3.73
/proc/18991/task/18996/stat : 18996 (java) R 18989 18991 17738 0 -1 4202560 27062 0 0 0 347 26 0 0 15 0 18 0 22330587 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 105886514 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18991/tid=18997] ppid=18989 vsize=1534940 CPUtime=3.89
/proc/18991/task/18997/stat : 18997 (java) S 18989 18991 17738 0 -1 4202560 29028 0 0 0 363 26 0 0 15 0 18 0 22330587 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=18998] ppid=18989 vsize=1534940 CPUtime=3.77
/proc/18991/task/18998/stat : 18998 (java) S 18989 18991 17738 0 -1 4202560 27982 0 0 0 350 27 0 0 15 0 18 0 22330587 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18999] ppid=18989 vsize=1534940 CPUtime=3.85
/proc/18991/task/18999/stat : 18999 (java) S 18989 18991 17738 0 -1 4202560 29187 0 0 0 355 30 0 0 15 0 18 0 22330587 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=19000] ppid=18989 vsize=1534940 CPUtime=3.78
/proc/18991/task/19000/stat : 19000 (java) R 18989 18991 17738 0 -1 4202560 28264 0 0 0 350 28 0 0 15 0 18 0 22330587 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18991/tid=19001] ppid=18989 vsize=1534940 CPUtime=3.64
/proc/18991/task/19001/stat : 19001 (java) R 18989 18991 17738 0 -1 4202560 30426 0 0 0 333 31 0 0 15 0 18 0 22330587 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18991/tid=19002] ppid=18989 vsize=1534940 CPUtime=0.15
/proc/18991/task/19002/stat : 19002 (java) S 18989 18991 17738 0 -1 4202560 22 0 0 0 4 11 0 0 15 0 18 0 22330588 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19003] ppid=18989 vsize=1534940 CPUtime=0
/proc/18991/task/19003/stat : 19003 (java) S 18989 18991 17738 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 18 0 22330589 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19004] ppid=18989 vsize=1534940 CPUtime=0
/proc/18991/task/19004/stat : 19004 (java) S 18989 18991 17738 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 18 0 22330589 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19005] ppid=18989 vsize=1534940 CPUtime=0
/proc/18991/task/19005/stat : 19005 (java) S 18989 18991 17738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22330591 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19006] ppid=18989 vsize=1534940 CPUtime=0.27
/proc/18991/task/19006/stat : 19006 (java) S 18989 18991 17738 0 -1 4202560 668 0 0 0 27 0 0 0 15 0 18 0 22330591 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19007] ppid=18989 vsize=1534940 CPUtime=0.33
/proc/18991/task/19007/stat : 19007 (java) S 18989 18991 17738 0 -1 4202560 1084 0 0 0 33 0 0 0 18 0 18 0 22330591 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=1534940 CPUtime=0
/proc/18991/task/19008/stat : 19008 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22330591 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19009] ppid=18989 vsize=1534940 CPUtime=0
/proc/18991/task/19009/stat : 19009 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22330591 1571778560 246072 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 52.1
Current children cumulated vsize (KiB) 1534940

[startup+30.301 s]
/proc/loadavg: 2.41 2.20 2.21 3/196 19010
/proc/meminfo: memFree=28624528/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1535964 CPUtime=54.62
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 279532 0 1 0 5207 255 0 0 21 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 383991 263126 1424 10 0 381293 0
[pid=18991/tid=18992] ppid=18989 vsize=1535964 CPUtime=22.4
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 33404 0 1 0 2232 8 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4108998716 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18991/tid=18994] ppid=18989 vsize=1535964 CPUtime=3.91
/proc/18991/task/18994/stat : 18994 (java) S 18989 18991 17738 0 -1 4202560 26847 0 0 0 365 26 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18995] ppid=18989 vsize=1535964 CPUtime=3.87
/proc/18991/task/18995/stat : 18995 (java) S 18989 18991 17738 0 -1 4202560 34158 0 0 0 356 31 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 5 0 0 0
[pid=18991/tid=18996] ppid=18989 vsize=1535964 CPUtime=3.89
/proc/18991/task/18996/stat : 18996 (java) S 18989 18991 17738 0 -1 4202560 29082 0 0 0 362 27 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
[pid=18991/tid=18997] ppid=18989 vsize=1535964 CPUtime=4
/proc/18991/task/18997/stat : 18997 (java) S 18989 18991 17738 0 -1 4202560 29964 0 0 0 373 27 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=18998] ppid=18989 vsize=1535964 CPUtime=3.91
/proc/18991/task/18998/stat : 18998 (java) S 18989 18991 17738 0 -1 4202560 30759 0 0 0 363 28 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 4 0 0 0
[pid=18991/tid=18999] ppid=18989 vsize=1535964 CPUtime=3.95
/proc/18991/task/18999/stat : 18999 (java) S 18989 18991 17738 0 -1 4202560 30068 0 0 0 364 31 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19000] ppid=18989 vsize=1535964 CPUtime=3.96
/proc/18991/task/19000/stat : 19000 (java) S 18989 18991 17738 0 -1 4202560 30098 0 0 0 368 28 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19001] ppid=18989 vsize=1535964 CPUtime=3.76
/proc/18991/task/19001/stat : 19001 (java) S 18989 18991 17738 0 -1 4202560 32109 0 0 0 344 32 0 0 16 0 18 0 22330587 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 1 0 0 0
[pid=18991/tid=19002] ppid=18989 vsize=1535964 CPUtime=0.15
/proc/18991/task/19002/stat : 19002 (java) S 18989 18991 17738 0 -1 4202560 22 0 0 0 4 11 0 0 15 0 18 0 22330588 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19003] ppid=18989 vsize=1535964 CPUtime=0
/proc/18991/task/19003/stat : 19003 (java) S 18989 18991 17738 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 18 0 22330589 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19004] ppid=18989 vsize=1535964 CPUtime=0
/proc/18991/task/19004/stat : 19004 (java) S 18989 18991 17738 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 18 0 22330589 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19005] ppid=18989 vsize=1535964 CPUtime=0
/proc/18991/task/19005/stat : 19005 (java) S 18989 18991 17738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22330591 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19006] ppid=18989 vsize=1535964 CPUtime=0.37
/proc/18991/task/19006/stat : 19006 (java) S 18989 18991 17738 0 -1 4202560 877 0 0 0 37 0 0 0 16 0 18 0 22330591 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19007] ppid=18989 vsize=1535964 CPUtime=0.33
/proc/18991/task/19007/stat : 19007 (java) S 18989 18991 17738 0 -1 4202560 1084 0 0 0 33 0 0 0 18 0 18 0 22330591 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=1535964 CPUtime=0
/proc/18991/task/19008/stat : 19008 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22330591 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19009] ppid=18989 vsize=1535964 CPUtime=0
/proc/18991/task/19009/stat : 19009 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22330591 1572827136 263126 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 54.62
Current children cumulated vsize (KiB) 1535964

[startup+31.1008 s]
/proc/loadavg: 2.41 2.20 2.21 3/196 19010
/proc/meminfo: memFree=28622916/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1538916 CPUtime=56.45
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 299914 0 1 0 5383 262 0 0 21 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 384729 282757 1436 10 0 382031 0
[pid=18991/tid=18992] ppid=18989 vsize=1538916 CPUtime=23.02
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 33417 0 1 0 2294 8 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4109304080 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18991/tid=18994] ppid=18989 vsize=1538916 CPUtime=4.06
/proc/18991/task/18994/stat : 18994 (java) S 18989 18991 17738 0 -1 4202560 30852 0 0 0 379 27 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18995] ppid=18989 vsize=1538916 CPUtime=3.96
/proc/18991/task/18995/stat : 18995 (java) S 18989 18991 17738 0 -1 4202560 34224 0 0 0 364 32 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 1 0 0 0
[pid=18991/tid=18996] ppid=18989 vsize=1538916 CPUtime=4.04
/proc/18991/task/18996/stat : 18996 (java) S 18989 18991 17738 0 -1 4202560 29209 0 0 0 376 28 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
[pid=18991/tid=18997] ppid=18989 vsize=1538916 CPUtime=4.12
/proc/18991/task/18997/stat : 18997 (java) S 18989 18991 17738 0 -1 4202560 32512 0 0 0 385 27 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=18998] ppid=18989 vsize=1538916 CPUtime=4.02
/proc/18991/task/18998/stat : 18998 (java) S 18989 18991 17738 0 -1 4202560 34151 0 0 0 374 28 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=18999] ppid=18989 vsize=1538916 CPUtime=4.08
/proc/18991/task/18999/stat : 18999 (java) S 18989 18991 17738 0 -1 4202560 34451 0 0 0 376 32 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 5 0 0 0
[pid=18991/tid=19000] ppid=18989 vsize=1538916 CPUtime=4.06
/proc/18991/task/19000/stat : 19000 (java) S 18989 18991 17738 0 -1 4202560 32396 0 0 0 378 28 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19001] ppid=18989 vsize=1538916 CPUtime=3.88
/proc/18991/task/19001/stat : 19001 (java) S 18989 18991 17738 0 -1 4202560 34799 0 0 0 355 33 0 0 15 0 18 0 22330587 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 1 0 0 0
[pid=18991/tid=19002] ppid=18989 vsize=1538916 CPUtime=0.15
/proc/18991/task/19002/stat : 19002 (java) S 18989 18991 17738 0 -1 4202560 22 0 0 0 4 11 0 0 15 0 18 0 22330588 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19003] ppid=18989 vsize=1538916 CPUtime=0
/proc/18991/task/19003/stat : 19003 (java) S 18989 18991 17738 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 18 0 22330589 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19004] ppid=18989 vsize=1538916 CPUtime=0
/proc/18991/task/19004/stat : 19004 (java) S 18989 18991 17738 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 18 0 22330589 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19005] ppid=18989 vsize=1538916 CPUtime=0
/proc/18991/task/19005/stat : 19005 (java) S 18989 18991 17738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22330591 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19006] ppid=18989 vsize=1538916 CPUtime=0.51
/proc/18991/task/19006/stat : 19006 (java) S 18989 18991 17738 0 -1 4202560 1670 0 0 0 50 1 0 0 15 0 18 0 22330591 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19007] ppid=18989 vsize=1538916 CPUtime=0.41
/proc/18991/task/19007/stat : 19007 (java) S 18989 18991 17738 0 -1 4202560 1151 0 0 0 41 0 0 0 15 0 18 0 22330591 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=1538916 CPUtime=0
/proc/18991/task/19008/stat : 19008 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22330591 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19009] ppid=18989 vsize=1538916 CPUtime=0
/proc/18991/task/19009/stat : 19009 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22330591 1575849984 282757 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 56.45
Current children cumulated vsize (KiB) 1538916

[startup+31.9066 s]
/proc/loadavg: 2.41 2.20 2.21 3/196 19010
/proc/meminfo: memFree=28485648/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=1538756 CPUtime=57.85
/proc/18991/stat : 18991 (java) S 18989 18991 17738 0 -1 4202496 315039 0 1 0 5517 268 0 0 21 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 384689 297560 1437 10 0 381991 0
[pid=18991/tid=18992] ppid=18989 vsize=1538756 CPUtime=23.7
/proc/18991/task/18992/stat : 18992 (java) R 18989 18991 17738 0 -1 4202560 33425 0 1 0 2362 8 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4109304443 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18991/tid=18994] ppid=18989 vsize=1538756 CPUtime=4.14
/proc/18991/task/18994/stat : 18994 (java) S 18989 18991 17738 0 -1 4202560 32124 0 0 0 387 27 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=18995] ppid=18989 vsize=1538756 CPUtime=4.02
/proc/18991/task/18995/stat : 18995 (java) S 18989 18991 17738 0 -1 4202560 36603 0 0 0 369 33 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 1 0 0 0
[pid=18991/tid=18996] ppid=18989 vsize=1538756 CPUtime=4.11
/proc/18991/task/18996/stat : 18996 (java) S 18989 18991 17738 0 -1 4202560 30935 0 0 0 383 28 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 3 0 0 0
[pid=18991/tid=18997] ppid=18989 vsize=1538756 CPUtime=4.18
/proc/18991/task/18997/stat : 18997 (java) S 18989 18991 17738 0 -1 4202560 34722 0 0 0 390 28 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=18998] ppid=18989 vsize=1538756 CPUtime=4.07
/proc/18991/task/18998/stat : 18998 (java) S 18989 18991 17738 0 -1 4202560 35414 0 0 0 378 29 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=18999] ppid=18989 vsize=1538756 CPUtime=4.16
/proc/18991/task/18999/stat : 18999 (java) S 18989 18991 17738 0 -1 4202560 37896 0 0 0 382 34 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19000] ppid=18989 vsize=1538756 CPUtime=4.13
/proc/18991/task/19000/stat : 19000 (java) S 18989 18991 17738 0 -1 4202560 34771 0 0 0 384 29 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19001] ppid=18989 vsize=1538756 CPUtime=3.96
/proc/18991/task/19001/stat : 19001 (java) S 18989 18991 17738 0 -1 4202560 34999 0 0 0 362 34 0 0 15 0 18 0 22330587 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 5 0 0 0
[pid=18991/tid=19002] ppid=18989 vsize=1538756 CPUtime=0.15
/proc/18991/task/19002/stat : 19002 (java) S 18989 18991 17738 0 -1 4202560 22 0 0 0 4 11 0 0 15 0 18 0 22330588 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 0 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19003] ppid=18989 vsize=1538756 CPUtime=0
/proc/18991/task/19003/stat : 19003 (java) S 18989 18991 17738 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 18 0 22330589 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19004] ppid=18989 vsize=1538756 CPUtime=0
/proc/18991/task/19004/stat : 19004 (java) S 18989 18991 17738 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 18 0 22330589 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 0 0 0 0
[pid=18991/tid=19005] ppid=18989 vsize=1538756 CPUtime=0
/proc/18991/task/19005/stat : 19005 (java) S 18989 18991 17738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22330591 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19006] ppid=18989 vsize=1538756 CPUtime=0.56
/proc/18991/task/19006/stat : 19006 (java) S 18989 18991 17738 0 -1 4202560 1757 0 0 0 55 1 0 0 15 0 18 0 22330591 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 2 0 0 0
[pid=18991/tid=19007] ppid=18989 vsize=1538756 CPUtime=0.53
/proc/18991/task/19007/stat : 19007 (java) S 18989 18991 17738 0 -1 4202560 1311 0 0 0 53 0 0 0 15 0 18 0 22330591 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=1538756 CPUtime=0
/proc/18991/task/19008/stat : 19008 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22330591 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 6 0 0 0
[pid=18991/tid=19009] ppid=18989 vsize=1538756 CPUtime=0
/proc/18991/task/19009/stat : 19009 (java) S 18989 18991 17738 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22330591 1575686144 297560 4089446400 134512640 134550932 4292173584 18446744073709551615 4294960144 0 4 0 16800975 18446604453969124352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 57.85
Current children cumulated vsize (KiB) 1538756

[startup+32.3015 s]
/proc/loadavg: 2.41 2.20 2.21 3/196 19010
/proc/meminfo: memFree=28485648/32951124 swapFree=67111528/67111528
[pid=18991] ppid=18989 vsize=0 CPUtime=58.45
/proc/18991/stat : 18991 (java) Z 18989 18991 17738 0 -1 4203548 315090 0 1 0 5574 271 0 0 18 0 2 0 22330587 0 0 4089446400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18991/statm: 0 0 0 0 0 0 0
[pid=18991/tid=19008] ppid=18989 vsize=0 CPUtime=0.01
/proc/18991/task/19008/stat : 19008 (java) R 18989 18991 17738 0 -1 4203588 0 0 0 0 0 1 0 0 18 0 2 0 22330591 0 0 4089446400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 58.45
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 32.3351
CPU time (s): 58.4941
CPU user time (s): 55.7425
CPU system time (s): 2.75158
CPU usage (%): 180.9
Max. virtual memory (cumulated for all children) (KiB): 1539080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.7425
system time used= 2.75158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315090
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= 27101
involuntary context switches= 1489052

runsolver used 0.078987 second user time and 0.12598 second system time

The end

Launcher Data 

Begin job on node146 at 2010-07-08 00:19:37
IDJOB=2701684
IDBENCH=79620
IDSOLVER=1202
FILE ID=node146/2701684-1278541176
PBS_JOBID= 11239186
Free space on /tmp= 73552 MiB

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

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

MD5SUM BENCH= 4279ee44886a475273bf158c4a05b4f8
RANDOM SEED=912756049

node146.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.870
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.74
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.870
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.870
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.66
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.870
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29671268 kB
Buffers:        147144 kB
Cached:        2796568 kB
SwapCached:          0 kB
Active:        1544596 kB
Inactive:      1588536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29671268 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           45052 kB
Writeback:           0 kB
AnonPages:      189668 kB
Mapped:          15556 kB
Slab:            83892 kB
PageTables:       4996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   331800 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= 73552 MiB
End job on node146 at 2010-07-08 00:20:09