Trace number 1087051

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-13SAT 260.497 261.195

General information on the benchmark

Namecsp/fapp/fapp02/
normalized-fapp02-0250-9.xml
MD5SUM796561b8470ec3e16b4bf0f5e79f6e0d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.9729
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints3055
Maximum constraint arity2
Maximum domain size210
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3055
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28/0.40	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.28/0.40	c This is free software under the dual EPL/GNU LGPL licenses.
0.28/0.40	c See www.sat4j.org for details.
0.28/0.40	c That software uses the Rhino library from the Mozilla project.
0.28/0.45	c version 9.9.9.token
0.28/0.45	c sun.arch.data.model	32
0.28/0.45	c java.version	1.6.0_06
0.28/0.45	c os.name	Linux
0.28/0.45	c os.version	2.6.9-22.EL.rootsmp
0.28/0.45	c os.arch	i386
0.28/0.45	c Free memory 669864272
0.28/0.45	c Max memory 672137216
0.28/0.45	c Total memory 672137216
0.28/0.45	c Number of processors 2
0.28/0.49	c c --- Begin Solver configuration ---
0.28/0.49	c Stops conflict analysis at the first Unique Implication Point
0.28/0.49	c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.28/0.49	c Learn all clauses as in MiniSAT
0.28/0.49	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.49	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.28/0.49	c Expensive reason simplification
0.28/0.49	c MiniSAT restarts strategy
0.28/0.49	c timeout=2147483s
0.28/0.49	c DB Simplification allowed=false
0.28/0.49	c --- End Solver configuration ---
0.28/0.49	c solving HOME/instance-1087051-1215242457.xml
0.28/0.49	c reading problem ... 
0.58/0.76	c reading problem named null
0.58/0.76	c reading domains done.
0.78/0.94	c reading variables done.
1.18/1.34	c reading predicates  done.
1.37/1.53	c reading constraints
247.19/247.81	c done with constraints.
247.19/247.81	c ... done. Wall clock time 247.313s.
247.19/247.81	c #vars     36618
247.19/247.81	c #constraints  907351
247.19/247.81	c constraints type 
247.19/247.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 907006
247.19/247.81	c org.sat4j.minisat.constraints.card.AtLeast => 250
260.33/261.02	c starts		: 4
260.33/261.02	c conflicts		: 711
260.33/261.02	c decisions		: 8583
260.33/261.02	c propagations		: 171334
260.33/261.02	c inspects		: 14688956
260.33/261.03	c learnt literals	: 0
260.33/261.03	c learnt binary clauses	: 1
260.33/261.03	c learnt ternary clauses	: 1
260.33/261.03	c learnt clauses	: 711
260.33/261.03	c ignored clauses	: 0
260.33/261.03	c root simplifications	: 0
260.33/261.03	c removed literals (reason simplification)	: 4782
260.33/261.03	c reason swapping (by a shorter reason)	: 0
260.33/261.03	c Calls to reduceDB	: 0
260.33/261.03	c speed (assignments/second)	: 13035.149117468047
260.33/261.03	c non guided choices	5053
260.33/261.03	s SATISFIABLE
260.33/261.04	v 2380 2480 -2656 -2332 -2572 2292 2424 2428 2320 -2368 2556 2240 2616 -2568 2400 2512 -2340 -2440 2520 2548 2396 -2516 -2508 2612 2292 -2392 -2332 -2292 -2428 2532 -2572 2260 2416 -2392 -2244 -2600 -2568 2284 2508 -2256 -2552 2240 -2408 -2440 2280 2568 -2416 -2548 2300 -2292 2556 -2572 -2308 -2560 2548 -2556 -2596 -2464 -2576 2312 -2652 2656 -2604 -2572 2468 -2556 -2472 -2348 2280 -2340 -2388 -2580 -2244 -2500 -2488 -2480 2552 -2264 2416 -2528 -2612 2596 -2532 -2616 -2468 -2616 2432 -2352 -2468 -2472 2512 2240 -2448 2240 -2468 2432 -2252 -2500 -2420 -2392 2640 2380 -2320 -2372 -2600 2616 2508 -2532 2480 2468 -2456 2416 -2572 -2532 -2584 -2500 -2292 -2656 -2456 2360 -2280 -2328 -2556 2332 2540 2528 2544 -2472 2452 2368 -2284 -2540 2296 2576 2576 2512 -2564 2400 2456 -2656 2432 2640 -2604 2440 -2280 -2616 -2388 2612 2616 2552 -2488 -2424 -2332 2584 -2608 2268 -2488 2268 -2508 2308 2556 -2652 2508 2584 2408 -2324 -2572 2480 2572 2380 -2308 -2552 2368 2580 2436 2492 2564 -2436 2524 -2408 -2612 2388 2616 -2268 2624 2616 -2528 -2568 2332 2364 -2592 -2656 -2552 2656 -2528 -2292 2528 -2336 -2592 -2508 -2620 -2588 -2596 -2432 -2624 -2628 2588 -2476 -2540 -2352 -2476 2536 -2512 -2476 -2620 -2612 -2428 -2596 2420 -2292 2280 2432 2516 -2588 2252 2296 -2432 2584 -2544 2528 2440 -2332 2516 2460 -2436 -2384 2376 2368 -2468 2392 -2516 -2568 -2556 2336 -2520 -2440 -2312 2304 -2644 -2296 
260.33/261.04	c Total wall clock time (in seconds) : 260.53

Verifier Data (download as text)

OK

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-1087051-1215242457/watcher-1087051-1215242457 -o /tmp/evaluation-result-1087051-1215242457/solver-1087051-1215242457 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1087051-1215242457.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: 2.00 2.00 2.00 4/76 17822
/proc/meminfo: memFree=1836384/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=18572 CPUtime=0
/proc/17822/stat : 17822 (runsolver) R 17820 17822 17008 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 248340690 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 255372881191 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17822/statm: 4643 292 257 25 0 2626 0

[startup+0.071002 s]
/proc/loadavg: 2.00 2.00 2.00 4/76 17822
/proc/meminfo: memFree=1836384/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=13012 CPUtime=0.02
/proc/17822/stat : 17822 (java) D 17820 17822 17008 0 -1 0 403 0 19 0 0 2 0 0 18 0 1 0 248340690 13324288 223 996147200 134512640 134550740 4294956016 18446744073709551615 9687850 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/17822/statm: 3253 223 136 9 0 1151 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13012

[startup+0.102001 s]
/proc/loadavg: 2.00 2.00 2.00 4/76 17822
/proc/meminfo: memFree=1836384/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=13012 CPUtime=0.02
/proc/17822/stat : 17822 (java) D 17820 17822 17008 0 -1 0 409 0 24 0 0 2 0 0 18 0 1 0 248340690 13324288 234 996147200 134512640 134550740 4294956016 18446744073709551615 9687850 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/17822/statm: 3253 234 136 9 0 1151 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13012

[startup+0.302021 s]
/proc/loadavg: 2.00 2.00 2.00 4/76 17822
/proc/meminfo: memFree=1836384/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=807800 CPUtime=0.2
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 4450 0 29 0 15 5 0 0 18 0 12 0 248340690 827187200 3807 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 201950 3807 1295 9 0 199319 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 807800

[startup+0.701062 s]
/proc/loadavg: 2.00 2.00 2.00 4/76 17822
/proc/meminfo: memFree=1836384/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=807828 CPUtime=0.58
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 5840 0 29 0 51 7 0 0 18 0 12 0 248340690 827215872 5195 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 201957 5195 1335 9 0 199319 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 807828

[startup+1.50216 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 17834
/proc/meminfo: memFree=1812224/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=808440 CPUtime=1.37
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 9784 0 29 0 128 9 0 0 18 0 12 0 248340690 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 202110 8252 1351 9 0 199472 0
[pid=17822/tid=17824] ppid=17820 vsize=808440 CPUtime=0.68
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 6434 0 1 0 63 5 0 0 24 0 12 0 248340701 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 106497175 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 248340702 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 248340702 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 248340704 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 248340704 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 248340704 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 248340708 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=808440 CPUtime=0.44
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 1625 0 0 0 44 0 0 0 16 0 12 0 248340708 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=808440 CPUtime=0.2
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 987 0 0 0 20 0 0 0 16 0 12 0 248340708 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 248340708 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=808440 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 248340708 827842560 8252 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 808440

[startup+3.10132 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 17834
/proc/meminfo: memFree=1794048/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=815660 CPUtime=2.97
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 18883 0 29 0 283 14 0 0 18 0 12 0 248340690 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203915 14916 1383 9 0 201277 0
[pid=17822/tid=17824] ppid=17820 vsize=815660 CPUtime=1.24
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 11212 0 1 0 117 7 0 0 25 0 12 0 248340701 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 248340702 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 248340702 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 248340704 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 248340704 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 248340704 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 248340708 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=815660 CPUtime=1.06
/proc/17822/task/17831/stat : 17831 (java) R 17820 17822 17008 0 -1 64 5621 0 0 0 104 2 0 0 16 0 12 0 248340708 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 105838796 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=815660 CPUtime=0.6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1312 0 0 0 60 0 0 0 16 0 12 0 248340708 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 248340708 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=815660 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 248340708 835235840 14916 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 815660

[startup+6.30266 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 17834
/proc/meminfo: memFree=1730368/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=815500 CPUtime=6.15
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 30317 0 29 0 596 19 0 0 18 0 12 0 248340690 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203875 26305 1389 9 0 201237 0
[pid=17822/tid=17824] ppid=17820 vsize=815500 CPUtime=4.17
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 17262 0 1 0 407 10 0 0 25 0 12 0 248340701 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4109688727 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=815500 CPUtime=0.09
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 2268 0 0 0 8 1 0 0 16 0 12 0 248340702 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=815500 CPUtime=0.1
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 3048 0 0 0 10 0 0 0 16 0 12 0 248340702 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17827] ppid=17820 vsize=815500 CPUtime=0
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 68 0 0 0 0 0 0 0 16 0 12 0 248340704 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=815500 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 248340704 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=815500 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 248340704 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=815500 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 248340708 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=815500 CPUtime=1.07
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 5621 0 0 0 105 2 0 0 16 0 12 0 248340708 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=815500 CPUtime=0.63
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1315 0 0 0 63 0 0 0 16 0 12 0 248340708 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=815500 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 248340708 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=815500 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 248340708 835072000 26305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 815500

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 17834
/proc/meminfo: memFree=1708672/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=813800 CPUtime=12.51
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 36201 0 29 0 1230 21 0 0 18 0 12 0 248340690 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203450 31628 1389 9 0 200812 0
[pid=17822/tid=17824] ppid=17820 vsize=813800 CPUtime=10.2
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 17274 0 1 0 1010 10 0 0 25 0 12 0 248340701 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4109801904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=813800 CPUtime=0.2
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 5882 0 0 0 18 2 0 0 16 0 12 0 248340702 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=813800 CPUtime=0.19
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 5293 0 0 0 18 1 0 0 16 0 12 0 248340702 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17827] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 68 0 0 0 0 0 0 0 16 0 12 0 248340704 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 248340704 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 248340704 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 248340708 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=813800 CPUtime=1.12
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 5625 0 0 0 110 2 0 0 16 0 12 0 248340708 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=813800 CPUtime=0.72
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1324 0 0 0 72 0 0 0 17 0 12 0 248340708 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 248340708 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 248340708 833331200 31628 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 813800

[startup+25.5027 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 17834
/proc/meminfo: memFree=1680128/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=813800 CPUtime=25.25
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 43499 0 29 0 2501 24 0 0 18 0 12 0 248340690 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203450 38905 1389 9 0 200812 0
[pid=17822/tid=17824] ppid=17820 vsize=813800 CPUtime=22.63
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 17301 0 1 0 2253 10 0 0 25 0 12 0 248340701 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4109857662 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=813800 CPUtime=0.28
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 9863 0 0 0 24 4 0 0 16 0 12 0 248340702 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=813800 CPUtime=0.26
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 8578 0 0 0 24 2 0 0 16 0 12 0 248340702 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17827] ppid=17820 vsize=813800 CPUtime=0.01
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 68 0 0 0 1 0 0 0 16 0 12 0 248340704 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 248340704 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 248340704 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=813800 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 248340708 833331200 38905 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=17822] ppid=17820 vsize=814292 CPUtime=248.88
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 173763 0 29 0 24811 77 0 0 18 0 13 0 248340690 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203573 168346 1397 9 0 200935 0
[pid=17822/tid=17824] ppid=17820 vsize=814292 CPUtime=239.88
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 17601 0 1 0 23976 12 0 0 25 0 13 0 248340701 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4110158534 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=814292 CPUtime=2.71
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 73444 0 0 0 244 27 0 0 16 0 13 0 248340702 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=814292 CPUtime=2.71
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 74438 0 0 0 243 28 0 0 16 0 13 0 248340702 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17827] ppid=17820 vsize=814292 CPUtime=0.09
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 69 0 0 0 7 2 0 0 16 0 13 0 248340704 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 248340704 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=814292 CPUtime=1.79
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 5660 0 0 0 176 3 0 0 15 0 13 0 248340708 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=814292 CPUtime=1.63
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1811 0 0 0 163 0 0 0 15 0 13 0 248340708 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248340708 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 17008 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 248365481 833835008 168346 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 248.88
Current children cumulated vsize (KiB) 814292

[startup+255.903 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 17835
/proc/meminfo: memFree=1139832/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=814292 CPUtime=255.26
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 178765 0 29 0 25447 79 0 0 18 0 13 0 248340690 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203573 173241 1400 9 0 200935 0
[pid=17822/tid=17824] ppid=17820 vsize=814292 CPUtime=244.73
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 17603 0 1 0 24461 12 0 0 25 0 13 0 248340701 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4110295638 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=814292 CPUtime=2.76
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 76766 0 0 0 248 28 0 0 16 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=814292 CPUtime=2.75
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 76107 0 0 0 246 29 0 0 16 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=814292 CPUtime=1.44
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 72 0 0 0 142 2 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=814292 CPUtime=1.85
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 5665 0 0 0 182 3 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=814292 CPUtime=1.65
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1812 0 0 0 165 0 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 17008 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 248365481 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 255.26
Current children cumulated vsize (KiB) 814292

[startup+259.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 17835
/proc/meminfo: memFree=1139832/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=814292 CPUtime=258.44
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 178766 0 29 0 25765 79 0 0 18 0 13 0 248340690 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203573 173241 1400 9 0 200935 0
[pid=17822/tid=17824] ppid=17820 vsize=814292 CPUtime=247.53
/proc/17822/task/17824/stat : 17824 (java) S 17820 17822 17008 0 -1 64 17604 0 1 0 24741 12 0 0 25 0 13 0 248340701 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=814292 CPUtime=2.82
/proc/17822/task/17825/stat : 17825 (java) R 17820 17822 17008 0 -1 64 76766 0 0 0 254 28 0 0 17 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=814292 CPUtime=2.8
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 76107 0 0 0 251 29 0 0 17 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17827] ppid=17820 vsize=814292 CPUtime=1.71
/proc/17822/task/17827/stat : 17827 (java) R 17820 17822 17008 0 -1 64 72 0 0 0 169 2 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 105847280 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=814292 CPUtime=1.85
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 5665 0 0 0 182 3 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=814292 CPUtime=1.65
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1812 0 0 0 165 0 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 17008 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 248365481 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 258.44
Current children cumulated vsize (KiB) 814292

[startup+259.901 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 17835
/proc/meminfo: memFree=1139832/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=814292 CPUtime=259.24
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 178766 0 29 0 25845 79 0 0 18 0 13 0 248340690 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203573 173241 1400 9 0 200935 0
[pid=17822/tid=17824] ppid=17820 vsize=814292 CPUtime=247.53
/proc/17822/task/17824/stat : 17824 (java) S 17820 17822 17008 0 -1 64 17604 0 1 0 24741 12 0 0 25 0 13 0 248340701 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=814292 CPUtime=2.82
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 76766 0 0 0 254 28 0 0 17 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=814292 CPUtime=2.8
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 76107 0 0 0 251 29 0 0 16 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17827] ppid=17820 vsize=814292 CPUtime=2.5
/proc/17822/task/17827/stat : 17827 (java) R 17820 17822 17008 0 -1 64 72 0 0 0 248 2 0 0 17 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 106123734 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=814292 CPUtime=1.85
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 5665 0 0 0 182 3 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=814292 CPUtime=1.65
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1812 0 0 0 165 0 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 17008 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 248365481 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 259.24
Current children cumulated vsize (KiB) 814292

[startup+260.706 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 17835
/proc/meminfo: memFree=1139832/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=814292 CPUtime=260.04
/proc/17822/stat : 17822 (java) S 17820 17822 17008 0 -1 0 178766 0 29 0 25925 79 0 0 18 0 13 0 248340690 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17822/statm: 203573 173241 1400 9 0 200935 0
[pid=17822/tid=17824] ppid=17820 vsize=814292 CPUtime=248.08
/proc/17822/task/17824/stat : 17824 (java) R 17820 17822 17008 0 -1 64 17604 0 1 0 24796 12 0 0 21 0 13 0 248340701 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4110158688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17825] ppid=17820 vsize=814292 CPUtime=2.82
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 17008 0 -1 64 76766 0 0 0 254 28 0 0 17 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17826] ppid=17820 vsize=814292 CPUtime=2.8
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 17008 0 -1 64 76107 0 0 0 251 29 0 0 16 0 13 0 248340702 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17827] ppid=17820 vsize=814292 CPUtime=2.75
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 17008 0 -1 64 72 0 0 0 273 2 0 0 17 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17828] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17829] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 17008 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 248340704 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17830] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 17008 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=814292 CPUtime=1.85
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 17008 0 -1 64 5665 0 0 0 182 3 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17832] ppid=17820 vsize=814292 CPUtime=1.65
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 17008 0 -1 64 1812 0 0 0 165 0 0 0 16 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17822/tid=17833] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 248340708 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=814292 CPUtime=0
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 17008 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 248365481 833835008 173241 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 260.04
Current children cumulated vsize (KiB) 814292

[startup+261.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 17835
/proc/meminfo: memFree=1139832/2055912 swapFree=4178564/4192956
[pid=17822] ppid=17820 vsize=0 CPUtime=260.4
/proc/17822/stat : 17822 (java) Z 17820 17822 17008 0 -1 12 178774 0 29 0 25959 81 0 0 16 0 2 0 248340690 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17822/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 260.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 261.195
CPU time (s): 260.497
CPU user time (s): 259.591
CPU system time (s): 0.906862
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 816444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.591
system time used= 0.906862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178774
page faults= 29
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10539
involuntary context switches= 7074

runsolver used 0.362944 second user time and 0.85187 second system time

The end

Launcher Data (download as text)

Begin job on node78 at 2008-07-05 09:20:57
IDJOB=1087051
IDBENCH=57928
IDSOLVER=344
FILE ID=node78/1087051-1215242457
PBS_JOBID= 7881955
Free space on /tmp= 126632 MiB

SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/fapp/fapp02/normalized-fapp02-0250-9.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-1087051-1215242457/watcher-1087051-1215242457 -o /tmp/evaluation-result-1087051-1215242457/solver-1087051-1215242457 -C 1800 -W 2200 -M 900 --output-limit 1,15  java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1087051-1215242457.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 796561b8470ec3e16b4bf0f5e79f6e0d
RANDOM SEED=450348094

node78.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.247
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.247
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:      2055912 kB
MemFree:       1836864 kB
Buffers:          5384 kB
Cached:          81724 kB
SwapCached:       7072 kB
Active:         115676 kB
Inactive:        42628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1836864 kB
SwapTotal:     4192956 kB
SwapFree:      4178564 kB
Dirty:            1592 kB
Writeback:           0 kB
Mapped:          79264 kB
Slab:            45980 kB
Committed_AS:   790972 kB
PageTables:       1684 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126632 MiB
End job on node78 at 2008-07-05 09:25:18