Trace number 3744248

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.77 1761.13

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_7_mh.opb
MD5SUM73423b295bfc925a3da39b38540ddf2d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7664353
Best CPU time to get the best result obtained on this benchmark1800.64
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 99252847
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 12981387185
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 99252847
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 12981387185
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3744248-1338796520.opb
0.07/0.11	c reading problem ... 
1.75/0.95	c ... done. Wall clock time 0.841s.
1.75/0.95	c CPU time (experimental) 0.92s.
1.75/0.95	c #vars     31350
1.75/0.95	c #constraints  74533
288.12/279.69	c cleaning 200674 clauses out of 401501 for limit 7.132226859200461E8
290.52/281.90	c cleaning 102367 clauses out of 204828 for limit 7.65603769927089E10
292.41/283.79	c cleaning 52654 clauses out of 105462 for limit 2.994106323306929E12
294.36/285.60	c cleaning 27616 clauses out of 55306 for limit 6.95026532086177E-7
295.91/287.15	c cleaning 15080 clauses out of 30191 for limit 1.554569281438079E-5
297.34/288.50	c cleaning 8732 clauses out of 17610 for limit 3.2476793744957836E-4
298.88/290.07	c cleaning 5606 clauses out of 11377 for limit 0.006125614587785595
300.56/291.64	c cleaning 4059 clauses out of 8272 for limit 0.10286813058116774
303.77/294.79	c cleaning 4764 clauses out of 9712 for limit 21.476472232942825
305.51/296.40	c cleaning 3902 clauses out of 7954 for limit 530.674750763616
306.94/297.80	c cleaning 3198 clauses out of 6549 for limit 7838.1743678082
308.49/299.35	c cleaning 3090 clauses out of 6349 for limit 162312.09465836125
310.35/301.13	c cleaning 3274 clauses out of 6759 for limit 5057838.665074395
311.80/302.59	c cleaning 2901 clauses out of 5984 for limit 6.961466810913198E7
313.43/304.19	c cleaning 2773 clauses out of 5585 for limit 9.116279311555369E8
314.71/305.32	c cleaning 2367 clauses out of 4810 for limit 7.813583336562112E9
317.28/307.85	c cleaning 3468 clauses out of 6943 for limit 4.883724343905406E11
318.64/309.13	c cleaning 2739 clauses out of 5479 for limit 4.595773352698233E12
320.08/310.58	c cleaning 2616 clauses out of 5239 for limit 5.856746516810648E13
321.22/311.62	c cleaning 2286 clauses out of 4620 for limit 4.897594939771414E14
322.64/313.04	c cleaning 2152 clauses out of 4338 for limit 3.8734404768065344E-5
324.17/314.51	c cleaning 2307 clauses out of 4687 for limit 4.377291083475079E-4
326.54/316.88	c cleaning 2892 clauses out of 5878 for limit 0.011555612894157236
327.88/318.13	c cleaning 2463 clauses out of 4985 for limit 0.10068074955901603
329.12/319.35	c cleaning 1976 clauses out of 4020 for limit 0.5588357578128497
330.45/320.62	c cleaning 1981 clauses out of 4045 for limit 4.111968453602285
331.79/321.95	c cleaning 1991 clauses out of 4063 for limit 30.248964626641882
332.84/322.96	c cleaning 1731 clauses out of 3573 for limit 154.4281586048086
334.17/324.29	c cleaning 1874 clauses out of 3841 for limit 1061.461479621661
631.03/614.97	c cleaning 244714 clauses out of 489470 for limit 5.577195081447833E-8
636.22/620.01	c cleaning 126595 clauses out of 253255 for limit 5.314953305731272E-4
643.40/627.02	c cleaning 70803 clauses out of 141658 for limit 3123.3737972626277
646.17/629.73	c cleaning 38137 clauses out of 76356 for limit 1423217.1488560599
647.60/631.13	c cleaning 20571 clauses out of 41221 for limit 5.313738274363206E7
649.15/632.64	c cleaning 11567 clauses out of 23147 for limit 1.1508000472264504E9
656.15/639.46	c cleaning 9512 clauses out of 19081 for limit 2.5360993810428833E12
657.38/640.62	c cleaning 6033 clauses out of 12071 for limit 4.89973518303188E13
658.53/641.78	c cleaning 4245 clauses out of 8535 for limit 8.427295691962085E-6
661.08/644.23	c cleaning 4617 clauses out of 9291 for limit 0.0011529824046435833
662.30/645.41	c cleaning 3555 clauses out of 7173 for limit 0.018198233461390323
663.34/646.46	c cleaning 2769 clauses out of 5618 for limit 0.1718588400443502
664.66/647.75	c cleaning 2405 clauses out of 4849 for limit 1.4727362442326584
666.02/649.06	c cleaning 2219 clauses out of 4447 for limit 11.913438110176488
667.47/650.46	c cleaning 1838 clauses out of 3725 for limit 63.597799775237625
668.70/651.68	c cleaning 2673 clauses out of 5392 for limit 1464.813225871494
670.05/652.96	c cleaning 3070 clauses out of 6214 for limit 41954.595415644464
671.48/654.33	c cleaning 3506 clauses out of 7144 for limit 1996440.799083431
672.62/655.49	c cleaning 3521 clauses out of 7138 for limit 6.628458595400911E7
674.06/656.87	c cleaning 4043 clauses out of 8117 for limit 5.258919567399084E9
675.51/658.21	c cleaning 4246 clauses out of 8574 for limit 4.4917086496990985E11
677.04/659.73	c cleaning 4602 clauses out of 9328 for limit 6.142786063128712E13
678.39/661.06	c cleaning 4596 clauses out of 9227 for limit 5.608295673913933E-5
678.58/661.22	c cleaning 2551 clauses out of 5131 for limit 1.663203134817152E-4
680.02/662.60	c cleaning 2983 clauses out of 6079 for limit 0.004652344470662706
681.44/664.05	c cleaning 3269 clauses out of 6597 for limit 0.14235844764939493
682.89/665.48	c cleaning 3369 clauses out of 6827 for limit 4.55886279887397
683.18/665.74	c cleaning 1932 clauses out of 3959 for limit 12.977508499367637
684.42/666.92	c cleaning 2970 clauses out of 6028 for limit 466.75092568568493
684.52/667.04	c cleaning 1733 clauses out of 3557 for limit 1303.1546007513514
686.06/668.56	c cleaning 3126 clauses out of 6327 for limit 66296.17782824027
687.41/669.85	c cleaning 3790 clauses out of 7697 for limit 4896996.286032179
687.51/669.99	c cleaning 2151 clauses out of 4407 for limit 1.4104707935487548E7
688.74/671.19	c cleaning 2814 clauses out of 5760 for limit 3.594296673463309E8
688.94/671.33	c cleaning 1717 clauses out of 3442 for limit 9.879691377768997E8
690.19/672.59	c cleaning 2603 clauses out of 5225 for limit 2.1590323942338905E10
690.39/672.73	c cleaning 1539 clauses out of 3122 for limit 5.958932166000186E10
691.63/673.99	c cleaning 2473 clauses out of 5084 for limit 1.2151265757041423E12
691.83/674.17	c cleaning 1551 clauses out of 3110 for limit 3.2725632373965166E12
693.26/675.51	c cleaning 2493 clauses out of 5059 for limit 6.67382732980785E13
694.60/676.86	c cleaning 2505 clauses out of 5067 for limit 8.135845411719013E-6
917.26/895.52	c cleaning 194006 clauses out of 388063 for limit 3.3960552816107654
923.94/902.12	c cleaning 100968 clauses out of 202055 for limit 19481.955843010608
933.45/911.33	c cleaning 55505 clauses out of 111087 for limit 7.844344498749429E8
936.14/913.96	c cleaning 29518 clauses out of 59082 for limit 4.8927825793900986E10
937.57/915.32	c cleaning 15516 clauses out of 31064 for limit 4.173701536608264E11
938.83/916.57	c cleaning 8991 clauses out of 18049 for limit 8.770807284919354E12
946.19/923.66	c cleaning 10009 clauses out of 20058 for limit 0.00475154231028187
948.76/926.14	c cleaning 7489 clauses out of 15048 for limit 0.9413861478999797
950.00/927.37	c cleaning 5250 clauses out of 10559 for limit 26.987280203881944
951.23/928.53	c cleaning 3856 clauses out of 7809 for limit 445.10853332594587
952.47/929.73	c cleaning 3191 clauses out of 6453 for limit 6570.207915869796
953.79/931.04	c cleaning 2604 clauses out of 5262 for limit 59595.50201937342
955.04/932.20	c cleaning 2047 clauses out of 4161 for limit 339029.7480001299
957.52/934.60	c cleaning 3260 clauses out of 6612 for limit 1.9210410147133294E7
958.57/935.61	c cleaning 2868 clauses out of 5851 for limit 2.6453571063573134E8
959.90/936.93	c cleaning 2710 clauses out of 5484 for limit 3.446124045658771E9
961.04/938.05	c cleaning 2385 clauses out of 4773 for limit 2.925674147696516E10
962.17/939.17	c cleaning 2170 clauses out of 4388 for limit 2.353825793777027E11
962.47/939.42	c cleaning 1355 clauses out of 2718 for limit 6.266822170069178E11
963.61/940.55	c cleaning 1670 clauses out of 3363 for limit 3.746221950912072E12
964.84/941.78	c cleaning 2096 clauses out of 4197 for limit 3.676197915981857E13
965.98/942.87	c cleaning 2258 clauses out of 4597 for limit 4.0776011017556506E14
967.19/944.09	c cleaning 2404 clauses out of 4839 for limit 4.725013510084037E-5
968.32/945.16	c cleaning 2188 clauses out of 4437 for limit 3.8191069420138866E-4
969.47/946.27	c cleaning 2073 clauses out of 4247 for limit 0.002945259135888127
970.69/947.44	c cleaning 2300 clauses out of 4674 for limit 0.03264348366125768
970.89/947.64	c cleaning 1397 clauses out of 2875 for limit 0.08760678797254756
971.94/948.65	c cleaning 1696 clauses out of 3477 for limit 0.5352540378335547
972.14/948.85	c cleaning 1100 clauses out of 2281 for limit 1.3455357606588163
973.16/949.82	c cleaning 1552 clauses out of 3181 for limit 7.136420117438929
974.28/950.97	c cleaning 2035 clauses out of 4132 for limit 67.21508241017479
975.73/952.34	c cleaning 2253 clauses out of 4594 for limit 735.2109338882034
976.98/953.55	c cleaning 2386 clauses out of 4843 for limit 8523.872355555884
978.33/954.87	c cleaning 2442 clauses out of 4961 for limit 101905.97809597515
979.45/955.96	c cleaning 2213 clauses out of 4516 for limit 825534.006880502
980.89/957.36	c cleaning 2363 clauses out of 4801 for limit 9452955.359362528
982.11/958.56	c cleaning 2425 clauses out of 4937 for limit 1.1201627048726493E8
982.31/958.78	c cleaning 1505 clauses out of 3012 for limit 3.0279252926504374E8
983.54/959.98	c cleaning 2004 clauses out of 4009 for limit 2.7804335839868197E9
984.89/961.23	c cleaning 2248 clauses out of 4503 for limit 3.013401820871038E10
986.04/962.34	c cleaning 2336 clauses out of 4755 for limit 3.480870826318141E11
986.25/962.55	c cleaning 1459 clauses out of 2919 for limit 9.351046581129755E11
987.28/963.60	c cleaning 1952 clauses out of 3960 for limit 8.407726280696216E12
988.72/964.98	c cleaning 2253 clauses out of 4508 for limit 9.008848387033789E13
989.77/965.97	c cleaning 2124 clauses out of 4255 for limit 7.059552447546865E14
989.97/966.18	c cleaning 1279 clauses out of 2633 for limit 1.8851711504502665E15
1282.38/1252.87	c cleaning 268396 clauses out of 536852 for limit 442723.965310242
1296.88/1267.18	c cleaning 140440 clauses out of 280956 for limit 2.284264924219229E11
1302.01/1272.25	c cleaning 71711 clauses out of 143517 for limit 9.004327209630576E12
1303.75/1273.91	c cleaning 37120 clauses out of 74305 for limit 2.1192466279812176E-6
1305.39/1275.55	c cleaning 19822 clauses out of 39685 for limit 4.84008055410428E-5
1311.04/1281.07	c cleaning 15622 clauses out of 31364 for limit 6.08649741860435
1312.48/1282.49	c cleaning 9316 clauses out of 18743 for limit 205.08297838000223
1313.92/1283.84	c cleaning 5913 clauses out of 11928 for limit 3934.73091493803
1316.72/1286.53	c cleaning 5443 clauses out of 11012 for limit 632225.1964337266
1317.85/1287.69	c cleaning 3729 clauses out of 7571 for limit 6815179.959353104
1319.19/1288.99	c cleaning 3115 clauses out of 6342 for limit 9.923931815424766E7
1320.44/1290.14	c cleaning 2550 clauses out of 5225 for limit 8.891565643528537E8
1322.61/1292.25	c cleaning 3280 clauses out of 6676 for limit 3.8109198392864204E10
1323.96/1293.58	c cleaning 2889 clauses out of 5896 for limit 5.263420915465485E11
1325.10/1294.64	c cleaning 2450 clauses out of 5006 for limit 4.580614755583463E12
1326.42/1295.93	c cleaning 2528 clauses out of 5056 for limit 5.532061286911409E13
1327.66/1297.12	c cleaning 2255 clauses out of 4528 for limit 4.5688950051033394E14
1328.89/1298.33	c cleaning 2377 clauses out of 4773 for limit 5.286954791395845E-5
1330.04/1299.44	c cleaning 2388 clauses out of 4896 for limit 6.286878352098615E-4
1331.48/1300.80	c cleaning 2693 clauses out of 5510 for limit 0.011259762054549356
1332.72/1302.08	c cleaning 2858 clauses out of 5817 for limit 0.21454434413212342
1335.42/1304.63	c cleaning 3931 clauses out of 7958 for limit 23.309693196524986
1336.65/1305.87	c cleaning 3209 clauses out of 6526 for limit 346.36846582013345
1337.97/1307.10	c cleaning 2850 clauses out of 5817 for limit 4739.862973559205
1339.20/1308.31	c cleaning 2678 clauses out of 5468 for limit 61567.3259617592
1340.45/1309.56	c cleaning 2833 clauses out of 5791 for limit 1170563.7376706833
1340.65/1309.74	c cleaning 1728 clauses out of 3456 for limit 3228209.868321224
1341.98/1311.04	c cleaning 2112 clauses out of 4228 for limit 3.2186959310310636E7
1343.00/1312.05	c cleaning 1995 clauses out of 4116 for limit 2.4454743477557626E8
1343.21/1312.28	c cleaning 1255 clauses out of 2621 for limit 6.333260381961138E8
1344.52/1313.53	c cleaning 1866 clauses out of 3866 for limit 5.237354247987079E9
1345.88/1314.81	c cleaning 2250 clauses out of 4500 for limit 5.488336374579231E10
1347.10/1316.03	c cleaning 2113 clauses out of 4251 for limit 4.301502598607588E11
1348.90/1317.77	c cleaning 2293 clauses out of 4637 for limit 4.80528468244634E12
1350.94/1319.75	c cleaning 2332 clauses out of 4845 for limit 5.615344215492473E13
1587.97/1552.97	c cleaning 144727 clauses out of 289517 for limit 4.7820408853618715E-4
1593.14/1558.02	c cleaning 75373 clauses out of 150786 for limit 0.37004874128839865
1595.77/1560.63	c cleaning 39424 clauses out of 78913 for limit 23.456467395779917
1598.13/1562.95	c cleaning 21708 clauses out of 43488 for limit 2326.2388802682003
1599.99/1564.72	c cleaning 12592 clauses out of 25280 for limit 132751.02549282776
1601.92/1566.67	c cleaning 8285 clauses out of 16688 for limit 1.1001648348744396E7
1603.68/1568.32	c cleaning 5636 clauses out of 11403 for limit 3.238756130666895E8
1605.21/1569.86	c cleaning 4558 clauses out of 9267 for limit 1.3220546816943117E10
1606.67/1571.24	c cleaning 3796 clauses out of 7709 for limit 3.19687649024113E11
1608.41/1572.97	c cleaning 3951 clauses out of 7916 for limit 1.7083181275959045E13
1610.05/1574.54	c cleaning 3699 clauses out of 7462 for limit 5.99386509451247E-6
1612.84/1577.22	c cleaning 4598 clauses out of 9263 for limit 0.0011847461380480619
1613.05/1577.47	c cleaning 2527 clauses out of 5167 for limit 0.003509646817313995
1614.59/1578.90	c cleaning 3025 clauses out of 6138 for limit 0.09781313478716042
1616.14/1580.41	c cleaning 3008 clauses out of 6115 for limit 1.9789368974723125
1616.34/1580.60	c cleaning 1746 clauses out of 3605 for limit 5.524716559121466
1617.70/1581.92	c cleaning 2135 clauses out of 4359 for limit 55.73241173614662
1619.33/1583.54	c cleaning 2580 clauses out of 5227 for limit 937.7370238111498
1620.97/1585.16	c cleaning 3030 clauses out of 6145 for limit 26407.89968526802
1621.17/1585.37	c cleaning 1763 clauses out of 3616 for limit 74082.85755553607
1622.60/1586.76	c cleaning 2387 clauses out of 4851 for limit 1108616.0746753456
1624.15/1588.24	c cleaning 2683 clauses out of 5468 for limit 1.986357019053503E7
1625.89/1589.91	c cleaning 3078 clauses out of 6281 for limit 5.713604617244515E8
1627.35/1591.31	c cleaning 2849 clauses out of 5703 for limit 7.675647833888681E9
1627.55/1591.59	c cleaning 1671 clauses out of 3357 for limit 2.1568825325544777E10
1629.08/1593.06	c cleaning 2336 clauses out of 4686 for limit 3.108213714590069E11
1630.70/1594.69	c cleaning 2877 clauses out of 5849 for limit 8.252551297485043E12
1632.33/1596.21	c cleaning 2972 clauses out of 5970 for limit 1.623161829832327E14
1634.08/1597.90	c cleaning 2982 clauses out of 6003 for limit 3.2634404329799655E-5
1635.45/1599.26	c cleaning 2964 clauses out of 6017 for limit 6.523209052915547E-4
1635.66/1599.48	c cleaning 1733 clauses out of 3553 for limit 0.0018218054117619595
1637.30/1601.03	c cleaning 2615 clauses out of 5319 for limit 0.040329598859019
1638.85/1602.59	c cleaning 3060 clauses out of 6204 for limit 1.147026132661154
1639.15/1602.80	c cleaning 1771 clauses out of 3644 for limit 3.2204949344139644
1640.49/1604.14	c cleaning 2651 clauses out of 5373 for limit 72.4561672435309
1640.69/1604.35	c cleaning 1563 clauses out of 3224 for limit 199.5363736636431
1641.96/1605.60	c cleaning 2027 clauses out of 4160 for limit 1884.3809318721435
1642.26/1605.81	c cleaning 1272 clauses out of 2634 for limit 4912.885694218634
1643.59/1607.15	c cleaning 2136 clauses out of 4360 for limit 59584.354604547516
1645.10/1608.68	c cleaning 2816 clauses out of 5724 for limit 1505602.4501455666
1646.43/1609.98	c cleaning 2955 clauses out of 5910 for limit 2.9391841883928515E7
1646.63/1610.19	c cleaning 1725 clauses out of 3453 for limit 8.279508734356764E7
1647.97/1611.48	c cleaning 2364 clauses out of 4729 for limit 1.2173113373113568E9
1648.16/1611.69	c cleaning 1427 clauses out of 2865 for limit 3.3136164802560654E9
1800.06/1761.12	c starts		: 24
1800.06/1761.12	c conflicts		: 2866565
1800.06/1761.12	c decisions		: 5821024
1800.06/1761.12	c propagations		: 705228686
1800.06/1761.12	c inspects		: 7127239923
1800.06/1761.12	c learnt literals	: 0
1800.06/1761.12	c learnt binary clauses	: 75
1800.06/1761.12	c learnt ternary clauses	: 50
1800.06/1761.12	c learnt clauses	: 2866565
1800.06/1761.12	c root simplifications	: 0
1800.06/1761.12	c removed literals (reason simplification)	: 0
1800.06/1761.12	c reason swapping (by a shorter reason)	: 0
1800.06/1761.12	c Calls to reduceDB	: 195
1800.06/1761.12	c speed (decisions/second)	: 3307.3361082797264
1800.06/1761.12	c non guided choices	1
1800.06/1761.12	s UNKNOWN
1800.06/1761.12	c Total wall clock time (ms): 1761.003

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

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

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


[startup+0 s]
/proc/loadavg: 1.90 2.01 1.99 3/194 20869
/proc/meminfo: memFree=25596692/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (java) D 20867 20869 17886 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345776856 9515008 183 33554432000 1073741824 1073778376 140735504154608 140735504145640 223651643061 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 2323 183 140 9 0 71 0

[startup+0.023289 s]
/proc/loadavg: 1.90 2.01 1.99 3/194 20869
/proc/meminfo: memFree=25596692/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=1880456 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 1880 0 1 0 0 0 0 0 20 0 2 0 345776856 1925586944 2070 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 470114 2070 942 9 0 461223 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1880456

[startup+0.100218 s]
/proc/loadavg: 1.90 2.01 1.99 3/194 20869
/proc/meminfo: memFree=25596692/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 4142 0 1 0 6 1 0 0 20 0 18 0 345776856 3028844544 5859 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300229 s]
/proc/loadavg: 1.90 2.01 1.99 3/194 20869
/proc/meminfo: memFree=25596692/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=2957856 CPUtime=0.45 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 5918 0 1 0 43 2 0 0 20 0 18 0 345776856 3028844544 10901 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 739464 10901 2238 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856

[startup+0.700244 s]
/proc/loadavg: 1.90 2.01 1.99 3/194 20869
/proc/meminfo: memFree=25596692/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=2957856 CPUtime=1.23 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 8901 0 1 0 119 4 0 0 20 0 18 0 345776856 3028844544 41115 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 739464 41115 2259 9 0 729885 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 2957856

[startup+1.50069 s]
/proc/loadavg: 1.90 2.01 1.99 5/212 20887
/proc/meminfo: memFree=25330040/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=3024420 CPUtime=2.88 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 16789 0 1 0 280 8 0 0 20 0 19 0 345776856 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 756105 85219 2279 9 0 746526 0
[pid=20869/tid=20871] ppid=20867 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/20869/task/20871/stat : 20871 (java) R 20867 20869 17886 0 -1 4202560 3180 0 1 0 140 6 0 0 20 0 19 0 345776857 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663891562728 139663764396820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20872/stat : 20872 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663757498792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20873/stat : 20873 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663756446248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20874/stat : 20874 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663755393192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20875/stat : 20875 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663754340648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20876/stat : 20876 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663753288616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20877/stat : 20877 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663752236072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20878] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20878/stat : 20878 (java) S 20867 20869 17886 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663751183016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20879] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20879/stat : 20879 (java) S 20867 20869 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663750130472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20880] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20880/stat : 20880 (java) S 20867 20869 17886 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345776860 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663267289448 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20881] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20881/stat : 20881 (java) S 20867 20869 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663266235768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20882] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20882/stat : 20882 (java) S 20867 20869 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663265182600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20883] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20883/stat : 20883 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663264131344 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20884] ppid=20867 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/20869/task/20884/stat : 20884 (java) S 20867 20869 17886 0 -1 4202560 4980 0 0 0 63 1 0 0 20 0 19 0 345776864 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663263079224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20885] ppid=20867 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/20869/task/20885/stat : 20885 (java) S 20867 20869 17886 0 -1 4202560 7433 0 0 0 73 2 0 0 20 0 19 0 345776864 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663262026680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20886] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20886/stat : 20886 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663260973816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20887] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20887/stat : 20887 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 85219 33554432000 1073741824 1073778376 140735334365904 139663259921480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 1.90 2.01 1.99 3/213 20888
/proc/meminfo: memFree=25127956/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=3024420 CPUtime=4.68 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 16966 0 1 0 453 15 0 0 20 0 19 0 345776856 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 756105 125188 2292 9 0 746526 0
[pid=20869/tid=20871] ppid=20867 vsize=3024420 CPUtime=3.01 cores=0,2,4,6
/proc/20869/task/20871/stat : 20871 (java) R 20867 20869 17886 0 -1 4202560 3240 0 1 0 293 8 0 0 20 0 19 0 345776857 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663891561816 139663764235480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20872/stat : 20872 (java) S 20867 20869 17886 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663757498792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/20869/task/20873/stat : 20873 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663756446248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/20869/task/20874/stat : 20874 (java) S 20867 20869 17886 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663755393192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/20869/task/20875/stat : 20875 (java) S 20867 20869 17886 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663754340648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/20869/task/20876/stat : 20876 (java) S 20867 20869 17886 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663753288616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/20869/task/20877/stat : 20877 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663752236072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20878] ppid=20867 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/20869/task/20878/stat : 20878 (java) S 20867 20869 17886 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663751183016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20879] ppid=20867 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/20869/task/20879/stat : 20879 (java) S 20867 20869 17886 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 345776859 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663750130472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20880] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20880/stat : 20880 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776860 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663267289448 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20881] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20881/stat : 20881 (java) S 20867 20869 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663266235768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20882] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20882/stat : 20882 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663265182600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20883] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20883/stat : 20883 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663264131344 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20884] ppid=20867 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/20869/task/20884/stat : 20884 (java) S 20867 20869 17886 0 -1 4202560 4980 0 0 0 63 1 0 0 20 0 19 0 345776864 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663263079224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20885] ppid=20867 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/20869/task/20885/stat : 20885 (java) S 20867 20869 17886 0 -1 4202560 7433 0 0 0 77 2 0 0 20 0 19 0 345776864 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663262026680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20886] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20886/stat : 20886 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663260973816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20887] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20887/stat : 20887 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663259921480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20888] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20888/stat : 20888 (java) S 20867 20869 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345776965 3097006080 125188 33554432000 1073741824 1073778376 140735334365904 139663257789480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 3024420

[startup+6.30073 s]
/proc/loadavg: 1.90 2.01 1.99 3/213 20888
/proc/meminfo: memFree=25100276/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=3024420 CPUtime=8.01 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 16986 0 1 0 785 16 0 0 20 0 19 0 345776856 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 756105 125273 2292 9 0 746526 0
[pid=20869/tid=20871] ppid=20867 vsize=3024420 CPUtime=6.16 cores=0,2,4,6
/proc/20869/task/20871/stat : 20871 (java) R 20867 20869 17886 0 -1 4202560 3243 0 1 0 608 8 0 0 20 0 19 0 345776857 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663891561696 139663764372939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/20869/task/20872/stat : 20872 (java) S 20867 20869 17886 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663757498792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/20869/task/20873/stat : 20873 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663756446248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/20869/task/20874/stat : 20874 (java) S 20867 20869 17886 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663755393192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/20869/task/20875/stat : 20875 (java) S 20867 20869 17886 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663754340648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/20869/task/20876/stat : 20876 (java) S 20867 20869 17886 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663753288616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/20869/task/20877/stat : 20877 (java) S 20867 20869 17886 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663752236072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20878] ppid=20867 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/20869/task/20878/stat : 20878 (java) S 20867 20869 17886 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663751183016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20879] ppid=20867 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/20869/task/20879/stat : 20879 (java) S 20867 20869 17886 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 345776859 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663750130472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20880] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20880/stat : 20880 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776860 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663267289448 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20881] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20881/stat : 20881 (java) S 20867 20869 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663266235768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20882] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20882/stat : 20882 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663265182600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20883] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20883/stat : 20883 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663264131344 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20884] ppid=20867 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/20869/task/20884/stat : 20884 (java) S 20867 20869 17886 0 -1 4202560 4980 0 0 0 63 1 0 0 20 0 19 0 345776864 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663263079224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20885] ppid=20867 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/20869/task/20885/stat : 20885 (java) S 20867 20869 17886 0 -1 4202560 7433 0 0 0 78 2 0 0 20 0 19 0 345776864 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663262026680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20886] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20886/stat : 20886 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663260973816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20887] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20887/stat : 20887 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663259921480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20888] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20888/stat : 20888 (java) S 20867 20869 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345776965 3097006080 125273 33554432000 1073741824 1073778376 140735334365904 139663257789480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 2.31 2.09 2.02 3/213 20888
/proc/meminfo: memFree=24999468/32873844 swapFree=7628/7628

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

[pid=20869/tid=20877] ppid=20867 vsize=3024420 CPUtime=6.41 cores=0,2,4,6
/proc/20869/task/20877/stat : 20877 (java) S 20867 20869 17886 0 -1 4202560 512 0 0 0 624 17 0 0 20 0 19 0 345776859 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663752236072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20878] ppid=20867 vsize=3024420 CPUtime=6.38 cores=0,2,4,6
/proc/20869/task/20878/stat : 20878 (java) S 20867 20869 17886 0 -1 4202560 540 0 0 0 618 20 0 0 20 0 19 0 345776859 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663751183016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20879] ppid=20867 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/20869/task/20879/stat : 20879 (java) S 20867 20869 17886 0 -1 4202560 469 0 0 0 608 18 0 0 20 0 19 0 345776859 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663750130472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20880] ppid=20867 vsize=3024420 CPUtime=1.27 cores=0,2,4,6
/proc/20869/task/20880/stat : 20880 (java) S 20867 20869 17886 0 -1 4202560 1149 0 0 0 122 5 0 0 20 0 19 0 345776860 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663267289448 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20881] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20881/stat : 20881 (java) S 20867 20869 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663266235768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20882] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20882/stat : 20882 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663265182600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20883] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20883/stat : 20883 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663264131344 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20884] ppid=20867 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/20869/task/20884/stat : 20884 (java) S 20867 20869 17886 0 -1 4202560 4985 0 0 0 71 1 0 0 20 0 19 0 345776864 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663263079224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20885] ppid=20867 vsize=3024420 CPUtime=0.86 cores=0,2,4,6
/proc/20869/task/20885/stat : 20885 (java) S 20867 20869 17886 0 -1 4202560 7442 0 0 0 84 2 0 0 20 0 19 0 345776864 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663262026680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20886] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20886/stat : 20886 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663260973816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20887] ppid=20867 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/20869/task/20887/stat : 20887 (java) S 20867 20869 17886 0 -1 4202560 93 0 0 0 35 30 0 0 20 0 19 0 345776864 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663259921480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20888] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20888/stat : 20888 (java) S 20867 20869 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345776965 3097006080 422188 33554432000 1073741824 1073778376 140735334365904 139663257789480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1699.74
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/212 20989
/proc/meminfo: memFree=23245828/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=3024420 CPUtime=1760.57 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 22963 0 1 0 175869 188 0 0 20 0 19 0 345776856 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 756105 422230 2308 9 0 746526 0
[pid=20869/tid=20871] ppid=20867 vsize=3024420 CPUtime=1705.58 cores=0,2,4,6
/proc/20869/task/20871/stat : 20871 (java) R 20867 20869 17886 0 -1 4202560 4216 0 1 0 170519 39 0 0 20 0 19 0 345776857 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663891561696 139663764309795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=3024420 CPUtime=6.36 cores=0,2,4,6
/proc/20869/task/20872/stat : 20872 (java) S 20867 20869 17886 0 -1 4202560 465 0 0 0 621 15 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663757498792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=3024420 CPUtime=6.69 cores=0,2,4,6
/proc/20869/task/20873/stat : 20873 (java) S 20867 20869 17886 0 -1 4202560 458 0 0 0 653 16 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663756446248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=3024420 CPUtime=6.54 cores=0,2,4,6
/proc/20869/task/20874/stat : 20874 (java) S 20867 20869 17886 0 -1 4202560 477 0 0 0 636 18 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663755393192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/20869/task/20875/stat : 20875 (java) S 20867 20869 17886 0 -1 4202560 481 0 0 0 607 16 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663754340648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/20869/task/20876/stat : 20876 (java) S 20867 20869 17886 0 -1 4202560 471 0 0 0 645 15 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663753288616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=3024420 CPUtime=6.54 cores=0,2,4,6
/proc/20869/task/20877/stat : 20877 (java) S 20867 20869 17886 0 -1 4202560 516 0 0 0 637 17 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663752236072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20878] ppid=20867 vsize=3024420 CPUtime=6.51 cores=0,2,4,6
/proc/20869/task/20878/stat : 20878 (java) S 20867 20869 17886 0 -1 4202560 544 0 0 0 631 20 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663751183016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20879] ppid=20867 vsize=3024420 CPUtime=6.43 cores=0,2,4,6
/proc/20869/task/20879/stat : 20879 (java) S 20867 20869 17886 0 -1 4202560 475 0 0 0 625 18 0 0 20 0 19 0 345776859 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663750130472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20880] ppid=20867 vsize=3024420 CPUtime=1.27 cores=0,2,4,6
/proc/20869/task/20880/stat : 20880 (java) S 20867 20869 17886 0 -1 4202560 1153 0 0 0 122 5 0 0 20 0 19 0 345776860 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663267289448 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20881] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20881/stat : 20881 (java) S 20867 20869 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663266235768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20882] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20882/stat : 20882 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663265182600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20883] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20883/stat : 20883 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663264131344 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20884] ppid=20867 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/20869/task/20884/stat : 20884 (java) S 20867 20869 17886 0 -1 4202560 4985 0 0 0 71 1 0 0 20 0 19 0 345776864 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663263079224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20885] ppid=20867 vsize=3024420 CPUtime=0.86 cores=0,2,4,6
/proc/20869/task/20885/stat : 20885 (java) S 20867 20869 17886 0 -1 4202560 7442 0 0 0 84 2 0 0 20 0 19 0 345776864 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663262026680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20886] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20886/stat : 20886 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663260973816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20887] ppid=20867 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/20869/task/20887/stat : 20887 (java) S 20867 20869 17886 0 -1 4202560 97 0 0 0 36 31 0 0 20 0 19 0 345776864 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663259921480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20888] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20888/stat : 20888 (java) S 20867 20869 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345776965 3097006080 422230 33554432000 1073741824 1073778376 140735334365904 139663257789480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1761.11 s]
/proc/loadavg: 2.01 2.06 2.02 3/213 20990
/proc/meminfo: memFree=23114128/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=3024420 CPUtime=1800.06 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 22990 0 1 0 179816 190 0 0 20 0 19 0 345776856 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 756105 422239 2308 9 0 746526 0
[pid=20869/tid=20871] ppid=20867 vsize=3024420 CPUtime=1744.13 cores=0,2,4,6
/proc/20869/task/20871/stat : 20871 (java) R 20867 20869 17886 0 -1 4202560 4230 0 1 0 174372 41 0 0 20 0 19 0 345776857 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663891561696 139663764361200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=3024420 CPUtime=6.51 cores=0,2,4,6
/proc/20869/task/20872/stat : 20872 (java) S 20867 20869 17886 0 -1 4202560 465 0 0 0 636 15 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663757498792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=3024420 CPUtime=6.8 cores=0,2,4,6
/proc/20869/task/20873/stat : 20873 (java) S 20867 20869 17886 0 -1 4202560 464 0 0 0 664 16 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663756446248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=3024420 CPUtime=6.67 cores=0,2,4,6
/proc/20869/task/20874/stat : 20874 (java) S 20867 20869 17886 0 -1 4202560 477 0 0 0 649 18 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663755393192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=3024420 CPUtime=6.34 cores=0,2,4,6
/proc/20869/task/20875/stat : 20875 (java) S 20867 20869 17886 0 -1 4202560 482 0 0 0 618 16 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663754340648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=3024420 CPUtime=6.7 cores=0,2,4,6
/proc/20869/task/20876/stat : 20876 (java) S 20867 20869 17886 0 -1 4202560 471 0 0 0 655 15 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663753288616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=3024420 CPUtime=6.64 cores=0,2,4,6
/proc/20869/task/20877/stat : 20877 (java) S 20867 20869 17886 0 -1 4202560 517 0 0 0 647 17 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663752236072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20878] ppid=20867 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/20869/task/20878/stat : 20878 (java) S 20867 20869 17886 0 -1 4202560 545 0 0 0 640 20 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663751183016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20879] ppid=20867 vsize=3024420 CPUtime=6.57 cores=0,2,4,6
/proc/20869/task/20879/stat : 20879 (java) S 20867 20869 17886 0 -1 4202560 475 0 0 0 639 18 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663750130472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20880] ppid=20867 vsize=3024420 CPUtime=1.28 cores=0,2,4,6
/proc/20869/task/20880/stat : 20880 (java) S 20867 20869 17886 0 -1 4202560 1155 0 0 0 123 5 0 0 20 0 19 0 345776860 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663267289448 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20881] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20881/stat : 20881 (java) S 20867 20869 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663266235768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20882] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20882/stat : 20882 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663265182600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20883] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20883/stat : 20883 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663264131344 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20884] ppid=20867 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/20869/task/20884/stat : 20884 (java) S 20867 20869 17886 0 -1 4202560 4985 0 0 0 71 1 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663263079224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20885] ppid=20867 vsize=3024420 CPUtime=0.86 cores=0,2,4,6
/proc/20869/task/20885/stat : 20885 (java) S 20867 20869 17886 0 -1 4202560 7442 0 0 0 84 2 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663262026680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20886] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20886/stat : 20886 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663260973816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20887] ppid=20867 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/20869/task/20887/stat : 20887 (java) S 20867 20869 17886 0 -1 4202560 99 0 0 0 37 31 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663259921480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20888] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20888/stat : 20888 (java) S 20867 20869 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345776965 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663257789480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 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+1761.11 s]
/proc/loadavg: 2.01 2.06 2.02 3/213 20990
/proc/meminfo: memFree=23114128/32873844 swapFree=7628/7628
[pid=20869] ppid=20867 vsize=3024420 CPUtime=1800.06 cores=0,2,4,6
/proc/20869/stat : 20869 (java) S 20867 20869 17886 0 -1 4202496 22990 0 1 0 179816 190 0 0 20 0 19 0 345776856 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 140735334357040 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 756105 422239 2308 9 0 746526 0
[pid=20869/tid=20871] ppid=20867 vsize=3024420 CPUtime=1744.13 cores=0,2,4,6
/proc/20869/task/20871/stat : 20871 (java) R 20867 20869 17886 0 -1 4202560 4230 0 1 0 174372 41 0 0 20 0 19 0 345776857 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663891561696 139663764361200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20872] ppid=20867 vsize=3024420 CPUtime=6.51 cores=0,2,4,6
/proc/20869/task/20872/stat : 20872 (java) S 20867 20869 17886 0 -1 4202560 465 0 0 0 636 15 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663757498792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20873] ppid=20867 vsize=3024420 CPUtime=6.8 cores=0,2,4,6
/proc/20869/task/20873/stat : 20873 (java) S 20867 20869 17886 0 -1 4202560 464 0 0 0 664 16 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663756446248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20874] ppid=20867 vsize=3024420 CPUtime=6.67 cores=0,2,4,6
/proc/20869/task/20874/stat : 20874 (java) S 20867 20869 17886 0 -1 4202560 477 0 0 0 649 18 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663755393192 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20875] ppid=20867 vsize=3024420 CPUtime=6.34 cores=0,2,4,6
/proc/20869/task/20875/stat : 20875 (java) S 20867 20869 17886 0 -1 4202560 482 0 0 0 618 16 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663754340648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20876] ppid=20867 vsize=3024420 CPUtime=6.7 cores=0,2,4,6
/proc/20869/task/20876/stat : 20876 (java) S 20867 20869 17886 0 -1 4202560 471 0 0 0 655 15 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663753288616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20877] ppid=20867 vsize=3024420 CPUtime=6.64 cores=0,2,4,6
/proc/20869/task/20877/stat : 20877 (java) S 20867 20869 17886 0 -1 4202560 517 0 0 0 647 17 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663752236072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20878] ppid=20867 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/20869/task/20878/stat : 20878 (java) S 20867 20869 17886 0 -1 4202560 545 0 0 0 640 20 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663751183016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20879] ppid=20867 vsize=3024420 CPUtime=6.57 cores=0,2,4,6
/proc/20869/task/20879/stat : 20879 (java) S 20867 20869 17886 0 -1 4202560 475 0 0 0 639 18 0 0 20 0 19 0 345776859 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663750130472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20880] ppid=20867 vsize=3024420 CPUtime=1.28 cores=0,2,4,6
/proc/20869/task/20880/stat : 20880 (java) S 20867 20869 17886 0 -1 4202560 1155 0 0 0 123 5 0 0 20 0 19 0 345776860 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663267289448 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20881] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20881/stat : 20881 (java) S 20867 20869 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663266235768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20882] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20882/stat : 20882 (java) S 20867 20869 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345776861 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663265182600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20883] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20883/stat : 20883 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663264131344 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20869/tid=20884] ppid=20867 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/20869/task/20884/stat : 20884 (java) S 20867 20869 17886 0 -1 4202560 4985 0 0 0 71 1 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663263079224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20869/tid=20885] ppid=20867 vsize=3024420 CPUtime=0.86 cores=0,2,4,6
/proc/20869/task/20885/stat : 20885 (java) S 20867 20869 17886 0 -1 4202560 7442 0 0 0 84 2 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663262026680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20886] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20886/stat : 20886 (java) S 20867 20869 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663260973816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20869/tid=20887] ppid=20867 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/20869/task/20887/stat : 20887 (java) S 20867 20869 17886 0 -1 4202560 99 0 0 0 37 31 0 0 20 0 19 0 345776864 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663259921480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20869/tid=20888] ppid=20867 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20869/task/20888/stat : 20888 (java) S 20867 20869 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345776965 3097006080 422239 33554432000 1073741824 1073778376 140735334365904 139663257789480 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1761.13
CPU time (s): 1800.77
CPU user time (s): 1798.48
CPU system time (s): 2.29365
CPU usage (%): 102.251
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 2.29365
maximum resident set size= 1691584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23021
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= 67346
involuntary context switches= 116768

runsolver used 6.22005 second user time and 14.7928 second system time

The end

Launcher Data

Begin job on node144 at 2012-06-04 09:55:20
IDJOB=3744248
IDBENCH=92713
IDSOLVER=2319
FILE ID=node144/3744248-1338796520
RUNJOBID= node144-1338765348-17902
PBS_JOBID= 14636814
Free space on /tmp= 70804 MiB

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

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

MD5SUM BENCH= 73423b295bfc925a3da39b38540ddf2d
RANDOM SEED=217323618

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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:        25596956 kB
Buffers:         1725352 kB
Cached:          3814572 kB
SwapCached:          464 kB
Active:          4423480 kB
Inactive:        1966356 kB
Active(anon):     830448 kB
Inactive(anon):    11188 kB
Active(file):    3593032 kB
Inactive(file):  1955168 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              6248 kB
Writeback:             0 kB
AnonPages:        848032 kB
Mapped:            22536 kB
Shmem:               172 kB
Slab:             743284 kB
SReclaimable:     185152 kB
SUnreclaim:       558132 kB
KernelStack:        1600 kB
PageTables:         5836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    792576 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= 70824 MiB
End job on node144 at 2012-06-04 10:24:43