Trace number 3741378

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.08 1796.33

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894244.opb
MD5SUMcdfac8cd93d8a1de6ab1cef68bd1ac7c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1783.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21856
Total number of constraints12129
Number of constraints which are clauses4095
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints7696
Minimum length of a constraint1
Maximum length of a constraint211
Number of terms in the objective function 16
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 16
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 211
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.02/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.02/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.02/0.08	c no version file found!!!
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version	1.6.0_24
0.02/0.08	c os.name	Linux
0.02/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch	amd64
0.02/0.08	c Free memory 1599470296
0.02/0.08	c Max memory 1607860224
0.02/0.08	c Total memory 1607860224
0.02/0.08	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3741378-1338742983.opb
0.08/0.11	c reading problem ... 
0.97/0.57	c ... done. Wall clock time 0.465s.
0.97/0.57	c CPU time (experimental) 0.54s.
0.97/0.57	c #vars     21856
0.97/0.57	c #constraints  13119
1060.12/1057.55	c cleaning 631874 clauses out of 1263931 for limit 1324.4269707748992
1062.83/1060.28	c cleaning 316171 clauses out of 632556 for limit 4359.872386767793
1063.63/1061.00	c cleaning 158260 clauses out of 316887 for limit 14381.137701299105
1063.94/1061.39	c cleaning 79417 clauses out of 159124 for limit 47088.44316341565
1064.15/1061.53	c cleaning 39748 clauses out of 80208 for limit 154213.61966873295
1064.24/1061.64	c cleaning 20102 clauses out of 40960 for limit 498008.0435049043
1064.34/1061.72	c cleaning 10335 clauses out of 21361 for limit 1579552.799329078
1064.34/1061.76	c cleaning 5384 clauses out of 11522 for limit 4810006.8690782795
1064.44/1061.80	c cleaning 2922 clauses out of 6638 for limit 1.3768676825279728E7
1064.44/1061.83	c cleaning 1707 clauses out of 4216 for limit 3.575071560469417E7
1064.44/1061.87	c cleaning 1091 clauses out of 3009 for limit 8.260741663261424E7
1064.54/1061.91	c cleaning 769 clauses out of 2418 for limit 1.6952775817967287E8
1064.54/1061.94	c cleaning 651 clauses out of 2150 for limit 3.147379083991298E8
1064.54/1061.98	c cleaning 652 clauses out of 1999 for limit 5.582524107271984E8
1064.64/1062.01	c cleaning 565 clauses out of 1846 for limit 9.959397810580308E8
1064.64/1062.04	c cleaning 534 clauses out of 1782 for limit 1.7031287320235639E9
1064.64/1062.08	c cleaning 632 clauses out of 1747 for limit 2.8620923678686504E9
1064.74/1062.11	c cleaning 462 clauses out of 1615 for limit 5.105754289627609E9
1064.74/1062.14	c cleaning 819 clauses out of 1657 for limit 8.239557014725015E9
1064.74/1062.18	c cleaning 622 clauses out of 1335 for limit 1.6815022688803823E10
1064.84/1062.20	c cleaning 321 clauses out of 1215 for limit 3.053003878174953E10
1064.84/1062.23	c cleaning 686 clauses out of 1393 for limit 4.387063218460204E10
1064.84/1062.26	c cleaning 445 clauses out of 1205 for limit 8.346892604845192E10
1064.94/1062.30	c cleaning 330 clauses out of 1262 for limit 1.3169746888141678E11
1064.94/1062.33	c cleaning 370 clauses out of 1430 for limit 1.912879483400394E11
1064.94/1062.37	c cleaning 441 clauses out of 1562 for limit 2.893793438955024E11
1065.04/1062.41	c cleaning 464 clauses out of 1619 for limit 4.595032335499493E11
1065.04/1062.44	c cleaning 480 clauses out of 1655 for limit 7.412988212390717E11
1065.04/1062.48	c cleaning 487 clauses out of 1675 for limit 1.2079038994303381E12
1065.15/1062.51	c cleaning 834 clauses out of 1688 for limit 1.976653926003742E12
1065.15/1062.55	c cleaning 668 clauses out of 1354 for limit 4.0638746559434526E12
1065.15/1062.58	c cleaning 580 clauses out of 1188 for limit 7.653629565100542E12
1065.25/1062.61	c cleaning 344 clauses out of 1106 for limit 1.3530555148070916E13
1065.25/1062.65	c cleaning 587 clauses out of 1262 for limit 1.9555425713189305E13
1065.25/1062.68	c cleaning 238 clauses out of 1175 for limit 3.4637349366656305E13
1065.34/1062.71	c cleaning 417 clauses out of 1438 for limit 4.67212043744678E13
1065.34/1062.75	c cleaning 414 clauses out of 1520 for limit 7.282000472619402E13
1065.34/1062.80	c cleaning 570 clauses out of 1606 for limit 1.1365921096435198E14
1065.44/1062.83	c cleaning 422 clauses out of 1536 for limit 1.959813969814535E14
1065.44/1062.86	c cleaning 449 clauses out of 1615 for limit 3.076974781670705E14
1065.54/1062.90	c cleaning 535 clauses out of 1666 for limit 4.919006013298033E14
1065.54/1062.95	c cleaning 456 clauses out of 1630 for limit 8.282970628898956E14
1065.54/1062.99	c cleaning 487 clauses out of 1674 for limit 1.330068962255473E15
1065.64/1063.04	c cleaning 480 clauses out of 1689 for limit 2.178336024669872E15
1065.64/1063.09	c cleaning 834 clauses out of 1708 for limit 3.54885317793689E-5
1065.74/1063.12	c cleaning 645 clauses out of 1373 for limit 7.273220205727631E-5
1065.74/1063.16	c cleaning 482 clauses out of 1230 for limit 1.3415815373039327E-4
1065.74/1063.19	c cleaning 510 clauses out of 1246 for limit 2.1796712983876955E-4
1065.84/1063.22	c cleaning 383 clauses out of 1236 for limit 3.623651840262574E-4
1065.84/1063.25	c cleaning 331 clauses out of 1353 for limit 5.459124831490302E-4
1065.84/1063.28	c cleaning 416 clauses out of 1523 for limit 8.005921313153392E-4
1065.94/1063.32	c cleaning 455 clauses out of 1606 for limit 0.0012507976451069309
1065.94/1063.36	c cleaning 482 clauses out of 1651 for limit 0.0020065103747229766
1066.04/1063.40	c cleaning 485 clauses out of 1669 for limit 0.0032733167526997104
1066.04/1063.44	c cleaning 490 clauses out of 1685 for limit 0.005352231176570307
1066.04/1063.48	c cleaning 500 clauses out of 1694 for limit 0.008770871289878347
1066.14/1063.52	c cleaning 501 clauses out of 1697 for limit 0.014482172759066402
1066.14/1063.56	c cleaning 495 clauses out of 1694 for limit 0.02387750934428621
1066.14/1063.59	c cleaning 505 clauses out of 1698 for limit 0.039245161355740056
1066.25/1063.62	c cleaning 503 clauses out of 1693 for limit 0.06491166272683718
1066.25/1063.65	c cleaning 497 clauses out of 1690 for limit 0.10723804162656633
1066.25/1063.69	c cleaning 500 clauses out of 1693 for limit 0.17653649829142193
1066.35/1063.72	c cleaning 503 clauses out of 1696 for limit 0.2914909263190922
1066.35/1063.76	c cleaning 497 clauses out of 1690 for limit 0.48096839062093444
1066.35/1063.79	c cleaning 497 clauses out of 1694 for limit 0.792100400281389
1066.44/1063.84	c cleaning 504 clauses out of 1698 for limit 1.3045068130317847
1066.44/1063.87	c cleaning 501 clauses out of 1693 for limit 2.1555021216325194
1066.56/1063.91	c cleaning 514 clauses out of 1693 for limit 3.5582696261130424
1066.56/1063.95	c cleaning 509 clauses out of 1680 for limit 5.919389647398123
1066.56/1063.98	c cleaning 498 clauses out of 1668 for limit 9.802627860373793
1066.66/1064.02	c cleaning 499 clauses out of 1670 for limit 16.146484420779668
1066.66/1064.05	c cleaning 500 clauses out of 1673 for limit 26.63320418401288
1066.66/1064.08	c cleaning 500 clauses out of 1673 for limit 43.92171662574968
1066.76/1064.12	c cleaning 500 clauses out of 1672 for limit 72.40363139501993
1066.76/1064.16	c cleaning 495 clauses out of 1672 for limit 119.40327415490651
1066.76/1064.19	c cleaning 500 clauses out of 1677 for limit 196.32487664270604
1066.86/1064.23	c cleaning 496 clauses out of 1677 for limit 323.7659854559405
1066.86/1064.27	c cleaning 497 clauses out of 1680 for limit 532.4469901449147
1066.96/1064.30	c cleaning 514 clauses out of 1683 for limit 876.5111178083037
1066.96/1064.32	c cleaning 508 clauses out of 1671 for limit 1458.7806895878145
1066.96/1064.35	c cleaning 499 clauses out of 1667 for limit 2421.167245284974
1066.96/1064.38	c cleaning 498 clauses out of 1663 for limit 3982.460424204927
1067.06/1064.41	c cleaning 494 clauses out of 1664 for limit 6557.099459403666
1067.06/1064.44	c cleaning 497 clauses out of 1671 for limit 10779.014149703391
1067.06/1064.47	c cleaning 487 clauses out of 1673 for limit 17737.03104602396
1067.06/1064.49	c cleaning 501 clauses out of 1686 for limit 29025.19752184932
1067.16/1064.52	c cleaning 500 clauses out of 1685 for limit 47894.8410139976
1067.16/1064.54	c cleaning 478 clauses out of 1685 for limit 78985.00008928237
1067.16/1064.57	c cleaning 478 clauses out of 1707 for limit 128578.06748563219
1067.16/1064.59	c cleaning 494 clauses out of 1730 for limit 209432.80569236696
1067.26/1064.62	c cleaning 519 clauses out of 1736 for limit 344188.9949485815
1067.26/1064.64	c cleaning 486 clauses out of 1716 for limit 573655.012467797
1067.26/1064.68	c cleaning 862 clauses out of 1730 for limit 938378.0924311259
1067.36/1064.70	c cleaning 674 clauses out of 1369 for limit 1957541.211424747
1067.36/1064.73	c cleaning 581 clauses out of 1194 for limit 3697697.7621679856
1067.36/1064.76	c cleaning 516 clauses out of 1113 for limit 6541787.911134012
1067.36/1064.79	c cleaning 195 clauses out of 1097 for limit 1.0945633031486973E7
1067.46/1064.83	c cleaning 514 clauses out of 1404 for limit 1.413205483874413E7
1067.46/1064.86	c cleaning 324 clauses out of 1388 for limit 2.352717696606918E7
1067.56/1064.90	c cleaning 465 clauses out of 1564 for limit 3.443328233398003E7
1067.56/1064.93	c cleaning 519 clauses out of 1599 for limit 5.554213830542904E7
1067.56/1064.97	c cleaning 416 clauses out of 1581 for limit 9.273199180180232E7
1067.66/1065.00	c cleaning 475 clauses out of 1664 for limit 1.451541681845062E8
1067.66/1065.03	c cleaning 774 clauses out of 1689 for limit 2.3583544097762045E8
1067.66/1065.06	c cleaning 700 clauses out of 1415 for limit 4.642353072336443E8
1067.66/1065.09	c cleaning 493 clauses out of 1216 for limit 8.917670698428496E8
1067.76/1065.12	c cleaning 263 clauses out of 1222 for limit 1.4619589402464876E9
1067.76/1065.15	c cleaning 372 clauses out of 1459 for limit 2.0193285078394177E9
1067.76/1065.18	c cleaning 432 clauses out of 1588 for limit 3.0626838543065157E9
1067.86/1065.21	c cleaning 457 clauses out of 1655 for limit 4.841456613154326E9
1067.86/1065.24	c cleaning 838 clauses out of 1701 for limit 7.791644891197797E9
1067.86/1065.27	c cleaning 537 clauses out of 1360 for limit 1.6023113462809582E10
1067.86/1065.29	c cleaning 372 clauses out of 1323 for limit 2.7163258036403675E10
1067.96/1065.32	c cleaning 348 clauses out of 1451 for limit 4.08441796724658E10
1067.96/1065.35	c cleaning 437 clauses out of 1603 for limit 6.097052786976762E10
1067.96/1065.38	c cleaning 478 clauses out of 1667 for limit 9.678504946969135E10
1068.06/1065.41	c cleaning 484 clauses out of 1689 for limit 1.575324812972623E11
1068.06/1065.44	c cleaning 839 clauses out of 1705 for limit 2.5735420390967508E11
1068.06/1065.47	c cleaning 522 clauses out of 1365 for limit 5.2959560713339417E11
1068.06/1065.50	c cleaning 324 clauses out of 1343 for limit 8.87680949908578E11
1068.16/1065.52	c cleaning 392 clauses out of 1519 for limit 1.2942883009518115E12
1068.16/1065.55	c cleaning 457 clauses out of 1630 for limit 1.9950813892236367E12
1068.16/1065.58	c cleaning 465 clauses out of 1670 for limit 3.201725554636076E12
1068.26/1065.61	c cleaning 845 clauses out of 1705 for limit 5.171685147892674E12
1068.26/1065.64	c cleaning 601 clauses out of 1360 for limit 1.0692356715466479E13
1068.26/1065.67	c cleaning 483 clauses out of 1259 for limit 1.904769833638199E13
1068.36/1065.70	c cleaning 536 clauses out of 1276 for limit 3.0993701578876184E13
1068.36/1065.73	c cleaning 262 clauses out of 1242 for limit 5.261716397553505E13
1068.36/1065.76	c cleaning 599 clauses out of 1478 for limit 7.277152255269936E13
1068.36/1065.80	c cleaning 329 clauses out of 1380 for limit 1.2866108453722434E14
1068.46/1065.83	c cleaning 536 clauses out of 1552 for limit 1.888534731354395E14
1068.46/1065.87	c cleaning 392 clauses out of 1514 for limit 3.186234101090231E14
1068.46/1065.90	c cleaning 442 clauses out of 1623 for limit 4.906541037104598E14
1068.56/1065.94	c cleaning 454 clauses out of 1680 for limit 7.809191067864605E14
1068.56/1065.97	c cleaning 856 clauses out of 1727 for limit 1.2540457821192986E-5
1068.66/1066.00	c cleaning 655 clauses out of 1370 for limit 2.6043931082810675E-5
1068.66/1066.04	c cleaning 518 clauses out of 1216 for limit 4.843774632934032E-5
1068.66/1066.07	c cleaning 519 clauses out of 1198 for limit 8.108052877859214E-5
1068.66/1066.09	c cleaning 486 clauses out of 1181 for limit 1.3590905831302802E-4
1068.76/1066.12	c cleaning 394 clauses out of 1193 for limit 2.2143421185192788E-4
1068.76/1066.15	c cleaning 331 clauses out of 1298 for limit 3.352986826870634E-4
1068.76/1066.19	c cleaning 373 clauses out of 1467 for limit 4.892516655771647E-4
1068.86/1066.22	c cleaning 435 clauses out of 1594 for limit 7.425573421671471E-4
1068.86/1066.24	c cleaning 466 clauses out of 1660 for limit 0.0011770654831189983
1068.86/1066.27	c cleaning 479 clauses out of 1693 for limit 0.0019013984238894035
1068.96/1066.31	c cleaning 478 clauses out of 1715 for limit 0.003098534685608142
1068.96/1066.35	c cleaning 484 clauses out of 1736 for limit 0.005043036841383836
1068.96/1066.37	c cleaning 506 clauses out of 1752 for limit 0.008240691324723437
1069.06/1066.40	c cleaning 509 clauses out of 1747 for limit 0.013642540210550344
1069.06/1066.44	c cleaning 503 clauses out of 1737 for limit 0.022605270292445967
1069.06/1066.47	c cleaning 505 clauses out of 1734 for limit 0.03734361152959324
1069.16/1066.50	c cleaning 501 clauses out of 1730 for limit 0.06178879210789186
1069.16/1066.53	c cleaning 504 clauses out of 1730 for limit 0.10199998412676455
1069.16/1066.56	c cleaning 492 clauses out of 1724 for limit 0.16845961711947888
1069.16/1066.60	c cleaning 502 clauses out of 1732 for limit 0.2765292463952686
1069.26/1066.63	c cleaning 500 clauses out of 1730 for limit 0.4565609273400987
1069.26/1066.66	c cleaning 504 clauses out of 1730 for limit 0.7529300468119602
1069.26/1066.69	c cleaning 503 clauses out of 1728 for limit 1.2456094780946831
1069.36/1066.73	c cleaning 497 clauses out of 1723 for limit 2.0560194953657716
1069.36/1066.76	c cleaning 494 clauses out of 1728 for limit 3.3876121218279485
1069.36/1066.79	c cleaning 508 clauses out of 1733 for limit 5.564936702557343
1069.46/1066.82	c cleaning 496 clauses out of 1728 for limit 9.231546801513867
1069.46/1066.86	c cleaning 504 clauses out of 1730 for limit 15.176057880882073
1069.46/1066.89	c cleaning 487 clauses out of 1725 for limit 25.074792812070417
1069.56/1066.93	c cleaning 497 clauses out of 1738 for limit 41.04238287842695
1069.56/1066.96	c cleaning 505 clauses out of 1741 for limit 67.56774974035999
1069.56/1066.99	c cleaning 500 clauses out of 1735 for limit 111.70178745289961
1069.67/1067.03	c cleaning 497 clauses out of 1735 for limit 184.21119070761227
1069.67/1067.07	c cleaning 501 clauses out of 1739 for limit 303.3935234623449
1069.67/1067.10	c cleaning 499 clauses out of 1737 for limit 500.41168754581497
1069.76/1067.13	c cleaning 507 clauses out of 1738 for limit 824.7709916601274
1069.76/1067.16	c cleaning 496 clauses out of 1731 for limit 1365.658050014909
1069.86/1067.20	c cleaning 498 clauses out of 1736 for limit 2247.914117795852
1069.86/1067.23	c cleaning 501 clauses out of 1737 for limit 3701.271920636409
1069.86/1067.26	c cleaning 502 clauses out of 1736 for limit 6107.408611562331
1069.86/1067.29	c cleaning 492 clauses out of 1734 for limit 10083.550829015649
1069.96/1067.33	c cleaning 500 clauses out of 1742 for limit 16552.75630584083
1069.96/1067.36	c cleaning 501 clauses out of 1742 for limit 27297.709536453116
1070.06/1067.40	c cleaning 502 clauses out of 1741 for limit 45043.432156789604
1070.06/1067.43	c cleaning 489 clauses out of 1739 for limit 74368.07687869623
1070.06/1067.46	c cleaning 498 clauses out of 1750 for limit 121872.00928023549
1070.06/1067.49	c cleaning 500 clauses out of 1752 for limit 200753.81411840327
1070.16/1067.52	c cleaning 504 clauses out of 1753 for limit 331212.24905580253
1070.16/1067.54	c cleaning 497 clauses out of 1748 for limit 547227.9268167275
1070.16/1067.57	c cleaning 500 clauses out of 1753 for limit 901680.4956308573
1070.26/1067.60	c cleaning 865 clauses out of 1751 for limit 1485714.3188374543
1070.26/1067.63	c cleaning 683 clauses out of 1388 for limit 3097111.9185387203
1070.26/1067.65	c cleaning 233 clauses out of 1204 for limit 5882219.870851457
1070.26/1067.69	c cleaning 488 clauses out of 1470 for limit 7937281.468203964
1070.36/1067.71	c cleaning 371 clauses out of 1482 for limit 1.2983649992059214E7
1070.36/1067.75	c cleaning 489 clauses out of 1611 for limit 1.9697238779724844E7
1070.36/1067.77	c cleaning 806 clauses out of 1623 for limit 3.227548440327768E7
1070.46/1067.80	c cleaning 484 clauses out of 1316 for limit 6.557778972323638E7
1070.46/1067.83	c cleaning 299 clauses out of 1333 for limit 1.0687420901087126E8
1070.46/1067.86	c cleaning 395 clauses out of 1533 for limit 1.5310250033680493E8
1070.46/1067.89	c cleaning 447 clauses out of 1638 for limit 2.3630147238623303E8
1070.56/1067.92	c cleaning 471 clauses out of 1691 for limit 3.7747883371336347E8
1070.56/1067.96	c cleaning 861 clauses out of 1722 for limit 6.12530862468738E8
1070.56/1067.98	c cleaning 668 clauses out of 1359 for limit 1.2774047579243088E9
1070.66/1068.01	c cleaning 436 clauses out of 1191 for limit 2.4037655775508337E9
1070.66/1068.04	c cleaning 343 clauses out of 1257 for limit 3.7635137411348968E9
1070.66/1068.07	c cleaning 343 clauses out of 1415 for limit 5.519029845867936E9
1070.66/1068.09	c cleaning 419 clauses out of 1570 for limit 8.18665320396106E9
1070.76/1068.12	c cleaning 454 clauses out of 1651 for limit 1.283851697698349E10
1070.76/1068.15	c cleaning 488 clauses out of 1698 for limit 2.0606994057572495E10
1070.76/1068.18	c cleaning 782 clauses out of 1708 for limit 3.371718655578789E10
1070.86/1068.21	c cleaning 335 clauses out of 1426 for limit 6.660020358303192E10
1070.86/1068.23	c cleaning 776 clauses out of 1591 for limit 9.844208185568088E10
1070.86/1068.26	c cleaning 648 clauses out of 1316 for limit 1.96465129461419E11
1070.86/1068.28	c cleaning 374 clauses out of 1167 for limit 3.649991786868952E11
1070.96/1068.31	c cleaning 273 clauses out of 1293 for limit 5.43275481509072E11
1070.96/1068.33	c cleaning 417 clauses out of 1521 for limit 7.623946060478827E11
1070.96/1068.36	c cleaning 412 clauses out of 1604 for limit 1.1922313900739773E12
1070.96/1068.39	c cleaning 553 clauses out of 1691 for limit 1.863127961495344E12
1071.06/1068.42	c cleaning 818 clauses out of 1638 for limit 3.171964227923888E12
1071.06/1068.45	c cleaning 321 clauses out of 1321 for limit 6.492766124711115E12
1071.06/1068.48	c cleaning 365 clauses out of 1499 for limit 9.426540103122322E12
1071.16/1068.51	c cleaning 812 clauses out of 1634 for limit 1.4261256370467344E13
1071.16/1068.53	c cleaning 612 clauses out of 1326 for limit 2.9097806357327703E13
1071.16/1068.55	c cleaning 336 clauses out of 1213 for limit 5.240398912066208E13
1071.16/1068.58	c cleaning 494 clauses out of 1374 for limit 7.606603302478717E13
1071.26/1068.60	c cleaning 336 clauses out of 1381 for limit 1.2493215189952575E14
1071.26/1068.63	c cleaning 758 clauses out of 1545 for limit 1.8415999834867328E14
1071.26/1068.65	c cleaning 291 clauses out of 1286 for limit 3.645055898510418E14
1071.26/1068.68	c cleaning 484 clauses out of 1495 for limit 5.170825188828195E14
1071.36/1068.71	c cleaning 392 clauses out of 1511 for limit 8.437085905432566E14
1071.36/1068.74	c cleaning 790 clauses out of 1620 for limit 1.2990693003923541E-5
1071.36/1068.77	c cleaning 641 clauses out of 1330 for limit 2.6094656252787353E-5
1071.46/1068.80	c cleaning 535 clauses out of 1189 for limit 4.813680414230645E-5
1071.46/1068.83	c cleaning 518 clauses out of 1153 for limit 8.17807663929262E-5
1071.46/1068.86	c cleaning 475 clauses out of 1135 for limit 1.3700629085669808E-4
1071.46/1068.88	c cleaning 444 clauses out of 1161 for limit 2.2110295632918816E-4
1071.56/1068.91	c cleaning 404 clauses out of 1219 for limit 3.479749444426863E-4
1071.56/1068.94	c cleaning 361 clauses out of 1312 for limit 5.315819138848644E-4
1071.56/1068.97	c cleaning 365 clauses out of 1453 for limit 7.931646089749001E-4
1071.66/1069.00	c cleaning 438 clauses out of 1587 for limit 0.0011963916974457446
1071.66/1069.03	c cleaning 471 clauses out of 1650 for limit 0.0018995764283895205
1071.66/1069.06	c cleaning 479 clauses out of 1677 for limit 0.0030760579783643393
1071.66/1069.09	c cleaning 497 clauses out of 1700 for limit 0.0050142221230669035
1071.76/1069.12	c cleaning 492 clauses out of 1702 for limit 0.008251146717068603
1071.76/1069.15	c cleaning 494 clauses out of 1711 for limit 0.013549218753054704
1071.76/1069.18	c cleaning 494 clauses out of 1717 for limit 0.022266392275654294
1071.86/1069.21	c cleaning 492 clauses out of 1721 for limit 0.03656168008297063
1071.86/1069.25	c cleaning 490 clauses out of 1730 for limit 0.06004146912108325
1071.86/1069.28	c cleaning 500 clauses out of 1741 for limit 0.09848929778574489
1071.96/1069.32	c cleaning 500 clauses out of 1739 for limit 0.1622837720077687
1071.96/1069.35	c cleaning 503 clauses out of 1740 for limit 0.26774158256374897
1071.96/1069.39	c cleaning 496 clauses out of 1737 for limit 0.442304281063772
1072.06/1069.42	c cleaning 503 clauses out of 1744 for limit 0.7286750561595534
1072.06/1069.45	c cleaning 497 clauses out of 1737 for limit 1.2017064858992488
1072.06/1069.49	c cleaning 514 clauses out of 1741 for limit 1.9792007701715615
1072.16/1069.52	c cleaning 515 clauses out of 1728 for limit 3.291813962826483
1072.16/1069.55	c cleaning 499 clauses out of 1711 for limit 5.471619329455085
1072.16/1069.59	c cleaning 499 clauses out of 1717 for limit 9.036994862010001
1072.26/1069.62	c cleaning 495 clauses out of 1714 for limit 14.869670768378736
1072.26/1069.65	c cleaning 492 clauses out of 1718 for limit 24.44051687076891
1072.26/1069.68	c cleaning 512 clauses out of 1726 for limit 40.118865311599976
1072.36/1069.71	c cleaning 505 clauses out of 1714 for limit 66.62458273708104
1072.36/1069.74	c cleaning 491 clauses out of 1710 for limit 110.24010242727171
1072.36/1069.77	c cleaning 501 clauses out of 1718 for limit 180.77315352738418
1072.46/1069.80	c cleaning 506 clauses out of 1717 for limit 298.29274147187374
1072.46/1069.83	c cleaning 500 clauses out of 1712 for limit 493.8551865441636
1072.46/1069.86	c cleaning 495 clauses out of 1711 for limit 814.0943585124979
1072.46/1069.88	c cleaning 504 clauses out of 1716 for limit 1338.6386443367887
1072.56/1069.91	c cleaning 500 clauses out of 1713 for limit 2213.6740679530863
1072.56/1069.94	c cleaning 496 clauses out of 1714 for limit 3652.1669473087736
1072.56/1069.97	c cleaning 493 clauses out of 1717 for limit 6006.376052148127
1072.66/1070.00	c cleaning 494 clauses out of 1723 for limit 9860.953533340942
1072.66/1070.04	c cleaning 496 clauses out of 1733 for limit 16233.028875023963
1072.66/1070.07	c cleaning 501 clauses out of 1734 for limit 26674.812931306296
1072.76/1070.11	c cleaning 492 clauses out of 1733 for limit 44015.7189373109
1072.76/1070.14	c cleaning 497 clauses out of 1740 for limit 72223.49313559296
1072.76/1070.16	c cleaning 501 clauses out of 1744 for limit 118951.97467878695
1072.76/1070.19	c cleaning 488 clauses out of 1742 for limit 196196.54767735407
1072.86/1070.22	c cleaning 512 clauses out of 1754 for limit 321340.7550526432
1072.86/1070.25	c cleaning 500 clauses out of 1742 for limit 533584.413783722
1072.86/1070.28	c cleaning 470 clauses out of 1742 for limit 879952.0799751655
1072.96/1070.31	c cleaning 515 clauses out of 1772 for limit 1426590.5482516026
1072.96/1070.34	c cleaning 873 clauses out of 1759 for limit 2374773.1552819875
1072.96/1070.37	c cleaning 691 clauses out of 1384 for limit 4967509.928056239
1073.06/1070.40	c cleaning 583 clauses out of 1196 for limit 9508304.394038158
1073.06/1070.43	c cleaning 285 clauses out of 1110 for limit 1.6844713513462745E7
1073.06/1070.47	c cleaning 301 clauses out of 1325 for limit 2.3271619994238146E7
1073.06/1070.49	c cleaning 390 clauses out of 1524 for limit 3.3366712161787394E7
1073.16/1070.53	c cleaning 455 clauses out of 1634 for limit 5.132183980433928E7
1073.16/1070.56	c cleaning 836 clauses out of 1679 for limit 8.236817807332456E7
1073.16/1070.59	c cleaning 509 clauses out of 1343 for limit 1.6982046677975407E8
1073.26/1070.62	c cleaning 296 clauses out of 1334 for limit 2.819461056848148E8
1073.26/1070.65	c cleaning 611 clauses out of 1540 for limit 4.035767323751608E8
1073.26/1070.68	c cleaning 344 clauses out of 1428 for limit 7.170344275629876E8
1073.36/1070.70	c cleaning 395 clauses out of 1584 for limit 1.06602876977207E9
1073.36/1070.73	c cleaning 442 clauses out of 1689 for limit 1.6487330364573019E9
1073.36/1070.76	c cleaning 683 clauses out of 1747 for limit 2.628711782715843E9
1073.46/1070.80	c cleaning 391 clauses out of 1563 for limit 4.840589718169587E9
1073.46/1070.83	c cleaning 475 clauses out of 1673 for limit 7.465376405779728E9
1073.46/1070.86	c cleaning 475 clauses out of 1697 for limit 1.2125151779889458E10
1073.46/1070.89	c cleaning 797 clauses out of 1722 for limit 1.970569542271908E10
1073.56/1070.92	c cleaning 346 clauses out of 1425 for limit 3.9270455228309235E10
1073.56/1070.96	c cleaning 423 clauses out of 1580 for limit 5.846744447299553E10
1073.56/1070.99	c cleaning 821 clauses out of 1657 for limit 9.19400165128518E10
1073.66/1071.02	c cleaning 525 clauses out of 1336 for limit 1.8805137562616464E11
1073.66/1071.05	c cleaning 285 clauses out of 1311 for limit 3.160357174893872E11
1073.66/1071.08	c cleaning 441 clauses out of 1525 for limit 4.476003231547177E11
1073.76/1071.12	c cleaning 412 clauses out of 1585 for limit 7.109210396312257E11
1073.76/1071.15	c cleaning 828 clauses out of 1672 for limit 1.1102882301383567E12
1073.76/1071.18	c cleaning 657 clauses out of 1346 for limit 2.279039538812825E12
1073.86/1071.21	c cleaning 336 clauses out of 1188 for limit 4.254042792346346E12
1073.86/1071.24	c cleaning 365 clauses out of 1351 for limit 6.16288865092786E12
1073.86/1071.27	c cleaning 368 clauses out of 1486 for limit 9.240101624745145E12
1073.96/1071.31	c cleaning 737 clauses out of 1620 for limit 1.4005720432092629E13
1073.96/1071.35	c cleaning 294 clauses out of 1382 for limit 2.7047915431959844E13
1073.96/1071.38	c cleaning 416 clauses out of 1588 for limit 3.8819258171675625E13
1074.06/1071.41	c cleaning 558 clauses out of 1672 for limit 6.080192703205566E13
1074.06/1071.44	c cleaning 687 clauses out of 1616 for limit 1.0395303442738697E14
1074.06/1071.47	c cleaning 348 clauses out of 1427 for limit 1.9374986914013428E14
1074.16/1071.50	c cleaning 481 clauses out of 1578 for limit 2.886554537612568E14
1074.16/1071.53	c cleaning 436 clauses out of 1598 for limit 4.70544162513798E14
1074.16/1071.56	c cleaning 464 clauses out of 1663 for limit 7.464063312060616E14
1074.16/1071.59	c cleaning 502 clauses out of 1697 for limit 1.2038505760590975E15
1074.26/1071.62	c cleaning 481 clauses out of 1696 for limit 1.988469701980823E15
1074.26/1071.66	c cleaning 842 clauses out of 1716 for limit 3.2442771016806836E-5
1074.26/1071.69	c cleaning 650 clauses out of 1372 for limit 6.678331562409408E-5
1074.36/1071.72	c cleaning 489 clauses out of 1223 for limit 1.2367617069450952E-4
1074.36/1071.75	c cleaning 536 clauses out of 1234 for limit 2.0214044356248713E-4
1074.36/1071.77	c cleaning 317 clauses out of 1197 for limit 3.433172292446316E-4
1074.46/1071.80	c cleaning 326 clauses out of 1381 for limit 4.91231795807698E-4
1074.46/1071.84	c cleaning 400 clauses out of 1554 for limit 7.192013746797335E-4
1074.46/1071.87	c cleaning 460 clauses out of 1654 for limit 0.001114350738175339
1074.56/1071.91	c cleaning 476 clauses out of 1694 for limit 0.001794319972710934
1074.56/1071.95	c cleaning 482 clauses out of 1718 for limit 0.002917736207895844
1074.56/1071.97	c cleaning 505 clauses out of 1736 for limit 0.004761846048859622
1074.66/1072.01	c cleaning 505 clauses out of 1733 for limit 0.007882272033323005
1074.66/1072.05	c cleaning 500 clauses out of 1726 for limit 0.013025549509904316
1074.66/1072.08	c cleaning 501 clauses out of 1728 for limit 0.02149898802342771
1074.76/1072.12	c cleaning 487 clauses out of 1725 for limit 0.03544537047535433
1074.76/1072.15	c cleaning 505 clauses out of 1738 for limit 0.05801692868293178
1074.76/1072.19	c cleaning 494 clauses out of 1733 for limit 0.09595372314821835
1074.86/1072.22	c cleaning 502 clauses out of 1741 for limit 0.15782890114406356
1074.86/1072.26	c cleaning 501 clauses out of 1739 for limit 0.2605803175278822
1074.96/1072.30	c cleaning 499 clauses out of 1736 for limit 0.42961390911836206
1074.96/1072.34	c cleaning 489 clauses out of 1737 for limit 0.70808292698633
1074.96/1072.37	c cleaning 491 clauses out of 1749 for limit 1.160872519907213
1075.06/1072.41	c cleaning 509 clauses out of 1757 for limit 1.903811535476895
1075.06/1072.45	c cleaning 500 clauses out of 1748 for limit 3.1558051033933645
1075.06/1072.48	c cleaning 502 clauses out of 1748 for limit 5.204344791549358
1075.16/1072.52	c cleaning 513 clauses out of 1747 for limit 8.596169755344595
1075.16/1072.56	c cleaning 486 clauses out of 1734 for limit 14.282514778580673
1075.16/1072.59	c cleaning 507 clauses out of 1747 for limit 23.35512766018001
1075.26/1072.63	c cleaning 503 clauses out of 1740 for limit 38.67067824341477
1075.26/1072.66	c cleaning 502 clauses out of 1737 for limit 63.883265254957244
1075.26/1072.70	c cleaning 490 clauses out of 1735 for limit 105.47349384169699
1075.36/1072.73	c cleaning 505 clauses out of 1745 for limit 172.94311107098778
1075.36/1072.77	c cleaning 502 clauses out of 1741 for limit 286.1477439500599
1075.46/1072.80	c cleaning 507 clauses out of 1738 for limit 472.2377493762122
1075.46/1072.83	c cleaning 501 clauses out of 1731 for limit 781.9325491291097
1075.46/1072.86	c cleaning 504 clauses out of 1731 for limit 1290.8021807596267
1075.46/1072.89	c cleaning 501 clauses out of 1726 for limit 2132.737190405524
1075.56/1072.92	c cleaning 485 clauses out of 1725 for limit 3519.2078779712206
1075.56/1072.96	c cleaning 501 clauses out of 1740 for limit 5753.613163171482
1075.56/1073.00	c cleaning 484 clauses out of 1740 for limit 9497.975786454637
1075.66/1073.03	c cleaning 507 clauses out of 1755 for limit 15514.027638074229
1075.66/1073.06	c cleaning 499 clauses out of 1751 for limit 25720.23651183773
1075.76/1073.10	c cleaning 495 clauses out of 1749 for limit 42337.347580221925
1075.76/1073.14	c cleaning 495 clauses out of 1754 for limit 69620.91930472021
1649.70/1646.36	c cleaning 312484 clauses out of 625255 for limit 2.6672219487433966E-7
1650.70/1647.38	c cleaning 156575 clauses out of 313271 for limit 8.77914098180205E-7
1651.10/1647.72	c cleaning 78482 clauses out of 157196 for limit 2.8852710148900138E-6
1651.20/1647.86	c cleaning 39410 clauses out of 79216 for limit 9.461066722496799E-6
1651.30/1647.97	c cleaning 20072 clauses out of 40304 for limit 3.0604953752832415E-5
1651.40/1648.06	c cleaning 10205 clauses out of 20732 for limit 9.811932786929058E-5
1651.50/1648.15	c cleaning 5091 clauses out of 11027 for limit 3.04224563862723E-4
1651.60/1648.23	c cleaning 2741 clauses out of 6436 for limit 8.595902945610363E-4
1651.70/1648.31	c cleaning 1623 clauses out of 4197 for limit 0.00217817856586616
1651.70/1648.37	c cleaning 1055 clauses out of 3072 for limit 0.0048977667822631575
1651.80/1648.44	c cleaning 783 clauses out of 2519 for limit 0.009869975072692534
1651.90/1648.51	c cleaning 636 clauses out of 2234 for limit 0.018316728916801563
1651.90/1648.58	c cleaning 564 clauses out of 2099 for limit 0.032181704815955496
1652.00/1648.63	c cleaning 530 clauses out of 2036 for limit 0.054768911629103904
1652.10/1648.70	c cleaning 514 clauses out of 2004 for limit 0.09158008254091853
1652.10/1648.76	c cleaning 512 clauses out of 1990 for limit 0.1520903146624927
1652.20/1648.82	c cleaning 507 clauses out of 1978 for limit 0.2523389168664847
1652.20/1648.89	c cleaning 490 clauses out of 1971 for limit 0.4176185532885725
1652.30/1648.94	c cleaning 507 clauses out of 1982 for limit 0.6855721350804255
1652.40/1649.01	c cleaning 499 clauses out of 1976 for limit 1.1351683297290165
1652.40/1649.08	c cleaning 493 clauses out of 1975 for limit 1.8692481948052861
1652.50/1649.14	c cleaning 483 clauses out of 1983 for limit 3.0732773444890245
1652.60/1649.20	c cleaning 511 clauses out of 2000 for limit 5.025165390197664
1652.60/1649.25	c cleaning 509 clauses out of 1990 for limit 8.33715120450574
1652.70/1649.32	c cleaning 503 clauses out of 1979 for limit 13.797862847751883
1652.70/1649.38	c cleaning 488 clauses out of 1976 for limit 22.789068019595632
1652.80/1649.45	c cleaning 497 clauses out of 1991 for limit 37.411202445106554
1652.90/1649.51	c cleaning 497 clauses out of 1991 for limit 61.511174406802134
1652.90/1649.58	c cleaning 487 clauses out of 1996 for limit 101.38872286577035
1653.00/1649.63	c cleaning 496 clauses out of 2008 for limit 166.0381386960505
1653.10/1649.70	c cleaning 490 clauses out of 2013 for limit 273.4123883507637
1653.10/1649.76	c cleaning 491 clauses out of 2021 for limit 448.21100274586627
1653.20/1649.83	c cleaning 485 clauses out of 2030 for limit 735.8828405088053
1653.20/1649.89	c cleaning 494 clauses out of 2047 for limit 1205.9013514413343
1653.30/1649.96	c cleaning 493 clauses out of 2051 for limit 1980.8465236419909
1653.40/1650.03	c cleaning 507 clauses out of 2058 for limit 3255.5697508335093
1653.40/1650.09	c cleaning 501 clauses out of 2051 for limit 5387.193829991311
1653.50/1650.15	c cleaning 507 clauses out of 2050 for limit 8888.537069265622
1653.60/1650.22	c cleaning 500 clauses out of 2044 for limit 14716.131378242591
1653.60/1650.29	c cleaning 492 clauses out of 2045 for limit 24281.283196987515
1653.70/1650.35	c cleaning 506 clauses out of 2052 for limit 39866.57858332281
1653.80/1650.41	c cleaning 499 clauses out of 2046 for limit 65938.12286822093
1653.80/1650.48	c cleaning 500 clauses out of 2047 for limit 108687.6636287248
1653.90/1650.53	c cleaning 507 clauses out of 2047 for limit 179240.4972992768
1653.90/1650.58	c cleaning 573 clauses out of 2039 for limit 296454.5581891872
1654.00/1650.63	c cleaning 543 clauses out of 1970 for limit 508046.0346771449
1654.00/1650.69	c cleaning 513 clauses out of 1924 for limit 855296.2663043587
1654.10/1650.73	c cleaning 941 clauses out of 1910 for limit 1419415.8544540494
1654.10/1650.78	c cleaning 725 clauses out of 1469 for limit 3043526.659902337
1654.20/1650.81	c cleaning 347 clauses out of 1246 for limit 5929332.081284898
1654.20/1650.84	c cleaning 349 clauses out of 1399 for limit 8708873.638392663
1654.20/1650.89	c cleaning 744 clauses out of 1548 for limit 1.2953752971803758E7
1654.30/1650.93	c cleaning 430 clauses out of 1304 for limit 2.53597438606934E7
1654.30/1650.97	c cleaning 312 clauses out of 1377 for limit 3.9723539279629126E7
1654.40/1651.01	c cleaning 339 clauses out of 1563 for limit 5.759831278639464E7
1654.40/1651.06	c cleaning 611 clauses out of 1724 for limit 8.611669726345214E7
1654.50/1651.12	c cleaning 316 clauses out of 1613 for limit 1.517910435008027E8
1654.50/1651.16	c cleaning 509 clauses out of 1797 for limit 2.246923693607164E8
1654.60/1651.21	c cleaning 411 clauses out of 1787 for limit 3.722487291040216E8
1654.60/1651.26	c cleaning 916 clauses out of 1876 for limit 5.847642706391081E8
1654.70/1651.30	c cleaning 637 clauses out of 1461 for limit 1.2395208774664474E9
1654.70/1651.35	c cleaning 327 clauses out of 1324 for limit 2.2556513039892116E9
1654.70/1651.39	c cleaning 317 clauses out of 1496 for limit 3.28889289568542E9
1654.80/1651.43	c cleaning 347 clauses out of 1679 for limit 4.832663043684987E9
1654.80/1651.49	c cleaning 469 clauses out of 1834 for limit 7.3107644355771885E9
1654.90/1651.54	c cleaning 451 clauses out of 1863 for limit 1.1845029055504343E10
1654.90/1651.60	c cleaning 489 clauses out of 1913 for limit 1.9042519720536884E10
1655.00/1651.64	c cleaning 499 clauses out of 1923 for limit 3.1209116547844013E10
1655.00/1651.69	c cleaning 483 clauses out of 1924 for limit 5.144125774426337E10
1655.10/1651.75	c cleaning 499 clauses out of 1941 for limit 8.409051222226163E10
1655.20/1651.80	c cleaning 964 clauses out of 1942 for limit 1.3860509496555722E11
1655.20/1651.85	c cleaning 470 clauses out of 1478 for limit 3.003377156755723E11
1655.30/1651.90	c cleaning 705 clauses out of 1508 for limit 4.854436815910373E11
1655.30/1651.94	c cleaning 360 clauses out of 1303 for limit 9.265133163743219E11
1655.30/1651.99	c cleaning 329 clauses out of 1444 for limit 1.3801277456695603E12
1655.40/1652.04	c cleaning 346 clauses out of 1614 for limit 2.0342500014180378E12
1655.40/1652.10	c cleaning 442 clauses out of 1768 for limit 3.0625379686356187E12
1655.50/1652.15	c cleaning 437 clauses out of 1826 for limit 4.890112564516235E12
1655.60/1652.21	c cleaning 920 clauses out of 1889 for limit 7.795492507444978E12
1655.60/1652.27	c cleaning 472 clauses out of 1473 for limit 1.6552618422697521E13
1655.70/1652.32	c cleaning 430 clauses out of 1497 for limit 2.675256882736924E13
1655.70/1652.37	c cleaning 293 clauses out of 1568 for limit 4.216301227360526E13
1655.80/1652.41	c cleaning 388 clauses out of 1774 for limit 6.13967593715196E13
1655.80/1652.46	c cleaning 442 clauses out of 1886 for limit 9.523865709156523E13
1655.90/1652.51	c cleaning 478 clauses out of 1944 for limit 1.5237530146297312E14
1655.90/1652.56	c cleaning 974 clauses out of 1971 for limit 2.4908791652352238E14
1656.00/1652.60	c cleaning 251 clauses out of 1492 for limit 5.399503031221048E14
1656.00/1652.65	c cleaning 779 clauses out of 1742 for limit 7.634223330084032E14
1656.00/1652.69	c cleaning 300 clauses out of 1463 for limit 1.499079178710469E15
1656.10/1652.73	c cleaning 808 clauses out of 1662 for limit 2.1739985697485066E-5
1656.10/1652.77	c cleaning 561 clauses out of 1354 for limit 4.4007580912284544E-5
1656.20/1652.82	c cleaning 478 clauses out of 1293 for limit 7.599823786499587E-5
1656.20/1652.87	c cleaning 471 clauses out of 1315 for limit 1.2323446433806779E-4
1656.30/1652.92	c cleaning 431 clauses out of 1344 for limit 1.9884494403444485E-4
1656.30/1652.96	c cleaning 354 clauses out of 1418 for limit 3.123676400939595E-4
1656.40/1653.02	c cleaning 281 clauses out of 1560 for limit 4.663752651428507E-4
1656.40/1653.07	c cleaning 392 clauses out of 1779 for limit 6.744349164408204E-4
1656.50/1653.12	c cleaning 454 clauses out of 1888 for limit 0.0010490698438206452
1656.50/1653.17	c cleaning 474 clauses out of 1932 for limit 0.0016872760208844113
1656.60/1653.22	c cleaning 480 clauses out of 1958 for limit 0.0027455948787822853
1656.60/1653.28	c cleaning 491 clauses out of 1978 for limit 0.004482071118184964
1656.70/1653.33	c cleaning 501 clauses out of 1989 for limit 0.007365379996939606
1656.70/1653.38	c cleaning 495 clauses out of 1986 for limit 0.012140527595150866
1656.80/1653.43	c cleaning 505 clauses out of 1992 for limit 0.019981029881470533
1656.80/1653.48	c cleaning 494 clauses out of 1986 for limit 0.033017891377664615
1656.90/1653.54	c cleaning 498 clauses out of 1992 for limit 0.054286911141264466
1656.90/1653.59	c cleaning 504 clauses out of 1998 for limit 0.08961545534749929
1657.00/1653.63	c cleaning 612 clauses out of 1990 for limit 0.1477893582298666
1657.00/1653.68	c cleaning 537 clauses out of 1879 for limit 0.25838057377711965
1657.10/1653.72	c cleaning 522 clauses out of 1841 for limit 0.4344644289995235
1657.10/1653.78	c cleaning 499 clauses out of 1822 for limit 0.7261378305481645
1657.20/1653.83	c cleaning 525 clauses out of 1820 for limit 1.1952215080651363
1657.20/1653.87	c cleaning 504 clauses out of 1796 for limit 1.9994191811094482
1657.30/1653.91	c cleaning 503 clauses out of 1791 for limit 3.3032084119649268
1657.30/1653.97	c cleaning 497 clauses out of 1788 for limit 5.456572554173623
1657.40/1654.02	c cleaning 512 clauses out of 1794 for limit 8.995481864452914
1657.40/1654.08	c cleaning 504 clauses out of 1779 for limit 14.915000581698981
1657.50/1654.13	c cleaning 511 clauses out of 1777 for limit 24.673837800776507
1657.50/1654.19	c cleaning 497 clauses out of 1765 for limit 40.92614124743759
1657.60/1654.24	c cleaning 505 clauses out of 1770 for limit 67.43683084956297
1657.60/1654.30	c cleaning 494 clauses out of 1766 for limit 111.57582805200605
1657.70/1654.35	c cleaning 489 clauses out of 1768 for limit 183.06123885144996
1657.70/1654.39	c cleaning 497 clauses out of 1779 for limit 300.0257960276887
1657.80/1654.44	c cleaning 493 clauses out of 1782 for limit 493.9497069172864
1657.80/1654.49	c cleaning 500 clauses out of 1790 for limit 811.7602845186236
1657.90/1654.54	c cleaning 488 clauses out of 1790 for limit 1338.7013045192243
1657.90/1654.58	c cleaning 486 clauses out of 1803 for limit 2193.9735606608183
1658.00/1654.62	c cleaning 494 clauses out of 1815 for limit 3587.0493399267
1658.00/1654.67	c cleaning 507 clauses out of 1822 for limit 5898.695882805205
1800.08/1796.32	c starts		: 24
1800.08/1796.32	c conflicts		: 2491245
1800.08/1796.32	c decisions		: 3801882
1800.08/1796.32	c propagations		: 494296782
1800.08/1796.32	c inspects		: 12877280886
1800.08/1796.32	c learnt literals	: 76
1800.08/1796.32	c learnt binary clauses	: 3091
1800.08/1796.32	c learnt ternary clauses	: 10965
1800.08/1796.32	c learnt clauses	: 2491169
1800.08/1796.32	c root simplifications	: 0
1800.08/1796.32	c removed literals (reason simplification)	: 0
1800.08/1796.32	c reason swapping (by a shorter reason)	: 0
1800.08/1796.32	c Calls to reduceDB	: 493
1800.08/1796.32	c speed (decisions/second)	: 2117.1814439603327
1800.08/1796.32	c non guided choices	8286
1800.08/1796.32	s UNKNOWN
1800.08/1796.32	c Total wall clock time (ms): 1796.21

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-3741378-1338742983/watcher-3741378-1338742983 -o /tmp/evaluation-result-3741378-1338742983/solver-3741378-1338742983 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741378-1338742983.opb 

running on 4 cores: 0,2,4,6

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.18 2.09 2.03 3/194 8818
/proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (java) D 8816 8818 30888 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340426791 9515008 183 33554432000 1073741824 1073778376 140736570406432 140736570397464 249650036405 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/8818/statm: 2323 183 140 9 0 71 0

[startup+0.0526531 s]
/proc/loadavg: 2.18 2.09 2.03 3/194 8818
/proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 3957 0 1 0 2 0 0 0 20 0 13 0 340426791 2686889984 5165 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 655979 5165 1700 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916

[startup+0.100251 s]
/proc/loadavg: 2.18 2.09 2.03 3/194 8818
/proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 4736 0 1 0 7 1 0 0 20 0 18 0 340426791 3028844544 6444 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 739464 6445 2055 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300227 s]
/proc/loadavg: 2.18 2.09 2.03 3/194 8818
/proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 7559 0 1 0 46 1 0 0 20 0 18 0 340426791 3028844544 10412 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 739464 10412 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.700232 s]
/proc/loadavg: 2.18 2.09 2.03 3/194 8818
/proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=3024420 CPUtime=1.49 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 11961 0 1 0 146 3 0 0 20 0 19 0 340426791 3097006080 32151 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 756105 32151 2271 9 0 746526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 2.18 2.09 2.03 3/213 8837
/proc/meminfo: memFree=30398644/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=3024420 CPUtime=2.42 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 12097 0 1 0 239 3 0 0 20 0 19 0 340426791 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 756105 33181 2277 9 0 746526 0
[pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3095 0 1 0 144 2 0 0 20 0 19 0 340426792 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373562622200 140373435991732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340426795 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/8818/task/8833/stat : 8833 (java) R 8816 8818 30888 0 -1 4202560 3843 0 0 0 51 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373068703928 140373565212630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3959 0 0 0 40 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 3024420

[startup+3.10062 s]
/proc/loadavg: 2.18 2.09 2.03 3/213 8837
/proc/meminfo: memFree=30390080/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=3024420 CPUtime=4.04 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 12107 0 1 0 401 3 0 0 20 0 19 0 340426791 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 756105 36766 2277 9 0 746526 0
[pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3103 0 1 0 303 2 0 0 20 0 19 0 340426792 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373562620352 140373435991589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340426795 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3844 0 0 0 52 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3959 0 0 0 41 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 3024420

[startup+6.30063 s]
/proc/loadavg: 2.25 2.10 2.03 3/213 8837
/proc/meminfo: memFree=30367056/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=3024420 CPUtime=7.24 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 12116 0 1 0 720 4 0 0 20 0 19 0 340426791 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 756105 40715 2277 9 0 746526 0
[pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3112 0 1 0 622 2 0 0 20 0 19 0 340426792 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373562622312 140373435888960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340426795 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3844 0 0 0 52 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3959 0 0 0 42 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 99 0 0 0 35 35 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.69
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 8933
/proc/meminfo: memFree=28096520/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=3024420 CPUtime=1786.07 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 14456 0 1 0 178477 130 0 0 20 0 19 0 340426791 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 756105 420377 2306 9 0 746526 0
[pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1774.22 cores=0,2,4,6
/proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3264 0 1 0 177389 33 0 0 20 0 19 0 340426792 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373562621232 140373436069360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 322 0 0 0 36 15 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 179 0 0 0 29 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 217 0 0 0 34 14 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 223 0 0 0 38 12 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 280 0 0 0 37 17 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 145 0 0 0 25 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 175 0 0 0 25 10 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=2.51 cores=0,2,4,6
/proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 241 0 0 0 244 7 0 0 20 0 19 0 340426795 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 103 0 0 0 36 35 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.07
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 8933
/proc/meminfo: memFree=28083860/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 14456 0 1 0 179878 130 0 0 20 0 19 0 340426791 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 756105 420377 2306 9 0 746526 0
[pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1788.2 cores=0,2,4,6
/proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3264 0 1 0 178786 34 0 0 20 0 19 0 340426792 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373562621232 140373436058367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 322 0 0 0 36 15 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 179 0 0 0 29 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 217 0 0 0 34 14 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 223 0 0 0 38 12 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 280 0 0 0 37 17 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 145 0 0 0 25 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 175 0 0 0 25 10 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=2.51 cores=0,2,4,6
/proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 241 0 0 0 244 7 0 0 20 0 19 0 340426795 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 103 0 0 0 36 36 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+1796.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 8933
/proc/meminfo: memFree=28083860/32873844 swapFree=8656/8656
[pid=8818] ppid=8816 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 14456 0 1 0 179878 130 0 0 20 0 19 0 340426791 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8818/statm: 756105 420377 2306 9 0 746526 0
[pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1788.2 cores=0,2,4,6
/proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3264 0 1 0 178786 34 0 0 20 0 19 0 340426792 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373562621232 140373436058367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 322 0 0 0 36 15 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 179 0 0 0 29 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 217 0 0 0 34 14 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 223 0 0 0 38 12 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 280 0 0 0 37 17 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 145 0 0 0 25 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 175 0 0 0 25 10 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=2.51 cores=0,2,4,6
/proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 241 0 0 0 244 7 0 0 20 0 19 0 340426795 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 103 0 0 0 36 36 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8818 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=420206
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=903710
# CPU time returned by wait4() is 1796.32
# 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.33
CPU time (s): 1800.08
CPU user time (s): 1798.78
CPU system time (s): 1.3
CPU usage (%): 100.209
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 1.90371
maximum resident set size= 1681624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14486
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38136
involuntary context switches= 7734

runsolver used 5.97309 second user time and 15.2007 second system time

The end

Launcher Data

Begin job on node102 at 2012-06-03 19:03:03
IDJOB=3741378
IDBENCH=89848
IDSOLVER=2319
FILE ID=node102/3741378-1338742983
RUNJOBID= node102-1338713280-30904
PBS_JOBID= 14636729
Free space on /tmp= 71140 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741378-1338742983/watcher-3741378-1338742983 -o /tmp/evaluation-result-3741378-1338742983/solver-3741378-1338742983 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741378-1338742983.opb           

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

MD5SUM BENCH= cdfac8cd93d8a1de6ab1cef68bd1ac7c
RANDOM SEED=961695576

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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		: 2667.178
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		: 2667.178
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		: 2667.178
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	: 5438.54
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		: 2667.178
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		: 2667.178
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:        30519220 kB
Buffers:          189432 kB
Cached:           647436 kB
SwapCached:         5520 kB
Active:           947140 kB
Inactive:         623372 kB
Active(anon):     730380 kB
Inactive(anon):     5604 kB
Active(file):     216760 kB
Inactive(file):   617768 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:              4320 kB
Writeback:             0 kB
AnonPages:        757384 kB
Mapped:            17236 kB
Shmem:                 0 kB
Slab:             619484 kB
SReclaimable:      60348 kB
SUnreclaim:       559136 kB
KernelStack:        1608 kB
PageTables:         5860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1828572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    716800 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= 71168 MiB
End job on node102 at 2012-06-03 19:33:01