Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 22 | 1800.08 | 1796.55 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb |
| MD5SUM | efe239846afd4f2627c83cec32ebc27d |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1796.86 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37458 |
| Sum of products size (including duplicates) | 74916 |
| Number of different products | 37458 |
| Sum of products size | 74916 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.12 c configuring ORDERS 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=true 0.10/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3711222-1338165609.opb 0.10/0.12 c reading problem ... 1.94/0.81 c ... done. Wall clock time 0.687s. 1.94/0.81 c declared #vars 500 1.94/0.81 c internal #vars 37958 1.94/0.81 c #constraints 75416 1.94/0.81 c constraints type 1.94/0.81 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37958 1.94/0.81 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37458 1.94/0.81 c 75416 constraints processed. 2.52/1.09 c SATISFIABLE 2.52/1.09 c OPTIMIZING... 2.52/1.09 c Got one! Elapsed wall clock time (in seconds):0.969 2.52/1.09 o 499 2.76/1.13 c Got one! Elapsed wall clock time (in seconds):1.013 2.76/1.13 o 498 2.76/1.19 c Got one! Elapsed wall clock time (in seconds):1.066 2.76/1.19 o 497 2.97/1.23 c Got one! Elapsed wall clock time (in seconds):1.108 2.97/1.23 o 496 2.97/1.28 c Got one! Elapsed wall clock time (in seconds):1.16 2.97/1.28 o 495 3.10/1.32 c Got one! Elapsed wall clock time (in seconds):1.202 3.10/1.32 o 494 3.10/1.36 c Got one! Elapsed wall clock time (in seconds):1.243 3.10/1.36 o 493 3.21/1.41 c Got one! Elapsed wall clock time (in seconds):1.285 3.21/1.41 o 492 3.21/1.45 c Got one! Elapsed wall clock time (in seconds):1.327 3.21/1.45 o 491 3.21/1.49 c Got one! Elapsed wall clock time (in seconds):1.368 3.21/1.49 o 490 3.34/1.53 c Got one! Elapsed wall clock time (in seconds):1.409 3.34/1.53 o 489 3.34/1.57 c Got one! Elapsed wall clock time (in seconds):1.451 3.34/1.57 o 488 3.46/1.61 c Got one! Elapsed wall clock time (in seconds):1.492 3.46/1.61 o 487 3.46/1.65 c Got one! Elapsed wall clock time (in seconds):1.531 3.46/1.65 o 486 3.46/1.69 c Got one! Elapsed wall clock time (in seconds):1.572 3.46/1.69 o 485 3.56/1.73 c Got one! Elapsed wall clock time (in seconds):1.612 3.56/1.73 o 484 3.56/1.77 c Got one! Elapsed wall clock time (in seconds):1.652 3.56/1.77 o 483 3.66/1.81 c Got one! Elapsed wall clock time (in seconds):1.692 3.66/1.81 o 482 3.66/1.85 c Got one! Elapsed wall clock time (in seconds):1.732 3.66/1.85 o 481 3.66/1.89 c Got one! Elapsed wall clock time (in seconds):1.773 3.66/1.89 o 480 3.77/1.93 c Got one! Elapsed wall clock time (in seconds):1.814 3.77/1.93 o 479 3.77/1.97 c Got one! Elapsed wall clock time (in seconds):1.854 3.77/1.97 o 478 3.90/2.01 c Got one! Elapsed wall clock time (in seconds):1.894 3.90/2.01 o 477 3.90/2.06 c Got one! Elapsed wall clock time (in seconds):1.934 3.90/2.06 o 476 3.90/2.10 c Got one! Elapsed wall clock time (in seconds):1.975 3.90/2.10 o 475 4.00/2.14 c Got one! Elapsed wall clock time (in seconds):2.015 4.00/2.14 o 474 4.26/2.21 c Got one! Elapsed wall clock time (in seconds):2.086 4.26/2.21 o 473 4.26/2.22 c Got one! Elapsed wall clock time (in seconds):2.102 4.26/2.22 o 472 4.26/2.24 c Got one! Elapsed wall clock time (in seconds):2.119 4.26/2.24 o 471 4.26/2.26 c Got one! Elapsed wall clock time (in seconds):2.136 4.26/2.26 o 470 4.26/2.27 c Got one! Elapsed wall clock time (in seconds):2.152 4.26/2.27 o 469 4.26/2.29 c Got one! Elapsed wall clock time (in seconds):2.169 4.26/2.29 o 468 4.36/2.31 c Got one! Elapsed wall clock time (in seconds):2.186 4.36/2.31 o 467 4.36/2.32 c Got one! Elapsed wall clock time (in seconds):2.203 4.36/2.32 o 466 4.36/2.34 c Got one! Elapsed wall clock time (in seconds):2.22 4.36/2.34 o 465 4.36/2.36 c Got one! Elapsed wall clock time (in seconds):2.236 4.36/2.36 o 464 4.36/2.37 c Got one! Elapsed wall clock time (in seconds):2.253 4.36/2.37 o 463 4.36/2.39 c Got one! Elapsed wall clock time (in seconds):2.27 4.36/2.39 o 462 4.46/2.41 c Got one! Elapsed wall clock time (in seconds):2.287 4.46/2.41 o 461 4.46/2.42 c Got one! Elapsed wall clock time (in seconds):2.304 4.46/2.42 o 460 4.46/2.44 c Got one! Elapsed wall clock time (in seconds):2.321 4.46/2.44 o 459 4.46/2.46 c Got one! Elapsed wall clock time (in seconds):2.338 4.46/2.46 o 458 4.46/2.48 c Got one! Elapsed wall clock time (in seconds):2.355 4.46/2.48 o 457 4.46/2.49 c Got one! Elapsed wall clock time (in seconds):2.372 4.46/2.49 o 456 4.56/2.51 c Got one! Elapsed wall clock time (in seconds):2.389 4.56/2.51 o 455 4.56/2.53 c Got one! Elapsed wall clock time (in seconds):2.406 4.56/2.53 o 454 4.56/2.54 c Got one! Elapsed wall clock time (in seconds):2.423 4.56/2.54 o 453 4.56/2.56 c Got one! Elapsed wall clock time (in seconds):2.44 4.56/2.56 o 452 4.56/2.58 c Got one! Elapsed wall clock time (in seconds):2.457 4.56/2.58 o 451 4.56/2.59 c Got one! Elapsed wall clock time (in seconds):2.474 4.56/2.59 o 450 4.66/2.61 c Got one! Elapsed wall clock time (in seconds):2.491 4.66/2.61 o 449 4.66/2.63 c Got one! Elapsed wall clock time (in seconds):2.508 4.66/2.63 o 448 4.66/2.65 c Got one! Elapsed wall clock time (in seconds):2.525 4.66/2.65 o 447 4.66/2.66 c Got one! Elapsed wall clock time (in seconds):2.542 4.66/2.66 o 446 4.66/2.68 c Got one! Elapsed wall clock time (in seconds):2.56 4.66/2.68 o 445 4.76/2.70 c Got one! Elapsed wall clock time (in seconds):2.577 4.76/2.70 o 444 4.76/2.71 c Got one! Elapsed wall clock time (in seconds):2.594 4.76/2.71 o 443 4.76/2.73 c Got one! Elapsed wall clock time (in seconds):2.611 4.76/2.73 o 442 4.76/2.75 c Got one! Elapsed wall clock time (in seconds):2.628 4.76/2.75 o 441 4.76/2.77 c Got one! Elapsed wall clock time (in seconds):2.646 4.76/2.77 o 440 4.76/2.78 c Got one! Elapsed wall clock time (in seconds):2.663 4.76/2.78 o 439 4.86/2.80 c Got one! Elapsed wall clock time (in seconds):2.68 4.86/2.80 o 438 4.86/2.82 c Got one! Elapsed wall clock time (in seconds):2.698 4.86/2.82 o 437 4.86/2.84 c Got one! Elapsed wall clock time (in seconds):2.715 4.86/2.84 o 436 4.86/2.85 c Got one! Elapsed wall clock time (in seconds):2.733 4.86/2.85 o 435 4.86/2.87 c Got one! Elapsed wall clock time (in seconds):2.751 4.86/2.87 o 434 4.86/2.89 c Got one! Elapsed wall clock time (in seconds):2.768 4.86/2.89 o 433 4.98/2.91 c Got one! Elapsed wall clock time (in seconds):2.786 4.98/2.91 o 432 4.98/2.92 c Got one! Elapsed wall clock time (in seconds):2.803 4.98/2.92 o 431 4.98/2.94 c Got one! Elapsed wall clock time (in seconds):2.821 4.98/2.94 o 430 4.98/2.96 c Got one! Elapsed wall clock time (in seconds):2.838 4.98/2.96 o 429 4.98/2.98 c Got one! Elapsed wall clock time (in seconds):2.856 4.98/2.98 o 428 4.98/2.99 c Got one! Elapsed wall clock time (in seconds):2.873 4.98/2.99 o 427 5.08/3.01 c Got one! Elapsed wall clock time (in seconds):2.891 5.08/3.01 o 426 5.08/3.03 c Got one! Elapsed wall clock time (in seconds):2.908 5.08/3.03 o 425 5.08/3.05 c Got one! Elapsed wall clock time (in seconds):2.926 5.08/3.05 o 424 5.08/3.06 c Got one! Elapsed wall clock time (in seconds):2.944 5.08/3.06 o 423 5.08/3.08 c Got one! Elapsed wall clock time (in seconds):2.961 5.08/3.08 o 422 5.18/3.10 c Got one! Elapsed wall clock time (in seconds):2.979 5.18/3.10 o 421 5.18/3.12 c Got one! Elapsed wall clock time (in seconds):2.997 5.18/3.12 o 420 5.18/3.14 c Got one! Elapsed wall clock time (in seconds):3.015 5.18/3.14 o 419 5.18/3.15 c Got one! Elapsed wall clock time (in seconds):3.032 5.18/3.15 o 418 5.18/3.17 c Got one! Elapsed wall clock time (in seconds):3.05 5.18/3.17 o 417 5.18/3.19 c Got one! Elapsed wall clock time (in seconds):3.068 5.18/3.19 o 416 5.28/3.21 c Got one! Elapsed wall clock time (in seconds):3.086 5.28/3.21 o 415 5.28/3.22 c Got one! Elapsed wall clock time (in seconds):3.104 5.28/3.22 o 414 5.28/3.24 c Got one! Elapsed wall clock time (in seconds):3.122 5.28/3.24 o 413 5.28/3.26 c Got one! Elapsed wall clock time (in seconds):3.139 5.28/3.26 o 412 5.28/3.28 c Got one! Elapsed wall clock time (in seconds):3.157 5.28/3.28 o 411 5.28/3.30 c Got one! Elapsed wall clock time (in seconds):3.175 5.28/3.30 o 410 5.38/3.31 c Got one! Elapsed wall clock time (in seconds):3.193 5.38/3.31 o 409 5.38/3.33 c Got one! Elapsed wall clock time (in seconds):3.211 5.38/3.33 o 408 5.38/3.35 c Got one! Elapsed wall clock time (in seconds):3.229 5.38/3.35 o 407 5.38/3.37 c Got one! Elapsed wall clock time (in seconds):3.247 5.38/3.37 o 406 5.38/3.39 c Got one! Elapsed wall clock time (in seconds):3.265 5.38/3.39 o 405 5.49/3.40 c Got one! Elapsed wall clock time (in seconds):3.283 5.49/3.40 o 404 5.49/3.42 c Got one! Elapsed wall clock time (in seconds):3.301 5.49/3.42 o 403 5.49/3.44 c Got one! Elapsed wall clock time (in seconds):3.319 5.49/3.44 o 402 5.49/3.46 c Got one! Elapsed wall clock time (in seconds):3.338 5.49/3.46 o 401 5.49/3.48 c Got one! Elapsed wall clock time (in seconds):3.356 5.49/3.48 o 400 5.49/3.49 c Got one! Elapsed wall clock time (in seconds):3.374 5.49/3.49 o 399 5.58/3.51 c Got one! Elapsed wall clock time (in seconds):3.392 5.58/3.51 o 398 5.58/3.53 c Got one! Elapsed wall clock time (in seconds):3.41 5.58/3.53 o 397 5.58/3.55 c Got one! Elapsed wall clock time (in seconds):3.428 5.58/3.55 o 396 5.58/3.57 c Got one! Elapsed wall clock time (in seconds):3.447 5.58/3.57 o 395 5.58/3.59 c Got one! Elapsed wall clock time (in seconds):3.465 5.58/3.59 o 394 5.68/3.60 c Got one! Elapsed wall clock time (in seconds):3.483 5.68/3.60 o 393 5.68/3.62 c Got one! Elapsed wall clock time (in seconds):3.502 5.68/3.62 o 392 5.68/3.67 c Got one! Elapsed wall clock time (in seconds):3.552 5.68/3.67 o 391 5.68/3.69 c Got one! Elapsed wall clock time (in seconds):3.573 5.68/3.69 o 390 5.88/3.71 c Got one! Elapsed wall clock time (in seconds):3.594 5.88/3.71 o 389 5.88/3.74 c Got one! Elapsed wall clock time (in seconds):3.614 5.88/3.74 o 388 5.88/3.76 c Got one! Elapsed wall clock time (in seconds):3.635 5.88/3.76 o 387 5.88/3.78 c Got one! Elapsed wall clock time (in seconds):3.655 5.88/3.78 o 386 5.88/3.80 c Got one! Elapsed wall clock time (in seconds):3.676 5.88/3.80 o 385 5.98/3.82 c Got one! Elapsed wall clock time (in seconds):3.697 5.98/3.82 o 384 5.98/3.84 c Got one! Elapsed wall clock time (in seconds):3.717 5.98/3.84 o 383 5.98/3.86 c Got one! Elapsed wall clock time (in seconds):3.738 5.98/3.86 o 382 5.98/3.88 c Got one! Elapsed wall clock time (in seconds):3.758 5.98/3.88 o 381 6.08/3.90 c Got one! Elapsed wall clock time (in seconds):3.778 6.08/3.90 o 380 6.08/3.92 c Got one! Elapsed wall clock time (in seconds):3.799 6.08/3.92 o 379 6.08/3.94 c Got one! Elapsed wall clock time (in seconds):3.819 6.08/3.94 o 378 6.08/3.96 c Got one! Elapsed wall clock time (in seconds):3.839 6.08/3.96 o 377 6.08/3.98 c Got one! Elapsed wall clock time (in seconds):3.86 6.08/3.98 o 376 6.18/4.00 c Got one! Elapsed wall clock time (in seconds):3.88 6.18/4.00 o 375 6.18/4.02 c Got one! Elapsed wall clock time (in seconds):3.9 6.18/4.02 o 374 6.18/4.04 c Got one! Elapsed wall clock time (in seconds):3.921 6.18/4.04 o 373 6.27/4.19 c Got one! Elapsed wall clock time (in seconds):3.941 6.27/4.19 o 372 6.27/4.19 c Got one! Elapsed wall clock time (in seconds):3.962 6.27/4.19 o 371 6.27/4.19 c Got one! Elapsed wall clock time (in seconds):3.982 6.27/4.19 o 370 6.27/4.19 c Got one! Elapsed wall clock time (in seconds):4.003 6.27/4.19 o 369 6.27/4.19 c Got one! Elapsed wall clock time (in seconds):4.024 6.27/4.19 o 368 6.27/4.19 c Got one! Elapsed wall clock time (in seconds):4.044 6.27/4.19 o 367 6.27/4.19 c Got one! Elapsed wall clock time (in seconds):4.065 6.27/4.19 o 366 6.37/4.21 c Got one! Elapsed wall clock time (in seconds):4.085 6.37/4.21 o 365 6.37/4.23 c Got one! Elapsed wall clock time (in seconds):4.106 6.37/4.23 o 364 6.37/4.25 c Got one! Elapsed wall clock time (in seconds):4.127 6.37/4.25 o 363 6.37/4.27 c Got one! Elapsed wall clock time (in seconds):4.147 6.37/4.27 o 362 6.37/4.29 c Got one! Elapsed wall clock time (in seconds):4.168 6.37/4.29 o 361 6.48/4.31 c Got one! Elapsed wall clock time (in seconds):4.189 6.48/4.31 o 360 6.48/4.33 c Got one! Elapsed wall clock time (in seconds):4.211 6.48/4.33 o 359 6.48/4.35 c Got one! Elapsed wall clock time (in seconds):4.232 6.48/4.35 o 358 6.48/4.37 c Got one! Elapsed wall clock time (in seconds):4.252 6.48/4.37 o 357 6.48/4.39 c Got one! Elapsed wall clock time (in seconds):4.273 6.48/4.39 o 356 6.60/4.42 c Got one! Elapsed wall clock time (in seconds):4.295 6.60/4.42 o 355 6.60/4.44 c Got one! Elapsed wall clock time (in seconds):4.316 6.60/4.44 o 354 6.60/4.46 c Got one! Elapsed wall clock time (in seconds):4.337 6.60/4.46 o 353 6.60/4.48 c Got one! Elapsed wall clock time (in seconds):4.358 6.60/4.48 o 352 6.60/4.50 c Got one! Elapsed wall clock time (in seconds):4.379 6.60/4.50 o 351 6.70/4.52 c Got one! Elapsed wall clock time (in seconds):4.399 6.70/4.52 o 350 6.70/4.54 c Got one! Elapsed wall clock time (in seconds):4.421 6.70/4.54 o 349 6.70/4.56 c Got one! Elapsed wall clock time (in seconds):4.442 6.70/4.56 o 348 6.70/4.58 c Got one! Elapsed wall clock time (in seconds):4.463 6.70/4.58 o 347 6.79/4.60 c Got one! Elapsed wall clock time (in seconds):4.484 6.79/4.60 o 346 6.79/4.63 c Got one! Elapsed wall clock time (in seconds):4.505 6.79/4.63 o 345 6.79/4.65 c Got one! Elapsed wall clock time (in seconds):4.527 6.79/4.65 o 344 6.79/4.67 c Got one! Elapsed wall clock time (in seconds):4.548 6.79/4.67 o 343 6.79/4.69 c Got one! Elapsed wall clock time (in seconds):4.569 6.79/4.69 o 342 6.89/4.71 c Got one! Elapsed wall clock time (in seconds):4.59 6.89/4.71 o 341 6.89/4.73 c Got one! Elapsed wall clock time (in seconds):4.612 6.89/4.73 o 340 6.89/4.75 c Got one! Elapsed wall clock time (in seconds):4.633 6.89/4.75 o 339 6.89/4.78 c Got one! Elapsed wall clock time (in seconds):4.655 6.89/4.78 o 338 6.89/4.80 c Got one! Elapsed wall clock time (in seconds):4.676 6.89/4.80 o 337 6.99/4.82 c Got one! Elapsed wall clock time (in seconds):4.697 6.99/4.82 o 336 6.99/4.84 c Got one! Elapsed wall clock time (in seconds):4.718 6.99/4.84 o 335 6.99/4.86 c Got one! Elapsed wall clock time (in seconds):4.74 6.99/4.86 o 334 6.99/4.88 c Got one! Elapsed wall clock time (in seconds):4.761 6.99/4.88 o 333 7.09/4.90 c Got one! Elapsed wall clock time (in seconds):4.783 7.09/4.90 o 332 7.09/4.92 c Got one! Elapsed wall clock time (in seconds):4.804 7.09/4.92 o 331 7.09/4.95 c Got one! Elapsed wall clock time (in seconds):4.826 7.09/4.95 o 330 7.09/4.97 c Got one! Elapsed wall clock time (in seconds):4.847 7.09/4.97 o 329 7.09/4.99 c Got one! Elapsed wall clock time (in seconds):4.869 7.09/4.99 o 328 7.19/5.01 c Got one! Elapsed wall clock time (in seconds):4.89 7.19/5.01 o 327 7.19/5.03 c Got one! Elapsed wall clock time (in seconds):4.912 7.19/5.03 o 326 7.19/5.05 c Got one! Elapsed wall clock time (in seconds):4.933 7.19/5.05 o 325 7.19/5.08 c Got one! Elapsed wall clock time (in seconds):4.955 7.19/5.08 o 324 7.29/5.10 c Got one! Elapsed wall clock time (in seconds):4.976 7.29/5.10 o 323 7.29/5.12 c Got one! Elapsed wall clock time (in seconds):4.998 7.29/5.12 o 322 7.29/5.14 c Got one! Elapsed wall clock time (in seconds):5.019 7.29/5.14 o 321 7.29/5.16 c Got one! Elapsed wall clock time (in seconds):5.04 7.29/5.16 o 320 7.29/5.18 c Got one! Elapsed wall clock time (in seconds):5.061 7.29/5.18 o 319 7.39/5.20 c Got one! Elapsed wall clock time (in seconds):5.083 7.39/5.20 o 318 7.39/5.23 c Got one! Elapsed wall clock time (in seconds):5.105 7.39/5.23 o 317 7.39/5.25 c Got one! Elapsed wall clock time (in seconds):5.126 7.39/5.25 o 316 7.39/5.27 c Got one! Elapsed wall clock time (in seconds):5.147 7.39/5.27 o 315 7.39/5.29 c Got one! Elapsed wall clock time (in seconds):5.169 7.39/5.29 o 314 7.49/5.31 c Got one! Elapsed wall clock time (in seconds):5.19 7.49/5.31 o 313 7.49/5.33 c Got one! Elapsed wall clock time (in seconds):5.212 7.49/5.33 o 312 7.49/5.35 c Got one! Elapsed wall clock time (in seconds):5.233 7.49/5.35 o 311 7.49/5.38 c Got one! Elapsed wall clock time (in seconds):5.255 7.49/5.38 o 310 7.59/5.40 c Got one! Elapsed wall clock time (in seconds):5.277 7.59/5.40 o 309 7.59/5.42 c Got one! Elapsed wall clock time (in seconds):5.298 7.59/5.42 o 308 7.59/5.44 c Got one! Elapsed wall clock time (in seconds):5.32 7.59/5.44 o 307 7.59/5.46 c Got one! Elapsed wall clock time (in seconds):5.341 7.59/5.46 o 306 7.59/5.48 c Got one! Elapsed wall clock time (in seconds):5.363 7.59/5.48 o 305 7.70/5.51 c Got one! Elapsed wall clock time (in seconds):5.385 7.70/5.51 o 304 7.70/5.53 c Got one! Elapsed wall clock time (in seconds):5.407 7.70/5.53 o 303 7.70/5.55 c Got one! Elapsed wall clock time (in seconds):5.428 7.70/5.55 o 302 7.70/5.57 c Got one! Elapsed wall clock time (in seconds):5.45 7.70/5.57 o 301 7.70/5.59 c Got one! Elapsed wall clock time (in seconds):5.472 7.70/5.59 o 300 7.80/5.61 c Got one! Elapsed wall clock time (in seconds):5.493 7.80/5.61 o 299 7.80/5.64 c Got one! Elapsed wall clock time (in seconds):5.515 7.80/5.64 o 298 7.80/5.66 c Got one! Elapsed wall clock time (in seconds):5.537 7.80/5.66 o 297 7.80/5.68 c Got one! Elapsed wall clock time (in seconds):5.559 7.80/5.68 o 296 7.89/5.70 c Got one! Elapsed wall clock time (in seconds):5.581 7.89/5.70 o 295 7.89/5.72 c Got one! Elapsed wall clock time (in seconds):5.602 7.89/5.72 o 294 7.89/5.75 c Got one! Elapsed wall clock time (in seconds):5.625 7.89/5.75 o 293 7.89/5.77 c Got one! Elapsed wall clock time (in seconds):5.647 7.89/5.77 o 292 7.89/5.79 c Got one! Elapsed wall clock time (in seconds):5.669 7.89/5.79 o 291 8.00/5.81 c Got one! Elapsed wall clock time (in seconds):5.692 8.00/5.81 o 290 8.00/5.84 c Got one! Elapsed wall clock time (in seconds):5.714 8.00/5.84 o 289 8.00/5.86 c Got one! Elapsed wall clock time (in seconds):5.737 8.00/5.86 o 288 8.00/5.88 c Got one! Elapsed wall clock time (in seconds):5.759 8.00/5.88 o 287 8.10/5.90 c Got one! Elapsed wall clock time (in seconds):5.781 8.10/5.90 o 286 8.10/5.92 c Got one! Elapsed wall clock time (in seconds):5.804 8.10/5.92 o 285 8.10/5.95 c Got one! Elapsed wall clock time (in seconds):5.827 8.10/5.95 o 284 8.10/5.97 c Got one! Elapsed wall clock time (in seconds):5.849 8.10/5.97 o 283 8.10/5.99 c Got one! Elapsed wall clock time (in seconds):5.871 8.10/5.99 o 282 8.20/6.01 c Got one! Elapsed wall clock time (in seconds):5.894 8.20/6.01 o 281 8.20/6.04 c Got one! Elapsed wall clock time (in seconds):5.917 8.20/6.04 o 280 8.20/6.06 c Got one! Elapsed wall clock time (in seconds):5.939 8.20/6.06 o 279 8.20/6.08 c Got one! Elapsed wall clock time (in seconds):5.962 8.20/6.08 o 278 8.30/6.11 c Got one! Elapsed wall clock time (in seconds):5.985 8.30/6.11 o 277 8.30/6.13 c Got one! Elapsed wall clock time (in seconds):6.007 8.30/6.13 o 276 8.30/6.15 c Got one! Elapsed wall clock time (in seconds):6.029 8.30/6.15 o 275 8.30/6.17 c Got one! Elapsed wall clock time (in seconds):6.052 8.30/6.17 o 274 8.30/6.20 c Got one! Elapsed wall clock time (in seconds):6.075 8.30/6.20 o 273 8.40/6.22 c Got one! Elapsed wall clock time (in seconds):6.098 8.40/6.22 o 272 8.40/6.24 c Got one! Elapsed wall clock time (in seconds):6.12 8.40/6.24 o 271 8.40/6.26 c Got one! Elapsed wall clock time (in seconds):6.143 8.40/6.26 o 270 8.40/6.29 c Got one! Elapsed wall clock time (in seconds):6.166 8.40/6.29 o 269 8.50/6.31 c Got one! Elapsed wall clock time (in seconds):6.189 8.50/6.31 o 268 8.50/6.33 c Got one! Elapsed wall clock time (in seconds):6.211 8.50/6.33 o 267 8.50/6.36 c Got one! Elapsed wall clock time (in seconds):6.234 8.50/6.36 o 266 8.50/6.38 c Got one! Elapsed wall clock time (in seconds):6.257 8.50/6.38 o 265 8.60/6.40 c Got one! Elapsed wall clock time (in seconds):6.28 8.60/6.40 o 264 8.60/6.42 c Got one! Elapsed wall clock time (in seconds):6.303 8.60/6.42 o 263 8.60/6.45 c Got one! Elapsed wall clock time (in seconds):6.326 8.60/6.45 o 262 8.60/6.47 c Got one! Elapsed wall clock time (in seconds):6.349 8.60/6.47 o 261 8.60/6.49 c Got one! Elapsed wall clock time (in seconds):6.372 8.60/6.49 o 260 8.69/6.52 c Got one! Elapsed wall clock time (in seconds):6.395 8.69/6.52 o 259 8.69/6.54 c Got one! Elapsed wall clock time (in seconds):6.418 8.69/6.54 o 258 8.69/6.56 c Got one! Elapsed wall clock time (in seconds):6.441 8.69/6.56 o 257 8.69/6.60 c Got one! Elapsed wall clock time (in seconds):6.48 8.69/6.60 o 256 8.82/6.63 c Got one! Elapsed wall clock time (in seconds):6.511 8.82/6.63 o 23 8.82/6.66 c Got one! Elapsed wall clock time (in seconds):6.544 8.82/6.66 o 22 51.29/48.90 c cleaning 2499 clauses out of 5004 with flag 5000/5004 106.96/104.34 c cleaning 4242 clauses out of 8505 with flag 11000/11004 164.39/161.76 c cleaning 5610 clauses out of 11263 with flag 18000/18004 225.93/223.24 c cleaning 6827 clauses out of 13654 with flag 26001/26005 296.50/293.73 c cleaning 7891 clauses out of 15826 with flag 35000/35004 381.15/378.32 c cleaning 8957 clauses out of 17938 with flag 45003/45007 469.99/467.19 c cleaning 9960 clauses out of 19980 with flag 56002/56006 566.39/563.47 c cleaning 11001 clauses out of 22018 with flag 68000/68004 665.27/662.26 c cleaning 11982 clauses out of 24018 with flag 81001/81005 772.53/769.45 c cleaning 12998 clauses out of 26035 with flag 95000/95004 883.21/880.06 c cleaning 14014 clauses out of 28037 with flag 110000/110004 1022.29/1019.04 c cleaning 14995 clauses out of 30023 with flag 126000/126004 1157.57/1154.26 c cleaning 15978 clauses out of 32028 with flag 143000/143004 1314.26/1310.87 c cleaning 17018 clauses out of 34051 with flag 161001/161005 1498.26/1494.78 c cleaning 18006 clauses out of 36034 with flag 180002/180006 1652.16/1648.65 c cleaning 19003 clauses out of 38026 with flag 200000/200004 1800.08/1796.51 c starts : 365 1800.08/1796.51 c conflicts : 217688 1800.08/1796.51 c decisions : 1162428 1800.08/1796.51 c propagations : 1312557608 1800.08/1796.51 c inspects : 8248390340 1800.08/1796.51 c shortcuts : 0 1800.08/1796.51 c learnt literals : 0 1800.08/1796.51 c learnt binary clauses : 0 1800.08/1796.51 c learnt ternary clauses : 1 1800.08/1796.51 c learnt constraints : 217687 1800.08/1796.51 c ignored constraints : 0 1800.08/1796.51 c root simplifications : 365 1800.08/1796.51 c removed literals (reason simplification) : 48200 1800.08/1796.51 c reason swapping (by a shorter reason) : 0 1800.08/1796.51 c Calls to reduceDB : 16 1800.08/1796.51 c number of reductions to clauses (during analyze) : 0 1800.08/1796.51 c number of learned constraints concerned by reduction : 0 1800.08/1796.51 c number of learning phase by resolution : 0 1800.08/1796.51 c number of learning phase by cutting planes : 0 1800.08/1796.51 c speed (assignments/second) : 730969.6481308326 1800.08/1796.51 c non guided choices 275013 1800.08/1796.53 c learnt constraints type 1800.08/1796.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36711 1800.08/1796.53 c constraints type 1800.08/1796.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37958 1800.08/1796.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/1796.53 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37458 1800.08/1796.53 c 75417 constraints processed. 1800.08/1796.53 s SATISFIABLE 1800.08/1796.53 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.08/1796.53 c objective function=22 1800.08/1796.53 c Total wall clock time (in seconds): 1796.409
OK 22
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711222-1338165609/watcher-3711222-1338165609 -o /tmp/evaluation-result-3711222-1338165609/solver-3711222-1338165609 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711222-1338165609.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.00 2.00 3/195 1040 /proc/meminfo: memFree=31156676/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/1040/stat : 1040 (java) R 1038 1040 31312 0 -1 4202496 576 0 0 0 0 0 0 0 20 0 1 0 282686547 23793664 303 33554432000 1073741824 1073778376 140735922903232 140735922892296 214360439347 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 5809 316 244 9 0 128 0 [pid=1040/tid=1041] ppid=1038 vsize=91880 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 2 0 282686548 94085120 903 33554432000 1073741824 1073778376 140735922903232 140735922892296 214360489504 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.101688 s] /proc/loadavg: 1.97 2.00 2.00 3/195 1040 /proc/meminfo: memFree=31156676/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9558440 CPUtime=0.1 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 4272 0 1 0 9 1 0 0 20 0 18 0 282686547 9787842560 5990 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2389610 5990 2116 9 0 2380296 0 [pid=1040/tid=1041] ppid=1038 vsize=9558440 CPUtime=0.07 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2424 0 1 0 7 0 0 0 20 0 18 0 282686548 9787842560 5990 33554432000 1073741824 1073778376 140735922903232 139691917146792 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.200388 s] /proc/loadavg: 1.97 2.00 2.00 3/195 1040 /proc/meminfo: memFree=31156676/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9558440 CPUtime=0.24 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 4744 0 1 0 23 1 0 0 20 0 18 0 282686547 9787842560 6936 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2389610 6936 2191 9 0 2380296 0 [pid=1040/tid=1041] ppid=1038 vsize=9558440 CPUtime=0.17 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2503 0 1 0 17 0 0 0 20 0 18 0 282686548 9787842560 6936 33554432000 1073741824 1073778376 140735922903232 139691917138792 139691747801451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558440 [startup+0.300285 s] /proc/loadavg: 1.97 2.00 2.00 3/195 1040 /proc/meminfo: memFree=31156676/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9558440 CPUtime=0.45 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 5078 0 1 0 44 1 0 0 20 0 18 0 282686547 9787842560 7706 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2389610 7706 2229 9 0 2380296 0 [pid=1040/tid=1041] ppid=1038 vsize=9558440 CPUtime=0.27 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2506 0 1 0 27 0 0 0 20 0 18 0 282686548 9787842560 7706 33554432000 1073741824 1073778376 140735922903232 139691917148248 139691747767789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558440 [startup+0.700245 s] /proc/loadavg: 1.97 2.00 2.00 3/195 1040 /proc/meminfo: memFree=31156676/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9558440 CPUtime=1.64 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 23137 0 1 0 160 4 0 0 20 0 18 0 282686547 9787842560 29952 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2389610 29952 2250 9 0 2380296 0 [pid=1040/tid=1041] ppid=1038 vsize=9558440 CPUtime=0.67 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2535 0 1 0 65 2 0 0 20 0 18 0 282686548 9787842560 29952 33554432000 1073741824 1073778376 140735922903232 139691917147496 139691747816740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 9558440 [startup+1.50084 s] /proc/loadavg: 1.97 2.00 2.00 4/214 1061 /proc/meminfo: memFree=31001668/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9625004 CPUtime=3.34 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 25826 0 1 0 328 6 0 0 20 0 19 0 282686547 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2406251 44611 2259 9 0 2396937 0 [pid=1040/tid=1041] ppid=1038 vsize=9625004 CPUtime=1.47 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2566 0 1 0 144 3 0 0 20 0 19 0 282686548 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691917140416 139691748778346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1043] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1043/stat : 1043 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691878640680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1044] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1044/stat : 1044 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691877587880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1045] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1045/stat : 1045 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691876535080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1046] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1046/stat : 1046 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691875482280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1047] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1047/stat : 1047 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691874429480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1048] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1048/stat : 1048 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691873376680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1049] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1049/stat : 1049 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691872323880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1050] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1050/stat : 1050 (java) S 1038 1040 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691871271080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1051] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1051/stat : 1051 (java) S 1038 1040 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282686550 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691741383656 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1052] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1052/stat : 1052 (java) S 1038 1040 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691740329720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1053] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1053/stat : 1053 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691739276808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1054] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1054/stat : 1054 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691738225296 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1055] ppid=1038 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1040/task/1055/stat : 1055 (java) S 1038 1040 31312 0 -1 4202560 7868 0 0 0 92 0 0 0 20 0 19 0 282686553 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691737172408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1056] ppid=1038 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1040/task/1056/stat : 1056 (java) S 1038 1040 31312 0 -1 4202560 14198 0 0 0 89 3 0 0 20 0 19 0 282686553 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691736119608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1057] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1057/stat : 1057 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691735067000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1058] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1058/stat : 1058 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691734014408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1061] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1061/stat : 1061 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686635 9856004096 44611 33554432000 1073741824 1073778376 140735922903232 139691732960936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.34 Current children cumulated vsize (KiB) 9625004 [startup+3.10087 s] /proc/loadavg: 1.97 2.00 2.00 3/214 1061 /proc/meminfo: memFree=30928996/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9625004 CPUtime=5.18 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 26092 0 1 0 507 11 0 0 20 0 19 0 282686547 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2406251 59031 2274 9 0 2396937 0 [pid=1040/tid=1041] ppid=1038 vsize=9625004 CPUtime=3.01 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2583 0 1 0 298 3 0 0 20 0 19 0 282686548 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691917140416 139691748792725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1043] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1043/stat : 1043 (java) S 1038 1040 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691878640680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1044] ppid=1038 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1040/task/1044/stat : 1044 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691877587880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1045] ppid=1038 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1040/task/1045/stat : 1045 (java) S 1038 1040 31312 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691876535080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1046] ppid=1038 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/1040/task/1046/stat : 1046 (java) S 1038 1040 31312 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691875482280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1047] ppid=1038 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1040/task/1047/stat : 1047 (java) S 1038 1040 31312 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691874429480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1048] ppid=1038 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1040/task/1048/stat : 1048 (java) S 1038 1040 31312 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691873376680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1049] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1049/stat : 1049 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691872323880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1050] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1050/stat : 1050 (java) S 1038 1040 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282686549 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691871271080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1051] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1051/stat : 1051 (java) S 1038 1040 31312 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 282686550 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691741383656 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1052] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1052/stat : 1052 (java) S 1038 1040 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691740329720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1053] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1053/stat : 1053 (java) S 1038 1040 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691739276808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1054] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1054/stat : 1054 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691738225296 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1055] ppid=1038 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1040/task/1055/stat : 1055 (java) S 1038 1040 31312 0 -1 4202560 7972 0 0 0 96 0 0 0 20 0 19 0 282686553 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691737172408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1056] ppid=1038 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1040/task/1056/stat : 1056 (java) S 1038 1040 31312 0 -1 4202560 14198 0 0 0 93 3 0 0 20 0 19 0 282686553 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691736119608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1057] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1057/stat : 1057 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691735067000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1058] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1058/stat : 1058 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691734014408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1061] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1061/stat : 1061 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686635 9856004096 59031 33554432000 1073741824 1073778376 140735922903232 139691732960936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 5.18 Current children cumulated vsize (KiB) 9625004 [startup+6.30088 s] /proc/loadavg: 1.97 2.00 2.00 3/214 1118 /proc/meminfo: memFree=30956836/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9625004 CPUtime=8.5 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 26508 0 1 0 834 16 0 0 20 0 19 0 282686547 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2406251 72612 2274 9 0 2396937 0 [pid=1040/tid=1041] ppid=1038 vsize=9625004 CPUtime=6.17 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2604 0 1 0 614 3 0 0 20 0 19 0 282686548 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691917140416 139691748709823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1043] ppid=1038 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1040/task/1043/stat : 1043 (java) S 1038 1040 31312 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691878640680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1044] ppid=1038 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/1040/task/1044/stat : 1044 (java) S 1038 1040 31312 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691877587880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1045] ppid=1038 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/1040/task/1045/stat : 1045 (java) S 1038 1040 31312 0 -1 4202560 99 0 0 0 2 0 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691876535080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1046] ppid=1038 vsize=9625004 CPUtime=0.07 cores=1,3,5,7 /proc/1040/task/1046/stat : 1046 (java) S 1038 1040 31312 0 -1 4202560 106 0 0 0 5 2 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691875482280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1047] ppid=1038 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/1040/task/1047/stat : 1047 (java) S 1038 1040 31312 0 -1 4202560 96 0 0 0 2 0 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691874429480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1048] ppid=1038 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/1040/task/1048/stat : 1048 (java) S 1038 1040 31312 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691873376680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1049] ppid=1038 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1040/task/1049/stat : 1049 (java) S 1038 1040 31312 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691872323880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1050] ppid=1038 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/1040/task/1050/stat : 1050 (java) S 1038 1040 31312 0 -1 4202560 116 0 0 0 2 2 0 0 20 0 19 0 282686549 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691871271080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1051] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1051/stat : 1051 (java) S 1038 1040 31312 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 282686550 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691741383656 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1052] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1052/stat : 1052 (java) S 1038 1040 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691740329720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1053] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1053/stat : 1053 (java) S 1038 1040 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691739276808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1054] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1054/stat : 1054 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691738225296 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1055] ppid=1038 vsize=9625004 CPUtime=0.97 cores=1,3,5,7 /proc/1040/task/1055/stat : 1055 (java) S 1038 1040 31312 0 -1 4202560 7972 0 0 0 97 0 0 0 20 0 19 0 282686553 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691737172408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1056] ppid=1038 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1040/task/1056/stat : 1056 (java) S 1038 1040 31312 0 -1 4202560 14198 0 0 0 93 3 0 0 20 0 19 0 282686553 9856004096 72612 33554432000 1073741824 1073778376 140735922903232 139691736119608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ [pid=1040/tid=1055] ppid=1038 vsize=9625004 CPUtime=1.11 cores=1,3,5,7 /proc/1040/task/1055/stat : 1055 (java) S 1038 1040 31312 0 -1 4202560 7986 0 0 0 111 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691737172408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1056] ppid=1038 vsize=9625004 CPUtime=1.17 cores=1,3,5,7 /proc/1040/task/1056/stat : 1056 (java) S 1038 1040 31312 0 -1 4202560 14270 0 0 0 114 3 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691736119608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1057] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1057/stat : 1057 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691735067000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1058] ppid=1038 vsize=9625004 CPUtime=0.94 cores=1,3,5,7 /proc/1040/task/1058/stat : 1058 (java) S 1038 1040 31312 0 -1 4202560 95 0 0 0 54 40 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691734014408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1061] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1061/stat : 1061 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686635 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691732960936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1665.89 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/214 1152 /proc/meminfo: memFree=30753904/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9625004 CPUtime=1725.89 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 26899 0 1 0 172520 69 0 0 20 0 19 0 282686547 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2406251 95034 2292 9 0 2396937 0 [pid=1040/tid=1041] ppid=1038 vsize=9625004 CPUtime=1715.03 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2634 0 1 0 171473 30 0 0 20 0 19 0 282686548 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691917148464 139691748810765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1043] ppid=1038 vsize=9625004 CPUtime=0.09 cores=1,3,5,7 /proc/1040/task/1043/stat : 1043 (java) S 1038 1040 31312 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691878640680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1044] ppid=1038 vsize=9625004 CPUtime=0.11 cores=1,3,5,7 /proc/1040/task/1044/stat : 1044 (java) S 1038 1040 31312 0 -1 4202560 26 0 0 0 9 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691877587880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1045] ppid=1038 vsize=9625004 CPUtime=0.08 cores=1,3,5,7 /proc/1040/task/1045/stat : 1045 (java) S 1038 1040 31312 0 -1 4202560 127 0 0 0 6 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691876535080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1046] ppid=1038 vsize=9625004 CPUtime=0.19 cores=1,3,5,7 /proc/1040/task/1046/stat : 1046 (java) S 1038 1040 31312 0 -1 4202560 120 0 0 0 15 4 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691875482280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1047] ppid=1038 vsize=9625004 CPUtime=0.11 cores=1,3,5,7 /proc/1040/task/1047/stat : 1047 (java) S 1038 1040 31312 0 -1 4202560 108 0 0 0 9 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691874429480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1048] ppid=1038 vsize=9625004 CPUtime=0.09 cores=1,3,5,7 /proc/1040/task/1048/stat : 1048 (java) S 1038 1040 31312 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691873376680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1049] ppid=1038 vsize=9625004 CPUtime=0.1 cores=1,3,5,7 /proc/1040/task/1049/stat : 1049 (java) S 1038 1040 31312 0 -1 4202560 23 0 0 0 8 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691872323880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1050] ppid=1038 vsize=9625004 CPUtime=0.15 cores=1,3,5,7 /proc/1040/task/1050/stat : 1050 (java) S 1038 1040 31312 0 -1 4202560 131 0 0 0 12 3 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691871271080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1051] ppid=1038 vsize=9625004 CPUtime=2.43 cores=1,3,5,7 /proc/1040/task/1051/stat : 1051 (java) S 1038 1040 31312 0 -1 4202560 154 0 0 0 238 5 0 0 20 0 19 0 282686550 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691741383656 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1052] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1052/stat : 1052 (java) S 1038 1040 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691740329720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1053] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1053/stat : 1053 (java) S 1038 1040 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691739276808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1054] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1054/stat : 1054 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691738225296 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1055] ppid=1038 vsize=9625004 CPUtime=1.11 cores=1,3,5,7 /proc/1040/task/1055/stat : 1055 (java) S 1038 1040 31312 0 -1 4202560 7986 0 0 0 111 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691737172408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1056] ppid=1038 vsize=9625004 CPUtime=1.17 cores=1,3,5,7 /proc/1040/task/1056/stat : 1056 (java) S 1038 1040 31312 0 -1 4202560 14270 0 0 0 114 3 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691736119608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1057] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1057/stat : 1057 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691735067000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1058] ppid=1038 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1040/task/1058/stat : 1058 (java) S 1038 1040 31312 0 -1 4202560 99 0 0 0 55 41 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691734014408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1061] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1061/stat : 1061 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686635 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691732960936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1725.89 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 1356 /proc/meminfo: memFree=30744480/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9625004 CPUtime=1785.88 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 26903 0 1 0 178517 71 0 0 20 0 19 0 282686547 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2406251 95034 2292 9 0 2396937 0 [pid=1040/tid=1041] ppid=1038 vsize=9625004 CPUtime=1774.86 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2634 0 1 0 177456 30 0 0 20 0 19 0 282686548 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691917148464 139691748792894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1043] ppid=1038 vsize=9625004 CPUtime=0.09 cores=1,3,5,7 /proc/1040/task/1043/stat : 1043 (java) S 1038 1040 31312 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691878640680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1044] ppid=1038 vsize=9625004 CPUtime=0.11 cores=1,3,5,7 /proc/1040/task/1044/stat : 1044 (java) S 1038 1040 31312 0 -1 4202560 26 0 0 0 9 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691877587880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1045] ppid=1038 vsize=9625004 CPUtime=0.08 cores=1,3,5,7 /proc/1040/task/1045/stat : 1045 (java) S 1038 1040 31312 0 -1 4202560 127 0 0 0 6 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691876535080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1046] ppid=1038 vsize=9625004 CPUtime=0.19 cores=1,3,5,7 /proc/1040/task/1046/stat : 1046 (java) S 1038 1040 31312 0 -1 4202560 120 0 0 0 15 4 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691875482280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1047] ppid=1038 vsize=9625004 CPUtime=0.11 cores=1,3,5,7 /proc/1040/task/1047/stat : 1047 (java) S 1038 1040 31312 0 -1 4202560 108 0 0 0 9 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691874429480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1048] ppid=1038 vsize=9625004 CPUtime=0.09 cores=1,3,5,7 /proc/1040/task/1048/stat : 1048 (java) S 1038 1040 31312 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691873376680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1049] ppid=1038 vsize=9625004 CPUtime=0.1 cores=1,3,5,7 /proc/1040/task/1049/stat : 1049 (java) S 1038 1040 31312 0 -1 4202560 23 0 0 0 8 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691872323880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1050] ppid=1038 vsize=9625004 CPUtime=0.15 cores=1,3,5,7 /proc/1040/task/1050/stat : 1050 (java) S 1038 1040 31312 0 -1 4202560 131 0 0 0 12 3 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691871271080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1051] ppid=1038 vsize=9625004 CPUtime=2.43 cores=1,3,5,7 /proc/1040/task/1051/stat : 1051 (java) S 1038 1040 31312 0 -1 4202560 154 0 0 0 238 5 0 0 20 0 19 0 282686550 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691741383656 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1052] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1052/stat : 1052 (java) S 1038 1040 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691740329720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1053] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1053/stat : 1053 (java) S 1038 1040 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691739276808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1054] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1054/stat : 1054 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691738225296 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1055] ppid=1038 vsize=9625004 CPUtime=1.11 cores=1,3,5,7 /proc/1040/task/1055/stat : 1055 (java) S 1038 1040 31312 0 -1 4202560 7986 0 0 0 111 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691737172408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1056] ppid=1038 vsize=9625004 CPUtime=1.17 cores=1,3,5,7 /proc/1040/task/1056/stat : 1056 (java) S 1038 1040 31312 0 -1 4202560 14270 0 0 0 114 3 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691736119608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1057] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1057/stat : 1057 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691735067000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1058] ppid=1038 vsize=9625004 CPUtime=0.98 cores=1,3,5,7 /proc/1040/task/1058/stat : 1058 (java) S 1038 1040 31312 0 -1 4202560 103 0 0 0 56 42 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691734014408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1061] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1061/stat : 1061 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686635 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691732960936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1785.88 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.5 s] /proc/loadavg: 2.00 2.00 2.00 3/214 1358 /proc/meminfo: memFree=30744216/32873844 swapFree=7624/7624 [pid=1040] ppid=1038 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7 /proc/1040/stat : 1040 (java) S 1038 1040 31312 0 -1 4202496 26903 0 1 0 179937 71 0 0 20 0 19 0 282686547 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 140735922894368 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1040/statm: 2406251 95034 2292 9 0 2396937 0 [pid=1040/tid=1041] ppid=1038 vsize=9625004 CPUtime=1789.02 cores=1,3,5,7 /proc/1040/task/1041/stat : 1041 (java) R 1038 1040 31312 0 -1 4202560 2634 0 1 0 178871 31 0 0 20 0 19 0 282686548 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691917148464 139691748792412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1043] ppid=1038 vsize=9625004 CPUtime=0.09 cores=1,3,5,7 /proc/1040/task/1043/stat : 1043 (java) S 1038 1040 31312 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691878640680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1044] ppid=1038 vsize=9625004 CPUtime=0.11 cores=1,3,5,7 /proc/1040/task/1044/stat : 1044 (java) S 1038 1040 31312 0 -1 4202560 26 0 0 0 9 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691877587880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1045] ppid=1038 vsize=9625004 CPUtime=0.08 cores=1,3,5,7 /proc/1040/task/1045/stat : 1045 (java) S 1038 1040 31312 0 -1 4202560 127 0 0 0 6 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691876535080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1046] ppid=1038 vsize=9625004 CPUtime=0.19 cores=1,3,5,7 /proc/1040/task/1046/stat : 1046 (java) S 1038 1040 31312 0 -1 4202560 120 0 0 0 15 4 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691875482280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1047] ppid=1038 vsize=9625004 CPUtime=0.11 cores=1,3,5,7 /proc/1040/task/1047/stat : 1047 (java) S 1038 1040 31312 0 -1 4202560 108 0 0 0 9 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691874429480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1048] ppid=1038 vsize=9625004 CPUtime=0.09 cores=1,3,5,7 /proc/1040/task/1048/stat : 1048 (java) S 1038 1040 31312 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691873376680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1049] ppid=1038 vsize=9625004 CPUtime=0.1 cores=1,3,5,7 /proc/1040/task/1049/stat : 1049 (java) S 1038 1040 31312 0 -1 4202560 23 0 0 0 8 2 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691872323880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1050] ppid=1038 vsize=9625004 CPUtime=0.15 cores=1,3,5,7 /proc/1040/task/1050/stat : 1050 (java) S 1038 1040 31312 0 -1 4202560 131 0 0 0 12 3 0 0 20 0 19 0 282686549 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691871271080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1051] ppid=1038 vsize=9625004 CPUtime=2.43 cores=1,3,5,7 /proc/1040/task/1051/stat : 1051 (java) S 1038 1040 31312 0 -1 4202560 154 0 0 0 238 5 0 0 20 0 19 0 282686550 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691741383656 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1052] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1052/stat : 1052 (java) S 1038 1040 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691740329720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1053] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1053/stat : 1053 (java) S 1038 1040 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686551 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691739276808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1054] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1054/stat : 1054 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691738225296 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1055] ppid=1038 vsize=9625004 CPUtime=1.11 cores=1,3,5,7 /proc/1040/task/1055/stat : 1055 (java) S 1038 1040 31312 0 -1 4202560 7986 0 0 0 111 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691737172408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1040/tid=1056] ppid=1038 vsize=9625004 CPUtime=1.17 cores=1,3,5,7 /proc/1040/task/1056/stat : 1056 (java) S 1038 1040 31312 0 -1 4202560 14270 0 0 0 114 3 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691736119608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1040/tid=1057] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1057/stat : 1057 (java) S 1038 1040 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691735067000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1040/tid=1058] ppid=1038 vsize=9625004 CPUtime=0.99 cores=1,3,5,7 /proc/1040/task/1058/stat : 1058 (java) S 1038 1040 31312 0 -1 4202560 103 0 0 0 57 42 0 0 20 0 19 0 282686553 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691734014408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1040/tid=1061] ppid=1038 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1040/task/1061/stat : 1061 (java) S 1038 1040 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686635 9856004096 95034 33554432000 1073741824 1073778376 140735922903232 139691732960936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1040 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=868138 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=101832 # CPU time returned by wait4() is 1795.97 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.55 CPU time (s): 1800.08 CPU user time (s): 1799.37 CPU system time (s): 0.71 CPU usage (%): 100.197 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.87 system time used= 1.10183 maximum resident set size= 380256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26937 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38553 involuntary context switches= 10957 runsolver used 6.32004 second user time and 16.8044 second system time The end
Begin job on node130 at 2012-05-28 02:40:09 IDJOB=3711222 IDBENCH=48104 IDSOLVER=2289 FILE ID=node130/3711222-1338165609 RUNJOBID= node130-1338158197-31329 PBS_JOBID= 14624537 Free space on /tmp= 71472 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711222-1338165609/watcher-3711222-1338165609 -o /tmp/evaluation-result-3711222-1338165609/solver-3711222-1338165609 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711222-1338165609.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d RANDOM SEED=765524235 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31157320 kB Buffers: 305604 kB Cached: 484420 kB SwapCached: 4512 kB Active: 780032 kB Inactive: 95504 kB Active(anon): 75484 kB Inactive(anon): 9016 kB Active(file): 704548 kB Inactive(file): 86488 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099912 kB Dirty: 1524 kB Writeback: 0 kB AnonPages: 115484 kB Mapped: 19892 kB Shmem: 8 kB Slab: 693716 kB SReclaimable: 134940 kB SUnreclaim: 558776 kB KernelStack: 1768 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697788 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71472 MiB End job on node130 at 2012-05-28 03:10:08