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