Trace number 1112468

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)21 3600.02 3633.52

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.56/2.66	c CPU-LOAD 1.8
2.56/2.66	c LOADED 98 V (441 E), 882 DTPConstraint, 49 ExtensionConstraint2D, arity 2, 1.8 cpu
3.05/3.10	s SATISFIABLE
3.05/3.10	o 869
3.05/3.10	v 114 91 180 179 386 419 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 279 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 350 250 282 235 105 32 310 5 98 368 115 201 143 175 123 4 74 268 110 336 239 254 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.11	o 870
3.05/3.11	v 114 91 180 179 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 279 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 350 250 282 235 105 32 310 5 98 368 115 201 143 175 123 4 74 268 110 336 239 254 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.11	o 871
3.05/3.11	v 114 91 180 179 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 279 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 250 282 235 105 32 310 5 98 368 115 201 143 175 123 4 74 268 110 336 239 254 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.11	o 872
3.05/3.11	v 114 91 180 179 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 279 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 250 282 235 105 32 310 5 98 368 115 201 143 175 123 4 74 268 110 336 239 227 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.11	o 873
3.05/3.11	v 114 91 180 179 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 279 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 250 282 235 105 32 310 5 98 368 115 201 143 175 123 4 74 150 110 336 239 227 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.12	o 874
3.05/3.12	v 114 91 180 104 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 279 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 250 282 235 105 32 310 5 98 368 115 201 143 175 123 4 74 150 110 336 239 227 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.12	o 875
3.05/3.12	v 114 91 180 104 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 250 282 235 105 32 310 5 98 368 115 201 143 175 123 4 74 150 110 336 239 227 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.12	o 876
3.05/3.12	v 114 91 180 104 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 250 282 235 105 32 310 5 98 368 115 201 143 175 102 4 74 150 110 336 239 227 228 380 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.12	o 877
3.05/3.12	v 114 91 180 104 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 250 128 235 105 32 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.13	o 878
3.05/3.13	v 114 91 180 104 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 364 128 235 105 32 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.13	o 879
3.05/3.13	v 114 91 180 104 386 380 9 79 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 364 128 235 105 311 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.13	o 880
3.05/3.13	v 114 91 180 104 386 380 9 13 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 260 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 364 128 235 105 311 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.13	o 881
3.05/3.13	v 114 91 180 104 386 380 9 13 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 207 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 328 382 50 22 15 350 356 364 128 235 105 311 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.13	o 882
3.05/3.13	v 114 91 180 104 386 380 9 13 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 207 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 362 382 50 22 15 350 356 364 128 235 105 311 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.13	o 883
3.05/3.13	v 114 91 180 104 386 380 9 13 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 229 207 45 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 362 63 50 22 15 350 356 364 128 235 105 311 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 7 209 3 198 54 
3.05/3.14	o 884
3.05/3.14	v 114 91 180 104 386 380 9 0 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 114 284 288 354 345 426 429 206 207 285 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 362 63 50 22 15 350 353 364 128 235 105 311 310 5 98 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 103 109 111 228 9 344 16 209 3 198 54 
3.05/3.15	o 885
3.05/3.15	v 114 91 180 104 386 380 9 0 258 272 359 366 0 259 1 285 240 230 204 206 251 397 106 100 15 8 284 288 354 345 426 429 206 207 285 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 362 63 50 1 15 350 353 364 128 235 105 311 310 5 101 226 115 201 143 175 102 4 74 150 110 336 239 227 223 394 366 5 54 417 405 260 24 109 111 228 9 344 16 209 3 198 54 
3.05/3.16	o 886
3.05/3.16	v 114 91 180 104 386 380 9 0 258 272 359 366 254 259 1 332 240 230 204 206 251 397 106 100 2 8 284 288 354 345 426 429 206 207 285 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 362 63 50 1 15 350 353 364 128 235 105 311 310 5 101 226 115 201 143 175 102 4 74 162 110 336 239 227 223 394 366 5 54 417 405 260 24 109 111 228 9 344 16 209 3 198 54 
3.05/3.16	o 887
3.05/3.16	v 114 91 180 104 386 380 9 0 258 272 359 366 254 259 1 332 240 230 204 206 251 397 106 100 2 8 284 288 354 345 426 429 206 207 285 115 116 109 18 22 195 434 229 259 111 397 126 119 219 103 427 362 63 50 1 15 350 353 364 128 235 105 311 310 5 101 226 115 201 143 175 102 4 74 162 110 336 330 227 223 394 366 5 54 417 405 260 24 109 111 228 9 344 16 209 3 198 54 
3.05/3.17	o 888
3.05/3.17	v 114 91 180 104 386 380 9 0 258 272 359 366 246 259 1 343 240 230 204 206 251 142 106 100 2 8 284 288 354 345 426 429 206 207 285 115 116 109 18 22 195 434 229 257 111 397 126 119 219 103 427 362 63 50 1 15 350 52 364 128 235 128 311 310 5 101 226 115 201 143 175 102 4 74 225 110 336 333 227 235 394 366 16 54 417 405 318 24 109 111 228 9 344 16 209 3 198 54 
3.05/3.17	o 889
3.05/3.17	v 114 91 180 104 386 380 9 0 258 272 359 366 246 259 1 343 240 230 204 206 251 250 106 100 2 8 284 288 354 345 426 429 206 207 285 115 116 109 18 22 195 434 229 257 111 397 126 119 219 103 427 362 63 50 1 15 350 52 364 128 235 128 311 310 5 101 226 115 201 143 175 102 4 74 225 110 336 333 227 235 394 366 16 54 417 405 318 24 109 111 228 9 344 16 209 3 198 54 
3.14/3.21	o 890
3.14/3.21	v 114 91 180 40 386 380 9 0 259 272 359 366 246 259 1 343 240 230 204 206 251 250 106 100 2 8 284 288 356 355 426 429 206 207 287 35 116 109 18 22 195 434 249 257 388 397 126 119 219 103 427 362 63 50 1 15 350 37 376 356 235 108 311 310 5 100 226 115 201 143 175 102 4 74 223 110 336 333 230 95 394 111 8 54 417 405 329 24 123 111 228 7 343 26 209 3 198 54 
3.14/3.22	o 891
3.14/3.22	v 114 91 180 23 386 380 9 0 259 272 359 366 246 250 1 343 240 230 204 206 251 250 106 100 2 19 284 288 348 355 426 429 206 207 287 288 116 109 18 22 195 434 249 245 388 397 126 119 219 103 427 362 63 50 1 15 350 59 376 356 235 108 311 310 5 29 226 103 201 143 175 102 4 74 223 109 336 333 230 98 394 112 8 54 417 405 347 24 123 111 228 7 343 26 209 3 198 54 
3.14/3.22	o 892
3.14/3.22	v 114 91 180 23 386 380 9 0 259 272 359 366 246 250 1 343 240 230 204 206 251 250 106 100 2 19 284 288 348 355 426 429 206 207 287 288 116 109 18 22 195 434 249 245 388 397 126 119 219 103 427 362 63 50 1 15 350 59 376 356 235 108 311 310 5 29 226 103 201 143 175 102 4 74 223 109 336 333 230 98 394 112 8 54 417 94 347 24 123 111 228 7 343 26 209 3 198 54 
3.14/3.28	o 893
3.14/3.28	v 114 91 180 47 386 380 9 0 257 258 359 366 251 260 1 330 240 230 204 206 251 250 106 100 10 103 287 288 349 352 426 429 206 207 287 288 116 109 18 22 195 434 240 236 388 397 131 119 219 103 427 362 63 50 1 15 351 30 372 123 234 98 311 310 5 14 235 114 201 143 175 102 3 74 223 109 336 333 226 70 394 374 6 54 417 94 347 24 123 111 238 28 343 1 209 6 198 54 
3.14/3.28	o 894
3.14/3.28	v 114 91 180 47 386 380 9 0 257 258 359 366 251 255 1 330 240 230 204 206 251 250 106 100 10 99 287 288 349 352 426 429 206 207 287 288 116 109 18 22 195 434 240 236 388 397 131 119 219 103 427 362 63 50 1 15 351 30 372 368 252 98 311 310 5 14 235 114 201 143 128 102 3 74 223 64 336 333 226 97 394 374 6 54 417 94 347 24 123 111 238 32 344 33 209 6 198 54 
3.95/4.05	o 895
3.95/4.05	v 90 91 181 182 386 380 8 0 268 258 359 366 247 246 2 94 240 230 204 206 251 250 99 100 7 15 284 292 353 362 426 429 204 208 287 288 117 109 16 22 195 434 230 252 388 397 131 119 219 103 427 362 63 50 1 15 348 41 371 111 223 98 311 310 0 23 232 104 201 143 129 102 2 74 226 70 332 330 225 91 389 353 7 54 417 94 346 24 129 111 247 27 343 10 211 1 198 54 
5.14/5.21	o 896
5.14/5.21	v 89 91 181 182 386 380 2 0 250 260 359 366 251 250 333 341 240 230 204 206 251 250 98 100 9 4 284 292 349 348 426 429 210 206 287 288 116 109 6 22 195 434 231 255 388 397 131 84 219 103 427 362 63 50 1 15 352 25 355 135 242 98 311 310 3 34 233 110 201 143 124 102 6 74 173 65 231 339 231 105 390 358 5 50 417 94 347 24 131 111 232 38 352 5 211 1 198 54 
5.93/6.00	o 897
5.93/6.00	v 90 91 181 182 386 380 6 4 271 265 359 366 250 11 335 337 240 230 204 206 251 250 98 100 3 4 285 290 354 351 426 429 209 210 287 288 116 109 5 22 195 434 238 235 388 397 132 84 219 103 427 409 63 50 1 15 353 96 381 99 251 98 311 310 0 9 235 114 201 143 125 102 400 74 174 64 232 27 249 252 361 358 2 1 417 94 348 24 126 111 223 96 328 2 210 0 198 54 
6.71/6.80	o 898
6.71/6.80	v 89 91 181 182 386 380 6 4 250 254 359 366 259 256 336 339 240 230 204 206 251 250 98 100 8 4 288 286 354 352 426 429 206 205 287 288 116 109 8 22 195 434 267 266 388 397 132 84 219 103 427 409 63 50 1 15 351 31 346 119 251 98 311 310 0 16 227 94 201 143 122 102 402 74 172 57 230 8 247 237 361 358 0 1 417 94 345 24 121 111 218 25 353 24 207 0 198 54 
10.97/11.12	o 899
10.97/11.12	v 89 91 181 182 386 380 0 5 256 251 359 366 258 248 337 344 240 230 204 206 251 250 98 100 1 4 288 285 350 355 426 429 204 210 287 288 115 109 7 22 195 434 246 259 388 397 131 84 219 103 427 409 63 50 1 15 349 24 346 6 246 98 311 310 1 16 229 117 201 143 121 102 402 74 181 169 240 20 261 85 361 358 8 1 417 94 346 24 126 111 218 28 355 24 209 0 198 54 
79.42/80.29	o 900
79.42/80.29	v 89 91 181 182 386 380 4 3 260 257 359 366 249 96 337 341 240 230 201 210 251 250 98 100 0 4 288 294 356 380 346 429 206 204 287 288 115 109 8 22 195 434 231 236 388 397 132 84 219 103 427 409 63 50 1 15 347 95 346 95 239 98 311 310 0 3 238 111 198 143 116 102 402 74 181 171 240 9 241 85 361 358 5 1 417 94 348 24 130 111 216 84 319 1 212 0 198 54 
113.90/115.09	o 901
113.90/115.09	v 204 211 137 138 16 434 332 340 241 342 2 23 43 38 119 120 429 432 396 395 258 260 0 1 303 294 23 25 21 12 411 388 105 99 295 294 95 120 218 216 431 434 89 100 58 398 263 238 424 242 186 183 70 394 8 26 355 354 10 5 177 178 213 211 250 256 104 100 80 81 208 203 201 373 362 364 1 0 98 102 264 263 302 298 137 143 68 65 359 350 200 205 0 3 341 346 331 330 
114.00/115.11	o 902
114.00/115.11	v 204 210 137 138 16 434 333 332 241 342 2 23 40 39 119 120 429 432 396 395 258 260 0 1 303 294 23 25 4 26 411 388 105 108 295 294 103 96 213 216 431 434 89 81 58 398 297 232 424 242 186 183 70 394 8 26 355 354 10 5 177 178 213 211 250 256 104 101 80 81 208 203 201 197 371 385 1 0 98 102 264 263 302 298 137 143 68 65 359 348 200 205 0 3 341 346 331 330 
114.10/115.20	o 903
114.10/115.20	v 203 212 137 138 16 434 352 351 241 342 2 23 43 27 119 120 429 432 396 395 258 260 7 4 303 294 22 21 17 20 411 388 105 109 295 294 85 89 214 216 431 434 98 90 58 398 298 289 424 242 186 183 70 394 8 26 355 354 10 5 177 178 213 211 250 256 104 101 80 81 203 208 201 194 376 385 1 0 98 102 264 263 302 298 137 143 68 65 360 354 200 205 0 7 344 340 331 330 
114.10/115.25	o 904
114.10/115.25	v 208 207 137 138 16 18 341 351 243 245 2 23 43 36 119 120 429 432 396 395 258 260 3 6 303 294 22 23 0 24 411 388 105 109 295 294 93 106 214 216 431 434 94 201 58 398 295 289 424 242 186 183 70 394 8 26 355 354 10 5 177 178 213 211 250 256 104 101 80 81 206 202 203 202 382 385 1 0 98 102 264 263 302 298 137 143 68 65 360 347 200 205 0 5 344 343 331 330 
220.58/222.76	o 905
220.58/222.76	v 12 10 360 365 5 114 141 136 27 123 434 432 237 227 334 110 6 3 264 272 230 124 346 127 18 124 16 114 298 134 253 252 365 127 0 115 271 126 29 131 214 227 106 104 389 12 208 216 433 432 317 328 354 375 82 64 273 126 387 147 387 169 225 229 0 113 295 103 369 367 216 124 217 147 317 313 8 111 15 112 276 265 378 381 420 109 286 111 362 108 271 158 197 196 10 17 258 150 
220.88/223.06	o 906
220.88/223.06	v 12 24 360 365 5 114 137 136 17 43 434 432 237 227 326 110 6 3 264 272 231 124 343 117 17 124 16 114 292 128 253 252 364 107 1 115 271 126 32 131 214 227 113 104 389 12 208 216 433 432 317 328 354 375 82 64 267 126 386 147 386 169 225 229 3 113 295 106 369 367 216 124 208 147 317 313 0 111 15 112 276 265 378 381 421 109 278 111 357 108 267 159 197 196 10 17 258 150 
262.68/265.22	o 907
262.68/265.22	v 13 14 360 365 5 114 140 136 18 29 434 432 237 227 335 110 6 3 264 272 225 124 343 116 18 124 17 114 298 128 253 252 361 115 3 115 273 126 30 131 214 227 105 104 389 395 208 216 433 432 317 328 354 375 82 64 266 126 386 147 387 169 225 229 6 113 292 102 369 367 210 124 215 147 317 313 10 111 8 112 276 265 378 381 421 109 270 111 357 108 267 107 197 196 10 17 258 150 
400.89/404.74	o 908
400.89/404.74	v 341 111 203 205 1 198 6 114 21 112 321 311 358 119 0 114 368 197 316 164 410 97 217 113 10 125 215 104 6 121 412 428 225 112 327 131 213 108 28 80 316 162 22 116 110 338 213 115 334 181 415 177 353 7 388 386 12 111 292 109 410 134 354 351 1 108 203 115 391 133 3 128 390 165 351 149 216 124 0 114 317 183 243 140 313 119 300 130 224 145 210 123 369 142 5 112 434 200 
1565.38/1580.22	o 909
1565.38/1580.22	v 269 14 372 362 438 0 235 13 106 30 4 26 154 19 233 1 331 6 235 1 199 3 345 0 359 355 101 89 103 95 338 315 235 2 177 21 355 22 240 10 434 1 360 4 173 65 231 8 150 54 321 26 215 220 177 4 93 72 343 8 405 403 195 1 235 0 255 8 177 47 234 241 289 290 342 8 333 18 76 55 406 31 178 11 320 67 291 8 370 29 194 196 362 30 97 28 434 34 
2577.90/2602.39	o 910
2577.90/2602.39	v 353 345 5 6 1 0 263 270 71 70 157 160 178 176 193 208 433 177 306 309 101 98 0 146 340 337 6 9 64 60 433 281 127 126 295 293 354 352 205 219 33 50 136 129 97 94 296 292 426 15 247 239 271 267 72 70 208 205 2 3 170 165 408 404 62 59 331 335 297 295 392 390 306 310 106 103 66 63 169 177 356 354 4 8 418 385 135 138 321 323 3 1 223 220 22 121 292 284

Verifier Data (download as text)

OK	21	910
21 unsatisfied constraints, 910 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-1112468-1215868751/watcher-1112468-1215868751 -o /tmp/evaluation-result-1112468-1215868751/solver-1112468-1215868751 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112468-1215868751.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.65 2.80 2.90 4/81 18788
/proc/meminfo: memFree=1918904/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 43574022 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 235371462738 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/18788/statm: 1339 230 191 169 0 50 0
[pid=18789] ppid=18788 vsize=124 CPUtime=0
/proc/18789/stat : 18789 (dirname) R 18788 18788 18399 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 43574022 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 235368674581 0 0 4096 0 0 0 0 17 1 0 0
/proc/18789/statm: 31 22 16 3 0 3 0

[startup+0.020959 s]
/proc/loadavg: 2.65 2.80 2.90 4/81 18788
/proc/meminfo: memFree=1918904/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10399 s]
/proc/loadavg: 2.65 2.80 2.90 4/81 18788
/proc/meminfo: memFree=1918904/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301999 s]
/proc/loadavg: 2.65 2.80 2.90 4/81 18788
/proc/meminfo: memFree=1918904/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701036 s]
/proc/loadavg: 2.65 2.80 2.90 4/81 18788
/proc/meminfo: memFree=1918904/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50211 s]
/proc/loadavg: 2.65 2.80 2.90 4/92 18800
/proc/meminfo: memFree=1903840/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=1.47
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 7557 0 1 0 141 6 0 0 18 0 10 0 43574023 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 6656 2582 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=0.94
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3582 0 1 0 91 3 0 0 25 0 10 0 43574023 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4126712292 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.1
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 2125 0 0 0 10 0 0 0 16 0 10 0 43574025 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43574025 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 43574025 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43574027 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.38
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1115 0 0 0 38 0 0 0 15 0 10 0 43574027 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 43574027 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 43574027 867405824 6656 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18800] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18800/stat : 18800 (java) S 18788 18788 18399 0 -1 64 3 0 0 0 0 0 0 0 22 0 10 0 43574087 867405824 6656 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) 852432

[startup+3.10225 s]
/proc/loadavg: 2.65 2.80 2.90 3/92 18800
/proc/meminfo: memFree=1900704/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=3.05
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10195 0 1 0 298 7 0 0 18 0 9 0 43574023 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9271 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=2.23
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3718 0 1 0 220 3 0 0 25 0 9 0 43574023 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4125237464 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.34
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4579 0 0 0 32 2 0 0 16 0 9 0 43574025 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.46
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1161 0 0 0 45 1 0 0 15 0 9 0 43574027 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9271 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9271 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) 852432

[startup+6.30154 s]
/proc/loadavg: 2.60 2.79 2.89 3/91 18800
/proc/meminfo: memFree=1891104/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=6.23
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10203 0 1 0 615 8 0 0 18 0 9 0 43574023 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9277 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=5.38
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3719 0 1 0 535 3 0 0 25 0 9 0 43574023 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4126915468 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.34
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4579 0 0 0 32 2 0 0 16 0 9 0 43574025 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.47
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 46 1 0 0 16 0 9 0 43574027 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9277 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 852432

[startup+12.7021 s]
/proc/loadavg: 2.55 2.78 2.89 3/91 18800
/proc/meminfo: memFree=1891168/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=12.56
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10206 0 1 0 1248 8 0 0 18 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9279 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=11.73
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3720 0 1 0 1169 4 0 0 25 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4126864813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.34
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4581 0 0 0 32 2 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.47
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 46 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 852432

[startup+25.5013 s]
/proc/loadavg: 2.43 2.74 2.87 3/91 18800
/proc/meminfo: memFree=1891360/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=25.24
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10206 0 1 0 2516 8 0 0 18 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9279 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=24.4
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3720 0 1 0 2436 4 0 0 25 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4126864813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.34
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4581 0 0 0 32 2 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.47
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 46 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 852432

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

/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 47 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3370.41
Current children cumulated vsize (KiB) 852432

[startup+3462.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/91 18806
/proc/meminfo: memFree=1886880/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=3429.85
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10219 0 1 0 342972 13 0 0 18 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9279 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=3428.99
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3733 0 1 0 342890 9 0 0 25 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4126848871 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.35
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4581 0 0 0 33 2 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.48
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 47 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3429.85
Current children cumulated vsize (KiB) 852432

[startup+3522.3 s]
/proc/loadavg: 2.36 2.10 2.02 3/91 18806
/proc/meminfo: memFree=1886752/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=3489.29
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10220 0 1 0 348915 14 0 0 18 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9279 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=3488.43
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3734 0 1 0 348834 9 0 0 25 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4126854992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.35
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4581 0 0 0 33 2 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.48
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 47 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3489.29
Current children cumulated vsize (KiB) 852432

[startup+3582.3 s]
/proc/loadavg: 2.25 2.13 2.04 3/92 18859
/proc/meminfo: memFree=1706528/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=3548.87
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10220 0 1 0 354872 15 0 0 18 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9279 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=3548.02
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3734 0 1 0 354791 11 0 0 25 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4126848729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.35
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4581 0 0 0 33 2 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.48
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 47 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3548.87
Current children cumulated vsize (KiB) 852432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633.5 s]
/proc/loadavg: 2.27 2.15 2.05 3/92 18859
/proc/meminfo: memFree=1065248/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=3600.02
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10220 0 1 0 359977 25 0 0 18 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9279 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=3599.17
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3734 0 1 0 359896 21 0 0 25 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4126855125 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.35
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4581 0 0 0 33 2 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.48
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 47 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 852432

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

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

[startup+3633.5 s]
/proc/loadavg: 2.27 2.15 2.05 3/92 18859
/proc/meminfo: memFree=1065248/2055920 swapFree=4192812/4192956
[pid=18788] ppid=18786 vsize=5356 CPUtime=0
/proc/18788/stat : 18788 (concrete.sh) S 18786 18788 18399 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43574022 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18788/statm: 1339 242 201 169 0 50 0
[pid=18791] ppid=18788 vsize=847076 CPUtime=3600.02
/proc/18791/stat : 18791 (java) S 18788 18788 18399 0 -1 0 10220 0 1 0 359977 25 0 0 18 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18791/statm: 211769 9279 2585 9 0 206329 0
[pid=18791/tid=18792] ppid=18788 vsize=847076 CPUtime=3599.17
/proc/18791/task/18792/stat : 18792 (java) R 18788 18788 18399 0 -1 64 3734 0 1 0 359896 21 0 0 25 0 9 0 43574023 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4126855125 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18791/tid=18793] ppid=18788 vsize=847076 CPUtime=0.35
/proc/18791/task/18793/stat : 18793 (java) S 18788 18788 18399 0 -1 64 4581 0 0 0 33 2 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18794] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18794/stat : 18794 (java) S 18788 18788 18399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18795] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18795/stat : 18795 (java) S 18788 18788 18399 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43574025 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18796] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18796/stat : 18796 (java) S 18788 18788 18399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18797] ppid=18788 vsize=847076 CPUtime=0.48
/proc/18791/task/18797/stat : 18797 (java) S 18788 18788 18399 0 -1 64 1168 0 0 0 47 1 0 0 16 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18798] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18798/stat : 18798 (java) S 18788 18788 18399 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18791/tid=18799] ppid=18788 vsize=847076 CPUtime=0
/proc/18791/task/18799/stat : 18799 (java) S 18788 18788 18399 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43574027 867405824 9279 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 852432

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18788 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.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3633.52
CPU time (s): 3600.02
CPU user time (s): 3599.77
CPU system time (s): 0.25
CPU usage (%): 99.0779
Max. virtual memory (cumulated for all children) (KiB): 852432

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= 8
involuntary context switches= 5

runsolver used 4.22536 second user time and 12.3221 second system time

The end

Launcher Data (download as text)

Begin job on node51 at 2008-07-12 15:19:11
IDJOB=1112468
IDBENCH=61423
IDSOLVER=336
FILE ID=node51/1112468-1215868751
PBS_JOBID= 7903529
Free space on /tmp= 66560 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-2.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-1112468-1215868751/watcher-1112468-1215868751 -o /tmp/evaluation-result-1112468-1215868751/solver-1112468-1215868751 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112468-1215868751.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 117b721453f3a20943f277ff453ea279
RANDOM SEED=921464834

node51.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.218
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.218
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:       1919384 kB
Buffers:          3144 kB
Cached:          39492 kB
SwapCached:          0 kB
Active:          75800 kB
Inactive:         7640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1919384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1040 kB
Writeback:           0 kB
Mapped:          60972 kB
Slab:            38192 kB
Committed_AS:   248688 kB
PageTables:       1964 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= 66040 MiB
End job on node51 at 2008-07-12 16:19:47