Trace number 2081497

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
Choco2.1.1 2009-06-10SAT 582.25 582.508

DiagnosticValue
CHECKS0
NODES2814

General information on the benchmark

Namecsp/largeQueens/
normalized-queens-300.xml
MD5SUMc7d57b0262fde2b45e9a562f45f9d3ca
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 benchmark47.1408
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints44850
Maximum constraint arity2
Maximum domain size300
Number of constraints which are defined in extension0
Number of constraints which are defined in intension44850
Global constraints used (with number of constraints)

Solver Data 

582.15/582.43	s SATISFIABLE
582.15/582.43	v 85 179 183 169 177 187 176 197 81 239 73 127 248 288 233 91 191 134 166 147 143 167 165 293 229 108 232 234 112 65 135 228 80 186 115 202 150 123 145 170 64 225 157 82 238 79 267 158 247 159 144 263 178 180 173 299 241 195 5 2 102 1 217 98 214 219 242 206 89 107 58 17 57 266 262 52 277 43 218 213 160 210 97 272 220 151 221 243 33 240 282 32 142 201 256 69 192 284 104 164 283 204 29 47 4 25 48 15 255 38 269 260 46 6 31 161 281 27 128 99 23 168 26 275 285 14 11 290 18 286 12 295 24 45 7 36 296 60 280 297 35 55 72 276 49 140 287 30 189 20 271 19 22 62 291 13 268 34 37 53 40 274 190 118 3 78 155 264 119 251 279 273 39 16 278 148 50 207 298 44 61 162 8 42 163 137 215 111 121 75 125 54 110 124 41 70 216 259 59 231 227 224 109 90 237 51 56 21 253 246 116 270 10 209 236 9 294 101 289 71 292 300 235 76 86 223 74 149 245 182 208 88 171 105 153 211 222 205 126 67 244 198 174 77 203 250 254 249 257 146 141 258 154 181 175 133 172 194 156 184 136 199 212 129 113 100 120 230 106 138 196 131 117 95 185 130 94 226 84 96 93 132 87 83 28 200 122 103 152 261 114 252 188 92 193 66 265 63 139 68 
582.15/582.43	d AC 32
582.15/582.43	d RUNTIME 582.308
582.15/582.43	d NODES 2814
582.15/582.43	d NODES/s 5
582.15/582.43	d BACKTRACKS 490
582.15/582.43	d BACKTRACKS/s 1
582.15/582.43	d CHECKS 0
582.15/582.43	d CHECKS/s 0
582.15/582.43	c SAT 582.308 TIME      2814 NDS    3384 PARSTIME      11218 BUILDPB       567706 RES       true RESTART       1 HEURISTIC       true RANDVAL

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081497-1247372964/watcher-2081497-1247372964 -o /tmp/evaluation-result-2081497-1247372964/solver-2081497-1247372964 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2081497-1247372964.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.06 2.05 4/74 23835
/proc/meminfo: memFree=1501256/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=1616 CPUtime=0
/proc/23835/stat : 23835 (java) D 23833 23835 19406 0 -1 0 197 0 0 0 0 0 0 0 18 0 1 0 24359770 1654784 164 996147200 134512640 134550932 4294956000 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/23835/statm: 404 164 127 9 0 46 0

[startup+0.0851481 s]
/proc/loadavg: 2.02 2.06 2.05 4/74 23835
/proc/meminfo: memFree=1501256/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=862188 CPUtime=0.04
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 2925 0 1 0 3 1 0 0 18 0 9 0 24359770 882880512 2427 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 215547 2427 1170 9 0 210416 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 862188

[startup+0.102151 s]
/proc/loadavg: 2.02 2.06 2.05 4/74 23835
/proc/meminfo: memFree=1501256/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=862288 CPUtime=0.06
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 3290 0 1 0 5 1 0 0 18 0 9 0 24359770 882982912 2758 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 215572 2758 1300 9 0 210441 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 862288

[startup+0.301171 s]
/proc/loadavg: 2.02 2.06 2.05 4/74 23835
/proc/meminfo: memFree=1501256/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=864968 CPUtime=0.26
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 4767 0 1 0 24 2 0 0 18 0 9 0 24359770 885727232 4192 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216242 4192 1855 9 0 210710 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 864968

[startup+0.701208 s]
/proc/loadavg: 2.02 2.06 2.05 4/74 23835
/proc/meminfo: memFree=1501256/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=864968 CPUtime=0.66
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 12019 0 1 0 60 6 0 0 18 0 9 0 24359770 885727232 11444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216242 11444 1856 9 0 210710 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 864968

[startup+1.5013 s]
/proc/loadavg: 2.02 2.06 2.05 4/83 23844
/proc/meminfo: memFree=1418688/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=864968 CPUtime=1.46
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 26051 0 1 0 134 12 0 0 18 0 9 0 24359770 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216242 25462 1909 9 0 210710 0
[pid=23835/tid=23837] ppid=23833 vsize=864968 CPUtime=1.09
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 14287 0 1 0 102 7 0 0 25 0 9 0 24359771 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=864968 CPUtime=0.19
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 10476 0 0 0 15 4 0 0 18 0 9 0 24359774 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24359774 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=864968 CPUtime=0.16
/proc/23835/task/23842/stat : 23842 (java) R 23833 23835 19406 0 -1 64 555 0 0 0 16 0 0 0 15 0 9 0 24359776 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 101717794 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885727232 25462 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 864968

[startup+3.10144 s]
/proc/loadavg: 2.02 2.06 2.05 3/83 23844
/proc/meminfo: memFree=1387264/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=864968 CPUtime=3.06
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 33197 0 1 0 290 16 0 0 18 0 9 0 24359770 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216242 32605 1909 9 0 210710 0
[pid=23835/tid=23837] ppid=23833 vsize=864968 CPUtime=2.37
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 14292 0 1 0 230 7 0 0 25 0 9 0 24359771 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 102640527 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=864968 CPUtime=0.48
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 17599 0 0 0 41 7 0 0 16 0 9 0 24359774 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=864968 CPUtime=0.18
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 572 0 0 0 18 0 0 0 15 0 9 0 24359776 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=864968 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885727232 32605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 864968

[startup+6.30276 s]
/proc/loadavg: 2.10 2.07 2.06 4/83 23844
/proc/meminfo: memFree=1318336/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=6.26
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 56476 0 1 0 602 24 0 0 18 0 9 0 24359770 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 55861 1959 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=4.76
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 14536 0 1 0 469 7 0 0 25 0 9 0 24359771 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 102639880 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=1.21
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 40580 0 0 0 107 14 0 0 17 0 9 0 24359774 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.25
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 626 0 0 0 25 0 0 0 15 0 9 0 24359776 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 55861 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865152

[startup+12.7014 s]
/proc/loadavg: 2.09 2.07 2.05 4/83 23844
/proc/meminfo: memFree=1225096/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=12.66
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 72694 0 1 0 1235 31 0 0 18 0 9 0 24359770 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 72048 1982 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=9.71
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 14791 0 1 0 963 8 0 0 25 0 9 0 24359771 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4127192432 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=2.6
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 56497 0 0 0 240 20 0 0 16 0 9 0 24359774 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.32
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 672 0 0 0 31 1 0 0 16 0 9 0 24359776 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 72048 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 865152

[startup+25.5026 s]
/proc/loadavg: 2.07 2.07 2.05 3/83 23844
/proc/meminfo: memFree=1178888/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=25.45
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 82987 0 1 0 2510 35 0 0 18 0 9 0 24359770 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 82318 1985 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=21.42
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 14839 0 1 0 2134 8 0 0 25 0 9 0 24359771 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4127417356 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=3.61
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 66695 0 0 0 337 24 0 0 16 0 9 0 24359774 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.39
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 719 0 0 0 38 1 0 0 17 0 9 0 24359776 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 82318 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 865152

[startup+51.1021 s]
/proc/loadavg: 2.04 2.06 2.05 3/83 23844
/proc/meminfo: memFree=1177032/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=51.03
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 83498 0 1 0 5068 35 0 0 18 0 9 0 24359770 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 82791 1987 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=45.95
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 14879 0 1 0 4587 8 0 0 25 0 9 0 24359771 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4127415647 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=4.66
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 67165 0 0 0 442 24 0 0 16 0 9 0 24359774 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.39
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 720 0 0 0 38 1 0 0 16 0 9 0 24359776 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 82791 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 84191 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.39
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 721 0 0 0 38 1 0 0 16 0 9 0 24359776 885915648 84191 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 84191 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 84191 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 865152

[startup+282.303 s]
/proc/loadavg: 2.04 2.05 2.04 3/83 23844
/proc/meminfo: memFree=1169928/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=282.15
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 85569 0 1 0 28174 41 0 0 18 0 9 0 24359770 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 84529 1987 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=267.32
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 15212 0 1 0 26721 11 0 0 25 0 9 0 24359771 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4127416528 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=14.4
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 68901 0 0 0 1413 27 0 0 16 0 9 0 24359774 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.4
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 722 0 0 0 39 1 0 0 17 0 9 0 24359776 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 84529 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 865152

[startup+342.303 s]
/proc/loadavg: 2.01 2.04 2.04 3/83 23844
/proc/meminfo: memFree=1168968/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=342.13
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 85876 0 1 0 34171 42 0 0 18 0 9 0 24359770 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 84748 1987 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=325.28
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 15300 0 1 0 32517 11 0 0 25 0 9 0 24359771 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4127470892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=16.42
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 69120 0 0 0 1614 28 0 0 16 0 9 0 24359774 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.4
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 722 0 0 0 39 1 0 0 17 0 9 0 24359776 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 84748 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 865152

[startup+402.302 s]
/proc/loadavg: 2.25 2.09 2.05 3/84 23845
/proc/meminfo: memFree=1167552/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=402.11
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 86323 0 1 0 40167 44 0 0 18 0 9 0 24359770 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 85111 1987 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=383.67
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 15384 0 1 0 38355 12 0 0 25 0 9 0 24359771 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4127420888 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=18.02
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 69483 0 0 0 1773 29 0 0 16 0 9 0 24359774 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.4
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 722 0 0 0 39 1 0 0 16 0 9 0 24359776 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 85111 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 865152

[startup+462.302 s]
/proc/loadavg: 2.15 2.09 2.05 3/84 23845
/proc/meminfo: memFree=1166080/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=462.09
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 86784 0 1 0 46163 46 0 0 18 0 9 0 24359770 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 85483 1987 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=441.5
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 15473 0 1 0 44137 13 0 0 25 0 9 0 24359771 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4127415683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=20.16
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 69854 0 0 0 1986 30 0 0 16 0 9 0 24359774 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.4
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 723 0 0 0 39 1 0 0 16 0 9 0 24359776 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 85483 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 865152

[startup+522.302 s]
/proc/loadavg: 2.05 2.07 2.05 3/84 23845
/proc/meminfo: memFree=1164800/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=522.07
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 87180 0 1 0 52160 47 0 0 18 0 9 0 24359770 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 85793 1987 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=499.19
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 15559 0 1 0 49905 14 0 0 25 0 9 0 24359771 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4127408841 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=22.45
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 70164 0 0 0 2214 31 0 0 16 0 9 0 24359774 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.4
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 723 0 0 0 39 1 0 0 16 0 9 0 24359776 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 85793 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 865152

[startup+582.303 s]
/proc/loadavg: 2.02 2.05 2.04 3/84 23845
/proc/meminfo: memFree=1164096/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=865152 CPUtime=582.05
/proc/23835/stat : 23835 (java) S 23833 23835 19406 0 -1 0 87427 0 1 0 58157 48 0 0 18 0 9 0 24359770 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 216288 85953 1987 9 0 210756 0
[pid=23835/tid=23837] ppid=23833 vsize=865152 CPUtime=556.92
/proc/23835/task/23837/stat : 23837 (java) R 23833 23835 19406 0 -1 64 15646 0 1 0 55678 14 0 0 25 0 9 0 24359771 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4127438691 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23838] ppid=23833 vsize=865152 CPUtime=24.7
/proc/23835/task/23838/stat : 23838 (java) S 23833 23835 19406 0 -1 64 70324 0 0 0 2439 31 0 0 16 0 9 0 24359774 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23839] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23839/stat : 23839 (java) S 23833 23835 19406 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23840] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23840/stat : 23840 (java) S 23833 23835 19406 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24359774 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23841] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23841/stat : 23841 (java) S 23833 23835 19406 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 24359776 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23842] ppid=23833 vsize=865152 CPUtime=0.4
/proc/23835/task/23842/stat : 23842 (java) S 23833 23835 19406 0 -1 64 723 0 0 0 39 1 0 0 16 0 9 0 24359776 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23843] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23843/stat : 23843 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24359776 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23835/tid=23844] ppid=23833 vsize=865152 CPUtime=0
/proc/23835/task/23844/stat : 23844 (java) S 23833 23835 19406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24359776 885915648 85953 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 865152

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

[startup+582.503 s]
/proc/loadavg: 2.02 2.05 2.04 3/84 23845
/proc/meminfo: memFree=1164096/2055920 swapFree=4192952/4192956
[pid=23835] ppid=23833 vsize=0 CPUtime=582.23
/proc/23835/stat : 23835 (java) Z 23833 23835 19406 0 -1 12 87451 0 1 0 58170 53 0 0 16 0 2 0 24359770 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23835/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 582.508
CPU time (s): 582.25
CPU user time (s): 581.706
CPU system time (s): 0.544917
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 865152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 581.706
system time used= 0.544917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87451
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21025
involuntary context switches= 22955

runsolver used 0.979851 second user time and 1.67374 second system time

The end

Launcher Data 

Begin job on node56 at 2009-07-12 06:29:25
IDJOB=2081497
IDBENCH=57403
IDSOLVER=737
FILE ID=node56/2081497-1247372964
PBS_JOBID= 9507086
Free space on /tmp= 103044 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-300.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081497-1247372964/watcher-2081497-1247372964 -o /tmp/evaluation-result-2081497-1247372964/solver-2081497-1247372964 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2081497-1247372964.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c7d57b0262fde2b45e9a562f45f9d3ca
RANDOM SEED=296808489

node56.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.209
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.209
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:       1501736 kB
Buffers:         80480 kB
Cached:         374980 kB
SwapCached:          4 kB
Active:         172056 kB
Inactive:       302748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1501736 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            8448 kB
Writeback:           0 kB
Mapped:          30052 kB
Slab:            64608 kB
Committed_AS:   243708 kB
PageTables:       1828 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= 103040 MiB
End job on node56 at 2009-07-12 06:39:07