Trace number 1112462

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 - Tabu Engine 2008-05-30MSAT (TO)25 3600.06 3612.72

General information on the benchmark

Namecsp/super-os/super-os-taillard-7/
normalized-super-os-taillard-7-30.xml
MD5SUMffaa9cc3319fa6165d508354e57e0a1d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints16
Best CPU time to get the best result obtained on this benchmark3600.18
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints931
Maximum constraint arity2
Maximum domain size378
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.36/2.43	c CPU-LOAD 1.53
2.36/2.43	c LOADED 98 V (378 E), 49 ExtensionConstraint2D, 882 DTPConstraint, arity 2, 1.53 cpu
2.74/2.81	s SATISFIABLE
2.74/2.81	o 861
2.74/2.81	v 357 81 109 106 119 158 271 256 237 75 32 33 246 174 5 3 147 148 210 21 288 294 356 357 14 17 237 260 333 322 304 12 164 0 207 221 368 368 78 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 277 102 100 73 18 
2.74/2.82	o 863
2.74/2.82	v 357 81 109 106 119 158 271 256 237 75 32 33 260 174 5 3 147 148 210 21 288 294 356 357 14 17 237 260 333 322 304 12 164 0 207 221 368 368 78 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 277 102 100 73 18 
2.74/2.82	o 864
2.74/2.82	v 357 81 109 106 119 158 271 256 237 75 32 33 260 174 5 3 147 148 210 21 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 368 78 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 277 102 100 73 18 
2.74/2.83	o 865
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 174 5 3 147 148 210 21 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 78 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 277 102 100 73 18 
2.74/2.83	o 866
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 174 5 3 147 148 210 21 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 277 102 100 73 18 
2.74/2.83	o 867
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 174 5 3 147 148 210 21 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.83	o 868
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 21 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.83	o 869
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 215 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 220 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.83	o 870
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 215 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 124 99 49 53 29 330 210 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.83	o 871
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 215 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 108 99 49 53 29 330 210 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 148 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.83	o 872
2.74/2.83	v 357 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 215 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 108 99 49 53 29 330 210 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 152 288 70 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.84	o 873
2.74/2.84	v 357 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 215 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 108 99 49 53 29 330 210 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 152 288 293 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.84	o 874
2.74/2.84	v 203 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 215 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 285 328 108 99 49 53 29 330 210 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 152 288 293 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.84	o 875
2.74/2.84	v 203 81 109 106 119 158 271 256 237 75 32 33 260 263 5 3 147 148 210 215 288 294 356 357 14 17 237 260 333 322 304 12 17 0 207 221 368 198 76 78 103 18 247 7 109 293 248 328 108 99 49 53 29 330 210 220 224 23 367 347 289 273 163 162 157 77 85 92 3 2 301 308 12 15 153 152 288 293 224 172 53 64 86 81 354 6 355 1 259 239 160 5 222 22 102 100 73 18 
2.74/2.86	o 876
2.74/2.86	v 203 81 109 106 119 158 271 285 237 75 32 33 260 269 5 3 147 148 210 215 288 294 356 357 14 17 229 258 333 58 304 12 17 0 207 221 368 198 76 78 103 72 247 7 42 296 248 288 108 107 47 53 29 330 210 220 24 23 354 347 290 273 165 167 157 77 75 92 3 2 301 308 12 15 153 151 288 293 224 172 53 64 86 81 354 6 355 1 259 256 160 5 222 223 102 100 73 18 
2.74/2.87	o 877
2.74/2.87	v 203 81 109 106 119 127 271 285 237 75 32 33 260 269 5 3 147 148 210 215 288 294 356 357 14 9 229 263 333 58 303 12 7 0 207 221 368 198 76 78 103 78 247 7 42 290 248 288 108 107 47 53 29 330 210 220 24 23 348 347 290 273 165 167 157 77 75 92 3 2 301 298 12 15 153 151 288 293 224 173 53 64 86 81 354 6 355 1 259 256 160 5 222 223 102 100 73 18 
2.85/2.91	o 878
2.85/2.91	v 203 81 109 107 105 152 265 285 237 75 32 33 265 269 5 3 147 148 210 215 288 294 356 357 14 9 229 263 333 58 303 12 7 0 207 221 368 198 76 78 103 76 248 7 32 290 248 316 108 107 47 52 29 330 210 220 24 23 348 347 282 268 165 167 154 85 75 73 3 2 239 298 12 15 154 151 288 293 226 158 53 64 86 81 354 6 355 1 259 245 160 5 222 223 102 100 67 18 
2.85/2.93	o 879
2.85/2.93	v 203 81 109 107 105 152 288 255 237 75 32 33 265 269 5 3 147 148 210 215 288 294 356 357 14 9 239 263 333 45 303 6 4 0 207 205 368 198 76 78 103 112 248 7 286 290 248 306 103 106 47 52 29 330 210 220 24 23 348 347 277 25 165 167 259 269 75 73 3 2 239 304 12 15 154 151 288 293 226 158 53 64 86 81 354 6 355 1 259 245 160 5 222 223 102 100 67 18 
2.85/2.93	o 880
2.85/2.93	v 203 81 109 107 105 152 288 255 237 75 32 33 265 269 5 3 147 148 210 215 288 294 356 357 14 9 239 263 333 45 303 6 4 0 207 205 368 198 76 78 103 112 248 7 286 290 248 161 103 106 47 52 29 330 210 220 24 23 348 347 277 25 165 167 259 269 75 73 3 2 239 304 12 15 154 151 288 293 226 158 53 64 86 81 354 6 355 1 259 245 160 5 222 223 102 100 67 18 
2.85/2.93	o 881
2.85/2.93	v 203 81 109 107 105 152 288 255 237 75 32 33 265 269 5 3 147 148 210 215 288 294 356 357 14 9 239 263 333 45 303 6 4 0 207 205 368 198 76 78 103 112 248 7 286 290 248 161 103 106 47 52 29 12 210 220 24 23 348 347 277 25 165 167 259 269 75 73 3 2 239 304 12 15 154 151 288 293 226 158 53 64 86 81 354 6 355 1 259 245 160 5 222 223 102 100 67 18 
2.85/2.99	o 882
2.85/2.99	v 203 81 109 107 105 152 256 250 237 75 32 33 262 259 5 3 147 148 210 215 288 291 356 357 14 9 248 244 328 56 287 10 10 0 206 205 368 198 76 78 109 105 352 7 286 290 248 172 103 102 47 52 29 12 210 220 18 13 348 347 156 110 165 167 273 258 75 73 3 2 239 302 12 15 154 151 288 293 227 160 53 64 86 81 356 41 355 1 259 241 160 5 222 223 102 97 67 12 
2.95/3.01	o 883
2.95/3.01	v 203 81 109 107 105 152 288 274 0 75 32 33 262 259 5 3 147 148 210 215 292 291 356 357 14 9 232 246 328 44 287 254 5 0 206 205 368 198 76 78 109 105 352 7 286 290 248 163 103 102 47 52 29 12 210 220 18 13 348 347 140 230 166 190 282 279 75 73 1 2 239 233 12 15 154 151 288 293 227 164 53 64 86 81 356 35 355 1 259 241 159 5 222 223 102 97 67 12 
2.95/3.09	o 884
2.95/3.09	v 203 81 109 106 105 152 262 243 0 75 32 33 262 257 5 3 147 148 210 215 292 295 356 357 14 9 255 229 336 53 287 226 5 0 204 205 368 198 76 78 103 73 352 7 286 290 248 238 103 97 47 52 29 12 210 220 16 13 348 347 145 226 162 169 282 263 75 73 1 2 227 42 12 15 154 151 292 293 226 157 142 64 86 81 356 4 347 1 258 253 159 5 222 223 102 101 67 13 
3.05/3.11	o 885
3.05/3.11	v 203 81 109 106 105 152 255 254 0 75 32 33 262 257 5 3 147 148 210 215 292 295 356 357 12 9 246 245 332 335 287 284 5 0 204 205 368 198 76 78 111 116 352 7 286 290 248 166 108 97 47 52 29 12 210 220 16 13 348 347 229 228 162 170 282 279 75 73 1 2 241 42 12 15 154 151 292 293 228 157 142 64 86 81 355 0 347 1 256 246 159 5 222 223 102 101 67 13 
3.15/3.26	o 886
3.15/3.26	v 203 81 109 106 103 151 289 254 0 75 32 33 269 227 5 3 147 148 210 215 291 289 356 357 13 9 258 235 334 237 287 284 5 0 204 205 368 198 76 75 103 87 352 7 286 290 248 155 107 99 45 43 29 12 210 220 11 15 348 347 228 227 131 175 282 286 75 73 0 158 240 44 12 15 152 151 292 293 224 157 142 64 86 81 357 5 351 1 251 246 159 5 226 227 102 54 67 0 
3.15/3.28	o 887
3.15/3.28	v 203 81 109 106 103 151 289 286 0 75 32 33 224 227 5 3 147 148 210 215 291 289 356 357 13 9 240 235 334 48 287 288 5 0 204 205 368 198 76 75 103 87 352 7 286 290 248 155 108 99 45 43 29 12 210 220 11 15 348 347 228 227 131 173 282 281 75 73 0 156 240 44 12 15 152 151 292 293 224 157 142 64 86 81 357 5 351 1 260 259 159 5 226 227 102 50 67 0 
3.15/3.28	o 888
3.15/3.28	v 203 81 109 106 103 151 289 286 0 75 32 33 224 227 5 3 147 148 210 215 291 289 356 357 13 9 240 235 334 48 287 288 5 0 204 205 368 198 76 75 103 87 352 7 286 290 248 155 108 99 45 43 29 12 210 220 11 15 348 347 228 227 131 129 282 281 75 73 0 156 240 44 12 15 152 151 292 293 224 157 142 64 86 81 357 5 351 1 260 259 159 5 226 227 102 50 67 0 
3.25/3.35	o 889
3.25/3.35	v 203 81 105 106 103 152 289 286 0 75 32 33 224 227 5 3 147 148 210 215 291 289 356 357 13 9 242 236 52 292 287 282 15 0 203 205 368 198 76 75 102 101 352 7 286 290 248 245 108 93 45 43 29 12 210 220 16 23 348 347 228 227 130 129 286 279 75 73 0 155 240 39 0 15 153 151 292 293 224 173 142 64 86 81 354 356 349 1 247 248 159 5 223 225 158 289 67 13 
3.25/3.37	o 890
3.25/3.37	v 203 81 105 106 103 152 289 286 0 75 32 33 224 227 5 3 147 148 210 215 291 290 356 357 13 9 242 236 54 292 286 282 15 0 203 205 368 198 76 75 111 74 352 7 286 290 248 245 107 93 45 46 29 12 210 220 16 19 348 347 228 227 130 129 283 282 75 73 1 155 240 39 0 15 153 151 292 293 224 154 142 64 86 81 354 12 349 1 247 53 159 5 223 225 292 290 67 10 
3.25/3.37	o 891
3.25/3.37	v 203 81 105 106 103 152 289 286 0 75 32 33 224 227 5 3 147 148 210 215 291 290 356 357 13 9 242 236 54 56 286 282 15 0 203 205 368 198 76 75 111 74 352 7 286 290 248 245 107 93 45 46 29 12 210 220 16 19 348 347 228 227 130 129 283 282 75 73 1 155 240 39 0 15 153 151 292 293 224 154 142 64 86 81 354 12 349 1 247 53 159 5 223 225 292 290 67 10 
3.25/3.39	o 892
3.25/3.39	v 203 81 105 106 103 152 289 286 0 75 32 33 224 227 5 3 147 148 210 215 292 290 356 357 13 9 242 238 54 53 286 282 15 0 203 205 368 198 76 74 111 74 352 7 286 290 248 245 107 105 74 80 29 12 210 220 23 19 348 347 228 227 130 129 283 282 75 73 1 155 237 39 0 15 153 151 292 293 224 166 142 50 86 81 354 5 349 1 57 53 152 5 223 225 292 290 67 7 
3.25/3.40	o 893
3.25/3.40	v 203 81 105 106 14 152 289 286 0 75 32 33 224 227 5 3 147 148 210 215 287 290 356 357 13 9 244 252 54 53 286 282 15 0 203 205 368 198 76 74 102 74 352 7 286 290 248 245 107 90 74 38 29 12 210 220 23 12 348 347 228 227 130 129 283 282 72 73 1 155 242 39 0 15 153 151 292 293 224 171 142 50 86 81 354 5 349 1 58 53 152 5 223 225 292 290 67 68 
3.54/3.60	o 894
3.54/3.60	v 203 81 103 106 4 151 289 286 0 75 33 34 224 227 5 3 147 148 210 215 286 149 356 357 11 9 261 250 51 53 286 282 15 0 202 208 368 198 76 80 107 99 352 7 286 290 248 247 107 97 76 46 29 12 210 220 18 12 348 347 228 227 125 129 281 279 66 69 1 163 240 43 0 15 161 151 291 290 290 169 280 50 86 81 357 31 352 1 57 51 152 5 223 225 292 290 65 68 
3.64/3.73	o 895
3.64/3.73	v 203 81 107 106 11 151 289 286 0 75 33 34 224 227 5 3 146 148 210 215 289 149 356 357 10 9 260 253 52 53 286 282 15 0 202 206 368 198 76 75 110 102 352 7 286 290 248 247 124 96 73 70 29 12 219 220 18 12 348 347 228 227 128 129 286 280 66 73 0 152 229 39 0 15 153 151 292 295 296 159 280 50 86 81 354 31 355 1 56 52 152 5 223 225 292 290 65 66 
3.64/3.74	o 896
3.64/3.74	v 80 81 107 106 11 149 289 286 0 75 33 34 224 227 5 3 146 148 210 215 289 149 356 357 10 9 261 223 52 53 286 282 15 0 202 206 368 198 76 75 101 102 352 7 286 290 248 247 124 104 73 70 29 12 219 220 18 12 348 347 228 227 128 129 286 280 66 73 0 152 236 44 0 15 153 151 292 295 296 159 280 50 86 81 354 35 356 1 56 52 152 5 223 225 292 290 65 66 
3.64/3.74	o 897
3.64/3.74	v 80 81 107 106 11 149 289 286 0 75 33 34 224 227 5 3 146 148 210 215 289 149 356 357 10 9 261 223 52 53 286 282 15 0 202 206 368 198 76 75 101 102 352 7 286 290 248 247 124 122 73 70 29 12 219 220 18 12 348 347 228 227 128 129 286 280 66 73 0 152 236 44 0 15 153 151 292 295 296 159 280 50 86 81 354 35 356 1 56 52 152 5 223 225 292 290 65 66 
3.74/3.80	o 898
3.74/3.80	v 80 81 102 106 10 168 289 286 0 75 33 30 224 227 5 3 146 148 210 215 286 149 356 357 10 9 258 224 52 53 286 282 15 0 202 199 368 198 76 78 105 107 352 7 286 290 248 247 124 122 73 70 29 12 219 220 11 18 348 347 228 227 132 129 284 285 66 69 0 149 236 34 0 15 153 151 291 295 304 154 280 50 86 81 354 357 4 1 56 53 152 159 223 225 292 290 65 68 
3.74/3.80	o 899
3.74/3.80	v 80 81 102 106 10 168 289 286 0 75 33 30 224 227 5 3 146 148 210 215 286 149 356 357 10 9 258 224 52 53 286 282 15 0 202 199 368 198 76 78 105 107 352 7 286 290 248 247 124 122 73 70 29 1 219 220 11 18 348 347 228 227 132 129 284 285 66 69 0 149 236 34 0 15 153 151 291 295 304 154 280 50 86 81 354 357 4 1 56 53 152 159 223 225 292 290 65 68 
185.20/187.00	o 900
185.20/187.00	v 198 0 158 0 105 18 254 12 350 14 109 24 273 0 277 278 118 28 0 1 210 209 186 188 283 282 94 13 223 51 275 30 343 340 120 16 94 198 260 19 110 1 254 79 281 17 340 54 100 5 138 36 339 246 208 196 230 10 97 94 107 37 280 5 159 11 103 30 276 4 110 18 241 242 151 21 286 9 278 21 3 8 162 37 255 56 354 356 249 10 198 13 289 1 117 24 99 8 
185.40/187.20	o 901
185.40/187.20	v 357 0 157 0 101 18 254 12 350 14 201 24 279 0 277 278 113 28 0 1 210 209 186 188 285 281 94 13 223 51 274 30 343 340 113 16 94 198 256 19 111 1 254 79 279 17 340 54 98 5 134 36 339 246 208 196 210 10 97 94 109 37 285 5 185 11 125 30 274 4 200 18 241 242 113 21 294 9 276 21 3 8 117 37 253 56 354 356 249 10 186 13 289 1 101 24 99 8 
185.40/187.20	o 902
185.40/187.20	v 357 0 106 0 101 18 254 12 350 14 201 24 279 0 277 278 113 28 0 1 210 209 186 188 285 281 94 13 223 51 274 30 343 340 113 16 94 198 256 19 111 1 254 79 279 17 340 54 98 5 134 36 339 246 208 196 210 10 97 94 109 37 285 5 185 11 125 30 274 4 200 18 241 242 113 21 294 9 276 21 3 8 117 37 253 56 354 356 249 10 186 13 289 1 101 24 99 8 
194.12/196.06	o 903
194.12/196.06	v 201 0 105 0 275 18 245 12 350 14 202 24 105 0 277 278 110 28 357 1 210 209 186 188 284 2 95 13 223 51 273 30 343 340 113 16 94 198 260 19 111 1 254 79 280 17 340 54 98 5 273 36 339 246 208 196 226 10 97 94 176 37 273 5 274 11 117 30 112 4 200 18 241 242 129 21 283 9 272 21 3 8 120 37 257 56 354 356 243 10 193 13 284 1 120 24 100 8 
300.40/303.32	o 904
300.40/303.32	v 113 356 15 283 146 327 197 270 0 353 226 328 47 315 2 351 43 317 7 348 207 310 22 354 20 281 114 115 3 356 131 310 144 338 196 229 113 366 35 278 22 289 75 93 113 320 36 334 191 281 204 324 111 349 0 324 133 322 4 338 25 324 111 285 213 314 206 286 22 311 129 320 253 271 29 308 24 289 130 314 192 315 200 322 174 318 2 329 27 285 116 282 205 287 52 317 197 294 
602.71/608.55	o 905
602.71/608.55	v 1 4 51 193 321 233 49 204 372 243 146 203 305 198 374 194 313 217 2 5 126 206 30 249 53 192 284 207 106 107 38 42 1 0 293 206 374 263 127 206 288 202 173 179 321 225 3 281 46 191 51 237 43 233 141 274 141 238 34 33 118 229 286 207 55 219 308 193 41 221 146 245 0 201 45 208 40 203 125 220 186 278 302 229 10 241 14 256 40 191 315 192 295 213 131 129 41 188 
3052.42/3064.87	o 906
3052.42/3064.87	v 4 2 124 283 158 286 31 291 27 26 226 306 39 309 140 302 195 317 146 316 167 306 263 259 1 285 31 285 104 343 30 299 160 332 9 290 150 151 209 289 195 289 3 349 154 298 242 231 31 281 156 290 0 359 126 351 149 320 218 326 94 320 1 284 145 312 224 322 19 311 243 314 212 337 11 308 41 289 85 287 2 352 159 314 101 99 123 322 8 278 221 328 212 300 145 287 0 294

Verifier Data (download as text)

OK	25	906
25 unsatisfied constraints, 906 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-1112462-1215868727/watcher-1112462-1215868727 -o /tmp/evaluation-result-1112462-1215868727/solver-1112462-1215868727 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112462-1215868727.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.00 2.00 2.00 4/81 15857
/proc/meminfo: memFree=1935520/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) R 15855 15857 15592 0 -1 4194304 295 128 0 0 0 0 0 0 21 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952766565 0 2147483391 4100 65536 0 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0

[startup+0.105659 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15857
/proc/meminfo: memFree=1935520/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201676 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15857
/proc/meminfo: memFree=1935520/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301694 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15857
/proc/meminfo: memFree=1935520/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701776 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15857
/proc/meminfo: memFree=1935520/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50293 s]
/proc/loadavg: 2.00 2.00 2.00 4/92 15869
/proc/meminfo: memFree=1920456/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=1.47
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 7629 0 1 0 142 5 0 0 18 0 10 0 43574909 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 6721 2580 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=0.93
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3661 0 1 0 91 2 0 0 25 0 10 0 43574910 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4126707364 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.12
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 2117 0 0 0 12 0 0 0 16 0 10 0 43574911 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43574911 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 43574911 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43574913 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.39
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1115 0 0 0 38 1 0 0 15 0 10 0 43574913 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 43574913 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 43574913 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15869] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15869/stat : 15869 (java) S 15857 15857 15592 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 43574974 867540992 6721 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 852564

[startup+3.10224 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 15869
/proc/meminfo: memFree=1916680/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=3.05
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9941 0 1 0 297 8 0 0 18 0 9 0 43574909 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9016 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=2.18
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3796 0 1 0 215 3 0 0 25 0 9 0 43574910 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4126989559 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4218 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.5
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1190 0 0 0 49 1 0 0 16 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 852564

[startup+6.30187 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15869
/proc/meminfo: memFree=1908872/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=6.21
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9942 0 1 0 613 8 0 0 18 0 9 0 43574909 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9016 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=5.34
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3797 0 1 0 531 3 0 0 25 0 9 0 43574910 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4126928412 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4218 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.5
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1190 0 0 0 49 1 0 0 16 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 852564

[startup+12.7021 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15869
/proc/meminfo: memFree=1908872/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=12.55
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9943 0 1 0 1247 8 0 0 18 0 9 0 43574909 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9016 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=11.67
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3797 0 1 0 1164 3 0 0 25 0 9 0 43574910 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4126989445 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4218 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.5
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 49 1 0 0 16 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 852564

[startup+25.5016 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15869
/proc/meminfo: memFree=1908808/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=25.23
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9943 0 1 0 2515 8 0 0 18 0 9 0 43574909 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9016 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=24.35
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3797 0 1 0 2432 3 0 0 25 0 9 0 43574910 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4126953195 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4218 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.5
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 49 1 0 0 16 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9016 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 852564

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 15869

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

/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 50 2 0 0 16 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3329.78
Current children cumulated vsize (KiB) 852564

[startup+3402.3 s]
/proc/loadavg: 2.52 2.56 2.45 4/90 15948
/proc/meminfo: memFree=1712472/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=3389.76
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9972 0 1 0 338960 16 0 0 18 0 9 0 43574909 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9028 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=3388.87
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3814 0 1 0 338876 11 0 0 25 0 9 0 43574910 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4126979528 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4230 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.52
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 50 2 0 0 16 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3389.76
Current children cumulated vsize (KiB) 852564

[startup+3462.3 s]
/proc/loadavg: 2.47 2.53 2.44 3/90 15948
/proc/meminfo: memFree=1712344/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=3449.73
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9972 0 1 0 344957 16 0 0 18 0 9 0 43574909 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9028 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=3448.84
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3814 0 1 0 344873 11 0 0 25 0 9 0 43574910 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4126934717 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4230 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.52
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 50 2 0 0 16 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3449.73
Current children cumulated vsize (KiB) 852564

[startup+3522.31 s]
/proc/loadavg: 2.54 2.54 2.45 3/90 15948
/proc/meminfo: memFree=1712280/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=3509.7
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9972 0 1 0 350954 16 0 0 18 0 9 0 43574909 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9028 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=3508.81
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3814 0 1 0 350870 11 0 0 25 0 9 0 43574910 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4126989377 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4230 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.52
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 50 2 0 0 16 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3509.7
Current children cumulated vsize (KiB) 852564

[startup+3582.3 s]
/proc/loadavg: 2.56 2.54 2.46 3/90 15950
/proc/meminfo: memFree=1712024/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=3569.67
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9973 0 1 0 356951 16 0 0 18 0 9 0 43574909 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9028 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=3568.77
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3815 0 1 0 356866 11 0 0 25 0 9 0 43574910 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4126944941 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4230 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.52
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 50 2 0 0 16 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3569.67
Current children cumulated vsize (KiB) 852564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 2.60 2.55 2.46 3/90 15950
/proc/meminfo: memFree=1712088/2055920 swapFree=4181128/4192956
[pid=15857] ppid=15855 vsize=5356 CPUtime=0
/proc/15857/stat : 15857 (concrete.sh) S 15855 15857 15592 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43574908 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15857/statm: 1339 242 201 169 0 50 0
[pid=15860] ppid=15857 vsize=847208 CPUtime=3600.06
/proc/15860/stat : 15860 (java) S 15857 15857 15592 0 -1 0 9973 0 1 0 359990 16 0 0 18 0 9 0 43574909 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15860/statm: 211802 9028 2583 9 0 206362 0
[pid=15860/tid=15861] ppid=15857 vsize=847208 CPUtime=3599.16
/proc/15860/task/15861/stat : 15861 (java) R 15857 15857 15592 0 -1 64 3815 0 1 0 359905 11 0 0 25 0 9 0 43574910 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4126944941 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15862] ppid=15857 vsize=847208 CPUtime=0.34
/proc/15860/task/15862/stat : 15862 (java) S 15857 15857 15592 0 -1 64 4230 0 0 0 33 1 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15863] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15863/stat : 15863 (java) S 15857 15857 15592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15864] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15864/stat : 15864 (java) S 15857 15857 15592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43574911 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15865] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15865/stat : 15865 (java) S 15857 15857 15592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15866] ppid=15857 vsize=847208 CPUtime=0.52
/proc/15860/task/15866/stat : 15866 (java) S 15857 15857 15592 0 -1 64 1191 0 0 0 50 2 0 0 16 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15860/tid=15867] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15867/stat : 15867 (java) S 15857 15857 15592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15860/tid=15868] ppid=15857 vsize=847208 CPUtime=0
/proc/15860/task/15868/stat : 15868 (java) S 15857 15857 15592 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574913 867540992 9028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 852564

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 15857 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=3999
# CPU time returned by wait4() is 0.003999
# while last known CPU time is 3600.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3612.72
CPU time (s): 3600.06
CPU user time (s): 3599.9
CPU system time (s): 0.16
CPU usage (%): 99.6496
Max. virtual memory (cumulated for all children) (KiB): 852564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.003999
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= 15
involuntary context switches= 4

runsolver used 4.39133 second user time and 12.0542 second system time

The end

Launcher Data (download as text)

Begin job on node20 at 2008-07-12 15:18:47
IDJOB=1112462
IDBENCH=61422
IDSOLVER=336
FILE ID=node20/1112462-1215868727
PBS_JOBID= 7903515
Free space on /tmp= 66504 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= ffaa9cc3319fa6165d508354e57e0a1d
RANDOM SEED=2120327033

node20.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1936000 kB
Buffers:          6676 kB
Cached:          40964 kB
SwapCached:       5944 kB
Active:          53544 kB
Inactive:        16196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1936000 kB
SwapTotal:     4192956 kB
SwapFree:      4181128 kB
Dirty:             944 kB
Writeback:           0 kB
Mapped:          37904 kB
Slab:            35304 kB
Committed_AS:   187452 kB
PageTables:       1884 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= 66500 MiB
End job on node20 at 2008-07-12 16:19:02