Trace number 1057974

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 CSP 2008-06-13? (TO) 1800.21 1807.35

General information on the benchmark

Namecsp/compet08/
normalized-patat-08-comp-2.xml
MD5SUM45198355f671cba1241311e09f8b8248
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints27284
Maximum constraint arity23
Maximum domain size34
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26784
Global constraints used (with number of constraints)alldifferent(500)

Solver Data (download as text)

0.29/0.32	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.29/0.32	c This is free software under the dual EPL/GNU LGPL licenses.
0.29/0.32	c See www.sat4j.org for details.
0.29/0.32	c That software uses the Rhino library from the Mozilla project.
0.29/0.37	c version 9.9.9.token
0.29/0.37	c sun.arch.data.model	32
0.29/0.37	c java.version	1.6.0_06
0.29/0.37	c os.name	Linux
0.29/0.37	c os.version	2.6.9-22.EL.rootsmp
0.29/0.37	c os.arch	i386
0.29/0.37	c Free memory 669864272
0.29/0.37	c Max memory 672137216
0.29/0.37	c Total memory 672137216
0.29/0.37	c Number of processors 2
0.38/0.41	c c --- Begin Solver configuration ---
0.38/0.41	c Stops conflict analysis at the first Unique Implication Point
0.38/0.41	c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.38/0.41	c Learn all clauses as in MiniSAT
0.38/0.41	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.38/0.41	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.38/0.41	c Expensive reason simplification
0.38/0.41	c MiniSAT restarts strategy
0.38/0.41	c timeout=2147483s
0.38/0.41	c DB Simplification allowed=false
0.38/0.41	c --- End Solver configuration ---
0.38/0.41	c solving HOME/instance-1057974-1215111961.xml
0.38/0.41	c reading problem ... 
0.58/0.69	c reading problem named null
0.58/0.69	c reading domains done.
1.17/1.23	c reading variables done.
1.77/1.80	c reading predicates  done.
1.87/1.99	c reading constraints
458.95/460.14	c done with constraints.
458.95/460.14	c ... done. Wall clock time 459.728s.
458.95/460.14	c #vars     11468
458.95/460.14	c #constraints  2456990
458.95/460.14	c constraints type 
458.95/460.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2456190
458.95/460.14	c org.sat4j.minisat.constraints.card.AtLeast => 618
1007.44/1010.94	c cleaning 96436 clauses out of 193001 for limit 0.03763980267256005
1010.02/1013.52	c cleaning 48524 clauses out of 97065 for limit 0.1234241444108068
1011.91/1015.47	c cleaning 24458 clauses out of 49040 for limit 0.4024701707083802
1013.90/1017.41	c cleaning 12480 clauses out of 25084 for limit 1.3002063355088573
1015.69/1019.29	c cleaning 6475 clauses out of 13104 for limit 4.1045076797349935
1017.19/1020.79	c cleaning 3488 clauses out of 7129 for limit 12.442058222862668
1018.48/1022.07	c cleaning 1989 clauses out of 4140 for limit 35.29733186001521
1019.67/1023.30	c cleaning 1247 clauses out of 2651 for limit 90.90512713358355
1020.57/1024.19	c cleaning 944 clauses out of 1905 for limit 208.830306083931
1021.16/1024.78	c cleaning 716 clauses out of 1459 for limit 448.7661350588
1021.86/1025.41	c cleaning 608 clauses out of 1243 for limit 868.6806084495064
1022.66/1026.21	c cleaning 548 clauses out of 1135 for limit 1568.885614933059
1023.45/1027.04	c cleaning 523 clauses out of 1087 for limit 2701.5529585956933
1024.44/1028.00	c cleaning 510 clauses out of 1065 for limit 4551.80680262085
1025.44/1029.08	c cleaning 500 clauses out of 1055 for limit 7577.690369591331
1026.14/1029.73	c cleaning 493 clauses out of 1055 for limit 12496.62514473748
1027.04/1030.64	c cleaning 512 clauses out of 1065 for limit 20476.466579594824
1028.03/1031.61	c cleaning 512 clauses out of 1051 for limit 34149.8477721874
1719.00/1725.83	c cleaning 70957 clauses out of 142037 for limit 7676.035899702584
1721.59/1728.47	c cleaning 35744 clauses out of 71580 for limit 25119.019382208582
1723.68/1730.54	c cleaning 18141 clauses out of 36336 for limit 81604.31906374142
1725.18/1732.09	c cleaning 9314 clauses out of 18695 for limit 261565.6317887419
1726.77/1733.69	c cleaning 4898 clauses out of 9882 for limit 816867.6520385416
1728.16/1735.08	c cleaning 2706 clauses out of 5484 for limit 2427476.2457633154
1729.46/1736.35	c cleaning 1600 clauses out of 3280 for limit 6706616.942696308
1731.06/1737.99	c cleaning 1047 clauses out of 2177 for limit 1.6613887605721116E7
1800.06/1807.22	c starts		: 19
1800.06/1807.22	c conflicts		: 363013
1800.06/1807.22	c decisions		: 475630
1800.06/1807.22	c propagations		: 92262268
1800.06/1807.22	c inspects		: 2109669927
1800.06/1807.22	c learnt literals	: 0
1800.06/1807.22	c learnt binary clauses	: 0
1800.06/1807.22	c learnt ternary clauses	: 98
1800.06/1807.22	c learnt clauses	: 363013
1800.06/1807.22	c ignored clauses	: 0
1800.06/1807.22	c root simplifications	: 0
1800.06/1807.22	c removed literals (reason simplification)	: 7118859
1800.06/1807.22	c reason swapping (by a shorter reason)	: 0
1800.06/1807.22	c Calls to reduceDB	: 26
1800.06/1807.22	c speed (assignments/second)	: 68492.70844623537
1800.06/1807.22	c non guided choices	5329
1800.06/1807.22	s UNKNOWN
1800.06/1807.22	c Total wall clock time (in seconds) : 1806.803

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057974-1215111961/watcher-1057974-1215111961 -o /tmp/evaluation-result-1057974-1215111961/solver-1057974-1215111961 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1057974-1215111961.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.98 4/81 3894
/proc/meminfo: memFree=827040/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=18572 CPUtime=0
/proc/3894/stat : 3894 (runsolver) R 3892 3894 3439 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1990165714 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 271638392103 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3894/statm: 4643 292 257 25 0 2626 0

[startup+0.0187789 s]
/proc/loadavg: 1.92 2.00 1.98 4/81 3894
/proc/meminfo: memFree=827040/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=13376 CPUtime=0
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 814 0 0 0 0 0 0 0 18 0 2 0 1990165714 13697024 589 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 3344 589 257 9 0 1244 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13376

[startup+0.10192 s]
/proc/loadavg: 1.92 2.00 1.98 4/81 3894
/proc/meminfo: memFree=827040/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=804612 CPUtime=0.08
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 2996 0 1 0 6 2 0 0 18 0 12 0 1990165714 823922688 2729 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 201153 2729 1048 9 0 198522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 804612

[startup+0.301955 s]
/proc/loadavg: 1.92 2.00 1.98 4/81 3894
/proc/meminfo: memFree=827040/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=808244 CPUtime=0.29
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 4924 0 1 0 25 4 0 0 18 0 12 0 1990165714 827641856 4251 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 202061 4251 1297 9 0 199430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 808244

[startup+0.702027 s]
/proc/loadavg: 1.92 2.00 1.98 4/81 3894
/proc/meminfo: memFree=827040/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=808272 CPUtime=0.68
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 6349 0 1 0 62 6 0 0 18 0 12 0 1990165714 827670528 5477 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 202068 5477 1335 9 0 199430 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 808272

[startup+1.50217 s]
/proc/loadavg: 1.92 2.00 1.98 3/93 3906
/proc/meminfo: memFree=809600/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=808272 CPUtime=1.47
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 7659 0 1 0 140 7 0 0 18 0 12 0 1990165714 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 202068 6107 1347 9 0 199430 0
[pid=3894/tid=3896] ppid=3892 vsize=808272 CPUtime=0.75
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 4350 0 1 0 71 4 0 0 22 0 12 0 1990165716 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4109185794 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 1990165717 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 1990165717 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 1990165719 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 9 0 0 0 0 0 0 0 20 0 12 0 1990165719 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 1990165719 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1990165724 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=808272 CPUtime=0.4
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 1352 0 0 0 40 0 0 0 16 0 12 0 1990165724 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=808272 CPUtime=0.28
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 1191 0 0 0 28 0 0 0 16 0 12 0 1990165724 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 1990165724 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=808272 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1990165724 827670528 6107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 808272

[startup+3.10247 s]
/proc/loadavg: 1.92 2.00 1.98 4/93 3906
/proc/meminfo: memFree=802688/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=815420 CPUtime=3.05
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 16869 0 1 0 294 11 0 0 18 0 12 0 1990165714 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 203855 12678 1373 9 0 201217 0
[pid=3894/tid=3896] ppid=3892 vsize=815420 CPUtime=1.51
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 9202 0 1 0 144 7 0 0 23 0 12 0 1990165716 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4109758247 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 1990165717 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 1990165717 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 1990165719 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 9 0 0 0 0 0 0 0 20 0 12 0 1990165719 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 1990165719 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1990165724 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=815420 CPUtime=0.78
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 2404 0 0 0 77 1 0 0 16 0 12 0 1990165724 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=815420 CPUtime=0.73
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 4497 0 0 0 71 2 0 0 16 0 12 0 1990165724 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 1990165724 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=815420 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1990165724 834990080 12678 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 815420

[startup+6.30185 s]
/proc/loadavg: 1.93 2.00 1.98 3/93 3906
/proc/meminfo: memFree=742336/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=814844 CPUtime=6.23
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 26658 0 1 0 608 15 0 0 18 0 12 0 1990165714 834400256 22324 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 203711 22327 1378 9 0 201073 0
[pid=3894/tid=3896] ppid=3892 vsize=814844 CPUtime=4.52
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 17284 0 1 0 442 10 0 0 25 0 12 0 1990165716 834400256 22328 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=814844 CPUtime=0.04
/proc/3894/task/3897/stat : 3897 (java) R 3892 3894 3439 0 -1 64 1033 0 0 0 4 0 0 0 16 0 12 0 1990165717 834400256 22329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=814844 CPUtime=0.03
/proc/3894/task/3898/stat : 3898 (java) R 3892 3894 3439 0 -1 64 623 0 0 0 3 0 0 0 17 0 12 0 1990165717 834400256 22331 996147200 134512640 134550740 4294956032 18446744073709551615 106160148 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 59 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 22332 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 22334 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 22335 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1990165724 834400256 22336 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=814844 CPUtime=0.82
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 2404 0 0 0 81 1 0 0 16 0 12 0 1990165724 834400256 22338 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=814844 CPUtime=0.78
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 4498 0 0 0 76 2 0 0 16 0 12 0 1990165724 834400256 22339 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 1990165724 834400256 22341 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1990165724 834400256 22342 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 814844

[startup+12.703 s]
/proc/loadavg: 1.94 2.00 1.98 3/93 3906
/proc/meminfo: memFree=728904/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=814844 CPUtime=12.62
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 30341 0 1 0 1244 18 0 0 18 0 12 0 1990165714 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 203711 26000 1382 9 0 201073 0
[pid=3894/tid=3896] ppid=3892 vsize=814844 CPUtime=10.41
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 18651 0 1 0 1030 11 0 0 25 0 12 0 1990165716 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4109738573 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=814844 CPUtime=0.12
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 2716 0 0 0 11 1 0 0 17 0 12 0 1990165717 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=814844 CPUtime=0.07
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 1060 0 0 0 7 0 0 0 16 0 12 0 1990165717 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 170 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1990165724 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=814844 CPUtime=0.97
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 2420 0 0 0 96 1 0 0 16 0 12 0 1990165724 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=814844 CPUtime=0.98
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 4560 0 0 0 96 2 0 0 16 0 12 0 1990165724 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 1990165724 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1990165724 834400256 26000 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 814844

[startup+25.5023 s]
/proc/loadavg: 1.95 2.00 1.98 3/93 3906
/proc/meminfo: memFree=724872/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=814844 CPUtime=25.35
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 31663 0 1 0 2517 18 0 0 18 0 12 0 1990165714 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 203711 26789 1391 9 0 201073 0
[pid=3894/tid=3896] ppid=3892 vsize=814844 CPUtime=22.55
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 18668 0 1 0 2244 11 0 0 25 0 12 0 1990165716 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4109740864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=814844 CPUtime=0.14
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 3037 0 0 0 13 1 0 0 17 0 12 0 1990165717 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=814844 CPUtime=0.1
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 1443 0 0 0 10 0 0 0 17 0 12 0 1990165717 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 170 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1990165719 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=814844 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1990165724 834400256 26789 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=3894/tid=3899] ppid=3892 vsize=825416 CPUtime=6.88
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 35716 0 0 0 670 18 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3894/tid=3900] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=825416 CPUtime=2.52
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 3215 0 0 0 251 1 0 0 17 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=825416 CPUtime=2.48
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 5209 0 0 0 245 3 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3907] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3907/stat : 3907 (java) S 3892 3894 3439 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 1990211733 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.01
Current children cumulated vsize (KiB) 825416

[startup+1662.3 s]
/proc/loadavg: 2.09 2.20 2.10 3/85 3982
/proc/meminfo: memFree=447440/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=825416 CPUtime=1655.7
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 223769 0 1 0 165458 112 0 0 18 0 13 0 1990165714 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 206354 176102 1406 9 0 203716 0
[pid=3894/tid=3896] ppid=3892 vsize=825416 CPUtime=1632.58
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 19061 0 1 0 163239 19 0 0 25 0 13 0 1990165716 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4109730982 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3894/tid=3897] ppid=3892 vsize=825416 CPUtime=5.69
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 81118 0 0 0 534 35 0 0 17 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3894/tid=3898] ppid=3892 vsize=825416 CPUtime=5.5
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 78679 0 0 0 517 33 0 0 17 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3894/tid=3899] ppid=3892 vsize=825416 CPUtime=6.88
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 35716 0 0 0 670 18 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3894/tid=3900] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=825416 CPUtime=2.52
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 3215 0 0 0 251 1 0 0 17 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=825416 CPUtime=2.48
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 5209 0 0 0 245 3 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3907] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3907/stat : 3907 (java) S 3892 3894 3439 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 1990211733 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.7
Current children cumulated vsize (KiB) 825416

[startup+1722.3 s]
/proc/loadavg: 2.03 2.16 2.09 3/85 3982
/proc/meminfo: memFree=447248/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=825416 CPUtime=1715.5
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 231526 0 1 0 171435 115 0 0 18 0 13 0 1990165714 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 206354 176102 1406 9 0 203716 0
[pid=3894/tid=3896] ppid=3892 vsize=825416 CPUtime=1690.5
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 19063 0 1 0 169031 19 0 0 25 0 13 0 1990165716 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4110456236 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=825416 CPUtime=5.81
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 81118 0 0 0 546 35 0 0 17 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=825416 CPUtime=5.64
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 78679 0 0 0 531 33 0 0 16 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=825416 CPUtime=8.48
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 43471 0 0 0 827 21 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=825416 CPUtime=2.52
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 3215 0 0 0 251 1 0 0 17 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=825416 CPUtime=2.48
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 5209 0 0 0 245 3 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3907] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3907/stat : 3907 (java) S 3892 3894 3439 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 1990211733 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.5
Current children cumulated vsize (KiB) 825416

[startup+1782.3 s]
/proc/loadavg: 2.01 2.13 2.08 3/85 3982
/proc/meminfo: memFree=447184/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=825416 CPUtime=1775.25
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 239283 0 1 0 177406 119 0 0 18 0 13 0 1990165714 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 206354 176102 1406 9 0 203716 0
[pid=3894/tid=3896] ppid=3892 vsize=825416 CPUtime=1748.76
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 19065 0 1 0 174857 19 0 0 25 0 13 0 1990165716 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4109964812 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=825416 CPUtime=5.85
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 81118 0 0 0 550 35 0 0 16 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=825416 CPUtime=5.66
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 78679 0 0 0 533 33 0 0 17 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=825416 CPUtime=9.92
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 51226 0 0 0 967 25 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=825416 CPUtime=2.52
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 3215 0 0 0 251 1 0 0 17 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=825416 CPUtime=2.48
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 5209 0 0 0 245 3 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3907] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3907/stat : 3907 (java) S 3892 3894 3439 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 1990211733 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.25
Current children cumulated vsize (KiB) 825416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.2 s]
/proc/loadavg: 2.00 2.11 2.08 3/85 3982
/proc/meminfo: memFree=447184/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=825416 CPUtime=1800.06
/proc/3894/stat : 3894 (java) S 3892 3894 3439 0 -1 0 239284 0 1 0 179886 120 0 0 18 0 13 0 1990165714 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 206354 176102 1406 9 0 203716 0
[pid=3894/tid=3896] ppid=3892 vsize=825416 CPUtime=1773.46
/proc/3894/task/3896/stat : 3896 (java) R 3892 3894 3439 0 -1 64 19066 0 1 0 177327 19 0 0 25 0 13 0 1990165716 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4110456233 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3897] ppid=3892 vsize=825416 CPUtime=5.89
/proc/3894/task/3897/stat : 3897 (java) S 3892 3894 3439 0 -1 64 81118 0 0 0 554 35 0 0 17 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3898] ppid=3892 vsize=825416 CPUtime=5.72
/proc/3894/task/3898/stat : 3898 (java) S 3892 3894 3439 0 -1 64 78679 0 0 0 539 33 0 0 17 0 13 0 1990165717 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3899] ppid=3892 vsize=825416 CPUtime=9.92
/proc/3894/task/3899/stat : 3899 (java) S 3892 3894 3439 0 -1 64 51226 0 0 0 967 25 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3900] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3900/stat : 3900 (java) S 3892 3894 3439 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3901] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3901/stat : 3901 (java) S 3892 3894 3439 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 1990165719 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3902] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3902/stat : 3902 (java) S 3892 3894 3439 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3903] ppid=3892 vsize=825416 CPUtime=2.52
/proc/3894/task/3903/stat : 3903 (java) S 3892 3894 3439 0 -1 64 3215 0 0 0 251 1 0 0 17 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3904] ppid=3892 vsize=825416 CPUtime=2.48
/proc/3894/task/3904/stat : 3904 (java) S 3892 3894 3439 0 -1 64 5209 0 0 0 245 3 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3905] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3905/stat : 3905 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3906] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3906/stat : 3906 (java) S 3892 3894 3439 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1990165724 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3894/tid=3907] ppid=3892 vsize=825416 CPUtime=0
/proc/3894/task/3907/stat : 3907 (java) S 3892 3894 3439 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 1990211733 845225984 176102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 825416

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

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

[startup+1807.32 s]
/proc/loadavg: 2.00 2.11 2.08 3/85 3982
/proc/meminfo: memFree=447184/2055920 swapFree=4181480/4192956
[pid=3894] ppid=3892 vsize=0 CPUtime=1800.17
/proc/3894/stat : 3894 (java) Z 3892 3894 3439 0 -1 1036 239301 0 1 0 179889 128 0 0 16 0 2 0 1990165714 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3894/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1807.35
CPU time (s): 1800.21
CPU user time (s): 1798.9
CPU system time (s): 1.3098
CPU usage (%): 99.605
Max. virtual memory (cumulated for all children) (KiB): 849424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.3098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239301
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= 42821
involuntary context switches= 52791

runsolver used 2.04569 second user time and 6.22205 second system time

The end

Launcher Data (download as text)

Begin job on node67 at 2008-07-03 21:06:02
IDJOB=1057974
IDBENCH=54099
IDSOLVER=344
FILE ID=node67/1057974-1215111961
PBS_JOBID= 7877072
Free space on /tmp= 66536 MiB

SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-2.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057974-1215111961/watcher-1057974-1215111961 -o /tmp/evaluation-result-1057974-1215111961/solver-1057974-1215111961 -C 1800 -W 2200 -M 900 --output-limit 1,15  java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1057974-1215111961.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 45198355f671cba1241311e09f8b8248
RANDOM SEED=1238903233

node67.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.281
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.281
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        827520 kB
Buffers:         61140 kB
Cached:         383552 kB
SwapCached:       5332 kB
Active:         928536 kB
Inactive:       232112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        827520 kB
SwapTotal:     4192956 kB
SwapFree:      4181480 kB
Dirty:            5096 kB
Writeback:           0 kB
Mapped:         732052 kB
Slab:            51304 kB
Committed_AS:  4732324 kB
PageTables:       3400 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= 66528 MiB
End job on node67 at 2008-07-03 21:36:11