Trace number 1884426

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 Pseudo Resolution 2.1.1UNSAT 137.024 135.785

General information on the benchmark

Name/PURE-SAT/SAT_RACE06/
manol-pipe-g7nidw.opb
MD5SUM21342b3f9ff0e3703cb92fe827fedc3e
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark44.6252
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables75496
Total number of constraints222379
Number of constraints which are clauses222379
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.1.1.v20090612
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0_12
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1342000320
0.08/0.15	c Max memory 1344274432
0.08/0.15	c Total memory 1344274432
0.08/0.15	c Number of processors 2
0.22/0.20	c Pseudo Boolean Optimization
0.22/0.20	c --- Begin Solver configuration ---
0.22/0.20	c Stops conflict analysis at the first Unique Implication Point
0.22/0.20	c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90
0.22/0.20	c Learn all clauses as in MiniSAT
0.22/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.20	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.20	c Expensive reason simplification
0.22/0.20	c MiniSAT restarts strategy
0.22/0.20	c Memory based learned constraints deletion strategy
0.22/0.20	c timeout=2147483s
0.22/0.20	c DB Simplification allowed=false
0.22/0.20	c --- End Solver configuration ---
0.22/0.20	c solving HOME/instance-1884426-1245258264.opb
0.22/0.20	c reading problem ... 
4.20/3.63	c ... done. Wall clock time 3.423s.
4.20/3.63	c #vars     75496
4.20/3.63	c #constraints  222379
4.20/3.63	c constraints type 
4.20/3.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 148252
4.20/3.63	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 74126
136.83/135.66	c starts		: 16
136.83/135.66	c conflicts		: 126425
136.83/135.66	c decisions		: 394079
136.83/135.66	c propagations		: 95294052
136.83/135.66	c inspects		: 314639367
136.83/135.66	c learnt literals	: 45
136.83/135.66	c learnt binary clauses	: 309
136.83/135.66	c learnt ternary clauses	: 1511
136.83/135.66	c learnt clauses	: 126379
136.83/135.66	c ignored clauses	: 0
136.83/135.66	c root simplifications	: 0
136.83/135.66	c removed literals (reason simplification)	: 2478955
136.83/135.66	c reason swapping (by a shorter reason)	: 0
136.83/135.66	c Calls to reduceDB	: 0
136.83/135.66	c speed (assignments/second)	: 721755.1332641576
136.83/135.66	c non guided choices	24824
136.96/135.72	c learnt constraints type 
136.96/135.72	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 126070
136.96/135.72	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 309
136.96/135.72	c constraints type 
136.96/135.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 148252
136.96/135.72	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 74126
136.96/135.72	s UNSATISFIABLE
136.96/135.72	c Total wall clock time (in seconds): 135.513

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-1884426-1245258264/watcher-1884426-1245258264 -o /tmp/evaluation-result-1884426-1245258264/solver-1884426-1245258264 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1884426-1245258264.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20552
/proc/meminfo: memFree=1884796/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=152 CPUtime=0
/proc/20552/stat : 20552 (java6) D 20550 20552 20296 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 193424399 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 10261284 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20552/statm: 38 26 19 9 0 4 0

[startup+0.101694 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20552
/proc/meminfo: memFree=1884796/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1472584 CPUtime=0.08
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 3609 0 1 0 6 2 0 0 18 0 12 0 193424399 1507926016 3352 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 368146 3352 1068 9 0 365494 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1472584

[startup+0.201704 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20552
/proc/meminfo: memFree=1884796/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1474728 CPUtime=0.22
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 4673 0 1 0 19 3 0 0 18 0 12 0 193424399 1510121472 4411 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 368682 4411 1339 9 0 366025 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 1474728

[startup+0.301714 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20552
/proc/meminfo: memFree=1884796/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1475092 CPUtime=0.34
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 5419 0 1 0 31 3 0 0 18 0 12 0 193424399 1510494208 5156 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 368773 5156 1355 9 0 366116 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1475092

[startup+0.701754 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20552
/proc/meminfo: memFree=1884796/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476540 CPUtime=0.99
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 7682 0 1 0 94 5 0 0 18 0 12 0 193424399 1511976960 7043 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369135 7044 1397 9 0 366478 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 1476540

[startup+1.50283 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 20564
/proc/meminfo: memFree=1840028/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1477052 CPUtime=1.95
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 23507 0 1 0 183 12 0 0 18 0 12 0 193424399 1512501248 22708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369263 22709 1401 9 0 366606 0
[pid=20552/tid=20554] ppid=20550 vsize=1477052 CPUtime=1.26
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 20836 0 1 0 115 11 0 0 19 0 12 0 193424400 1512501248 22710 1992294400 134512640 134550932 4294956016 18446744073709551615 4109543271 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 193424401 1512501248 22711 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 193424401 1512501248 22712 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 193424403 1512501248 22713 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 193424404 1512501248 22714 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 193424404 1512501248 22715 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 193424408 1512501248 22716 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1477052 CPUtime=0.31
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 531 0 0 0 31 0 0 0 17 0 12 0 193424408 1512501248 22717 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1477052 CPUtime=0.35
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1400 0 0 0 35 0 0 0 15 0 12 0 193424408 1512501248 22718 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 193424408 1512501248 22720 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 193424408 1512501248 22721 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 1477052

[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 20565
/proc/meminfo: memFree=1748892/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1477052 CPUtime=3.7
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 40227 0 1 0 348 22 0 0 18 0 12 0 193424399 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369263 39406 1411 9 0 366606 0
[pid=20552/tid=20554] ppid=20550 vsize=1477052 CPUtime=2.66
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30927 0 1 0 250 16 0 0 25 0 12 0 193424400 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4109451340 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1477052 CPUtime=0.14
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 1420 0 0 0 13 1 0 0 17 0 12 0 193424401 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1477052 CPUtime=0.18
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 5196 0 0 0 16 2 0 0 17 0 12 0 193424401 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 13 0 0 0 0 0 0 0 16 0 12 0 193424403 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 193424404 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 193424404 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 193424408 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1477052 CPUtime=0.31
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 531 0 0 0 31 0 0 0 17 0 12 0 193424408 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1477052 CPUtime=0.35
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1400 0 0 0 35 0 0 0 15 0 12 0 193424408 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 193424408 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1477052 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 193424408 1512501248 39406 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 1477052

[startup+6.30233 s]
/proc/loadavg: 1.24 1.05 1.02 2/77 20566
/proc/meminfo: memFree=1731476/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476896 CPUtime=7.34
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 40512 0 1 0 711 23 0 0 18 0 13 0 193424399 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369224 39393 1430 9 0 366567 0
[pid=20552/tid=20554] ppid=20550 vsize=1476896 CPUtime=5.7
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30963 0 1 0 554 16 0 0 25 0 13 0 193424400 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4109726051 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1476896 CPUtime=0.14
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 1420 0 0 0 13 1 0 0 17 0 13 0 193424401 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1476896 CPUtime=0.18
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 5196 0 0 0 16 2 0 0 17 0 13 0 193424401 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 193424403 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1476896 CPUtime=0.54
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 570 0 0 0 54 0 0 0 16 0 13 0 193424408 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1476896 CPUtime=0.7
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1605 0 0 0 70 0 0 0 16 0 13 0 193424408 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 193424408 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 193424770 1512341504 39393 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 1476896

[startup+12.702 s]
/proc/loadavg: 1.38 1.08 1.03 2/77 20566
/proc/meminfo: memFree=1731492/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476896 CPUtime=13.76
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 40516 0 1 0 1353 23 0 0 18 0 13 0 193424399 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369224 39397 1430 9 0 366567 0
[pid=20552/tid=20554] ppid=20550 vsize=1476896 CPUtime=12.06
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30963 0 1 0 1190 16 0 0 25 0 13 0 193424400 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4109716607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1476896 CPUtime=0.14
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 1420 0 0 0 13 1 0 0 17 0 13 0 193424401 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1476896 CPUtime=0.18
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 5196 0 0 0 16 2 0 0 17 0 13 0 193424401 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 193424403 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1476896 CPUtime=0.56
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 570 0 0 0 56 0 0 0 16 0 13 0 193424408 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1476896 CPUtime=0.75
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1609 0 0 0 75 0 0 0 16 0 13 0 193424408 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 193424408 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 193424770 1512341504 39397 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.76
Current children cumulated vsize (KiB) 1476896

[startup+25.5063 s]
/proc/loadavg: 1.43 1.11 1.04 2/77 20566
/proc/meminfo: memFree=1731492/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476896 CPUtime=26.58
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 40525 0 1 0 2635 23 0 0 18 0 13 0 193424399 1512341504 39405 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369224 39405 1430 9 0 366567 0
[pid=20552/tid=20554] ppid=20550 vsize=1476896 CPUtime=24.82
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30964 0 1 0 2465 17 0 0 25 0 13 0 193424400 1512341504 39405 1992294400 134512640 134550932 4294956016 18446744073709551615 4109726456 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1476896 CPUtime=0.14
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 1420 0 0 0 13 1 0 0 17 0 13 0 193424401 1512341504 39405 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1476896 CPUtime=0.18
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 5196 0 0 0 16 2 0 0 17 0 13 0 193424401 1512341504 39405 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 193424403 1512341504 39405 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 39405 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1476896 CPUtime=0

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

/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 193424770 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 129.33
Current children cumulated vsize (KiB) 1476896

[startup+131.301 s]
/proc/loadavg: 1.23 1.12 1.04 2/77 20566
/proc/meminfo: memFree=1693988/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476896 CPUtime=132.53
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 51042 0 1 0 13226 27 0 0 18 0 13 0 193424399 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369224 48811 1430 9 0 366567 0
[pid=20552/tid=20554] ppid=20550 vsize=1476896 CPUtime=130.39
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30966 0 1 0 13022 17 0 0 25 0 13 0 193424400 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4109677000 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1476896 CPUtime=0.31
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 6912 0 0 0 29 2 0 0 16 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1476896 CPUtime=0.36
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 10216 0 0 0 32 4 0 0 18 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 193424403 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1476896 CPUtime=0.61
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 574 0 0 0 61 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1476896 CPUtime=0.79
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1613 0 0 0 79 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 193424770 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 132.53
Current children cumulated vsize (KiB) 1476896

[startup+132.901 s]
/proc/loadavg: 1.23 1.12 1.04 2/77 20566
/proc/meminfo: memFree=1693988/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476896 CPUtime=134.13
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 51042 0 1 0 13386 27 0 0 18 0 13 0 193424399 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369224 48811 1430 9 0 366567 0
[pid=20552/tid=20554] ppid=20550 vsize=1476896 CPUtime=131.99
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30966 0 1 0 13182 17 0 0 25 0 13 0 193424400 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4109723317 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1476896 CPUtime=0.31
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 6912 0 0 0 29 2 0 0 16 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1476896 CPUtime=0.36
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 10216 0 0 0 32 4 0 0 18 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 193424403 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1476896 CPUtime=0.61
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 574 0 0 0 61 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1476896 CPUtime=0.79
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1613 0 0 0 79 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 193424770 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 134.13
Current children cumulated vsize (KiB) 1476896

[startup+134.502 s]
/proc/loadavg: 1.21 1.12 1.04 2/77 20566
/proc/meminfo: memFree=1693988/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476896 CPUtime=135.73
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 51042 0 1 0 13546 27 0 0 18 0 13 0 193424399 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369224 48811 1430 9 0 366567 0
[pid=20552/tid=20554] ppid=20550 vsize=1476896 CPUtime=133.59
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30966 0 1 0 13342 17 0 0 25 0 13 0 193424400 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4109716607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1476896 CPUtime=0.31
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 6912 0 0 0 29 2 0 0 16 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1476896 CPUtime=0.36
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 10216 0 0 0 32 4 0 0 18 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 193424403 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1476896 CPUtime=0.61
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 574 0 0 0 61 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1476896 CPUtime=0.79
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1613 0 0 0 79 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 193424770 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 135.73
Current children cumulated vsize (KiB) 1476896

[startup+135.303 s]
/proc/loadavg: 1.21 1.12 1.04 2/77 20566
/proc/meminfo: memFree=1693988/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1476896 CPUtime=136.53
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 51042 0 1 0 13626 27 0 0 18 0 13 0 193424399 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369224 48811 1430 9 0 366567 0
[pid=20552/tid=20554] ppid=20550 vsize=1476896 CPUtime=134.39
/proc/20552/task/20554/stat : 20554 (java) R 20550 20552 20296 0 -1 64 30966 0 1 0 13422 17 0 0 25 0 13 0 193424400 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4109726772 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1476896 CPUtime=0.31
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 6912 0 0 0 29 2 0 0 16 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1476896 CPUtime=0.36
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 10216 0 0 0 32 4 0 0 18 0 13 0 193424401 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 193424403 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 193424404 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1476896 CPUtime=0.61
/proc/20552/task/20561/stat : 20561 (java) S 20550 20552 20296 0 -1 64 574 0 0 0 61 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1476896 CPUtime=0.79
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1613 0 0 0 79 0 0 0 16 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 193424408 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1476896 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 193424770 1512341504 48811 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 136.53
Current children cumulated vsize (KiB) 1476896

[startup+135.703 s]
/proc/loadavg: 1.21 1.12 1.04 2/77 20566
/proc/meminfo: memFree=1693988/2055920 swapFree=4178700/4192956
[pid=20552] ppid=20550 vsize=1477220 CPUtime=136.96
/proc/20552/stat : 20552 (java) S 20550 20552 20296 0 -1 0 51053 0 1 0 13669 27 0 0 18 0 14 0 193424399 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20552/statm: 369305 48822 1430 9 0 366648 0
[pid=20552/tid=20554] ppid=20550 vsize=1477220 CPUtime=134.75
/proc/20552/task/20554/stat : 20554 (java) S 20550 20552 20296 0 -1 64 30970 0 1 0 13458 17 0 0 25 0 14 0 193424400 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20555] ppid=20550 vsize=1477220 CPUtime=0.31
/proc/20552/task/20555/stat : 20555 (java) S 20550 20552 20296 0 -1 64 6912 0 0 0 29 2 0 0 16 0 14 0 193424401 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20556] ppid=20550 vsize=1477220 CPUtime=0.36
/proc/20552/task/20556/stat : 20556 (java) S 20550 20552 20296 0 -1 64 10216 0 0 0 32 4 0 0 18 0 14 0 193424401 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20557] ppid=20550 vsize=1477220 CPUtime=0
/proc/20552/task/20557/stat : 20557 (java) S 20550 20552 20296 0 -1 64 16 0 0 0 0 0 0 0 16 0 14 0 193424403 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20558] ppid=20550 vsize=1477220 CPUtime=0
/proc/20552/task/20558/stat : 20558 (java) S 20550 20552 20296 0 -1 64 11 0 0 0 0 0 0 0 17 0 14 0 193424404 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20559] ppid=20550 vsize=1477220 CPUtime=0
/proc/20552/task/20559/stat : 20559 (java) S 20550 20552 20296 0 -1 64 6 0 0 0 0 0 0 0 17 0 14 0 193424404 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20560] ppid=20550 vsize=1477220 CPUtime=0
/proc/20552/task/20560/stat : 20560 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 193424408 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20561] ppid=20550 vsize=1477220 CPUtime=0.64
/proc/20552/task/20561/stat : 20561 (java) R 20550 20552 20296 0 -1 64 575 0 0 0 64 0 0 0 16 0 14 0 193424408 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 105856424 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20562] ppid=20550 vsize=1477220 CPUtime=0.79
/proc/20552/task/20562/stat : 20562 (java) S 20550 20552 20296 0 -1 64 1613 0 0 0 79 0 0 0 17 0 14 0 193424408 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20552/tid=20563] ppid=20550 vsize=1477220 CPUtime=0
/proc/20552/task/20563/stat : 20563 (java) S 20550 20552 20296 0 -1 64 0 0 0 0 0 0 0 0 25 0 14 0 193424408 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20564] ppid=20550 vsize=1477220 CPUtime=0
/proc/20552/task/20564/stat : 20564 (java) S 20550 20552 20296 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 193424408 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20552/tid=20566] ppid=20550 vsize=1477220 CPUtime=0
/proc/20552/task/20566/stat : 20566 (java) S 20550 20552 20296 0 -1 64 5 0 0 0 0 0 0 0 25 0 14 0 193424770 1512673280 48822 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 136.96
Current children cumulated vsize (KiB) 1477220

Child status: 20
Real time (s): 135.785
CPU time (s): 137.024
CPU user time (s): 136.723
CPU system time (s): 0.300954
CPU usage (%): 100.913
Max. virtual memory (cumulated for all children) (KiB): 1477376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.723
system time used= 0.300954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51079
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= 3312
involuntary context switches= 837

runsolver used 0.309952 second user time and 0.548916 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-17 19:04:25
IDJOB=1884426
IDBENCH=71956
IDSOLVER=682
FILE ID=node90/1884426-1245258264
PBS_JOBID= 9372374
Free space on /tmp= 66524 MiB

SOLVER NAME= SAT4J Pseudo Resolution 2.1.1
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT_RACE06/manol-pipe-g7nidw.opb
COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884426-1245258264/watcher-1884426-1245258264 -o /tmp/evaluation-result-1884426-1245258264/solver-1884426-1245258264 -C 1800 -W 2000 -M 1800  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1884426-1245258264.opb

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

MD5SUM BENCH= 21342b3f9ff0e3703cb92fe827fedc3e
RANDOM SEED=401050023

node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1885212 kB
Buffers:         14740 kB
Cached:          92580 kB
SwapCached:       8008 kB
Active:          33700 kB
Inactive:        83632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885212 kB
SwapTotal:     4192956 kB
SwapFree:      4178700 kB
Dirty:            6812 kB
Writeback:           0 kB
Mapped:          15832 kB
Slab:            39352 kB
Committed_AS:   134196 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66524 MiB
End job on node90 at 2009-06-17 19:06:41