Trace number 3744134

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.02 1753.92

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_6_mh.opb
MD5SUM94b1451a4cda8c04cd1bd81816dea3d0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5637187
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 155720872
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 17732231209
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 155720872
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 17732231209
Number of bits of the biggest sum of numbers35
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.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3744134-1338794362.opb
0.08/0.10	c reading problem ... 
1.83/0.92	c ... done. Wall clock time 0.814s.
1.83/0.92	c CPU time (experimental) 0.88s.
1.83/0.92	c #vars     31350
1.83/0.92	c #constraints  74533
331.26/321.57	c cleaning 239882 clauses out of 480000 for limit 766.3202309463674
336.19/326.36	c cleaning 122779 clauses out of 245618 for limit 367456.636063763
338.39/328.45	c cleaning 62539 clauses out of 125341 for limit 8800788.596038472
340.55/330.55	c cleaning 32488 clauses out of 65301 for limit 2.058447692178337E8
344.66/334.54	c cleaning 18734 clauses out of 37813 for limit 5.289046714550281E10
347.40/337.20	c cleaning 10871 clauses out of 22079 for limit 1.8221094484280647E12
349.45/339.26	c cleaning 6941 clauses out of 14207 for limit 5.690524394330765E13
351.11/340.84	c cleaning 4855 clauses out of 9767 for limit 1.0106654722611544E-5
351.32/341.08	c cleaning 2692 clauses out of 5411 for limit 3.0054704202476626E-5
352.95/342.63	c cleaning 2480 clauses out of 5219 for limit 3.8008622486757635E-4
355.08/344.76	c cleaning 2729 clauses out of 5739 for limit 0.00695294068222118
599.44/583.69	c cleaning 190482 clauses out of 381012 for limit 1.846654706619416
601.58/585.77	c cleaning 97006 clauses out of 194029 for limit 120.17507537441985
608.87/592.87	c cleaning 56196 clauses out of 112522 for limit 1.1244537347266347E9
613.39/597.29	c cleaning 33377 clauses out of 66826 for limit 6.912055154225741E-7
614.71/598.54	c cleaning 17965 clauses out of 35949 for limit 1.5672752748708498E-5
616.03/599.82	c cleaning 10672 clauses out of 21484 for limit 8.699777823514695E-4
617.30/601.07	c cleaning 6836 clauses out of 13813 for limit 0.02724614900549369
618.84/602.51	c cleaning 5168 clauses out of 10477 for limit 1.1916463973670561
620.19/603.83	c cleaning 4334 clauses out of 8808 for limit 46.97467018924803
621.61/605.26	c cleaning 3909 clauses out of 7974 for limit 1721.2978380773154
623.04/606.62	c cleaning 3959 clauses out of 8067 for limit 93268.78456730471
624.39/607.99	c cleaning 3734 clauses out of 7606 for limit 3275022.127851101
625.73/609.29	c cleaning 3435 clauses out of 6872 for limit 7.291598232257167E7
627.08/610.60	c cleaning 3215 clauses out of 6437 for limit 1.565877178811839E9
629.83/613.24	c cleaning 4609 clauses out of 9222 for limit 4.422692349158772E11
631.07/614.48	c cleaning 4034 clauses out of 8115 for limit 1.6706426194123105E13
631.27/614.66	c cleaning 2289 clauses out of 4582 for limit 4.884356946834289E13
632.43/615.77	c cleaning 2305 clauses out of 4793 for limit 5.695534480526291E14
633.77/617.03	c cleaning 2732 clauses out of 5485 for limit 9.981528915548153E-5
635.19/618.43	c cleaning 2793 clauses out of 5753 for limit 0.0019143204957330806
636.53/619.74	c cleaning 2918 clauses out of 5960 for limit 0.03717047282008561
637.89/621.00	c cleaning 2709 clauses out of 5542 for limit 0.487592771721225
639.15/622.23	c cleaning 2612 clauses out of 5335 for limit 6.190672294859171
640.39/623.47	c cleaning 2551 clauses out of 5223 for limit 77.13147704928001
641.83/624.84	c cleaning 2773 clauses out of 5670 for limit 1426.3789252934082
643.16/626.11	c cleaning 2877 clauses out of 5898 for limit 27611.05735056235
644.48/627.47	c cleaning 2697 clauses out of 5520 for limit 359495.6600361051
645.71/628.69	c cleaning 2904 clauses out of 5823 for limit 6855217.86259028
647.24/630.15	c cleaning 2950 clauses out of 5922 for limit 1.3599987396340314E8
648.37/631.25	c cleaning 2428 clauses out of 4970 for limit 1.196203433644904E9
649.72/632.55	c cleaning 2237 clauses out of 4541 for limit 9.673841507419363E9
651.05/633.81	c cleaning 2114 clauses out of 4304 for limit 7.549214320535052E10
652.41/635.16	c cleaning 2065 clauses out of 4190 for limit 5.735661896523364E11
653.53/636.27	c cleaning 2061 clauses out of 4125 for limit 4.30920505780576E12
654.78/637.48	c cleaning 2025 clauses out of 4064 for limit 3.2351242312076797E13
656.20/638.88	c cleaning 2241 clauses out of 4540 for limit 3.53592264798074E14
657.44/640.07	c cleaning 2645 clauses out of 5298 for limit 6.089020903361225E-5
659.08/641.60	c cleaning 2798 clauses out of 5653 for limit 0.001147930924178886
660.42/642.90	c cleaning 2624 clauses out of 5355 for limit 0.014781370431781321
661.45/643.91	c cleaning 2324 clauses out of 4732 for limit 0.12384757288736517
661.65/644.12	c cleaning 1423 clauses out of 2907 for limit 0.33213036235609034
662.78/645.22	c cleaning 1704 clauses out of 3485 for limit 2.051204159190504
664.01/646.45	c cleaning 1856 clauses out of 3780 for limit 13.973619307493523
665.46/647.83	c cleaning 2178 clauses out of 4427 for limit 145.97354514959952
666.59/648.98	c cleaning 2083 clauses out of 4246 for limit 1122.338085108624
666.78/649.15	c cleaning 1300 clauses out of 2663 for limit 2951.130474320476
668.10/650.49	c cleaning 1900 clauses out of 3863 for limit 24815.001405677074
669.34/651.61	c cleaning 2193 clauses out of 4464 for limit 262197.6368686067
670.80/653.00	c cleaning 2635 clauses out of 5270 for limit 4463167.173263044
672.05/654.23	c cleaning 2565 clauses out of 5135 for limit 5.587181201668106E7
673.48/655.60	c cleaning 2533 clauses out of 5070 for limit 6.902472421822798E8
674.72/656.87	c cleaning 2268 clauses out of 4537 for limit 5.705154477545612E9
1039.47/1012.17	c cleaning 304073 clauses out of 608270 for limit 8.780300033325006E10
1048.15/1020.68	c cleaning 157322 clauses out of 314696 for limit 6.189472627777668E-5
1056.92/1029.12	c cleaning 86414 clauses out of 172876 for limit 613.2134683735898
1064.97/1036.98	c cleaning 50133 clauses out of 100460 for limit 1.2754076838831828E9
1069.46/1041.20	c cleaning 29300 clauses out of 58827 for limit 1.0750176157470854E13
1073.77/1045.42	c cleaning 18253 clauses out of 36527 for limit 1.905288278301317E-4
1075.14/1046.71	c cleaning 10373 clauses out of 20775 for limit 0.00409022891543559
1078.13/1049.67	c cleaning 7877 clauses out of 15902 for limit 1.3111478134102976
1079.78/1051.22	c cleaning 5185 clauses out of 10528 for limit 24.229279411734844
1080.92/1052.32	c cleaning 3600 clauses out of 7340 for limit 256.2774106191566
1082.47/1053.85	c cleaning 3298 clauses out of 6739 for limit 5609.339694540426
1083.63/1054.96	c cleaning 2645 clauses out of 5442 for limit 51428.83895083705
1084.97/1056.28	c cleaning 2560 clauses out of 5296 for limit 643964.9116181228
1086.23/1057.45	c cleaning 2297 clauses out of 4736 for limit 5326255.981174856
1087.38/1058.56	c cleaning 2141 clauses out of 4439 for limit 4.203123312251933E7
1087.58/1058.74	c cleaning 1395 clauses out of 2799 for limit 1.1003852922374222E8
1088.63/1059.79	c cleaning 1692 clauses out of 3405 for limit 6.697128300016109E8
1091.41/1062.49	c cleaning 3281 clauses out of 6711 for limit 5.045548009898852E10
1092.65/1063.68	c cleaning 2871 clauses out of 5931 for limit 6.970783661026157E11
1093.88/1064.88	c cleaning 2763 clauses out of 5559 for limit 9.062703629601988E12
1094.18/1065.12	c cleaning 1572 clauses out of 3296 for limit 2.5207114601253113E13
1095.23/1066.19	c cleaning 1861 clauses out of 3727 for limit 1.6537811195690012E14
1096.38/1067.29	c cleaning 1904 clauses out of 3863 for limit 1.1766105193037929E-5
1097.82/1068.69	c cleaning 2223 clauses out of 4459 for limit 1.2433671746530842E-4
1099.05/1069.84	c cleaning 2036 clauses out of 4240 for limit 9.7102991253973E-4
1100.40/1071.18	c cleaning 2282 clauses out of 4701 for limit 0.010650846205410019
1101.64/1072.35	c cleaning 2396 clauses out of 4918 for limit 0.12405971059745254
1102.91/1073.58	c cleaning 2192 clauses out of 4522 for limit 0.997958032560774
1104.36/1074.91	c cleaning 2342 clauses out of 4831 for limit 11.405642253507619
1104.56/1075.11	c cleaning 1424 clauses out of 2990 for limit 30.42117563229936
1105.60/1076.18	c cleaning 1708 clauses out of 3564 for limit 188.3926741944701
1107.05/1077.55	c cleaning 2365 clauses out of 4856 for limit 2781.367337170981
1108.29/1078.73	c cleaning 2415 clauses out of 4992 for limit 33035.158772838615
1109.62/1080.06	c cleaning 2469 clauses out of 5076 for limit 395889.7749849377
1110.98/1081.30	c cleaning 2475 clauses out of 5107 for limit 4799648.96848976
1112.32/1082.61	c cleaning 2231 clauses out of 4633 for limit 3.917158033491576E7
1113.66/1083.91	c cleaning 2353 clauses out of 4901 for limit 4.5122547833893365E8
1114.89/1085.19	c cleaning 2521 clauses out of 5048 for limit 5.343654927527477E9
1116.23/1086.41	c cleaning 2508 clauses out of 5027 for limit 6.5452810767170044E10
1117.48/1087.69	c cleaning 2457 clauses out of 5019 for limit 7.996490506177992E11
1118.82/1088.98	c cleaning 2521 clauses out of 5062 for limit 9.67105639641681E12
1120.18/1090.30	c cleaning 2505 clauses out of 5042 for limit 1.1855152970251092E14
1121.61/1091.67	c cleaning 2510 clauses out of 5038 for limit 1.4486577267481556E-5
1122.85/1092.89	c cleaning 2494 clauses out of 5026 for limit 1.7677134956607473E-4
1124.08/1094.04	c cleaning 2438 clauses out of 5032 for limit 0.0021536402755787565
1412.25/1375.56	c cleaning 263487 clauses out of 527097 for limit 1643.4339715991584
1420.55/1383.73	c cleaning 135766 clauses out of 271607 for limit 9516834.18873607
1423.22/1386.34	c cleaning 69396 clauses out of 138842 for limit 3.748715087685252E8
1424.78/1387.84	c cleaning 36154 clauses out of 72445 for limit 1.4437622716553307E10
1427.86/1390.88	c cleaning 21097 clauses out of 42295 for limit 1.0046707706722094E13
1429.31/1392.26	c cleaning 11806 clauses out of 23695 for limit 2.180881072334491E-6
1432.10/1394.91	c cleaning 8683 clauses out of 17390 for limit 7.298580176588919E-4
1433.53/1396.31	c cleaning 5784 clauses out of 11706 for limit 0.021788646639933185
1434.99/1397.73	c cleaning 4391 clauses out of 8921 for limit 0.5745476417363341
1436.33/1399.09	c cleaning 3708 clauses out of 7532 for limit 13.716194029647797
1437.69/1400.39	c cleaning 3108 clauses out of 6322 for limit 198.9298024570334
1437.89/1400.58	c cleaning 1810 clauses out of 3716 for limit 559.2468519634507
1439.24/1401.87	c cleaning 2643 clauses out of 5405 for limit 12742.077799254852
1440.79/1403.38	c cleaning 3314 clauses out of 6761 for limit 556720.9942226307
1442.34/1404.82	c cleaning 3418 clauses out of 6947 for limit 1.7973905135540538E7
1443.79/1406.21	c cleaning 3512 clauses out of 7029 for limit 5.893013144744219E8
1445.26/1407.61	c cleaning 3251 clauses out of 6517 for limit 1.2785524659600548E10
1446.41/1408.76	c cleaning 2821 clauses out of 5766 for limit 1.7626702400301883E11
1446.61/1408.99	c cleaning 1717 clauses out of 3448 for limit 4.875710099778053E11
1449.30/1411.60	c cleaning 3534 clauses out of 7228 for limit 5.689815846070054E13
1450.95/1413.11	c cleaning 3320 clauses out of 6700 for limit 1.2421783176900451E-5
1452.18/1414.36	c cleaning 2910 clauses out of 5874 for limit 1.7178971897906519E-4
1453.71/1415.85	c cleaning 2917 clauses out of 5964 for limit 0.003403523853628789
1455.05/1417.16	c cleaning 3216 clauses out of 6547 for limit 0.10285260638851024
1455.25/1417.34	c cleaning 1858 clauses out of 3832 for limit 0.29008317549274015
1456.60/1418.61	c cleaning 2192 clauses out of 4473 for limit 3.0282663201559608
1458.06/1420.07	c cleaning 2577 clauses out of 5282 for limit 51.6374041164969
1459.63/1421.52	c cleaning 2784 clauses out of 5704 for limit 960.9130508019992
1459.83/1421.75	c cleaning 1648 clauses out of 3420 for limit 2642.977035782206
1461.26/1423.10	c cleaning 2336 clauses out of 4775 for limit 38193.10591072584
1462.42/1424.26	c cleaning 2418 clauses out of 4936 for limit 449323.4675499681
1462.63/1424.41	c cleaning 1461 clauses out of 3019 for limit 1212722.78856061
1463.88/1425.68	c cleaning 2268 clauses out of 4558 for limit 1.6157927413387813E7
1465.43/1427.11	c cleaning 2836 clauses out of 5789 for limit 4.2161215340826756E8
1466.66/1428.36	c cleaning 3152 clauses out of 6453 for limit 1.2547182500045898E10
1466.86/1428.55	c cleaning 1891 clauses out of 3802 for limit 3.515492423215575E10
1468.24/1429.82	c cleaning 2141 clauses out of 4411 for limit 3.696073985542083E11
1469.62/1431.14	c cleaning 2626 clauses out of 5271 for limit 6.22808500456362E12
1469.81/1431.37	c cleaning 1566 clauses out of 3143 for limit 1.7190560221602148E13
1470.94/1432.40	c cleaning 1957 clauses out of 4077 for limit 1.6164904183873984E14
1471.14/1432.66	c cleaning 1247 clauses out of 2623 for limit 4.155994631664986E14
1472.39/1433.89	c cleaning 1919 clauses out of 3873 for limit 3.422958795191673E-5
1472.59/1434.07	c cleaning 1219 clauses out of 2456 for limit 8.919606930665131E-5
1473.92/1435.33	c cleaning 2310 clauses out of 4735 for limit 0.0015317090591101348
1474.13/1435.53	c cleaning 1372 clauses out of 2925 for limit 0.004089086341986016
1475.48/1436.88	c cleaning 1966 clauses out of 4053 for limit 0.035996061288906436
1477.03/1438.35	c cleaning 2227 clauses out of 4587 for limit 0.3879558287905289
1477.23/1438.55	c cleaning 1356 clauses out of 2860 for limit 1.0261264332163729
1478.69/1439.98	c cleaning 2425 clauses out of 5005 for limit 19.471013030378323
1478.88/1440.15	c cleaning 1459 clauses out of 3079 for limit 52.14399669098794
1480.32/1441.52	c cleaning 2735 clauses out of 5623 for limit 1566.7386324847955
1480.52/1441.74	c cleaning 1628 clauses out of 3385 for limit 4279.15792336162
1481.86/1443.01	c cleaning 2040 clauses out of 4261 for limit 41631.58402213374
1482.06/1443.28	c cleaning 1295 clauses out of 2721 for limit 107513.20658835203
1483.79/1444.90	c cleaning 2122 clauses out of 4422 for limit 1325466.919988831
1702.35/1658.86	c cleaning 167038 clauses out of 334301 for limit 3.1782894155944306E8
1711.25/1667.53	c cleaning 89117 clauses out of 178264 for limit 3.5919600354232247E-7
1713.99/1670.28	c cleaning 46057 clauses out of 92145 for limit 1.3950496594036871E-5
1715.72/1671.98	c cleaning 24463 clauses out of 49089 for limit 5.272870320015244E-4
1720.57/1676.61	c cleaning 16996 clauses out of 34125 for limit 10.171522332291481
1721.90/1677.94	c cleaning 10002 clauses out of 20130 for limit 347.2039648849036
1723.55/1679.52	c cleaning 6749 clauses out of 13628 for limit 17013.259842109812
1725.09/1681.06	c cleaning 5094 clauses out of 10379 for limit 741063.3869588521
1726.53/1682.46	c cleaning 4066 clauses out of 8285 for limit 1.8674701911031917E7
1727.96/1683.81	c cleaning 3540 clauses out of 7218 for limit 4.3075479799273837E8
1729.41/1685.22	c cleaning 3264 clauses out of 6679 for limit 9.373577871283968E9
1730.73/1686.59	c cleaning 3129 clauses out of 6414 for limit 1.9615017042585776E11
1732.08/1687.80	c cleaning 2888 clauses out of 5785 for limit 2.65273408179855E12
1734.85/1690.56	c cleaning 4421 clauses out of 8897 for limit 6.979497145651317E-6
1735.05/1690.74	c cleaning 2471 clauses out of 4976 for limit 2.0579899039305093E-5
1736.38/1692.09	c cleaning 2714 clauses out of 5505 for limit 3.7419812780705564E-4
1737.92/1693.59	c cleaning 3064 clauses out of 6291 for limit 0.010862516708658943
1739.25/1694.83	c cleaning 3049 clauses out of 6231 for limit 0.22149593516068913
1739.45/1695.01	c cleaning 1771 clauses out of 3679 for limit 0.6168024295054614
1740.78/1696.37	c cleaning 2631 clauses out of 5408 for limit 13.919716482617698
1742.21/1697.75	c cleaning 2818 clauses out of 5776 for limit 261.90313578009545
1742.41/1697.91	c cleaning 1657 clauses out of 3458 for limit 721.4376128215322
1743.74/1699.24	c cleaning 2575 clauses out of 5302 for limit 15624.63091725589
1745.36/1700.82	c cleaning 3259 clauses out of 6727 for limit 673713.3590908267
1746.80/1702.26	c cleaning 3160 clauses out of 6468 for limit 1.4094896708511045E7
1748.35/1703.75	c cleaning 3071 clauses out of 6307 for limit 2.904757542729803E8
1749.78/1705.18	c cleaning 3025 clauses out of 6237 for limit 5.9146194740466795E9
1751.13/1706.43	c cleaning 2770 clauses out of 5714 for limit 7.890613577897774E10
1752.55/1707.88	c cleaning 3140 clauses out of 6442 for limit 2.3171410787737676E12
1753.88/1709.13	c cleaning 3073 clauses out of 6301 for limit 4.760631081109566E13
1755.32/1710.52	c cleaning 3103 clauses out of 6228 for limit 9.688593292051234E-6
1756.66/1711.84	c cleaning 2977 clauses out of 6125 for limit 1.9817029614112847E-4
1758.20/1713.34	c cleaning 3248 clauses out of 6648 for limit 0.0060568225445929245
1759.66/1714.73	c cleaning 3126 clauses out of 6400 for limit 0.12655846786308644
1759.87/1714.93	c cleaning 1807 clauses out of 3775 for limit 0.35419679357477013
1761.20/1716.28	c cleaning 2154 clauses out of 4467 for limit 3.647460119486573
1762.56/1717.58	c cleaning 2573 clauses out of 5314 for limit 61.73831728323847
1764.11/1719.08	c cleaning 3050 clauses out of 6240 for limit 1742.4023414415767
1765.75/1720.65	c cleaning 3244 clauses out of 6690 for limit 53913.57453040118
1767.20/1722.08	c cleaning 3135 clauses out of 6446 for limit 1125561.593471957
1767.50/1722.30	c cleaning 1807 clauses out of 3811 for limit 3139615.793234014
1768.75/1723.52	c cleaning 2405 clauses out of 5004 for limit 4.8098715098641664E7
1768.96/1723.78	c cleaning 1539 clauses out of 3100 for limit 1.2816796264204602E8
1770.60/1725.31	c cleaning 2012 clauses out of 4060 for limit 1.1925046037843506E9
1771.93/1726.62	c cleaning 2170 clauses out of 4548 for limit 1.2985093374930666E10
1773.26/1727.98	c cleaning 2679 clauses out of 5379 for limit 2.210720418799802E11
1773.47/1728.18	c cleaning 1518 clauses out of 3199 for limit 6.124103219378307E11
1800.02/1753.91	c starts		: 24
1800.02/1753.91	c conflicts		: 2970577
1800.02/1753.91	c decisions		: 6858383
1800.02/1753.91	c propagations		: 679315530
1800.02/1753.91	c inspects		: 6732351560
1800.02/1753.91	c learnt literals	: 0
1800.02/1753.91	c learnt binary clauses	: 108
1800.02/1753.91	c learnt ternary clauses	: 53
1800.02/1753.91	c learnt clauses	: 2970577
1800.02/1753.91	c root simplifications	: 0
1800.02/1753.91	c removed literals (reason simplification)	: 0
1800.02/1753.91	c reason swapping (by a shorter reason)	: 0
1800.02/1753.91	c Calls to reduceDB	: 210
1800.02/1753.91	c speed (decisions/second)	: 3912.670399602936
1800.02/1753.91	c non guided choices	0
1800.02/1753.91	s UNKNOWN
1800.02/1753.91	c Total wall clock time (ms): 1753.806

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-3744134-1338794362/watcher-3744134-1338794362 -o /tmp/evaluation-result-3744134-1338794362/solver-3744134-1338794362 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744134-1338794362.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.03 2.00 2.00 3/194 9835
/proc/meminfo: memFree=26694132/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9835/stat : 9835 (java) D 9833 9835 8924 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345561878 9515008 182 33554432000 1073741824 1073778376 140736805736960 140736805727992 272886480565 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/9835/statm: 2323 182 140 9 0 71 0

[startup+0.052688 s]
/proc/loadavg: 2.03 2.00 2.00 3/194 9835
/proc/meminfo: memFree=26694132/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 3936 0 1 0 2 0 0 0 20 0 13 0 345561878 2686889984 5143 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 655979 5144 1701 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916

[startup+0.100335 s]
/proc/loadavg: 2.03 2.00 2.00 3/194 9835
/proc/meminfo: memFree=26694132/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 4857 0 1 0 7 1 0 0 20 0 18 0 345561878 3028844544 6563 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 739464 6563 2098 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300292 s]
/proc/loadavg: 2.03 2.00 2.00 3/194 9835
/proc/meminfo: memFree=26694132/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 5992 0 1 0 47 2 0 0 20 0 18 0 345561878 3028844544 11319 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 739464 11319 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700309 s]
/proc/loadavg: 2.03 2.00 2.00 3/194 9835
/proc/meminfo: memFree=26694132/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=2957856 CPUtime=1.3 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 10108 0 1 0 125 5 0 0 20 0 18 0 345561878 3028844544 44494 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 739464 44494 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2957856

[startup+1.50078 s]
/proc/loadavg: 2.03 2.00 2.00 4/212 9853
/proc/meminfo: memFree=26424348/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=3024420 CPUtime=2.96 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 17195 0 1 0 287 9 0 0 20 0 19 0 345561878 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 756105 84632 2279 9 0 746526 0
[pid=9835/tid=9837] ppid=9833 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) R 9833 9835 8924 0 -1 4202560 3178 0 1 0 140 6 0 0 20 0 19 0 345561879 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823310647752 139823147379102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9838] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823294081704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9839] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823293029160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9840] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823291976616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9841] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823290924072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9842] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823289870504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9843] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823288817960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9844] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823287765416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9845] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9835 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823286712872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9846] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9835 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823274302056 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9847] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9835 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823273248376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9848] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823272195720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9849] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823271144464 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9850] ppid=9833 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) S 9833 9835 8924 0 -1 4202560 7254 0 0 0 79 3 0 0 20 0 19 0 345561884 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823270090808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9851] ppid=9833 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) S 9833 9835 8924 0 -1 4202560 5568 0 0 0 64 1 0 0 20 0 19 0 345561884 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823269038264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9852] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823267985912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9853] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 84632 33554432000 1073741824 1073778376 140734090678304 139823266933576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 3024420

[startup+3.10083 s]
/proc/loadavg: 2.03 2.00 2.00 3/213 9854
/proc/meminfo: memFree=26260688/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=3024420 CPUtime=4.68 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 17318 0 1 0 453 15 0 0 20 0 19 0 345561878 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 756105 119472 2292 9 0 746526 0
[pid=9835/tid=9837] ppid=9833 vsize=3024420 CPUtime=3.01 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) R 9833 9835 8924 0 -1 4202560 3240 0 1 0 293 8 0 0 20 0 19 0 345561879 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823310655672 139823147379084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9838] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9835 8924 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823294081704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9839] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823293029160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9840] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9835 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823291976616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9841] ppid=9833 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9835 8924 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823290924072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9842] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9835 8924 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823289870504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9843] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823288817960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9844] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9835 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823287765416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9845] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9835 8924 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345561880 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823286712872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9846] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9835 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823274302056 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9847] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9835 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823273248376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9848] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9835 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823272195720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9849] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823271144464 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9850] ppid=9833 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) S 9833 9835 8924 0 -1 4202560 7254 0 0 0 79 3 0 0 20 0 19 0 345561884 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823270090808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9851] ppid=9833 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) S 9833 9835 8924 0 -1 4202560 5568 0 0 0 64 1 0 0 20 0 19 0 345561884 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823269038264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9852] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823267985912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9853] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823266933576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9854] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9854/stat : 9854 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561983 3097006080 119472 33554432000 1073741824 1073778376 140734090678304 139823146853672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 3024420

[startup+6.30084 s]
/proc/loadavg: 2.42 2.09 2.03 3/213 9854
/proc/meminfo: memFree=26196580/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=3024420 CPUtime=8.08 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 17389 0 1 0 790 18 0 0 20 0 19 0 345561878 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 756105 126025 2292 9 0 746526 0
[pid=9835/tid=9837] ppid=9833 vsize=3024420 CPUtime=6.12 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) R 9833 9835 8924 0 -1 4202560 3244 0 1 0 604 8 0 0 20 0 19 0 345561879 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823310654688 139823147875951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9838] ppid=9833 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9835 8924 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823294081704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9839] ppid=9833 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9835 8924 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823293029160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9840] ppid=9833 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9835 8924 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823291976616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9841] ppid=9833 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9835 8924 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823290924072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9842] ppid=9833 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9835 8924 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823289870504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9843] ppid=9833 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9835 8924 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823288817960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9844] ppid=9833 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9835 8924 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823287765416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9845] ppid=9833 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9835 8924 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 345561880 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823286712872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9846] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9835 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823274302056 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9847] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9835 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823273248376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9848] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9835 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823272195720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9849] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823271144464 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9850] ppid=9833 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) S 9833 9835 8924 0 -1 4202560 7254 0 0 0 79 3 0 0 20 0 19 0 345561884 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823270090808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9851] ppid=9833 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) S 9833 9835 8924 0 -1 4202560 5568 0 0 0 64 1 0 0 20 0 19 0 345561884 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823269038264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9852] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823267985912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9853] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823266933576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9854] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9854/stat : 9854 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561983 3097006080 126025 33554432000 1073741824 1073778376 140734090678304 139823146853672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.39 2.09 2.03 3/213 9854
/proc/meminfo: memFree=26104072/32873844 swapFree=7112/7112

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

[pid=9835/tid=9850] ppid=9833 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) S 9833 9835 8924 0 -1 4202560 7261 0 0 0 92 3 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823270090808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9851] ppid=9833 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) S 9833 9835 8924 0 -1 4202560 5576 0 0 0 66 2 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823269038264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9852] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823267985912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9853] ppid=9833 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) S 9833 9835 8924 0 -1 4202560 96 0 0 0 41 42 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823266933576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9854] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9854/stat : 9854 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561983 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823146853672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1705.98
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/213 9994
/proc/meminfo: memFree=25007160/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=3024420 CPUtime=1767.5 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 22403 0 1 0 176527 223 0 0 20 0 19 0 345561878 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 756105 423233 2308 9 0 746526 0
[pid=9835/tid=9837] ppid=9833 vsize=3024420 CPUtime=1699.24 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) R 9833 9835 8924 0 -1 4202560 4315 0 1 0 169885 39 0 0 20 0 19 0 345561879 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823310647120 139823147379567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9838] ppid=9833 vsize=3024420 CPUtime=7.55 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9835 8924 0 -1 4202560 478 0 0 0 736 19 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823294081704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9839] ppid=9833 vsize=3024420 CPUtime=7.57 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9835 8924 0 -1 4202560 505 0 0 0 738 19 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823293029160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9840] ppid=9833 vsize=3024420 CPUtime=7.4 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9835 8924 0 -1 4202560 474 0 0 0 723 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823291976616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9841] ppid=9833 vsize=3024420 CPUtime=7.46 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9835 8924 0 -1 4202560 469 0 0 0 731 15 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823290924072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9842] ppid=9833 vsize=3024420 CPUtime=7.53 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9835 8924 0 -1 4202560 479 0 0 0 735 18 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823289870504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9843] ppid=9833 vsize=3024420 CPUtime=7.59 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9835 8924 0 -1 4202560 476 0 0 0 740 19 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823288817960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9844] ppid=9833 vsize=3024420 CPUtime=7.43 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9835 8924 0 -1 4202560 486 0 0 0 726 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823287765416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9845] ppid=9833 vsize=3024420 CPUtime=7.85 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9835 8924 0 -1 4202560 477 0 0 0 768 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823286712872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9846] ppid=9833 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9835 8924 0 -1 4202560 128 0 0 0 86 6 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823274302056 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9847] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9835 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823273248376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9848] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9835 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823272195720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9849] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823271144464 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9850] ppid=9833 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) S 9833 9835 8924 0 -1 4202560 7261 0 0 0 92 3 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823270090808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9851] ppid=9833 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) S 9833 9835 8924 0 -1 4202560 5576 0 0 0 66 2 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823269038264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9852] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823267985912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9853] ppid=9833 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) S 9833 9835 8924 0 -1 4202560 98 0 0 0 42 44 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823266933576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9854] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9854/stat : 9854 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561983 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823146853672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.5
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1753.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 9994
/proc/meminfo: memFree=25007036/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 22424 0 1 0 179778 224 0 0 20 0 19 0 345561878 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 756105 423233 2308 9 0 746526 0
[pid=9835/tid=9837] ppid=9833 vsize=3024420 CPUtime=1730.27 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) R 9833 9835 8924 0 -1 4202560 4332 0 1 0 172987 40 0 0 20 0 19 0 345561879 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823310654688 139823147906242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9838] ppid=9833 vsize=3024420 CPUtime=7.68 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9835 8924 0 -1 4202560 478 0 0 0 749 19 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823294081704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9839] ppid=9833 vsize=3024420 CPUtime=7.77 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9835 8924 0 -1 4202560 505 0 0 0 757 20 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823293029160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9840] ppid=9833 vsize=3024420 CPUtime=7.54 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9835 8924 0 -1 4202560 474 0 0 0 737 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823291976616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9841] ppid=9833 vsize=3024420 CPUtime=7.6 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9835 8924 0 -1 4202560 469 0 0 0 745 15 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823290924072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9842] ppid=9833 vsize=3024420 CPUtime=7.7 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9835 8924 0 -1 4202560 479 0 0 0 752 18 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823289870504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9843] ppid=9833 vsize=3024420 CPUtime=7.72 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9835 8924 0 -1 4202560 476 0 0 0 753 19 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823288817960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9844] ppid=9833 vsize=3024420 CPUtime=7.61 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9835 8924 0 -1 4202560 486 0 0 0 744 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823287765416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9845] ppid=9833 vsize=3024420 CPUtime=8 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9835 8924 0 -1 4202560 477 0 0 0 783 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823286712872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9846] ppid=9833 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9835 8924 0 -1 4202560 130 0 0 0 102 6 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823274302056 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9847] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9835 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823273248376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9848] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9835 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823272195720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9849] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823271144464 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9850] ppid=9833 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) S 9833 9835 8924 0 -1 4202560 7261 0 0 0 92 3 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823270090808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9851] ppid=9833 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) S 9833 9835 8924 0 -1 4202560 5576 0 0 0 66 2 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823269038264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9852] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823267985912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9853] ppid=9833 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) S 9833 9835 8924 0 -1 4202560 100 0 0 0 43 45 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823266933576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9854] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9854/stat : 9854 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561983 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823146853672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1753.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 9994
/proc/meminfo: memFree=25007036/32873844 swapFree=7112/7112
[pid=9835] ppid=9833 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9835 8924 0 -1 4202496 22424 0 1 0 179778 224 0 0 20 0 19 0 345561878 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 140734090669440 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9835/statm: 756105 423233 2308 9 0 746526 0
[pid=9835/tid=9837] ppid=9833 vsize=3024420 CPUtime=1730.27 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) R 9833 9835 8924 0 -1 4202560 4332 0 1 0 172987 40 0 0 20 0 19 0 345561879 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823310654688 139823147906242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9838] ppid=9833 vsize=3024420 CPUtime=7.68 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9835 8924 0 -1 4202560 478 0 0 0 749 19 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823294081704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9839] ppid=9833 vsize=3024420 CPUtime=7.77 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9835 8924 0 -1 4202560 505 0 0 0 757 20 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823293029160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9840] ppid=9833 vsize=3024420 CPUtime=7.54 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9835 8924 0 -1 4202560 474 0 0 0 737 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823291976616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9841] ppid=9833 vsize=3024420 CPUtime=7.6 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9835 8924 0 -1 4202560 469 0 0 0 745 15 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823290924072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9842] ppid=9833 vsize=3024420 CPUtime=7.7 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9835 8924 0 -1 4202560 479 0 0 0 752 18 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823289870504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9843] ppid=9833 vsize=3024420 CPUtime=7.72 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9835 8924 0 -1 4202560 476 0 0 0 753 19 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823288817960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9844] ppid=9833 vsize=3024420 CPUtime=7.61 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9835 8924 0 -1 4202560 486 0 0 0 744 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823287765416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9835/tid=9845] ppid=9833 vsize=3024420 CPUtime=8 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9835 8924 0 -1 4202560 477 0 0 0 783 17 0 0 20 0 19 0 345561880 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823286712872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9846] ppid=9833 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9835 8924 0 -1 4202560 130 0 0 0 102 6 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823274302056 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9847] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9835 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823273248376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9848] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9835 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345561882 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823272195720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9849] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823271144464 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9850] ppid=9833 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) S 9833 9835 8924 0 -1 4202560 7261 0 0 0 92 3 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823270090808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9835/tid=9851] ppid=9833 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) S 9833 9835 8924 0 -1 4202560 5576 0 0 0 66 2 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823269038264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9852] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) S 9833 9835 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823267985912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9835/tid=9853] ppid=9833 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) S 9833 9835 8924 0 -1 4202560 100 0 0 0 43 45 0 0 20 0 19 0 345561884 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823266933576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9835/tid=9854] ppid=9833 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9854/stat : 9854 (java) S 9833 9835 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345561983 3097006080 423233 33554432000 1073741824 1073778376 140734090678304 139823146853672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1753.92
CPU time (s): 1800.02
CPU user time (s): 1797.78
CPU system time (s): 2.24
CPU usage (%): 102.628
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.22
system time used= 2.51162
maximum resident set size= 1693048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22453
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= 70452
involuntary context switches= 112126

runsolver used 6.76297 second user time and 15.4107 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-04 09:19:22
IDJOB=3744134
IDBENCH=92694
IDSOLVER=2319
FILE ID=node119/3744134-1338794362
RUNJOBID= node119-1338784193-8941
PBS_JOBID= 14636847
Free space on /tmp= 70888 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_6_mh.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744134-1338794362/watcher-3744134-1338794362 -o /tmp/evaluation-result-3744134-1338794362/solver-3744134-1338794362 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744134-1338794362.opb           

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

MD5SUM BENCH= 94b1451a4cda8c04cd1bd81816dea3d0
RANDOM SEED=902042701

node119.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.943
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.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.90
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.943
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:        26694404 kB
Buffers:          433672 kB
Cached:          3202208 kB
SwapCached:         1936 kB
Active:          3235504 kB
Inactive:        2094004 kB
Active(anon):    1689164 kB
Inactive(anon):     6616 kB
Active(file):    1546340 kB
Inactive(file):  2087388 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6344 kB
Writeback:             0 kB
AnonPages:       1699156 kB
Mapped:            20104 kB
Shmem:                 0 kB
Slab:             706724 kB
SReclaimable:     148492 kB
SUnreclaim:       558232 kB
KernelStack:        1600 kB
PageTables:         7504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1829796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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= 70888 MiB
End job on node119 at 2012-06-04 09:48:38