Trace number 1112461

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-30MSAT (TO)22 3600 3602.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.22/3.54	c CPU-LOAD 1.45
2.22/3.54	c LOADED 98 V (378 E), 49 ExtensionConstraint2D, 882 DTPConstraint, arity 2, 1.45 cpu
2.52/3.89	s SATISFIABLE
2.52/3.89	o 858
2.52/3.89	v 356 320 225 238 90 84 67 194 173 179 9 9 1 62 341 63 122 1 360 26 148 8 214 84 121 27 242 242 32 97 296 56 225 227 147 41 292 83 267 58 139 60 182 28 319 48 340 16 204 4 212 64 139 164 262 2 14 16 232 79 114 76 266 62 171 164 321 301 164 1 133 6 318 65 56 12 232 26 224 68 185 187 226 2 334 2 357 356 33 21 280 25 76 62 154 146 246 4 
2.52/3.90	o 859
2.52/3.90	v 356 320 225 238 90 84 67 194 173 179 9 9 1 62 341 63 122 1 360 26 148 8 214 84 121 27 242 242 32 97 296 56 225 227 147 41 292 83 267 58 139 61 182 28 319 48 340 16 222 4 212 64 139 164 262 2 13 16 232 79 114 76 266 62 171 164 321 295 164 23 133 6 339 65 56 63 232 26 224 68 185 187 226 2 334 2 357 356 33 21 280 13 76 62 154 146 246 4 
2.52/3.90	o 860
2.52/3.90	v 356 320 225 238 90 84 67 194 173 179 4 9 1 62 341 63 122 1 360 26 148 8 214 84 121 27 242 242 32 97 296 56 225 227 147 41 292 83 267 58 139 61 182 28 319 48 340 16 222 4 212 64 139 164 262 2 13 16 232 79 114 76 266 62 171 164 321 295 164 23 133 6 339 65 56 63 232 26 224 68 185 187 226 2 334 2 357 356 33 21 280 13 76 62 154 146 246 4 
2.62/3.90	o 861
2.62/3.90	v 356 320 225 238 90 84 67 194 173 179 4 9 1 62 341 63 122 1 360 26 148 8 214 84 121 27 242 242 32 97 296 56 225 227 147 41 292 83 267 58 139 61 182 28 319 48 340 16 222 4 212 64 139 164 262 2 13 16 232 79 114 76 266 278 171 164 321 295 164 23 133 6 339 65 56 63 232 26 224 21 185 187 210 2 334 2 357 356 33 21 280 13 76 62 154 146 246 4 
2.62/3.90	o 862
2.62/3.90	v 356 320 225 238 90 84 67 194 173 179 4 9 1 62 341 63 122 1 360 26 148 8 214 84 121 27 242 242 32 97 296 50 226 227 147 41 292 83 267 58 139 61 182 28 319 48 340 16 222 4 212 64 139 164 262 2 13 16 232 79 114 76 266 278 171 164 321 295 164 23 136 6 339 329 56 63 225 26 224 21 185 187 210 2 332 2 357 356 33 21 280 13 76 70 154 146 246 4 
2.62/3.90	o 864
2.62/3.90	v 356 320 225 238 90 84 196 194 173 179 4 9 1 62 341 63 122 1 360 26 148 8 214 84 121 27 242 242 32 97 296 50 226 227 147 41 292 83 267 58 139 61 182 28 319 48 340 16 213 4 212 64 139 164 291 2 13 16 232 79 114 76 266 278 171 164 321 295 164 23 136 6 339 329 56 63 225 26 224 21 185 187 210 2 332 2 357 356 33 21 280 13 76 70 154 146 246 4 
2.62/3.91	o 865
2.62/3.91	v 356 320 225 238 90 84 196 194 173 179 4 9 1 62 341 63 122 1 360 26 148 8 214 84 119 27 242 242 32 97 296 50 226 227 147 41 292 83 267 58 139 61 182 28 319 48 340 16 213 4 212 64 139 164 291 2 13 16 232 79 114 76 266 278 171 164 321 295 164 23 136 6 339 329 56 63 225 26 231 21 185 187 210 2 332 2 357 356 33 21 280 13 76 70 154 146 246 4 
2.62/3.91	o 866
2.62/3.91	v 356 320 225 238 92 84 196 194 173 179 12 11 1 62 341 63 122 1 360 26 148 8 214 84 119 27 242 242 32 97 296 50 226 227 147 41 292 83 267 58 135 61 182 28 319 48 340 16 223 4 212 64 139 164 291 2 13 16 232 79 114 76 266 278 171 164 321 295 164 23 136 6 315 329 56 63 225 26 231 21 185 187 210 2 332 2 357 356 33 21 280 13 76 70 154 146 246 4 
2.62/3.91	o 870
2.62/3.91	v 356 320 225 238 92 84 196 199 173 179 12 14 1 62 341 63 122 1 360 26 148 8 214 84 119 27 242 242 32 97 296 50 226 227 147 41 292 83 267 58 135 61 182 28 319 48 340 16 223 4 212 64 139 164 291 2 13 16 232 79 114 76 266 278 171 164 321 295 164 23 136 6 315 329 56 63 225 26 231 21 185 187 210 2 332 2 357 356 33 21 280 13 151 70 154 146 246 4 
2.62/3.92	o 871
2.62/3.92	v 356 320 225 238 94 84 196 199 173 179 12 14 1 62 341 63 122 1 360 26 148 8 214 84 119 27 242 242 8 97 296 50 226 227 147 41 292 83 267 57 135 61 182 28 319 48 340 16 223 4 217 64 139 164 291 2 13 16 232 79 114 76 266 278 171 164 321 295 164 23 136 6 315 80 56 63 225 26 231 21 185 187 210 2 332 2 357 356 33 21 280 13 151 70 141 146 246 4 
2.62/3.93	o 872
2.62/3.93	v 356 320 225 238 94 62 203 199 375 179 12 14 118 74 341 63 122 12 360 26 148 8 212 84 119 27 242 242 8 97 296 50 225 73 147 41 292 83 272 57 135 61 182 28 319 48 340 16 224 4 217 64 139 164 137 2 13 16 0 79 114 76 266 26 171 164 322 295 164 23 139 6 315 80 66 63 222 26 231 21 185 187 210 2 332 12 357 356 33 21 280 49 151 70 141 50 246 10 
2.62/3.93	o 874
2.62/3.93	v 356 320 225 238 94 62 203 199 375 179 12 14 118 74 341 63 122 12 360 26 148 8 212 84 119 27 242 242 8 97 296 50 225 73 147 41 3 83 272 57 135 61 182 28 319 48 340 16 224 4 217 64 139 164 137 2 13 16 0 79 114 76 266 26 171 164 322 295 164 23 139 6 315 80 66 63 222 26 231 21 185 187 210 2 332 12 357 356 33 21 280 49 151 70 141 50 232 10 
2.62/3.93	o 875
2.62/3.93	v 356 320 225 238 94 62 203 199 375 179 12 14 118 59 341 63 122 12 360 26 148 8 212 84 119 27 242 250 8 97 296 50 225 73 147 41 3 83 272 60 135 61 182 28 319 48 340 16 224 4 217 64 139 164 137 2 13 16 0 79 114 76 266 26 171 164 322 295 164 23 139 6 315 80 66 63 222 26 231 21 185 187 210 2 332 12 357 356 224 21 280 49 151 70 141 50 242 10 
2.62/3.93	o 876
2.62/3.93	v 356 320 225 238 94 62 203 199 375 70 12 14 118 59 341 63 122 12 360 26 148 8 212 84 119 27 242 250 8 97 296 50 225 73 147 41 3 83 272 60 135 61 182 28 319 48 340 16 224 4 217 64 139 164 137 2 13 16 0 79 114 76 266 26 171 164 322 295 164 23 139 6 315 80 66 63 222 26 231 21 185 187 210 2 332 12 357 356 224 21 280 49 151 70 141 50 242 10 
2.62/3.95	o 877
2.62/3.95	v 356 320 225 238 94 62 203 199 375 7 12 14 118 78 341 63 122 12 360 26 148 8 212 84 120 27 242 250 8 97 263 50 225 83 147 41 3 83 281 267 136 61 182 28 225 48 340 16 223 4 284 64 165 164 137 2 242 16 0 79 114 76 266 10 176 177 322 295 164 21 338 6 315 80 68 63 225 26 245 7 185 187 205 2 332 12 357 356 224 21 280 49 151 70 141 50 242 10 
2.62/3.95	o 878
2.62/3.95	v 356 320 225 238 94 62 203 199 375 7 12 14 118 78 341 63 122 12 360 26 148 8 212 84 120 27 242 250 8 97 263 50 225 83 147 41 3 83 276 267 136 61 182 28 225 48 340 16 223 4 284 64 165 164 137 2 242 16 0 79 114 76 284 10 176 177 318 295 164 21 335 6 333 80 68 63 225 26 245 7 185 187 205 2 332 12 357 356 224 21 280 49 151 70 141 50 233 10 
2.62/3.97	o 884
2.62/3.97	v 356 320 225 238 94 62 203 3 375 7 12 14 125 78 341 63 122 12 360 26 150 8 212 84 236 27 242 240 243 97 263 50 343 83 147 41 3 83 276 54 136 61 187 57 166 48 340 16 223 4 1 64 165 164 137 2 238 16 0 79 114 76 284 10 175 168 315 53 164 21 335 6 333 51 85 63 225 26 263 7 185 187 205 2 333 12 357 356 221 21 266 49 149 70 154 50 233 10 
2.62/3.98	o 885
2.62/3.98	v 356 320 225 238 94 62 203 3 375 7 12 14 125 78 341 63 122 12 360 26 150 8 212 84 236 27 242 240 243 97 263 50 343 83 147 41 3 83 276 54 136 61 187 57 166 48 340 16 223 4 1 64 165 164 137 62 238 16 0 79 114 76 284 10 175 168 315 53 164 21 335 6 333 51 85 63 225 26 263 7 185 187 205 2 333 12 357 356 221 21 266 49 149 70 154 50 233 10 
2.62/3.98	o 886
2.62/3.98	v 356 320 225 238 94 62 203 3 375 7 12 14 295 86 341 63 122 12 360 26 150 8 212 84 236 27 233 240 243 97 262 50 343 83 147 41 3 83 276 54 136 61 187 57 166 48 340 49 223 39 234 64 165 164 137 62 238 16 0 79 114 76 284 10 166 168 322 53 164 21 335 6 155 51 85 63 225 26 263 7 185 187 205 2 126 12 357 356 219 21 266 49 149 22 149 50 233 10 
2.62/3.99	o 887
2.62/3.99	v 356 320 225 16 94 62 203 3 375 7 10 14 295 86 341 63 122 12 360 26 150 8 212 84 236 27 233 240 243 97 262 50 343 83 147 41 3 83 276 54 136 61 187 57 166 48 340 49 223 39 234 64 165 164 137 62 238 16 0 79 114 76 284 10 166 168 319 53 164 21 335 6 155 51 85 63 225 26 263 7 185 187 205 2 126 12 357 356 219 21 266 49 149 22 149 50 233 10 
2.62/3.99	o 888
2.62/3.99	v 356 73 225 16 148 62 203 3 375 7 10 14 295 86 341 63 122 12 360 26 150 8 212 84 236 27 233 240 243 97 262 50 343 83 147 41 3 83 276 7 136 61 332 57 166 48 340 49 223 39 236 64 165 164 137 62 235 16 0 79 114 76 284 10 169 17 319 53 168 21 335 6 155 51 82 63 225 26 263 7 185 187 205 2 126 12 357 356 219 21 266 49 149 22 149 50 233 10 
2.71/4.02	o 890
2.71/4.02	v 359 73 232 16 117 62 192 0 375 7 10 14 295 86 341 63 123 12 360 26 150 8 211 84 240 27 234 55 14 97 262 50 343 83 153 41 3 83 244 59 136 61 174 57 166 48 332 49 223 39 236 64 3 164 134 62 235 16 0 79 114 76 284 10 168 17 311 53 168 21 335 6 154 51 84 63 250 26 264 7 185 187 192 2 126 12 357 356 217 21 266 49 149 22 149 50 240 10 
2.71/4.04	o 891
2.71/4.04	v 356 73 232 7 114 62 192 28 375 7 170 14 287 86 341 63 241 12 360 26 166 26 209 118 240 27 246 55 14 97 262 50 343 33 153 41 3 83 244 59 137 61 328 57 166 48 332 49 223 39 234 64 3 164 134 62 237 16 0 79 115 76 284 54 165 17 311 53 169 21 335 6 155 51 85 63 250 26 253 7 185 187 192 2 126 12 357 356 219 21 266 49 149 22 150 50 240 10 
2.71/4.06	o 892
2.71/4.06	v 356 73 232 7 114 62 192 28 375 7 185 14 287 86 341 63 279 12 360 26 166 26 209 118 240 27 232 55 14 97 264 50 343 33 153 41 3 83 244 59 134 61 328 57 170 48 334 49 227 39 234 64 3 164 134 62 237 16 0 79 116 76 284 54 166 17 311 53 169 21 335 6 155 51 85 63 245 0 250 7 185 187 192 2 126 12 357 356 219 21 274 49 149 22 148 50 240 10 
2.71/4.06	o 893
2.71/4.06	v 356 73 232 7 114 62 192 28 375 7 185 14 287 46 341 63 279 12 360 26 147 26 209 118 240 27 232 38 14 97 256 50 340 33 153 41 3 83 244 55 134 61 328 57 168 48 334 49 229 39 234 64 3 164 134 62 237 16 0 79 116 76 284 54 166 17 311 53 169 21 335 6 155 51 85 63 247 0 250 7 185 187 192 2 126 12 357 356 219 21 274 49 149 22 148 50 240 10 
2.82/4.18	o 894
2.82/4.18	v 356 73 231 7 114 62 228 28 375 7 173 14 291 46 341 63 148 12 354 26 172 26 124 118 236 27 246 20 14 97 269 50 333 33 152 41 3 83 258 40 128 61 336 57 149 48 339 49 223 18 210 64 3 5 117 62 257 16 0 79 120 76 284 47 183 17 321 53 172 21 335 6 154 51 83 63 247 0 273 7 187 36 192 2 126 12 357 356 223 21 262 49 147 22 149 50 254 10 
2.82/4.20	o 895
2.82/4.20	v 356 73 231 7 114 62 228 28 375 7 177 14 261 46 341 63 152 12 354 26 168 26 122 118 236 27 247 20 14 97 267 50 332 33 152 41 3 83 246 40 128 61 336 57 149 48 339 49 230 18 210 64 3 5 117 62 257 16 0 79 120 76 284 11 181 17 321 53 173 21 335 6 156 51 83 63 247 0 273 7 187 36 192 2 126 12 357 356 221 21 262 49 147 22 153 50 237 10 
3.02/4.32	o 897
3.02/4.32	v 343 73 241 18 120 62 220 28 375 7 175 14 272 46 368 63 157 12 354 26 179 26 122 118 242 27 247 5 360 9 248 11 325 25 153 20 3 7 250 23 113 25 335 57 157 48 325 49 229 18 147 26 3 5 118 62 202 16 0 79 115 6 250 11 183 17 314 53 113 21 338 30 216 2 105 63 252 0 179 7 147 36 195 2 119 12 357 356 225 11 106 49 155 22 159 10 240 10 
3.02/4.33	o 898
3.02/4.33	v 343 73 241 18 120 62 220 28 375 7 175 14 272 46 368 63 157 12 354 26 177 26 122 118 242 27 247 5 360 9 248 11 325 25 153 20 3 7 250 23 113 25 335 57 155 48 325 49 229 18 149 26 3 5 118 62 202 16 0 79 115 6 250 11 183 17 316 53 113 21 338 30 216 2 105 63 252 0 259 7 147 36 195 2 119 12 357 356 225 11 100 49 155 22 159 10 240 10 
3.52/4.81	o 899
3.52/4.81	v 181 73 204 6 126 68 222 28 375 7 308 14 310 41 368 372 243 25 220 11 304 17 256 7 112 35 128 4 103 9 311 11 156 25 220 8 3 7 220 23 133 12 322 57 238 48 180 13 222 18 129 41 3 5 348 62 121 47 0 35 168 34 284 9 223 16 312 40 218 9 333 30 218 2 138 14 250 0 119 60 213 36 254 2 310 12 357 356 114 10 101 49 222 22 159 20 218 8 
3.62/4.98	o 900
3.62/4.98	v 215 6 115 6 253 38 129 19 375 7 309 312 222 5 368 372 222 25 261 11 305 17 284 77 122 12 120 11 103 71 306 11 306 25 225 227 3 7 141 23 126 12 238 76 157 38 119 84 256 13 162 28 3 5 351 74 123 47 0 14 170 34 285 9 224 16 225 40 311 9 332 336 122 2 218 14 246 0 157 46 114 36 154 2 310 303 357 356 128 10 104 77 234 18 156 20 219 14 
3.82/5.13	o 901
3.82/5.13	v 218 6 110 6 246 51 126 22 375 7 306 28 297 5 368 372 237 25 221 11 299 24 195 77 103 7 99 4 102 71 308 29 316 9 225 227 3 7 138 23 124 12 238 76 155 38 113 47 256 6 164 28 3 5 351 74 105 47 0 14 286 7 285 7 224 16 162 20 156 20 332 336 122 2 222 14 248 0 229 46 114 36 163 18 310 72 357 356 216 6 101 78 151 24 218 11 127 14 
3.82/5.13	o 902
3.82/5.13	v 218 6 110 6 246 51 126 22 375 7 306 28 297 5 368 372 235 25 221 11 299 24 195 77 103 7 99 4 102 71 308 29 316 9 225 227 3 7 138 23 124 12 238 76 155 38 109 47 256 6 161 28 3 5 351 74 105 47 0 14 286 7 285 7 224 16 162 20 156 20 332 336 122 2 222 14 248 0 153 46 114 36 163 18 310 72 357 356 216 6 102 78 151 24 226 11 226 14 
5.91/7.21	o 903
5.91/7.21	v 353 18 208 0 302 6 112 1 107 11 247 20 127 22 373 372 306 5 197 2 240 4 216 5 105 7 103 1 196 195 279 9 214 73 115 9 0 373 294 20 108 9 360 7 252 7 199 25 103 6 239 50 0 2 316 14 202 2 371 5 143 6 99 2 310 4 251 250 306 12 204 57 343 0 107 2 250 2 126 4 373 5 283 19 343 11 265 2 116 22 213 214 271 18 286 37 111 7 
5.91/7.28	o 904
5.91/7.28	v 353 18 103 0 302 16 112 1 99 11 240 20 129 22 373 372 310 5 197 2 240 237 216 5 102 7 104 1 196 195 125 9 214 73 259 9 0 373 288 20 109 9 360 7 252 7 199 201 102 6 258 50 0 2 316 14 202 199 371 5 137 17 98 19 308 28 251 250 306 12 202 57 339 0 118 2 255 2 110 14 373 5 278 19 343 11 206 2 113 22 215 10 274 18 271 37 114 25 
6.31/7.65	o 905
6.31/7.65	v 353 18 98 0 300 5 114 1 94 11 252 20 218 32 373 372 249 5 197 2 311 21 222 71 94 4 99 2 196 195 276 4 214 7 114 12 0 373 99 11 251 6 360 72 241 7 198 33 95 2 145 44 0 2 313 67 204 46 371 5 308 17 100 0 308 22 253 16 123 12 300 299 347 346 226 3 109 10 237 14 340 5 101 32 344 11 202 2 113 22 227 13 278 9 284 30 114 29 
6.31/7.67	o 906
6.31/7.67	v 353 18 202 0 298 5 114 1 94 11 299 20 218 32 373 372 249 5 197 2 311 21 225 71 97 4 97 2 196 195 276 4 214 7 115 12 0 373 104 11 258 6 360 72 239 7 198 33 95 2 142 44 0 2 313 67 204 46 371 5 310 17 95 0 307 22 251 16 123 12 300 299 347 346 224 3 120 10 236 14 340 5 98 32 344 11 202 2 113 22 227 13 277 9 284 30 114 29 
35.88/37.39	o 907
35.88/37.39	v 239 0 92 5 186 3 272 0 375 66 126 8 292 3 374 373 101 20 358 3 164 37 225 44 263 0 258 6 360 358 91 11 198 6 107 13 239 2 272 2 259 1 155 11 287 1 101 4 273 1 177 174 0 377 245 5 186 17 368 72 238 29 82 0 176 7 310 3 98 15 194 19 261 0 188 22 97 28 292 11 366 1 295 15 238 20 355 352 91 3 187 1 113 4 295 24 259 4 
56.46/57.94	o 908
56.46/57.94	v 291 5 109 1 228 6 96 5 374 372 327 12 229 7 374 1 241 10 352 353 111 1 201 35 105 5 224 4 357 352 107 1 304 302 207 6 297 78 119 1 201 8 72 32 231 3 189 31 94 92 295 294 376 377 343 23 315 0 372 13 177 22 76 13 240 7 184 12 301 5 296 7 170 18 96 25 201 3 304 34 373 371 237 10 351 349 196 199 93 6 292 0 224 4 224 14 98 0 
65.26/66.79	o 909
65.26/66.79	v 298 3 101 18 322 38 200 0 374 4 112 53 224 17 374 23 114 9 361 5 293 7 175 26 197 9 199 14 93 0 214 6 312 46 119 2 373 1 298 2 202 4 280 3 217 0 160 42 107 8 298 14 376 377 349 348 322 24 291 45 92 52 199 0 306 11 145 7 224 10 300 40 346 348 228 15 214 10 99 16 93 8 161 14 356 0 174 2 207 1 305 298 104 7 117 5 200 14

Verifier Data (download as text)

OK	22	909
22 unsatisfied constraints, 909 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-1112461-1215868711/watcher-1112461-1215868711 -o /tmp/evaluation-result-1112461-1215868711/solver-1112461-1215868711 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112461-1215868711.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.80 2.85 2.92 7/81 18746
/proc/meminfo: memFree=1865664/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 271 0 0 0 0 0 0 0 19 0 1 0 43570056 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 235371462738 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/18745/statm: 1339 230 191 169 0 50 0
[pid=18746] ppid=18745 vsize=5356 CPUtime=0
/proc/18746/stat : 18746 (concrete.sh) R 18745 18745 18514 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 1 0 43570056 5484544 234 996147200 4194304 4889804 548682068752 18446744073709551615 235371461221 0 2147483391 4096 65538 0 0 0 17 1 0 0
/proc/18746/statm: 1339 234 195 169 0 50 0

[startup+0.0644749 s]
/proc/loadavg: 2.80 2.85 2.92 7/81 18746
/proc/meminfo: memFree=1865664/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102275 s]
/proc/loadavg: 2.80 2.85 2.92 7/81 18746
/proc/meminfo: memFree=1865664/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301752 s]
/proc/loadavg: 2.80 2.85 2.92 7/81 18746
/proc/meminfo: memFree=1865664/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701983 s]
/proc/loadavg: 2.80 2.85 2.92 7/81 18746
/proc/meminfo: memFree=1865664/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50205 s]
/proc/loadavg: 2.80 2.85 2.92 3/90 18756
/proc/meminfo: memFree=1858360/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=844276 CPUtime=0.33
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 4666 0 6 0 29 4 0 0 18 0 9 0 43570060 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211069 4058 1894 9 0 205630 0
[pid=18748/tid=18749] ppid=18745 vsize=844276 CPUtime=0.24
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3329 0 6 0 21 3 0 0 18 0 9 0 43570088 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4125236970 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=844276 CPUtime=0
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 160 0 0 0 0 0 0 0 16 0 9 0 43570103 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18751] ppid=18745 vsize=844276 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=844276 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43570104 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=844276 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=844276 CPUtime=0.06
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 445 0 0 0 6 0 0 0 16 0 9 0 43570131 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=844276 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=844276 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 864538624 4058 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 849632

[startup+3.1012 s]
/proc/loadavg: 2.80 2.85 2.92 4/91 18757
/proc/meminfo: memFree=1847920/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=1.82
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 7652 0 11 0 175 7 0 0 18 0 10 0 43570060 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 6753 2580 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=1.28
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3661 0 11 0 124 4 0 0 25 0 10 0 43570088 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4126719007 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.12
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 2128 0 0 0 11 1 0 0 16 0 10 0 43570103 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43570104 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 43570104 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43570131 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.39
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1127 0 0 0 39 0 0 0 15 0 10 0 43570131 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 43570131 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 43570131 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18748/tid=18757] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18757/stat : 18757 (java) S 18745 18745 18514 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 43570235 867577856 6753 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 852600

[startup+6.3015 s]
/proc/loadavg: 2.73 2.84 2.91 3/90 18757
/proc/meminfo: memFree=1836016/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=5.01
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9647 0 11 0 492 9 0 0 18 0 9 0 43570060 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8731 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=4.19
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3786 0 11 0 415 4 0 0 25 0 9 0 43570088 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4126985805 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3938 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.46
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1186 0 0 0 46 0 0 0 15 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 852600

[startup+12.7011 s]
/proc/loadavg: 2.67 2.82 2.91 3/90 18757
/proc/meminfo: memFree=1836016/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=11.38
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9647 0 11 0 1129 9 0 0 18 0 9 0 43570060 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8731 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=10.55
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3786 0 11 0 1051 4 0 0 25 0 9 0 43570088 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4126935750 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3938 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.46
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1186 0 0 0 46 0 0 0 16 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 852600

[startup+25.5022 s]
/proc/loadavg: 2.75 2.83 2.91 3/90 18759
/proc/meminfo: memFree=1836336/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=24.11
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9647 0 11 0 2402 9 0 0 18 0 9 0 43570060 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8731 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=23.29
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3786 0 11 0 2324 5 0 0 25 0 9 0 43570088 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4126929433 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3938 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.47
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1186 0 0 0 47 0 0 0 17 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8731 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 852600

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

/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1187 0 0 0 48 0 0 0 17 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3399.67
Current children cumulated vsize (KiB) 852600

[startup+3462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/91 18806
/proc/meminfo: memFree=1886944/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=3459.65
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9689 0 11 0 345936 29 0 0 18 0 9 0 43570060 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8755 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=3458.8
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3804 0 11 0 345855 25 0 0 25 0 9 0 43570088 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4126945869 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3961 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.48
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1187 0 0 0 48 0 0 0 17 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3459.65
Current children cumulated vsize (KiB) 852600

[startup+3522.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/91 18806
/proc/meminfo: memFree=1886752/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=3519.62
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9690 0 11 0 351933 29 0 0 18 0 9 0 43570060 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8755 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=3518.78
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3805 0 11 0 351853 25 0 0 25 0 9 0 43570088 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4126945860 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3961 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.48
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1187 0 0 0 48 0 0 0 17 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3519.62
Current children cumulated vsize (KiB) 852600

[startup+3582.3 s]
/proc/loadavg: 2.40 2.13 2.03 3/91 18806
/proc/meminfo: memFree=1886688/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=3579.6
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9690 0 11 0 357931 29 0 0 18 0 9 0 43570060 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8755 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=3578.76
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3805 0 11 0 357851 25 0 0 25 0 9 0 43570088 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4126935696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3961 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.48
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1187 0 0 0 48 0 0 0 17 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3579.6
Current children cumulated vsize (KiB) 852600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.7 s]
/proc/loadavg: 2.32 2.13 2.04 3/91 18806
/proc/meminfo: memFree=1886688/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=3600
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9690 0 11 0 359971 29 0 0 18 0 9 0 43570060 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8755 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=3599.16
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3805 0 11 0 359891 25 0 0 25 0 9 0 43570088 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4126954326 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3961 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.48
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1187 0 0 0 48 0 0 0 17 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 852600

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

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

[startup+3602.7 s]
/proc/loadavg: 2.32 2.13 2.04 3/91 18806
/proc/meminfo: memFree=1886688/2055920 swapFree=4192812/4192956
[pid=18745] ppid=18743 vsize=5356 CPUtime=0
/proc/18745/stat : 18745 (concrete.sh) S 18743 18745 18514 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43570056 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18745/statm: 1339 242 201 169 0 50 0
[pid=18748] ppid=18745 vsize=847244 CPUtime=3600
/proc/18748/stat : 18748 (java) S 18745 18745 18514 0 -1 0 9690 0 11 0 359971 29 0 0 18 0 9 0 43570060 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18748/statm: 211811 8755 2583 9 0 206371 0
[pid=18748/tid=18749] ppid=18745 vsize=847244 CPUtime=3599.16
/proc/18748/task/18749/stat : 18749 (java) R 18745 18745 18514 0 -1 64 3805 0 11 0 359891 25 0 0 25 0 9 0 43570088 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4126954326 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18750] ppid=18745 vsize=847244 CPUtime=0.32
/proc/18748/task/18750/stat : 18750 (java) S 18745 18745 18514 0 -1 64 3961 0 0 0 31 1 0 0 16 0 9 0 43570103 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18751] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18751/stat : 18751 (java) S 18745 18745 18514 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18752] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18752/stat : 18752 (java) S 18745 18745 18514 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43570104 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18753] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18753/stat : 18753 (java) S 18745 18745 18514 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18754] ppid=18745 vsize=847244 CPUtime=0.48
/proc/18748/task/18754/stat : 18754 (java) S 18745 18745 18514 0 -1 64 1187 0 0 0 48 0 0 0 17 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18755] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18755/stat : 18755 (java) S 18745 18745 18514 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18748/tid=18756] ppid=18745 vsize=847244 CPUtime=0
/proc/18748/task/18756/stat : 18756 (java) S 18745 18745 18514 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43570131 867577856 8755 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 852600

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 3602.72
CPU time (s): 3600
CPU user time (s): 3599.71
CPU system time (s): 0.29
CPU usage (%): 99.9245
Max. virtual memory (cumulated for all children) (KiB): 852600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.001999
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= 16
involuntary context switches= 48

runsolver used 3.9694 second user time and 12.4231 second system time

The end

Launcher Data (download as text)

Begin job on node51 at 2008-07-12 15:18:31
IDJOB=1112461
IDBENCH=61422
IDSOLVER=335
FILE ID=node51/1112461-1215868711
PBS_JOBID= 7903543
Free space on /tmp= 66560 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= ffaa9cc3319fa6165d508354e57e0a1d
RANDOM SEED=1477674955

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:       1866560 kB
Buffers:          2884 kB
Cached:          34040 kB
SwapCached:          0 kB
Active:         132268 kB
Inactive:         3472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866560 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1360 kB
Writeback:           0 kB
Mapped:         119152 kB
Slab:            38684 kB
Committed_AS:  1010160 kB
PageTables:       2016 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= 66560 MiB
End job on node51 at 2008-07-12 16:18:36