Trace number 3741054

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
PB09: SAT4J Pseudo Resolution 2.1.1? (TO) 1800.24 1762.03

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
MD5SUMe6dc64843ebe4c9cb8812bfa08aa0858
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36611
Total number of constraints853935
Number of constraints which are clauses766797
Number of constraints which are cardinality constraints (but not clauses)2865
Number of constraints which are nor clauses,nor cardinality constraints84273
Minimum length of a constraint1
Maximum length of a constraint756
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.07	c version 2.1.1.v20090612
0.06/0.07	c sun.arch.data.model	64
0.06/0.07	c java.version	1.6.0_24
0.06/0.07	c os.name	Linux
0.06/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.07	c os.arch	amd64
0.06/0.07	c Free memory 1299577560
0.06/0.07	c Max memory 1306394624
0.06/0.07	c Total memory 1306394624
0.06/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.CompetResolutionPBMixedHTClauseCardConstrDataStructure@2d3bad12
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c MiniSAT restarts strategy
0.10/0.10	c Memory based 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-3741054-1338770993.opb
0.10/0.10	c reading problem ... 
7.34/5.29	c ... done. Wall clock time 5.192s.
7.34/5.29	c #vars     36611
7.34/5.29	c #constraints  726553
7.34/5.29	c constraints type 
7.34/5.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 2687
7.34/5.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 188268
7.34/5.30	c org.sat4j.pb.constraints.pb.MaxWatchPb => 84273
7.34/5.30	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 443795
1800.01/1761.91	c starts		: 21
1800.01/1761.91	c conflicts		: 674917
1800.01/1761.91	c decisions		: 6054892
1800.01/1761.91	c propagations		: 415834774
1800.01/1761.91	c inspects		: 7778019154
1800.01/1761.91	c learnt literals	: 508
1800.01/1761.91	c learnt binary clauses	: 1524
1800.01/1761.91	c learnt ternary clauses	: 5384
1800.01/1761.91	c learnt clauses	: 674409
1800.01/1761.91	c ignored clauses	: 0
1800.01/1761.91	c root simplifications	: 0
1800.01/1761.91	c removed literals (reason simplification)	: 122383690
1800.01/1761.91	c reason swapping (by a shorter reason)	: 0
1800.01/1761.91	c Calls to reduceDB	: 0
1800.01/1761.91	c speed (assignments/second)	: 236725.22307120403
1800.01/1761.91	c non guided choices	822961
1800.24/1762.02	c learnt constraints type 
1800.24/1762.02	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 672916
1800.24/1762.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1524
1800.24/1762.02	c constraints type 
1800.24/1762.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 2687
1800.24/1762.02	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 188268
1800.24/1762.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 84273
1800.24/1762.02	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 443795
1800.24/1762.02	s UNKNOWN
1800.24/1762.02	c Total wall clock time (in seconds): 1761.916

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741054-1338770993/watcher-3741054-1338770993 -o /tmp/evaluation-result-3741054-1338770993/solver-3741054-1338770993 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741054-1338770993.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.05 2.01 3/194 31531
/proc/meminfo: memFree=26658888/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 343224421 24780800 867 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 6050 867 654 9 0 385 0
[pid=31531/tid=31532] ppid=31529 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 2 0 343224422 91889664 881 33554432000 1073741824 1073778376 140735401822160 140735401811224 227141305232 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.067527 s]
/proc/loadavg: 2.00 2.05 2.01 3/194 31531
/proc/meminfo: memFree=26658888/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 3882 0 1 0 5 1 0 0 20 0 18 0 343224421 2712133632 5090 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 662142 5090 1760 9 0 652835 0
[pid=31531/tid=31532] ppid=31529 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 2671 0 1 0 4 0 0 0 20 0 18 0 343224422 2712133632 5090 33554432000 1073741824 1073778376 140735401822160 139893862791840 227144688909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568

[startup+0.100314 s]
/proc/loadavg: 2.00 2.05 2.01 3/194 31531
/proc/meminfo: memFree=26658888/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 4732 0 1 0 9 1 0 0 20 0 18 0 343224421 2712133632 5939 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 662142 5939 2109 9 0 652835 0
[pid=31531/tid=31532] ppid=31529 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 2788 0 1 0 7 0 0 0 20 0 18 0 343224422 2712133632 5939 33554432000 1073741824 1073778376 140735401822160 139893862781288 227144688909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568

[startup+0.300223 s]
/proc/loadavg: 2.00 2.05 2.01 3/194 31531
/proc/meminfo: memFree=26658888/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2648568 CPUtime=0.53 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 6548 0 1 0 51 2 0 0 20 0 18 0 343224421 2712133632 10551 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 662142 10551 2217 9 0 652835 0
[pid=31531/tid=31532] ppid=31529 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 2806 0 1 0 26 1 0 0 20 0 18 0 343224422 2712133632 10551 33554432000 1073741824 1073778376 140735401822160 139893862781288 227144688909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2648568

[startup+0.700304 s]
/proc/loadavg: 2.00 2.05 2.01 3/194 31531
/proc/meminfo: memFree=26658888/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2648568 CPUtime=1.18 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 9692 0 1 0 112 6 0 0 20 0 18 0 343224421 2712133632 58405 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 662142 58405 2235 9 0 652835 0
[pid=31531/tid=31532] ppid=31529 vsize=2648568 CPUtime=0.67 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 2897 0 1 0 62 5 0 0 20 0 18 0 343224422 2712133632 58405 33554432000 1073741824 1073778376 140735401822160 139893862781072 139893802933190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 2648568

[startup+1.50071 s]
/proc/loadavg: 2.00 2.05 2.01 3/212 31549
/proc/meminfo: memFree=26290548/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2648568 CPUtime=2.22 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 10107 0 1 0 208 14 0 0 20 0 18 0 343224421 2712133632 99905 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 662142 100417 2251 9 0 652835 0
[pid=31531/tid=31532] ppid=31529 vsize=2648568 CPUtime=1.41 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) S 31529 31531 28074 0 -1 4202560 2965 0 1 0 133 8 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893862788680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31534] ppid=31529 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/31531/task/31534/stat : 31534 (java) R 31529 31531 28074 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893796907864 139893866965167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31535] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31535/stat : 31535 (java) R 31529 31531 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893728603096 139893866965294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31536] ppid=31529 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/31531/task/31536/stat : 31536 (java) R 31529 31531 28074 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893727550552 139893869685502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31537] ppid=31529 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/31531/task/31537/stat : 31537 (java) R 31529 31531 28074 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893726498008 139893865260729 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31538] ppid=31529 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/31531/task/31538/stat : 31538 (java) R 31529 31531 28074 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893725444440 139893869687242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31539] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31539/stat : 31539 (java) R 31529 31531 28074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893724391600 139893866965167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31540] ppid=31529 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/31531/task/31540/stat : 31540 (java) R 31529 31531 28074 0 -1 4202560 15 0 0 0 1 2 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893723339352 139893866546316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31541] ppid=31529 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/31531/task/31541/stat : 31541 (java) R 31529 31531 28074 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 343224422 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893722286632 139893866951493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31542] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31542/stat : 31542 (java) S 31529 31531 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 343224424 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893709874696 227144676412 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31543] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31543/stat : 31543 (java) S 31529 31531 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 343224424 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893708822136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31544] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31544/stat : 31544 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 343224424 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893707769480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31545] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31545/stat : 31545 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 343224426 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893706718224 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31546] ppid=31529 vsize=2648568 CPUtime=0.26 cores=1,3,5,7
/proc/31531/task/31546/stat : 31546 (java) S 31529 31531 28074 0 -1 4202560 2758 0 0 0 26 0 0 0 20 0 18 0 343224426 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893705664568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31547] ppid=31529 vsize=2648568 CPUtime=0.28 cores=1,3,5,7
/proc/31531/task/31547/stat : 31547 (java) S 31529 31531 28074 0 -1 4202560 3118 0 0 0 28 0 0 0 20 0 18 0 343224426 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893704612024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31548] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31548/stat : 31548 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 343224426 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893703559672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31549] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31549/stat : 31549 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 343224427 2712133632 100417 33554432000 1073741824 1073778376 140735401822160 139893702507336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 2648568

[startup+3.10076 s]
/proc/loadavg: 2.00 2.05 2.01 3/212 31549
/proc/meminfo: memFree=26237052/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2648568 CPUtime=4.2 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 10232 0 1 0 396 24 0 0 20 0 18 0 343224421 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 662142 112723 2251 9 0 652835 0
[pid=31531/tid=31532] ppid=31529 vsize=2648568 CPUtime=2.88 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 2968 0 1 0 280 8 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893862788296 227144688909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31534] ppid=31529 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/31531/task/31534/stat : 31534 (java) S 31529 31531 28074 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893796907688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31535] ppid=31529 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/31531/task/31535/stat : 31535 (java) S 31529 31531 28074 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893728602920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31536] ppid=31529 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/31531/task/31536/stat : 31536 (java) S 31529 31531 28074 0 -1 4202560 24 0 0 0 6 1 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893727550376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31537] ppid=31529 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/31531/task/31537/stat : 31537 (java) S 31529 31531 28074 0 -1 4202560 30 0 0 0 6 1 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893726497832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31538] ppid=31529 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/31531/task/31538/stat : 31538 (java) S 31529 31531 28074 0 -1 4202560 28 0 0 0 6 2 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893725444264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31539] ppid=31529 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/31531/task/31539/stat : 31539 (java) S 31529 31531 28074 0 -1 4202560 26 0 0 0 7 1 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893724391720 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31540] ppid=31529 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/31531/task/31540/stat : 31540 (java) S 31529 31531 28074 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893723339176 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31541] ppid=31529 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/31531/task/31541/stat : 31541 (java) S 31529 31531 28074 0 -1 4202560 19 0 0 0 5 2 0 0 20 0 18 0 343224422 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893722286632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31542] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31542/stat : 31542 (java) S 31529 31531 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 343224424 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893709875816 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31543] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31543/stat : 31543 (java) S 31529 31531 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 343224424 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893708822136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31544] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31544/stat : 31544 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 343224424 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893707769480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31545] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31545/stat : 31545 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 343224426 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893706718224 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31546] ppid=31529 vsize=2648568 CPUtime=0.26 cores=1,3,5,7
/proc/31531/task/31546/stat : 31546 (java) S 31529 31531 28074 0 -1 4202560 2758 0 0 0 26 0 0 0 20 0 18 0 343224426 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893705664568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31547] ppid=31529 vsize=2648568 CPUtime=0.3 cores=1,3,5,7
/proc/31531/task/31547/stat : 31547 (java) S 31529 31531 28074 0 -1 4202560 3119 0 0 0 30 0 0 0 20 0 18 0 343224426 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893704612024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31548] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31548/stat : 31548 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 343224426 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893703559672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31549] ppid=31529 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31549/stat : 31549 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 343224427 2712133632 112723 33554432000 1073741824 1073778376 140735401822160 139893702507336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 2648568

[startup+6.30084 s]
/proc/loadavg: 2.08 2.06 2.02 5/213 31550
/proc/meminfo: memFree=26115416/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2715132 CPUtime=8.98 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 12191 0 1 0 857 41 0 0 20 0 19 0 343224421 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 678783 142244 2268 9 0 669476 0
[pid=31531/tid=31532] ppid=31529 vsize=2715132 CPUtime=5.65 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 2987 0 1 0 557 8 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893862788520 139893803233984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31534] ppid=31529 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/31531/task/31534/stat : 31534 (java) S 31529 31531 28074 0 -1 4202560 145 0 0 0 28 5 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893796907688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31535] ppid=31529 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/31531/task/31535/stat : 31535 (java) S 31529 31531 28074 0 -1 4202560 57 0 0 0 20 4 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893728602920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31536] ppid=31529 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/31531/task/31536/stat : 31536 (java) S 31529 31531 28074 0 -1 4202560 58 0 0 0 20 3 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893727550376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31537] ppid=31529 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/31531/task/31537/stat : 31537 (java) S 31529 31531 28074 0 -1 4202560 148 0 0 0 29 4 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893726497832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31538] ppid=31529 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/31531/task/31538/stat : 31538 (java) S 31529 31531 28074 0 -1 4202560 58 0 0 0 19 3 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893725444264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31539] ppid=31529 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/31531/task/31539/stat : 31539 (java) S 31529 31531 28074 0 -1 4202560 70 0 0 0 25 4 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893724391720 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31540] ppid=31529 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/31531/task/31540/stat : 31540 (java) S 31529 31531 28074 0 -1 4202560 94 0 0 0 22 4 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893723339176 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31541] ppid=31529 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/31531/task/31541/stat : 31541 (java) S 31529 31531 28074 0 -1 4202560 100 0 0 0 23 3 0 0 20 0 19 0 343224422 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893722286632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31542] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31542/stat : 31542 (java) S 31529 31531 28074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343224424 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893709875816 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31543] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31543/stat : 31543 (java) S 31529 31531 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343224424 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893708822136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31544] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31544/stat : 31544 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343224424 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893707769480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31545] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31545/stat : 31545 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224426 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893706718224 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31546] ppid=31529 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/31531/task/31546/stat : 31546 (java) S 31529 31531 28074 0 -1 4202560 4093 0 0 0 46 0 0 0 20 0 19 0 343224426 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893705664568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31547] ppid=31529 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/31531/task/31547/stat : 31547 (java) S 31529 31531 28074 0 -1 4202560 3189 0 0 0 50 0 0 0 20 0 19 0 343224426 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893704612024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31548] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31548/stat : 31548 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224426 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893703559672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31549] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31549/stat : 31549 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224427 2780295168 142244 33554432000 1073741824 1073778376 140735401822160 139893702507336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=31531/tid=31546] ppid=31529 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/31531/task/31546/stat : 31546 (java) S 31529 31531 28074 0 -1 4202560 4093 0 0 0 49 0 0 0 20 0 19 0 343224426 2780295168 289246 33554432000 1073741824 1073778376 140735401822160 139893705664568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31547] ppid=31529 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/31531/task/31547/stat : 31547 (java) S 31529 31531 28074 0 -1 4202560 3197 0 0 0 60 1 0 0 20 0 19 0 343224426 2780295168 289246 33554432000 1073741824 1073778376 140735401822160 139893704612024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31548] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31548/stat : 31548 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224426 2780295168 289246 33554432000 1073741824 1073778376 140735401822160 139893703559672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31549] ppid=31529 vsize=2715132 CPUtime=0.95 cores=1,3,5,7
/proc/31531/task/31549/stat : 31549 (java) S 31529 31531 28074 0 -1 4202560 96 0 0 0 55 40 0 0 20 0 19 0 343224427 2780295168 289246 33554432000 1073741824 1073778376 140735401822160 139893702507336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31550] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31550/stat : 31550 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343224954 2780295168 289246 33554432000 1073741824 1073778376 140735401822160 139893701420328 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1698.48
Current children cumulated vsize (KiB) 2715132

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/214 31588
/proc/meminfo: memFree=24926580/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2715132 CPUtime=1759.55 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 15451 0 1 0 175795 160 0 0 20 0 19 0 343224421 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 678783 295960 2269 9 0 669476 0
[pid=31531/tid=31532] ppid=31529 vsize=2715132 CPUtime=1703.85 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 3528 0 1 0 170349 36 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893862788400 139893803250584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31534] ppid=31529 vsize=2715132 CPUtime=6.1 cores=1,3,5,7
/proc/31531/task/31534/stat : 31534 (java) S 31529 31531 28074 0 -1 4202560 418 0 0 0 597 13 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893796907688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31535] ppid=31529 vsize=2715132 CPUtime=6.3 cores=1,3,5,7
/proc/31531/task/31535/stat : 31535 (java) S 31529 31531 28074 0 -1 4202560 394 0 0 0 618 12 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893728602920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31536] ppid=31529 vsize=2715132 CPUtime=6.18 cores=1,3,5,7
/proc/31531/task/31536/stat : 31536 (java) S 31529 31531 28074 0 -1 4202560 390 0 0 0 606 12 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893727550376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31537] ppid=31529 vsize=2715132 CPUtime=6.09 cores=1,3,5,7
/proc/31531/task/31537/stat : 31537 (java) S 31529 31531 28074 0 -1 4202560 423 0 0 0 595 14 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893726497832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31538] ppid=31529 vsize=2715132 CPUtime=6.18 cores=1,3,5,7
/proc/31531/task/31538/stat : 31538 (java) S 31529 31531 28074 0 -1 4202560 400 0 0 0 606 12 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893725444264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31539] ppid=31529 vsize=2715132 CPUtime=6.11 cores=1,3,5,7
/proc/31531/task/31539/stat : 31539 (java) S 31529 31531 28074 0 -1 4202560 429 0 0 0 598 13 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893724391720 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31540] ppid=31529 vsize=2715132 CPUtime=6.03 cores=1,3,5,7
/proc/31531/task/31540/stat : 31540 (java) S 31529 31531 28074 0 -1 4202560 396 0 0 0 592 11 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893723339176 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31541] ppid=31529 vsize=2715132 CPUtime=6.06 cores=1,3,5,7
/proc/31531/task/31541/stat : 31541 (java) S 31529 31531 28074 0 -1 4202560 395 0 0 0 593 13 0 0 20 0 19 0 343224422 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893722286632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31542] ppid=31529 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/31531/task/31542/stat : 31542 (java) S 31529 31531 28074 0 -1 4202560 108 0 0 0 10 4 0 0 20 0 19 0 343224424 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893709875816 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31543] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31543/stat : 31543 (java) S 31529 31531 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343224424 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893708822136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31544] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31544/stat : 31544 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343224424 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893707769480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31545] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31545/stat : 31545 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224426 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893706718224 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31546] ppid=31529 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/31531/task/31546/stat : 31546 (java) S 31529 31531 28074 0 -1 4202560 4093 0 0 0 49 0 0 0 20 0 19 0 343224426 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893705664568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31547] ppid=31529 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/31531/task/31547/stat : 31547 (java) S 31529 31531 28074 0 -1 4202560 3197 0 0 0 60 1 0 0 20 0 19 0 343224426 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893704612024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31548] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31548/stat : 31548 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224426 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893703559672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31549] ppid=31529 vsize=2715132 CPUtime=0.98 cores=1,3,5,7
/proc/31531/task/31549/stat : 31549 (java) S 31529 31531 28074 0 -1 4202560 98 0 0 0 56 42 0 0 20 0 19 0 343224427 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893702507336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31550] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31550/stat : 31550 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343224954 2780295168 295960 33554432000 1073741824 1073778376 140735401822160 139893701420328 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1759.55
Current children cumulated vsize (KiB) 2715132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1761.9 s]
/proc/loadavg: 2.00 2.03 2.02 2/194 31591
/proc/meminfo: memFree=25990324/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2715132 CPUtime=1800.01 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 15470 0 1 0 179840 161 0 0 20 0 19 0 343224421 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 678783 298008 2269 9 0 669476 0
[pid=31531/tid=31532] ppid=31529 vsize=2715132 CPUtime=1743.04 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 3536 0 1 0 174267 37 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893862788384 139893803176635 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31534] ppid=31529 vsize=2715132 CPUtime=6.25 cores=1,3,5,7
/proc/31531/task/31534/stat : 31534 (java) S 31529 31531 28074 0 -1 4202560 419 0 0 0 612 13 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893796907688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31535] ppid=31529 vsize=2715132 CPUtime=6.4 cores=1,3,5,7
/proc/31531/task/31535/stat : 31535 (java) S 31529 31531 28074 0 -1 4202560 394 0 0 0 628 12 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893728602920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31536] ppid=31529 vsize=2715132 CPUtime=6.37 cores=1,3,5,7
/proc/31531/task/31536/stat : 31536 (java) S 31529 31531 28074 0 -1 4202560 393 0 0 0 625 12 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893727550376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31537] ppid=31529 vsize=2715132 CPUtime=6.23 cores=1,3,5,7
/proc/31531/task/31537/stat : 31537 (java) S 31529 31531 28074 0 -1 4202560 425 0 0 0 609 14 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893726497832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31538] ppid=31529 vsize=2715132 CPUtime=6.33 cores=1,3,5,7
/proc/31531/task/31538/stat : 31538 (java) S 31529 31531 28074 0 -1 4202560 400 0 0 0 621 12 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893725444264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31539] ppid=31529 vsize=2715132 CPUtime=6.25 cores=1,3,5,7
/proc/31531/task/31539/stat : 31539 (java) S 31529 31531 28074 0 -1 4202560 429 0 0 0 612 13 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893724391720 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31540] ppid=31529 vsize=2715132 CPUtime=6.19 cores=1,3,5,7
/proc/31531/task/31540/stat : 31540 (java) S 31529 31531 28074 0 -1 4202560 396 0 0 0 608 11 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893723339176 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31541] ppid=31529 vsize=2715132 CPUtime=6.21 cores=1,3,5,7
/proc/31531/task/31541/stat : 31541 (java) S 31529 31531 28074 0 -1 4202560 396 0 0 0 608 13 0 0 20 0 19 0 343224422 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893722286632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31542] ppid=31529 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/31531/task/31542/stat : 31542 (java) S 31529 31531 28074 0 -1 4202560 110 0 0 0 10 4 0 0 20 0 19 0 343224424 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893709875816 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31543] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31543/stat : 31543 (java) S 31529 31531 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343224424 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893708822136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31544] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31544/stat : 31544 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343224424 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893707769480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31545] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31545/stat : 31545 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224426 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893706718224 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31546] ppid=31529 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/31531/task/31546/stat : 31546 (java) S 31529 31531 28074 0 -1 4202560 4093 0 0 0 49 0 0 0 20 0 19 0 343224426 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893705664568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31547] ppid=31529 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/31531/task/31547/stat : 31547 (java) S 31529 31531 28074 0 -1 4202560 3197 0 0 0 60 1 0 0 20 0 19 0 343224426 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893704612024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31548] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31548/stat : 31548 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343224426 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893703559672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31549] ppid=31529 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/31531/task/31549/stat : 31549 (java) S 31529 31531 28074 0 -1 4202560 100 0 0 0 57 43 0 0 20 0 19 0 343224427 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893702507336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31550] ppid=31529 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31550/stat : 31550 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343224954 2780295168 298008 33554432000 1073741824 1073778376 140735401822160 139893701420328 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132

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

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

[startup+1762.01 s]
/proc/loadavg: 2.00 2.03 2.02 2/194 31591
/proc/meminfo: memFree=25990324/32873844 swapFree=7116/7116
[pid=31531] ppid=31529 vsize=2848260 CPUtime=1800.24 cores=1,3,5,7
/proc/31531/stat : 31531 (java) S 31529 31531 28074 0 -1 4202496 15512 0 1 0 179862 162 0 0 20 0 21 0 343224421 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 140735401813296 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31531/statm: 712065 298048 2269 9 0 702758 0
[pid=31531/tid=31532] ppid=31529 vsize=2848260 CPUtime=1743.14 cores=1,3,5,7
/proc/31531/task/31532/stat : 31532 (java) R 31529 31531 28074 0 -1 4202560 3536 0 1 0 174277 37 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893862788384 139893803255021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31534] ppid=31529 vsize=2848260 CPUtime=6.25 cores=1,3,5,7
/proc/31531/task/31534/stat : 31534 (java) S 31529 31531 28074 0 -1 4202560 419 0 0 0 612 13 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893796907688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31535] ppid=31529 vsize=2848260 CPUtime=6.4 cores=1,3,5,7
/proc/31531/task/31535/stat : 31535 (java) S 31529 31531 28074 0 -1 4202560 394 0 0 0 628 12 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893728602920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31536] ppid=31529 vsize=2848260 CPUtime=6.37 cores=1,3,5,7
/proc/31531/task/31536/stat : 31536 (java) S 31529 31531 28074 0 -1 4202560 393 0 0 0 625 12 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893727550376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31537] ppid=31529 vsize=2848260 CPUtime=6.23 cores=1,3,5,7
/proc/31531/task/31537/stat : 31537 (java) S 31529 31531 28074 0 -1 4202560 425 0 0 0 609 14 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893726497832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31538] ppid=31529 vsize=2848260 CPUtime=6.33 cores=1,3,5,7
/proc/31531/task/31538/stat : 31538 (java) S 31529 31531 28074 0 -1 4202560 400 0 0 0 621 12 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893725444264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31539] ppid=31529 vsize=2848260 CPUtime=6.25 cores=1,3,5,7
/proc/31531/task/31539/stat : 31539 (java) S 31529 31531 28074 0 -1 4202560 429 0 0 0 612 13 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893724391720 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31540] ppid=31529 vsize=2848260 CPUtime=6.19 cores=1,3,5,7
/proc/31531/task/31540/stat : 31540 (java) S 31529 31531 28074 0 -1 4202560 396 0 0 0 608 11 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893723339176 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31541] ppid=31529 vsize=2848260 CPUtime=6.21 cores=1,3,5,7
/proc/31531/task/31541/stat : 31541 (java) S 31529 31531 28074 0 -1 4202560 396 0 0 0 608 13 0 0 20 0 21 0 343224422 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893722286632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31542] ppid=31529 vsize=2848260 CPUtime=0.14 cores=1,3,5,7
/proc/31531/task/31542/stat : 31542 (java) S 31529 31531 28074 0 -1 4202560 110 0 0 0 10 4 0 0 20 0 21 0 343224424 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893709875816 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31543] ppid=31529 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31543/stat : 31543 (java) S 31529 31531 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 343224424 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893708822136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31544] ppid=31529 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31544/stat : 31544 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 343224424 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893707769480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31545] ppid=31529 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31545/stat : 31545 (java) S 31529 31531 28074 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 343224426 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893706718224 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31546] ppid=31529 vsize=2848260 CPUtime=0.5 cores=1,3,5,7
/proc/31531/task/31546/stat : 31546 (java) S 31529 31531 28074 0 -1 4202560 4094 0 0 0 50 0 0 0 20 0 21 0 343224426 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893705664568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31531/tid=31547] ppid=31529 vsize=2848260 CPUtime=0.61 cores=1,3,5,7
/proc/31531/task/31547/stat : 31547 (java) S 31529 31531 28074 0 -1 4202560 3198 0 0 0 60 1 0 0 20 0 21 0 343224426 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893704612024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31531/tid=31548] ppid=31529 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31548/stat : 31548 (java) S 31529 31531 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 343224426 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893703559672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31531/tid=31549] ppid=31529 vsize=2848260 CPUtime=1 cores=1,3,5,7
/proc/31531/task/31549/stat : 31549 (java) S 31529 31531 28074 0 -1 4202560 100 0 0 0 57 43 0 0 20 0 21 0 343224427 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893702507336 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31531/tid=31550] ppid=31529 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/31531/task/31550/stat : 31550 (java) S 31529 31531 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 343224954 2916618240 298048 33554432000 1073741824 1073778376 140735401822160 139893701420328 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 2848260

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31531 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=998270
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=992697
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1762.03
CPU time (s): 1800.24
CPU user time (s): 1798.62
CPU system time (s): 1.62
CPU usage (%): 102.169
Max. virtual memory (cumulated for all children) (KiB): 2848260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794
system time used= 1.9927
maximum resident set size= 1192196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15513
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54794
involuntary context switches= 96391

runsolver used 6.44002 second user time and 16.5345 second system time

The end

Launcher Data

Begin job on node138 at 2012-06-04 02:49:54
IDJOB=3741054
IDBENCH=89740
IDSOLVER=2322
FILE ID=node138/3741054-1338770993
RUNJOBID= node138-1338746236-28091
PBS_JOBID= 14636774
Free space on /tmp= 70724 MiB

SOLVER NAME= PB09: SAT4J Pseudo Resolution 2.1.1
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-123.opb
COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741054-1338770993/watcher-3741054-1338770993 -o /tmp/evaluation-result-3741054-1338770993/solver-3741054-1338770993 -C 1800 -W 1900 -M 15500  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741054-1338770993.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e6dc64843ebe4c9cb8812bfa08aa0858
RANDOM SEED=1386920776

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26659532 kB
Buffers:          726912 kB
Cached:          4035428 kB
SwapCached:          208 kB
Active:          2927540 kB
Inactive:        2353728 kB
Active(anon):     503440 kB
Inactive(anon):    11376 kB
Active(file):    2424100 kB
Inactive(file):  2342352 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             45280 kB
Writeback:           144 kB
AnonPages:        537580 kB
Mapped:            22488 kB
Shmem:               200 kB
Slab:             773484 kB
SReclaimable:     215216 kB
SUnreclaim:       558268 kB
KernelStack:        1600 kB
PageTables:         4840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1517884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70732 MiB
End job on node138 at 2012-06-04 03:19:17