Trace number 1087898

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
galac ESAT 89.1764 89.1524

General information on the benchmark

Namecsp/rlfapGraphs/
normalized-graph8.xml
MD5SUMe75f324a43077fbbdb52f04b5d5aa247
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 benchmark0.491924
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints3757
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3757
Global constraints used (with number of constraints)

Solver Data (download as text)

0.01/0.23	c --- Preproc Stats ---
67.49/67.88	c start processing
67.49/67.88	c start relation processing
67.59/67.92	c start cnf exporting
84.16/84.42	c parsing time : 67.559
84.16/84.42	c preprocessing time : 84.1
84.16/84.42	
84.16/84.42	c Nary constraints - conflicts : 0 supports : 0
84.16/84.42	c Binary constraints - conflicts : 3416 supports :341
84.16/84.42	c max arity constraint : 2
84.16/84.42	c Max Tuples generated 1936
84.16/84.42	c relations : 1212
84.16/84.42	c relations BDD: 0
84.16/84.42	c sampling 0/0
84.16/84.42	c vars : 25629 - clauses :  918641
84.16/84.42	
84.16/84.48	 
84.16/84.48	c --- SAT Solver Stats ---
84.16/84.48	 
84.16/84.48	c eSAT 0.1 : minisat core with additionnal features
84.16/84.48	c ============================[ Problem Statistics ]=============================
84.16/84.48	c |                                                                             |
84.16/84.48	c |  Number of variables:  25628                                                |
84.16/84.48	c |  Number of clauses:    918641                                               |
84.71/85.06	c |  Parsing time:         0.49         s                                       |
87.31/87.63	c restarts              : 15
87.31/87.63	c conflicts             : 33             (11 /sec)
87.31/87.63	c decisions             : 69255          (59.58 % random) (22592 /sec)
87.31/87.63	c euip                  : 5           
87.31/87.63	c propagations          : 309926         (101100 /sec)
87.31/87.63	c conflict literals     : 1683           (20.84 % deleted)
87.31/87.63	c Memory used           : 48.22 MB
87.31/87.63	c CPU time              : 3.06553 s
87.31/87.63	c 
87.31/87.64	s SATISFIABLE
89.11/89.14	v 296 58 324 86 72 310 114 352 100 338 142 380 478 240 282 44 296 58 114 352 414 652 366 128 282 44 100 338 268 30 324 86 30 268 680 442 408 170 296 58 352 114 380 142 394 156 498 736 282 44 170 408 16 254 666 428 694 456 296 58 324 86 694 456 366 128 366 128 268 30 310 72 100 338 554 792 254 16 666 428 72 310 58 296 414 652 114 352 142 380 254 16 380 142 30 268 254 16 324 86 16 254 394 156 338 100 352 114 296 58 470 708 72 310 352 114 142 380 282 44 44 282 366 128 282 44 268 30 240 478 44 282 414 652 414 652 170 408 296 58 86 324 310 72 722 484 338 100 652 414 44 282 526 764 666 428 512 750 764 526 694 456 296 58 366 128 268 30 86 324 30 268 16 254 442 680 296 58 268 30 16 254 554 792 722 484 324 86 282 44 30 268 254 16 324 86 16 254 44 282 30 268 296 58 792 554 296 58 254 16 142 380 680 442 694 456 380 142 394 156 268 30 338 100 498 736 380 142 114 352 310 72 554 792 338 100 100 338 282 44 44 282 414 652 310 72 156 394 72 310 254 16 142 380 324 86 694 456 540 778 470 708 142 380 366 128 30 268 128 366 254 16 254 16 16 254 352 114 156 394 254 16 296 58 282 44 792 554 268 30 666 428 352 114 394 156 16 254 652 414 324 86 778 540 680 442 254 16 792 554 268 30 478 240 254 16 16 254 380 142 58 296 58 296 324 86 86 324 254 16 408 170 414 652 268 30 380 142 282 44 128 366 240 478 512 750 72 310 764 526 86 324 142 380 268 30 114 352 170 408 86 324 324 86 30 268 72 310 366 128 408 170 240 478 16 254 526 764 268 30 114 352 16 254 666 428 512 750 16 254 58 296 72 310 380 142 268 30 128 366 254 16 72 310 254 16 380 142 394 156 254 16 324 86 366 128 30 268 366 128 142 380 540 778 366 128 16 254 310 72 338 100 540 778 338 100 282 44 442 680 128 366 554 792 484 722 498 736 254 16 764 526 680 442 58 296 86 324 282 44 324 86 414 652 680 442 58 296 128 366 268 30 240 478 30 268 380 142 86 324 16 254 750 512 282 44 338 100 324 86 100 338 30 268 268 30 512 750 254 16 414 652 282 44 72 310 414 652 324 86 554 792 470 708 254 16 128 366 296 58 722 484 792 554 414 652 764 526 72 310 268 30 240 478 30 268 16 254 254 16 652 414 666 428 680 442 72 310 296 58 268 30 680 442 16 254 254 16 352 114 72 310 380 142 380 142 268 30 498 736 554 792 254 16 254 16 666 428 254 16 30 268 666 428 324 86 142 380 722 484 394 156 310 72 114 352 442 680 428 666 352 114 72 310 268 30 44 282 156 394 16 254 338 100 408 170 170 408 792 554 352 114 156 394 240 478 16 254 282 44 16 254 282 44 114 352 268 30 310 72 666 428 652 414 30 268 16 254 324 86 540 778 792 554 778 540 72 310 310 72 708 470 44 282 338 100 394 156 380 142 792 554 142 380 442 680 296 58 708 470

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-1087898-1215245641/watcher-1087898-1215245641 -o /tmp/evaluation-result-1087898-1215245641/solver-1087898-1215245641 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1087898-1215245641.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: 0.92 1.36 1.74 3/82 7860
/proc/meminfo: memFree=1089176/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=18572 CPUtime=0
/proc/7860/stat : 7860 (runsolver) D 7858 7860 7823 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 2003538495 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 255236566311 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/7860/statm: 4643 292 257 25 0 2626 0

[startup+0.084729 s]
/proc/loadavg: 0.92 1.36 1.74 3/82 7860
/proc/meminfo: memFree=1089176/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=8608 CPUtime=0
/proc/7860/stat : 7860 (galacE.sh) D 7858 7860 7823 0 -1 4194304 322 0 4 0 0 0 0 0 17 0 1 0 2003538495 8814592 271 996147200 4194304 4520092 548682068832 18446744073709551615 255236735058 0 2 4096 73728 18446744071563479169 0 0 17 1 0 0
/proc/7860/statm: 2152 271 203 79 0 145 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8608

[startup+0.101737 s]
/proc/loadavg: 0.92 1.36 1.74 3/82 7860
/proc/meminfo: memFree=1089176/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=8652 CPUtime=0
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 342 0 4 0 0 0 0 0 17 0 1 0 2003538495 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 2163 280 208 79 0 156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8652

[startup+0.301776 s]
/proc/loadavg: 0.92 1.36 1.74 3/82 7860
/proc/meminfo: memFree=1089176/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.701854 s]
/proc/loadavg: 0.92 1.36 1.74 3/82 7860
/proc/meminfo: memFree=1089176/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+1.503 s]
/proc/loadavg: 0.92 1.36 1.74 2/92 7882
/proc/meminfo: memFree=1047496/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7874] ppid=7860 vsize=812908 CPUtime=1.4
/proc/7874/stat : 7874 (java) S 7860 7860 7823 0 -1 0 13467 0 3 0 134 6 0 0 18 0 9 0 2003538518 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7874/statm: 203227 12654 2586 9 0 197208 0
[pid=7874/tid=7875] ppid=7860 vsize=812908 CPUtime=0.42
/proc/7874/task/7875/stat : 7875 (java) S 7860 7860 7823 0 -1 64 7557 0 3 0 39 3 0 0 16 0 9 0 2003538519 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7876] ppid=7860 vsize=812908 CPUtime=0.79
/proc/7874/task/7876/stat : 7876 (java) R 7860 7860 7823 0 -1 64 4470 0 0 0 78 1 0 0 19 0 9 0 2003538521 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 102478692 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7877] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 2003538521 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=812908 CPUtime=0.16
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 739 0 0 0 16 0 0 0 15 0 9 0 2003538524 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7881] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832417792 12654 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 860472

[startup+3.10131 s]
/proc/loadavg: 0.93 1.35 1.74 2/92 7882
/proc/meminfo: memFree=1046984/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7874] ppid=7860 vsize=812908 CPUtime=3.02
/proc/7874/stat : 7874 (java) S 7860 7860 7823 0 -1 0 13607 0 3 0 295 7 0 0 18 0 9 0 2003538518 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7874/statm: 203227 12741 2586 9 0 197208 0
[pid=7874/tid=7875] ppid=7860 vsize=812908 CPUtime=0.49
/proc/7874/task/7875/stat : 7875 (java) S 7860 7860 7823 0 -1 64 7597 0 3 0 45 4 0 0 16 0 9 0 2003538519 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7876] ppid=7860 vsize=812908 CPUtime=2.32
/proc/7874/task/7876/stat : 7876 (java) R 7860 7860 7823 0 -1 64 4539 0 0 0 231 1 0 0 17 0 9 0 2003538521 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 102477906 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7877] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 2003538521 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=812908 CPUtime=0.18
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 770 0 0 0 18 0 0 0 15 0 9 0 2003538524 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7881] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=812908 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832417792 12741 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 860472

[startup+6.3029 s]
/proc/loadavg: 0.93 1.35 1.74 2/92 7882
/proc/meminfo: memFree=1045704/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7874] ppid=7860 vsize=813000 CPUtime=6.21
/proc/7874/stat : 7874 (java) S 7860 7860 7823 0 -1 0 14923 0 3 0 612 9 0 0 18 0 9 0 2003538518 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7874/statm: 203250 12923 2586 9 0 197231 0
[pid=7874/tid=7875] ppid=7860 vsize=813000 CPUtime=0.64
/proc/7874/task/7875/stat : 7875 (java) S 7860 7860 7823 0 -1 64 7691 0 3 0 60 4 0 0 16 0 9 0 2003538519 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7876] ppid=7860 vsize=813000 CPUtime=5.35
/proc/7874/task/7876/stat : 7876 (java) R 7860 7860 7823 0 -1 64 5750 0 0 0 532 3 0 0 17 0 9 0 2003538521 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 102478692 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7877] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=813000 CPUtime=0.19
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 781 0 0 0 19 0 0 0 16 0 9 0 2003538524 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7881] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832512000 12923 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 860564

[startup+12.7021 s]
/proc/loadavg: 0.94 1.35 1.74 2/92 7882
/proc/meminfo: memFree=1044560/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7874] ppid=7860 vsize=813000 CPUtime=12.64
/proc/7874/stat : 7874 (java) S 7860 7860 7823 0 -1 0 15432 0 3 0 1253 11 0 0 18 0 9 0 2003538518 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7874/statm: 203250 13260 2586 9 0 197231 0
[pid=7874/tid=7875] ppid=7860 vsize=813000 CPUtime=0.94
/proc/7874/task/7875/stat : 7875 (java) S 7860 7860 7823 0 -1 64 7851 0 3 0 90 4 0 0 15 0 9 0 2003538519 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7876] ppid=7860 vsize=813000 CPUtime=11.4
/proc/7874/task/7876/stat : 7876 (java) R 7860 7860 7823 0 -1 64 6043 0 0 0 1135 5 0 0 16 0 9 0 2003538521 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 104180258 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7877] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=813000 CPUtime=0.26
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 837 0 0 0 26 0 0 0 16 0 9 0 2003538524 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7881] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832512000 13260 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 860564

[startup+25.5027 s]
/proc/loadavg: 1.02 1.35 1.73 2/92 7882
/proc/meminfo: memFree=1042640/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7874] ppid=7860 vsize=813000 CPUtime=25.39
/proc/7874/stat : 7874 (java) S 7860 7860 7823 0 -1 0 16202 0 3 0 2526 13 0 0 18 0 9 0 2003538518 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7874/statm: 203250 13759 2586 9 0 197231 0
[pid=7874/tid=7875] ppid=7860 vsize=813000 CPUtime=1.86
/proc/7874/task/7875/stat : 7875 (java) S 7860 7860 7823 0 -1 64 8118 0 3 0 182 4 0 0 15 0 9 0 2003538519 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7876] ppid=7860 vsize=813000 CPUtime=23.2
/proc/7874/task/7876/stat : 7876 (java) R 7860 7860 7823 0 -1 64 6519 0 0 0 2313 7 0 0 17 0 9 0 2003538521 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 102473265 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7877] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=813000 CPUtime=0.3
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 864 0 0 0 30 0 0 0 15 0 9 0 2003538524 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7881] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832512000 13759 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 860564

[startup+51.1025 s]
/proc/loadavg: 1.07 1.33 1.71 2/92 7882
/proc/meminfo: memFree=1039184/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01

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

[pid=7874/tid=7875] ppid=7860 vsize=813000 CPUtime=7.65
/proc/7874/task/7875/stat : 7875 (java) S 7860 7860 7823 0 -1 64 8674 0 3 0 759 6 0 0 15 0 9 0 2003538519 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7876] ppid=7860 vsize=813000 CPUtime=55.58
/proc/7874/task/7876/stat : 7876 (java) R 7860 7860 7823 0 -1 64 7728 0 0 0 5547 11 0 0 17 0 9 0 2003538521 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 103778246 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7877] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=813000 CPUtime=0.32
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 877 0 0 0 32 0 0 0 16 0 9 0 2003538524 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7881] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832512000 14981 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.59
Current children cumulated vsize (KiB) 860564

[startup+76.7023 s]
/proc/loadavg: 1.13 1.32 1.70 2/92 7882
/proc/meminfo: memFree=999440/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7874] ppid=7860 vsize=813000 CPUtime=76.44
/proc/7874/stat : 7874 (java) S 7860 7860 7823 0 -1 0 25605 0 3 0 7617 27 0 0 18 0 9 0 2003538518 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7874/statm: 203250 22548 2592 9 0 197231 0
[pid=7874/tid=7875] ppid=7860 vsize=813000 CPUtime=17.73
/proc/7874/task/7875/stat : 7875 (java) R 7860 7860 7823 0 -1 64 15873 0 3 0 1760 13 0 0 18 0 9 0 2003538519 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4127332718 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7876] ppid=7860 vsize=813000 CPUtime=58.28
/proc/7874/task/7876/stat : 7876 (java) S 7860 7860 7823 0 -1 64 8108 0 0 0 5816 12 0 0 16 0 9 0 2003538521 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7877] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003538521 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=813000 CPUtime=0.4
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 923 0 0 0 40 0 0 0 15 0 9 0 2003538524 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7881] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832512000 22548 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.45
Current children cumulated vsize (KiB) 860564

[startup+83.1015 s]
/proc/loadavg: 1.11 1.31 1.69 2/92 7882
/proc/meminfo: memFree=994896/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=0.01
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 760 1858 6 0 0 0 0 1 17 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7874] ppid=7860 vsize=813000 CPUtime=82.85
/proc/7874/stat : 7874 (java) S 7860 7860 7823 0 -1 0 25619 0 3 0 8255 30 0 0 18 0 9 0 2003538518 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7874/statm: 203250 22549 2592 9 0 197231 0
[pid=7874/tid=7875] ppid=7860 vsize=813000 CPUtime=24.13
/proc/7874/task/7875/stat : 7875 (java) R 7860 7860 7823 0 -1 64 15886 0 3 0 2397 16 0 0 20 0 9 0 2003538519 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4127342147 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7876] ppid=7860 vsize=813000 CPUtime=58.3
/proc/7874/task/7876/stat : 7876 (java) S 7860 7860 7823 0 -1 64 8108 0 0 0 5817 13 0 0 16 0 9 0 2003538521 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7877] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7877/stat : 7877 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003538521 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7878] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7878/stat : 7878 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003538521 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7879] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7879/stat : 7879 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003538524 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7880] ppid=7860 vsize=813000 CPUtime=0.4
/proc/7874/task/7880/stat : 7880 (java) S 7860 7860 7823 0 -1 64 924 0 0 0 40 0 0 0 16 0 9 0 2003538524 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7874/tid=7881] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7881/stat : 7881 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003538524 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7874/tid=7882] ppid=7860 vsize=813000 CPUtime=0
/proc/7874/task/7882/stat : 7882 (java) S 7860 7860 7823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003538524 832512000 22549 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.86
Current children cumulated vsize (KiB) 860564

[startup+86.3011 s]
/proc/loadavg: 1.11 1.31 1.69 2/84 7883
/proc/meminfo: memFree=1022224/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=84.21
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 794 27496 6 3 0 0 8387 34 16 0 1 0 2003538495 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7860/statm: 11891 365 246 79 0 219 0
[pid=7883] ppid=7860 vsize=54044 CPUtime=1.8
/proc/7883/stat : 7883 (eSAT_static) R 7860 7860 7823 0 -1 4194304 13120 0 0 0 173 7 0 0 25 0 1 0 2003546943 55341056 13102 996147200 134512640 135177480 4294955968 18446744073709551615 134538876 0 0 4096 3 0 0 0 17 0 0 0
/proc/7883/statm: 13511 13102 75 162 0 13346 0
Current children cumulated CPU time (s) 86.01
Current children cumulated vsize (KiB) 101608

[startup+87.9024 s]
/proc/loadavg: 1.10 1.31 1.69 2/92 7892
/proc/meminfo: memFree=1062344/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=87.38
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 830 41553 6 3 0 0 8695 43 16 0 1 0 2003538495 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 255236735058 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/7860/statm: 11891 366 246 79 0 219 0
[pid=7884] ppid=7860 vsize=813736 CPUtime=0.32
/proc/7884/stat : 7884 (java) S 7860 7860 7823 0 -1 0 5154 0 1 0 29 3 0 0 18 0 9 0 2003547260 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7884/statm: 203434 4577 1851 9 0 197415 0
[pid=7884/tid=7885] ppid=7860 vsize=813736 CPUtime=0.22
/proc/7884/task/7885/stat : 7885 (java) R 7860 7860 7823 0 -1 64 3780 0 1 0 20 2 0 0 17 0 9 0 2003547262 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4125960689 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7886] ppid=7860 vsize=813736 CPUtime=0
/proc/7884/task/7886/stat : 7886 (java) S 7860 7860 7823 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003547263 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7887] ppid=7860 vsize=813736 CPUtime=0
/proc/7884/task/7887/stat : 7887 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 21 0 9 0 2003547263 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7888] ppid=7860 vsize=813736 CPUtime=0
/proc/7884/task/7888/stat : 7888 (java) S 7860 7860 7823 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 2003547263 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7889] ppid=7860 vsize=813736 CPUtime=0
/proc/7884/task/7889/stat : 7889 (java) S 7860 7860 7823 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 2003547265 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7890] ppid=7860 vsize=813736 CPUtime=0.08
/proc/7884/task/7890/stat : 7890 (java) R 7860 7860 7823 0 -1 64 661 0 0 0 8 0 0 0 16 0 9 0 2003547265 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7884/tid=7891] ppid=7860 vsize=813736 CPUtime=0
/proc/7884/task/7891/stat : 7891 (java) S 7860 7860 7823 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003547265 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7892] ppid=7860 vsize=813736 CPUtime=0
/proc/7884/task/7892/stat : 7892 (java) S 7860 7860 7823 0 -1 64 0 0 0 0 0 0 0 0 16 0 9 0 2003547265 833265664 4577 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 87.7
Current children cumulated vsize (KiB) 861300

[startup+88.7016 s]
/proc/loadavg: 1.10 1.31 1.69 2/92 7892
/proc/meminfo: memFree=1062344/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47564 CPUtime=87.38
/proc/7860/stat : 7860 (galacE.sh) S 7858 7860 7823 0 -1 4194304 830 41553 6 3 0 0 8695 43 16 0 1 0 2003538495 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 255236735058 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/7860/statm: 11891 366 246 79 0 219 0
[pid=7884] ppid=7860 vsize=813980 CPUtime=1.32
/proc/7884/stat : 7884 (java) S 7860 7860 7823 0 -1 0 9337 0 1 0 126 6 0 0 18 0 9 0 2003547260 833515520 8719 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7884/statm: 203495 8720 1913 9 0 197448 0
[pid=7884/tid=7885] ppid=7860 vsize=813980 CPUtime=1.01
/proc/7884/task/7885/stat : 7885 (java) R 7860 7860 7823 0 -1 64 7794 0 1 0 97 4 0 0 16 0 9 0 2003547262 833515520 8720 996147200 134512640 134550740 4294955616 18446744073709551615 4127209325 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7886] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7886/stat : 7886 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003547263 833515520 8720 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 1 0 0
[pid=7884/tid=7887] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7887/stat : 7887 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 21 0 9 0 2003547263 833515520 8721 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7888] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7888/stat : 7888 (java) S 7860 7860 7823 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 2003547263 833515520 8721 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7889] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7889/stat : 7889 (java) S 7860 7860 7823 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 2003547265 833515520 8721 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7890] ppid=7860 vsize=813980 CPUtime=0.28
/proc/7884/task/7890/stat : 7890 (java) S 7860 7860 7823 0 -1 64 830 0 0 0 28 0 0 0 16 0 9 0 2003547265 833515520 8721 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7884/tid=7891] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7891/stat : 7891 (java) S 7860 7860 7823 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003547265 833515520 8722 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7892] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7892/stat : 7892 (java) S 7860 7860 7823 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003547265 833515520 8722 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.7
Current children cumulated vsize (KiB) 861544

[startup+89.1066 s]
/proc/loadavg: 1.10 1.31 1.69 2/92 7892
/proc/meminfo: memFree=1029256/2055920 swapFree=4180456/4192956
[pid=7860] ppid=7858 vsize=47568 CPUtime=87.38
/proc/7860/stat : 7860 (galacE.sh) R 7858 7860 7823 0 -1 4194304 839 41553 6 3 0 0 8695 43 16 0 1 0 2003538495 48709632 368 996147200 4194304 4520092 548682068832 18446744073709551615 255236735058 0 0 4096 73728 0 0 0 17 1 0 0
/proc/7860/statm: 11892 368 246 79 0 220 0
[pid=7884] ppid=7860 vsize=813980 CPUtime=1.73
/proc/7884/stat : 7884 (java) S 7860 7860 7823 0 -1 0 14916 0 1 0 164 9 0 0 18 0 9 0 2003547260 833515520 14298 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7884/statm: 203495 14298 1913 9 0 197448 0
[pid=7884/tid=7885] ppid=7860 vsize=813980 CPUtime=1.42
/proc/7884/task/7885/stat : 7885 (java) R 7860 7860 7823 0 -1 64 13365 0 1 0 134 8 0 0 20 0 9 0 2003547262 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7886] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7886/stat : 7886 (java) S 7860 7860 7823 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003547263 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 1 0 0
[pid=7884/tid=7887] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7887/stat : 7887 (java) S 7860 7860 7823 0 -1 64 11 0 0 0 0 0 0 0 21 0 9 0 2003547263 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7888] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7888/stat : 7888 (java) S 7860 7860 7823 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 2003547263 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7889] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7889/stat : 7889 (java) S 7860 7860 7823 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 2003547265 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7890] ppid=7860 vsize=813980 CPUtime=0.29
/proc/7884/task/7890/stat : 7890 (java) S 7860 7860 7823 0 -1 64 838 0 0 0 29 0 0 0 16 0 9 0 2003547265 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7884/tid=7891] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7891/stat : 7891 (java) S 7860 7860 7823 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003547265 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 0 0 0
[pid=7884/tid=7892] ppid=7860 vsize=813980 CPUtime=0
/proc/7884/task/7892/stat : 7892 (java) S 7860 7860 7823 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003547265 833515520 14299 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 89.11
Current children cumulated vsize (KiB) 861548

Child status: 0
Real time (s): 89.1524
CPU time (s): 89.1764
CPU user time (s): 88.6135
CPU system time (s): 0.562914
CPU usage (%): 100.027
Max. virtual memory (cumulated for all children) (KiB): 861548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.6135
system time used= 0.562914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57553
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5654
involuntary context switches= 3986

runsolver used 0.122981 second user time and 0.290955 second system time

The end

Launcher Data (download as text)

Begin job on node19 at 2008-07-05 10:14:01
IDJOB=1087898
IDBENCH=58054
IDSOLVER=351
FILE ID=node19/1087898-1215245641
PBS_JOBID= 7882039
Free space on /tmp= 66552 MiB

SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/rlfapGraphs/normalized-graph8.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087898-1215245641/watcher-1087898-1215245641 -o /tmp/evaluation-result-1087898-1215245641/solver-1087898-1215245641 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/galacE.sh HOME/instance-1087898-1215245641.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e75f324a43077fbbdb52f04b5d5aa247
RANDOM SEED=1668128308

node19.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.263
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	: 5931.00
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.263
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:       1089720 kB
Buffers:          6748 kB
Cached:         127652 kB
SwapCached:       6496 kB
Active:         822232 kB
Inactive:        89512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1089720 kB
SwapTotal:     4192956 kB
SwapFree:      4180456 kB
Dirty:            3852 kB
Writeback:           0 kB
Mapped:         793636 kB
Slab:            38240 kB
Committed_AS:  4246280 kB
PageTables:       3404 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= 66548 MiB
End job on node19 at 2008-07-05 10:15:30