Trace number 3742054

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31? (TO) 1800.05 921.759

General information on the benchmark

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

Solver Data

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.2.0.v20100531
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		1349517296
0.05/0.08	c Max memory 		1356595200
0.05/0.08	c Total memory 		1356595200
0.05/0.08	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization
0.08/0.11	c ManyCore solver with 2 solvers running in parallel
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c Expensive reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	
0.08/0.11	c solving HOME/instance-3742054-1338784851.opb
0.08/0.11	c reading problem ... 
0.77/0.45	c ... done. Wall clock time 0.332s.
0.77/0.45	c #vars     6052
0.77/0.45	c #constraints  6232
0.77/0.45	c constraints type 
0.77/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4997
0.77/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 89
0.77/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1144
0.77/0.45	c constraints type 
0.77/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1144
0.77/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4997
0.77/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 89
4.96/1.94	c cleaning 2489 clauses out of 4993 with flag 5000/5000
8.14/3.46	c cleaning 4217 clauses out of 8493 with flag 11000/11000
11.98/5.40	c cleaning 5602 clauses out of 11270 with flag 18001/18001
16.59/7.68	c cleaning 6787 clauses out of 13666 with flag 26001/26001
22.41/10.50	c cleaning 7864 clauses out of 15872 with flag 35000/35000
28.42/13.51	c cleaning 8897 clauses out of 18003 with flag 45001/45001
36.90/17.71	c cleaning 9476 clauses out of 19105 with flag 55001/55001
42.08/20.36	c cleaning 9728 clauses out of 19623 with flag 65000/65000
54.43/26.57	c cleaning 9642 clauses out of 19889 with flag 75000/75000
64.04/31.34	c cleaning 10020 clauses out of 20247 with flag 85000/85000
70.18/34.45	c cleaning 9977 clauses out of 20226 with flag 95001/95001
76.97/37.88	c cleaning 9998 clauses out of 20249 with flag 105001/105001
84.45/41.66	c cleaning 10125 clauses out of 20249 with flag 115000/115000
92.01/45.40	c cleaning 9944 clauses out of 20125 with flag 125001/125001
98.19/48.53	c cleaning 9976 clauses out of 20180 with flag 135000/135000
106.94/52.90	c cleaning 10014 clauses out of 20203 with flag 145001/145001
114.61/56.86	c cleaning 10039 clauses out of 20187 with flag 155001/155001
125.96/62.57	c cleaning 9817 clauses out of 20147 with flag 165000/165000
139.53/69.37	c cleaning 10037 clauses out of 20329 with flag 175000/175000
150.88/75.03	c cleaning 9942 clauses out of 20292 with flag 185000/185000
158.76/79.04	c cleaning 10129 clauses out of 20350 with flag 195002/195002
164.90/82.15	c cleaning 9999 clauses out of 20220 with flag 205001/205001
171.83/85.65	c cleaning 10075 clauses out of 20220 with flag 215001/215001
178.37/88.93	c cleaning 9449 clauses out of 20145 with flag 225001/225001
192.05/95.88	c cleaning 9578 clauses out of 20697 with flag 235003/235003
197.97/98.80	c cleaning 9454 clauses out of 21117 with flag 245001/245001
204.71/102.25	c cleaning 9597 clauses out of 21662 with flag 255001/255001
212.60/106.29	c cleaning 9650 clauses out of 22066 with flag 265004/265004
220.83/110.46	c cleaning 9746 clauses out of 22414 with flag 275002/275002
228.33/114.21	c cleaning 9503 clauses out of 22662 with flag 285000/285000
244.05/122.16	c cleaning 9602 clauses out of 23160 with flag 295001/295001
262.83/131.59	c cleaning 9734 clauses out of 23559 with flag 305002/305002
278.05/139.23	c cleaning 9916 clauses out of 23823 with flag 315000/315000
284.13/142.32	c cleaning 9467 clauses out of 23908 with flag 325001/325001
293.66/147.12	c cleaning 9781 clauses out of 24439 with flag 335000/335000
303.56/152.12	c cleaning 9617 clauses out of 24658 with flag 345001/345001
316.76/158.83	c cleaning 9664 clauses out of 25042 with flag 355002/355002
326.83/163.95	c cleaning 9711 clauses out of 25377 with flag 365001/365001
338.73/169.96	c cleaning 9788 clauses out of 25665 with flag 375000/375000
347.02/174.19	c cleaning 9622 clauses out of 25877 with flag 385001/385001
370.61/186.03	c cleaning 9794 clauses out of 26255 with flag 395001/395001
390.32/195.90	c cleaning 9847 clauses out of 26463 with flag 405003/405003
397.57/199.65	c cleaning 9549 clauses out of 26613 with flag 415000/415000
404.20/203.04	c cleaning 9485 clauses out of 27064 with flag 425001/425001
413.92/208.05	c cleaning 9830 clauses out of 27578 with flag 435000/435000
425.44/213.89	c cleaning 9605 clauses out of 27749 with flag 445001/445001
437.73/220.09	c cleaning 9812 clauses out of 28143 with flag 455000/455000
444.72/223.69	c cleaning 9371 clauses out of 28330 with flag 465000/465000
456.04/229.45	c cleaning 9508 clauses out of 28960 with flag 475001/475001
459.42/231.26	c cleaning 0 clauses out of 5004 with flag 0/5004
473.49/238.26	c cleaning 9761 clauses out of 29452 with flag 485001/485001
488.86/245.91	c cleaning 9925 clauses out of 29690 with flag 495000/495000
498.11/250.79	c cleaning 9855 clauses out of 29765 with flag 505000/505000
506.49/255.03	c cleaning 9623 clauses out of 29909 with flag 515000/515000
514.87/259.30	c cleaning 9707 clauses out of 30286 with flag 525000/525000
523.50/263.73	c cleaning 9685 clauses out of 30578 with flag 535000/535000
538.33/271.32	c cleaning 9603 clauses out of 30895 with flag 545002/545002
545.94/275.27	c cleaning 9626 clauses out of 31290 with flag 555000/555000
553.92/279.34	c cleaning 9717 clauses out of 31666 with flag 565002/565002
574.39/289.69	c cleaning 9699 clauses out of 31947 with flag 575000/575000
587.80/296.53	c cleaning 9813 clauses out of 32249 with flag 585001/585001
596.39/300.95	c cleaning 9624 clauses out of 32435 with flag 595000/595000
605.38/305.54	c cleaning 9408 clauses out of 32812 with flag 605001/605001
615.75/310.81	c cleaning 9981 clauses out of 33409 with flag 615006/615006
622.99/314.67	c cleaning 9438 clauses out of 33423 with flag 625001/625001
639.56/323.09	c cleaning 9817 clauses out of 33985 with flag 635001/635001
651.13/328.91	c cleaning 9748 clauses out of 34167 with flag 645000/645000
664.92/335.91	c cleaning 9739 clauses out of 34419 with flag 655000/655000
678.53/342.92	c cleaning 9732 clauses out of 34680 with flag 665000/665000
687.88/347.77	c cleaning 9879 clauses out of 34949 with flag 675001/675001
695.22/351.54	c cleaning 9679 clauses out of 35070 with flag 685001/685001
705.85/356.93	c cleaning 9828 clauses out of 35392 with flag 695002/695002
713.41/360.98	c cleaning 9617 clauses out of 35564 with flag 705002/705002
720.18/364.40	c cleaning 9567 clauses out of 35949 with flag 715005/715005
730.55/369.78	c cleaning 9678 clauses out of 36378 with flag 725001/725001
738.28/373.74	c cleaning 10003 clauses out of 36699 with flag 735000/735000
745.60/377.60	c cleaning 9559 clauses out of 36696 with flag 745000/745000
757.80/383.90	c cleaning 9701 clauses out of 37138 with flag 755001/755001
766.74/388.42	c cleaning 9692 clauses out of 37435 with flag 765000/765000
777.52/393.99	c cleaning 9685 clauses out of 37748 with flag 775005/775005
788.70/399.76	c cleaning 9910 clauses out of 38058 with flag 785000/785000
796.63/403.83	c cleaning 9645 clauses out of 38148 with flag 795000/795000
804.56/407.97	c cleaning 9703 clauses out of 38503 with flag 805000/805000
819.13/415.35	c cleaning 9900 clauses out of 38800 with flag 815000/815000
826.83/419.40	c cleaning 9652 clauses out of 38901 with flag 825001/825001
835.38/423.85	c cleaning 9726 clauses out of 39249 with flag 835001/835001
845.32/428.91	c cleaning 9726 clauses out of 39523 with flag 845002/845002
860.04/436.49	c cleaning 9682 clauses out of 39795 with flag 855000/855000
868.77/441.02	c cleaning 9619 clauses out of 40113 with flag 865000/865000
883.92/448.74	c cleaning 9728 clauses out of 40494 with flag 875000/875000
899.90/456.86	c cleaning 9761 clauses out of 40766 with flag 885000/885000
915.46/464.77	c cleaning 9762 clauses out of 41007 with flag 895002/895002
935.02/474.79	c cleaning 9844 clauses out of 41244 with flag 905001/905001
957.38/486.06	c cleaning 9777 clauses out of 41399 with flag 915000/915000
965.30/490.16	c cleaning 9797 clauses out of 41624 with flag 925002/925002
974.19/494.71	c cleaning 9677 clauses out of 41824 with flag 935000/935000
986.56/501.14	c cleaning 9890 clauses out of 42147 with flag 945000/945000
998.29/507.17	c cleaning 9817 clauses out of 42259 with flag 955002/955002
1011.84/514.01	c cleaning 9946 clauses out of 42446 with flag 965006/965006
1025.81/521.14	c cleaning 9915 clauses out of 42496 with flag 975002/975002
1040.95/528.93	c cleaning 9928 clauses out of 42579 with flag 985000/985000
1056.10/536.67	c cleaning 9914 clauses out of 42652 with flag 995001/995001
1065.19/541.37	c cleaning 9894 clauses out of 42736 with flag 1005000/1005000
1075.70/546.71	c cleaning 9516 clauses out of 42843 with flag 1015001/1015001
1082.56/550.41	c cleaning 9775 clauses out of 43326 with flag 1025000/1025000
1090.66/554.67	c cleaning 9788 clauses out of 43552 with flag 1035001/1035001
1098.55/558.78	c cleaning 9784 clauses out of 43764 with flag 1045001/1045001
1108.68/563.91	c cleaning 9621 clauses out of 43979 with flag 1055000/1055000
1121.23/570.42	c cleaning 9740 clauses out of 44358 with flag 1065000/1065000
1128.09/574.04	c cleaning 9811 clauses out of 44618 with flag 1075000/1075000
1137.80/579.09	c cleaning 9717 clauses out of 44807 with flag 1085000/1085000
1146.89/583.77	c cleaning 9843 clauses out of 45091 with flag 1095001/1095001
1153.97/587.59	c cleaning 9967 clauses out of 45248 with flag 1105001/1105001
1161.87/591.65	c cleaning 9577 clauses out of 45282 with flag 1115003/1115003
1171.14/596.40	c cleaning 9673 clauses out of 45701 with flag 1125000/1125000
1178.82/600.40	c cleaning 9566 clauses out of 46028 with flag 1135000/1135000
1187.83/605.25	c cleaning 9831 clauses out of 46462 with flag 1145000/1145000
1194.13/608.58	c cleaning 9496 clauses out of 46631 with flag 1155000/1155000
1204.82/614.00	c cleaning 9725 clauses out of 47135 with flag 1165000/1165000
1218.90/621.27	c cleaning 9606 clauses out of 47410 with flag 1175000/1175000
1230.33/627.26	c cleaning 9575 clauses out of 47804 with flag 1185000/1185000
1243.04/633.75	c cleaning 9907 clauses out of 48230 with flag 1195001/1195001
1250.28/637.59	c cleaning 9737 clauses out of 48321 with flag 1205000/1205000
1259.22/642.12	c cleaning 9776 clauses out of 48584 with flag 1215000/1215000
1268.24/646.93	c cleaning 9834 clauses out of 48808 with flag 1225000/1225000
1276.31/651.17	c cleaning 9807 clauses out of 48977 with flag 1235003/1235003
1283.37/654.84	c cleaning 9862 clauses out of 49169 with flag 1245002/1245002
1297.29/661.98	c cleaning 9696 clauses out of 49305 with flag 1255000/1255000
1320.88/673.97	c cleaning 9801 clauses out of 49609 with flag 1265000/1265000
1334.62/680.97	c cleaning 9711 clauses out of 49808 with flag 1275002/1275002
1342.66/685.14	c cleaning 9631 clauses out of 50094 with flag 1285000/1285000
1353.21/690.56	c cleaning 9779 clauses out of 50463 with flag 1295000/1295000
1365.45/696.98	c cleaning 9791 clauses out of 50684 with flag 1305000/1305000
1377.31/703.02	c cleaning 9686 clauses out of 50893 with flag 1315000/1315000
1389.41/709.23	c cleaning 9791 clauses out of 51208 with flag 1325001/1325001
1400.29/714.85	c cleaning 9745 clauses out of 51419 with flag 1335003/1335003
1407.85/718.97	c cleaning 9796 clauses out of 51671 with flag 1345000/1345000
1428.60/729.41	c cleaning 9459 clauses out of 51876 with flag 1355001/1355001
1443.31/736.95	c cleaning 9628 clauses out of 52416 with flag 1365000/1365000
1460.49/745.61	c cleaning 9708 clauses out of 52788 with flag 1375000/1375000
1477.24/754.30	c cleaning 9578 clauses out of 53082 with flag 1385002/1385002
1496.37/764.04	c cleaning 9839 clauses out of 53507 with flag 1395005/1395005
1518.07/775.02	c cleaning 9826 clauses out of 53663 with flag 1405000/1405000
1530.31/781.34	c cleaning 9716 clauses out of 53838 with flag 1415001/1415001
1543.50/788.20	c cleaning 9843 clauses out of 54121 with flag 1425000/1425000
1557.53/795.49	c cleaning 9822 clauses out of 54279 with flag 1435001/1435001
1570.40/802.01	c cleaning 9836 clauses out of 54459 with flag 1445003/1445003
1584.22/809.13	c cleaning 9729 clauses out of 54620 with flag 1455000/1455000
1595.17/814.93	c cleaning 9754 clauses out of 54893 with flag 1465003/1465003
1607.84/821.46	c cleaning 9782 clauses out of 55138 with flag 1475002/1475002
1614.44/825.00	c cleaning 9567 clauses out of 55355 with flag 1485001/1485001
1631.09/833.46	c cleaning 9752 clauses out of 55787 with flag 1495000/1495000
1646.86/841.66	c cleaning 9875 clauses out of 56036 with flag 1505001/1505001
1655.58/846.27	c cleaning 9655 clauses out of 56162 with flag 1515003/1515003
1664.56/850.99	c cleaning 9747 clauses out of 56505 with flag 1525001/1525001
1674.34/856.09	c cleaning 9818 clauses out of 56759 with flag 1535002/1535002
1686.39/862.50	c cleaning 9777 clauses out of 56939 with flag 1545000/1545000
1707.41/873.18	c cleaning 9783 clauses out of 57162 with flag 1555000/1555000
1716.59/877.92	c cleaning 9773 clauses out of 57380 with flag 1565001/1565001
1725.58/882.63	c cleaning 9751 clauses out of 57612 with flag 1575006/1575006
1734.18/887.30	c cleaning 9953 clauses out of 57855 with flag 1585000/1585000
1747.82/894.40	c cleaning 9679 clauses out of 57903 with flag 1595001/1595001
1760.95/901.11	c cleaning 9767 clauses out of 58227 with flag 1605004/1605004
1772.89/907.30	c cleaning 9883 clauses out of 58462 with flag 1615006/1615006
1783.34/912.97	c cleaning 9698 clauses out of 58575 with flag 1625002/1625002
1799.34/921.10	c cleaning 9814 clauses out of 58876 with flag 1635001/1635001
1800.05/921.72	c starts		: 190
1800.05/921.72	c conflicts		: 1635285
1800.05/921.72	c decisions		: 13524676
1800.05/921.72	c propagations		: 597490914
1800.05/921.72	c inspects		: 1766090768
1800.05/921.72	c learnt literals	: 90
1800.05/921.72	c learnt binary clauses	: 40160
1800.05/921.72	c learnt ternary clauses	: 60032
1800.05/921.72	c learnt clauses	: 1635195
1800.05/921.72	c ignored clauses	: 0
1800.05/921.72	c root simplifications	: 0
1800.05/921.72	c removed literals (reason simplification)	: 43011324
1800.05/921.72	c reason swapping (by a shorter reason)	: 0
1800.05/921.72	c Calls to reduceDB	: 165
1800.05/921.72	c number of reductions to clauses (during analyze)	: 0
1800.05/921.72	c number of learned constraints concerned by reduction	: 0
1800.05/921.72	c number of learning phase by resolution	: 0
1800.05/921.72	c number of learning phase by cutting planes	: 0
1800.05/921.72	c speed (assignments/second)	: 648552.3620137007
1800.05/921.72	c non guided choices	4190
1800.05/921.74	c learnt constraints type 
1800.05/921.74	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 9253
1800.05/921.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40163
1800.05/921.74	c constraints type 
1800.05/921.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4997
1800.05/921.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 89
1800.05/921.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1144
1800.05/921.74	c constraints type 
1800.05/921.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1144
1800.05/921.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4997
1800.05/921.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 89
1800.05/921.74	s UNKNOWN
1800.05/921.74	c Total wall clock time (in seconds): 921.624

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-3742054-1338784851/watcher-3742054-1338784851 -o /tmp/evaluation-result-3742054-1338784851/solver-3742054-1338784851 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742054-1338784851.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: 3.54 3.85 3.56 4/198 24461
/proc/meminfo: memFree=27065856/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24461/stat : 24461 (java6) D 24459 24461 24165 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 344611917 9515008 184 33554432000 1073741824 1073778376 140736533481824 140736533473048 213192961463 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24461/statm: 2323 184 142 9 0 71 0

[startup+0.075742 s]
/proc/loadavg: 3.54 3.85 3.56 4/198 24461
/proc/meminfo: memFree=27065856/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 3884 0 1 0 4 1 0 0 20 0 18 0 344611917 2764726272 5603 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 674982 5603 1771 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928

[startup+0.100269 s]
/proc/loadavg: 3.54 3.85 3.56 4/198 24461
/proc/meminfo: memFree=27065856/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 4688 0 1 0 7 1 0 0 20 0 18 0 344611917 2764726272 6398 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 674982 6398 2100 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928

[startup+0.300227 s]
/proc/loadavg: 3.54 3.85 3.56 4/198 24461
/proc/meminfo: memFree=27065856/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2699928 CPUtime=0.54 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 7666 0 1 0 52 2 0 0 20 0 18 0 344611917 2764726272 10666 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 674982 10666 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2699928

[startup+0.70017 s]
/proc/loadavg: 3.54 3.85 3.56 4/198 24461
/proc/meminfo: memFree=27065856/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2966184 CPUtime=1.9 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 13719 0 1 0 186 4 0 0 20 0 22 0 344611917 3037372416 20730 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 741546 20730 2254 9 0 732240 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 2966184

[startup+1.50071 s]
/proc/loadavg: 3.54 3.85 3.56 7/220 24483
/proc/meminfo: memFree=26962720/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2966184 CPUtime=4.09 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 15884 0 1 0 400 9 0 0 20 0 22 0 344611917 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 741546 80670 2259 9 0 732240 0
[pid=24461/tid=24463] ppid=24459 vsize=2966184 CPUtime=0.41 cores=0,2,4,6
/proc/24461/task/24463/stat : 24463 (java) S 24459 24461 24165 0 -1 4202560 2821 0 1 0 40 1 0 0 20 0 22 0 344611918 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456847037592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24464] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24464/stat : 24464 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611919 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456713763240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24465] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24465/stat : 24465 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611919 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456712710696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24466] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24466/stat : 24466 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456711657640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24467] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24467/stat : 24467 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456710605096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24468] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24468/stat : 24468 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456709553064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24469] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24469/stat : 24469 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456708500520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24470] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24470/stat : 24470 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456707447464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24471] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24471/stat : 24471 (java) S 24459 24461 24165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456706394920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24472] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24472/stat : 24472 (java) S 24459 24461 24165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456223955304 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24473] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24473/stat : 24473 (java) S 24459 24461 24165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456222901624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24474] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24474/stat : 24474 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456221848456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24475] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24475/stat : 24475 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456220797200 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24476] ppid=24459 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/24461/task/24476/stat : 24476 (java) S 24459 24461 24165 0 -1 4202560 4043 0 0 0 88 0 0 0 20 0 22 0 344611924 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456219745080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24477] ppid=24459 vsize=2966184 CPUtime=0.66 cores=0,2,4,6
/proc/24461/task/24477/stat : 24477 (java) S 24459 24461 24165 0 -1 4202560 7606 0 0 0 64 2 0 0 20 0 22 0 344611924 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456218692536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24478] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24478/stat : 24478 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456217639672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24479] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24479/stat : 24479 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456216587336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24480] ppid=24459 vsize=2966184 CPUtime=1.02 cores=0,2,4,6
/proc/24461/task/24480/stat : 24480 (java) R 24459 24461 24165 0 -1 4202560 31 0 0 0 102 0 0 0 20 0 22 0 344611962 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456215530048 140456720306162 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24481] ppid=24459 vsize=2966184 CPUtime=1.03 cores=0,2,4,6
/proc/24461/task/24481/stat : 24481 (java) R 24459 24461 24165 0 -1 4202560 182 0 0 0 99 4 0 0 20 0 22 0 344611962 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456214477496 140456720565918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24482] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24482/stat : 24482 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456213426984 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24483] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24483/stat : 24483 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 80670 33554432000 1073741824 1073778376 140735388823200 140456212374440 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 2966184

[startup+3.10071 s]
/proc/loadavg: 3.54 3.85 3.56 8/220 24483
/proc/meminfo: memFree=26660424/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2966184 CPUtime=7.5 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 16201 0 1 0 738 12 0 0 20 0 22 0 344611917 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 741546 103253 2284 9 0 732240 0
[pid=24461/tid=24463] ppid=24459 vsize=2966184 CPUtime=0.41 cores=0,2,4,6
/proc/24461/task/24463/stat : 24463 (java) S 24459 24461 24165 0 -1 4202560 2821 0 1 0 40 1 0 0 20 0 22 0 344611918 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456847037592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24464] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24464/stat : 24464 (java) S 24459 24461 24165 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344611919 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456713763240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24465] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24465/stat : 24465 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611919 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456712710696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24466] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24466/stat : 24466 (java) S 24459 24461 24165 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456711657640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24467] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24467/stat : 24467 (java) S 24459 24461 24165 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456710605096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24468] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24468/stat : 24468 (java) S 24459 24461 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456709553064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24469] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24469/stat : 24469 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456708500520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24470] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24470/stat : 24470 (java) S 24459 24461 24165 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456707447464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24471] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24471/stat : 24471 (java) S 24459 24461 24165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344611920 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456706394920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24472] ppid=24459 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24461/task/24472/stat : 24472 (java) S 24459 24461 24165 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 22 0 344611921 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456223955304 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24473] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24473/stat : 24473 (java) S 24459 24461 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456222901624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24474] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24474/stat : 24474 (java) S 24459 24461 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456221848456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24475] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24475/stat : 24475 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456220797200 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24476] ppid=24459 vsize=2966184 CPUtime=1.02 cores=0,2,4,6
/proc/24461/task/24476/stat : 24476 (java) R 24459 24461 24165 0 -1 4202560 4047 0 0 0 102 0 0 0 20 0 22 0 344611924 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456219745080 140456849533004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24477] ppid=24459 vsize=2966184 CPUtime=0.76 cores=0,2,4,6
/proc/24461/task/24477/stat : 24477 (java) S 24459 24461 24165 0 -1 4202560 7794 0 0 0 74 2 0 0 20 0 22 0 344611924 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456218692536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24478] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24478/stat : 24478 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456217639672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24479] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24479/stat : 24479 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456216587336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24480] ppid=24459 vsize=2966184 CPUtime=2.55 cores=0,2,4,6
/proc/24461/task/24480/stat : 24480 (java) R 24459 24461 24165 0 -1 4202560 31 0 0 0 255 0 0 0 20 0 22 0 344611962 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456215529680 140456720363025 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24481] ppid=24459 vsize=2966184 CPUtime=2.58 cores=0,2,4,6
/proc/24461/task/24481/stat : 24481 (java) R 24459 24461 24165 0 -1 4202560 216 0 0 0 252 6 0 0 20 0 22 0 344611962 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456214478696 140456720267863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24482] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24482/stat : 24482 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456213426984 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24483] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24483/stat : 24483 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 103253 33554432000 1073741824 1073778376 140735388823200 140456212374440 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 2966184

[startup+6.30078 s]
/proc/loadavg: 3.50 3.83 3.55 9/220 24483
/proc/meminfo: memFree=26655956/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2966184 CPUtime=13.95 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 16226 0 1 0 1383 12 0 0 20 0 22 0 344611917 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 741546 105293 2284 9 0 732240 0
[pid=24461/tid=24463] ppid=24459 vsize=2966184 CPUtime=0.41 cores=0,2,4,6
/proc/24461/task/24463/stat : 24463 (java) S 24459 24461 24165 0 -1 4202560 2821 0 1 0 40 1 0 0 20 0 22 0 344611918 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456847037592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24464] ppid=24459 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/24461/task/24464/stat : 24464 (java) S 24459 24461 24165 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 344611919 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456713763240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24465] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24465/stat : 24465 (java) S 24459 24461 24165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344611919 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456712710696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24466] ppid=24459 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24461/task/24466/stat : 24466 (java) S 24459 24461 24165 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 344611920 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456711657640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24467] ppid=24459 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/24461/task/24467/stat : 24467 (java) S 24459 24461 24165 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 344611920 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456710605096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24468] ppid=24459 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/24461/task/24468/stat : 24468 (java) S 24459 24461 24165 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 344611920 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456709553064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24469] ppid=24459 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/24461/task/24469/stat : 24469 (java) S 24459 24461 24165 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 344611920 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456708500520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24470] ppid=24459 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24461/task/24470/stat : 24470 (java) S 24459 24461 24165 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344611920 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456707447464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24471] ppid=24459 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24461/task/24471/stat : 24471 (java) S 24459 24461 24165 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 344611920 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456706394920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24472] ppid=24459 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/24461/task/24472/stat : 24472 (java) S 24459 24461 24165 0 -1 4202560 37 0 0 0 9 0 0 0 20 0 22 0 344611921 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456223955304 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24473] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24473/stat : 24473 (java) S 24459 24461 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456222901624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24474] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24474/stat : 24474 (java) S 24459 24461 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456221848456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24475] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24475/stat : 24475 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456220797200 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24476] ppid=24459 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/24461/task/24476/stat : 24476 (java) S 24459 24461 24165 0 -1 4202560 4047 0 0 0 105 0 0 0 20 0 22 0 344611924 3037372416 105293 33554432000 1073741824 1073778376 140735388823200 140456219745080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/24461/statm: 741546 234227 2285 9 0 732240 0
[pid=24461/tid=24463] ppid=24459 vsize=2966184 CPUtime=0.43 cores=0,2,4,6
/proc/24461/task/24463/stat : 24463 (java) S 24459 24461 24165 0 -1 4202560 2862 0 1 0 41 2 0 0 20 0 22 0 344611918 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456847037592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24464] ppid=24459 vsize=2966184 CPUtime=3.87 cores=0,2,4,6
/proc/24461/task/24464/stat : 24464 (java) S 24459 24461 24165 0 -1 4202560 222 0 0 0 381 6 0 0 20 0 22 0 344611919 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456713763240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24465] ppid=24459 vsize=2966184 CPUtime=3.83 cores=0,2,4,6
/proc/24461/task/24465/stat : 24465 (java) S 24459 24461 24165 0 -1 4202560 223 0 0 0 375 8 0 0 20 0 22 0 344611919 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456712710696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24466] ppid=24459 vsize=2966184 CPUtime=3.88 cores=0,2,4,6
/proc/24461/task/24466/stat : 24466 (java) S 24459 24461 24165 0 -1 4202560 232 0 0 0 380 8 0 0 20 0 22 0 344611920 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456711657640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24467] ppid=24459 vsize=2966184 CPUtime=3.96 cores=0,2,4,6
/proc/24461/task/24467/stat : 24467 (java) S 24459 24461 24165 0 -1 4202560 256 0 0 0 389 7 0 0 20 0 22 0 344611920 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456710605096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24468] ppid=24459 vsize=2966184 CPUtime=3.93 cores=0,2,4,6
/proc/24461/task/24468/stat : 24468 (java) S 24459 24461 24165 0 -1 4202560 249 0 0 0 386 7 0 0 20 0 22 0 344611920 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456709553064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24469] ppid=24459 vsize=2966184 CPUtime=3.86 cores=0,2,4,6
/proc/24461/task/24469/stat : 24469 (java) S 24459 24461 24165 0 -1 4202560 226 0 0 0 379 7 0 0 20 0 22 0 344611920 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456708500520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24470] ppid=24459 vsize=2966184 CPUtime=3.94 cores=0,2,4,6
/proc/24461/task/24470/stat : 24470 (java) S 24459 24461 24165 0 -1 4202560 199 0 0 0 388 6 0 0 20 0 22 0 344611920 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456707447464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24471] ppid=24459 vsize=2966184 CPUtime=3.86 cores=0,2,4,6
/proc/24461/task/24471/stat : 24471 (java) S 24459 24461 24165 0 -1 4202560 218 0 0 0 379 7 0 0 20 0 22 0 344611920 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456706394920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24472] ppid=24459 vsize=2966184 CPUtime=54.55 cores=0,2,4,6
/proc/24461/task/24472/stat : 24472 (java) S 24459 24461 24165 0 -1 4202560 133 0 0 0 5432 23 0 0 20 0 22 0 344611921 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456223955304 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24473] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24473/stat : 24473 (java) S 24459 24461 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456222901624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24474] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24474/stat : 24474 (java) S 24459 24461 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456221848456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24475] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24475/stat : 24475 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456220797200 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24476] ppid=24459 vsize=2966184 CPUtime=1.52 cores=0,2,4,6
/proc/24461/task/24476/stat : 24476 (java) S 24459 24461 24165 0 -1 4202560 8238 0 0 0 152 0 0 0 20 0 22 0 344611924 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456219745080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24477] ppid=24459 vsize=2966184 CPUtime=0.9 cores=0,2,4,6
/proc/24461/task/24477/stat : 24477 (java) S 24459 24461 24165 0 -1 4202560 7808 0 0 0 88 2 0 0 20 0 22 0 344611924 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456218692536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24478] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24478/stat : 24478 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456217639672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24479] ppid=24459 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/24461/task/24479/stat : 24479 (java) S 24459 24461 24165 0 -1 4202560 52 0 0 0 15 16 0 0 20 0 22 0 344611924 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456216587336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24480] ppid=24459 vsize=2966184 CPUtime=815.91 cores=0,2,4,6
/proc/24461/task/24480/stat : 24480 (java) R 24459 24461 24165 0 -1 4202560 339 0 0 0 81577 14 0 0 20 0 22 0 344611962 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456215530912 140456720173449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24481] ppid=24459 vsize=2966184 CPUtime=815.88 cores=0,2,4,6
/proc/24461/task/24481/stat : 24481 (java) R 24459 24461 24165 0 -1 4202560 482 0 0 0 81568 20 0 0 20 0 22 0 344611962 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456214477504 140456720185124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24482] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24482/stat : 24482 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456213426984 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24483] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24483/stat : 24483 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 234227 33554432000 1073741824 1073778376 140735388823200 140456212374440 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.98
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.701 s]
/proc/loadavg: 4.19 3.91 3.75 5/219 24612
/proc/meminfo: memFree=26172728/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2966184 CPUtime=1800.05 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 23010 0 1 0 179895 110 0 0 20 0 22 0 344611917 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 741546 235384 2285 9 0 732240 0
[pid=24461/tid=24463] ppid=24459 vsize=2966184 CPUtime=0.43 cores=0,2,4,6
/proc/24461/task/24463/stat : 24463 (java) S 24459 24461 24165 0 -1 4202560 2866 0 1 0 41 2 0 0 20 0 22 0 344611918 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456847037592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24464] ppid=24459 vsize=2966184 CPUtime=4 cores=0,2,4,6
/proc/24461/task/24464/stat : 24464 (java) S 24459 24461 24165 0 -1 4202560 229 0 0 0 394 6 0 0 20 0 22 0 344611919 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456713763240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24465] ppid=24459 vsize=2966184 CPUtime=4.03 cores=0,2,4,6
/proc/24461/task/24465/stat : 24465 (java) S 24459 24461 24165 0 -1 4202560 230 0 0 0 395 8 0 0 20 0 22 0 344611919 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456712710696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24466] ppid=24459 vsize=2966184 CPUtime=4.06 cores=0,2,4,6
/proc/24461/task/24466/stat : 24466 (java) S 24459 24461 24165 0 -1 4202560 241 0 0 0 398 8 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456711657640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24467] ppid=24459 vsize=2966184 CPUtime=4.11 cores=0,2,4,6
/proc/24461/task/24467/stat : 24467 (java) S 24459 24461 24165 0 -1 4202560 263 0 0 0 404 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456710605096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24468] ppid=24459 vsize=2966184 CPUtime=4.06 cores=0,2,4,6
/proc/24461/task/24468/stat : 24468 (java) S 24459 24461 24165 0 -1 4202560 255 0 0 0 399 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456709553064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24469] ppid=24459 vsize=2966184 CPUtime=4.01 cores=0,2,4,6
/proc/24461/task/24469/stat : 24469 (java) S 24459 24461 24165 0 -1 4202560 238 0 0 0 394 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456708500520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24470] ppid=24459 vsize=2966184 CPUtime=4.1 cores=0,2,4,6
/proc/24461/task/24470/stat : 24470 (java) S 24459 24461 24165 0 -1 4202560 206 0 0 0 404 6 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456707447464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24471] ppid=24459 vsize=2966184 CPUtime=4.02 cores=0,2,4,6
/proc/24461/task/24471/stat : 24471 (java) S 24459 24461 24165 0 -1 4202560 221 0 0 0 395 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456706394920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24472] ppid=24459 vsize=2966184 CPUtime=58.82 cores=0,2,4,6
/proc/24461/task/24472/stat : 24472 (java) S 24459 24461 24165 0 -1 4202560 137 0 0 0 5857 25 0 0 20 0 22 0 344611921 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456223955304 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24473] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24473/stat : 24473 (java) S 24459 24461 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456222901624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24474] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24474/stat : 24474 (java) S 24459 24461 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456221848456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24475] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24475/stat : 24475 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456220797200 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24476] ppid=24459 vsize=2966184 CPUtime=1.52 cores=0,2,4,6
/proc/24461/task/24476/stat : 24476 (java) S 24459 24461 24165 0 -1 4202560 8238 0 0 0 152 0 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456219745080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24477] ppid=24459 vsize=2966184 CPUtime=0.9 cores=0,2,4,6
/proc/24461/task/24477/stat : 24477 (java) S 24459 24461 24165 0 -1 4202560 7808 0 0 0 88 2 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456218692536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24478] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24478/stat : 24478 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456217639672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24479] ppid=24459 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/24461/task/24479/stat : 24479 (java) S 24459 24461 24165 0 -1 4202560 54 0 0 0 16 16 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456216587336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24480] ppid=24459 vsize=2966184 CPUtime=850.59 cores=0,2,4,6
/proc/24461/task/24480/stat : 24480 (java) R 24459 24461 24165 0 -1 4202560 344 0 0 0 85045 14 0 0 20 0 22 0 344611962 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456215531976 140456720173483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24481] ppid=24459 vsize=2966184 CPUtime=850.55 cores=0,2,4,6
/proc/24461/task/24481/stat : 24481 (java) R 24459 24461 24165 0 -1 4202560 492 0 0 0 85035 20 0 0 20 0 22 0 344611962 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456214477584 140456720503974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24482] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24482/stat : 24482 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456213426984 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24483] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24483/stat : 24483 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456212374440 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184

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

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

[startup+921.701 s]
/proc/loadavg: 4.19 3.91 3.75 5/219 24612
/proc/meminfo: memFree=26172728/32873648 swapFree=6864/6864
[pid=24461] ppid=24459 vsize=2966184 CPUtime=1800.05 cores=0,2,4,6
/proc/24461/stat : 24461 (java) S 24459 24461 24165 0 -1 4202496 23010 0 1 0 179895 110 0 0 20 0 22 0 344611917 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140735388814336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24461/statm: 741546 235384 2285 9 0 732240 0
[pid=24461/tid=24463] ppid=24459 vsize=2966184 CPUtime=0.43 cores=0,2,4,6
/proc/24461/task/24463/stat : 24463 (java) S 24459 24461 24165 0 -1 4202560 2866 0 1 0 41 2 0 0 20 0 22 0 344611918 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456847037592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24464] ppid=24459 vsize=2966184 CPUtime=4 cores=0,2,4,6
/proc/24461/task/24464/stat : 24464 (java) S 24459 24461 24165 0 -1 4202560 229 0 0 0 394 6 0 0 20 0 22 0 344611919 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456713763240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24465] ppid=24459 vsize=2966184 CPUtime=4.03 cores=0,2,4,6
/proc/24461/task/24465/stat : 24465 (java) S 24459 24461 24165 0 -1 4202560 230 0 0 0 395 8 0 0 20 0 22 0 344611919 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456712710696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24466] ppid=24459 vsize=2966184 CPUtime=4.06 cores=0,2,4,6
/proc/24461/task/24466/stat : 24466 (java) S 24459 24461 24165 0 -1 4202560 241 0 0 0 398 8 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456711657640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24467] ppid=24459 vsize=2966184 CPUtime=4.11 cores=0,2,4,6
/proc/24461/task/24467/stat : 24467 (java) S 24459 24461 24165 0 -1 4202560 263 0 0 0 404 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456710605096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24468] ppid=24459 vsize=2966184 CPUtime=4.06 cores=0,2,4,6
/proc/24461/task/24468/stat : 24468 (java) S 24459 24461 24165 0 -1 4202560 255 0 0 0 399 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456709553064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24469] ppid=24459 vsize=2966184 CPUtime=4.01 cores=0,2,4,6
/proc/24461/task/24469/stat : 24469 (java) S 24459 24461 24165 0 -1 4202560 238 0 0 0 394 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456708500520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24470] ppid=24459 vsize=2966184 CPUtime=4.1 cores=0,2,4,6
/proc/24461/task/24470/stat : 24470 (java) S 24459 24461 24165 0 -1 4202560 206 0 0 0 404 6 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456707447464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24471] ppid=24459 vsize=2966184 CPUtime=4.02 cores=0,2,4,6
/proc/24461/task/24471/stat : 24471 (java) S 24459 24461 24165 0 -1 4202560 221 0 0 0 395 7 0 0 20 0 22 0 344611920 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456706394920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24472] ppid=24459 vsize=2966184 CPUtime=58.82 cores=0,2,4,6
/proc/24461/task/24472/stat : 24472 (java) S 24459 24461 24165 0 -1 4202560 137 0 0 0 5857 25 0 0 20 0 22 0 344611921 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456223955304 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24473] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24473/stat : 24473 (java) S 24459 24461 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456222901624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24474] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24474/stat : 24474 (java) S 24459 24461 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344611921 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456221848456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24475] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24475/stat : 24475 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456220797200 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24476] ppid=24459 vsize=2966184 CPUtime=1.52 cores=0,2,4,6
/proc/24461/task/24476/stat : 24476 (java) S 24459 24461 24165 0 -1 4202560 8238 0 0 0 152 0 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456219745080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24461/tid=24477] ppid=24459 vsize=2966184 CPUtime=0.9 cores=0,2,4,6
/proc/24461/task/24477/stat : 24477 (java) S 24459 24461 24165 0 -1 4202560 7808 0 0 0 88 2 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456218692536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24478] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24478/stat : 24478 (java) S 24459 24461 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456217639672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24479] ppid=24459 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/24461/task/24479/stat : 24479 (java) S 24459 24461 24165 0 -1 4202560 54 0 0 0 16 16 0 0 20 0 22 0 344611924 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456216587336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24480] ppid=24459 vsize=2966184 CPUtime=850.59 cores=0,2,4,6
/proc/24461/task/24480/stat : 24480 (java) R 24459 24461 24165 0 -1 4202560 344 0 0 0 85045 14 0 0 20 0 22 0 344611962 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456215531976 140456720173483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24461/tid=24481] ppid=24459 vsize=2966184 CPUtime=850.55 cores=0,2,4,6
/proc/24461/task/24481/stat : 24481 (java) R 24459 24461 24165 0 -1 4202560 492 0 0 0 85035 20 0 0 20 0 22 0 344611962 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456214477584 140456720503974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24461/tid=24482] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24482/stat : 24482 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456213426984 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24461/tid=24483] ppid=24459 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24461/task/24483/stat : 24483 (java) S 24459 24461 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344611964 3037372416 235384 33554432000 1073741824 1073778376 140735388823200 140456212374440 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24461 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=388211
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=522768
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 921.759
CPU time (s): 1800.05
CPU user time (s): 1798.95
CPU system time (s): 1.1
CPU usage (%): 195.284
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 1.52277
maximum resident set size= 941652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23041
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38894
involuntary context switches= 63742

runsolver used 3.83942 second user time and 7.69483 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-04 06:40:51
IDJOB=3742054
IDBENCH=90128
IDSOLVER=2324
FILE ID=node113/3742054-1338784851
RUNJOBID= node113-1338783018-24181
PBS_JOBID= 14636837
Free space on /tmp= 70980 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K89.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742054-1338784851/watcher-3742054-1338784851 -o /tmp/evaluation-result-3742054-1338784851/solver-3742054-1338784851 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742054-1338784851.opb

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

MD5SUM BENCH= 30c9df0e6d94fba856558f98ad1383d9
RANDOM SEED=1045135325

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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:       32873648 kB
MemFree:        27065856 kB
Buffers:          542380 kB
Cached:          3514348 kB
SwapCached:         2028 kB
Active:          2594280 kB
Inactive:        2303644 kB
Active(anon):     840352 kB
Inactive(anon):     1912 kB
Active(file):    1753928 kB
Inactive(file):  2301732 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:               464 kB
Writeback:             0 kB
AnonPages:        853548 kB
Mapped:            19404 kB
Shmem:                 0 kB
Slab:             763908 kB
SReclaimable:     208020 kB
SUnreclaim:       555888 kB
KernelStack:        1632 kB
PageTables:         5892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1571620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    800768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70980 MiB
End job on node113 at 2012-06-04 06:56:15