Trace number 1093856

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 278.703 281.435

General information on the benchmark

Namecsp/queens/
normalized-queens-180.xml
MD5SUMc14abf4d20a38dc3ddd30b1ce4c8122e
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 benchmark10.4924
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints16110
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension0
Number of constraints which are defined in intension16110
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.03	c --- Preproc Stats ---
59.31/59.98	c start processing
59.31/59.98	c start relation processing
59.40/60.05	c start cnf exporting
271.28/273.97	c parsing time : 59.845
271.28/273.97	c preprocessing time : 273.839
271.28/273.98	
271.28/273.98	c Nary constraints - conflicts : 0 supports : 0
271.28/273.99	c Binary constraints - conflicts : 16110 supports :0
271.28/273.99	c max arity constraint : 2
271.28/273.99	c Max Tuples generated 32400
271.28/273.99	c relations : 179
271.28/273.99	c relations BDD: 0
271.28/273.99	c sampling 179/179
271.28/273.99	c vars : 32401 - clauses :  9655440
271.28/273.99	
271.36/274.04	 
271.36/274.04	c --- SAT Solver Stats ---
271.36/274.04	 
271.36/274.04	c eSAT 0.1 : minisat core with additionnal features
271.36/274.04	c ============================[ Problem Statistics ]=============================
271.36/274.04	c |                                                                             |
271.36/274.04	c |  Number of variables:  32400                                                |
271.36/274.04	c |  Number of clauses:    9655440                                              |
275.10/277.80	c |  Parsing time:         3.18         s                                       |
275.69/278.42	c restarts              : 17
275.69/278.42	c conflicts             : 34             (9 /sec)
275.69/278.42	c decisions             : 136565         (55.68 % random) (36029 /sec)
275.69/278.42	c euip                  : 2           
275.69/278.42	c propagations          : 548691         (144757 /sec)
275.69/278.42	c conflict literals     : 24531          (0.00 % deleted)
275.69/278.42	c Memory used           : 361.27 MB
275.69/278.42	c CPU time              : 3.79042 s
275.69/278.42	c 
275.69/278.43	s SATISFIABLE
278.56/281.35	v 106 42 61 83 78 37 16 13 105 48 18 49 32 103 76 117 46 92 63 120 174 89 164 3 94 177 104 139 7 146 28 150 155 143 100 111 79 141 38 2 68 62 69 80 128 171 55 72 147 40 45 91 86 88 154 148 161 165 180 131 71 179 67 157 160 34 70 66 129 84 10 8 159 176 169 135 26 19 167 64 5 43 75 85 30 82 87 136 124 107 140 44 149 144 152 65 1 53 127 168 173 97 15 22 158 122 77 119 29 133 166 59 39 58 14 96 47 41 36 145 162 108 125 4 50 109 73 175 172 35 31 51 23 115 101 142 52 170 121 9 118 113 17 137 130 134 114 163 138 57 6 81 116 110 90 178 95 20 99 93 25 60 74 98 54 153 132 12 21 112 102 123 56 11 33 126 24 27 151 156

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-1093856-1215278323/watcher-1093856-1215278323 -o /tmp/evaluation-result-1093856-1215278323/solver-1093856-1215278323 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1093856-1215278323.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 7821
/proc/meminfo: memFree=1761744/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=8652 CPUtime=0
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 346 0 0 0 0 0 0 0 16 0 1 0 2006807183 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 2163 280 208 79 0 156 0
[pid=7822] ppid=7821 vsize=8688 CPUtime=0
/proc/7822/stat : 7822 (galacE.sh) S 7821 7821 7458 0 -1 4194368 36 0 0 0 0 0 0 0 16 0 1 0 2006807184 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 214920036434 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/7822/statm: 2172 286 209 79 0 165 0
[pid=7823] ppid=7822 vsize=8728 CPUtime=0
/proc/7823/stat : 7823 (galacE.sh) R 7822 7821 7458 0 -1 4194368 25 0 0 0 0 0 0 0 19 0 1 0 2006807184 8937472 290 996147200 4194304 4520092 548682068832 18446744073709551615 214919867687 0 0 3674112 73728 0 0 0 17 1 0 0
/proc/7823/statm: 2182 290 209 79 0 175 0

[startup+0.109544 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 7821
/proc/meminfo: memFree=1761744/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+0.201554 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 7821
/proc/meminfo: memFree=1761744/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+0.301569 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 7821
/proc/meminfo: memFree=1761744/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+0.701622 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 7821
/proc/meminfo: memFree=1761744/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580

[startup+1.50173 s]
/proc/loadavg: 1.91 1.98 1.99 3/82 7843
/proc/meminfo: memFree=1731512/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7835] ppid=7821 vsize=812628 CPUtime=1.43
/proc/7835/stat : 7835 (java) S 7821 7821 7458 0 -1 0 11076 0 1 0 136 7 0 0 18 0 9 0 2006807187 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7835/statm: 203157 10484 1917 9 0 197138 0
[pid=7835/tid=7836] ppid=7821 vsize=812628 CPUtime=1.28
/proc/7835/task/7836/stat : 7836 (java) R 7821 7821 7458 0 -1 64 9596 0 1 0 122 6 0 0 25 0 9 0 2006807188 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4126650451 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7837] ppid=7821 vsize=812628 CPUtime=0
/proc/7835/task/7837/stat : 7837 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2006807189 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7838] ppid=7821 vsize=812628 CPUtime=0
/proc/7835/task/7838/stat : 7838 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 2006807190 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7839] ppid=7821 vsize=812628 CPUtime=0
/proc/7835/task/7839/stat : 7839 (java) S 7821 7821 7458 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2006807190 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7840] ppid=7821 vsize=812628 CPUtime=0
/proc/7835/task/7840/stat : 7840 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006807192 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7841] ppid=7821 vsize=812628 CPUtime=0.13
/proc/7835/task/7841/stat : 7841 (java) S 7821 7821 7458 0 -1 64 776 0 0 0 13 0 0 0 16 0 9 0 2006807192 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7842] ppid=7821 vsize=812628 CPUtime=0
/proc/7835/task/7842/stat : 7842 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006807192 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7843] ppid=7821 vsize=812628 CPUtime=0
/proc/7835/task/7843/stat : 7843 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006807192 832131072 10484 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 860208

[startup+3.10295 s]
/proc/loadavg: 1.91 1.98 1.99 3/82 7843
/proc/meminfo: memFree=1715640/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7835] ppid=7821 vsize=812760 CPUtime=3.02
/proc/7835/stat : 7835 (java) S 7821 7821 7458 0 -1 0 20264 0 1 0 291 11 0 0 18 0 9 0 2006807187 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7835/statm: 203190 19670 1930 9 0 197171 0
[pid=7835/tid=7836] ppid=7821 vsize=812760 CPUtime=2.78
/proc/7835/task/7836/stat : 7836 (java) R 7821 7821 7458 0 -1 64 14580 0 1 0 270 8 0 0 25 0 9 0 2006807188 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 102887964 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7837] ppid=7821 vsize=812760 CPUtime=0.04
/proc/7835/task/7837/stat : 7837 (java) S 7821 7821 7458 0 -1 64 4184 0 0 0 3 1 0 0 16 0 9 0 2006807189 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7838] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7838/stat : 7838 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7839] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7839/stat : 7839 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7840] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7840/stat : 7840 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006807192 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7841] ppid=7821 vsize=812760 CPUtime=0.16
/proc/7835/task/7841/stat : 7841 (java) S 7821 7821 7458 0 -1 64 800 0 0 0 16 0 0 0 15 0 9 0 2006807192 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7842] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7842/stat : 7842 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006807192 832266240 19670 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7843] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7843/stat : 7843 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006807192 832266240 19670 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) 860340

[startup+6.30238 s]
/proc/loadavg: 2.08 2.02 2.00 3/82 7843
/proc/meminfo: memFree=1683136/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7835] ppid=7821 vsize=812760 CPUtime=6.19
/proc/7835/stat : 7835 (java) S 7821 7821 7458 0 -1 0 21875 0 1 0 606 13 0 0 18 0 9 0 2006807187 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7835/statm: 203190 21276 1931 9 0 197171 0
[pid=7835/tid=7836] ppid=7821 vsize=812760 CPUtime=5.79
/proc/7835/task/7836/stat : 7836 (java) R 7821 7821 7458 0 -1 64 14587 0 1 0 570 9 0 0 25 0 9 0 2006807188 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4126733236 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7837] ppid=7821 vsize=812760 CPUtime=0.05
/proc/7835/task/7837/stat : 7837 (java) S 7821 7821 7458 0 -1 64 5689 0 0 0 4 1 0 0 17 0 9 0 2006807189 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7838] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7838/stat : 7838 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7839] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7839/stat : 7839 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7840] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7840/stat : 7840 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006807192 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7841] ppid=7821 vsize=812760 CPUtime=0.31
/proc/7835/task/7841/stat : 7841 (java) S 7821 7821 7458 0 -1 64 899 0 0 0 30 1 0 0 15 0 9 0 2006807192 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7842] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7842/stat : 7842 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006807192 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7843] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7843/stat : 7843 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006807192 832266240 21276 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 860340

[startup+12.7022 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 7843
/proc/meminfo: memFree=1682624/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7835] ppid=7821 vsize=812760 CPUtime=12.53
/proc/7835/stat : 7835 (java) S 7821 7821 7458 0 -1 0 21959 0 1 0 1240 13 0 0 18 0 9 0 2006807187 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7835/statm: 203190 21350 1931 9 0 197171 0
[pid=7835/tid=7836] ppid=7821 vsize=812760 CPUtime=12.09
/proc/7835/task/7836/stat : 7836 (java) R 7821 7821 7458 0 -1 64 14597 0 1 0 1200 9 0 0 25 0 9 0 2006807188 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 103210905 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7837] ppid=7821 vsize=812760 CPUtime=0.08
/proc/7835/task/7837/stat : 7837 (java) S 7821 7821 7458 0 -1 64 5751 0 0 0 7 1 0 0 16 0 9 0 2006807189 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7838] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7838/stat : 7838 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7839] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7839/stat : 7839 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7840] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7840/stat : 7840 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006807192 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7841] ppid=7821 vsize=812760 CPUtime=0.33
/proc/7835/task/7841/stat : 7841 (java) S 7821 7821 7458 0 -1 64 911 0 0 0 32 1 0 0 15 0 9 0 2006807192 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7842] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7842/stat : 7842 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006807192 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7843] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7843/stat : 7843 (java) R 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006807192 832266240 21350 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 860340

[startup+25.502 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 7843
/proc/meminfo: memFree=1681856/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7835] ppid=7821 vsize=812760 CPUtime=25.21
/proc/7835/stat : 7835 (java) S 7821 7821 7458 0 -1 0 22173 0 1 0 2507 14 0 0 18 0 9 0 2006807187 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7835/statm: 203190 21552 1931 9 0 197171 0
[pid=7835/tid=7836] ppid=7821 vsize=812760 CPUtime=24.72
/proc/7835/task/7836/stat : 7836 (java) R 7821 7821 7458 0 -1 64 14609 0 1 0 2463 9 0 0 25 0 9 0 2006807188 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4126702160 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7837] ppid=7821 vsize=812760 CPUtime=0.13
/proc/7835/task/7837/stat : 7837 (java) S 7821 7821 7458 0 -1 64 5953 0 0 0 11 2 0 0 16 0 9 0 2006807189 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7838] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7838/stat : 7838 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7839] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7839/stat : 7839 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7840] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7840/stat : 7840 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006807192 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7841] ppid=7821 vsize=812760 CPUtime=0.33
/proc/7835/task/7841/stat : 7841 (java) S 7821 7821 7458 0 -1 64 911 0 0 0 32 1 0 0 15 0 9 0 2006807192 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7842] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7842/stat : 7842 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006807192 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7843] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7843/stat : 7843 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006807192 832266240 21552 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22

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

/proc/meminfo: memFree=1543360/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7835] ppid=7821 vsize=812760 CPUtime=253.53
/proc/7835/stat : 7835 (java) S 7821 7821 7458 0 -1 0 23158 0 1 0 25257 96 0 0 18 0 9 0 2006807187 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7835/statm: 203190 22155 1943 9 0 197171 0
[pid=7835/tid=7836] ppid=7821 vsize=812760 CPUtime=252.66
/proc/7835/task/7836/stat : 7836 (java) R 7821 7821 7458 0 -1 64 15022 0 1 0 25178 88 0 0 25 0 9 0 2006807188 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 102880928 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7837] ppid=7821 vsize=812760 CPUtime=0.43
/proc/7835/task/7837/stat : 7837 (java) S 7821 7821 7458 0 -1 64 6483 0 0 0 38 5 0 0 16 0 9 0 2006807189 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7838] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7838/stat : 7838 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7839] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7839/stat : 7839 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7840] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7840/stat : 7840 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7841] ppid=7821 vsize=812760 CPUtime=0.4
/proc/7835/task/7841/stat : 7841 (java) S 7821 7821 7458 0 -1 64 953 0 0 0 39 1 0 0 16 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7842] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7842/stat : 7842 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7843] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7843/stat : 7843 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 253.54
Current children cumulated vsize (KiB) 860340

[startup+268.803 s]
/proc/loadavg: 2.60 2.18 2.05 3/82 7843
/proc/meminfo: memFree=1535040/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=0.01
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 765 1697 0 0 0 0 0 1 23 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7835] ppid=7821 vsize=812760 CPUtime=266.21
/proc/7835/stat : 7835 (java) S 7821 7821 7458 0 -1 0 23179 0 1 0 26518 103 0 0 18 0 9 0 2006807187 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7835/statm: 203190 22155 1943 9 0 197171 0
[pid=7835/tid=7836] ppid=7821 vsize=812760 CPUtime=265.34
/proc/7835/task/7836/stat : 7836 (java) R 7821 7821 7458 0 -1 64 15043 0 1 0 26439 95 0 0 25 0 9 0 2006807188 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 102714908 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7837] ppid=7821 vsize=812760 CPUtime=0.44
/proc/7835/task/7837/stat : 7837 (java) S 7821 7821 7458 0 -1 64 6483 0 0 0 39 5 0 0 16 0 9 0 2006807189 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7838] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7838/stat : 7838 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7839] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7839/stat : 7839 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006807190 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7840] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7840/stat : 7840 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7841] ppid=7821 vsize=812760 CPUtime=0.4
/proc/7835/task/7841/stat : 7841 (java) S 7821 7821 7458 0 -1 64 953 0 0 0 39 1 0 0 16 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7842] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7842/stat : 7842 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7835/tid=7843] ppid=7821 vsize=812760 CPUtime=0
/proc/7835/task/7843/stat : 7843 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006807192 832266240 22155 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 266.22
Current children cumulated vsize (KiB) 860340

[startup+275.202 s]
/proc/loadavg: 2.51 2.17 2.05 3/74 7844
/proc/meminfo: memFree=1515776/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=271.38
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 799 24902 0 1 0 0 27030 108 17 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7844] ppid=7821 vsize=118168 CPUtime=1.14
/proc/7844/stat : 7844 (eSAT_static) R 7821 7821 7458 0 -1 4194304 28798 0 0 0 99 15 0 0 25 0 1 0 2006834587 121004032 28780 996147200 134512640 135177480 4294955968 18446744073709551615 134749500 0 0 4096 3 0 0 0 17 1 0 0
/proc/7844/statm: 29542 28780 63 162 0 29377 0
Current children cumulated CPU time (s) 272.52
Current children cumulated vsize (KiB) 165748

[startup+278.406 s]
/proc/loadavg: 2.51 2.17 2.05 3/74 7844
/proc/meminfo: memFree=1252352/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=271.38
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 799 24902 0 1 0 0 27030 108 17 0 1 0 2006807183 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11895 364 245 79 0 219 0
[pid=7844] ppid=7821 vsize=369788 CPUtime=4.31
/proc/7844/stat : 7844 (eSAT_static) R 7821 7821 7458 0 -1 4194304 89979 0 0 0 377 54 0 0 25 0 1 0 2006834587 378662912 89958 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/7844/statm: 92447 89958 78 162 0 92282 0
Current children cumulated CPU time (s) 275.69
Current children cumulated vsize (KiB) 417368

[startup+280.002 s]
/proc/loadavg: 2.51 2.17 2.05 3/82 7853
/proc/meminfo: memFree=1591488/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=275.79
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 835 114900 0 1 0 0 27410 169 16 0 1 0 2006807183 48721920 365 996147200 4194304 4520092 548682068832 18446744073709551615 214920036434 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/7821/statm: 11895 365 245 79 0 219 0
[pid=7845] ppid=7821 vsize=812776 CPUtime=1.48
/proc/7845/stat : 7845 (java) S 7821 7821 7458 0 -1 0 14074 0 1 0 141 7 0 0 18 0 9 0 2006835032 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7845/statm: 203194 13496 1858 9 0 197175 0
[pid=7845/tid=7846] ppid=7821 vsize=812776 CPUtime=1.2
/proc/7845/task/7846/stat : 7846 (java) R 7821 7821 7458 0 -1 64 12457 0 1 0 114 6 0 0 25 0 9 0 2006835034 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 103210777 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7847] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7847/stat : 7847 (java) S 7821 7821 7458 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2006835035 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7848] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7848/stat : 7848 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 2006835036 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7849] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7849/stat : 7849 (java) S 7821 7821 7458 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2006835036 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7850] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7850/stat : 7850 (java) S 7821 7821 7458 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 2006835038 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7851] ppid=7821 vsize=812776 CPUtime=0.26
/proc/7845/task/7851/stat : 7851 (java) S 7821 7821 7458 0 -1 64 902 0 0 0 26 0 0 0 16 0 9 0 2006835038 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7852] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7852/stat : 7852 (java) S 7821 7821 7458 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2006835038 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7853] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7853/stat : 7853 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006835038 832282624 13496 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.27
Current children cumulated vsize (KiB) 860356

[startup+280.801 s]
/proc/loadavg: 2.46 2.17 2.05 3/82 7853
/proc/meminfo: memFree=1556864/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=275.79
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 835 114900 0 1 0 0 27410 169 16 0 1 0 2006807183 48721920 365 996147200 4194304 4520092 548682068832 18446744073709551615 214920036434 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/7821/statm: 11895 365 245 79 0 219 0
[pid=7845] ppid=7821 vsize=812776 CPUtime=2.27
/proc/7845/stat : 7845 (java) S 7821 7821 7458 0 -1 0 16268 0 1 0 218 9 0 0 18 0 9 0 2006835032 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7845/statm: 203194 15687 1867 9 0 197175 0
[pid=7845/tid=7846] ppid=7821 vsize=812776 CPUtime=1.97
/proc/7845/task/7846/stat : 7846 (java) R 7821 7821 7458 0 -1 64 14371 0 1 0 190 7 0 0 25 0 9 0 2006835034 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 104689078 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7847] ppid=7821 vsize=812776 CPUtime=0.01
/proc/7845/task/7847/stat : 7847 (java) S 7821 7821 7458 0 -1 64 279 0 0 0 1 0 0 0 16 0 9 0 2006835035 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7848] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7848/stat : 7848 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006835036 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7849] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7849/stat : 7849 (java) S 7821 7821 7458 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006835036 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7850] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7850/stat : 7850 (java) S 7821 7821 7458 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 2006835038 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7851] ppid=7821 vsize=812776 CPUtime=0.26
/proc/7845/task/7851/stat : 7851 (java) S 7821 7821 7458 0 -1 64 902 0 0 0 26 0 0 0 16 0 9 0 2006835038 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7852] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7852/stat : 7852 (java) S 7821 7821 7458 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2006835038 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7853] ppid=7821 vsize=812776 CPUtime=0
/proc/7845/task/7853/stat : 7853 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006835038 832282624 15687 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 278.06
Current children cumulated vsize (KiB) 860356

[startup+281.201 s]
/proc/loadavg: 2.46 2.17 2.05 3/82 7853
/proc/meminfo: memFree=1556864/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47580 CPUtime=275.79
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 835 114900 0 1 0 0 27410 169 16 0 1 0 2006807183 48721920 365 996147200 4194304 4520092 548682068832 18446744073709551615 214920036434 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/7821/statm: 11895 365 245 79 0 219 0
[pid=7845] ppid=7821 vsize=812888 CPUtime=2.67
/proc/7845/stat : 7845 (java) S 7821 7821 7458 0 -1 0 16517 0 1 0 258 9 0 0 18 0 9 0 2006835032 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7845/statm: 203222 15897 1922 9 0 197175 0
[pid=7845/tid=7846] ppid=7821 vsize=812888 CPUtime=2.34
/proc/7845/task/7846/stat : 7846 (java) R 7821 7821 7458 0 -1 64 14522 0 1 0 227 7 0 0 25 0 9 0 2006835034 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4127164887 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7847] ppid=7821 vsize=812888 CPUtime=0.01
/proc/7845/task/7847/stat : 7847 (java) S 7821 7821 7458 0 -1 64 363 0 0 0 1 0 0 0 17 0 9 0 2006835035 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7848] ppid=7821 vsize=812888 CPUtime=0
/proc/7845/task/7848/stat : 7848 (java) S 7821 7821 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006835036 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7849] ppid=7821 vsize=812888 CPUtime=0
/proc/7845/task/7849/stat : 7849 (java) S 7821 7821 7458 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006835036 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7850] ppid=7821 vsize=812888 CPUtime=0
/proc/7845/task/7850/stat : 7850 (java) S 7821 7821 7458 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 2006835038 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7851] ppid=7821 vsize=812888 CPUtime=0.28
/proc/7845/task/7851/stat : 7851 (java) S 7821 7821 7458 0 -1 64 916 0 0 0 28 0 0 0 16 0 9 0 2006835038 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7852] ppid=7821 vsize=812888 CPUtime=0
/proc/7845/task/7852/stat : 7852 (java) S 7821 7821 7458 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2006835038 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=7845/tid=7853] ppid=7821 vsize=812888 CPUtime=0
/proc/7845/task/7853/stat : 7853 (java) S 7821 7821 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006835038 832397312 15897 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 278.46
Current children cumulated vsize (KiB) 860468

[startup+281.401 s]
/proc/loadavg: 2.46 2.17 2.05 3/82 7853
/proc/meminfo: memFree=1556864/2055920 swapFree=4179464/4192956
[pid=7821] ppid=7819 vsize=47592 CPUtime=278.61
/proc/7821/stat : 7821 (galacE.sh) S 7819 7821 7458 0 -1 4194304 882 131425 0 2 0 1 27680 180 18 0 1 0 2006807183 48734208 369 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/7821/statm: 11898 369 245 79 0 222 0
Current children cumulated CPU time (s) 278.61
Current children cumulated vsize (KiB) 47592

Child status: 0
Real time (s): 281.435
CPU time (s): 278.703
CPU user time (s): 276.812
CPU system time (s): 1.89071
CPU usage (%): 99.029
Max. virtual memory (cumulated for all children) (KiB): 860468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.812
system time used= 1.89071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132464
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11314
involuntary context switches= 17496

runsolver used 0.427934 second user time and 0.858869 second system time

The end

Launcher Data (download as text)

Begin job on node10 at 2008-07-05 19:18:43
IDJOB=1093856
IDBENCH=58731
IDSOLVER=351
FILE ID=node10/1093856-1215278323
PBS_JOBID= 7882256
Free space on /tmp= 66508 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c14abf4d20a38dc3ddd30b1ce4c8122e
RANDOM SEED=564218315

node10.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.229
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.229
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:       1762224 kB
Buffers:         42868 kB
Cached:         182452 kB
SwapCached:       7784 kB
Active:         160400 kB
Inactive:        80292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762224 kB
SwapTotal:     4192956 kB
SwapFree:      4179464 kB
Dirty:            5160 kB
Writeback:           0 kB
Mapped:          22700 kB
Slab:            38128 kB
Committed_AS:  3453288 kB
PageTables:       1908 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= 66504 MiB
End job on node10 at 2008-07-05 19:23:25