Trace number 1112467

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-30MSAT (TO)15 3600.08 3610.42

General information on the benchmark

Namecsp/super-os/super-os-taillard-7/
normalized-super-os-taillard-7-2.xml
MD5SUM117b721453f3a20943f277ff453ea279
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints5
Best CPU time to get the best result obtained on this benchmark3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints931
Maximum constraint arity2
Maximum domain size441
Number of constraints which are defined in extension0
Number of constraints which are defined in intension931
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

2.37/2.46	c CPU-LOAD 1.65
2.37/2.46	c LOADED 98 V (441 E), 882 DTPConstraint, 49 ExtensionConstraint2D, arity 2, 1.65 cpu
2.76/2.88	s SATISFIABLE
2.76/2.88	o 879
2.76/2.88	v 147 157 249 311 8 429 325 342 15 22 114 408 35 153 245 263 414 121 378 114 14 343 11 56 153 128 153 152 379 195 2 245 259 207 110 106 299 179 18 180 424 226 25 40 429 402 268 320 412 392 10 151 432 225 172 170 15 18 242 183 116 112 407 168 244 149 278 163 351 389 385 381 139 44 260 36 118 112 254 12 218 218 318 22 407 418 235 194 5 154 21 133 305 130 33 112 384 180 
2.76/2.88	o 880
2.76/2.88	v 147 157 249 311 8 429 325 342 15 22 114 408 35 153 245 263 414 121 378 114 14 343 11 56 153 128 153 152 379 195 2 245 259 207 110 106 299 179 18 180 424 226 25 40 429 402 268 320 412 392 10 151 432 225 172 170 15 18 242 183 116 112 407 168 18 149 278 163 351 389 385 381 139 44 260 36 118 112 254 12 219 218 318 22 407 418 235 194 5 154 21 133 305 130 33 112 384 180 
2.76/2.89	o 881
2.76/2.89	v 147 157 249 311 8 429 325 342 15 22 114 408 35 162 245 263 414 121 380 114 14 343 11 56 153 128 153 152 379 195 2 245 264 207 110 106 299 185 18 13 424 226 25 40 429 402 268 320 412 392 10 151 432 225 172 170 15 18 242 183 116 112 407 168 18 149 278 156 351 389 385 381 139 44 260 36 117 112 254 12 219 218 318 39 407 418 235 194 5 154 21 133 305 130 33 112 384 180 
2.76/2.89	o 882
2.76/2.89	v 147 157 249 311 8 429 325 342 15 22 114 408 35 162 245 263 414 121 380 114 14 343 11 56 153 128 153 152 379 195 2 245 264 207 110 106 299 185 18 13 424 226 25 40 429 402 268 320 412 392 10 151 432 225 172 170 15 18 242 183 116 112 407 168 18 149 278 156 351 389 385 381 139 138 260 36 117 112 254 12 219 218 318 39 407 418 235 194 318 154 21 133 305 130 33 112 384 180 
2.86/2.93	o 884
2.86/2.93	v 147 157 305 251 8 429 325 130 16 194 114 408 20 165 245 132 414 121 381 114 346 201 2 51 252 134 151 152 380 178 2 245 264 183 110 106 289 185 18 13 424 226 29 40 429 402 268 318 412 392 11 151 432 225 172 170 8 24 281 183 116 112 407 168 19 149 278 149 351 389 385 381 131 138 257 355 6 119 254 12 220 218 48 49 415 418 234 194 317 168 17 133 305 144 33 112 384 180 
2.86/2.94	o 885
2.86/2.94	v 282 157 308 251 8 429 318 130 16 194 114 408 20 165 245 132 414 121 381 114 346 201 2 51 252 134 151 152 380 175 2 245 263 183 110 106 289 185 18 13 424 226 29 40 429 402 268 318 412 392 11 151 432 225 172 170 8 24 281 183 116 112 407 168 241 149 278 149 351 389 385 381 131 138 257 355 6 119 254 12 220 218 48 49 415 418 234 194 317 168 17 133 305 144 33 112 384 180 
2.86/2.95	o 886
2.86/2.95	v 14 157 306 251 8 429 319 130 14 194 114 408 37 165 245 132 414 121 385 114 346 201 2 51 252 155 151 152 380 175 2 245 263 134 110 106 289 185 18 13 424 226 31 40 429 402 267 318 412 392 11 151 432 225 172 170 21 24 11 183 116 112 407 168 241 149 278 149 351 389 385 381 131 138 257 357 15 8 254 12 220 218 254 49 415 418 234 194 319 168 17 133 310 144 33 112 384 180 
2.86/2.95	o 887
2.86/2.95	v 14 157 306 251 8 5 319 130 14 194 114 408 37 165 245 132 414 121 385 114 346 109 8 51 252 155 151 152 380 175 2 245 263 190 110 106 289 185 18 13 424 226 28 40 429 402 265 318 412 392 11 151 432 225 172 170 21 24 11 183 116 112 407 168 241 149 254 149 351 389 385 381 131 138 257 357 15 8 253 12 220 218 254 49 415 418 234 194 319 168 17 133 310 144 33 112 384 180 
2.86/2.95	o 889
2.86/2.95	v 14 157 306 251 8 5 319 130 19 194 114 408 37 165 245 132 414 121 385 114 346 109 8 51 252 155 151 152 380 175 2 245 263 190 110 106 289 185 18 13 424 226 28 40 429 402 265 318 412 392 11 151 432 225 172 170 21 24 11 183 116 112 407 168 241 149 254 149 351 389 385 381 131 138 257 357 15 8 253 12 220 218 254 148 415 418 234 194 319 168 17 133 310 144 33 112 384 180 
2.86/2.98	o 890
2.86/2.98	v 14 157 306 251 8 5 319 130 19 194 114 408 31 165 244 132 414 121 386 114 348 109 8 1 257 155 149 152 381 175 2 245 299 183 110 106 295 185 18 13 431 226 12 18 429 402 298 318 412 392 278 151 432 225 172 170 0 24 6 183 116 112 407 168 252 149 248 149 351 389 385 381 131 138 257 353 1 8 18 9 214 218 254 148 415 418 237 194 319 168 12 133 320 144 33 112 384 180 
2.96/3.00	o 891
2.96/3.00	v 18 157 306 226 8 5 319 130 24 194 114 408 33 165 245 147 414 121 386 114 342 117 8 41 255 155 150 152 381 175 2 245 299 183 111 106 295 185 18 13 426 226 1 121 429 402 261 318 412 392 278 151 432 225 172 170 13 24 3 183 116 112 407 168 245 149 248 149 351 389 385 381 131 138 257 353 1 114 18 112 213 218 262 116 415 418 237 194 319 168 12 133 320 144 33 112 384 180 
3.06/3.16	o 892
3.06/3.16	v 17 140 236 238 8 5 308 130 38 146 419 408 314 140 9 132 414 400 343 125 343 196 4 129 254 246 18 162 380 176 2 245 303 175 113 106 11 185 29 178 424 188 24 22 429 402 313 318 412 405 279 151 135 225 171 170 10 29 293 183 114 112 406 168 251 123 241 217 351 389 391 381 321 215 255 247 9 111 14 128 400 218 315 116 415 418 244 194 8 161 25 138 313 125 18 136 384 387 
3.06/3.16	o 894
3.06/3.16	v 17 140 236 205 8 5 308 130 38 146 419 408 314 140 9 132 414 400 378 125 343 196 4 129 254 246 18 162 380 176 2 245 303 175 113 106 11 185 29 178 424 188 24 22 429 402 313 318 412 405 279 151 135 225 171 170 10 29 293 183 114 112 406 168 251 123 241 217 351 389 391 381 324 215 255 247 9 111 14 128 400 218 315 116 415 418 244 194 8 161 12 138 313 125 18 136 384 387 
3.06/3.20	o 895
3.06/3.20	v 32 140 237 205 8 5 316 130 38 146 419 408 306 140 9 138 414 400 380 125 343 196 10 129 254 246 13 162 380 176 2 245 303 175 113 111 31 185 24 178 282 188 24 0 429 402 313 318 412 405 112 151 135 225 171 170 21 2 319 183 114 112 406 168 13 162 239 217 351 389 381 379 334 215 255 247 65 111 14 137 259 218 322 170 415 418 241 228 316 166 9 138 313 125 4 136 384 387 
3.16/3.20	o 896
3.16/3.20	v 29 140 237 205 8 5 316 130 32 146 419 408 306 140 9 185 414 400 380 125 343 196 10 129 254 246 13 162 380 176 2 245 303 175 113 111 31 185 24 178 282 188 2 206 429 402 313 318 412 405 112 151 135 225 171 170 21 2 274 183 114 112 406 168 13 172 239 186 351 389 381 379 334 215 255 247 65 111 13 105 259 218 322 170 415 418 241 209 316 166 11 138 313 125 4 136 384 387 
3.16/3.21	o 898
3.16/3.21	v 29 140 237 205 8 5 316 130 32 146 419 408 306 140 9 185 414 400 380 125 343 196 7 129 254 246 13 162 380 176 2 245 303 175 113 111 31 185 24 178 282 188 2 206 429 402 313 318 412 405 112 151 135 225 171 170 21 2 274 183 114 112 406 168 13 172 239 186 351 389 381 379 334 215 255 247 8 111 13 105 259 218 322 170 415 418 241 209 316 166 11 138 313 125 4 136 384 387 
3.16/3.22	o 899
3.16/3.22	v 26 140 237 232 8 5 323 130 34 146 419 408 306 140 9 112 414 400 380 125 343 196 6 129 254 246 13 162 380 176 2 245 301 175 113 111 31 185 21 178 282 188 2 226 429 402 313 318 412 405 112 151 135 225 171 170 13 2 274 183 114 112 406 168 13 113 241 186 351 389 381 379 334 215 255 247 8 111 13 105 267 218 319 170 415 418 241 209 316 166 11 138 313 125 6 136 384 387 
3.26/3.31	o 901
3.26/3.31	v 17 140 242 213 8 5 320 148 26 146 419 408 319 118 3 128 384 224 415 125 342 196 8 145 254 225 14 162 378 176 2 245 321 175 113 111 15 185 31 178 294 188 4 157 429 402 315 318 412 405 258 151 135 225 89 170 4 150 270 183 111 112 407 201 18 147 240 166 351 389 381 379 334 149 256 197 14 111 12 145 276 152 321 170 415 418 239 216 332 162 13 138 316 125 12 125 113 217 
3.26/3.33	o 902
3.26/3.33	v 18 140 239 213 8 5 324 148 26 146 419 408 307 118 3 128 384 224 408 125 342 196 13 145 254 225 15 162 379 176 2 245 326 175 112 111 18 185 33 178 294 188 4 157 429 402 315 318 412 405 258 151 135 225 89 170 4 150 277 183 111 112 407 201 4 147 242 166 351 389 381 379 339 149 257 197 11 111 12 145 287 152 322 170 415 418 239 170 332 162 13 138 315 125 5 125 113 217 
3.26/3.37	o 903
3.26/3.37	v 6 128 239 170 107 184 307 112 16 146 419 408 312 118 3 128 384 224 421 125 342 196 1 145 254 109 8 162 381 176 2 245 304 175 112 111 28 185 11 178 294 188 6 154 429 402 315 318 412 405 288 151 135 225 89 170 3 4 269 183 111 112 407 201 15 147 240 166 351 389 381 379 339 149 255 197 15 111 13 145 259 152 318 170 415 418 235 170 318 162 14 138 312 125 10 125 113 217 
3.46/3.52	o 904
3.46/3.52	v 7 119 239 170 0 184 326 143 240 146 419 408 14 131 256 119 384 224 411 125 409 196 4 145 257 109 13 162 380 185 368 245 268 175 112 111 20 185 22 178 359 208 1 150 429 402 315 318 412 405 253 151 135 225 89 170 1 2 327 154 106 207 408 208 113 152 247 243 384 389 345 175 401 165 257 163 0 146 7 153 103 187 319 170 415 418 317 170 246 174 19 138 319 147 0 146 113 217 
3.46/3.59	o 905
3.46/3.59	v 16 128 249 171 0 184 326 143 238 146 419 408 5 108 253 149 384 224 107 172 397 400 4 145 247 150 7 152 375 185 368 186 277 175 113 111 11 153 25 178 359 208 1 150 429 402 315 318 412 405 253 151 135 225 89 88 1 2 327 326 101 207 408 208 104 152 247 243 384 389 348 175 401 402 257 164 1 3 241 141 103 148 343 140 415 418 316 170 250 201 2 138 346 147 2 146 113 217 
3.76/3.80	o 906
3.76/3.80	v 14 130 339 338 0 184 256 143 23 131 419 405 248 137 279 128 384 128 107 225 404 232 5 145 298 150 7 162 348 186 103 186 253 175 114 112 2 172 24 173 430 208 0 154 429 402 315 318 412 405 118 151 303 136 90 231 0 6 327 326 111 207 408 406 10 152 249 205 384 389 342 175 401 402 256 173 20 133 1 148 342 148 281 143 415 418 267 251 341 125 1 122 345 147 2 150 113 160 
3.76/3.81	o 907
3.76/3.81	v 7 130 339 178 0 184 256 143 23 131 419 405 258 137 279 128 384 128 107 225 404 232 5 145 298 150 7 162 348 186 103 186 262 175 114 112 15 172 24 173 430 208 3 154 429 402 315 318 412 405 118 151 303 136 90 231 0 6 327 326 111 207 408 406 10 152 249 205 384 389 351 175 401 402 256 173 20 133 6 148 346 148 282 143 415 418 267 251 341 125 1 122 345 147 11 150 113 160 
5.25/5.38	o 908
5.25/5.38	v 49 154 342 182 0 13 255 165 24 153 419 433 257 152 49 151 391 393 1 163 407 181 258 148 263 165 21 155 325 160 407 1 9 152 94 179 247 227 19 170 419 416 60 156 429 166 269 172 412 180 360 168 1 155 15 232 1 159 38 166 114 192 406 208 252 156 251 165 387 349 263 156 328 207 267 205 4 155 12 160 108 221 387 156 419 418 338 151 347 182 12 123 246 180 2 147 110 226 
5.44/5.57	o 909
5.44/5.57	v 57 154 337 182 0 163 254 165 15 153 419 433 255 152 21 151 120 127 0 163 405 181 263 148 271 165 21 155 325 160 407 1 16 152 94 179 247 227 18 170 414 420 37 156 429 166 266 172 134 133 360 168 1 155 405 232 3 159 330 166 114 192 406 208 19 156 249 165 387 215 268 156 393 207 325 205 5 155 9 146 108 221 387 156 419 418 263 151 349 333 8 123 251 180 1 147 110 226 
12.41/12.57	o 910
12.41/12.57	v 40 154 286 137 0 6 48 146 246 179 432 433 354 156 36 152 424 236 0 1 358 206 261 141 258 147 34 144 70 150 425 206 60 151 0 1 346 345 266 152 141 192 270 159 416 382 36 144 439 434 366 246 1 178 392 393 257 173 102 139 345 351 408 185 8 158 262 184 390 389 87 155 42 37 384 140 256 152 263 150 0 2 384 135 244 154 67 167 289 180 54 154 373 153 269 146 12 13 
13.60/13.76	o 911
13.60/13.76	v 340 157 58 146 0 2 34 166 254 179 432 433 355 168 257 157 425 236 0 1 372 134 264 157 42 120 21 143 363 166 425 223 64 156 0 1 346 160 265 242 146 234 254 153 383 244 20 145 439 434 389 213 1 0 407 410 260 158 100 182 344 156 407 158 3 157 251 181 390 389 82 199 41 37 380 377 254 155 254 143 1 213 86 171 121 148 263 146 368 183 30 153 23 179 261 160 12 13 
113.31/113.96	o 912
113.31/113.96	v 102 340 1 367 438 326 115 327 239 341 211 422 233 360 108 340 3 427 14 422 307 408 209 340 98 347 208 341 272 361 433 434 121 348 199 200 37 342 124 357 0 405 99 360 91 413 211 339 9 435 309 424 25 405 66 399 106 356 134 380 0 393 38 387 225 338 261 358 194 411 257 367 198 194 33 375 96 338 239 325 0 392 36 356 97 412 126 366 29 337 1 339 200 352 198 339 327 432 
586.29/589.27	o 913
586.29/589.27	v 257 337 187 188 1 439 253 359 99 348 10 429 23 359 150 341 30 421 2 369 75 410 53 345 247 350 247 342 113 374 27 19 265 340 115 369 186 361 36 37 3 367 105 348 6 4 252 342 14 409 36 404 18 425 53 414 262 345 55 385 112 408 1 388 148 349 257 369 37 419 1 2 282 360 185 354 50 331 54 331 151 402 189 350 9 10 273 346 254 364 154 150 40 379 51 343 0 428 
2140.97/2150.30	o 914
2140.97/2150.30	v 179 257 279 281 349 351 91 92 1 0 432 433 356 353 30 28 423 422 6 1 349 355 324 314 127 132 216 221 102 111 18 0 174 175 40 44 252 254 365 367 9 8 348 285 7 259 83 98 438 1 40 309 236 210 13 12 193 192 135 134 313 316 4 1 39 40 368 347 277 278 395 394 92 95 25 24 137 144 298 297 260 254 33 34 1 0 122 115 258 259 25 29 195 270 333 337 434 433 
2141.07/2150.33	o 915
2141.07/2150.33	v 175 257 278 281 349 351 91 92 1 0 432 433 356 353 30 27 423 422 6 1 356 349 325 318 127 132 220 221 102 111 18 0 174 175 40 44 252 254 365 367 9 8 264 285 7 259 83 98 438 1 40 48 236 210 13 12 191 192 135 134 313 316 4 1 41 40 368 365 277 278 395 394 92 95 23 24 137 144 298 297 260 254 34 26 1 0 122 115 268 259 25 29 194 201 334 336 434 433 
2141.07/2150.33	o 916
2141.07/2150.33	v 174 173 278 281 349 351 91 92 1 0 432 433 356 353 30 27 423 422 6 1 356 358 325 318 127 132 220 221 102 111 18 0 174 175 40 44 252 254 365 367 9 8 264 285 7 259 83 98 438 1 40 48 236 210 13 12 191 192 135 134 313 316 4 1 41 40 368 365 277 278 395 394 92 95 23 24 137 144 298 297 260 254 34 26 1 0 122 115 268 259 25 29 194 201 334 336 434 433

Verifier Data (download as text)

OK	15	916
15 unsatisfied constraints, 916 satisfied constraints

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-1112467-1215868744/watcher-1112467-1215868744 -o /tmp/evaluation-result-1112467-1215868744/solver-1112467-1215868744 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112467-1215868744.xml 

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


[startup+0 s]
/proc/loadavg: 2.26 2.53 2.58 4/81 19662
/proc/meminfo: memFree=1911184/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) R 19660 19662 19625 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 43576513 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19662/statm: 1339 230 191 169 0 50 0
[pid=19663] ppid=19662 vsize=5356 CPUtime=0
/proc/19663/stat : 19663 (concrete.sh) R 19662 19662 19625 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 43576514 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19663/statm: 1339 230 191 169 0 50 0

[startup+0.0479829 s]
/proc/loadavg: 2.26 2.53 2.58 4/81 19662
/proc/meminfo: memFree=1911184/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.103278 s]
/proc/loadavg: 2.26 2.53 2.58 4/81 19662
/proc/meminfo: memFree=1911184/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301306 s]
/proc/loadavg: 2.26 2.53 2.58 4/81 19662
/proc/meminfo: memFree=1911184/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701383 s]
/proc/loadavg: 2.26 2.53 2.58 4/81 19662
/proc/meminfo: memFree=1911184/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50153 s]
/proc/loadavg: 2.24 2.52 2.58 3/92 19674
/proc/meminfo: memFree=1896112/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=1.47
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 7660 0 1 0 140 7 0 0 18 0 10 0 43576514 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 6758 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=0.97
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3583 0 1 0 94 3 0 0 25 0 10 0 43576515 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 102064641 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.1
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 2222 0 0 0 9 1 0 0 16 0 10 0 43576516 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 43576517 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43576517 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43576519 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.37
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1118 0 0 0 36 1 0 0 15 0 10 0 43576519 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 43576519 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 43576519 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19674] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19674/stat : 19674 (java) S 19662 19662 19625 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 43576575 867323904 6758 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 852352

[startup+3.10283 s]
/proc/loadavg: 2.24 2.52 2.58 3/92 19674
/proc/meminfo: memFree=1892592/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=3.06
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10241 0 1 0 298 8 0 0 18 0 9 0 43576514 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9315 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=2.27
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3715 0 1 0 223 4 0 0 25 0 9 0 43576515 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4126958388 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.31
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4604 0 0 0 29 2 0 0 16 0 9 0 43576516 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.45
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1184 0 0 0 44 1 0 0 15 0 9 0 43576519 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9315 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 852352

[startup+6.30144 s]
/proc/loadavg: 2.24 2.52 2.58 3/91 19674
/proc/meminfo: memFree=1883440/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=6.24
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10247 0 1 0 616 8 0 0 18 0 9 0 43576514 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9319 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=5.44
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3717 0 1 0 540 4 0 0 25 0 9 0 43576515 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4126951469 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.31
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4604 0 0 0 29 2 0 0 16 0 9 0 43576516 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.46
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1188 0 0 0 45 1 0 0 16 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 852352

[startup+12.7026 s]
/proc/loadavg: 2.20 2.50 2.57 3/91 19674
/proc/meminfo: memFree=1883248/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=12.61
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10247 0 1 0 1253 8 0 0 18 0 9 0 43576514 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9319 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=11.81
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3717 0 1 0 1177 4 0 0 25 0 9 0 43576515 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4126935427 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.31
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4604 0 0 0 29 2 0 0 16 0 9 0 43576516 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.46
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1188 0 0 0 45 1 0 0 16 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9319 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 852352

[startup+25.5021 s]
/proc/loadavg: 2.17 2.48 2.57 3/91 19674
/proc/meminfo: memFree=1883248/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=25.34
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10248 0 1 0 2526 8 0 0 18 0 9 0 43576514 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9320 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=24.54
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3717 0 1 0 2450 4 0 0 25 0 9 0 43576515 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4126935438 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.31
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4604 0 0 0 29 2 0 0 16 0 9 0 43576516 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.47
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1189 0 0 0 46 1 0 0 15 0 9 0 43576519 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9320 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 852352

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

/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1190 0 0 0 47 1 0 0 16 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3332.48
Current children cumulated vsize (KiB) 852352

[startup+3402.31 s]
/proc/loadavg: 2.72 2.71 2.56 3/90 19718
/proc/meminfo: memFree=1727488/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=3392.46
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10296 0 1 0 339229 17 0 0 18 0 9 0 43576514 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9352 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=3391.62
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3733 0 1 0 339150 12 0 0 25 0 9 0 43576515 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4126951469 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.32
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4635 0 0 0 30 2 0 0 16 0 9 0 43576516 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.48
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1190 0 0 0 47 1 0 0 16 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3392.46
Current children cumulated vsize (KiB) 852352

[startup+3462.3 s]
/proc/loadavg: 2.74 2.71 2.57 3/90 19718
/proc/meminfo: memFree=1727360/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=3452.42
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10297 0 1 0 345225 17 0 0 18 0 9 0 43576514 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9352 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=3451.59
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3734 0 1 0 345147 12 0 0 25 0 9 0 43576515 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4126989125 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.32
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4635 0 0 0 30 2 0 0 16 0 9 0 43576516 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.48
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1190 0 0 0 47 1 0 0 16 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3452.42
Current children cumulated vsize (KiB) 852352

[startup+3522.3 s]
/proc/loadavg: 2.84 2.75 2.59 3/90 19718
/proc/meminfo: memFree=1727296/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=3512.39
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10297 0 1 0 351222 17 0 0 18 0 9 0 43576514 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9352 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=3511.56
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3734 0 1 0 351144 12 0 0 25 0 9 0 43576515 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4126989364 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.32
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4635 0 0 0 30 2 0 0 16 0 9 0 43576516 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.48
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1190 0 0 0 47 1 0 0 16 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3512.39
Current children cumulated vsize (KiB) 852352

[startup+3582.3 s]
/proc/loadavg: 2.75 2.74 2.60 3/90 19720
/proc/meminfo: memFree=1727104/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=3572.12
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10297 0 1 0 357195 17 0 0 18 0 9 0 43576514 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9352 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=3571.28
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3734 0 1 0 357116 12 0 0 25 0 9 0 43576515 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4126989485 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.32
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4635 0 0 0 30 2 0 0 16 0 9 0 43576516 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.48
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1190 0 0 0 47 1 0 0 16 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) S 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3572.12
Current children cumulated vsize (KiB) 852352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 2.63 2.71 2.59 3/90 19720
/proc/meminfo: memFree=1727104/2055920 swapFree=4180224/4192956
[pid=19662] ppid=19660 vsize=5356 CPUtime=0
/proc/19662/stat : 19662 (concrete.sh) S 19660 19662 19625 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43576513 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19662/statm: 1339 242 201 169 0 50 0
[pid=19665] ppid=19662 vsize=846996 CPUtime=3600.08
/proc/19665/stat : 19665 (java) S 19662 19662 19625 0 -1 0 10297 0 1 0 359991 17 0 0 18 0 9 0 43576514 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19665/statm: 211749 9352 2583 9 0 206309 0
[pid=19665/tid=19666] ppid=19662 vsize=846996 CPUtime=3599.25
/proc/19665/task/19666/stat : 19666 (java) R 19662 19662 19625 0 -1 64 3734 0 1 0 359913 12 0 0 25 0 9 0 43576515 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4126935533 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19667] ppid=19662 vsize=846996 CPUtime=0.32
/proc/19665/task/19667/stat : 19667 (java) S 19662 19662 19625 0 -1 64 4635 0 0 0 30 2 0 0 16 0 9 0 43576516 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19668] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19668/stat : 19668 (java) S 19662 19662 19625 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19669] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19669/stat : 19669 (java) S 19662 19662 19625 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43576517 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19670] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19670/stat : 19670 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19671] ppid=19662 vsize=846996 CPUtime=0.48
/proc/19665/task/19671/stat : 19671 (java) S 19662 19662 19625 0 -1 64 1190 0 0 0 47 1 0 0 16 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19665/tid=19672] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19672/stat : 19672 (java) S 19662 19662 19625 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19665/tid=19673] ppid=19662 vsize=846996 CPUtime=0
/proc/19665/task/19673/stat : 19673 (java) R 19662 19662 19625 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43576519 867323904 9352 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 852352

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19662 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.004999
# while last known CPU time is 3600.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3610.42
CPU time (s): 3600.08
CPU user time (s): 3599.91
CPU system time (s): 0.17
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 852352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 5

runsolver used 4.77927 second user time and 11.6882 second system time

The end

Launcher Data (download as text)

Begin job on node21 at 2008-07-12 15:19:04
IDJOB=1112467
IDBENCH=61423
IDSOLVER=335
FILE ID=node21/1112467-1215868744
PBS_JOBID= 7903547
Free space on /tmp= 66484 MiB

SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-2.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112467-1215868744/watcher-1112467-1215868744 -o /tmp/evaluation-result-1112467-1215868744/solver-1112467-1215868744 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112467-1215868744.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 117b721453f3a20943f277ff453ea279
RANDOM SEED=534212129

node21.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.257
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.257
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:       1911664 kB
Buffers:         23816 kB
Cached:          50896 kB
SwapCached:       6480 kB
Active:          74480 kB
Inactive:        25544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1911664 kB
SwapTotal:     4192956 kB
SwapFree:      4180224 kB
Dirty:            1120 kB
Writeback:           0 kB
Mapped:          41444 kB
Slab:            29420 kB
Committed_AS:   207324 kB
PageTables:       1844 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= 66480 MiB
End job on node21 at 2008-07-12 16:19:17