Trace number 3492587

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.13 1796.37

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
MD5SUM01a077d3621ba64f6c6e6b6c3ebb8e99
Bench CategorySOFT-SMALLINT-LIN (only soft 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.270957
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 constraints121
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 5857
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5856
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492587-1307910917.wbo
0.09/0.11	c reading problem ... 
0.29/0.25	c ... done. Wall clock time 0.147s.
0.29/0.25	c #vars     3781
0.29/0.25	c #constraints  121
0.29/0.25	c constraints type 
0.29/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61
0.29/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.79/0.43	c SATISFIABLE
0.79/0.43	c OPTIMIZING...
0.79/0.43	c Got one! Elapsed wall clock time (in seconds):0.322
0.79/0.43	o 95
1.02/0.52	c Got one! Elapsed wall clock time (in seconds):0.408
1.02/0.52	o 16
1.15/0.63	c Got one! Elapsed wall clock time (in seconds):0.522
1.15/0.63	o 12
1.26/0.79	c Got one! Elapsed wall clock time (in seconds):0.679
1.26/0.79	o 2
1.78/1.29	c Got one! Elapsed wall clock time (in seconds):1.18
1.78/1.29	o 1
3.47/2.88	c cleaning 3511 clauses out of 7048 with flag 4000/7048
6.02/5.39	c cleaning 4738 clauses out of 9537 with flag 10000/13048
9.33/8.61	c cleaning 5856 clauses out of 11801 with flag 17002/20050
13.33/12.62	c cleaning 6958 clauses out of 13944 with flag 25001/28049
19.38/18.62	c cleaning 7921 clauses out of 15986 with flag 34001/37049
25.28/24.53	c cleaning 9015 clauses out of 18067 with flag 44003/47051
30.00/29.20	c cleaning 9478 clauses out of 19049 with flag 54000/57048
35.51/34.76	c cleaning 9751 clauses out of 19571 with flag 64000/67048
41.42/40.63	c cleaning 9874 clauses out of 19821 with flag 74001/77049
46.92/46.14	c cleaning 9939 clauses out of 19949 with flag 84003/87051
52.03/51.21	c cleaning 10000 clauses out of 20007 with flag 94000/97048
59.43/58.62	c cleaning 9973 clauses out of 20007 with flag 104000/107048
69.06/68.24	c cleaning 9948 clauses out of 20034 with flag 114000/117048
76.88/76.07	c cleaning 9976 clauses out of 20087 with flag 124001/127049
82.59/81.70	c cleaning 10014 clauses out of 20111 with flag 134001/137049
88.39/87.55	c cleaning 10010 clauses out of 20096 with flag 144000/147048
95.90/95.05	c cleaning 10004 clauses out of 20087 with flag 154001/157049
108.40/107.51	c cleaning 10005 clauses out of 20083 with flag 164001/167049
116.22/115.31	c cleaning 9992 clauses out of 20078 with flag 174001/177049
121.44/120.59	c cleaning 10007 clauses out of 20087 with flag 184002/187050
128.35/127.50	c cleaning 9990 clauses out of 20079 with flag 194001/197049
137.05/136.12	c cleaning 9995 clauses out of 20089 with flag 204001/207049
145.08/144.17	c cleaning 9994 clauses out of 20093 with flag 214000/217048
152.80/151.86	c cleaning 9993 clauses out of 20104 with flag 224005/227053
160.51/159.57	c cleaning 10038 clauses out of 20107 with flag 234001/237049
168.82/167.80	c cleaning 10022 clauses out of 20072 with flag 244004/247052
176.73/175.79	c cleaning 10008 clauses out of 20046 with flag 254000/257048
182.74/181.76	c cleaning 9977 clauses out of 20038 with flag 264000/267048
188.65/187.62	c cleaning 9989 clauses out of 20063 with flag 274002/277050
198.26/197.29	c cleaning 9986 clauses out of 20072 with flag 284000/287048
207.78/206.75	c cleaning 9996 clauses out of 20086 with flag 294000/297048
216.70/215.67	c cleaning 9990 clauses out of 20092 with flag 304002/307050
225.00/223.93	c cleaning 9994 clauses out of 20102 with flag 314002/317050
232.41/231.38	c cleaning 10038 clauses out of 20108 with flag 324002/327050
240.22/239.16	c cleaning 10022 clauses out of 20068 with flag 334000/337048
248.04/246.92	c cleaning 9990 clauses out of 20046 with flag 344000/347048
253.25/252.11	c cleaning 9995 clauses out of 20056 with flag 354000/357048
258.36/257.21	c cleaning 9995 clauses out of 20061 with flag 364000/367048
264.17/263.02	c cleaning 9999 clauses out of 20067 with flag 374001/377049
269.28/268.15	c cleaning 9999 clauses out of 20068 with flag 384001/387049
275.09/273.92	c cleaning 9972 clauses out of 20070 with flag 394002/397050
282.60/281.42	c cleaning 10001 clauses out of 20097 with flag 404001/407049
290.42/289.22	c cleaning 10015 clauses out of 20096 with flag 414001/417049
297.83/296.68	c cleaning 10004 clauses out of 20081 with flag 424001/427049
304.53/303.39	c cleaning 9999 clauses out of 20076 with flag 434000/437048
311.45/310.23	c cleaning 9998 clauses out of 20078 with flag 444001/447049
315.36/314.13	c cleaning 10021 clauses out of 20079 with flag 454000/457048
319.37/318.11	c cleaning 10001 clauses out of 20058 with flag 464000/467048
328.78/327.51	c cleaning 9992 clauses out of 20057 with flag 474000/477048
337.91/336.61	c cleaning 10013 clauses out of 20070 with flag 484005/487053
348.62/347.39	c cleaning 10005 clauses out of 20053 with flag 494001/497049
358.64/357.37	c cleaning 10000 clauses out of 20047 with flag 504000/507048
368.75/367.47	c cleaning 10000 clauses out of 20047 with flag 514000/517048
378.16/376.86	c cleaning 9999 clauses out of 20050 with flag 524003/527051
389.27/387.98	c cleaning 9970 clauses out of 20049 with flag 534001/537049
401.09/399.72	c cleaning 10016 clauses out of 20079 with flag 544001/547049
413.71/412.35	c cleaning 9998 clauses out of 20064 with flag 554002/557050
424.63/423.30	c cleaning 10014 clauses out of 20066 with flag 564002/567050
435.65/434.24	c cleaning 9970 clauses out of 20053 with flag 574003/577051
448.27/446.84	c cleaning 10016 clauses out of 20080 with flag 584000/587048
453.09/451.70	c cleaning 9986 clauses out of 20064 with flag 594000/597048
459.11/457.65	c cleaning 10006 clauses out of 20079 with flag 604001/607049
465.61/464.11	c cleaning 9997 clauses out of 20072 with flag 614000/617048
472.12/470.62	c cleaning 10002 clauses out of 20076 with flag 624001/627049
480.63/479.17	c cleaning 10001 clauses out of 20074 with flag 634001/637049
489.96/488.49	c cleaning 10008 clauses out of 20072 with flag 644000/647048
502.08/500.54	c cleaning 9969 clauses out of 20064 with flag 654000/657048
512.19/510.66	c cleaning 10027 clauses out of 20099 with flag 664004/667052
522.70/521.15	c cleaning 9983 clauses out of 20068 with flag 674000/677048
532.02/530.49	c cleaning 9998 clauses out of 20085 with flag 684000/687048
542.44/540.81	c cleaning 10002 clauses out of 20090 with flag 694003/697051
552.06/550.46	c cleaning 10001 clauses out of 20087 with flag 704002/707050
563.17/561.54	c cleaning 9995 clauses out of 20086 with flag 714002/717050
569.69/568.04	c cleaning 10023 clauses out of 20090 with flag 724001/727049
576.81/575.11	c cleaning 10005 clauses out of 20068 with flag 734002/737050
584.52/582.82	c cleaning 10003 clauses out of 20062 with flag 744001/747049
596.73/595.09	c cleaning 10008 clauses out of 20058 with flag 754000/757048
606.94/605.23	c cleaning 10002 clauses out of 20050 with flag 764000/767048
620.36/618.69	c cleaning 10000 clauses out of 20048 with flag 774000/777048
629.57/627.80	c cleaning 9978 clauses out of 20049 with flag 784001/787049
641.08/639.34	c cleaning 9975 clauses out of 20070 with flag 794000/797048
652.80/651.07	c cleaning 10006 clauses out of 20096 with flag 804001/807049
665.81/664.00	c cleaning 9977 clauses out of 20090 with flag 814001/817049
680.03/678.25	c cleaning 10019 clauses out of 20112 with flag 824000/827048
693.25/691.49	c cleaning 9985 clauses out of 20093 with flag 834000/837048
704.96/703.15	c cleaning 10019 clauses out of 20111 with flag 844003/847051
718.18/716.33	c cleaning 9993 clauses out of 20089 with flag 854000/857048
729.69/727.82	c cleaning 9991 clauses out of 20097 with flag 864001/867049
740.70/738.82	c cleaning 9997 clauses out of 20105 with flag 874000/877048
747.81/745.98	c cleaning 10019 clauses out of 20108 with flag 884000/887048
752.72/750.88	c cleaning 9983 clauses out of 20089 with flag 894000/897048
757.93/756.01	c cleaning 10006 clauses out of 20107 with flag 904001/907049
763.15/761.22	c cleaning 10007 clauses out of 20101 with flag 914001/917049
768.86/766.95	c cleaning 9997 clauses out of 20093 with flag 924000/927048
776.57/774.67	c cleaning 10000 clauses out of 20097 with flag 934001/937049
781.19/779.26	c cleaning 10036 clauses out of 20097 with flag 944001/947049
787.89/785.99	c cleaning 9977 clauses out of 20060 with flag 954000/957048
796.31/794.39	c cleaning 9988 clauses out of 20083 with flag 964000/967048
801.52/799.50	c cleaning 10022 clauses out of 20097 with flag 974002/977050
808.34/806.40	c cleaning 10006 clauses out of 20073 with flag 984000/987048
817.16/815.13	c cleaning 9995 clauses out of 20069 with flag 994002/997050
826.37/824.39	c cleaning 10016 clauses out of 20083 with flag 1004011/1007059
833.29/831.21	c cleaning 9973 clauses out of 20058 with flag 1014002/1017050
845.01/842.97	c cleaning 9947 clauses out of 20086 with flag 1024003/1027051
857.23/855.17	c cleaning 10038 clauses out of 20136 with flag 1034000/1037048
867.94/865.83	c cleaning 10020 clauses out of 20098 with flag 1044000/1047048
880.36/878.26	c cleaning 9995 clauses out of 20080 with flag 1054002/1057050
893.58/891.44	c cleaning 10005 clauses out of 20086 with flag 1064003/1067051
905.60/903.42	c cleaning 9996 clauses out of 20080 with flag 1074002/1077050
914.71/912.55	c cleaning 10023 clauses out of 20082 with flag 1084000/1087048
923.53/921.37	c cleaning 10004 clauses out of 20060 with flag 1094001/1097049
932.44/930.26	c cleaning 10008 clauses out of 20057 with flag 1104002/1107050
941.56/939.35	c cleaning 10001 clauses out of 20048 with flag 1114001/1117049
950.57/948.35	c cleaning 10002 clauses out of 20046 with flag 1124000/1127048
959.08/956.81	c cleaning 10004 clauses out of 20044 with flag 1134000/1137048
967.60/965.38	c cleaning 9994 clauses out of 20042 with flag 1144002/1147050
976.52/974.22	c cleaning 10001 clauses out of 20046 with flag 1154000/1157048
985.74/983.43	c cleaning 10001 clauses out of 20046 with flag 1164001/1167049
995.25/992.98	c cleaning 10002 clauses out of 20046 with flag 1174002/1177050
1001.86/999.57	c cleaning 10004 clauses out of 20045 with flag 1184003/1187051
1010.28/1007.93	c cleaning 9982 clauses out of 20040 with flag 1194002/1197050
1019.60/1017.20	c cleaning 10004 clauses out of 20056 with flag 1204000/1207048
1028.31/1025.95	c cleaning 9987 clauses out of 20052 with flag 1214000/1217048
1037.63/1035.21	c cleaning 10011 clauses out of 20066 with flag 1224001/1227049
1046.15/1043.80	c cleaning 10004 clauses out of 20055 with flag 1234001/1237049
1055.36/1052.93	c cleaning 10004 clauses out of 20053 with flag 1244003/1247051
1065.48/1063.03	c cleaning 10002 clauses out of 20054 with flag 1254008/1257056
1073.91/1071.46	c cleaning 9984 clauses out of 20047 with flag 1264003/1267051
1082.31/1079.88	c cleaning 10000 clauses out of 20063 with flag 1274003/1277051
1089.92/1087.49	c cleaning 10010 clauses out of 20062 with flag 1284002/1287050
1098.83/1096.34	c cleaning 10000 clauses out of 20050 with flag 1294000/1297048
1106.84/1104.34	c cleaning 9992 clauses out of 20052 with flag 1304002/1307050
1115.55/1113.05	c cleaning 10004 clauses out of 20059 with flag 1314001/1317049
1123.47/1120.96	c cleaning 9990 clauses out of 20055 with flag 1324001/1327049
1128.78/1126.22	c cleaning 10002 clauses out of 20067 with flag 1334003/1337051
1134.30/1131.70	c cleaning 9990 clauses out of 20065 with flag 1344003/1347051
1139.81/1137.27	c cleaning 9991 clauses out of 20072 with flag 1354000/1357048
1146.33/1143.72	c cleaning 10003 clauses out of 20081 with flag 1364000/1367048
1156.74/1154.10	c cleaning 9998 clauses out of 20078 with flag 1374000/1377048
1166.07/1163.42	c cleaning 10000 clauses out of 20080 with flag 1384000/1387048
1174.79/1172.19	c cleaning 10003 clauses out of 20083 with flag 1394003/1397051
1184.71/1182.05	c cleaning 10004 clauses out of 20081 with flag 1404004/1407052
1192.93/1190.26	c cleaning 10007 clauses out of 20075 with flag 1414002/1417050
1203.35/1200.64	c cleaning 9955 clauses out of 20066 with flag 1424000/1427048
1216.07/1213.36	c cleaning 9995 clauses out of 20114 with flag 1434003/1437051
1227.39/1224.64	c cleaning 9996 clauses out of 20123 with flag 1444007/1447055
1240.41/1237.64	c cleaning 9965 clauses out of 20122 with flag 1454002/1457050
1249.44/1246.65	c cleaning 10043 clauses out of 20156 with flag 1464001/1467049
1258.85/1256.10	c cleaning 10024 clauses out of 20113 with flag 1474001/1477049
1268.77/1265.99	c cleaning 10009 clauses out of 20089 with flag 1484001/1487049
1278.09/1275.24	c cleaning 10000 clauses out of 20080 with flag 1494001/1497049
1287.51/1284.63	c cleaning 9995 clauses out of 20079 with flag 1504000/1507048
1297.33/1294.42	c cleaning 10006 clauses out of 20087 with flag 1514003/1517051
1304.73/1301.87	c cleaning 10017 clauses out of 20080 with flag 1524002/1527050
1313.45/1310.52	c cleaning 10001 clauses out of 20063 with flag 1534002/1537050
1322.87/1319.94	c cleaning 10006 clauses out of 20060 with flag 1544000/1547048
1332.09/1329.10	c cleaning 10011 clauses out of 20058 with flag 1554004/1557052
1339.31/1336.40	c cleaning 10005 clauses out of 20046 with flag 1564003/1567051
1349.72/1346.77	c cleaning 9998 clauses out of 20038 with flag 1574000/1577048
1358.64/1355.65	c cleaning 9995 clauses out of 20042 with flag 1584002/1587050
1367.76/1364.71	c cleaning 10010 clauses out of 20047 with flag 1594002/1597050
1377.37/1374.33	c cleaning 9998 clauses out of 20035 with flag 1604000/1607048
1387.59/1384.54	c cleaning 10003 clauses out of 20038 with flag 1614001/1617049
1396.50/1393.42	c cleaning 9987 clauses out of 20034 with flag 1624000/1627048
1407.61/1404.55	c cleaning 9996 clauses out of 20047 with flag 1634000/1637048
1418.84/1415.76	c cleaning 10003 clauses out of 20052 with flag 1644001/1647049
1429.94/1426.88	c cleaning 9984 clauses out of 20048 with flag 1654000/1657048
1442.46/1439.33	c cleaning 10008 clauses out of 20069 with flag 1664005/1667053
1454.98/1451.84	c cleaning 9977 clauses out of 20061 with flag 1674005/1677053
1466.00/1462.85	c cleaning 10015 clauses out of 20079 with flag 1684000/1687048
1479.83/1476.66	c cleaning 10004 clauses out of 20065 with flag 1694001/1697049
1491.85/1488.61	c cleaning 9982 clauses out of 20060 with flag 1704000/1707048
1504.07/1500.86	c cleaning 10008 clauses out of 20078 with flag 1714000/1717048
1515.79/1512.52	c cleaning 9985 clauses out of 20070 with flag 1724000/1727048
1527.80/1524.58	c cleaning 10003 clauses out of 20087 with flag 1734002/1737050
1538.92/1535.67	c cleaning 9994 clauses out of 20085 with flag 1744003/1747051
1550.64/1547.34	c cleaning 10009 clauses out of 20090 with flag 1754002/1757050
1562.94/1559.61	c cleaning 10016 clauses out of 20084 with flag 1764005/1767053
1571.76/1568.46	c cleaning 9994 clauses out of 20065 with flag 1774002/1777050
1581.58/1578.28	c cleaning 9990 clauses out of 20071 with flag 1784002/1787050
1591.99/1588.69	c cleaning 10006 clauses out of 20079 with flag 1794000/1797048
1602.31/1598.98	c cleaning 10002 clauses out of 20075 with flag 1804002/1807050
1612.53/1609.16	c cleaning 10002 clauses out of 20073 with flag 1814002/1817050
1622.25/1618.82	c cleaning 10001 clauses out of 20069 with flag 1824000/1827048
1633.27/1629.88	c cleaning 9971 clauses out of 20069 with flag 1834001/1837049
1643.50/1640.10	c cleaning 10015 clauses out of 20101 with flag 1844004/1847052
1652.81/1649.34	c cleaning 10007 clauses out of 20083 with flag 1854001/1857049
1663.22/1659.79	c cleaning 9982 clauses out of 20076 with flag 1864001/1867049
1673.95/1670.48	c cleaning 9970 clauses out of 20094 with flag 1874001/1877049
1683.78/1680.21	c cleaning 10016 clauses out of 20126 with flag 1884003/1887051
1693.98/1690.49	c cleaning 10017 clauses out of 20107 with flag 1894000/1897048
1703.40/1699.88	c cleaning 10008 clauses out of 20090 with flag 1904000/1907048
1712.91/1709.38	c cleaning 9988 clauses out of 20084 with flag 1914002/1917050
1720.52/1716.96	c cleaning 10003 clauses out of 20094 with flag 1924000/1927048
1728.93/1725.35	c cleaning 10012 clauses out of 20092 with flag 1934001/1937049
1738.94/1735.33	c cleaning 9996 clauses out of 20085 with flag 1944006/1947054
1748.84/1745.21	c cleaning 9979 clauses out of 20083 with flag 1954000/1957048
1759.65/1756.08	c cleaning 10001 clauses out of 20106 with flag 1964002/1967050
1769.77/1766.20	c cleaning 10020 clauses out of 20106 with flag 1974003/1977051
1779.38/1775.78	c cleaning 10008 clauses out of 20087 with flag 1984004/1987052
1785.28/1781.67	c cleaning 10001 clauses out of 20076 with flag 1994001/1997049
1790.50/1786.90	c cleaning 9984 clauses out of 20075 with flag 2004001/2007049
1797.31/1793.65	c cleaning 10018 clauses out of 20090 with flag 2014000/2017048
1800.04/1796.31	c starts		: 228
1800.04/1796.31	c conflicts		: 2021297
1800.04/1796.31	c decisions		: 3547576
1800.04/1796.31	c propagations		: 67882938
1800.04/1796.31	c inspects		: 2664034425
1800.04/1796.31	c shortcuts		: 0
1800.04/1796.32	c learnt literals	: 0
1800.04/1796.32	c learnt binary clauses	: 0
1800.04/1796.32	c learnt ternary clauses	: 0
1800.04/1796.32	c learnt constraints	: 2021297
1800.04/1796.32	c ignored constraints	: 0
1800.04/1796.32	c root simplifications	: 0
1800.04/1796.32	c removed literals (reason simplification)	: 16777082
1800.04/1796.32	c reason swapping (by a shorter reason)	: 0
1800.04/1796.32	c Calls to reduceDB	: 203
1800.04/1796.32	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.32	c number of learned constraints concerned by reduction	: 0
1800.04/1796.32	c number of learning phase by resolution	: 0
1800.04/1796.32	c number of learning phase by cutting planes	: 0
1800.04/1796.32	c speed (assignments/second)	: 37817.23617527758
1800.04/1796.32	c non guided choices	165449
1800.04/1796.32	c learnt constraints type 
1800.04/1796.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14334
1800.04/1796.32	c constraints type 
1800.04/1796.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61
1800.04/1796.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 61
1800.04/1796.32	s SATISFIABLE
1800.04/1796.34	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.34	c objective function=1
1800.04/1796.34	c Total wall clock time (in seconds): 1796.23

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.03 1.97 3/199 3281
/proc/meminfo: memFree=1382544/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4194304 281 0 0 0 0 0 0 0 25 0 1 0 902689562 2523136 44 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271545613959 0 2147483391 4096 0 18446744071699469502 0 0 17 0 0 0 0
/proc/3281/statm: 616 44 35 9 0 27 0

[startup+0.0424101 s]
/proc/loadavg: 2.06 2.03 1.97 3/199 3281
/proc/meminfo: memFree=1382544/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 11174 0 1 0 2 1 0 0 25 0 13 0 902689562 10718699520 10870 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2616870 10872 1659 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.100373 s]
/proc/loadavg: 2.06 2.03 1.97 3/199 3281
/proc/meminfo: memFree=1382544/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10539968 CPUtime=0.09 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 13006 0 1 0 8 1 0 0 25 0 18 0 902689562 10792927232 12702 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2634992 12702 2093 9 0 2625726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539968

[startup+0.300385 s]
/proc/loadavg: 2.06 2.03 1.97 3/199 3281
/proc/meminfo: memFree=1382544/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10542852 CPUtime=0.5 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 16391 0 1 0 47 3 0 0 25 0 19 0 902689562 10795880448 15504 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2635713 15504 2216 9 0 2626447 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542852

[startup+0.700301 s]
/proc/loadavg: 2.06 2.03 1.97 3/199 3281
/proc/meminfo: memFree=1382544/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10544040 CPUtime=1.26 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 19065 0 1 0 123 3 0 0 25 0 19 0 902689562 10797096960 17151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2636010 17151 2227 9 0 2626744 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10544040

[startup+1.50114 s]
/proc/loadavg: 2.06 2.03 1.97 3/218 3301
/proc/meminfo: memFree=1320340/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10545064 CPUtime=2.16 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 20998 0 1 0 213 3 0 0 25 0 19 0 902689562 10798145536 18850 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2636266 18850 2227 9 0 2627000 0
[pid=3281/tid=3283] ppid=3279 vsize=10545064 CPUtime=1.47 cores=0,2,4,6
/proc/3281/task/3283/stat : 3283 (java) R 3279 3281 446 0 -1 4202560 15191 0 1 0 145 2 0 0 20 0 19 0 902689562 10798145536 18850 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 46912505776907 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3281/tid=3284] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3284/stat : 3284 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18850 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3285] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3285/stat : 3285 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18850 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3286] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3286/stat : 3286 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18850 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3287] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3287/stat : 3287 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18850 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3288] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3288/stat : 3288 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3290] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3290/stat : 3290 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3291] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3291/stat : 3291 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3292] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3292/stat : 3292 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689564 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3293] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3293/stat : 3293 (java) S 3279 3281 446 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902689565 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 0 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3294] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3294/stat : 3294 (java) S 3279 3281 446 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902689566 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3295] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3295/stat : 3295 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689566 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3296] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3296/stat : 3296 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562361265 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3297] ppid=3279 vsize=10545064 CPUtime=0.31 cores=0,2,4,6
/proc/3281/task/3297/stat : 3297 (java) S 3279 3281 446 0 -1 4202560 1638 0 0 0 31 0 0 0 18 0 19 0 902689568 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3298] ppid=3279 vsize=10545064 CPUtime=0.35 cores=0,2,4,6
/proc/3281/task/3298/stat : 3298 (java) S 3279 3281 446 0 -1 4202560 3007 0 0 0 35 0 0 0 15 0 19 0 902689568 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3299] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3299/stat : 3299 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3300] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3300/stat : 3300 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689568 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3301] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3301/stat : 3301 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689588 10798145536 18851 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10545064

[startup+3.10087 s]
/proc/loadavg: 2.13 2.04 1.97 3/218 3301
/proc/meminfo: memFree=1313148/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10545064 CPUtime=3.79 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 25396 0 1 0 375 4 0 0 25 0 19 0 902689562 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2636266 23238 2252 9 0 2627000 0
[pid=3281/tid=3283] ppid=3279 vsize=10545064 CPUtime=3.06 cores=0,2,4,6
/proc/3281/task/3283/stat : 3283 (java) R 3279 3281 446 0 -1 4202560 16427 0 1 0 303 3 0 0 25 0 19 0 902689562 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 46912505616652 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3281/tid=3284] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3284/stat : 3284 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3285] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3285/stat : 3285 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3286] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3286/stat : 3286 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3287] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3287/stat : 3287 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3288] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3288/stat : 3288 (java) S 3279 3281 446 0 -1 4202560 174 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3290] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3290/stat : 3290 (java) S 3279 3281 446 0 -1 4202560 277 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3291] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3291/stat : 3291 (java) S 3279 3281 446 0 -1 4202560 495 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3292] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3292/stat : 3292 (java) S 3279 3281 446 0 -1 4202560 648 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3293] ppid=3279 vsize=10545064 CPUtime=0.01 cores=0,2,4,6
/proc/3281/task/3293/stat : 3293 (java) S 3279 3281 446 0 -1 4202560 1568 0 0 0 1 0 0 0 15 0 19 0 902689565 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 0 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3294] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3294/stat : 3294 (java) S 3279 3281 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3295] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3295/stat : 3295 (java) S 3279 3281 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3296] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3296/stat : 3296 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562361265 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3297] ppid=3279 vsize=10545064 CPUtime=0.33 cores=0,2,4,6
/proc/3281/task/3297/stat : 3297 (java) S 3279 3281 446 0 -1 4202560 1639 0 0 0 33 0 0 0 17 0 19 0 902689568 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3298] ppid=3279 vsize=10545064 CPUtime=0.36 cores=0,2,4,6
/proc/3281/task/3298/stat : 3298 (java) S 3279 3281 446 0 -1 4202560 3013 0 0 0 36 0 0 0 16 0 19 0 902689568 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3299] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3299/stat : 3299 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3300] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3300/stat : 3300 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689568 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3301] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3301/stat : 3301 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689588 10798145536 23238 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 10545064

[startup+6.30129 s]
/proc/loadavg: 2.13 2.04 1.97 3/218 3301
/proc/meminfo: memFree=1289452/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10545064 CPUtime=7.02 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 27999 0 1 0 697 5 0 0 25 0 19 0 902689562 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2636266 25823 2252 9 0 2627000 0
[pid=3281/tid=3283] ppid=3279 vsize=10545064 CPUtime=6.24 cores=0,2,4,6
/proc/3281/task/3283/stat : 3283 (java) R 3279 3281 446 0 -1 4202560 16429 0 1 0 621 3 0 0 25 0 19 0 902689562 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 46912505672035 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3281/tid=3284] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3284/stat : 3284 (java) S 3279 3281 446 0 -1 4202560 1080 0 0 0 0 0 0 0 16 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3285] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3285/stat : 3285 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3286] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3286/stat : 3286 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3287] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3287/stat : 3287 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3288] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3288/stat : 3288 (java) S 3279 3281 446 0 -1 4202560 1137 0 0 0 0 0 0 0 16 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3290] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3290/stat : 3290 (java) S 3279 3281 446 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3291] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3291/stat : 3291 (java) S 3279 3281 446 0 -1 4202560 495 0 0 0 0 0 0 0 18 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3292] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3292/stat : 3292 (java) S 3279 3281 446 0 -1 4202560 648 0 0 0 0 0 0 0 15 0 19 0 902689564 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3293] ppid=3279 vsize=10545064 CPUtime=0.03 cores=0,2,4,6
/proc/3281/task/3293/stat : 3293 (java) S 3279 3281 446 0 -1 4202560 2124 0 0 0 3 0 0 0 15 0 19 0 902689565 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 0 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3294] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3294/stat : 3294 (java) S 3279 3281 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3295] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3295/stat : 3295 (java) S 3279 3281 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3296] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3296/stat : 3296 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562361265 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3297] ppid=3279 vsize=10545064 CPUtime=0.34 cores=0,2,4,6
/proc/3281/task/3297/stat : 3297 (java) S 3279 3281 446 0 -1 4202560 1640 0 0 0 34 0 0 0 15 0 19 0 902689568 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3298] ppid=3279 vsize=10545064 CPUtime=0.38 cores=0,2,4,6
/proc/3281/task/3298/stat : 3298 (java) S 3279 3281 446 0 -1 4202560 3015 0 0 0 38 0 0 0 15 0 19 0 902689568 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3299] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3299/stat : 3299 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3300] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3300/stat : 3300 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689568 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3301] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3301/stat : 3301 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689588 10798145536 25823 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 10545064

[startup+12.7011 s]

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

[pid=3281/tid=3290] ppid=3279 vsize=10545064 CPUtime=0.5 cores=0,2,4,6
/proc/3281/task/3290/stat : 3290 (java) S 3279 3281 446 0 -1 4202560 3222 0 0 0 50 0 0 0 15 0 19 0 902689564 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3291] ppid=3279 vsize=10545064 CPUtime=0.53 cores=0,2,4,6
/proc/3281/task/3291/stat : 3291 (java) S 3279 3281 446 0 -1 4202560 3331 0 0 0 53 0 0 0 16 0 19 0 902689564 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3292] ppid=3279 vsize=10545064 CPUtime=0.48 cores=0,2,4,6
/proc/3281/task/3292/stat : 3292 (java) S 3279 3281 446 0 -1 4202560 2532 0 0 0 48 0 0 0 16 0 19 0 902689564 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3293] ppid=3279 vsize=10545064 CPUtime=6.95 cores=0,2,4,6
/proc/3281/task/3293/stat : 3293 (java) S 3279 3281 446 0 -1 4202560 15623 0 0 0 691 4 0 0 15 0 19 0 902689565 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 0 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3294] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3294/stat : 3294 (java) S 3279 3281 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3295] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3295/stat : 3295 (java) S 3279 3281 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3296] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3296/stat : 3296 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562361265 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3297] ppid=3279 vsize=10545064 CPUtime=0.41 cores=0,2,4,6
/proc/3281/task/3297/stat : 3297 (java) S 3279 3281 446 0 -1 4202560 1658 0 0 0 41 0 0 0 15 0 19 0 902689568 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3298] ppid=3279 vsize=10545064 CPUtime=0.38 cores=0,2,4,6
/proc/3281/task/3298/stat : 3298 (java) S 3279 3281 446 0 -1 4202560 3015 0 0 0 38 0 0 0 15 0 19 0 902689568 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3299] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3299/stat : 3299 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3300] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3300/stat : 3300 (java) S 3279 3281 446 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902689568 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3301] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3301/stat : 3301 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689588 10798145536 65151 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.93
Current children cumulated vsize (KiB) 10545064

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/218 3790
/proc/meminfo: memFree=1115180/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10545064 CPUtime=1786 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 67738 0 1 0 178584 16 0 0 25 0 19 0 902689562 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2636266 65158 2253 9 0 2627000 0
[pid=3281/tid=3283] ppid=3279 vsize=10545064 CPUtime=1773.72 cores=0,2,4,6
/proc/3281/task/3283/stat : 3283 (java) R 3279 3281 446 0 -1 4202560 23973 0 1 0 177366 6 0 0 25 0 19 0 902689562 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 46912505776658 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3281/tid=3284] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3284/stat : 3284 (java) S 3279 3281 446 0 -1 4202560 3917 0 0 0 51 0 0 0 15 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3285] ppid=3279 vsize=10545064 CPUtime=0.52 cores=0,2,4,6
/proc/3281/task/3285/stat : 3285 (java) S 3279 3281 446 0 -1 4202560 827 0 0 0 52 0 0 0 15 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3286] ppid=3279 vsize=10545064 CPUtime=0.52 cores=0,2,4,6
/proc/3281/task/3286/stat : 3286 (java) S 3279 3281 446 0 -1 4202560 1801 0 0 0 52 0 0 0 15 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3287] ppid=3279 vsize=10545064 CPUtime=0.5 cores=0,2,4,6
/proc/3281/task/3287/stat : 3287 (java) S 3279 3281 446 0 -1 4202560 1186 0 0 0 50 0 0 0 15 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3288] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3288/stat : 3288 (java) S 3279 3281 446 0 -1 4202560 5390 0 0 0 51 0 0 0 15 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3290] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3290/stat : 3290 (java) S 3279 3281 446 0 -1 4202560 3222 0 0 0 51 0 0 0 15 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3291] ppid=3279 vsize=10545064 CPUtime=0.55 cores=0,2,4,6
/proc/3281/task/3291/stat : 3291 (java) S 3279 3281 446 0 -1 4202560 3336 0 0 0 55 0 0 0 16 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3292] ppid=3279 vsize=10545064 CPUtime=0.49 cores=0,2,4,6
/proc/3281/task/3292/stat : 3292 (java) S 3279 3281 446 0 -1 4202560 2533 0 0 0 49 0 0 0 15 0 19 0 902689564 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3293] ppid=3279 vsize=10545064 CPUtime=7.26 cores=0,2,4,6
/proc/3281/task/3293/stat : 3293 (java) S 3279 3281 446 0 -1 4202560 15627 0 0 0 722 4 0 0 15 0 19 0 902689565 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 0 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3294] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3294/stat : 3294 (java) S 3279 3281 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3295] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3295/stat : 3295 (java) S 3279 3281 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3296] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3296/stat : 3296 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562361265 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3297] ppid=3279 vsize=10545064 CPUtime=0.41 cores=0,2,4,6
/proc/3281/task/3297/stat : 3297 (java) S 3279 3281 446 0 -1 4202560 1658 0 0 0 41 0 0 0 15 0 19 0 902689568 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3298] ppid=3279 vsize=10545064 CPUtime=0.38 cores=0,2,4,6
/proc/3281/task/3298/stat : 3298 (java) S 3279 3281 446 0 -1 4202560 3015 0 0 0 38 0 0 0 15 0 19 0 902689568 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3299] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3299/stat : 3299 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3300] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3300/stat : 3300 (java) S 3279 3281 446 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902689568 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3301] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3301/stat : 3301 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689588 10798145536 65158 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1786
Current children cumulated vsize (KiB) 10545064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/218 3791
/proc/meminfo: memFree=1115224/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10545064 CPUtime=1800.04 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 67741 0 1 0 179988 16 0 0 25 0 19 0 902689562 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2636266 65159 2253 9 0 2627000 0
[pid=3281/tid=3283] ppid=3279 vsize=10545064 CPUtime=1787.64 cores=0,2,4,6
/proc/3281/task/3283/stat : 3283 (java) R 3279 3281 446 0 -1 4202560 23975 0 1 0 178758 6 0 0 25 0 19 0 902689562 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 46912505616531 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3281/tid=3284] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3284/stat : 3284 (java) S 3279 3281 446 0 -1 4202560 3917 0 0 0 51 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3285] ppid=3279 vsize=10545064 CPUtime=0.53 cores=0,2,4,6
/proc/3281/task/3285/stat : 3285 (java) S 3279 3281 446 0 -1 4202560 828 0 0 0 53 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3286] ppid=3279 vsize=10545064 CPUtime=0.52 cores=0,2,4,6
/proc/3281/task/3286/stat : 3286 (java) S 3279 3281 446 0 -1 4202560 1801 0 0 0 52 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3287] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3287/stat : 3287 (java) S 3279 3281 446 0 -1 4202560 1186 0 0 0 51 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3288] ppid=3279 vsize=10545064 CPUtime=0.52 cores=0,2,4,6
/proc/3281/task/3288/stat : 3288 (java) S 3279 3281 446 0 -1 4202560 5390 0 0 0 52 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3290] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3290/stat : 3290 (java) S 3279 3281 446 0 -1 4202560 3222 0 0 0 51 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3291] ppid=3279 vsize=10545064 CPUtime=0.56 cores=0,2,4,6
/proc/3281/task/3291/stat : 3291 (java) S 3279 3281 446 0 -1 4202560 3336 0 0 0 56 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3292] ppid=3279 vsize=10545064 CPUtime=0.49 cores=0,2,4,6
/proc/3281/task/3292/stat : 3292 (java) S 3279 3281 446 0 -1 4202560 2533 0 0 0 49 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3293] ppid=3279 vsize=10545064 CPUtime=7.34 cores=0,2,4,6
/proc/3281/task/3293/stat : 3293 (java) S 3279 3281 446 0 -1 4202560 15627 0 0 0 730 4 0 0 15 0 19 0 902689565 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 0 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3294] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3294/stat : 3294 (java) S 3279 3281 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3295] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3295/stat : 3295 (java) S 3279 3281 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3296] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3296/stat : 3296 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562361265 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3297] ppid=3279 vsize=10545064 CPUtime=0.41 cores=0,2,4,6
/proc/3281/task/3297/stat : 3297 (java) S 3279 3281 446 0 -1 4202560 1658 0 0 0 41 0 0 0 15 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3298] ppid=3279 vsize=10545064 CPUtime=0.38 cores=0,2,4,6
/proc/3281/task/3298/stat : 3298 (java) S 3279 3281 446 0 -1 4202560 3015 0 0 0 38 0 0 0 15 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3299] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3299/stat : 3299 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3300] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3300/stat : 3300 (java) S 3279 3281 446 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3301] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3301/stat : 3301 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689588 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10545064

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

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

[startup+1796.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/218 3791
/proc/meminfo: memFree=1115224/32951124 swapFree=67054536/67111528
[pid=3281] ppid=3279 vsize=10545064 CPUtime=1800.04 cores=0,2,4,6
/proc/3281/stat : 3281 (java) S 3279 3281 446 0 -1 4202496 67741 0 1 0 179988 16 0 0 25 0 19 0 902689562 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3281/statm: 2636266 65159 2253 9 0 2627000 0
[pid=3281/tid=3283] ppid=3279 vsize=10545064 CPUtime=1787.64 cores=0,2,4,6
/proc/3281/task/3283/stat : 3283 (java) R 3279 3281 446 0 -1 4202560 23975 0 1 0 178758 6 0 0 25 0 19 0 902689562 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 46912505616531 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3281/tid=3284] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3284/stat : 3284 (java) S 3279 3281 446 0 -1 4202560 3917 0 0 0 51 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3285] ppid=3279 vsize=10545064 CPUtime=0.53 cores=0,2,4,6
/proc/3281/task/3285/stat : 3285 (java) S 3279 3281 446 0 -1 4202560 828 0 0 0 53 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3286] ppid=3279 vsize=10545064 CPUtime=0.52 cores=0,2,4,6
/proc/3281/task/3286/stat : 3286 (java) S 3279 3281 446 0 -1 4202560 1801 0 0 0 52 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3287] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3287/stat : 3287 (java) S 3279 3281 446 0 -1 4202560 1186 0 0 0 51 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3288] ppid=3279 vsize=10545064 CPUtime=0.52 cores=0,2,4,6
/proc/3281/task/3288/stat : 3288 (java) S 3279 3281 446 0 -1 4202560 5390 0 0 0 52 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3290] ppid=3279 vsize=10545064 CPUtime=0.51 cores=0,2,4,6
/proc/3281/task/3290/stat : 3290 (java) S 3279 3281 446 0 -1 4202560 3222 0 0 0 51 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3291] ppid=3279 vsize=10545064 CPUtime=0.56 cores=0,2,4,6
/proc/3281/task/3291/stat : 3291 (java) S 3279 3281 446 0 -1 4202560 3336 0 0 0 56 0 0 0 16 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3292] ppid=3279 vsize=10545064 CPUtime=0.49 cores=0,2,4,6
/proc/3281/task/3292/stat : 3292 (java) S 3279 3281 446 0 -1 4202560 2533 0 0 0 49 0 0 0 15 0 19 0 902689564 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
[pid=3281/tid=3293] ppid=3279 vsize=10545064 CPUtime=7.34 cores=0,2,4,6
/proc/3281/task/3293/stat : 3293 (java) S 3279 3281 446 0 -1 4202560 15627 0 0 0 730 4 0 0 15 0 19 0 902689565 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 0 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3294] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3294/stat : 3294 (java) S 3279 3281 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3295] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3295/stat : 3295 (java) S 3279 3281 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689566 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3296] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3296/stat : 3296 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562361265 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3297] ppid=3279 vsize=10545064 CPUtime=0.41 cores=0,2,4,6
/proc/3281/task/3297/stat : 3297 (java) S 3279 3281 446 0 -1 4202560 1658 0 0 0 41 0 0 0 15 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 0 0 0 0
[pid=3281/tid=3298] ppid=3279 vsize=10545064 CPUtime=0.38 cores=0,2,4,6
/proc/3281/task/3298/stat : 3298 (java) S 3279 3281 446 0 -1 4202560 3015 0 0 0 38 0 0 0 15 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3299] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3299/stat : 3299 (java) S 3279 3281 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562353561 0 4 0 16800975 18446604446690650176 0 0 -1 4 0 0 0
[pid=3281/tid=3300] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3300/stat : 3300 (java) S 3279 3281 446 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902689568 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 2 0 0 0
[pid=3281/tid=3301] ppid=3279 vsize=10545064 CPUtime=0 cores=0,2,4,6
/proc/3281/task/3301/stat : 3301 (java) S 3279 3281 446 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689588 10798145536 65159 33554432000 1073741824 1073778376 140734918351456 18446744073709551615 271562354176 0 4 0 16800975 18446604446690650176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10545064

Child status: 143
Real time (s): 1796.37
CPU time (s): 1800.13
CPU user time (s): 1799.96
CPU system time (s): 0.177972
CPU usage (%): 100.21
Max. virtual memory (cumulated for all children) (KiB): 10545064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67833
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42436
involuntary context switches= 16999

runsolver used 3.18751 second user time and 6.64899 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-12 22:35:17
IDJOB=3492587
IDBENCH=79177
IDSOLVER=1982
FILE ID=node133/3492587-1307910917
RUNJOBID= node133-1307908244-2826
PBS_JOBID= 13559573
Free space on /var/tmp= 2896 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-0-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-3492587-1307910917/watcher-3492587-1307910917 -o /var/tmp/evaluation-result-3492587-1307910917/solver-3492587-1307910917 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492587-1307910917.wbo

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

MD5SUM BENCH= 01a077d3621ba64f6c6e6b6c3ebb8e99
RANDOM SEED=319732388

node133.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.834
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.66
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.834
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	: 5332.75
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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:     32951124 kB
MemFree:       1382840 kB
Buffers:         66816 kB
Cached:       30444576 kB
SwapCached:      10288 kB
Active:       15565436 kB
Inactive:     15052260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1382840 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:             456 kB
Writeback:           0 kB
AnonPages:      104036 kB
Mapped:          21212 kB
Slab:           886852 kB
PageTables:       5560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10549280 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2896 MiB
End job on node133 at 2011-06-12 23:05:15