Trace number 3492283

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
Sat4j Resolution 2011-06-08MSAT (TO) 1800.14 1796.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
MD5SUM93dc403e7aa7832c1308ab9b3db02163
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.25496
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints39
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Top cost 2003
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2002
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.05/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.27	c See www.sat4j.org for details.
0.05/0.28	c version 2.3.1.v20110525
0.05/0.28	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.28	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.28	c java.vm.version	19.1-b02
0.05/0.28	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.28	c sun.arch.data.model	64
0.05/0.28	c java.version		1.6.0_24
0.05/0.28	c os.name		Linux
0.05/0.28	c os.version		2.6.18-164.el5
0.05/0.28	c os.arch		amd64
0.05/0.28	c Free memory 		9996466904
0.05/0.28	c Max memory 		10048897024
0.05/0.28	c Total memory 		10048897024
0.05/0.28	c Number of processors 	8
0.12/0.31	c Pseudo Boolean Optimization
0.12/0.31	c --- Begin Solver configuration ---
0.12/0.31	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.12/0.31	c Learn all clauses as in MiniSAT
0.12/0.31	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.31	c Expensive reason simplification
0.12/0.31	c Armin Biere (Picosat) restarts strategy
0.12/0.31	c Glucose learned constraints deletion strategy
0.12/0.31	c timeout=2147483s
0.12/0.31	c DB Simplification allowed=false
0.12/0.31	c --- End Solver configuration ---
0.12/0.31	c solving HOME/instance-3492283-1307908929.wbo
0.12/0.31	c reading problem ... 
0.30/0.45	c ... done. Wall clock time 0.143s.
0.30/0.45	c #vars     3699
0.30/0.45	c #constraints  121
0.30/0.45	c constraints type 
0.30/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61
0.30/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 42
0.30/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
0.80/0.63	c SATISFIABLE
0.80/0.63	c OPTIMIZING...
0.80/0.63	c Got one! Elapsed wall clock time (in seconds):0.323
0.80/0.63	o 226
0.80/0.68	c Got one! Elapsed wall clock time (in seconds):0.372
0.80/0.68	o 138
1.03/0.75	c Got one! Elapsed wall clock time (in seconds):0.437
1.03/0.75	o 57
1.24/0.90	c Got one! Elapsed wall clock time (in seconds):0.595
1.24/0.90	o 34
1.36/1.02	c Got one! Elapsed wall clock time (in seconds):0.709
1.36/1.02	o 32
1.48/1.12	c Got one! Elapsed wall clock time (in seconds):0.812
1.48/1.12	o 28
1.68/1.38	c Got one! Elapsed wall clock time (in seconds):1.071
1.68/1.38	o 19
1.78/1.48	c Got one! Elapsed wall clock time (in seconds):1.175
1.78/1.48	o 4
2.87/2.54	c Got one! Elapsed wall clock time (in seconds):2.232
2.87/2.54	o 1
3.97/3.70	c cleaning 4840 clauses out of 9707 with flag 3001/9707
6.14/5.76	c cleaning 5399 clauses out of 10868 with flag 9002/15708
9.06/8.69	c cleaning 6201 clauses out of 12468 with flag 16001/22707
12.92/12.47	c cleaning 7106 clauses out of 14266 with flag 24000/30706
16.73/16.21	c cleaning 8059 clauses out of 16162 with flag 33002/39708
23.04/22.52	c cleaning 9022 clauses out of 18101 with flag 43000/49706
27.56/27.07	c cleaning 9502 clauses out of 19080 with flag 53001/59707
31.87/31.33	c cleaning 9758 clauses out of 19578 with flag 63001/69707
36.68/36.11	c cleaning 9860 clauses out of 19820 with flag 73001/79707
41.09/40.58	c cleaning 9918 clauses out of 19959 with flag 83000/89706
45.71/45.16	c cleaning 9983 clauses out of 20043 with flag 93002/99708
49.91/49.33	c cleaning 9996 clauses out of 20059 with flag 103001/109707
53.61/53.09	c cleaning 9967 clauses out of 20063 with flag 113001/119707
58.32/57.71	c cleaning 9969 clauses out of 20098 with flag 123003/129709
63.93/63.39	c cleaning 10011 clauses out of 20126 with flag 133000/139706
70.85/70.24	c cleaning 10007 clauses out of 20118 with flag 143003/149709
78.16/77.52	c cleaning 10002 clauses out of 20108 with flag 153000/159706
86.18/85.57	c cleaning 10005 clauses out of 20111 with flag 163005/169711
90.30/89.67	c cleaning 10002 clauses out of 20101 with flag 173000/179706
95.01/94.34	c cleaning 10020 clauses out of 20099 with flag 183000/189706
100.52/99.82	c cleaning 10011 clauses out of 20086 with flag 193007/199713
106.24/105.58	c cleaning 10004 clauses out of 20069 with flag 203001/209707
112.95/112.24	c cleaning 10002 clauses out of 20064 with flag 213000/219706
120.06/119.31	c cleaning 9994 clauses out of 20062 with flag 223000/229706
129.59/128.88	c cleaning 9957 clauses out of 20074 with flag 233006/239712
139.60/138.81	c cleaning 10030 clauses out of 20111 with flag 243000/249706
152.52/151.78	c cleaning 9967 clauses out of 20083 with flag 253002/259708
156.35/155.58	c cleaning 9994 clauses out of 20116 with flag 263002/269708
161.36/160.52	c cleaning 10008 clauses out of 20122 with flag 273002/279708
165.67/164.84	c cleaning 10003 clauses out of 20114 with flag 283002/289708
170.19/169.34	c cleaning 9989 clauses out of 20110 with flag 293001/299707
177.30/176.45	c cleaning 9999 clauses out of 20121 with flag 303001/309707
183.62/182.77	c cleaning 10030 clauses out of 20121 with flag 313000/319706
190.03/189.14	c cleaning 9984 clauses out of 20091 with flag 323000/329706
196.35/195.45	c cleaning 9989 clauses out of 20107 with flag 333000/339706
202.37/201.49	c cleaning 9984 clauses out of 20118 with flag 343000/349706
208.78/207.80	c cleaning 10007 clauses out of 20136 with flag 353002/359708
215.10/214.16	c cleaning 9967 clauses out of 20127 with flag 363000/369706
222.11/221.12	c cleaning 9985 clauses out of 20160 with flag 373000/379706
228.32/227.31	c cleaning 9980 clauses out of 20176 with flag 383001/389707
232.43/231.46	c cleaning 10052 clauses out of 20195 with flag 393000/399706
236.95/235.91	c cleaning 10020 clauses out of 20143 with flag 403000/409706
242.26/241.22	c cleaning 10005 clauses out of 20123 with flag 413000/419706
247.47/246.50	c cleaning 10009 clauses out of 20123 with flag 423005/429711
256.69/255.63	c cleaning 10000 clauses out of 20110 with flag 433001/439707
264.90/263.82	c cleaning 9988 clauses out of 20110 with flag 443001/449707
272.53/271.48	c cleaning 9965 clauses out of 20121 with flag 453000/459706
280.25/279.10	c cleaning 9993 clauses out of 20156 with flag 463000/469706
286.67/285.57	c cleaning 10039 clauses out of 20163 with flag 473000/479706
292.28/291.11	c cleaning 10015 clauses out of 20125 with flag 483001/489707
297.89/296.78	c cleaning 10001 clauses out of 20109 with flag 493000/499706
303.10/301.99	c cleaning 9993 clauses out of 20110 with flag 503002/509708
311.91/310.79	c cleaning 9989 clauses out of 20116 with flag 513001/519707
318.73/317.51	c cleaning 10011 clauses out of 20129 with flag 523003/529709
326.64/325.43	c cleaning 10018 clauses out of 20120 with flag 533005/539711
335.46/334.24	c cleaning 10004 clauses out of 20097 with flag 543000/549706
342.78/341.56	c cleaning 9992 clauses out of 20093 with flag 553000/559706
350.59/349.39	c cleaning 10015 clauses out of 20106 with flag 563005/569711
358.01/356.72	c cleaning 10001 clauses out of 20087 with flag 573001/579707
365.45/364.15	c cleaning 9971 clauses out of 20091 with flag 583006/589712
370.87/369.58	c cleaning 9999 clauses out of 20114 with flag 593000/599706
377.28/375.97	c cleaning 10000 clauses out of 20117 with flag 603002/609708
382.00/380.65	c cleaning 10029 clauses out of 20115 with flag 613000/619706
387.51/386.12	c cleaning 9999 clauses out of 20086 with flag 623000/629706
393.13/391.76	c cleaning 9995 clauses out of 20088 with flag 633001/639707
397.83/396.40	c cleaning 10016 clauses out of 20093 with flag 643001/649707
403.64/402.27	c cleaning 9994 clauses out of 20076 with flag 653000/659706
409.35/407.91	c cleaning 10013 clauses out of 20083 with flag 663001/669707
413.16/411.78	c cleaning 10006 clauses out of 20069 with flag 673000/679706
416.77/415.36	c cleaning 10006 clauses out of 20069 with flag 683006/689712
420.99/419.53	c cleaning 10001 clauses out of 20062 with flag 693005/699711
424.90/423.47	c cleaning 10000 clauses out of 20058 with flag 703002/709708
428.81/427.36	c cleaning 10002 clauses out of 20062 with flag 713006/719712
433.83/432.32	c cleaning 9993 clauses out of 20055 with flag 723001/729707
439.24/437.73	c cleaning 9988 clauses out of 20061 with flag 733000/739706
445.46/443.93	c cleaning 10003 clauses out of 20073 with flag 743000/749706
451.38/449.88	c cleaning 10004 clauses out of 20072 with flag 753002/759708
462.79/461.29	c cleaning 10001 clauses out of 20067 with flag 763001/769707
475.72/474.18	c cleaning 10001 clauses out of 20067 with flag 773002/779708
482.53/480.97	c cleaning 10000 clauses out of 20064 with flag 783000/789706
489.25/487.60	c cleaning 9991 clauses out of 20064 with flag 793000/799706
496.36/494.70	c cleaning 9996 clauses out of 20075 with flag 803002/809708
503.17/501.54	c cleaning 10004 clauses out of 20078 with flag 813001/819707
509.99/508.37	c cleaning 10005 clauses out of 20075 with flag 823002/829708
517.10/515.43	c cleaning 10001 clauses out of 20068 with flag 833000/839706
524.61/522.93	c cleaning 9998 clauses out of 20067 with flag 843000/849706
531.83/530.18	c cleaning 10002 clauses out of 20070 with flag 853001/859707
538.84/537.18	c cleaning 9996 clauses out of 20067 with flag 863000/869706
546.84/545.20	c cleaning 10000 clauses out of 20071 with flag 873000/879706
551.36/549.66	c cleaning 10001 clauses out of 20072 with flag 883001/889707
556.48/554.75	c cleaning 9978 clauses out of 20070 with flag 893000/899706
560.79/559.05	c cleaning 9996 clauses out of 20094 with flag 903002/909708
565.60/563.90	c cleaning 9998 clauses out of 20096 with flag 913000/919706
573.50/571.70	c cleaning 9990 clauses out of 20102 with flag 923004/929710
582.22/580.46	c cleaning 10007 clauses out of 20108 with flag 933000/939706
590.54/588.76	c cleaning 10020 clauses out of 20102 with flag 943001/949707
598.67/596.84	c cleaning 10011 clauses out of 20083 with flag 953002/959708
607.18/605.37	c cleaning 10003 clauses out of 20070 with flag 963000/969706
612.51/610.65	c cleaning 10002 clauses out of 20069 with flag 973002/979708
618.41/616.58	c cleaning 10001 clauses out of 20067 with flag 983002/989708
625.73/623.87	c cleaning 10001 clauses out of 20065 with flag 993001/999707
631.94/630.07	c cleaning 9999 clauses out of 20063 with flag 1003000/1009706
637.36/635.44	c cleaning 10007 clauses out of 20066 with flag 1013002/1019708
644.07/642.15	c cleaning 10003 clauses out of 20057 with flag 1023000/1029706
650.99/649.04	c cleaning 9994 clauses out of 20057 with flag 1033003/1039709
657.50/655.52	c cleaning 10005 clauses out of 20061 with flag 1043001/1049707
664.12/662.12	c cleaning 10002 clauses out of 20055 with flag 1053000/1059706
670.73/668.73	c cleaning 9986 clauses out of 20056 with flag 1063003/1069709
676.64/674.62	c cleaning 10000 clauses out of 20071 with flag 1073004/1079710
682.45/680.44	c cleaning 10013 clauses out of 20069 with flag 1083002/1089708
690.97/688.95	c cleaning 10001 clauses out of 20054 with flag 1093000/1099706
697.79/695.74	c cleaning 10005 clauses out of 20055 with flag 1103002/1109708
705.50/703.41	c cleaning 9993 clauses out of 20049 with flag 1113001/1119707
712.12/710.06	c cleaning 9994 clauses out of 20055 with flag 1123000/1129706
721.74/719.62	c cleaning 10021 clauses out of 20061 with flag 1133000/1139706
731.15/729.06	c cleaning 9995 clauses out of 20040 with flag 1143000/1149706
739.77/737.65	c cleaning 10010 clauses out of 20045 with flag 1153000/1159706
746.78/744.60	c cleaning 10007 clauses out of 20036 with flag 1163001/1169707
754.09/751.90	c cleaning 9968 clauses out of 20029 with flag 1173001/1179707
760.50/758.31	c cleaning 9987 clauses out of 20060 with flag 1183000/1189706
767.02/764.88	c cleaning 9995 clauses out of 20075 with flag 1193002/1199708
773.73/771.58	c cleaning 9996 clauses out of 20078 with flag 1203000/1209706
780.25/778.05	c cleaning 9998 clauses out of 20082 with flag 1213000/1219706
786.36/784.16	c cleaning 9995 clauses out of 20085 with flag 1223001/1229707
793.37/791.12	c cleaning 9992 clauses out of 20090 with flag 1233001/1239707
799.57/797.36	c cleaning 10002 clauses out of 20098 with flag 1243001/1249707
806.28/804.08	c cleaning 10005 clauses out of 20098 with flag 1253003/1259709
812.89/810.64	c cleaning 9996 clauses out of 20090 with flag 1263000/1269706
819.20/816.99	c cleaning 10003 clauses out of 20095 with flag 1273001/1279707
825.51/823.20	c cleaning 9998 clauses out of 20091 with flag 1283000/1289706
831.51/829.24	c cleaning 10002 clauses out of 20094 with flag 1293001/1299707
838.52/836.25	c cleaning 10002 clauses out of 20091 with flag 1303000/1309706
845.13/842.85	c cleaning 10000 clauses out of 20091 with flag 1313002/1319708
850.84/848.51	c cleaning 9988 clauses out of 20091 with flag 1323002/1329708
855.35/853.03	c cleaning 9989 clauses out of 20102 with flag 1333001/1339707
860.07/857.74	c cleaning 10022 clauses out of 20112 with flag 1343000/1349706
864.79/862.44	c cleaning 10013 clauses out of 20093 with flag 1353003/1359709
870.40/868.02	c cleaning 9986 clauses out of 20077 with flag 1363000/1369706
879.31/876.96	c cleaning 10000 clauses out of 20091 with flag 1373000/1379706
886.43/884.07	c cleaning 10011 clauses out of 20091 with flag 1383000/1389706
894.44/892.00	c cleaning 10005 clauses out of 20080 with flag 1393000/1399706
902.16/899.70	c cleaning 10007 clauses out of 20076 with flag 1403001/1409707
908.18/905.78	c cleaning 10002 clauses out of 20071 with flag 1413003/1419709
915.99/913.56	c cleaning 9997 clauses out of 20066 with flag 1423000/1429706
924.21/921.74	c cleaning 10008 clauses out of 20071 with flag 1433002/1439708
931.72/929.29	c cleaning 10000 clauses out of 20062 with flag 1443001/1449707
938.43/935.96	c cleaning 10007 clauses out of 20061 with flag 1453000/1459706
945.26/942.75	c cleaning 10004 clauses out of 20060 with flag 1463006/1469712
954.68/952.10	c cleaning 9998 clauses out of 20050 with flag 1473000/1479706
964.30/961.77	c cleaning 9986 clauses out of 20052 with flag 1483000/1489706
977.13/974.54	c cleaning 10011 clauses out of 20067 with flag 1493001/1499707
988.56/985.98	c cleaning 9981 clauses out of 20057 with flag 1503002/1509708
1000.18/997.50	c cleaning 9998 clauses out of 20076 with flag 1513002/1519708
1007.80/1005.12	c cleaning 10016 clauses out of 20078 with flag 1523002/1529708
1015.21/1012.50	c cleaning 10005 clauses out of 20060 with flag 1533000/1539706
1022.83/1020.16	c cleaning 10005 clauses out of 20055 with flag 1543000/1549706
1030.64/1027.90	c cleaning 10002 clauses out of 20051 with flag 1553001/1559707
1037.55/1034.89	c cleaning 9998 clauses out of 20053 with flag 1563005/1569711
1045.07/1042.39	c cleaning 10005 clauses out of 20052 with flag 1573002/1579708
1052.48/1049.72	c cleaning 9995 clauses out of 20046 with flag 1583001/1589707
1059.79/1057.04	c cleaning 9998 clauses out of 20050 with flag 1593000/1599706
1067.10/1064.39	c cleaning 9999 clauses out of 20053 with flag 1603001/1609707
1075.32/1072.53	c cleaning 10002 clauses out of 20055 with flag 1613002/1619708
1080.92/1078.15	c cleaning 9996 clauses out of 20051 with flag 1623000/1629706
1088.03/1085.27	c cleaning 10006 clauses out of 20055 with flag 1633000/1639706
1095.44/1092.63	c cleaning 10003 clauses out of 20049 with flag 1643000/1649706
1102.96/1100.17	c cleaning 9996 clauses out of 20047 with flag 1653001/1659707
1109.37/1106.58	c cleaning 10004 clauses out of 20050 with flag 1663000/1669706
1116.08/1113.23	c cleaning 9999 clauses out of 20046 with flag 1673000/1679706
1122.69/1119.85	c cleaning 10000 clauses out of 20047 with flag 1683000/1689706
1129.30/1126.47	c cleaning 9998 clauses out of 20048 with flag 1693001/1699707
1135.51/1132.65	c cleaning 9989 clauses out of 20049 with flag 1703000/1709706
1142.31/1139.43	c cleaning 10010 clauses out of 20063 with flag 1713003/1719709
1149.13/1146.28	c cleaning 10003 clauses out of 20051 with flag 1723001/1729707
1155.63/1152.75	c cleaning 10000 clauses out of 20049 with flag 1733002/1739708
1162.84/1159.94	c cleaning 9983 clauses out of 20054 with flag 1743007/1749713
1170.65/1167.75	c cleaning 10014 clauses out of 20066 with flag 1753002/1759708
1177.36/1174.45	c cleaning 10009 clauses out of 20052 with flag 1763002/1769708
1185.47/1182.57	c cleaning 10001 clauses out of 20041 with flag 1773000/1779706
1195.58/1192.68	c cleaning 9995 clauses out of 20040 with flag 1783000/1789706
1205.71/1202.75	c cleaning 9999 clauses out of 20046 with flag 1793001/1799707
1215.42/1212.40	c cleaning 9958 clauses out of 20046 with flag 1803000/1809706
1224.54/1221.57	c cleaning 10019 clauses out of 20090 with flag 1813002/1819708
1235.95/1232.90	c cleaning 10018 clauses out of 20070 with flag 1823001/1829707
1246.67/1243.68	c cleaning 10003 clauses out of 20053 with flag 1833002/1839708
1259.19/1256.17	c cleaning 10006 clauses out of 20051 with flag 1843003/1849709
1269.41/1266.31	c cleaning 10005 clauses out of 20046 with flag 1853004/1859710
1282.03/1278.95	c cleaning 10000 clauses out of 20039 with flag 1863002/1869708
1292.85/1289.72	c cleaning 9962 clauses out of 20037 with flag 1873000/1879706
1303.25/1300.17	c cleaning 10019 clauses out of 20075 with flag 1883000/1889706
1314.57/1311.46	c cleaning 10008 clauses out of 20058 with flag 1893002/1899708
1324.38/1321.22	c cleaning 9985 clauses out of 20049 with flag 1903001/1909707
1334.79/1331.64	c cleaning 10017 clauses out of 20064 with flag 1913001/1919707
1345.70/1342.51	c cleaning 9965 clauses out of 20046 with flag 1923000/1929706
1355.91/1352.75	c cleaning 9974 clauses out of 20082 with flag 1933001/1939707
1366.82/1363.67	c cleaning 10040 clauses out of 20107 with flag 1943000/1949706
1377.53/1374.34	c cleaning 9986 clauses out of 20069 with flag 1953002/1959708
1386.34/1383.14	c cleaning 10001 clauses out of 20084 with flag 1963003/1969709
1395.66/1392.45	c cleaning 10018 clauses out of 20082 with flag 1973002/1979708
1405.28/1402.05	c cleaning 10015 clauses out of 20064 with flag 1983002/1989708
1408.80/1405.53	c cleaning 9977 clauses out of 20048 with flag 1993001/1999707
1413.11/1409.86	c cleaning 10004 clauses out of 20071 with flag 2003001/2009707
1418.62/1415.35	c cleaning 9989 clauses out of 20066 with flag 2013000/2019706
1426.44/1423.16	c cleaning 10002 clauses out of 20079 with flag 2023002/2029708
1431.76/1428.46	c cleaning 9998 clauses out of 20075 with flag 2033000/2039706
1437.57/1434.29	c cleaning 10021 clauses out of 20080 with flag 2043003/2049709
1444.08/1440.72	c cleaning 9952 clauses out of 20056 with flag 2053000/2059706
1449.10/1445.76	c cleaning 10019 clauses out of 20104 with flag 2063000/2069706
1454.51/1451.10	c cleaning 10020 clauses out of 20085 with flag 2073000/2079706
1461.32/1457.96	c cleaning 9999 clauses out of 20065 with flag 2083000/2089706
1468.13/1464.70	c cleaning 9999 clauses out of 20066 with flag 2093000/2099706
1474.64/1471.26	c cleaning 10012 clauses out of 20069 with flag 2103002/2109708
1481.96/1478.53	c cleaning 10005 clauses out of 20058 with flag 2113003/2119709
1488.86/1485.41	c cleaning 10002 clauses out of 20051 with flag 2123001/2129707
1501.38/1497.94	c cleaning 9966 clauses out of 20049 with flag 2133001/2139707
1511.81/1508.36	c cleaning 10029 clauses out of 20088 with flag 2143006/2149712
1525.73/1522.24	c cleaning 9983 clauses out of 20056 with flag 2153003/2159709
1538.95/1535.44	c cleaning 10015 clauses out of 20071 with flag 2163001/2169707
1549.27/1545.78	c cleaning 9983 clauses out of 20055 with flag 2173000/2179706
1560.78/1557.27	c cleaning 9997 clauses out of 20073 with flag 2183001/2189707
1568.71/1565.11	c cleaning 9994 clauses out of 20077 with flag 2193002/2199708
1576.33/1572.71	c cleaning 9993 clauses out of 20083 with flag 2203002/2209708
1584.45/1580.82	c cleaning 10002 clauses out of 20092 with flag 2213004/2219710
1592.76/1589.16	c cleaning 9998 clauses out of 20086 with flag 2223000/2229706
1601.68/1598.06	c cleaning 10001 clauses out of 20088 with flag 2233000/2239706
1610.29/1606.67	c cleaning 10001 clauses out of 20089 with flag 2243002/2249708
1618.41/1614.78	c cleaning 10001 clauses out of 20088 with flag 2253002/2259708
1626.72/1623.07	c cleaning 10000 clauses out of 20088 with flag 2263003/2269709
1634.73/1631.03	c cleaning 9992 clauses out of 20085 with flag 2273000/2279706
1641.14/1637.43	c cleaning 10028 clauses out of 20096 with flag 2283003/2289709
1646.36/1642.69	c cleaning 10011 clauses out of 20066 with flag 2293001/2299707
1652.27/1648.56	c cleaning 10010 clauses out of 20056 with flag 2303002/2309708
1657.88/1654.14	c cleaning 9993 clauses out of 20044 with flag 2313000/2319706
1663.80/1660.02	c cleaning 10005 clauses out of 20051 with flag 2323000/2329706
1669.91/1666.11	c cleaning 10005 clauses out of 20049 with flag 2333003/2339709
1675.72/1671.97	c cleaning 10002 clauses out of 20044 with flag 2343003/2349709
1681.83/1678.01	c cleaning 10002 clauses out of 20040 with flag 2353001/2359707
1687.73/1683.99	c cleaning 10003 clauses out of 20039 with flag 2363002/2369708
1693.64/1689.85	c cleaning 9993 clauses out of 20035 with flag 2373001/2379707
1699.75/1695.93	c cleaning 10003 clauses out of 20044 with flag 2383003/2389709
1705.67/1701.83	c cleaning 9992 clauses out of 20039 with flag 2393001/2399707
1712.07/1708.21	c cleaning 10006 clauses out of 20047 with flag 2403001/2409707
1717.88/1714.08	c cleaning 9993 clauses out of 20042 with flag 2413002/2419708
1723.98/1720.10	c cleaning 10006 clauses out of 20049 with flag 2423002/2429708
1729.89/1726.06	c cleaning 9997 clauses out of 20047 with flag 2433006/2439712
1737.50/1733.64	c cleaning 9987 clauses out of 20045 with flag 2443001/2449707
1745.72/1741.87	c cleaning 10006 clauses out of 20063 with flag 2453006/2459712
1754.24/1750.38	c cleaning 9996 clauses out of 20052 with flag 2463001/2469707
1762.97/1759.08	c cleaning 10004 clauses out of 20059 with flag 2473004/2479710
1771.27/1767.35	c cleaning 9991 clauses out of 20052 with flag 2483001/2489707
1779.08/1775.19	c cleaning 10001 clauses out of 20060 with flag 2493000/2499706
1786.70/1782.75	c cleaning 9999 clauses out of 20060 with flag 2503001/2509707
1793.92/1789.99	c cleaning 10001 clauses out of 20061 with flag 2513001/2519707
1800.04/1796.01	c starts		: 239
1800.04/1796.01	c conflicts		: 2527555
1800.04/1796.01	c decisions		: 4203521
1800.04/1796.01	c propagations		: 78741569
1800.04/1796.01	c inspects		: 3441550506
1800.04/1796.01	c shortcuts		: 0
1800.04/1796.01	c learnt literals	: 0
1800.04/1796.01	c learnt binary clauses	: 0
1800.04/1796.01	c learnt ternary clauses	: 0
1800.04/1796.01	c learnt constraints	: 2527555
1800.04/1796.01	c ignored constraints	: 0
1800.04/1796.01	c root simplifications	: 0
1800.04/1796.01	c removed literals (reason simplification)	: 19681701
1800.04/1796.01	c reason swapping (by a shorter reason)	: 0
1800.04/1796.01	c Calls to reduceDB	: 253
1800.04/1796.01	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.01	c number of learned constraints concerned by reduction	: 0
1800.04/1796.01	c number of learning phase by resolution	: 0
1800.04/1796.01	c number of learning phase by cutting planes	: 0
1800.04/1796.01	c speed (assignments/second)	: 43904.70073031772
1800.04/1796.01	c non guided choices	200226
1800.04/1796.02	c learnt constraints type 
1800.04/1796.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17918
1800.04/1796.02	c constraints type 
1800.04/1796.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61
1800.04/1796.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 42
1800.04/1796.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19
1800.04/1796.02	s SATISFIABLE
1800.04/1796.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 
1800.04/1796.03	c objective function=1
1800.04/1796.03	c Total wall clock time (in seconds): 1795.723

Verifier Data 

OK	1

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 /var/tmp/evaluation-result-3492283-1307908929/watcher-3492283-1307908929 -o /var/tmp/evaluation-result-3492283-1307908929/solver-3492283-1307908929 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492283-1307908929.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.53 1.89 1.92 1/177 32053
/proc/meminfo: memFree=1353408/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=20404 CPUtime=0 cores=1,3,5,7
/proc/32053/stat : 32053 (java) D 32051 32053 29668 0 -1 4202496 429 0 0 0 0 0 0 0 24 0 1 0 981123615 20893696 173 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260900474390 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/32053/statm: 5101 173 132 9 0 67 0

[startup+0.105691 s]
/proc/loadavg: 1.53 1.89 1.92 1/177 32053
/proc/meminfo: memFree=1353408/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 1268 0 57 0 0 0 0 0 18 0 2 0 981123615 36646912 1025 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 8947 1025 788 9 0 386 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788

[startup+0.20071 s]
/proc/loadavg: 1.53 1.89 1.92 1/177 32053
/proc/meminfo: memFree=1353408/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10467480 CPUtime=0.05 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 11241 0 104 0 3 2 0 0 18 0 13 0 981123615 10718699520 11039 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2616870 11041 1679 9 0 2607618 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10467480

[startup+0.300654 s]
/proc/loadavg: 1.53 1.89 1.92 1/177 32053
/proc/meminfo: memFree=1353408/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10539344 CPUtime=0.12 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 12948 0 104 0 10 2 0 0 18 0 18 0 981123615 10792288256 12747 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2634836 12748 2092 9 0 2625570 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539344

[startup+0.70058 s]
/proc/loadavg: 1.53 1.89 1.92 1/177 32053
/proc/meminfo: memFree=1353408/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10542552 CPUtime=1.03 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 18435 0 104 0 100 3 0 0 18 0 19 0 981123615 10795573248 16447 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2635638 16447 2226 9 0 2626372 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10542552

[startup+1.50143 s]
/proc/loadavg: 1.53 1.89 1.92 3/214 32090
/proc/meminfo: memFree=1210052/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10542552 CPUtime=1.88 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 20204 0 104 0 185 3 0 0 18 0 19 0 981123615 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2635638 18215 2226 9 0 2626372 0
[pid=32053/tid=32055] ppid=32051 vsize=10542552 CPUtime=1.29 cores=1,3,5,7
/proc/32053/task/32055/stat : 32055 (java) R 32051 32053 29668 0 -1 4202560 15200 0 50 0 127 2 0 0 20 0 19 0 981123623 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 46912505626968 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=32053/tid=32064] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32066] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32067] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32068] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32069] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32070] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32071] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32072] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 18215 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32073] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32073/stat : 32073 (java) S 32051 32053 29668 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 981123631 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 0 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32076] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32076/stat : 32076 (java) S 32051 32053 29668 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 981123632 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32078] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32078/stat : 32078 (java) S 32051 32053 29668 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 981123632 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32079] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32079/stat : 32079 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917217713 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32081] ppid=32051 vsize=10542552 CPUtime=0.26 cores=1,3,5,7
/proc/32053/task/32081/stat : 32081 (java) S 32051 32053 29668 0 -1 4202560 1842 0 0 0 26 0 0 0 16 0 19 0 981123638 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32083] ppid=32051 vsize=10542552 CPUtime=0.3 cores=1,3,5,7
/proc/32053/task/32083/stat : 32083 (java) S 32051 32053 29668 0 -1 4202560 2052 0 0 0 30 0 0 0 15 0 19 0 981123638 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32085] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32085/stat : 32085 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981123638 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32087] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32087/stat : 32087 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123638 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32089] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32089/stat : 32089 (java) S 32051 32053 29668 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981123662 10795573248 18216 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10542552

[startup+3.10114 s]
/proc/loadavg: 1.53 1.89 1.92 3/214 32090
/proc/meminfo: memFree=1192560/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10542552 CPUtime=3.47 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 22658 0 104 0 344 3 0 0 18 0 19 0 981123615 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2635638 20669 2226 9 0 2626372 0
[pid=32053/tid=32055] ppid=32051 vsize=10542552 CPUtime=2.89 cores=1,3,5,7
/proc/32053/task/32055/stat : 32055 (java) R 32051 32053 29668 0 -1 4202560 17654 0 50 0 287 2 0 0 25 0 19 0 981123623 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 46912505585768 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=32053/tid=32064] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32066] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32067] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32068] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32069] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32070] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32071] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32072] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32073] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32073/stat : 32073 (java) S 32051 32053 29668 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981123631 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 0 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32076] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32076/stat : 32076 (java) S 32051 32053 29668 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 981123632 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32078] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32078/stat : 32078 (java) S 32051 32053 29668 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 981123632 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32079] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32079/stat : 32079 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917217713 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32081] ppid=32051 vsize=10542552 CPUtime=0.26 cores=1,3,5,7
/proc/32053/task/32081/stat : 32081 (java) S 32051 32053 29668 0 -1 4202560 1842 0 0 0 26 0 0 0 16 0 19 0 981123638 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32083] ppid=32051 vsize=10542552 CPUtime=0.3 cores=1,3,5,7
/proc/32053/task/32083/stat : 32083 (java) S 32051 32053 29668 0 -1 4202560 2052 0 0 0 30 0 0 0 15 0 19 0 981123638 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32085] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32085/stat : 32085 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981123638 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32087] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32087/stat : 32087 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123638 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32089] ppid=32051 vsize=10542552 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32089/stat : 32089 (java) S 32051 32053 29668 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981123662 10795573248 20669 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10542552

[startup+6.30056 s]
/proc/loadavg: 1.56 1.89 1.92 3/214 32090
/proc/meminfo: memFree=1139336/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10542696 CPUtime=6.75 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 31234 0 104 0 671 4 0 0 18 0 19 0 981123615 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2635674 29214 2251 9 0 2626408 0
[pid=32053/tid=32055] ppid=32051 vsize=10542696 CPUtime=6.04 cores=1,3,5,7
/proc/32053/task/32055/stat : 32055 (java) R 32051 32053 29668 0 -1 4202560 18628 0 50 0 602 2 0 0 25 0 19 0 981123623 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 46912505668060 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=32053/tid=32064] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32053 29668 0 -1 4202560 1269 0 0 0 0 0 0 0 18 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32066] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32067] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32068] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32053 29668 0 -1 4202560 516 0 0 0 0 0 0 0 15 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32069] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32053 29668 0 -1 4202560 269 0 0 0 0 0 0 0 18 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32070] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32053 29668 0 -1 4202560 459 0 0 0 0 0 0 0 18 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32071] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32053 29668 0 -1 4202560 1193 0 0 0 0 0 0 0 18 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32072] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32053 29668 0 -1 4202560 563 0 0 0 0 0 0 0 15 0 19 0 981123628 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32073] ppid=32051 vsize=10542696 CPUtime=0.03 cores=1,3,5,7
/proc/32053/task/32073/stat : 32073 (java) S 32051 32053 29668 0 -1 4202560 3324 0 0 0 3 0 0 0 16 0 19 0 981123631 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 0 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32076] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32076/stat : 32076 (java) S 32051 32053 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32078] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32078/stat : 32078 (java) S 32051 32053 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 4
[pid=32053/tid=32079] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32079/stat : 32079 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917217713 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32081] ppid=32051 vsize=10542696 CPUtime=0.29 cores=1,3,5,7
/proc/32053/task/32081/stat : 32081 (java) S 32051 32053 29668 0 -1 4202560 1851 0 0 0 29 0 0 0 15 0 19 0 981123638 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32083] ppid=32051 vsize=10542696 CPUtime=0.34 cores=1,3,5,7
/proc/32053/task/32083/stat : 32083 (java) S 32051 32053 29668 0 -1 4202560 2061 0 0 0 34 0 0 0 15 0 19 0 981123638 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32085] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32085/stat : 32085 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981123638 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32087] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32087/stat : 32087 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123638 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32089] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32089/stat : 32089 (java) S 32051 32053 29668 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981123662 10795720704 29214 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 10542696

[startup+12.7014 s]

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

[pid=32053/tid=32070] ppid=32051 vsize=10542696 CPUtime=0.63 cores=1,3,5,7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32053 29668 0 -1 4202560 2198 0 0 0 63 0 0 0 16 0 19 0 981123628 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32071] ppid=32051 vsize=10542696 CPUtime=0.6 cores=1,3,5,7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32053 29668 0 -1 4202560 5406 0 0 0 60 0 0 0 15 0 19 0 981123628 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32072] ppid=32051 vsize=10542696 CPUtime=0.57 cores=1,3,5,7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32053 29668 0 -1 4202560 3225 0 0 0 57 0 0 0 15 0 19 0 981123628 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32073] ppid=32051 vsize=10542696 CPUtime=8.94 cores=1,3,5,7
/proc/32053/task/32073/stat : 32073 (java) S 32051 32053 29668 0 -1 4202560 17801 0 0 0 890 4 0 0 15 0 19 0 981123631 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 0 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32076] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32076/stat : 32076 (java) S 32051 32053 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32078] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32078/stat : 32078 (java) S 32051 32053 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 4
[pid=32053/tid=32079] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32079/stat : 32079 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917217713 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32081] ppid=32051 vsize=10542696 CPUtime=0.36 cores=1,3,5,7
/proc/32053/task/32081/stat : 32081 (java) S 32051 32053 29668 0 -1 4202560 2542 0 0 0 36 0 0 0 15 0 19 0 981123638 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32083] ppid=32051 vsize=10542696 CPUtime=0.35 cores=1,3,5,7
/proc/32053/task/32083/stat : 32083 (java) S 32051 32053 29668 0 -1 4202560 2061 0 0 0 35 0 0 0 15 0 19 0 981123638 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32085] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32085/stat : 32085 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981123638 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32087] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32087/stat : 32087 (java) S 32051 32053 29668 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981123638 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32089] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32089/stat : 32089 (java) S 32051 32053 29668 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981123662 10795720704 71055 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1726.19
Current children cumulated vsize (KiB) 10542696

[startup+1782.3 s]
/proc/loadavg: 2.05 2.00 1.94 3/214 32138
/proc/meminfo: memFree=705548/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10542696 CPUtime=1786.3 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 74324 0 104 0 178613 17 0 0 18 0 19 0 981123615 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2635674 71167 2252 9 0 2626408 0
[pid=32053/tid=32055] ppid=32051 vsize=10542696 CPUtime=1771.36 cores=1,3,5,7
/proc/32053/task/32055/stat : 32055 (java) R 32051 32053 29668 0 -1 4202560 24648 0 50 0 177132 4 0 0 25 0 19 0 981123623 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 46912505627652 0 4 0 16800975 0 0 0 -1 5 0 0 11
[pid=32053/tid=32064] ppid=32051 vsize=10542696 CPUtime=0.59 cores=1,3,5,7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32053 29668 0 -1 4202560 2660 0 0 0 59 0 0 0 16 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32066] ppid=32051 vsize=10542696 CPUtime=0.61 cores=1,3,5,7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32053 29668 0 -1 4202560 2541 0 0 0 61 0 0 0 16 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32067] ppid=32051 vsize=10542696 CPUtime=0.61 cores=1,3,5,7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32053 29668 0 -1 4202560 3557 0 0 0 61 0 0 0 16 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32068] ppid=32051 vsize=10542696 CPUtime=0.63 cores=1,3,5,7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32053 29668 0 -1 4202560 4765 0 0 0 62 1 0 0 16 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32069] ppid=32051 vsize=10542696 CPUtime=0.56 cores=1,3,5,7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32053 29668 0 -1 4202560 1615 0 0 0 56 0 0 0 16 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32070] ppid=32051 vsize=10542696 CPUtime=0.64 cores=1,3,5,7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32053 29668 0 -1 4202560 2198 0 0 0 64 0 0 0 16 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32071] ppid=32051 vsize=10542696 CPUtime=0.62 cores=1,3,5,7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32053 29668 0 -1 4202560 5408 0 0 0 62 0 0 0 15 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32072] ppid=32051 vsize=10542696 CPUtime=0.59 cores=1,3,5,7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32053 29668 0 -1 4202560 3225 0 0 0 59 0 0 0 15 0 19 0 981123628 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32073] ppid=32051 vsize=10542696 CPUtime=9.25 cores=1,3,5,7
/proc/32053/task/32073/stat : 32073 (java) S 32051 32053 29668 0 -1 4202560 17901 0 0 0 921 4 0 0 15 0 19 0 981123631 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 0 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32076] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32076/stat : 32076 (java) S 32051 32053 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32078] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32078/stat : 32078 (java) S 32051 32053 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 4
[pid=32053/tid=32079] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32079/stat : 32079 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917217713 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32081] ppid=32051 vsize=10542696 CPUtime=0.36 cores=1,3,5,7
/proc/32053/task/32081/stat : 32081 (java) S 32051 32053 29668 0 -1 4202560 2542 0 0 0 36 0 0 0 15 0 19 0 981123638 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32083] ppid=32051 vsize=10542696 CPUtime=0.35 cores=1,3,5,7
/proc/32053/task/32083/stat : 32083 (java) S 32051 32053 29668 0 -1 4202560 2061 0 0 0 35 0 0 0 15 0 19 0 981123638 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32085] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32085/stat : 32085 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981123638 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32087] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32087/stat : 32087 (java) S 32051 32053 29668 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981123638 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32089] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32089/stat : 32089 (java) S 32051 32053 29668 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981123662 10795720704 71167 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1786.3
Current children cumulated vsize (KiB) 10542696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.04 2.00 1.94 2/194 32141
/proc/meminfo: memFree=1059956/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10542696 CPUtime=1800.04 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 74329 0 104 0 179987 17 0 0 18 0 19 0 981123615 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2635674 71168 2252 9 0 2626408 0
[pid=32053/tid=32055] ppid=32051 vsize=10542696 CPUtime=1784.96 cores=1,3,5,7
/proc/32053/task/32055/stat : 32055 (java) R 32051 32053 29668 0 -1 4202560 24650 0 50 0 178492 4 0 0 25 0 19 0 981123623 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 46912505627573 0 4 0 16800975 0 0 0 -1 5 0 0 11
[pid=32053/tid=32064] ppid=32051 vsize=10542696 CPUtime=0.6 cores=1,3,5,7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32053 29668 0 -1 4202560 2660 0 0 0 60 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32066] ppid=32051 vsize=10542696 CPUtime=0.61 cores=1,3,5,7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32053 29668 0 -1 4202560 2541 0 0 0 61 0 0 0 15 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32067] ppid=32051 vsize=10542696 CPUtime=0.62 cores=1,3,5,7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32053 29668 0 -1 4202560 3557 0 0 0 62 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32068] ppid=32051 vsize=10542696 CPUtime=0.63 cores=1,3,5,7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32053 29668 0 -1 4202560 4765 0 0 0 62 1 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32069] ppid=32051 vsize=10542696 CPUtime=0.56 cores=1,3,5,7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32053 29668 0 -1 4202560 1615 0 0 0 56 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32070] ppid=32051 vsize=10542696 CPUtime=0.64 cores=1,3,5,7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32053 29668 0 -1 4202560 2198 0 0 0 64 0 0 0 15 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32071] ppid=32051 vsize=10542696 CPUtime=0.63 cores=1,3,5,7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32053 29668 0 -1 4202560 5408 0 0 0 63 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32072] ppid=32051 vsize=10542696 CPUtime=0.6 cores=1,3,5,7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32053 29668 0 -1 4202560 3226 0 0 0 60 0 0 0 15 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32073] ppid=32051 vsize=10542696 CPUtime=9.34 cores=1,3,5,7
/proc/32053/task/32073/stat : 32073 (java) S 32051 32053 29668 0 -1 4202560 17901 0 0 0 930 4 0 0 15 0 19 0 981123631 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 0 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32076] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32076/stat : 32076 (java) S 32051 32053 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32078] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32078/stat : 32078 (java) S 32051 32053 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 4
[pid=32053/tid=32079] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32079/stat : 32079 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917217713 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32081] ppid=32051 vsize=10542696 CPUtime=0.36 cores=1,3,5,7
/proc/32053/task/32081/stat : 32081 (java) S 32051 32053 29668 0 -1 4202560 2542 0 0 0 36 0 0 0 15 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32083] ppid=32051 vsize=10542696 CPUtime=0.35 cores=1,3,5,7
/proc/32053/task/32083/stat : 32083 (java) S 32051 32053 29668 0 -1 4202560 2061 0 0 0 35 0 0 0 15 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32085] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32085/stat : 32085 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32087] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32087/stat : 32087 (java) S 32051 32053 29668 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32089] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32089/stat : 32089 (java) S 32051 32053 29668 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981123662 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10542696

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

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

[startup+1796 s]
/proc/loadavg: 2.04 2.00 1.94 2/194 32141
/proc/meminfo: memFree=1059956/32950928 swapFree=67051812/67111528
[pid=32053] ppid=32051 vsize=10542696 CPUtime=1800.04 cores=1,3,5,7
/proc/32053/stat : 32053 (java) S 32051 32053 29668 0 -1 4202496 74329 0 104 0 179987 17 0 0 18 0 19 0 981123615 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7
/proc/32053/statm: 2635674 71168 2252 9 0 2626408 0
[pid=32053/tid=32055] ppid=32051 vsize=10542696 CPUtime=1784.96 cores=1,3,5,7
/proc/32053/task/32055/stat : 32055 (java) R 32051 32053 29668 0 -1 4202560 24650 0 50 0 178492 4 0 0 25 0 19 0 981123623 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 46912505627573 0 4 0 16800975 0 0 0 -1 5 0 0 11
[pid=32053/tid=32064] ppid=32051 vsize=10542696 CPUtime=0.6 cores=1,3,5,7
/proc/32053/task/32064/stat : 32064 (java) S 32051 32053 29668 0 -1 4202560 2660 0 0 0 60 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32066] ppid=32051 vsize=10542696 CPUtime=0.61 cores=1,3,5,7
/proc/32053/task/32066/stat : 32066 (java) S 32051 32053 29668 0 -1 4202560 2541 0 0 0 61 0 0 0 15 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32067] ppid=32051 vsize=10542696 CPUtime=0.62 cores=1,3,5,7
/proc/32053/task/32067/stat : 32067 (java) S 32051 32053 29668 0 -1 4202560 3557 0 0 0 62 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32068] ppid=32051 vsize=10542696 CPUtime=0.63 cores=1,3,5,7
/proc/32053/task/32068/stat : 32068 (java) S 32051 32053 29668 0 -1 4202560 4765 0 0 0 62 1 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32069] ppid=32051 vsize=10542696 CPUtime=0.56 cores=1,3,5,7
/proc/32053/task/32069/stat : 32069 (java) S 32051 32053 29668 0 -1 4202560 1615 0 0 0 56 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32070] ppid=32051 vsize=10542696 CPUtime=0.64 cores=1,3,5,7
/proc/32053/task/32070/stat : 32070 (java) S 32051 32053 29668 0 -1 4202560 2198 0 0 0 64 0 0 0 15 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 7 0 0 0
[pid=32053/tid=32071] ppid=32051 vsize=10542696 CPUtime=0.63 cores=1,3,5,7
/proc/32053/task/32071/stat : 32071 (java) S 32051 32053 29668 0 -1 4202560 5408 0 0 0 63 0 0 0 16 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32072] ppid=32051 vsize=10542696 CPUtime=0.6 cores=1,3,5,7
/proc/32053/task/32072/stat : 32072 (java) S 32051 32053 29668 0 -1 4202560 3226 0 0 0 60 0 0 0 15 0 19 0 981123628 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32073] ppid=32051 vsize=10542696 CPUtime=9.34 cores=1,3,5,7
/proc/32053/task/32073/stat : 32073 (java) S 32051 32053 29668 0 -1 4202560 17901 0 0 0 930 4 0 0 15 0 19 0 981123631 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 0 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32076] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32076/stat : 32076 (java) S 32051 32053 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32078] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32078/stat : 32078 (java) S 32051 32053 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 4
[pid=32053/tid=32079] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32079/stat : 32079 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917217713 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32081] ppid=32051 vsize=10542696 CPUtime=0.36 cores=1,3,5,7
/proc/32053/task/32081/stat : 32081 (java) S 32051 32053 29668 0 -1 4202560 2542 0 0 0 36 0 0 0 15 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 3 0 0 0
[pid=32053/tid=32083] ppid=32051 vsize=10542696 CPUtime=0.35 cores=1,3,5,7
/proc/32053/task/32083/stat : 32083 (java) S 32051 32053 29668 0 -1 4202560 2061 0 0 0 35 0 0 0 15 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32085] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32085/stat : 32085 (java) S 32051 32053 29668 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210009 0 4 0 16800975 18446604465403008192 0 0 -1 1 0 0 0
[pid=32053/tid=32087] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32087/stat : 32087 (java) S 32051 32053 29668 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 981123638 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
[pid=32053/tid=32089] ppid=32051 vsize=10542696 CPUtime=0 cores=1,3,5,7
/proc/32053/task/32089/stat : 32089 (java) S 32051 32053 29668 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981123662 10795720704 71168 33554432000 1073741824 1073778376 140733517827712 18446744073709551615 260917210624 0 4 0 16800975 18446604465403008192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10542696

Child status: 143
Real time (s): 1796.06
CPU time (s): 1800.14
CPU user time (s): 1799.95
CPU system time (s): 0.186971
CPU usage (%): 100.227
Max. virtual memory (cumulated for all children) (KiB): 10542696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74429
page faults= 104
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43988
involuntary context switches= 19634

runsolver used 3.00554 second user time and 6.82096 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-12 22:02:09
IDJOB=3492283
IDBENCH=78723
IDSOLVER=1982
FILE ID=node116/3492283-1307908929
RUNJOBID= node116-1307908929-32026
PBS_JOBID= 13559589
Free space on /var/tmp= 2884 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492283-1307908929/watcher-3492283-1307908929 -o /var/tmp/evaluation-result-3492283-1307908929/solver-3492283-1307908929 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492283-1307908929.wbo

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

MD5SUM BENCH= 93dc403e7aa7832c1308ab9b3db02163
RANDOM SEED=1503878110

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1353948 kB
Buffers:         61208 kB
Cached:       30562776 kB
SwapCached:      12792 kB
Active:       16038444 kB
Inactive:     14605156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1353948 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:             816 kB
Writeback:           0 kB
AnonPages:       17720 kB
Mapped:           8848 kB
Slab:           888156 kB
PageTables:       4844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189248 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node116 at 2011-06-12 22:32:07