Trace number 3742613

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.01 931.154

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K65.opb
MD5SUMa4b90b74bc3d4958439bc17b9ac2ee03
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark312.531
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3575
Total number of constraints3707
Number of constraints which are clauses3642
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint65
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 66
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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.08	c version 2.2.0.v20100531
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		1349517296
0.03/0.08	c Max memory 		1356595200
0.03/0.08	c Total memory 		1356595200
0.03/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c Stops conflict analysis at the first Unique Implication Point
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c Stops conflict analysis at the first Unique Implication Point
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	
0.11/0.11	c solving HOME/instance-3742613-1338787739.opb
0.11/0.11	c reading problem ... 
0.56/0.37	c ... done. Wall clock time 0.256s.
0.56/0.37	c #vars     3575
0.56/0.37	c #constraints  3707
0.56/0.37	c constraints type 
0.56/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3000
0.56/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 65
0.56/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 640
0.56/0.37	c constraints type 
0.56/0.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 640
0.56/0.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3000
0.56/0.37	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 65
4.69/1.63	c cleaning 2466 clauses out of 4990 with flag 5000/5000
7.24/2.88	c cleaning 4239 clauses out of 8508 with flag 11000/11000
10.78/4.55	c cleaning 5563 clauses out of 11258 with flag 18001/18001
14.78/6.59	c cleaning 6733 clauses out of 13684 with flag 26000/26000
20.40/9.36	c cleaning 7815 clauses out of 15949 with flag 35000/35000
26.98/12.68	c cleaning 9039 clauses out of 18132 with flag 45000/45000
33.14/15.78	c cleaning 9464 clauses out of 19089 with flag 55001/55001
39.32/18.85	c cleaning 9698 clauses out of 19624 with flag 65001/65001
45.09/21.79	c cleaning 9827 clauses out of 19923 with flag 75000/75000
51.45/24.90	c cleaning 9941 clauses out of 20096 with flag 85000/85000
57.44/27.93	c cleaning 10042 clauses out of 20154 with flag 95001/95001
63.61/31.04	c cleaning 9999 clauses out of 20107 with flag 105000/105000
70.13/34.36	c cleaning 9917 clauses out of 20103 with flag 115001/115001
78.10/38.31	c cleaning 9991 clauses out of 20187 with flag 125003/125003
85.44/42.05	c cleaning 9988 clauses out of 20195 with flag 135002/135002
91.38/45.05	c cleaning 10028 clauses out of 20205 with flag 145003/145003
99.27/49.00	c cleaning 10033 clauses out of 20178 with flag 155004/155004
105.83/52.32	c cleaning 9945 clauses out of 20142 with flag 165002/165002
113.37/56.17	c cleaning 10084 clauses out of 20194 with flag 175000/175000
120.51/59.73	c cleaning 10011 clauses out of 20109 with flag 185003/185003
127.39/63.26	c cleaning 9973 clauses out of 20092 with flag 195000/195000
134.30/66.79	c cleaning 9991 clauses out of 20118 with flag 205001/205001
141.80/70.58	c cleaning 9960 clauses out of 20124 with flag 215000/215000
150.39/74.85	c cleaning 10006 clauses out of 20166 with flag 225002/225002
158.84/79.11	c cleaning 10001 clauses out of 20158 with flag 235000/235000
166.35/82.93	c cleaning 10040 clauses out of 20155 with flag 245000/245000
172.67/86.15	c cleaning 9905 clauses out of 20115 with flag 255000/255000
179.17/89.44	c cleaning 9999 clauses out of 20210 with flag 265001/265001
186.06/92.92	c cleaning 9885 clauses out of 20212 with flag 275003/275003
193.35/96.70	c cleaning 9703 clauses out of 20325 with flag 285002/285002
200.45/100.21	c cleaning 9738 clauses out of 20621 with flag 295001/295001
207.35/103.70	c cleaning 9874 clauses out of 20882 with flag 305000/305000
213.72/107.01	c cleaning 9761 clauses out of 21008 with flag 315000/315000
221.21/110.83	c cleaning 9687 clauses out of 21248 with flag 325001/325001
228.49/114.57	c cleaning 9853 clauses out of 21560 with flag 335000/335000
234.77/117.79	c cleaning 9649 clauses out of 21705 with flag 345000/345000
241.55/121.24	c cleaning 9676 clauses out of 22054 with flag 355000/355000
248.81/124.93	c cleaning 9639 clauses out of 22378 with flag 365000/365000
256.07/128.61	c cleaning 9704 clauses out of 22738 with flag 375001/375001
263.52/132.49	c cleaning 9728 clauses out of 23033 with flag 385000/385000
270.47/136.03	c cleaning 9774 clauses out of 23304 with flag 395000/395000
277.13/139.44	c cleaning 9842 clauses out of 23532 with flag 405002/405002
283.17/142.58	c cleaning 9642 clauses out of 23686 with flag 415000/415000
290.23/146.11	c cleaning 9583 clauses out of 24042 with flag 425001/425001
297.38/149.80	c cleaning 9752 clauses out of 24458 with flag 435000/435000
305.22/153.83	c cleaning 9665 clauses out of 24706 with flag 445001/445001
313.85/158.27	c cleaning 9754 clauses out of 25042 with flag 455002/455002
323.15/162.96	c cleaning 9915 clauses out of 25287 with flag 465001/465001
330.48/166.72	c cleaning 9858 clauses out of 25373 with flag 475002/475002
338.37/170.70	c cleaning 9737 clauses out of 25513 with flag 485000/485000
346.81/175.00	c cleaning 9765 clauses out of 25779 with flag 495003/495003
355.59/179.51	c cleaning 9887 clauses out of 26013 with flag 505002/505002
362.11/182.92	c cleaning 9782 clauses out of 26128 with flag 515004/515004
368.58/186.29	c cleaning 9753 clauses out of 26343 with flag 525001/525001
375.64/189.87	c cleaning 9749 clauses out of 26591 with flag 535002/535002
383.88/194.01	c cleaning 9730 clauses out of 26841 with flag 545001/545001
392.75/198.67	c cleaning 9701 clauses out of 27109 with flag 555000/555000
400.02/202.31	c cleaning 9677 clauses out of 27408 with flag 565000/565000
406.42/205.65	c cleaning 9822 clauses out of 27735 with flag 575004/575004
413.03/209.05	c cleaning 9771 clauses out of 27910 with flag 585001/585001
420.69/213.05	c cleaning 9889 clauses out of 28139 with flag 595001/595001
428.70/217.18	c cleaning 9791 clauses out of 28248 with flag 605000/605000
436.71/221.21	c cleaning 9833 clauses out of 28457 with flag 615000/615000
444.09/225.01	c cleaning 9787 clauses out of 28626 with flag 625002/625002
453.11/229.77	c cleaning 9771 clauses out of 28838 with flag 635001/635001
462.51/234.57	c cleaning 9842 clauses out of 29066 with flag 645000/645000
469.30/238.00	c cleaning 9765 clauses out of 29225 with flag 655001/655001
476.29/241.66	c cleaning 9823 clauses out of 29462 with flag 665003/665003
483.74/245.59	c cleaning 9734 clauses out of 29638 with flag 675002/675002
492.98/250.23	c cleaning 9871 clauses out of 29904 with flag 685002/685002
502.17/254.90	c cleaning 9821 clauses out of 30031 with flag 695000/695000
510.57/259.20	c cleaning 9879 clauses out of 30211 with flag 705001/705001
518.21/263.29	c cleaning 9872 clauses out of 30332 with flag 715001/715001
526.40/267.41	c cleaning 9639 clauses out of 30459 with flag 725000/725000
534.02/271.35	c cleaning 9793 clauses out of 30820 with flag 735000/735000
535.79/272.39	c cleaning 0 clauses out of 5000 with flag 0/5000
543.47/276.23	c cleaning 9736 clauses out of 31031 with flag 745004/745004
552.05/280.69	c cleaning 9740 clauses out of 31296 with flag 755006/755006
560.83/285.14	c cleaning 9723 clauses out of 31552 with flag 765002/765002
569.02/289.33	c cleaning 9777 clauses out of 31827 with flag 775000/775000
577.99/294.03	c cleaning 9927 clauses out of 32051 with flag 785001/785001
586.38/298.36	c cleaning 9679 clauses out of 32123 with flag 795000/795000
594.15/302.34	c cleaning 9849 clauses out of 32446 with flag 805002/805002
601.92/306.39	c cleaning 9886 clauses out of 32595 with flag 815000/815000
610.54/310.83	c cleaning 9773 clauses out of 32709 with flag 825000/825000
618.32/314.87	c cleaning 9774 clauses out of 32940 with flag 835004/835004
627.53/319.52	c cleaning 9814 clauses out of 33161 with flag 845000/845000
636.92/324.36	c cleaning 9825 clauses out of 33348 with flag 855001/855001
644.71/328.43	c cleaning 9744 clauses out of 33523 with flag 865001/865001
652.12/332.21	c cleaning 9834 clauses out of 33778 with flag 875000/875000
659.47/336.01	c cleaning 9925 clauses out of 33947 with flag 885003/885003
667.09/339.94	c cleaning 9830 clauses out of 34021 with flag 895002/895002
675.81/344.51	c cleaning 9809 clauses out of 34192 with flag 905003/905003
684.37/348.92	c cleaning 9946 clauses out of 34383 with flag 915003/915003
691.73/352.77	c cleaning 9742 clauses out of 34436 with flag 925002/925002
700.25/357.16	c cleaning 9847 clauses out of 34692 with flag 935000/935000
708.81/361.65	c cleaning 9841 clauses out of 34845 with flag 945000/945000
716.36/365.57	c cleaning 9774 clauses out of 35004 with flag 955000/955000
724.51/369.78	c cleaning 9884 clauses out of 35230 with flag 965000/965000
733.88/374.52	c cleaning 9884 clauses out of 35346 with flag 975000/975000
741.61/378.65	c cleaning 9849 clauses out of 35466 with flag 985004/985004
751.55/383.70	c cleaning 9826 clauses out of 35614 with flag 995001/995001
760.06/388.12	c cleaning 9923 clauses out of 35788 with flag 1005001/1005001
768.99/392.76	c cleaning 9894 clauses out of 35867 with flag 1015003/1015003
778.93/397.90	c cleaning 9865 clauses out of 35971 with flag 1025001/1025001
787.64/402.49	c cleaning 9951 clauses out of 36108 with flag 1035003/1035003
796.16/406.87	c cleaning 9956 clauses out of 36156 with flag 1045002/1045002
804.11/410.95	c cleaning 9782 clauses out of 36200 with flag 1055002/1055002
812.86/415.59	c cleaning 9764 clauses out of 36416 with flag 1065000/1065000
821.55/420.08	c cleaning 9858 clauses out of 36659 with flag 1075007/1075007
830.54/424.61	c cleaning 9867 clauses out of 36795 with flag 1085001/1085001
839.04/429.03	c cleaning 9875 clauses out of 36934 with flag 1095007/1095007
847.96/433.78	c cleaning 9886 clauses out of 37056 with flag 1105004/1105004
855.93/437.85	c cleaning 9713 clauses out of 37166 with flag 1115000/1115000
864.63/442.37	c cleaning 9926 clauses out of 37454 with flag 1125001/1125001
873.19/446.71	c cleaning 9752 clauses out of 37528 with flag 1135001/1135001
883.30/452.04	c cleaning 9894 clauses out of 37779 with flag 1145004/1145004
893.43/457.26	c cleaning 9810 clauses out of 37881 with flag 1155000/1155000
902.15/461.78	c cleaning 9843 clauses out of 38073 with flag 1165002/1165002
911.86/466.78	c cleaning 9847 clauses out of 38229 with flag 1175001/1175001
920.96/471.52	c cleaning 9827 clauses out of 38382 with flag 1185001/1185001
931.65/477.02	c cleaning 9979 clauses out of 38555 with flag 1195001/1195001
941.33/482.06	c cleaning 9714 clauses out of 38575 with flag 1205000/1205000
951.02/487.07	c cleaning 10010 clauses out of 38864 with flag 1215003/1215003
962.74/493.12	c cleaning 9882 clauses out of 38854 with flag 1225003/1225003
970.66/497.22	c cleaning 9800 clauses out of 38973 with flag 1235005/1235005
980.76/502.49	c cleaning 9744 clauses out of 39170 with flag 1245002/1245002
989.43/506.95	c cleaning 9923 clauses out of 39427 with flag 1255003/1255003
998.25/511.69	c cleaning 9755 clauses out of 39506 with flag 1265005/1265005
1006.94/516.15	c cleaning 9835 clauses out of 39746 with flag 1275000/1275000
1016.02/520.84	c cleaning 9953 clauses out of 39913 with flag 1285002/1285002
1024.49/525.21	c cleaning 9845 clauses out of 39960 with flag 1295002/1295002
1034.31/530.48	c cleaning 9798 clauses out of 40117 with flag 1305004/1305004
1044.99/535.90	c cleaning 9872 clauses out of 40315 with flag 1315000/1315000
1054.45/540.84	c cleaning 9861 clauses out of 40444 with flag 1325001/1325001
1063.57/545.56	c cleaning 9863 clauses out of 40583 with flag 1335001/1335001
1072.97/550.53	c cleaning 9811 clauses out of 40719 with flag 1345000/1345000
1081.64/555.08	c cleaning 9785 clauses out of 40912 with flag 1355004/1355004
1089.88/559.37	c cleaning 9879 clauses out of 41124 with flag 1365001/1365001
1099.55/564.37	c cleaning 9764 clauses out of 41246 with flag 1375002/1375002
1110.71/570.22	c cleaning 9803 clauses out of 41484 with flag 1385004/1385004
1119.35/574.75	c cleaning 9839 clauses out of 41677 with flag 1395000/1395000
1128.80/579.70	c cleaning 9803 clauses out of 41840 with flag 1405002/1405002
1138.01/584.43	c cleaning 9910 clauses out of 42035 with flag 1415000/1415000
1147.41/589.49	c cleaning 9861 clauses out of 42127 with flag 1425002/1425002
1156.49/594.16	c cleaning 9866 clauses out of 42265 with flag 1435001/1435001
1166.36/599.29	c cleaning 9782 clauses out of 42400 with flag 1445002/1445002
1175.25/603.81	c cleaning 9933 clauses out of 42619 with flag 1455003/1455003
1183.23/608.14	c cleaning 9916 clauses out of 42683 with flag 1465000/1465000
1191.74/612.53	c cleaning 9837 clauses out of 42767 with flag 1475000/1475000
1201.80/617.76	c cleaning 9905 clauses out of 42931 with flag 1485001/1485001
1210.09/622.05	c cleaning 9823 clauses out of 43027 with flag 1495002/1495002
1219.28/627.00	c cleaning 9870 clauses out of 43206 with flag 1505004/1505004
1228.30/631.63	c cleaning 9783 clauses out of 43332 with flag 1515000/1515000
1240.36/637.82	c cleaning 10021 clauses out of 43551 with flag 1525002/1525002
1249.62/642.62	c cleaning 9950 clauses out of 43528 with flag 1535000/1535000
1257.42/646.81	c cleaning 9755 clauses out of 43578 with flag 1545000/1545000
1265.47/651.01	c cleaning 9884 clauses out of 43824 with flag 1555001/1555001
1275.30/656.15	c cleaning 9742 clauses out of 43941 with flag 1565002/1565002
1284.12/660.72	c cleaning 9927 clauses out of 44200 with flag 1575003/1575003
1293.12/665.54	c cleaning 9855 clauses out of 44272 with flag 1585002/1585002
1301.74/670.03	c cleaning 9869 clauses out of 44415 with flag 1595000/1595000
1309.36/674.09	c cleaning 9797 clauses out of 44547 with flag 1605001/1605001
1318.00/678.50	c cleaning 9958 clauses out of 44753 with flag 1615004/1615004
1327.22/683.47	c cleaning 9882 clauses out of 44791 with flag 1625000/1625000
1336.48/688.21	c cleaning 9953 clauses out of 44909 with flag 1635000/1635000
1345.31/692.84	c cleaning 9873 clauses out of 44960 with flag 1645006/1645006
1355.00/697.88	c cleaning 9868 clauses out of 45081 with flag 1655000/1655000
1365.53/703.45	c cleaning 9875 clauses out of 45213 with flag 1665000/1665000
1375.15/708.50	c cleaning 9728 clauses out of 45339 with flag 1675001/1675001
1384.96/713.59	c cleaning 9965 clauses out of 45611 with flag 1685001/1685001
1394.40/718.48	c cleaning 9896 clauses out of 45646 with flag 1695001/1695001
1404.75/723.97	c cleaning 9838 clauses out of 45750 with flag 1705001/1705001
1413.33/728.45	c cleaning 9853 clauses out of 45909 with flag 1715000/1715000
1421.78/732.83	c cleaning 9711 clauses out of 46058 with flag 1725002/1725002
1429.81/737.02	c cleaning 9828 clauses out of 46344 with flag 1735000/1735000
1439.11/742.08	c cleaning 9751 clauses out of 46517 with flag 1745001/1745001
1447.54/746.48	c cleaning 9770 clauses out of 46765 with flag 1755000/1755000
1455.97/750.87	c cleaning 9933 clauses out of 46997 with flag 1765002/1765002
1464.60/755.39	c cleaning 9812 clauses out of 47064 with flag 1775002/1775002
1474.68/760.71	c cleaning 9847 clauses out of 47254 with flag 1785004/1785004
1483.32/765.29	c cleaning 9803 clauses out of 47403 with flag 1795000/1795000
1493.16/770.36	c cleaning 9970 clauses out of 47606 with flag 1805006/1805006
1501.96/774.95	c cleaning 9858 clauses out of 47632 with flag 1815002/1815002
1511.67/780.14	c cleaning 9868 clauses out of 47772 with flag 1825000/1825000
1521.91/785.47	c cleaning 9877 clauses out of 47905 with flag 1835001/1835001
1531.92/790.61	c cleaning 9864 clauses out of 48027 with flag 1845000/1845000
1540.35/795.08	c cleaning 9924 clauses out of 48163 with flag 1855000/1855000
1551.24/800.86	c cleaning 9849 clauses out of 48239 with flag 1865000/1865000
1565.05/807.92	c cleaning 9908 clauses out of 48390 with flag 1875000/1875000
1574.65/812.96	c cleaning 9931 clauses out of 48482 with flag 1885000/1885000
1584.44/818.00	c cleaning 9780 clauses out of 48552 with flag 1895001/1895001
1595.51/823.95	c cleaning 9892 clauses out of 48771 with flag 1905000/1905000
1605.72/829.25	c cleaning 9891 clauses out of 48881 with flag 1915002/1915002
1616.39/834.78	c cleaning 9949 clauses out of 48988 with flag 1925000/1925000
1626.20/839.85	c cleaning 9963 clauses out of 49041 with flag 1935002/1935002
1634.52/844.39	c cleaning 9894 clauses out of 49077 with flag 1945001/1945001
1644.97/849.72	c cleaning 9857 clauses out of 49186 with flag 1955004/1955004
1654.56/854.77	c cleaning 9850 clauses out of 49327 with flag 1965002/1965002
1665.16/860.22	c cleaning 9906 clauses out of 49475 with flag 1975000/1975000
1674.41/865.22	c cleaning 9840 clauses out of 49569 with flag 1985000/1985000
1684.00/870.26	c cleaning 9910 clauses out of 49730 with flag 1995001/1995001
1693.59/875.22	c cleaning 9910 clauses out of 49824 with flag 2005005/2005005
1704.05/880.65	c cleaning 10011 clauses out of 49912 with flag 2015003/2015003
1714.97/886.46	c cleaning 9883 clauses out of 49898 with flag 2025000/2025000
1724.23/891.20	c cleaning 9902 clauses out of 50020 with flag 2035005/2035005
1732.97/895.85	c cleaning 9830 clauses out of 50116 with flag 2045003/2045003
1741.91/900.54	c cleaning 9872 clauses out of 50285 with flag 2055002/2055002
1752.42/906.16	c cleaning 9805 clauses out of 50412 with flag 2065001/2065001
1762.19/911.27	c cleaning 9942 clauses out of 50608 with flag 2075002/2075002
1771.17/915.97	c cleaning 9852 clauses out of 50663 with flag 2085001/2085001
1781.56/921.35	c cleaning 9888 clauses out of 50809 with flag 2095000/2095000
1791.59/926.75	c cleaning 9926 clauses out of 50923 with flag 2105002/2105002
1800.01/931.11	c starts		: 210
1800.01/931.11	c conflicts		: 2113891
1800.01/931.11	c decisions		: 8274782
1800.01/931.11	c propagations		: 708765383
1800.01/931.11	c inspects		: 3182777549
1800.01/931.11	c learnt literals	: 120
1800.01/931.11	c learnt binary clauses	: 32228
1800.01/931.11	c learnt ternary clauses	: 54049
1800.01/931.11	c learnt clauses	: 2113770
1800.01/931.11	c ignored clauses	: 0
1800.01/931.11	c root simplifications	: 0
1800.01/931.11	c removed literals (reason simplification)	: 60383270
1800.01/931.11	c reason swapping (by a shorter reason)	: 0
1800.01/931.11	c Calls to reduceDB	: 212
1800.01/931.11	c number of reductions to clauses (during analyze)	: 0
1800.01/931.11	c number of learned constraints concerned by reduction	: 0
1800.01/931.11	c number of learning phase by resolution	: 0
1800.01/931.11	c number of learning phase by cutting planes	: 0
1800.01/931.11	c speed (assignments/second)	: 761509.1013797653
1800.01/931.11	c non guided choices	396
1800.01/931.13	c learnt constraints type 
1800.01/931.13	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 17690
1800.01/931.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 32228
1800.01/931.13	c constraints type 
1800.01/931.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3000
1800.01/931.13	c org.sat4j.minisat.constraints.card.MinWatchCard => 65
1800.01/931.13	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 640
1800.01/931.13	c constraints type 
1800.01/931.13	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 640
1800.01/931.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3000
1800.01/931.13	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 65
1800.01/931.13	s UNKNOWN
1800.01/931.13	c Total wall clock time (in seconds): 931.019

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-3742613-1338787739/watcher-3742613-1338787739 -o /tmp/evaluation-result-3742613-1338787739/solver-3742613-1338787739 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742613-1338787739.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.93 3.97 3.91 3/197 9020
/proc/meminfo: memFree=27995620/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/9020/stat : 9020 (java) R 9018 9020 7918 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 344898751 23793664 714 33554432000 1073741824 1073778376 140734299001456 140734298990520 233211731216 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 5809 714 529 9 0 128 0

[startup+0.0411801 s]
/proc/loadavg: 3.93 3.97 3.91 3/197 9020
/proc/meminfo: memFree=27995620/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2367080 CPUtime=0.03 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 3713 0 1 0 2 1 0 0 20 0 13 0 344898751 2423889920 4921 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 591770 4921 1693 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080

[startup+0.100256 s]
/proc/loadavg: 3.93 3.97 3.91 3/197 9020
/proc/meminfo: memFree=27995620/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2699928 CPUtime=0.11 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 4679 0 1 0 9 2 0 0 20 0 18 0 344898751 2764726272 6390 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 674982 6390 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928

[startup+0.300241 s]
/proc/loadavg: 3.93 3.97 3.91 3/197 9020
/proc/meminfo: memFree=27995620/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2699928 CPUtime=0.56 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 7707 0 1 0 54 2 0 0 20 0 18 0 344898751 2764726272 10311 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 674982 10311 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928

[startup+0.700182 s]
/proc/loadavg: 3.93 3.97 3.91 3/197 9020
/proc/meminfo: memFree=27995620/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2966184 CPUtime=2.05 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 17541 0 1 0 201 4 0 0 20 0 22 0 344898751 3037372416 24151 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 741546 24151 2249 9 0 732240 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 2966184

[startup+1.50072 s]
/proc/loadavg: 3.93 3.97 3.91 7/219 9042
/proc/meminfo: memFree=27832388/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2966184 CPUtime=4.44 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 22915 0 1 0 435 9 0 0 20 0 22 0 344898751 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 741546 89540 2254 9 0 732240 0
[pid=9020/tid=9022] ppid=9018 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 7918 0 -1 4202560 2801 0 1 0 33 2 0 0 20 0 22 0 344898752 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753168209048 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9023] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753152490024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9024] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753151437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9025] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753150384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9026] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753149331624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9027] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753148279848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9028] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753147227048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9029] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753146174248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9030] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9020 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753145121448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9031] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9020 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753014933992 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9032] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9020 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753013880056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9033] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753012827144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9034] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753011775632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9035] ppid=9018 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/9020/task/9035/stat : 9035 (java) S 9018 9020 7918 0 -1 4202560 11195 0 0 0 89 3 0 0 20 0 22 0 344898757 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753010723768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9036] ppid=9018 vsize=2966184 CPUtime=0.9 cores=0,2,4,6
/proc/9020/task/9036/stat : 9036 (java) R 9018 9020 7918 0 -1 4202560 7463 0 0 0 90 0 0 0 20 0 22 0 344898757 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753009670968 139753172325802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9037] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9037/stat : 9037 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753008618360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9038] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9038/stat : 9038 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753007565768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9039] ppid=9018 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/9020/task/9039/stat : 9039 (java) R 9018 9020 7918 0 -1 4202560 41 0 0 0 110 0 0 0 20 0 22 0 344898789 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753006510712 139753018785825 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9040] ppid=9018 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/9020/task/9040/stat : 9040 (java) R 9018 9020 7918 0 -1 4202560 215 0 0 0 106 4 0 0 20 0 22 0 344898789 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753005456952 139753018857019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9041] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9041/stat : 9041 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753004405672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9042] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9042/stat : 9042 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 89540 33554432000 1073741824 1073778376 140734299001456 139753003352872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 2966184

[startup+3.1008 s]
/proc/loadavg: 3.93 3.97 3.91 5/219 9042
/proc/meminfo: memFree=27570928/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2966184 CPUtime=7.83 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 23088 0 1 0 772 11 0 0 20 0 22 0 344898751 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 741546 109511 2280 9 0 732240 0
[pid=9020/tid=9022] ppid=9018 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 7918 0 -1 4202560 2801 0 1 0 33 2 0 0 20 0 22 0 344898752 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753168209048 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9023] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 7918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753152490024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9024] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753151437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9025] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753150384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9026] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753149331624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9027] ppid=9018 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 7918 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753148279848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9028] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753147227048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9029] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753146174248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9030] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9020 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753145121448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9031] ppid=9018 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9020 7918 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 344898754 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753014933992 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9032] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9020 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753013880056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9033] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9020 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753012827144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9034] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753011775632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9035] ppid=9018 vsize=2966184 CPUtime=0.98 cores=0,2,4,6
/proc/9020/task/9035/stat : 9035 (java) S 9018 9020 7918 0 -1 4202560 11200 0 0 0 95 3 0 0 20 0 22 0 344898757 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753010723768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9036] ppid=9018 vsize=2966184 CPUtime=1.06 cores=0,2,4,6
/proc/9020/task/9036/stat : 9036 (java) S 9018 9020 7918 0 -1 4202560 7522 0 0 0 106 0 0 0 20 0 22 0 344898757 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753009670968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9037] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9037/stat : 9037 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753008618360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9038] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9038/stat : 9038 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753007565768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9039] ppid=9018 vsize=2966184 CPUtime=2.6 cores=0,2,4,6
/proc/9020/task/9039/stat : 9039 (java) R 9018 9020 7918 0 -1 4202560 43 0 0 0 260 0 0 0 20 0 22 0 344898789 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753006510648 139753018785166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9040] ppid=9018 vsize=2966184 CPUtime=2.62 cores=0,2,4,6
/proc/9020/task/9040/stat : 9040 (java) R 9018 9020 7918 0 -1 4202560 242 0 0 0 257 5 0 0 20 0 22 0 344898789 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753005455488 139753018503065 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9041] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9041/stat : 9041 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753004405672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9042] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9042/stat : 9042 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 109511 33554432000 1073741824 1073778376 140734299001456 139753003352872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 2966184

[startup+6.30081 s]
/proc/loadavg: 3.93 3.97 3.91 5/219 9042
/proc/meminfo: memFree=27568248/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2966184 CPUtime=14.36 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 23211 0 1 0 1424 12 0 0 20 0 22 0 344898751 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 741546 108454 2281 9 0 732240 0
[pid=9020/tid=9022] ppid=9018 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 7918 0 -1 4202560 2801 0 1 0 33 2 0 0 20 0 22 0 344898752 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753168209048 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9023] ppid=9018 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 7918 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753152490024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9024] ppid=9018 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 7918 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753151437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9025] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753150384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9026] ppid=9018 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 7918 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753149331624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9027] ppid=9018 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 7918 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753148279848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9028] ppid=9018 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753147227048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9029] ppid=9018 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9020 7918 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753146174248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9030] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9020 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344898753 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753145121448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9031] ppid=9018 vsize=2966184 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9020 7918 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 22 0 344898754 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753014933992 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9032] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9020 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753013880056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9033] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9020 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753012827144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9034] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753011775632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9035] ppid=9018 vsize=2966184 CPUtime=1.02 cores=0,2,4,6
/proc/9020/task/9035/stat : 9035 (java) S 9018 9020 7918 0 -1 4202560 11201 0 0 0 99 3 0 0 20 0 22 0 344898757 3037372416 108454 33554432000 1073741824 1073778376 140734299001456 139753010723768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

/proc/9020/statm: 741546 220697 2282 9 0 732240 0
[pid=9020/tid=9022] ppid=9018 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 7918 0 -1 4202560 2842 0 1 0 35 3 0 0 20 0 22 0 344898752 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753168209048 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9023] ppid=9018 vsize=2966184 CPUtime=3.4 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 7918 0 -1 4202560 189 0 0 0 336 4 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753152490024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9024] ppid=9018 vsize=2966184 CPUtime=3.68 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 7918 0 -1 4202560 215 0 0 0 362 6 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753151437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9025] ppid=9018 vsize=2966184 CPUtime=3.83 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 7918 0 -1 4202560 222 0 0 0 377 6 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753150384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9026] ppid=9018 vsize=2966184 CPUtime=3.7 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 7918 0 -1 4202560 218 0 0 0 364 6 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753149331624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9027] ppid=9018 vsize=2966184 CPUtime=3.77 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 7918 0 -1 4202560 239 0 0 0 372 5 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753148279848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9028] ppid=9018 vsize=2966184 CPUtime=3.53 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 7918 0 -1 4202560 189 0 0 0 347 6 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753147227048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9029] ppid=9018 vsize=2966184 CPUtime=3.68 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9020 7918 0 -1 4202560 174 0 0 0 363 5 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753146174248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9030] ppid=9018 vsize=2966184 CPUtime=3.61 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9020 7918 0 -1 4202560 192 0 0 0 356 5 0 0 20 0 22 0 344898753 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753145121448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9031] ppid=9018 vsize=2966184 CPUtime=72.38 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9020 7918 0 -1 4202560 149 0 0 0 7218 20 0 0 20 0 22 0 344898754 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753014933992 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9032] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9020 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753013880056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9033] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9020 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753012827144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9034] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753011775632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9035] ppid=9018 vsize=2966184 CPUtime=1.53 cores=0,2,4,6
/proc/9020/task/9035/stat : 9035 (java) S 9018 9020 7918 0 -1 4202560 14180 0 0 0 150 3 0 0 20 0 22 0 344898757 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753010723768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9036] ppid=9018 vsize=2966184 CPUtime=1.2 cores=0,2,4,6
/proc/9020/task/9036/stat : 9036 (java) S 9018 9020 7918 0 -1 4202560 7631 0 0 0 120 0 0 0 20 0 22 0 344898757 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753009670968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9037] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9037/stat : 9037 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753008618360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9038] ppid=9018 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/9020/task/9038/stat : 9038 (java) S 9018 9020 7918 0 -1 4202560 50 0 0 0 19 15 0 0 20 0 22 0 344898757 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753007565768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9039] ppid=9018 vsize=2966184 CPUtime=798.73 cores=0,2,4,6
/proc/9020/task/9039/stat : 9039 (java) R 9018 9020 7918 0 -1 4202560 323 0 0 0 79858 15 0 0 20 0 22 0 344898789 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753006510528 139753018751017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9040] ppid=9018 vsize=2966184 CPUtime=798.82 cores=0,2,4,6
/proc/9020/task/9040/stat : 9040 (java) R 9018 9020 7918 0 -1 4202560 473 0 0 0 79863 19 0 0 20 0 22 0 344898789 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753005456000 139753019190778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9041] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9041/stat : 9041 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753004405672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9042] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9042/stat : 9042 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 220697 33554432000 1073741824 1073778376 140734299001456 139753003352872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1706.68
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+931.101 s]
/proc/loadavg: 4.07 4.00 3.95 5/219 9180
/proc/meminfo: memFree=27188148/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2966184 CPUtime=1800.01 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 28554 0 1 0 179902 99 0 0 20 0 22 0 344898751 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 741546 221772 2282 9 0 732240 0
[pid=9020/tid=9022] ppid=9018 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 7918 0 -1 4202560 2847 0 1 0 35 3 0 0 20 0 22 0 344898752 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753168209048 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9023] ppid=9018 vsize=2966184 CPUtime=3.67 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 7918 0 -1 4202560 192 0 0 0 363 4 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753152490024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9024] ppid=9018 vsize=2966184 CPUtime=3.89 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 7918 0 -1 4202560 223 0 0 0 383 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753151437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9025] ppid=9018 vsize=2966184 CPUtime=4.07 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 7918 0 -1 4202560 231 0 0 0 401 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753150384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9026] ppid=9018 vsize=2966184 CPUtime=3.94 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 7918 0 -1 4202560 224 0 0 0 388 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753149331624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9027] ppid=9018 vsize=2966184 CPUtime=4.01 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 7918 0 -1 4202560 249 0 0 0 396 5 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753148279848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9028] ppid=9018 vsize=2966184 CPUtime=3.78 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 7918 0 -1 4202560 194 0 0 0 372 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753147227048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9029] ppid=9018 vsize=2966184 CPUtime=3.93 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9020 7918 0 -1 4202560 178 0 0 0 388 5 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753146174248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9030] ppid=9018 vsize=2966184 CPUtime=3.85 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9020 7918 0 -1 4202560 201 0 0 0 379 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753145121448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9031] ppid=9018 vsize=2966184 CPUtime=77.52 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9020 7918 0 -1 4202560 151 0 0 0 7731 21 0 0 20 0 22 0 344898754 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753014933992 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9032] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9020 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753013880056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9033] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9020 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753012827144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9034] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753011775632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9035] ppid=9018 vsize=2966184 CPUtime=1.53 cores=0,2,4,6
/proc/9020/task/9035/stat : 9035 (java) S 9018 9020 7918 0 -1 4202560 14180 0 0 0 150 3 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753010723768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9036] ppid=9018 vsize=2966184 CPUtime=1.2 cores=0,2,4,6
/proc/9020/task/9036/stat : 9036 (java) S 9018 9020 7918 0 -1 4202560 7631 0 0 0 120 0 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753009670968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9037] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9037/stat : 9037 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753008618360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9038] ppid=9018 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/9020/task/9038/stat : 9038 (java) S 9018 9020 7918 0 -1 4202560 52 0 0 0 20 15 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753007565768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9039] ppid=9018 vsize=2966184 CPUtime=841.72 cores=0,2,4,6
/proc/9020/task/9039/stat : 9039 (java) R 9018 9020 7918 0 -1 4202560 336 0 0 0 84157 15 0 0 20 0 22 0 344898789 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753006509568 139753018784972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9040] ppid=9018 vsize=2966184 CPUtime=841.81 cores=0,2,4,6
/proc/9020/task/9040/stat : 9040 (java) R 9018 9020 7918 0 -1 4202560 478 0 0 0 84162 19 0 0 20 0 22 0 344898789 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753005455488 139753018871507 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9041] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9041/stat : 9041 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753004405672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9042] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9042/stat : 9042 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753003352872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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+931.101 s]
/proc/loadavg: 4.07 4.00 3.95 5/219 9180
/proc/meminfo: memFree=27188148/32873844 swapFree=7120/7120
[pid=9020] ppid=9018 vsize=2966184 CPUtime=1800.01 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9020 7918 0 -1 4202496 28554 0 1 0 179902 99 0 0 20 0 22 0 344898751 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 140734298992592 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9020/statm: 741546 221772 2282 9 0 732240 0
[pid=9020/tid=9022] ppid=9018 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 7918 0 -1 4202560 2847 0 1 0 35 3 0 0 20 0 22 0 344898752 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753168209048 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9023] ppid=9018 vsize=2966184 CPUtime=3.67 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 7918 0 -1 4202560 192 0 0 0 363 4 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753152490024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9024] ppid=9018 vsize=2966184 CPUtime=3.89 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 7918 0 -1 4202560 223 0 0 0 383 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753151437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9025] ppid=9018 vsize=2966184 CPUtime=4.07 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 7918 0 -1 4202560 231 0 0 0 401 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753150384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9026] ppid=9018 vsize=2966184 CPUtime=3.94 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 7918 0 -1 4202560 224 0 0 0 388 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753149331624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9027] ppid=9018 vsize=2966184 CPUtime=4.01 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 7918 0 -1 4202560 249 0 0 0 396 5 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753148279848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9028] ppid=9018 vsize=2966184 CPUtime=3.78 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 7918 0 -1 4202560 194 0 0 0 372 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753147227048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9029] ppid=9018 vsize=2966184 CPUtime=3.93 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9020 7918 0 -1 4202560 178 0 0 0 388 5 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753146174248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9030] ppid=9018 vsize=2966184 CPUtime=3.85 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9020 7918 0 -1 4202560 201 0 0 0 379 6 0 0 20 0 22 0 344898753 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753145121448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9020/tid=9031] ppid=9018 vsize=2966184 CPUtime=77.52 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9020 7918 0 -1 4202560 151 0 0 0 7731 21 0 0 20 0 22 0 344898754 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753014933992 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9032] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9020 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753013880056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9033] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9020 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344898754 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753012827144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9034] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753011775632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9035] ppid=9018 vsize=2966184 CPUtime=1.53 cores=0,2,4,6
/proc/9020/task/9035/stat : 9035 (java) S 9018 9020 7918 0 -1 4202560 14180 0 0 0 150 3 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753010723768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9036] ppid=9018 vsize=2966184 CPUtime=1.2 cores=0,2,4,6
/proc/9020/task/9036/stat : 9036 (java) S 9018 9020 7918 0 -1 4202560 7631 0 0 0 120 0 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753009670968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9037] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9037/stat : 9037 (java) S 9018 9020 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753008618360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9038] ppid=9018 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/9020/task/9038/stat : 9038 (java) S 9018 9020 7918 0 -1 4202560 52 0 0 0 20 15 0 0 20 0 22 0 344898757 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753007565768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9039] ppid=9018 vsize=2966184 CPUtime=841.72 cores=0,2,4,6
/proc/9020/task/9039/stat : 9039 (java) R 9018 9020 7918 0 -1 4202560 336 0 0 0 84157 15 0 0 20 0 22 0 344898789 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753006509568 139753018784972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9020/tid=9040] ppid=9018 vsize=2966184 CPUtime=841.81 cores=0,2,4,6
/proc/9020/task/9040/stat : 9040 (java) R 9018 9020 7918 0 -1 4202560 478 0 0 0 84162 19 0 0 20 0 22 0 344898789 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753005455488 139753018871507 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9020/tid=9041] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9041/stat : 9041 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753004405672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9020/tid=9042] ppid=9018 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9042/stat : 9042 (java) S 9018 9020 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344898790 3037372416 221772 33554432000 1073741824 1073778376 140734299001456 139753003352872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2966184

Child status: 143

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

Real time (s): 931.154
CPU time (s): 1800.01
CPU user time (s): 1799.02
CPU system time (s): 0.99
CPU usage (%): 193.31
Max. virtual memory (cumulated for all children) (KiB): 2967380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.68
system time used= 1.37379
maximum resident set size= 887216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28589
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36741
involuntary context switches= 64517

runsolver used 3.39348 second user time and 8.35473 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-04 07:28:59
IDJOB=3742613
IDBENCH=90217
IDSOLVER=2324
FILE ID=node142/3742613-1338787739
RUNJOBID= node142-1338781619-7934
PBS_JOBID= 14636832
Free space on /tmp= 71188 MiB

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

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

MD5SUM BENCH= a4b90b74bc3d4958439bc17b9ac2ee03
RANDOM SEED=1904462425

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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.776
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:        27995620 kB
Buffers:          386020 kB
Cached:          2895836 kB
SwapCached:            0 kB
Active:          2061328 kB
Inactive:        1990548 kB
Active(anon):     761608 kB
Inactive(anon):    11220 kB
Active(file):    1299720 kB
Inactive(file):  1979328 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               704 kB
Writeback:             0 kB
AnonPages:        911972 kB
Mapped:            18624 kB
Shmem:               200 kB
Slab:             682440 kB
SReclaimable:     124136 kB
SUnreclaim:       558304 kB
KernelStack:        1808 kB
PageTables:         5920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1571688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    849920 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= 71188 MiB
End job on node142 at 2012-06-04 07:44:32