Trace number 3739728

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.06 1786.72

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12039_7-sat.opb
MD5SUM0f318fc75cd8d877b44870fe2fa76e77
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25410
Total number of constraints83992
Number of constraints which are clauses83576
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints416
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 732
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.05/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.05/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.05/0.09	c no version file found!!!
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version	1.6.0_24
0.05/0.09	c os.name	Linux
0.05/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch	amd64
0.05/0.09	c Free memory 1599470296
0.05/0.09	c Max memory 1607860224
0.05/0.09	c Total memory 1607860224
0.05/0.09	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-3739728-1338733890.opb
0.08/0.11	c reading problem ... 
1.63/0.97	c ... done. Wall clock time 0.854s.
1.63/0.97	c CPU time (experimental) 0.93s.
1.63/0.97	c #vars     25410
1.63/0.97	c #constraints  65882
644.58/638.27	c cleaning 460978 clauses out of 922003 for limit 4.533429282542443E-6
652.47/646.09	c cleaning 237760 clauses out of 475522 for limit 17.502728384434278
653.18/646.73	c cleaning 119126 clauses out of 238263 for limit 57.664716423270384
659.23/652.72	c cleaning 66283 clauses out of 132637 for limit 7.606958119569097E7
659.53/653.05	c cleaning 33396 clauses out of 66855 for limit 2.4913355273943174E8
665.45/658.90	c cleaning 23209 clauses out of 46458 for limit 1.5948658367288658E-6
665.75/659.10	c cleaning 11866 clauses out of 23748 for limit 5.1401879578719406E-6
665.85/659.24	c cleaning 6178 clauses out of 12382 for limit 1.6258150049947486E-5
669.79/663.18	c cleaning 9837 clauses out of 19704 for limit 7.502680932037218
670.00/663.33	c cleaning 5168 clauses out of 10367 for limit 23.51655303235813
670.09/663.47	c cleaning 2835 clauses out of 5699 for limit 70.54788420369117
673.74/667.01	c cleaning 7411 clauses out of 14865 for limit 4432957.1855663555
673.84/667.12	c cleaning 3948 clauses out of 7953 for limit 1.3650508921090757E7
673.94/667.24	c cleaning 2225 clauses out of 4509 for limit 3.986516118409179E7
674.04/667.36	c cleaning 1366 clauses out of 2780 for limit 1.0620545006689864E8
674.14/667.48	c cleaning 943 clauses out of 1914 for limit 2.5439323213063553E8
677.69/671.00	c cleaning 7485 clauses out of 14971 for limit 3.938778081568348E13
677.89/671.15	c cleaning 3973 clauses out of 7986 for limit 1.2176960689310936E14
677.99/671.26	c cleaning 2240 clauses out of 4513 for limit 3.553519994019647E14
681.72/674.94	c cleaning 7879 clauses out of 15774 for limit 0.7473528953945429
681.82/675.08	c cleaning 4182 clauses out of 8394 for limit 2.3137688411146233
682.02/675.20	c cleaning 2345 clauses out of 4712 for limit 6.797348524900771
682.13/675.33	c cleaning 1418 clauses out of 2868 for limit 18.43554886208574
682.23/675.46	c cleaning 965 clauses out of 1949 for limit 44.6935400259752
686.20/679.38	c cleaning 7234 clauses out of 14485 for limit 4420603.422917347
686.40/679.51	c cleaning 3864 clauses out of 7751 for limit 1.3623798300173717E7
686.50/679.64	c cleaning 2189 clauses out of 4386 for limit 3.966511247086882E7
686.61/679.75	c cleaning 1334 clauses out of 2697 for limit 1.0637810704696187E8
690.86/683.94	c cleaning 7422 clauses out of 14863 for limit 1.4175411530189195E13
690.96/684.10	c cleaning 3969 clauses out of 7942 for limit 4.379279555850379E13
691.17/684.25	c cleaning 2232 clauses out of 4474 for limit 1.2832963867427103E14
695.41/688.50	c cleaning 8111 clauses out of 16240 for limit 0.4272998486810667
695.62/688.65	c cleaning 4302 clauses out of 8631 for limit 1.328564237552928
695.81/688.80	c cleaning 2395 clauses out of 4827 for limit 3.90978826821153
695.91/688.93	c cleaning 1448 clauses out of 2932 for limit 10.61506013912411
699.46/692.45	c cleaning 6971 clauses out of 13984 for limit 600969.1586814275
699.56/692.59	c cleaning 3750 clauses out of 7516 for limit 1849508.1571094568
699.76/692.72	c cleaning 2114 clauses out of 4264 for limit 5365530.772026363
699.86/692.85	c cleaning 1307 clauses out of 2649 for limit 1.4228833678214027E7
699.97/692.97	c cleaning 904 clauses out of 1842 for limit 3.374562859483842E7
703.53/696.45	c cleaning 6702 clauses out of 13438 for limit 1.2490208457797568E12
703.63/696.59	c cleaning 3604 clauses out of 7237 for limit 3.8285661001907686E12
703.83/696.72	c cleaning 2065 clauses out of 4132 for limit 1.1047290759916316E13
703.93/696.85	c cleaning 1282 clauses out of 2567 for limit 2.9325546606226383E13
707.69/700.53	c cleaning 7376 clauses out of 14786 for limit 0.03742525288737982
707.80/700.68	c cleaning 3931 clauses out of 7909 for limit 0.1152697218427151
707.99/700.81	c cleaning 2216 clauses out of 4480 for limit 0.3362665880150114
708.09/700.95	c cleaning 1366 clauses out of 2762 for limit 0.8976869680828737
712.04/704.82	c cleaning 7422 clauses out of 14897 for limit 122346.97555755667
712.14/704.96	c cleaning 3970 clauses out of 7975 for limit 376892.28803908965
712.24/705.08	c cleaning 2239 clauses out of 4507 for limit 1102009.390419004
712.44/705.21	c cleaning 1367 clauses out of 2765 for limit 2953453.035901283
712.54/705.32	c cleaning 922 clauses out of 1898 for limit 7095530.707666044
716.00/708.74	c cleaning 6717 clauses out of 13476 for limit 2.6984679539952267E11
716.10/708.86	c cleaning 3629 clauses out of 7259 for limit 8.261470526675475E11
716.20/708.98	c cleaning 2064 clauses out of 4132 for limit 2.3982737388249067E12
716.30/709.09	c cleaning 1278 clauses out of 2566 for limit 6.356078850328099E12
716.40/709.19	c cleaning 892 clauses out of 1789 for limit 1.5049635671715027E13
716.50/709.29	c cleaning 695 clauses out of 1397 for limit 3.1783067330438047E13
719.94/712.66	c cleaning 6837 clauses out of 13702 for limit 0.014429833271132278
720.04/712.80	c cleaning 3669 clauses out of 7366 for limit 0.04431022553265914
720.23/712.94	c cleaning 2083 clauses out of 4196 for limit 0.12815087350120327
720.34/713.07	c cleaning 1299 clauses out of 2613 for limit 0.3393700618332009
720.54/713.20	c cleaning 899 clauses out of 1814 for limit 0.8061791122484657
720.64/713.31	c cleaning 701 clauses out of 1414 for limit 1.7038870025428352
724.10/716.72	c cleaning 6351 clauses out of 12714 for limit 31058.73708697535
724.20/716.86	c cleaning 3418 clauses out of 6862 for limit 94806.18284306933
724.32/716.98	c cleaning 1955 clauses out of 3944 for limit 272023.45698294824
724.53/717.11	c cleaning 1235 clauses out of 2489 for limit 710843.9183847911
724.63/717.23	c cleaning 863 clauses out of 1756 for limit 1664943.682076476
724.72/717.35	c cleaning 672 clauses out of 1391 for limit 3459264.6814705967
724.82/717.45	c cleaning 600 clauses out of 1220 for limit 6510906.982856321
728.07/720.66	c cleaning 6291 clauses out of 12619 for limit 1.0296346697626436E11
728.17/720.79	c cleaning 3409 clauses out of 6828 for limit 3.1381266898715204E11
728.37/720.92	c cleaning 1957 clauses out of 3923 for limit 9.043563888206659E11
728.47/721.05	c cleaning 1230 clauses out of 2465 for limit 2.3711682479763774E12
728.57/721.18	c cleaning 866 clauses out of 1735 for limit 5.555660546144654E12
728.77/721.31	c cleaning 671 clauses out of 1366 for limit 1.1602106126494762E13
1515.82/1504.68	c cleaning 434816 clauses out of 869695 for limit 7.101534172501418E7
1517.72/1506.57	c cleaning 217667 clauses out of 435379 for limit 2.3394165823033345E8
1529.23/1517.97	c cleaning 119834 clauses out of 239712 for limit 0.015400835939546078
1529.63/1518.30	c cleaning 60174 clauses out of 120378 for limit 0.050575808413062674
1536.40/1525.01	c cleaning 39560 clauses out of 79205 for limit 1.3864224324305002E7
1536.60/1525.22	c cleaning 20019 clauses out of 40144 for limit 4.5065988989052065E7
1536.70/1525.36	c cleaning 10261 clauses out of 20626 for limit 1.4479212287800467E8
1536.80/1525.48	c cleaning 5379 clauses out of 10864 for limit 4.5288878607744867E8
1542.27/1530.83	c cleaning 13485 clauses out of 26986 for limit 0.00401125675417504
1542.37/1530.94	c cleaning 6961 clauses out of 14001 for limit 0.0127501651111306
1547.42/1536.00	c cleaning 13220 clauses out of 26540 for limit 1998727.2761667178
1547.62/1536.12	c cleaning 6868 clauses out of 13820 for limit 6329979.473611764
1547.72/1536.24	c cleaning 3680 clauses out of 7451 for limit 1.9342702695377864E7
1547.82/1536.33	c cleaning 2082 clauses out of 4272 for limit 5.569175126079617E7
1552.87/1541.37	c cleaning 11830 clauses out of 23690 for limit 2.207294084731518E-4
1553.07/1541.50	c cleaning 6132 clauses out of 12361 for limit 6.98332175487631E-4
1557.90/1546.40	c cleaning 12563 clauses out of 25227 for limit 61532.52467590111
1558.11/1546.51	c cleaning 6539 clauses out of 13164 for limit 194463.61511966496
1558.11/1546.60	c cleaning 3522 clauses out of 7127 for limit 593532.330449415
1558.30/1546.70	c cleaning 2001 clauses out of 4105 for limit 1699393.155890171
1563.28/1551.68	c cleaning 11040 clauses out of 22103 for limit 1.5451006356699416E-6
1563.48/1551.80	c cleaning 5776 clauses out of 11564 for limit 4.875176132169669E-6
1563.48/1551.89	c cleaning 3100 clauses out of 6286 for limit 1.4760833464702407E-5
1568.14/1556.49	c cleaning 11296 clauses out of 22686 for limit 1215.3655521993253
1568.33/1556.62	c cleaning 5893 clauses out of 11891 for limit 3827.6909924457973
1568.43/1556.73	c cleaning 3209 clauses out of 6498 for limit 11551.315058395603
1572.89/1561.12	c cleaning 11637 clauses out of 23289 for limit 1.5794132451505881E12
1572.99/1561.22	c cleaning 6074 clauses out of 12151 for limit 4.987190653148051E12
1573.09/1561.31	c cleaning 3277 clauses out of 6579 for limit 1.5220643571656748E13
1576.45/1564.68	c cleaning 9625 clauses out of 19300 for limit 0.4638258553512054
1576.65/1564.80	c cleaning 5052 clauses out of 10175 for limit 1.4508874771742766
1576.75/1564.91	c cleaning 2772 clauses out of 5625 for limit 4.336811380476793
1581.80/1569.97	c cleaning 11370 clauses out of 22852 for limit 5.226004915794386E8
1582.00/1570.10	c cleaning 5953 clauses out of 11984 for limit 1.6467100630972967E9
1582.10/1570.21	c cleaning 3224 clauses out of 6529 for limit 4.97461110142451E9
1586.76/1574.86	c cleaning 10646 clauses out of 21306 for limit 0.0010109980658079187
1586.86/1574.99	c cleaning 5544 clauses out of 11159 for limit 0.00318015541847702
1586.96/1575.10	c cleaning 3013 clauses out of 6114 for limit 0.009562458502408857
1591.31/1579.39	c cleaning 10002 clauses out of 20102 for limit 70923.5391719624
1591.52/1579.52	c cleaning 5249 clauses out of 10602 for limit 222211.6266910227
1591.62/1579.63	c cleaning 2880 clauses out of 5850 for limit 662141.8899826194
1591.72/1579.72	c cleaning 1689 clauses out of 3470 for limit 1840913.3298504257
1591.83/1579.82	c cleaning 1102 clauses out of 2283 for limit 4623616.621032405
1595.78/1583.78	c cleaning 9049 clauses out of 18180 for limit 1.4130563967560383E13
1595.88/1583.89	c cleaning 4768 clauses out of 9631 for limit 4.398837091683361E13
1595.99/1583.99	c cleaning 2642 clauses out of 5364 for limit 1.3037997424071762E14
1596.09/1584.07	c cleaning 1608 clauses out of 3221 for limit 3.5770936513396706E14
1600.43/1588.33	c cleaning 10008 clauses out of 20112 for limit 62.53153396645576
1600.53/1588.45	c cleaning 5254 clauses out of 10605 for limit 195.76455828328872
1600.62/1588.57	c cleaning 2879 clauses out of 5851 for limit 585.1544748374046
1600.72/1588.66	c cleaning 1690 clauses out of 3471 for limit 1625.0524778599622
1600.82/1588.75	c cleaning 1094 clauses out of 2281 for limit 4078.0505575013863
1604.86/1592.79	c cleaning 9304 clauses out of 18687 for limit 1.9998358552450134E10
1605.06/1592.90	c cleaning 4900 clauses out of 9883 for limit 6.23592707637225E10
1605.16/1593.02	c cleaning 2695 clauses out of 5484 for limit 1.8551659982400427E11
1605.26/1593.13	c cleaning 1603 clauses out of 3290 for limit 5.104752880124823E11
1605.36/1593.23	c cleaning 1051 clauses out of 2185 for limit 1.2650451995187908E12
1609.21/1597.04	c cleaning 8522 clauses out of 17135 for limit 0.014464261723508778
1609.31/1597.16	c cleaning 4512 clauses out of 9113 for limit 0.044851285706824
1609.41/1597.28	c cleaning 2513 clauses out of 5101 for limit 0.1321407692785072
1609.51/1597.39	c cleaning 1501 clauses out of 3088 for limit 0.3599736815052393
1609.61/1597.49	c cleaning 999 clauses out of 2087 for limit 0.8783780595565058
1609.71/1597.59	c cleaning 748 clauses out of 1589 for limit 1.9044537487398716
1613.78/1601.53	c cleaning 8612 clauses out of 17339 for limit 2573034.0193543523
1613.88/1601.65	c cleaning 4569 clauses out of 9230 for limit 7995162.519499628
1613.97/1601.76	c cleaning 2524 clauses out of 5158 for limit 2.3523395534368362E7
1614.08/1601.87	c cleaning 1523 clauses out of 3134 for limit 6.384666893066863E7
1614.17/1601.96	c cleaning 999 clauses out of 2113 for limit 1.564813734869655E8
1618.03/1605.73	c cleaning 8784 clauses out of 17612 for limit 2.767761840840239E-6
1618.13/1605.84	c cleaning 4663 clauses out of 9331 for limit 8.64109196207093E-6
1618.23/1605.94	c cleaning 2538 clauses out of 5165 for limit 2.5667220549423685E-5
1618.33/1606.03	c cleaning 1539 clauses out of 3127 for limit 6.99160966390301E-5
1618.42/1606.12	c cleaning 1038 clauses out of 2089 for limit 1.727654970726409E-4
1618.52/1606.21	c cleaning 720 clauses out of 1550 for limit 3.836057700805651E-4
1622.35/1610.02	c cleaning 8620 clauses out of 17330 for limit 506.83026179889293
1622.45/1610.14	c cleaning 4566 clauses out of 9212 for limit 1575.549607314506
1622.55/1610.25	c cleaning 2527 clauses out of 5144 for limit 4643.782971183994
1622.66/1610.35	c cleaning 1518 clauses out of 3118 for limit 12646.989630809763
1622.76/1610.44	c cleaning 1009 clauses out of 2102 for limit 30999.55590210653
1622.85/1610.53	c cleaning 747 clauses out of 1590 for limit 67381.92458081705
1627.10/1614.76	c cleaning 8904 clauses out of 17844 for limit 1.4641412994897134E11
1627.20/1614.88	c cleaning 4672 clauses out of 9440 for limit 4.5641414808403015E11
1627.29/1614.98	c cleaning 2596 clauses out of 5267 for limit 1.3476873426691384E12
1627.39/1615.08	c cleaning 1543 clauses out of 3171 for limit 3.691578541806591E12
1627.49/1615.18	c cleaning 1065 clauses out of 2130 for limit 9.081417919691846E12
1627.59/1615.26	c cleaning 733 clauses out of 1565 for limit 2.0383314744435914E13
1627.69/1615.35	c cleaning 661 clauses out of 1331 for limit 3.9485029992302055E13
1631.82/1619.49	c cleaning 8797 clauses out of 17669 for limit 0.7238760426607175
1632.02/1619.62	c cleaning 4651 clauses out of 9374 for limit 2.254634434577702
1632.12/1619.73	c cleaning 2570 clauses out of 5221 for limit 6.66245448361
1632.22/1619.84	c cleaning 1538 clauses out of 3152 for limit 18.21764094453648
1632.32/1619.94	c cleaning 1020 clauses out of 2114 for limit 44.794970103304266
1632.42/1620.03	c cleaning 752 clauses out of 1593 for limit 97.9354297700365
1632.52/1620.12	c cleaning 629 clauses out of 1342 for limit 191.90818242705777
1636.55/1624.15	c cleaning 8568 clauses out of 17214 for limit 2.2122947692870453E8
1636.65/1624.26	c cleaning 4527 clauses out of 9146 for limit 6.86672224987368E8
1636.75/1624.37	c cleaning 2516 clauses out of 5117 for limit 2.020003512514105E9
1636.85/1624.48	c cleaning 1502 clauses out of 3103 for limit 5.504408750278262E9
1636.95/1624.59	c cleaning 1008 clauses out of 2101 for limit 1.3406712206703133E10
1637.05/1624.69	c cleaning 793 clauses out of 1594 for limit 2.9170939791780144E10
1637.15/1624.77	c cleaning 649 clauses out of 1299 for limit 5.8913720542108536E10
1637.25/1624.87	c cleaning 531 clauses out of 1149 for limit 1.0973039636661566E11
1641.11/1628.61	c cleaning 9014 clauses out of 18120 for limit 0.002801004794188307
1641.20/1628.72	c cleaning 4758 clauses out of 9606 for limit 0.008713353831573234
1641.30/1628.81	c cleaning 2631 clauses out of 5349 for limit 0.025831268484341544
1641.30/1628.90	c cleaning 1567 clauses out of 3215 for limit 0.07066261507450061
1641.40/1628.98	c cleaning 1035 clauses out of 2151 for limit 0.1746987087211458
1641.52/1629.06	c cleaning 766 clauses out of 1613 for limit 0.38304349344391164
1641.62/1629.14	c cleaning 631 clauses out of 1348 for limit 0.7566289663941188
1641.71/1629.22	c cleaning 565 clauses out of 1219 for limit 1.382592067156342
1641.81/1629.30	c cleaning 537 clauses out of 1152 for limit 2.4078650926623024
1645.64/1633.12	c cleaning 8261 clauses out of 16615 for limit 1495452.6561927418
1645.74/1633.24	c cleaning 4384 clauses out of 8853 for limit 4623852.003581157
1645.84/1633.35	c cleaning 2479 clauses out of 4971 for limit 1.3607412073532216E7
1645.94/1633.45	c cleaning 1492 clauses out of 2990 for limit 3.723359538673064E7
1646.04/1633.54	c cleaning 951 clauses out of 2001 for limit 9.2027684946795E7
1646.14/1633.63	c cleaning 728 clauses out of 1547 for limit 1.9571658246431938E8
1646.24/1633.72	c cleaning 613 clauses out of 1319 for limit 3.785550366470847E8
1646.34/1633.83	c cleaning 600 clauses out of 1207 for limit 6.828997489269766E8
1650.19/1637.66	c cleaning 8296 clauses out of 16606 for limit 4.441739271870062E-6
1650.29/1637.79	c cleaning 4394 clauses out of 8811 for limit 1.3819212439693073E-5
1650.39/1637.89	c cleaning 2419 clauses out of 4918 for limit 4.087053933870586E-5
1650.49/1637.99	c cleaning 1480 clauses out of 2997 for limit 1.1038219189336796E-4
1650.59/1638.08	c cleaning 970 clauses out of 2017 for limit 2.7048036603348236E-4
1650.69/1638.18	c cleaning 732 clauses out of 1548 for limit 5.817830794897792E-4
1650.79/1638.28	c cleaning 613 clauses out of 1316 for limit 0.0011285791957188198
1650.89/1638.37	c cleaning 553 clauses out of 1202 for limit 0.0020356580972444405
1650.99/1638.46	c cleaning 528 clauses out of 1149 for limit 0.0035119244372887105
1654.86/1642.30	c cleaning 8766 clauses out of 17621 for limit 5578.723011406084
1655.05/1642.40	c cleaning 4628 clauses out of 9356 for limit 17344.649803973065
1655.05/1642.49	c cleaning 2566 clauses out of 5228 for limit 51188.93062507605
1655.15/1642.58	c cleaning 1531 clauses out of 3162 for limit 139574.36389009655
1655.25/1642.67	c cleaning 1014 clauses out of 2130 for limit 341357.37848580105
1655.35/1642.75	c cleaning 760 clauses out of 1616 for limit 741999.1856403892
1655.45/1642.83	c cleaning 677 clauses out of 1357 for limit 1458664.2403005904
1655.55/1642.92	c cleaning 561 clauses out of 1185 for limit 2768504.790840781
1655.65/1643.01	c cleaning 528 clauses out of 1122 for limit 4812354.769407617
1655.75/1643.10	c cleaning 542 clauses out of 1091 for limit 8137258.156109664
1800.06/1786.71	c starts		: 24
1800.06/1786.71	c conflicts		: 2842659
1800.06/1786.71	c decisions		: 3733133
1800.06/1786.71	c propagations		: 1026053729
1800.06/1786.71	c inspects		: 12178169265
1800.06/1786.71	c learnt literals	: 0
1800.06/1786.71	c learnt binary clauses	: 0
1800.06/1786.71	c learnt ternary clauses	: 1876
1800.06/1786.71	c learnt clauses	: 2842659
1800.06/1786.71	c root simplifications	: 0
1800.06/1786.71	c removed literals (reason simplification)	: 0
1800.06/1786.71	c reason swapping (by a shorter reason)	: 0
1800.06/1786.71	c Calls to reduceDB	: 216
1800.06/1786.71	c speed (decisions/second)	: 2090.540766052575
1800.06/1786.71	c non guided choices	74
1800.06/1786.71	s UNKNOWN
1800.06/1786.71	c Total wall clock time (ms): 1786.599

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 9573
/proc/meminfo: memFree=26208200/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9573/stat : 9573 (java) D 9571 9573 5567 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 339456059 9515008 175 33554432000 1073741824 1073778376 140735463250624 140735463233352 209097409424 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/9573/statm: 2323 175 133 9 0 71 0

[startup+0.077455 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 9573
/proc/meminfo: memFree=26208200/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=2956804 CPUtime=0.05 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 4067 0 1 0 4 1 0 0 20 0 18 0 339456059 3027767296 5786 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 739201 5786 1767 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804

[startup+0.100288 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 9573
/proc/meminfo: memFree=26208200/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 4155 0 1 0 7 1 0 0 20 0 18 0 339456059 3028844544 5873 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 739464 5873 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.30025 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 9573
/proc/meminfo: memFree=26208200/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=2957856 CPUtime=0.42 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 6217 0 1 0 41 1 0 0 20 0 18 0 339456059 3028844544 9721 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 739464 9723 2238 9 0 729885 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2957856

[startup+0.700288 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 9573
/proc/meminfo: memFree=26208200/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=2957856 CPUtime=1.33 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 9247 0 1 0 129 4 0 0 20 0 18 0 339456059 3028844544 38276 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 739464 38276 2261 9 0 729885 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2957856

[startup+1.50075 s]
/proc/loadavg: 2.07 2.06 2.01 5/212 9591
/proc/meminfo: memFree=25947972/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=3024420 CPUtime=2.71 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 15595 0 1 0 262 9 0 0 20 0 19 0 339456059 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 756105 79082 2274 9 0 746526 0
[pid=9573/tid=9575] ppid=9571 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) R 9571 9573 5567 0 -1 4202560 3208 0 1 0 140 6 0 0 20 0 19 0 339456060 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926249909072 139926092770659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9576] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926233336232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9577] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926232283688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9578] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926231230632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9579] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926230178088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9580] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926229126056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9581] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926228073512 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9582] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926227020456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9583] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9573 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926225967912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9584] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9573 5567 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926213556584 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9585] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9573 5567 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926212502904 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9586] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9573 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926211449736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9587] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926210398480 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9588] ppid=9571 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) S 9571 9573 5567 0 -1 4202560 5644 0 0 0 57 0 0 0 20 0 19 0 339456066 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926091852600 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9589] ppid=9571 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) S 9571 9573 5567 0 -1 4202560 5547 0 0 0 62 2 0 0 20 0 19 0 339456066 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926090800056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9590] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926089747192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9591] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 79082 33554432000 1073741824 1073778376 140734495998800 139926088694856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 3024420

[startup+3.10091 s]
/proc/loadavg: 2.07 2.06 2.01 3/213 9592
/proc/meminfo: memFree=25819004/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=3024420 CPUtime=4.48 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 16283 0 1 0 434 14 0 0 20 0 19 0 339456059 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 756105 118017 2290 9 0 746526 0
[pid=9573/tid=9575] ppid=9571 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) R 9571 9573 5567 0 -1 4202560 3280 0 1 0 293 9 0 0 20 0 19 0 339456060 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926249909608 139926092782658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9576] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9573 5567 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926233336232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9577] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9573 5567 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926232283688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9578] ppid=9571 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9573 5567 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926231230632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9579] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9573 5567 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926230178088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9580] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9573 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926229126056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9581] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9573 5567 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926228073512 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9582] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9573 5567 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926227020456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9583] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9573 5567 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926225967912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9584] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9573 5567 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926213556584 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9585] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9573 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926212502904 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9586] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9573 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926211449736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9587] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926210398480 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9588] ppid=9571 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) S 9571 9573 5567 0 -1 4202560 6213 0 0 0 64 0 0 0 20 0 19 0 339456066 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926091852600 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9589] ppid=9571 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) S 9571 9573 5567 0 -1 4202560 5547 0 0 0 63 2 0 0 20 0 19 0 339456066 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926090800056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9590] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926089747192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9591] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926088694856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9592] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9592/stat : 9592 (java) S 9571 9573 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456162 3097006080 118017 33554432000 1073741824 1073778376 140734495998800 139926086493224 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 3024420

[startup+6.30085 s]
/proc/loadavg: 2.07 2.06 2.01 9/213 9592
/proc/meminfo: memFree=25716604/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=3024420 CPUtime=7.79 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 16331 0 1 0 762 17 0 0 20 0 19 0 339456059 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 756105 124437 2290 9 0 746526 0
[pid=9573/tid=9575] ppid=9571 vsize=3024420 CPUtime=6.17 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) R 9571 9573 5567 0 -1 4202560 3283 0 1 0 608 9 0 0 20 0 19 0 339456060 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926249909536 139926092283010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9576] ppid=9571 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9573 5567 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926233336232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9577] ppid=9571 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9573 5567 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926232283688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9578] ppid=9571 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9573 5567 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926231230632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9579] ppid=9571 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9573 5567 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926230178088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9580] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9573 5567 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926229126056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9581] ppid=9571 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9573 5567 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926228073512 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9582] ppid=9571 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9573 5567 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926227020456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9583] ppid=9571 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9573 5567 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 339456062 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926225967912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9584] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9573 5567 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926213556584 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9585] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9573 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926212502904 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9586] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9573 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926211449736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9587] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926210398480 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9588] ppid=9571 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) S 9571 9573 5567 0 -1 4202560 6213 0 0 0 66 0 0 0 20 0 19 0 339456066 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926091852600 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9589] ppid=9571 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) S 9571 9573 5567 0 -1 4202560 5547 0 0 0 64 2 0 0 20 0 19 0 339456066 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926090800056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9590] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926089747192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9591] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926088694856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9592] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9592/stat : 9592 (java) S 9571 9573 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456162 3097006080 124437 33554432000 1073741824 1073778376 140734495998800 139926086493224 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.06 2.05 2.01 3/213 9592
/proc/meminfo: memFree=25683736/32873844 swapFree=7128/7128

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

[pid=9573/tid=9588] ppid=9571 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) S 9571 9573 5567 0 -1 4202560 6222 0 0 0 68 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926091852600 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9589] ppid=9571 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) S 9571 9573 5567 0 -1 4202560 5550 0 0 0 73 2 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926090800056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9590] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926089747192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9591] ppid=9571 vsize=3024420 CPUtime=0.87 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) S 9571 9573 5567 0 -1 4202560 99 0 0 0 48 39 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926088694856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9592] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9592/stat : 9592 (java) S 9571 9573 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456162 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926086493224 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.49
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/214 9821
/proc/meminfo: memFree=24501540/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=3024420 CPUtime=1795.6 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 19888 0 1 0 179368 192 0 0 20 0 19 0 339456059 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 756105 420452 2306 9 0 746526 0
[pid=9573/tid=9575] ppid=9571 vsize=3024420 CPUtime=1772.42 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) R 9571 9573 5567 0 -1 4202560 3446 0 1 0 177205 37 0 0 20 0 19 0 339456060 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926249909536 139926092782437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9576] ppid=9571 vsize=3024420 CPUtime=2.14 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9573 5567 0 -1 4202560 408 0 0 0 197 17 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926233336232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9577] ppid=9571 vsize=3024420 CPUtime=1.82 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9573 5567 0 -1 4202560 328 0 0 0 167 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926232283688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9578] ppid=9571 vsize=3024420 CPUtime=2.02 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9573 5567 0 -1 4202560 391 0 0 0 187 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926231230632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9579] ppid=9571 vsize=3024420 CPUtime=2 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9573 5567 0 -1 4202560 526 0 0 0 182 18 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926230178088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9580] ppid=9571 vsize=3024420 CPUtime=2.12 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9573 5567 0 -1 4202560 456 0 0 0 194 18 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926229126056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9581] ppid=9571 vsize=3024420 CPUtime=1.92 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9573 5567 0 -1 4202560 376 0 0 0 177 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926228073512 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9582] ppid=9571 vsize=3024420 CPUtime=1.94 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9573 5567 0 -1 4202560 343 0 0 0 178 16 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926227020456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9583] ppid=9571 vsize=3024420 CPUtime=1.98 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9573 5567 0 -1 4202560 432 0 0 0 182 16 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926225967912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9584] ppid=9571 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9573 5567 0 -1 4202560 125 0 0 0 41 2 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926213556584 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9585] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9573 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926212502904 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9586] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9573 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926211449736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9587] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926210398480 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9588] ppid=9571 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) S 9571 9573 5567 0 -1 4202560 6222 0 0 0 68 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926091852600 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9589] ppid=9571 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) S 9571 9573 5567 0 -1 4202560 5550 0 0 0 73 2 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926090800056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9590] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926089747192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9591] ppid=9571 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) S 9571 9573 5567 0 -1 4202560 103 0 0 0 49 40 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926088694856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9592] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9592/stat : 9592 (java) S 9571 9573 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456162 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926086493224 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.7 s]
/proc/loadavg: 2.04 2.07 2.02 3/214 9821
/proc/meminfo: memFree=24501572/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 19891 0 1 0 179814 192 0 0 20 0 19 0 339456059 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 756105 420452 2306 9 0 746526 0
[pid=9573/tid=9575] ppid=9571 vsize=3024420 CPUtime=1776.78 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) R 9571 9573 5567 0 -1 4202560 3447 0 1 0 177640 38 0 0 20 0 19 0 339456060 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926249909536 139926092782253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9576] ppid=9571 vsize=3024420 CPUtime=2.14 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9573 5567 0 -1 4202560 408 0 0 0 197 17 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926233336232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9577] ppid=9571 vsize=3024420 CPUtime=1.83 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9573 5567 0 -1 4202560 328 0 0 0 168 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926232283688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9578] ppid=9571 vsize=3024420 CPUtime=2.03 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9573 5567 0 -1 4202560 391 0 0 0 188 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926231230632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9579] ppid=9571 vsize=3024420 CPUtime=2.01 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9573 5567 0 -1 4202560 526 0 0 0 182 19 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926230178088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9580] ppid=9571 vsize=3024420 CPUtime=2.15 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9573 5567 0 -1 4202560 456 0 0 0 197 18 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926229126056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9581] ppid=9571 vsize=3024420 CPUtime=1.94 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9573 5567 0 -1 4202560 376 0 0 0 179 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926228073512 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9582] ppid=9571 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9573 5567 0 -1 4202560 343 0 0 0 179 16 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926227020456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9583] ppid=9571 vsize=3024420 CPUtime=1.99 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9573 5567 0 -1 4202560 432 0 0 0 183 16 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926225967912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9584] ppid=9571 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9573 5567 0 -1 4202560 127 0 0 0 41 2 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926213556584 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9585] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9573 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926212502904 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9586] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9573 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926211449736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9587] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926210398480 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9588] ppid=9571 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) S 9571 9573 5567 0 -1 4202560 6222 0 0 0 68 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926091852600 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9589] ppid=9571 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) S 9571 9573 5567 0 -1 4202560 5550 0 0 0 73 2 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926090800056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9590] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926089747192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9591] ppid=9571 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) S 9571 9573 5567 0 -1 4202560 103 0 0 0 49 40 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926088694856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9592] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9592/stat : 9592 (java) S 9571 9573 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456162 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926086493224 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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+1786.7 s]
/proc/loadavg: 2.04 2.07 2.02 3/214 9821
/proc/meminfo: memFree=24501572/32873844 swapFree=7128/7128
[pid=9573] ppid=9571 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9573 5567 0 -1 4202496 19891 0 1 0 179814 192 0 0 20 0 19 0 339456059 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 140734495989936 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9573/statm: 756105 420452 2306 9 0 746526 0
[pid=9573/tid=9575] ppid=9571 vsize=3024420 CPUtime=1776.78 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) R 9571 9573 5567 0 -1 4202560 3447 0 1 0 177640 38 0 0 20 0 19 0 339456060 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926249909536 139926092782253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9576] ppid=9571 vsize=3024420 CPUtime=2.14 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9573 5567 0 -1 4202560 408 0 0 0 197 17 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926233336232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9577] ppid=9571 vsize=3024420 CPUtime=1.83 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9573 5567 0 -1 4202560 328 0 0 0 168 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926232283688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9578] ppid=9571 vsize=3024420 CPUtime=2.03 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9573 5567 0 -1 4202560 391 0 0 0 188 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926231230632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9579] ppid=9571 vsize=3024420 CPUtime=2.01 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9573 5567 0 -1 4202560 526 0 0 0 182 19 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926230178088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9580] ppid=9571 vsize=3024420 CPUtime=2.15 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9573 5567 0 -1 4202560 456 0 0 0 197 18 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926229126056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9581] ppid=9571 vsize=3024420 CPUtime=1.94 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9573 5567 0 -1 4202560 376 0 0 0 179 15 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926228073512 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9582] ppid=9571 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9573 5567 0 -1 4202560 343 0 0 0 179 16 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926227020456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9583] ppid=9571 vsize=3024420 CPUtime=1.99 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9573 5567 0 -1 4202560 432 0 0 0 183 16 0 0 20 0 19 0 339456062 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926225967912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9573/tid=9584] ppid=9571 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9573 5567 0 -1 4202560 127 0 0 0 41 2 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926213556584 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9585] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9573 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926212502904 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9586] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9573 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339456063 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926211449736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9587] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926210398480 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9588] ppid=9571 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) S 9571 9573 5567 0 -1 4202560 6222 0 0 0 68 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926091852600 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9573/tid=9589] ppid=9571 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) S 9571 9573 5567 0 -1 4202560 5550 0 0 0 73 2 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926090800056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9590] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) S 9571 9573 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926089747192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9573/tid=9591] ppid=9571 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) S 9571 9573 5567 0 -1 4202560 103 0 0 0 49 40 0 0 20 0 19 0 339456066 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926088694856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9573/tid=9592] ppid=9571 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9592/stat : 9592 (java) S 9571 9573 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456162 3097006080 420452 33554432000 1073741824 1073778376 140734495998800 139926086493224 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1786.72
CPU time (s): 1800.06
CPU user time (s): 1798.14
CPU system time (s): 1.92
CPU usage (%): 100.746
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.59
system time used= 2.26365
maximum resident set size= 1681928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19922
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43008
involuntary context switches= 46722

runsolver used 6.51901 second user time and 16.6545 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-03 16:31:31
IDJOB=3739728
IDBENCH=74369
IDSOLVER=2319
FILE ID=node105/3739728-1338733890
RUNJOBID= node105-1338714526-5584
PBS_JOBID= 14636755
Free space on /tmp= 71268 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12039_7-sat.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739728-1338733890/watcher-3739728-1338733890 -o /tmp/evaluation-result-3739728-1338733890/solver-3739728-1338733890 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3739728-1338733890.opb           

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

MD5SUM BENCH= 0f318fc75cd8d877b44870fe2fa76e77
RANDOM SEED=1690912292

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26208208 kB
Buffers:          559852 kB
Cached:          3578384 kB
SwapCached:         1700 kB
Active:          2683276 kB
Inactive:        3096340 kB
Active(anon):    1637420 kB
Inactive(anon):     4800 kB
Active(file):    1045856 kB
Inactive(file):  3091540 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:              6284 kB
Writeback:             0 kB
AnonPages:       1629300 kB
Mapped:            17368 kB
Shmem:                 0 kB
Slab:             742164 kB
SReclaimable:     183680 kB
SUnreclaim:       558484 kB
KernelStack:        1760 kB
PageTables:         7336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1583104 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= 71264 MiB
End job on node105 at 2012-06-03 17:01:19