Trace number 3742348

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 NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1801.22 1795.74

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K192.opb
MD5SUM83a21ae30c37a390d06f7aafb55d6d81
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22848
Total number of constraints23234
Number of constraints which are clauses23042
Number of constraints which are cardinality constraints (but not clauses)192
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint192
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.10	c no version file found!!!
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version	1.6.0_24
0.07/0.10	c os.name	Linux
0.07/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch	amd64
0.07/0.10	c Free memory 1599470296
0.07/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.13	--- Begin Solver configuration ---
0.07/0.13	c Stops conflict analysis at the first Unique Implication Point
0.07/0.13	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.13	c No reason simplification
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3742348-1338766954.opb
0.07/0.13	c reading problem ... 
1.15/0.68	c ... done. Wall clock time 0.555s.
1.15/0.68	c CPU time (experimental) 0.63s.
1.15/0.68	c #vars     22848
1.15/0.68	c #constraints  23232
917.69/914.17	c cleaning 292668 clauses out of 587978 for limit 5.291295862554879E9
918.70/915.14	c cleaning 147137 clauses out of 295810 for limit 1.7344674657836155E10
919.10/915.58	c cleaning 73584 clauses out of 149174 for limit 5.6777500922642555E10
919.60/916.05	c cleaning 37058 clauses out of 76089 for limit 1.8338715244601944E11
919.70/916.18	c cleaning 18552 clauses out of 39531 for limit 5.821151064643014E11
920.10/916.52	c cleaning 9786 clauses out of 21479 for limit 1.7668045111491165E12
920.40/916.86	c cleaning 5095 clauses out of 12193 for limit 5.132723514718936E12
920.70/917.16	c cleaning 2863 clauses out of 7598 for limit 1.3583604940863184E13
920.90/917.38	c cleaning 1717 clauses out of 5235 for limit 3.2512737112095008E13
921.20/917.65	c cleaning 1124 clauses out of 4019 for limit 6.9910532657288086E13
921.30/917.74	c cleaning 875 clauses out of 3394 for limit 1.3638611373896783E14
921.40/917.83	c cleaning 658 clauses out of 3020 for limit 2.5302617385394794E14
921.70/918.14	c cleaning 662 clauses out of 2863 for limit 4.4059690496006144E14
922.00/918.42	c cleaning 1252 clauses out of 2699 for limit 7.69213272069003E14
922.21/918.67	c cleaning 582 clauses out of 1947 for limit 1.7584887288762585E15
922.50/918.95	c cleaning 478 clauses out of 1865 for limit 3.0274891223395315E15
922.80/919.22	c cleaning 719 clauses out of 1887 for limit 4.934525690842756E15
923.10/919.51	c cleaning 667 clauses out of 1668 for limit 9.206131102060667E-5
923.40/919.80	c cleaning 498 clauses out of 1501 for limit 1.6871294109362998E-4
923.50/919.96	c cleaning 442 clauses out of 1503 for limit 2.778599767299864E-4
923.70/920.12	c cleaning 352 clauses out of 1561 for limit 4.412024948269234E-4
923.90/920.33	c cleaning 336 clauses out of 1709 for limit 6.645913537923193E-4
924.20/920.61	c cleaning 370 clauses out of 1874 for limit 0.0010005010801536775
924.50/920.94	c cleaning 449 clauses out of 2003 for limit 0.0015421533951564793
924.90/921.33	c cleaning 427 clauses out of 2055 for limit 0.002481344682964801
925.20/921.62	c cleaning 940 clauses out of 2126 for limit 0.003951454972638902
925.60/922.02	c cleaning 683 clauses out of 1686 for limit 0.00821710079671757
925.80/922.29	c cleaning 596 clauses out of 1503 for limit 0.015201032623872781
926.00/922.48	c cleaning 519 clauses out of 1407 for limit 0.026778969538633148
926.20/922.65	c cleaning 533 clauses out of 1388 for limit 0.04476662766303455
926.40/922.89	c cleaning 493 clauses out of 1355 for limit 0.0756241380152363
926.71/923.13	c cleaning 491 clauses out of 1364 for limit 0.12413958034845274
926.91/923.38	c cleaning 492 clauses out of 1371 for limit 0.20327035793940243
927.11/923.59	c cleaning 473 clauses out of 1379 for limit 0.3332752996265571
927.31/923.75	c cleaning 483 clauses out of 1407 for limit 0.5392171480418535
927.51/923.94	c cleaning 493 clauses out of 1423 for limit 0.878363473872903
927.71/924.13	c cleaning 497 clauses out of 1430 for limit 1.4414481240479087
927.91/924.31	c cleaning 480 clauses out of 1433 for limit 2.372164221737755
927.91/924.40	c cleaning 462 clauses out of 1453 for limit 3.858168709216761
928.11/924.56	c cleaning 484 clauses out of 1491 for limit 6.200476592368855
928.31/924.70	c cleaning 479 clauses out of 1507 for limit 10.116850922448865
928.41/924.87	c cleaning 473 clauses out of 1528 for limit 16.4547442100041
928.61/925.05	c cleaning 572 clauses out of 1555 for limit 26.66490148121724
928.81/925.29	c cleaning 548 clauses out of 1483 for limit 46.10893728782869
929.11/925.55	c cleaning 525 clauses out of 1435 for limit 78.58329769723362
929.31/925.79	c cleaning 501 clauses out of 1410 for limit 131.8921431163848
929.61/926.05	c cleaning 481 clauses out of 1409 for limit 217.6621585393625
929.81/926.25	c cleaning 513 clauses out of 1428 for limit 354.1780189183683
930.01/926.46	c cleaning 482 clauses out of 1419 for limit 590.1485582794078
930.11/926.58	c cleaning 461 clauses out of 1433 for limit 959.8765799916479
930.31/926.73	c cleaning 519 clauses out of 1472 for limit 1541.0249238722695
930.51/926.92	c cleaning 476 clauses out of 1453 for limit 2574.588028921269
930.71/927.11	c cleaning 495 clauses out of 1479 for limit 4179.555498733071
930.81/927.25	c cleaning 497 clauses out of 1482 for limit 6864.942915192289
931.01/927.45	c cleaning 498 clauses out of 1485 for limit 11298.338113001482
931.21/927.69	c cleaning 488 clauses out of 1487 for limit 18607.4105274122
931.41/927.85	c cleaning 526 clauses out of 1499 for limit 30440.456572403986
931.61/928.04	c cleaning 522 clauses out of 1473 for limit 51086.47476160148
931.81/928.22	c cleaning 498 clauses out of 1451 for limit 85525.80222080386
932.02/928.43	c cleaning 479 clauses out of 1453 for limit 140849.34822655492
932.12/928.58	c cleaning 476 clauses out of 1474 for limit 228970.1451416978
932.31/928.76	c cleaning 490 clauses out of 1498 for limit 371552.6957370915
932.51/928.96	c cleaning 497 clauses out of 1509 for limit 608882.3554169469
932.61/929.08	c cleaning 492 clauses out of 1511 for limit 1001796.5682632857
932.81/929.21	c cleaning 500 clauses out of 1519 for limit 1643395.589643992
932.91/929.31	c cleaning 485 clauses out of 1522 for limit 2712967.935577576
933.01/929.43	c cleaning 489 clauses out of 1535 for limit 4427288.231764423
933.12/929.56	c cleaning 512 clauses out of 1546 for limit 7249241.603571569
933.33/929.73	c cleaning 647 clauses out of 1533 for limit 1.2044292228385681E7
933.43/929.86	c cleaning 537 clauses out of 1386 for limit 2.196929374708017E7
933.63/930.04	c cleaning 454 clauses out of 1349 for limit 3.722401918637662E7
933.83/930.25	c cleaning 454 clauses out of 1395 for limit 5.9363143780385576E7
934.03/930.43	c cleaning 462 clauses out of 1441 for limit 9.477264604208724E7
934.24/930.63	c cleaning 465 clauses out of 1479 for limit 1.522771359950342E8
934.43/930.82	c cleaning 467 clauses out of 1514 for limit 2.4531996040346995E8
934.53/930.92	c cleaning 472 clauses out of 1547 for limit 3.9593540116098124E8
934.63/931.04	c cleaning 769 clauses out of 1575 for limit 6.413424359149393E8
934.83/931.23	c cleaning 623 clauses out of 1306 for limit 1.2755081712677968E9
935.03/931.45	c cleaning 460 clauses out of 1183 for limit 2.3221890052065735E9
935.23/931.65	c cleaning 504 clauses out of 1223 for limit 3.7043476583952756E9
935.34/931.80	c cleaning 527 clauses out of 1219 for limit 6.129010671403362E9
935.53/931.95	c cleaning 378 clauses out of 1192 for limit 1.0336504897429697E10
935.73/932.13	c cleaning 332 clauses out of 1315 for limit 1.546730381145186E10
935.93/932.30	c cleaning 542 clauses out of 1482 for limit 2.2610675672542854E10
936.03/932.47	c cleaning 422 clauses out of 1440 for limit 3.837559649819333E10
936.23/932.64	c cleaning 444 clauses out of 1518 for limit 6.0034617316338234E10
936.33/932.76	c cleaning 461 clauses out of 1574 for limit 9.548269691070418E10
936.54/932.92	c cleaning 473 clauses out of 1613 for limit 1.536564958381313E11
936.63/933.07	c cleaning 469 clauses out of 1640 for limit 2.492282862336546E11
936.83/933.22	c cleaning 484 clauses out of 1672 for limit 4.0354809813833484E11
936.93/933.38	c cleaning 453 clauses out of 1687 for limit 6.589278605734497E11
937.13/933.51	c cleaning 484 clauses out of 1736 for limit 1.0581034804806128E12
937.23/933.62	c cleaning 867 clauses out of 1750 for limit 1.7275342982266682E12
937.33/933.75	c cleaning 594 clauses out of 1383 for limit 3.6049432650500425E12
937.43/933.88	c cleaning 466 clauses out of 1289 for limit 6.378573788726614E12
937.64/934.02	c cleaning 432 clauses out of 1323 for limit 1.0248788811762293E13
937.73/934.12	c cleaning 380 clauses out of 1392 for limit 1.6079907708967615E13
937.83/934.23	c cleaning 414 clauses out of 1511 for limit 2.440504978583657E13
937.93/934.36	c cleaning 381 clauses out of 1597 for limit 3.807984159699273E13
938.03/934.49	c cleaning 415 clauses out of 1716 for limit 5.844382784297556E13
938.23/934.61	c cleaning 477 clauses out of 1801 for limit 9.183286010540092E13
938.33/934.71	c cleaning 458 clauses out of 1827 for limit 1.497382310692857E14
938.43/934.83	c cleaning 488 clauses out of 1866 for limit 2.4105267646412097E14
938.53/934.96	c cleaning 507 clauses out of 1881 for limit 3.955434744985779E14
938.64/935.07	c cleaning 575 clauses out of 1871 for limit 6.538250923927614E14
938.83/935.21	c cleaning 523 clauses out of 1796 for limit 1.123271981225692E15
938.93/935.35	c cleaning 513 clauses out of 1773 for limit 1.876456105560298E15
939.03/935.47	c cleaning 477 clauses out of 1760 for limit 3.1173844486577065E15
939.23/935.60	c cleaning 878 clauses out of 1783 for limit 5.074667316902951E15
939.33/935.72	c cleaning 572 clauses out of 1405 for limit 1.0620341507869539E-4
939.43/935.82	c cleaning 375 clauses out of 1333 for limit 1.8460376064542507E-4
939.53/935.92	c cleaning 650 clauses out of 1458 for limit 2.783357915677101E-4
939.63/936.03	c cleaning 426 clauses out of 1308 for limit 5.116520557800855E-4
939.74/936.14	c cleaning 289 clauses out of 1382 for limit 7.98601849015917E-4
939.84/936.24	c cleaning 369 clauses out of 1595 for limit 0.0011434115571864975
939.93/936.36	c cleaning 641 clauses out of 1724 for limit 0.001741056508323455
940.13/936.51	c cleaning 564 clauses out of 1583 for limit 0.00312697997885979
940.33/936.74	c cleaning 607 clauses out of 1519 for limit 0.005374080017691957
940.63/937.05	c cleaning 555 clauses out of 1412 for limit 0.009534174420565804
940.94/937.34	c cleaning 522 clauses out of 1357 for limit 0.0163603966535814
941.33/937.71	c cleaning 503 clauses out of 1335 for limit 0.027425104923880807
941.53/937.93	c cleaning 472 clauses out of 1332 for limit 0.04532953099898209
941.83/938.21	c cleaning 481 clauses out of 1361 for limit 0.07323483780895224
942.13/938.55	c cleaning 512 clauses out of 1379 for limit 0.11907839115324283
942.43/938.81	c cleaning 499 clauses out of 1367 for limit 0.19810005538383452
942.73/939.11	c cleaning 530 clauses out of 1368 for limit 0.3264546816465644
943.04/939.43	c cleaning 488 clauses out of 1338 for limit 0.5504384612481877
943.23/939.67	c cleaning 488 clauses out of 1350 for limit 0.8996777997476383
943.43/939.88	c cleaning 486 clauses out of 1362 for limit 1.4706168983193544
943.73/940.13	c cleaning 477 clauses out of 1376 for limit 2.4005685532535734
943.93/940.37	c cleaning 501 clauses out of 1399 for limit 3.893773804720437
944.24/940.61	c cleaning 508 clauses out of 1398 for limit 6.4259471468600315
944.53/940.91	c cleaning 495 clauses out of 1390 for limit 10.658237839724118
944.73/941.16	c cleaning 503 clauses out of 1395 for limit 17.5138605329342
945.03/941.46	c cleaning 501 clauses out of 1392 for limit 28.94494617723339
945.24/941.67	c cleaning 488 clauses out of 1393 for limit 47.79536425200465
945.53/941.93	c cleaning 487 clauses out of 1403 for limit 78.10270664731132
945.63/942.08	c cleaning 489 clauses out of 1416 for limit 127.61930914645443
945.83/942.25	c cleaning 512 clauses out of 1427 for limit 208.8389767047983
946.13/942.51	c cleaning 492 clauses out of 1415 for limit 347.32414620198307
946.23/942.64	c cleaning 479 clauses out of 1424 for limit 569.7335913942751
946.44/942.82	c cleaning 487 clauses out of 1444 for limit 925.6269641851592
946.63/943.02	c cleaning 484 clauses out of 1457 for limit 1512.862736715282
946.83/943.24	c cleaning 509 clauses out of 1473 for limit 2467.812830468008
947.13/943.50	c cleaning 501 clauses out of 1464 for limit 4094.772471942781
947.33/943.80	c cleaning 488 clauses out of 1464 for limit 6759.587182276888
947.63/944.08	c cleaning 521 clauses out of 1475 for limit 11053.265588614006
947.93/944.40	c cleaning 490 clauses out of 1454 for limit 18491.58363939782
948.13/944.53	c cleaning 481 clauses out of 1464 for limit 30286.795350696506
948.33/944.78	c cleaning 502 clauses out of 1483 for limit 49307.06315726278
948.64/945.02	c cleaning 503 clauses out of 1481 for limit 81423.75283880807
948.83/945.25	c cleaning 496 clauses out of 1478 for limit 134551.21589847378
949.03/945.48	c cleaning 491 clauses out of 1484 for limit 221438.46912868624
949.23/945.62	c cleaning 481 clauses out of 1495 for limit 363220.78209377365
949.43/945.84	c cleaning 622 clauses out of 1510 for limit 590680.6913199157
949.74/946.11	c cleaning 508 clauses out of 1388 for limit 1059732.2295042616
949.93/946.31	c cleaning 489 clauses out of 1380 for limit 1757771.462516425
950.13/946.53	c cleaning 576 clauses out of 1391 for limit 2875876.637789642
950.33/946.77	c cleaning 504 clauses out of 1315 for limit 5016808.423817229
950.63/947.06	c cleaning 523 clauses out of 1311 for limit 8298631.212174248
950.84/947.23	c cleaning 503 clauses out of 1288 for limit 1.392993791560962E7
951.13/947.54	c cleaning 466 clauses out of 1286 for limit 2.303108902365381E7
951.43/947.89	c cleaning 574 clauses out of 1319 for limit 3.699406219052875E7
951.84/948.20	c cleaning 478 clauses out of 1245 for limit 6.4634345205720216E7
952.03/948.45	c cleaning 613 clauses out of 1267 for limit 1.0473985708834934E8
952.34/948.76	c cleaning 530 clauses out of 1154 for limit 1.8964380922683975E8
952.64/949.08	c cleaning 511 clauses out of 1124 for limit 3.210953783652168E8
953.05/949.44	c cleaning 514 clauses out of 1113 for limit 5.347626768626189E8
953.15/949.54	c cleaning 399 clauses out of 1100 for limit 8.932108019598309E8
953.25/949.69	c cleaning 486 clauses out of 1201 for limit 1.349147805527533E9
953.35/949.78	c cleaning 401 clauses out of 1214 for limit 2.1988987236627135E9
953.65/950.09	c cleaning 463 clauses out of 1313 for limit 3.3528573379254575E9
953.95/950.34	c cleaning 544 clauses out of 1352 for limit 5.380566705097125E9
954.05/950.42	c cleaning 438 clauses out of 1308 for limit 9.171763645449339E9
954.25/950.61	c cleaning 673 clauses out of 1368 for limit 1.4433157957025711E10
954.55/950.91	c cleaning 587 clauses out of 1195 for limit 2.7248051012975086E10
954.85/951.21	c cleaning 466 clauses out of 1110 for limit 4.847360066722697E10
955.05/951.40	c cleaning 442 clauses out of 1142 for limit 7.75441462973422E10
955.35/951.71	c cleaning 528 clauses out of 1200 for limit 1.2169977182041008E11
955.65/952.02	c cleaning 396 clauses out of 1172 for limit 2.0549406597548517E11
955.95/952.32	c cleaning 450 clauses out of 1277 for limit 3.113338903579655E11
956.25/952.66	c cleaning 447 clauses out of 1326 for limit 4.939638273220308E11
956.45/952.89	c cleaning 447 clauses out of 1379 for limit 7.833039054131656E11
956.65/953.08	c cleaning 500 clauses out of 1432 for limit 1.2439628969746777E12
957.05/953.40	c cleaning 482 clauses out of 1432 for limit 2.0514612314903247E12
957.25/953.67	c cleaning 520 clauses out of 1450 for limit 3.3411364846560547E12
957.55/953.98	c cleaning 531 clauses out of 1430 for limit 5.587043704222545E12
957.85/954.28	c cleaning 470 clauses out of 1399 for limit 9.417947791368768E12
958.05/954.48	c cleaning 475 clauses out of 1429 for limit 1.5205393065119846E13
958.35/954.71	c cleaning 498 clauses out of 1454 for limit 2.464457656088254E13
958.55/954.95	c cleaning 469 clauses out of 1457 for limit 4.059911943140334E13
958.65/955.05	c cleaning 471 clauses out of 1488 for limit 6.555851712884158E13
958.85/955.20	c cleaning 632 clauses out of 1516 for limit 1.0601180445913498E14
958.85/955.26	c cleaning 430 clauses out of 1387 for limit 1.916621649074019E14
958.95/955.37	c cleaning 454 clauses out of 1457 for limit 3.0089099169712825E14
959.05/955.49	c cleaning 721 clauses out of 1501 for limit 4.807008706021699E14
959.35/955.75	c cleaning 613 clauses out of 1279 for limit 9.294080540977819E14
959.55/956.00	c cleaning 504 clauses out of 1166 for limit 1.6812578020848575E15
959.85/956.26	c cleaning 509 clauses out of 1162 for limit 2.7821633298707035E15
960.15/956.56	c cleaning 466 clauses out of 1153 for limit 4.623973429913126E15
960.35/956.77	c cleaning 482 clauses out of 1187 for limit 7.407127243335432E15
960.55/956.94	c cleaning 568 clauses out of 1205 for limit 1.2032873867138093E-4
960.65/957.08	c cleaning 508 clauses out of 1137 for limit 2.1030608247012188E-4
960.85/957.28	c cleaning 492 clauses out of 1129 for limit 3.4928042217728395E-4
961.15/957.59	c cleaning 496 clauses out of 1137 for limit 5.719573002605059E-4
961.45/957.88	c cleaning 458 clauses out of 1141 for limit 9.399274104713655E-4
961.65/958.10	c cleaning 415 clauses out of 1183 for limit 0.0014950341106531656
961.95/958.35	c cleaning 413 clauses out of 1268 for limit 0.002300236442747059
962.15/958.52	c cleaning 387 clauses out of 1355 for limit 0.003549836291384306
962.35/958.72	c cleaning 443 clauses out of 1468 for limit 0.005403528565629866
962.55/958.91	c cleaning 446 clauses out of 1526 for limit 0.008581029054307762
962.65/959.09	c cleaning 481 clauses out of 1579 for limit 0.013662593632875124
962.85/959.22	c cleaning 493 clauses out of 1599 for limit 0.022271897351921418
962.95/959.35	c cleaning 476 clauses out of 1606 for limit 0.036569247699185105
963.05/959.44	c cleaning 478 clauses out of 1629 for limit 0.05939663724824071
963.15/959.57	c cleaning 510 clauses out of 1657 for limit 0.09687760452702812
963.35/959.77	c cleaning 518 clauses out of 1642 for limit 0.1604190999423242
963.55/959.93	c cleaning 512 clauses out of 1628 for limit 0.2678975622057337
963.75/960.14	c cleaning 644 clauses out of 1611 for limit 0.44467781366682146
964.06/960.44	c cleaning 588 clauses out of 1466 for limit 0.8050602931188426
964.35/960.77	c cleaning 521 clauses out of 1378 for limit 1.4124368733141694
964.75/961.12	c cleaning 512 clauses out of 1357 for limit 2.365343962626278
965.06/961.43	c cleaning 530 clauses out of 1344 for limit 3.938499273321858
965.35/961.74	c cleaning 501 clauses out of 1314 for limit 6.643402417241947
965.75/962.10	c cleaning 494 clauses out of 1315 for limit 10.969455814723016
965.95/962.35	c cleaning 487 clauses out of 1319 for limit 17.999187615332193
966.26/962.64	c cleaning 522 clauses out of 1332 for limit 29.393368650715153
966.55/962.94	c cleaning 499 clauses out of 1310 for limit 49.28765748850727
966.85/963.28	c cleaning 475 clauses out of 1312 for limit 81.23927466052794
967.15/963.50	c cleaning 494 clauses out of 1336 for limit 131.43613788359588
967.36/963.78	c cleaning 479 clauses out of 1344 for limit 215.89714002096073
967.65/964.02	c cleaning 488 clauses out of 1363 for limit 350.3782713555113
967.85/964.21	c cleaning 515 clauses out of 1375 for limit 572.7778438995874
968.15/964.51	c cleaning 475 clauses out of 1360 for limit 955.0055316024399
968.46/964.81	c cleaning 512 clauses out of 1385 for limit 1546.5035066821545
968.65/965.07	c cleaning 499 clauses out of 1373 for limit 2572.681551732291
968.95/965.35	c cleaning 486 clauses out of 1374 for limit 4239.608203158919
969.25/965.64	c cleaning 487 clauses out of 1388 for limit 6921.159812625122
969.46/965.86	c cleaning 511 clauses out of 1401 for limit 11308.007692342971
969.75/966.19	c cleaning 500 clauses out of 1390 for limit 18795.994847102535
970.05/966.48	c cleaning 493 clauses out of 1390 for limit 30997.109986076808
970.45/966.82	c cleaning 505 clauses out of 1397 for limit 50862.24030769887
970.75/967.12	c cleaning 503 clauses out of 1392 for limit 84179.92670916035
970.96/967.36	c cleaning 477 clauses out of 1389 for limit 139123.7963004153
971.26/967.66	c cleaning 502 clauses out of 1412 for limit 225696.51641487476
971.46/967.88	c cleaning 501 clauses out of 1410 for limit 372731.6972876454
971.77/968.15	c cleaning 504 clauses out of 1409 for limit 615120.6877886457
972.07/968.45	c cleaning 494 clauses out of 1405 for limit 1017304.3214828864
972.27/968.63	c cleaning 471 clauses out of 1411 for limit 1670536.9530269143
972.47/968.89	c cleaning 478 clauses out of 1440 for limit 2699457.507252201
972.77/969.18	c cleaning 514 clauses out of 1462 for limit 4384776.909199506
973.07/969.42	c cleaning 463 clauses out of 1448 for limit 7300997.500989609
973.27/969.67	c cleaning 479 clauses out of 1485 for limit 1.1740327044459194E7
973.57/969.93	c cleaning 500 clauses out of 1507 for limit 1.9097819973531447E7
973.87/970.20	c cleaning 549 clauses out of 1506 for limit 3.1484257145727217E7
974.17/970.58	c cleaning 535 clauses out of 1457 for limit 5.3667919282318726E7
974.47/970.83	c cleaning 495 clauses out of 1422 for limit 9.068398580845702E7
974.57/970.92	c cleaning 570 clauses out of 1428 for limit 1.490707333723644E8
974.67/971.08	c cleaning 476 clauses out of 1357 for limit 2.5844142265256345E8
974.97/971.35	c cleaning 550 clauses out of 1381 for limit 4.187975951170337E8
975.17/971.59	c cleaning 481 clauses out of 1331 for limit 7.165981609176719E8
975.47/971.89	c cleaning 533 clauses out of 1350 for limit 1.1651339666507418E9
975.87/972.21	c cleaning 491 clauses out of 1317 for limit 1.969607746989149E9
976.17/972.51	c cleaning 452 clauses out of 1326 for limit 3.226100419868367E9
976.37/972.78	c cleaning 475 clauses out of 1374 for limit 5.134410170701476E9
976.67/973.09	c cleaning 569 clauses out of 1399 for limit 8.316018853875444E9
976.97/973.38	c cleaning 472 clauses out of 1330 for limit 1.4425717589780592E10
977.27/973.68	c cleaning 474 clauses out of 1358 for limit 2.329942395499496E10
977.67/974.01	c cleaning 486 clauses out of 1384 for limit 3.770203139041794E10
978.07/974.43	c cleaning 506 clauses out of 1398 for limit 6.155304702092105E10
978.47/974.83	c cleaning 692 clauses out of 1392 for limit 1.0194674865058871E11
978.77/975.16	c cleaning 544 clauses out of 1204 for limit 1.9515517045636707E11
979.07/975.47	c cleaning 525 clauses out of 1156 for limit 3.338616648713514E11
979.17/975.56	c cleaning 384 clauses out of 1136 for limit 5.630857066200557E11
979.38/975.71	c cleaning 432 clauses out of 1247 for limit 8.417239981082084E11
979.38/975.80	c cleaning 414 clauses out of 1317 for limit 1.3169682303107786E12
979.57/975.90	c cleaning 495 clauses out of 1402 for limit 2.0381419832463599E12
979.57/975.98	c cleaning 685 clauses out of 1410 for limit 3.352144707962383E12
979.87/976.26	c cleaning 586 clauses out of 1221 for limit 6.358344387545511E12
980.27/976.62	c cleaning 490 clauses out of 1135 for limit 1.1280276272661182E13
980.58/976.96	c cleaning 548 clauses out of 1145 for limit 1.8440215760652754E13
980.87/977.25	c cleaning 473 clauses out of 1097 for limit 3.174101017816516E13
981.17/977.59	c cleaning 411 clauses out of 1124 for limit 5.108777020117811E13
981.47/977.84	c cleaning 450 clauses out of 1213 for limit 7.806895121729397E13
981.68/978.09	c cleaning 411 clauses out of 1263 for limit 1.2364930577938862E14
981.87/978.22	c cleaning 455 clauses out of 1352 for limit 1.9049089765576834E14
982.17/978.50	c cleaning 584 clauses out of 1397 for limit 3.040257726383625E14
982.57/978.94	c cleaning 451 clauses out of 1313 for limit 5.334552184131455E14
982.87/979.25	c cleaning 455 clauses out of 1362 for limit 8.480890841682546E14
983.17/979.60	c cleaning 540 clauses out of 1406 for limit 1.354843547421948E15
983.57/979.98	c cleaning 501 clauses out of 1366 for limit 2.2997448535438035E15
983.78/980.20	c cleaning 667 clauses out of 1365 for limit 3.7953653698105575E15
984.08/980.49	c cleaning 556 clauses out of 1198 for limit 7.131572653220629E15
984.48/980.86	c cleaning 524 clauses out of 1142 for limit 1.2337634838142234E16
984.78/981.18	c cleaning 522 clauses out of 1118 for limit 2.0783184809196076E-4
985.18/981.53	c cleaning 475 clauses out of 1096 for limit 3.496223888681225E-4
985.28/981.67	c cleaning 392 clauses out of 1121 for limit 5.637156142866838E-4
985.37/981.79	c cleaning 389 clauses out of 1232 for limit 8.484268254949652E-4
985.57/981.93	c cleaning 477 clauses out of 1340 for limit 0.001282545120437883
985.88/982.23	c cleaning 477 clauses out of 1363 for limit 0.0020793973311966324
986.18/982.56	c cleaning 479 clauses out of 1387 for limit 0.0033732402657944043
986.58/982.91	c cleaning 511 clauses out of 1407 for limit 0.005478365638228037
986.78/983.18	c cleaning 460 clauses out of 1396 for limit 0.009105747029265365
987.08/983.46	c cleaning 515 clauses out of 1436 for limit 0.014598305442088101
987.38/983.79	c cleaning 493 clauses out of 1421 for limit 0.024328688353360783
987.78/984.15	c cleaning 506 clauses out of 1428 for limit 0.03992458887678236
988.08/984.50	c cleaning 521 clauses out of 1422 for limit 0.06611879815002009
988.48/984.82	c cleaning 486 clauses out of 1401 for limit 0.11067315707604594
988.78/985.12	c cleaning 497 clauses out of 1415 for limit 0.18070904105545407
989.08/985.40	c cleaning 485 clauses out of 1418 for limit 0.29738288976423394
989.28/985.69	c cleaning 507 clauses out of 1433 for limit 0.4852906285977072
989.68/986.00	c cleaning 481 clauses out of 1426 for limit 0.8042377539530322
989.88/986.23	c cleaning 482 clauses out of 1445 for limit 1.3088564637755236
990.18/986.52	c cleaning 482 clauses out of 1463 for limit 2.1319225833435835
990.48/986.82	c cleaning 494 clauses out of 1481 for limit 3.4730943754519483
1801.22/1795.73	c starts		: 22
1801.22/1795.73	c conflicts		: 1293344
1801.22/1795.73	c decisions		: 11337685
1801.22/1795.73	c propagations		: 1676608669
1801.22/1795.73	c inspects		: 7221356605
1801.22/1795.73	c learnt literals	: 31
1801.22/1795.73	c learnt binary clauses	: 141776
1801.22/1795.73	c learnt ternary clauses	: 92355
1801.22/1795.73	c learnt clauses	: 1293313
1801.22/1795.73	c root simplifications	: 0
1801.22/1795.73	c removed literals (reason simplification)	: 0
1801.22/1795.73	c reason swapping (by a shorter reason)	: 0
1801.22/1795.73	c Calls to reduceDB	: 315
1801.22/1795.73	c speed (decisions/second)	: 6316.14293441959
1801.22/1795.73	c non guided choices	24323
1801.22/1795.73	s UNKNOWN
1801.22/1795.73	c Total wall clock time (ms): 1795.604

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3742348-1338766954/watcher-3742348-1338766954 -o /tmp/evaluation-result-3742348-1338766954/solver-3742348-1338766954 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742348-1338766954.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: 2.11 2.07 2.02 3/194 18340
/proc/meminfo: memFree=24272868/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18340/stat : 18340 (java) R 18338 18340 16961 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 342819782 278528 34 33554432000 1073741824 1073778376 140735464615584 140735464612760 251035479335 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 68 34 25 9 0 25 0

[startup+0.106726 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 18340
/proc/meminfo: memFree=24272868/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 4127 0 1 0 6 1 0 0 20 0 18 0 342819782 3028844544 5845 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 739464 5845 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.200299 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 18340
/proc/meminfo: memFree=24272868/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=2957856 CPUtime=0.22 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 5159 0 1 0 20 2 0 0 20 0 18 0 342819782 3028844544 7840 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 739464 7840 2189 9 0 729885 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 2957856

[startup+0.300327 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 18340
/proc/meminfo: memFree=24272868/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 8180 0 1 0 48 2 0 0 20 0 18 0 342819782 3028844544 11452 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 739464 11452 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700324 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 18340
/proc/meminfo: memFree=24272868/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=2957856 CPUtime=1.31 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 9286 0 1 0 126 5 0 0 20 0 18 0 342819782 3028844544 39711 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 739464 39711 2263 9 0 729885 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 2957856

[startup+1.50078 s]
/proc/loadavg: 2.11 2.07 2.02 4/213 18359
/proc/meminfo: memFree=24122020/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=3024420 CPUtime=2.35 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 10111 0 1 0 230 5 0 0 20 0 19 0 342819782 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 756105 39833 2271 9 0 746526 0
[pid=18340/tid=18342] ppid=18338 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/18340/task/18342/stat : 18342 (java) R 18338 18340 16961 0 -1 4202560 3104 0 1 0 140 5 0 0 20 0 19 0 342819784 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962864726504 139962734083179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18343] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18343/stat : 18343 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962729843240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18344] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18344/stat : 18344 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962728790440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18345] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18345/stat : 18345 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962727737640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18346] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18346/stat : 18346 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962726684840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18347] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18347/stat : 18347 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962725633064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18348] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18348/stat : 18348 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962724580264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18349] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18349/stat : 18349 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962723527464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18350] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18350/stat : 18350 (java) S 18338 18340 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962722474664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18351] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18351/stat : 18351 (java) S 18338 18340 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342819787 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962240436712 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18352] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18352/stat : 18352 (java) S 18338 18340 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342819788 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962239382776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18353] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18353/stat : 18353 (java) S 18338 18340 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342819788 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962238329864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18354] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18354/stat : 18354 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962237278352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18355] ppid=18338 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18340/task/18355/stat : 18355 (java) S 18338 18340 16961 0 -1 4202560 3200 0 0 0 43 0 0 0 20 0 19 0 342819791 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962236226488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18356] ppid=18338 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18340/task/18356/stat : 18356 (java) S 18338 18340 16961 0 -1 4202560 2608 0 0 0 43 0 0 0 20 0 19 0 342819791 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962235173688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18357] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18357/stat : 18357 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962234121080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18358] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18358/stat : 18358 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962233068488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18359] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18359/stat : 18359 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342819853 3097006080 39833 33554432000 1073741824 1073778376 140736158728048 139962230936744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 3024420

[startup+3.10077 s]
/proc/loadavg: 2.11 2.07 2.02 4/213 18359
/proc/meminfo: memFree=24121524/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=3024420 CPUtime=3.96 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 10113 0 1 0 391 5 0 0 20 0 19 0 342819782 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 756105 39834 2271 9 0 746526 0
[pid=18340/tid=18342] ppid=18338 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/18340/task/18342/stat : 18342 (java) R 18338 18340 16961 0 -1 4202560 3105 0 1 0 300 5 0 0 20 0 19 0 342819784 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962864726216 139962734201812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18343] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18343/stat : 18343 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962729843240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18344] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18344/stat : 18344 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962728790440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18345] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18345/stat : 18345 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962727737640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18346] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18346/stat : 18346 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962726684840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18347] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18347/stat : 18347 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962725633064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18348] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18348/stat : 18348 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962724580264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18349] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18349/stat : 18349 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962723527464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18350] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18350/stat : 18350 (java) S 18338 18340 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962722474664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18351] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18351/stat : 18351 (java) S 18338 18340 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342819787 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962240436712 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18352] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18352/stat : 18352 (java) S 18338 18340 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342819788 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962239382776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18353] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18353/stat : 18353 (java) S 18338 18340 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342819788 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962238329864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18354] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18354/stat : 18354 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962237278352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18355] ppid=18338 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18340/task/18355/stat : 18355 (java) S 18338 18340 16961 0 -1 4202560 3200 0 0 0 43 0 0 0 20 0 19 0 342819791 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962236226488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18356] ppid=18338 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18340/task/18356/stat : 18356 (java) S 18338 18340 16961 0 -1 4202560 2608 0 0 0 43 0 0 0 20 0 19 0 342819791 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962235173688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18357] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18357/stat : 18357 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962234121080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18358] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18358/stat : 18358 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962233068488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18359] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18359/stat : 18359 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342819853 3097006080 39834 33554432000 1073741824 1073778376 140736158728048 139962230936744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 3024420

[startup+6.30082 s]
/proc/loadavg: 2.10 2.07 2.02 4/213 18359
/proc/meminfo: memFree=24116824/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=3024420 CPUtime=7.17 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 10117 0 1 0 712 5 0 0 20 0 19 0 342819782 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 756105 40837 2272 9 0 746526 0
[pid=18340/tid=18342] ppid=18338 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/18340/task/18342/stat : 18342 (java) R 18338 18340 16961 0 -1 4202560 3108 0 1 0 619 5 0 0 20 0 19 0 342819784 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962864726440 139962734202047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18343] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18343/stat : 18343 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962729843240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18344] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18344/stat : 18344 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962728790440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18345] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18345/stat : 18345 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962727737640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18346] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18346/stat : 18346 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962726684840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18347] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18347/stat : 18347 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962725633064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18348] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18348/stat : 18348 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962724580264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18349] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18349/stat : 18349 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962723527464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18350] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18350/stat : 18350 (java) S 18338 18340 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342819786 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962722474664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18351] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18351/stat : 18351 (java) S 18338 18340 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342819787 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962240436712 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18352] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18352/stat : 18352 (java) S 18338 18340 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342819788 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962239382776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18353] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18353/stat : 18353 (java) S 18338 18340 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342819788 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962238329864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18354] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18354/stat : 18354 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962237278352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18355] ppid=18338 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18340/task/18355/stat : 18355 (java) S 18338 18340 16961 0 -1 4202560 3200 0 0 0 43 0 0 0 20 0 19 0 342819791 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962236226488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18356] ppid=18338 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18340/task/18356/stat : 18356 (java) S 18338 18340 16961 0 -1 4202560 2609 0 0 0 45 0 0 0 20 0 19 0 342819791 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962235173688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18357] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18357/stat : 18357 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962234121080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18358] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18358/stat : 18358 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962233068488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18359] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18359/stat : 18359 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342819853 3097006080 40837 33554432000 1073741824 1073778376 140736158728048 139962230936744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=18340/tid=18355] ppid=18338 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/18340/task/18355/stat : 18355 (java) S 18338 18340 16961 0 -1 4202560 3208 0 0 0 47 0 0 0 20 0 19 0 342819791 3097006080 418350 33554432000 1073741824 1073778376 140736158728048 139962236226488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18356] ppid=18338 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/18340/task/18356/stat : 18356 (java) S 18338 18340 16961 0 -1 4202560 2636 0 0 0 58 0 0 0 20 0 19 0 342819791 3097006080 418350 33554432000 1073741824 1073778376 140736158728048 139962235173688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18357] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18357/stat : 18357 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342819791 3097006080 418350 33554432000 1073741824 1073778376 140736158728048 139962234121080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18358] ppid=18338 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/18340/task/18358/stat : 18358 (java) S 18338 18340 16961 0 -1 4202560 103 0 0 0 65 41 0 0 20 0 19 0 342819791 3097006080 418350 33554432000 1073741824 1073778376 140736158728048 139962233068488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18359] ppid=18338 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18359/stat : 18359 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342819853 3097006080 418350 33554432000 1073741824 1073778376 140736158728048 139962230936744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18457
/proc/meminfo: memFree=22197140/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=3090984 CPUtime=1800.62 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 12355 0 1 0 179848 214 0 0 20 0 20 0 342819782 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 772746 418408 2302 9 0 763167 0
[pid=18340/tid=18342] ppid=18338 vsize=3090984 CPUtime=1788.61 cores=1,3,5,7
/proc/18340/task/18342/stat : 18342 (java) S 18338 18340 16961 0 -1 4202560 3255 0 1 0 178825 36 0 0 20 0 20 0 342819784 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962864724648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18343] ppid=18338 vsize=3090984 CPUtime=0.33 cores=1,3,5,7
/proc/18340/task/18343/stat : 18343 (java) S 18338 18340 16961 0 -1 4202560 133 0 0 0 24 9 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962729843240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18344] ppid=18338 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/18340/task/18344/stat : 18344 (java) S 18338 18340 16961 0 -1 4202560 224 0 0 0 29 16 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962728790440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18345] ppid=18338 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/18340/task/18345/stat : 18345 (java) S 18338 18340 16961 0 -1 4202560 201 0 0 0 30 14 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962727737640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18346] ppid=18338 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/18340/task/18346/stat : 18346 (java) S 18338 18340 16961 0 -1 4202560 365 0 0 0 39 27 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962726684840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18347] ppid=18338 vsize=3090984 CPUtime=0.31 cores=1,3,5,7
/proc/18340/task/18347/stat : 18347 (java) S 18338 18340 16961 0 -1 4202560 153 0 0 0 21 10 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962725633064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18348] ppid=18338 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18340/task/18348/stat : 18348 (java) S 18338 18340 16961 0 -1 4202560 183 0 0 0 35 12 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962724580264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18349] ppid=18338 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/18340/task/18349/stat : 18349 (java) S 18338 18340 16961 0 -1 4202560 211 0 0 0 22 15 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962723527464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18350] ppid=18338 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/18340/task/18350/stat : 18350 (java) S 18338 18340 16961 0 -1 4202560 216 0 0 0 24 15 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962722474664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18351] ppid=18338 vsize=3090984 CPUtime=0.99 cores=1,3,5,7
/proc/18340/task/18351/stat : 18351 (java) R 18338 18340 16961 0 -1 4202560 264 0 0 0 91 8 0 0 20 0 20 0 342819787 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962240435592 139962866922087 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18352] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18352/stat : 18352 (java) S 18338 18340 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342819788 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962239382776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18353] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18353/stat : 18353 (java) S 18338 18340 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342819788 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962238329864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18354] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18354/stat : 18354 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962237278352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18355] ppid=18338 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18340/task/18355/stat : 18355 (java) S 18338 18340 16961 0 -1 4202560 3208 0 0 0 47 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962236226488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18356] ppid=18338 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/18340/task/18356/stat : 18356 (java) S 18338 18340 16961 0 -1 4202560 2636 0 0 0 58 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962235173688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18357] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18357/stat : 18357 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962234121080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18358] ppid=18338 vsize=3090984 CPUtime=1.06 cores=1,3,5,7
/proc/18340/task/18358/stat : 18358 (java) S 18338 18340 16961 0 -1 4202560 103 0 0 0 65 41 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962233068488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18359] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18359/stat : 18359 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342819853 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962230936744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 3090984

[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18459
/proc/meminfo: memFree=22197140/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=3090984 CPUtime=1801.02 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 12355 0 1 0 179888 214 0 0 20 0 20 0 342819782 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 772746 418408 2302 9 0 763167 0
[pid=18340/tid=18342] ppid=18338 vsize=3090984 CPUtime=1788.61 cores=1,3,5,7
/proc/18340/task/18342/stat : 18342 (java) S 18338 18340 16961 0 -1 4202560 3255 0 1 0 178825 36 0 0 20 0 20 0 342819784 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962864724648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18343] ppid=18338 vsize=3090984 CPUtime=0.33 cores=1,3,5,7
/proc/18340/task/18343/stat : 18343 (java) S 18338 18340 16961 0 -1 4202560 133 0 0 0 24 9 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962729843240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18344] ppid=18338 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/18340/task/18344/stat : 18344 (java) S 18338 18340 16961 0 -1 4202560 224 0 0 0 29 16 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962728790440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18345] ppid=18338 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/18340/task/18345/stat : 18345 (java) S 18338 18340 16961 0 -1 4202560 201 0 0 0 30 14 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962727737640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18346] ppid=18338 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/18340/task/18346/stat : 18346 (java) S 18338 18340 16961 0 -1 4202560 365 0 0 0 39 27 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962726684840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18347] ppid=18338 vsize=3090984 CPUtime=0.31 cores=1,3,5,7
/proc/18340/task/18347/stat : 18347 (java) S 18338 18340 16961 0 -1 4202560 153 0 0 0 21 10 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962725633064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18348] ppid=18338 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18340/task/18348/stat : 18348 (java) S 18338 18340 16961 0 -1 4202560 183 0 0 0 35 12 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962724580264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18349] ppid=18338 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/18340/task/18349/stat : 18349 (java) S 18338 18340 16961 0 -1 4202560 211 0 0 0 22 15 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962723527464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18350] ppid=18338 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/18340/task/18350/stat : 18350 (java) S 18338 18340 16961 0 -1 4202560 216 0 0 0 24 15 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962722474664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18351] ppid=18338 vsize=3090984 CPUtime=1.39 cores=1,3,5,7
/proc/18340/task/18351/stat : 18351 (java) R 18338 18340 16961 0 -1 4202560 264 0 0 0 131 8 0 0 20 0 20 0 342819787 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962240435472 139962871582671 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18352] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18352/stat : 18352 (java) S 18338 18340 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342819788 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962239382776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18353] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18353/stat : 18353 (java) S 18338 18340 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342819788 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962238329864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18354] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18354/stat : 18354 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962237278352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18355] ppid=18338 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18340/task/18355/stat : 18355 (java) S 18338 18340 16961 0 -1 4202560 3208 0 0 0 47 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962236226488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18356] ppid=18338 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/18340/task/18356/stat : 18356 (java) S 18338 18340 16961 0 -1 4202560 2636 0 0 0 58 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962235173688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18357] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18357/stat : 18357 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962234121080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18358] ppid=18338 vsize=3090984 CPUtime=1.06 cores=1,3,5,7
/proc/18340/task/18358/stat : 18358 (java) S 18338 18340 16961 0 -1 4202560 103 0 0 0 65 41 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962233068488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18359] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18359/stat : 18359 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342819853 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962230936744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18459] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18459/stat : 18459 (java) S 18338 18340 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342999274 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962229882920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 3090984

[startup+1795.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18459
/proc/meminfo: memFree=22197140/32873844 swapFree=7628/7628
[pid=18340] ppid=18338 vsize=3090984 CPUtime=1801.22 cores=1,3,5,7
/proc/18340/stat : 18340 (java) S 18338 18340 16961 0 -1 4202496 12355 0 1 0 179908 214 0 0 20 0 20 0 342819782 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 140736158719184 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18340/statm: 772746 418408 2302 9 0 763167 0
[pid=18340/tid=18342] ppid=18338 vsize=3090984 CPUtime=1788.61 cores=1,3,5,7
/proc/18340/task/18342/stat : 18342 (java) S 18338 18340 16961 0 -1 4202560 3255 0 1 0 178825 36 0 0 20 0 20 0 342819784 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962864724648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18343] ppid=18338 vsize=3090984 CPUtime=0.33 cores=1,3,5,7
/proc/18340/task/18343/stat : 18343 (java) S 18338 18340 16961 0 -1 4202560 133 0 0 0 24 9 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962729843240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18344] ppid=18338 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/18340/task/18344/stat : 18344 (java) S 18338 18340 16961 0 -1 4202560 224 0 0 0 29 16 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962728790440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18345] ppid=18338 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/18340/task/18345/stat : 18345 (java) S 18338 18340 16961 0 -1 4202560 201 0 0 0 30 14 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962727737640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18346] ppid=18338 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/18340/task/18346/stat : 18346 (java) S 18338 18340 16961 0 -1 4202560 365 0 0 0 39 27 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962726684840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18347] ppid=18338 vsize=3090984 CPUtime=0.31 cores=1,3,5,7
/proc/18340/task/18347/stat : 18347 (java) S 18338 18340 16961 0 -1 4202560 153 0 0 0 21 10 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962725633064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18348] ppid=18338 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18340/task/18348/stat : 18348 (java) S 18338 18340 16961 0 -1 4202560 183 0 0 0 35 12 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962724580264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18349] ppid=18338 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/18340/task/18349/stat : 18349 (java) S 18338 18340 16961 0 -1 4202560 211 0 0 0 22 15 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962723527464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18350] ppid=18338 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/18340/task/18350/stat : 18350 (java) S 18338 18340 16961 0 -1 4202560 216 0 0 0 24 15 0 0 20 0 20 0 342819786 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962722474664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18351] ppid=18338 vsize=3090984 CPUtime=1.59 cores=1,3,5,7
/proc/18340/task/18351/stat : 18351 (java) R 18338 18340 16961 0 -1 4202560 264 0 0 0 151 8 0 0 20 0 20 0 342819787 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962240435472 251044315440 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18340/tid=18352] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18352/stat : 18352 (java) S 18338 18340 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342819788 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962239382776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18353] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18353/stat : 18353 (java) S 18338 18340 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342819788 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962238329864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18354] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18354/stat : 18354 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962237278352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18355] ppid=18338 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18340/task/18355/stat : 18355 (java) S 18338 18340 16961 0 -1 4202560 3208 0 0 0 47 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962236226488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18356] ppid=18338 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/18340/task/18356/stat : 18356 (java) S 18338 18340 16961 0 -1 4202560 2636 0 0 0 58 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962235173688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18340/tid=18357] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18357/stat : 18357 (java) S 18338 18340 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962234121080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18340/tid=18358] ppid=18338 vsize=3090984 CPUtime=1.06 cores=1,3,5,7
/proc/18340/task/18358/stat : 18358 (java) S 18338 18340 16961 0 -1 4202560 103 0 0 0 65 41 0 0 20 0 20 0 342819791 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962233068488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18359] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18359/stat : 18359 (java) S 18338 18340 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342819853 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962230936744 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18340/tid=18459] ppid=18338 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18459/stat : 18459 (java) S 18338 18340 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342999274 3165167616 418408 33554432000 1073741824 1073778376 140736158728048 139962229882920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.22
Current children cumulated vsize (KiB) 3090984

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18340 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=859291
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=162671
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1801.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.74
CPU time (s): 1801.22
CPU user time (s): 1799.08
CPU system time (s): 2.14
CPU usage (%): 100.305
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 2.16267
maximum resident set size= 1673684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12370
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38023
involuntary context switches= 4112

runsolver used 5.65014 second user time and 17.2734 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 01:42:34
IDJOB=3742348
IDBENCH=90163
IDSOLVER=2319
FILE ID=node143/3742348-1338766954
RUNJOBID= node143-1338750755-16978
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K192.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742348-1338766954/watcher-3742348-1338766954 -o /tmp/evaluation-result-3742348-1338766954/solver-3742348-1338766954 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742348-1338766954.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 83a21ae30c37a390d06f7aafb55d6d81
RANDOM SEED=1654418967

node143.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.787
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.57
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.787
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.787
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.787
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.91
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24273008 kB
Buffers:         2378824 kB
Cached:          3978776 kB
SwapCached:          188 kB
Active:          5434904 kB
Inactive:        2191056 kB
Active(anon):    1256284 kB
Inactive(anon):    10988 kB
Active(file):    4178620 kB
Inactive(file):  2180068 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              5084 kB
Writeback:             0 kB
AnonPages:       1280172 kB
Mapped:            18724 kB
Shmem:               160 kB
Slab:             822400 kB
SReclaimable:     263772 kB
SUnreclaim:       558628 kB
KernelStack:        1584 kB
PageTables:         6692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1239040 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= 68460 MiB
End job on node143 at 2012-06-04 02:12:31