Trace number 3492275

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MD5SUM7dae57beceb3170ed40c9307fdc88b85
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.199969
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints69
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 3856
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3855
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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.04/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.17	c See www.sat4j.org for details.
0.04/0.18	c version 2.3.1.v20110525
0.04/0.18	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.18	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.18	c java.vm.version	19.1-b02
0.04/0.18	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.18	c sun.arch.data.model	64
0.04/0.18	c java.version		1.6.0_24
0.04/0.18	c os.name		Linux
0.04/0.18	c os.version		2.6.18-164.el5
0.04/0.18	c os.arch		amd64
0.04/0.18	c Free memory 		9996466904
0.04/0.18	c Max memory 		10048897024
0.04/0.18	c Total memory 		10048897024
0.04/0.18	c Number of processors 	8
0.12/0.21	c Pseudo Boolean Optimization
0.12/0.21	c --- Begin Solver configuration ---
0.12/0.21	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.12/0.21	c Learn all clauses as in MiniSAT
0.12/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.21	c Expensive reason simplification
0.12/0.21	c Armin Biere (Picosat) restarts strategy
0.12/0.21	c Glucose learned constraints deletion strategy
0.12/0.21	c timeout=2147483s
0.12/0.21	c DB Simplification allowed=false
0.12/0.21	c --- End Solver configuration ---
0.12/0.21	c solving HOME/instance-3492275-1307908923.wbo
0.12/0.21	c reading problem ... 
0.30/0.34	c ... done. Wall clock time 0.127s.
0.30/0.34	c #vars     2819
0.30/0.34	c #constraints  105
0.30/0.34	c constraints type 
0.30/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
0.30/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
0.30/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
0.54/0.48	c SATISFIABLE
0.54/0.48	c OPTIMIZING...
0.54/0.48	c Got one! Elapsed wall clock time (in seconds):0.274
0.54/0.49	o 134
0.81/0.55	c Got one! Elapsed wall clock time (in seconds):0.338
0.81/0.55	o 95
0.97/0.61	c Got one! Elapsed wall clock time (in seconds):0.397
0.97/0.61	o 64
1.07/0.72	c Got one! Elapsed wall clock time (in seconds):0.508
1.07/0.72	o 41
1.27/0.91	c Got one! Elapsed wall clock time (in seconds):0.704
1.27/0.91	o 37
1.49/1.14	c Got one! Elapsed wall clock time (in seconds):0.925
1.49/1.14	o 35
1.61/1.27	c Got one! Elapsed wall clock time (in seconds):1.057
1.61/1.27	o 1
2.91/2.55	c cleaning 4017 clauses out of 8048 with flag 4000/8048
5.57/5.12	c cleaning 4991 clauses out of 10031 with flag 10000/14048
8.07/7.67	c cleaning 6005 clauses out of 12041 with flag 17001/21049
11.25/10.79	c cleaning 7013 clauses out of 14035 with flag 25000/29048
15.31/14.79	c cleaning 7985 clauses out of 16023 with flag 34001/38049
20.32/19.80	c cleaning 9008 clauses out of 18040 with flag 44003/48051
25.12/24.50	c cleaning 9493 clauses out of 19031 with flag 54002/58050
29.84/29.24	c cleaning 9759 clauses out of 19537 with flag 64001/68049
32.46/31.86	c cleaning 9867 clauses out of 19779 with flag 74002/78050
36.87/36.27	c cleaning 9933 clauses out of 19911 with flag 84001/88049
42.37/41.77	c cleaning 9970 clauses out of 19978 with flag 94001/98049
47.59/46.93	c cleaning 9987 clauses out of 20009 with flag 104002/108050
52.20/51.56	c cleaning 9992 clauses out of 20022 with flag 114002/118050
56.31/55.65	c cleaning 10003 clauses out of 20031 with flag 124003/128051
61.92/61.27	c cleaning 10000 clauses out of 20026 with flag 134001/138049
67.53/66.80	c cleaning 9992 clauses out of 20025 with flag 144000/148048
73.04/72.38	c cleaning 9998 clauses out of 20033 with flag 154000/158048
80.05/79.34	c cleaning 9998 clauses out of 20036 with flag 164001/168049
84.87/84.18	c cleaning 9989 clauses out of 20038 with flag 174001/178049
90.28/89.52	c cleaning 10000 clauses out of 20051 with flag 184003/188051
95.99/95.25	c cleaning 10009 clauses out of 20050 with flag 194002/198050
101.60/100.82	c cleaning 9999 clauses out of 20040 with flag 204001/208049
107.52/106.71	c cleaning 10004 clauses out of 20040 with flag 214000/218048
113.92/113.15	c cleaning 9998 clauses out of 20036 with flag 224000/228048
119.53/118.80	c cleaning 9998 clauses out of 20039 with flag 234001/238049
126.65/125.83	c cleaning 9973 clauses out of 20040 with flag 244000/248048
134.36/133.57	c cleaning 10015 clauses out of 20067 with flag 254000/258048
139.08/138.23	c cleaning 10011 clauses out of 20052 with flag 264000/268048
144.00/143.12	c cleaning 9994 clauses out of 20041 with flag 274000/278048
149.00/148.13	c cleaning 9994 clauses out of 20048 with flag 284001/288049
154.51/153.69	c cleaning 9999 clauses out of 20054 with flag 294001/298049
159.32/158.46	c cleaning 10010 clauses out of 20054 with flag 304000/308048
165.02/164.14	c cleaning 10007 clauses out of 20044 with flag 314000/318048
167.83/166.93	c cleaning 9989 clauses out of 20037 with flag 324000/328048
172.34/171.43	c cleaning 9991 clauses out of 20048 with flag 334000/338048
176.44/175.54	c cleaning 10009 clauses out of 20057 with flag 344000/348048
181.36/180.49	c cleaning 10005 clauses out of 20048 with flag 354000/358048
186.76/185.84	c cleaning 10012 clauses out of 20049 with flag 364006/368054
192.57/191.68	c cleaning 10000 clauses out of 20032 with flag 374001/378049
198.69/197.77	c cleaning 9996 clauses out of 20031 with flag 384000/388048
204.00/203.00	c cleaning 10001 clauses out of 20035 with flag 394000/398048
209.11/208.18	c cleaning 9997 clauses out of 20035 with flag 404001/408049
214.72/213.76	c cleaning 9973 clauses out of 20038 with flag 414001/418049
220.04/219.05	c cleaning 9993 clauses out of 20064 with flag 424000/428048
225.84/224.80	c cleaning 10007 clauses out of 20072 with flag 434001/438049
232.05/231.04	c cleaning 10001 clauses out of 20064 with flag 444000/448048
237.46/236.47	c cleaning 10004 clauses out of 20067 with flag 454004/458052
243.87/242.81	c cleaning 9995 clauses out of 20059 with flag 464000/468048
250.08/249.09	c cleaning 9997 clauses out of 20066 with flag 474002/478050
255.31/254.29	c cleaning 10007 clauses out of 20067 with flag 484000/488048
260.82/259.77	c cleaning 10010 clauses out of 20061 with flag 494001/498049
266.63/265.54	c cleaning 9999 clauses out of 20050 with flag 504000/508048
273.04/271.99	c cleaning 10002 clauses out of 20051 with flag 514000/518048
278.55/277.45	c cleaning 10005 clauses out of 20050 with flag 524001/528049
284.87/283.76	c cleaning 10008 clauses out of 20045 with flag 534001/538049
291.48/290.34	c cleaning 9994 clauses out of 20036 with flag 544000/548048
297.60/296.49	c cleaning 10007 clauses out of 20042 with flag 554000/558048
305.21/304.03	c cleaning 10005 clauses out of 20039 with flag 564004/568052
312.63/311.42	c cleaning 10001 clauses out of 20031 with flag 574001/578049
320.64/319.47	c cleaning 10014 clauses out of 20032 with flag 584003/588051
325.06/323.80	c cleaning 9989 clauses out of 20016 with flag 594001/598049
330.17/328.92	c cleaning 9996 clauses out of 20027 with flag 604001/608049
335.28/334.09	c cleaning 10002 clauses out of 20030 with flag 614000/618048
340.91/339.63	c cleaning 9991 clauses out of 20028 with flag 624000/628048
347.12/345.87	c cleaning 9992 clauses out of 20037 with flag 634000/638048
353.23/351.92	c cleaning 10002 clauses out of 20045 with flag 644000/648048
360.24/358.95	c cleaning 9973 clauses out of 20043 with flag 654000/658048
366.46/365.17	c cleaning 9977 clauses out of 20073 with flag 664003/668051
372.37/371.08	c cleaning 10007 clauses out of 20096 with flag 674003/678051
378.88/377.54	c cleaning 10004 clauses out of 20087 with flag 684001/688049
385.89/384.59	c cleaning 10001 clauses out of 20083 with flag 694001/698049
392.60/391.23	c cleaning 10001 clauses out of 20082 with flag 704001/708049
399.82/398.46	c cleaning 9996 clauses out of 20081 with flag 714001/718049
405.33/403.92	c cleaning 10024 clauses out of 20085 with flag 724001/728049
411.64/410.20	c cleaning 10015 clauses out of 20062 with flag 734002/738050
418.16/416.70	c cleaning 10006 clauses out of 20048 with flag 744003/748051
424.27/422.88	c cleaning 9993 clauses out of 20042 with flag 754003/758051
432.99/431.58	c cleaning 10003 clauses out of 20046 with flag 764000/768048
440.11/438.63	c cleaning 9988 clauses out of 20044 with flag 774001/778049
445.62/444.12	c cleaning 9984 clauses out of 20055 with flag 784000/788048
451.23/449.75	c cleaning 9989 clauses out of 20075 with flag 794004/798052
457.94/456.45	c cleaning 10008 clauses out of 20086 with flag 804004/808052
464.46/462.95	c cleaning 9999 clauses out of 20074 with flag 814000/818048
471.47/469.91	c cleaning 9997 clauses out of 20077 with flag 824002/828050
477.89/476.38	c cleaning 10008 clauses out of 20081 with flag 834003/838051
483.90/482.33	c cleaning 9985 clauses out of 20071 with flag 844001/848049
489.51/487.91	c cleaning 10005 clauses out of 20088 with flag 854003/858051
494.92/493.37	c cleaning 10007 clauses out of 20083 with flag 864003/868051
500.72/499.15	c cleaning 10003 clauses out of 20073 with flag 874000/878048
505.44/503.90	c cleaning 9996 clauses out of 20070 with flag 884000/888048
510.34/508.79	c cleaning 10015 clauses out of 20076 with flag 894002/898050
516.46/514.86	c cleaning 10013 clauses out of 20061 with flag 904002/908050
521.77/520.11	c cleaning 10007 clauses out of 20050 with flag 914004/918052
527.08/525.43	c cleaning 9980 clauses out of 20039 with flag 924000/928048
533.49/531.85	c cleaning 10008 clauses out of 20061 with flag 934002/938050
539.90/538.24	c cleaning 9953 clauses out of 20051 with flag 944000/948048
546.92/545.27	c cleaning 10018 clauses out of 20098 with flag 954000/958048
554.23/552.58	c cleaning 9987 clauses out of 20080 with flag 964000/968048
559.55/557.84	c cleaning 10011 clauses out of 20094 with flag 974001/978049
566.16/564.46	c cleaning 10008 clauses out of 20082 with flag 984000/988048
572.67/570.93	c cleaning 9997 clauses out of 20076 with flag 994002/998050
578.67/576.95	c cleaning 10003 clauses out of 20077 with flag 1004000/1008048
584.38/582.68	c cleaning 10012 clauses out of 20074 with flag 1014000/1018048
591.29/589.54	c cleaning 9994 clauses out of 20063 with flag 1024001/1028049
598.50/596.74	c cleaning 10004 clauses out of 20071 with flag 1034003/1038051
605.61/603.80	c cleaning 10010 clauses out of 20066 with flag 1044002/1048050
612.02/610.21	c cleaning 10007 clauses out of 20055 with flag 1054001/1058049
618.34/616.59	c cleaning 10005 clauses out of 20054 with flag 1064007/1068055
625.44/623.62	c cleaning 9999 clauses out of 20043 with flag 1074001/1078049
630.35/628.53	c cleaning 10005 clauses out of 20044 with flag 1084001/1088049
636.27/634.41	c cleaning 10006 clauses out of 20038 with flag 1094000/1098048
641.58/639.71	c cleaning 10006 clauses out of 20035 with flag 1104003/1108051
646.99/645.16	c cleaning 9990 clauses out of 20026 with flag 1114000/1118048
655.50/653.67	c cleaning 10003 clauses out of 20037 with flag 1124001/1128049
661.11/659.20	c cleaning 10004 clauses out of 20033 with flag 1134000/1138048
666.81/664.90	c cleaning 10000 clauses out of 20029 with flag 1144000/1148048
672.62/670.77	c cleaning 10000 clauses out of 20031 with flag 1154002/1158050
679.64/677.76	c cleaning 10001 clauses out of 20031 with flag 1164002/1168050
685.85/683.98	c cleaning 10000 clauses out of 20029 with flag 1174001/1178049
691.96/690.03	c cleaning 10005 clauses out of 20028 with flag 1184000/1188048
698.17/696.27	c cleaning 9999 clauses out of 20033 with flag 1194010/1198058
704.99/703.05	c cleaning 10002 clauses out of 20026 with flag 1204002/1208050
711.29/709.31	c cleaning 9974 clauses out of 20022 with flag 1214000/1218048
719.70/717.70	c cleaning 9993 clauses out of 20049 with flag 1224001/1228049
727.62/725.67	c cleaning 10017 clauses out of 20060 with flag 1234005/1238053
734.33/732.32	c cleaning 10002 clauses out of 20042 with flag 1244004/1248052
741.93/739.91	c cleaning 10008 clauses out of 20036 with flag 1254000/1258048
748.35/746.32	c cleaning 10005 clauses out of 20030 with flag 1264002/1268050
754.96/752.99	c cleaning 10002 clauses out of 20024 with flag 1274001/1278049
761.87/759.88	c cleaning 9999 clauses out of 20022 with flag 1284001/1288049
768.48/766.44	c cleaning 9997 clauses out of 20022 with flag 1294000/1298048
774.69/772.61	c cleaning 10002 clauses out of 20029 with flag 1304004/1308052
783.50/781.48	c cleaning 9982 clauses out of 20023 with flag 1314000/1318048
790.62/788.53	c cleaning 10014 clauses out of 20042 with flag 1324001/1328049
795.03/792.94	c cleaning 9989 clauses out of 20028 with flag 1334001/1338049
799.45/797.32	c cleaning 10016 clauses out of 20040 with flag 1344002/1348050
802.85/800.75	c cleaning 9980 clauses out of 20023 with flag 1354001/1358049
809.07/806.92	c cleaning 10005 clauses out of 20044 with flag 1364002/1368050
815.38/813.21	c cleaning 10003 clauses out of 20037 with flag 1374000/1378048
820.79/818.66	c cleaning 10009 clauses out of 20036 with flag 1384002/1388050
825.40/823.22	c cleaning 10003 clauses out of 20026 with flag 1394001/1398049
829.71/827.55	c cleaning 9998 clauses out of 20023 with flag 1404001/1408049
834.52/832.38	c cleaning 9954 clauses out of 20024 with flag 1414000/1418048
846.53/844.30	c cleaning 9995 clauses out of 20072 with flag 1424002/1428050
853.95/851.79	c cleaning 9975 clauses out of 20077 with flag 1434002/1438050
862.26/860.01	c cleaning 10005 clauses out of 20100 with flag 1444000/1448048
870.78/868.50	c cleaning 10013 clauses out of 20095 with flag 1454000/1458048
875.19/872.99	c cleaning 9990 clauses out of 20083 with flag 1464001/1468049
881.50/879.26	c cleaning 9991 clauses out of 20094 with flag 1474002/1478050
887.71/885.40	c cleaning 9997 clauses out of 20101 with flag 1484000/1488048
893.42/891.17	c cleaning 9993 clauses out of 20104 with flag 1494000/1498048
899.92/897.62	c cleaning 10002 clauses out of 20113 with flag 1504002/1508050
906.23/903.92	c cleaning 10000 clauses out of 20110 with flag 1514001/1518049
912.04/909.75	c cleaning 10013 clauses out of 20109 with flag 1524000/1528048
919.24/916.91	c cleaning 10017 clauses out of 20096 with flag 1534000/1538048
926.16/923.85	c cleaning 9990 clauses out of 20079 with flag 1544000/1548048
933.17/930.84	c cleaning 10021 clauses out of 20089 with flag 1554000/1558048
940.69/938.37	c cleaning 10014 clauses out of 20069 with flag 1564001/1568049
948.60/946.20	c cleaning 9989 clauses out of 20054 with flag 1574000/1578048
955.52/953.12	c cleaning 10006 clauses out of 20068 with flag 1584003/1588051
961.92/959.52	c cleaning 10006 clauses out of 20059 with flag 1594000/1598048
969.53/967.14	c cleaning 10005 clauses out of 20056 with flag 1604003/1608051
976.06/973.60	c cleaning 10002 clauses out of 20049 with flag 1614001/1618049
981.36/978.98	c cleaning 9997 clauses out of 20046 with flag 1624000/1628048
987.07/984.68	c cleaning 10001 clauses out of 20049 with flag 1634000/1638048
993.48/991.07	c cleaning 9999 clauses out of 20049 with flag 1644001/1648049
999.39/996.92	c cleaning 9999 clauses out of 20050 with flag 1654001/1658049
1005.91/1003.45	c cleaning 10000 clauses out of 20050 with flag 1664000/1668048
1012.12/1009.68	c cleaning 10003 clauses out of 20051 with flag 1674001/1678049
1018.63/1016.14	c cleaning 9999 clauses out of 20047 with flag 1684000/1688048
1025.54/1023.01	c cleaning 10003 clauses out of 20050 with flag 1694002/1698050
1031.95/1029.42	c cleaning 10000 clauses out of 20049 with flag 1704004/1708052
1039.37/1036.84	c cleaning 9998 clauses out of 20045 with flag 1714000/1718048
1046.48/1043.93	c cleaning 9990 clauses out of 20048 with flag 1724001/1728049
1052.58/1050.01	c cleaning 10006 clauses out of 20058 with flag 1734001/1738049
1059.89/1057.38	c cleaning 10000 clauses out of 20052 with flag 1744001/1748049
1066.30/1063.76	c cleaning 10000 clauses out of 20051 with flag 1754000/1758048
1072.82/1070.24	c cleaning 10002 clauses out of 20053 with flag 1764002/1768050
1078.92/1076.39	c cleaning 10006 clauses out of 20049 with flag 1774000/1778048
1085.93/1083.38	c cleaning 10003 clauses out of 20043 with flag 1784000/1788048
1093.35/1090.78	c cleaning 10004 clauses out of 20040 with flag 1794000/1798048
1100.47/1097.87	c cleaning 10000 clauses out of 20036 with flag 1804000/1808048
1107.97/1105.32	c cleaning 10000 clauses out of 20040 with flag 1814004/1818052
1115.18/1112.50	c cleaning 10001 clauses out of 20036 with flag 1824000/1828048
1121.69/1119.04	c cleaning 10002 clauses out of 20035 with flag 1834000/1838048
1127.79/1125.18	c cleaning 10000 clauses out of 20033 with flag 1844000/1848048
1134.40/1131.70	c cleaning 9999 clauses out of 20035 with flag 1854002/1858050
1141.71/1139.05	c cleaning 10001 clauses out of 20036 with flag 1864002/1868050
1148.52/1145.87	c cleaning 9989 clauses out of 20034 with flag 1874001/1878049
1155.23/1152.53	c cleaning 10000 clauses out of 20046 with flag 1884002/1888050
1162.53/1159.84	c cleaning 10002 clauses out of 20046 with flag 1894002/1898050
1169.84/1167.13	c cleaning 10004 clauses out of 20043 with flag 1904001/1908049
1177.74/1175.01	c cleaning 10001 clauses out of 20038 with flag 1914000/1918048
1184.74/1182.05	c cleaning 10000 clauses out of 20040 with flag 1924003/1928051
1192.45/1189.78	c cleaning 9999 clauses out of 20038 with flag 1934001/1938049
1199.86/1197.11	c cleaning 10001 clauses out of 20038 with flag 1944000/1948048
1206.77/1204.05	c cleaning 9998 clauses out of 20037 with flag 1954000/1958048
1213.98/1211.22	c cleaning 10002 clauses out of 20043 with flag 1964004/1968052
1220.89/1218.18	c cleaning 9991 clauses out of 20038 with flag 1974001/1978049
1228.31/1225.52	c cleaning 10006 clauses out of 20052 with flag 1984006/1988054
1232.92/1230.16	c cleaning 10009 clauses out of 20042 with flag 1994002/1998050
1238.03/1235.26	c cleaning 9986 clauses out of 20031 with flag 2004000/2008048
1243.84/1241.02	c cleaning 10006 clauses out of 20049 with flag 2014004/2018052
1249.86/1247.08	c cleaning 9998 clauses out of 20040 with flag 2024001/2028049
1256.07/1253.22	c cleaning 9992 clauses out of 20045 with flag 2034004/2038052
1263.38/1260.53	c cleaning 10012 clauses out of 20050 with flag 2044001/2048049
1269.20/1266.33	c cleaning 10002 clauses out of 20038 with flag 2054001/2058049
1275.31/1272.46	c cleaning 9991 clauses out of 20038 with flag 2064003/2068051
1283.62/1280.72	c cleaning 9992 clauses out of 20045 with flag 2074001/2078049
1289.34/1286.44	c cleaning 10002 clauses out of 20052 with flag 2084000/2088048
1296.95/1294.08	c cleaning 10001 clauses out of 20051 with flag 2094001/2098049
1303.36/1300.42	c cleaning 9989 clauses out of 20052 with flag 2104003/2108051
1309.18/1306.23	c cleaning 10009 clauses out of 20061 with flag 2114001/2118049
1314.30/1311.39	c cleaning 10007 clauses out of 20056 with flag 2124005/2128053
1320.41/1317.44	c cleaning 9999 clauses out of 20044 with flag 2134000/2138048
1327.12/1324.10	c cleaning 9999 clauses out of 20045 with flag 2144000/2148048
1333.93/1330.92	c cleaning 10000 clauses out of 20046 with flag 2154000/2158048
1341.24/1338.21	c cleaning 9984 clauses out of 20046 with flag 2164000/2168048
1347.96/1344.91	c cleaning 10010 clauses out of 20067 with flag 2174005/2178053
1354.27/1351.28	c cleaning 10003 clauses out of 20054 with flag 2184002/2188050
1360.38/1357.34	c cleaning 9998 clauses out of 20049 with flag 2194000/2198048
1366.70/1363.61	c cleaning 10003 clauses out of 20052 with flag 2204001/2208049
1373.31/1370.21	c cleaning 10003 clauses out of 20049 with flag 2214001/2218049
1379.42/1376.32	c cleaning 10003 clauses out of 20048 with flag 2224003/2228051
1385.83/1382.74	c cleaning 9998 clauses out of 20043 with flag 2234001/2238049
1393.34/1390.21	c cleaning 10002 clauses out of 20046 with flag 2244002/2248050
1399.96/1396.90	c cleaning 9998 clauses out of 20043 with flag 2254001/2258049
1406.96/1403.88	c cleaning 10005 clauses out of 20047 with flag 2264003/2268051
1413.97/1410.85	c cleaning 9992 clauses out of 20043 with flag 2274004/2278052
1420.18/1417.04	c cleaning 9999 clauses out of 20047 with flag 2284000/2288048
1426.09/1422.91	c cleaning 9997 clauses out of 20048 with flag 2294000/2298048
1432.00/1428.83	c cleaning 10003 clauses out of 20055 with flag 2304004/2308052
1438.41/1435.26	c cleaning 9980 clauses out of 20048 with flag 2314000/2318048
1444.92/1441.74	c cleaning 10009 clauses out of 20071 with flag 2324003/2328051
1451.73/1448.53	c cleaning 10005 clauses out of 20060 with flag 2334001/2338049
1459.15/1455.93	c cleaning 9997 clauses out of 20054 with flag 2344000/2348048
1466.96/1463.73	c cleaning 10004 clauses out of 20061 with flag 2354004/2358052
1474.57/1471.37	c cleaning 10002 clauses out of 20055 with flag 2364002/2368050
1480.99/1477.76	c cleaning 10002 clauses out of 20051 with flag 2374000/2378048
1489.10/1485.89	c cleaning 9998 clauses out of 20051 with flag 2384002/2388050
1497.52/1494.28	c cleaning 9998 clauses out of 20051 with flag 2394000/2398048
1504.53/1501.25	c cleaning 10002 clauses out of 20055 with flag 2404002/2408050
1512.05/1508.78	c cleaning 10001 clauses out of 20053 with flag 2414002/2418050
1519.26/1515.98	c cleaning 9993 clauses out of 20050 with flag 2424000/2428048
1525.78/1522.46	c cleaning 10010 clauses out of 20057 with flag 2434000/2438048
1532.39/1529.05	c cleaning 10004 clauses out of 20047 with flag 2444000/2448048
1538.49/1535.14	c cleaning 9997 clauses out of 20044 with flag 2454001/2458049
1545.00/1541.69	c cleaning 9998 clauses out of 20046 with flag 2464000/2468048
1552.11/1548.74	c cleaning 10001 clauses out of 20048 with flag 2474000/2478048
1558.93/1555.54	c cleaning 9999 clauses out of 20048 with flag 2484001/2488049
1565.73/1562.30	c cleaning 10002 clauses out of 20048 with flag 2494000/2498048
1572.24/1568.86	c cleaning 10002 clauses out of 20046 with flag 2504000/2508048
1579.55/1576.12	c cleaning 10000 clauses out of 20045 with flag 2514001/2518049
1586.16/1582.74	c cleaning 9997 clauses out of 20048 with flag 2524004/2528052
1593.08/1589.61	c cleaning 10001 clauses out of 20047 with flag 2534000/2538048
1599.58/1596.15	c cleaning 10001 clauses out of 20046 with flag 2544000/2548048
1606.78/1603.34	c cleaning 9984 clauses out of 20045 with flag 2554000/2558048
1613.68/1610.21	c cleaning 10009 clauses out of 20063 with flag 2564002/2568050
1620.69/1617.29	c cleaning 9992 clauses out of 20052 with flag 2574000/2578048
1628.10/1624.61	c cleaning 10009 clauses out of 20062 with flag 2584002/2588050
1635.61/1632.15	c cleaning 10000 clauses out of 20051 with flag 2594000/2598048
1643.62/1640.14	c cleaning 9995 clauses out of 20051 with flag 2604000/2608048
1651.63/1648.11	c cleaning 10007 clauses out of 20058 with flag 2614002/2618050
1658.44/1654.90	c cleaning 10004 clauses out of 20053 with flag 2624004/2628052
1664.94/1661.47	c cleaning 10003 clauses out of 20049 with flag 2634004/2638052
1671.75/1668.29	c cleaning 9999 clauses out of 20043 with flag 2644001/2648049
1677.66/1674.14	c cleaning 9989 clauses out of 20044 with flag 2654001/2658049
1684.37/1680.89	c cleaning 9953 clauses out of 20054 with flag 2664000/2668048
1690.99/1687.43	c cleaning 9984 clauses out of 20102 with flag 2674001/2678049
1697.20/1693.67	c cleaning 10010 clauses out of 20119 with flag 2684002/2688050
1703.31/1699.75	c cleaning 10010 clauses out of 20108 with flag 2694001/2698049
1708.62/1705.06	c cleaning 9990 clauses out of 20097 with flag 2704000/2708048
1714.33/1710.75	c cleaning 9996 clauses out of 20107 with flag 2714000/2718048
1719.53/1715.91	c cleaning 10001 clauses out of 20112 with flag 2724001/2728049
1724.84/1721.20	c cleaning 9993 clauses out of 20110 with flag 2734000/2738048
1730.66/1727.08	c cleaning 10014 clauses out of 20118 with flag 2744001/2748049
1736.87/1733.28	c cleaning 10000 clauses out of 20104 with flag 2754001/2758049
1743.27/1739.67	c cleaning 9991 clauses out of 20103 with flag 2764000/2768048
1749.07/1745.43	c cleaning 9999 clauses out of 20115 with flag 2774003/2778051
1755.78/1752.10	c cleaning 10005 clauses out of 20113 with flag 2784000/2788048
1761.19/1757.57	c cleaning 10006 clauses out of 20111 with flag 2794003/2798051
1770.40/1766.72	c cleaning 9998 clauses out of 20102 with flag 2804000/2808048
1778.01/1774.31	c cleaning 9993 clauses out of 20106 with flag 2814002/2818050
1784.21/1780.57	c cleaning 9985 clauses out of 20111 with flag 2824000/2828048
1790.32/1786.67	c cleaning 10002 clauses out of 20129 with flag 2834003/2838051
1795.63/1791.92	c cleaning 9998 clauses out of 20124 with flag 2844000/2848048
1800.04/1796.32	c starts		: 238
1800.04/1796.32	c conflicts		: 2853346
1800.04/1796.32	c decisions		: 4003167
1800.04/1796.32	c propagations		: 101407127
1800.04/1796.32	c inspects		: 4158282543
1800.04/1796.32	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	: 2853345
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)	: 11221478
1800.04/1796.32	c reason swapping (by a shorter reason)	: 0
1800.04/1796.32	c Calls to reduceDB	: 286
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)	: 56492.64755856383
1800.04/1796.32	c non guided choices	101005
1800.04/1796.33	c learnt constraints type 
1800.04/1796.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15430
1800.04/1796.33	c constraints type 
1800.04/1796.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
1800.04/1796.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1800.04/1796.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34
1800.04/1796.33	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 
1800.04/1796.34	c objective function=1
1800.04/1796.34	c Total wall clock time (in seconds): 1796.129

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 /tmp/evaluation-result-3492275-1307908923/watcher-3492275-1307908923 -o /tmp/evaluation-result-3492275-1307908923/solver-3492275-1307908923 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492275-1307908923.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: 1.00 1.05 1.34 4/176 16151
/proc/meminfo: memFree=1783992/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/16149/stat : 16149 (java) R 16146 16149 13203 0 -1 4202496 395 0 0 0 0 0 0 0 22 0 1 0 902489990 9318400 142 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218905385968 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16149/statm: 2275 144 105 9 0 67 0

[startup+0.102361 s]
/proc/loadavg: 1.00 1.05 1.34 4/176 16151
/proc/meminfo: memFree=1783992/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 11322 0 53 0 3 1 0 0 22 0 13 0 902489990 10718699520 11070 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2616870 11070 1681 9 0 2607618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.200359 s]
/proc/loadavg: 1.00 1.05 1.34 4/176 16151
/proc/meminfo: memFree=1783992/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10539776 CPUtime=0.12 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 12997 0 56 0 10 2 0 0 22 0 18 0 902489990 10792730624 12738 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2634944 12739 2092 9 0 2625678 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539776

[startup+0.300318 s]
/proc/loadavg: 1.00 1.05 1.34 4/176 16151
/proc/meminfo: memFree=1783992/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10539776 CPUtime=0.3 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 14305 0 56 0 28 2 0 0 22 0 18 0 902489990 10792730624 13898 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2634944 13898 2185 9 0 2625678 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10539776

[startup+0.700279 s]
/proc/loadavg: 1.00 1.05 1.34 4/176 16151
/proc/meminfo: memFree=1783992/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10541732 CPUtime=1.07 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 17495 0 56 0 104 3 0 0 22 0 19 0 902489990 10794733568 16543 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2635433 16543 2225 9 0 2626167 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10541732

[startup+1.50114 s]
/proc/loadavg: 1.00 1.05 1.34 4/214 16189
/proc/meminfo: memFree=1663960/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10542012 CPUtime=1.9 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 19006 0 56 0 187 3 0 0 22 0 19 0 902489990 10795020288 18053 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2635503 18053 2226 9 0 2626237 0
[pid=16149/tid=16154] ppid=16146 vsize=10542012 CPUtime=1.39 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) R 16146 16149 13203 0 -1 4202560 14768 0 53 0 137 2 0 0 18 0 19 0 902489991 10795020288 18053 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 46912505650316 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=16149/tid=16156] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 902489993 10795020288 18053 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489993 10795020288 18053 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489993 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489993 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489993 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489993 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489993 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489993 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16172] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16172/stat : 16172 (java) S 16146 16149 13203 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 902489996 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 0 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16174] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16174/stat : 16174 (java) S 16146 16149 13203 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902489998 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16176] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16176/stat : 16176 (java) S 16146 16149 13203 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902489998 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16179] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16179/stat : 16179 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902490003 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917554609 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16181] ppid=16146 vsize=10542012 CPUtime=0.24 cores=0,2,4,6
/proc/16149/task/16181/stat : 16181 (java) S 16146 16149 13203 0 -1 4202560 1473 0 1 0 24 0 0 0 15 0 19 0 902490003 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16182] ppid=16146 vsize=10542012 CPUtime=0.25 cores=0,2,4,6
/proc/16149/task/16182/stat : 16182 (java) S 16146 16149 13203 0 -1 4202560 1602 0 2 0 25 0 0 0 15 0 19 0 902490003 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16183] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16183/stat : 16183 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902490003 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16185] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16185/stat : 16185 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902490003 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16189] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16189/stat : 16189 (java) S 16146 16149 13203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902490025 10795020288 18054 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 10542012

[startup+3.10084 s]
/proc/loadavg: 1.08 1.06 1.34 4/214 16189
/proc/meminfo: memFree=1646520/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10542012 CPUtime=3.54 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 24416 0 56 0 350 4 0 0 22 0 19 0 902489990 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2635503 23455 2251 9 0 2626237 0
[pid=16149/tid=16154] ppid=16146 vsize=10542012 CPUtime=2.98 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) R 16146 16149 13203 0 -1 4202560 16301 0 53 0 295 3 0 0 20 0 19 0 902489991 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 46912505593599 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=16149/tid=16156] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 13203 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 13203 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 13203 0 -1 4202560 418 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 13203 0 -1 4202560 714 0 0 0 0 0 0 0 18 0 19 0 902489993 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16172] ppid=16146 vsize=10542012 CPUtime=0.01 cores=0,2,4,6
/proc/16149/task/16172/stat : 16172 (java) S 16146 16149 13203 0 -1 4202560 1914 0 0 0 1 0 0 0 15 0 19 0 902489996 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 0 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16174] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16174/stat : 16174 (java) S 16146 16149 13203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489998 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16176] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16176/stat : 16176 (java) S 16146 16149 13203 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902489998 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16179] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16179/stat : 16179 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902490003 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917554609 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16181] ppid=16146 vsize=10542012 CPUtime=0.25 cores=0,2,4,6
/proc/16149/task/16181/stat : 16181 (java) S 16146 16149 13203 0 -1 4202560 1477 0 1 0 25 0 0 0 16 0 19 0 902490003 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16182] ppid=16146 vsize=10542012 CPUtime=0.26 cores=0,2,4,6
/proc/16149/task/16182/stat : 16182 (java) S 16146 16149 13203 0 -1 4202560 1607 0 2 0 26 0 0 0 15 0 19 0 902490003 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16183] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16183/stat : 16183 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902490003 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16185] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16185/stat : 16185 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902490003 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16189] ppid=16146 vsize=10542012 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16189/stat : 16189 (java) S 16146 16149 13203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902490025 10795020288 23455 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10542012

[startup+6.30124 s]
/proc/loadavg: 1.08 1.06 1.34 4/214 16189
/proc/meminfo: memFree=1605824/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10541604 CPUtime=6.77 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 28241 0 56 0 673 4 0 0 22 0 19 0 902489990 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2635401 27200 2251 9 0 2626135 0
[pid=16149/tid=16154] ppid=16146 vsize=10541604 CPUtime=6.15 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) R 16146 16149 13203 0 -1 4202560 16303 0 53 0 612 3 0 0 25 0 19 0 902489991 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 46912505719416 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=16149/tid=16156] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 13203 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 13203 0 -1 4202560 1115 0 0 0 0 0 0 0 16 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 13203 0 -1 4202560 470 0 0 0 0 0 0 0 16 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 13203 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 13203 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 13203 0 -1 4202560 798 0 0 0 0 0 0 0 16 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 13203 0 -1 4202560 418 0 0 0 0 0 0 0 18 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 13203 0 -1 4202560 714 0 0 0 0 0 0 0 18 0 19 0 902489993 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16172] ppid=16146 vsize=10541604 CPUtime=0.03 cores=0,2,4,6
/proc/16149/task/16172/stat : 16172 (java) S 16146 16149 13203 0 -1 4202560 3390 0 0 0 3 0 0 0 15 0 19 0 902489996 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 0 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16174] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16174/stat : 16174 (java) S 16146 16149 13203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489998 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16176] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16176/stat : 16176 (java) S 16146 16149 13203 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902489998 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16179] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16179/stat : 16179 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902490003 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917554609 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16181] ppid=16146 vsize=10541604 CPUtime=0.26 cores=0,2,4,6
/proc/16149/task/16181/stat : 16181 (java) S 16146 16149 13203 0 -1 4202560 1480 0 1 0 26 0 0 0 15 0 19 0 902490003 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16182] ppid=16146 vsize=10541604 CPUtime=0.29 cores=0,2,4,6
/proc/16149/task/16182/stat : 16182 (java) S 16146 16149 13203 0 -1 4202560 1610 0 2 0 29 0 0 0 16 0 19 0 902490003 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16183] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16183/stat : 16183 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902490003 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16185] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16185/stat : 16185 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902490003 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16189] ppid=16146 vsize=10541604 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16189/stat : 16189 (java) S 16146 16149 13203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902490025 10794602496 27200 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 10541604

[startup+12.7011 s]

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

[pid=16149/tid=16161] ppid=16146 vsize=10543728 CPUtime=0.59 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 13203 0 -1 4202560 2876 0 0 0 59 0 0 0 15 0 19 0 902489993 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=10543728 CPUtime=0.51 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 13203 0 -1 4202560 1261 0 0 0 51 0 0 0 15 0 19 0 902489993 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=10543728 CPUtime=0.52 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 13203 0 -1 4202560 2751 0 0 0 52 0 0 0 15 0 19 0 902489993 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16172] ppid=16146 vsize=10543728 CPUtime=9.34 cores=0,2,4,6
/proc/16149/task/16172/stat : 16172 (java) S 16146 16149 13203 0 -1 4202560 15373 0 0 0 928 6 0 0 15 0 19 0 902489996 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 0 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16174] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16174/stat : 16174 (java) S 16146 16149 13203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16176] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16176/stat : 16176 (java) S 16146 16149 13203 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16179] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16179/stat : 16179 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902490003 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917554609 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16181] ppid=16146 vsize=10543728 CPUtime=0.27 cores=0,2,4,6
/proc/16149/task/16181/stat : 16181 (java) S 16146 16149 13203 0 -1 4202560 1482 0 1 0 27 0 0 0 15 0 19 0 902490003 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16182] ppid=16146 vsize=10543728 CPUtime=0.42 cores=0,2,4,6
/proc/16149/task/16182/stat : 16182 (java) S 16146 16149 13203 0 -1 4202560 4291 0 2 0 42 0 0 0 15 0 19 0 902490003 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16183] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16183/stat : 16183 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902490003 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16185] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16185/stat : 16185 (java) S 16146 16149 13203 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902490003 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16189] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16189/stat : 16189 (java) S 16146 16149 13203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902490025 10796777472 62380 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.85
Current children cumulated vsize (KiB) 10543728

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/214 16238
/proc/meminfo: memFree=1435208/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10543728 CPUtime=1725.95 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 66038 0 56 0 172578 17 0 0 22 0 19 0 902489990 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2635932 62387 2252 9 0 2626666 0
[pid=16149/tid=16154] ppid=16146 vsize=10543728 CPUtime=1710.99 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) R 16146 16149 13203 0 -1 4202560 23591 0 53 0 171094 5 0 0 25 0 19 0 902489991 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 46912505622760 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=16149/tid=16156] ppid=16146 vsize=10543728 CPUtime=0.56 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 13203 0 -1 4202560 3517 0 0 0 56 0 0 0 16 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=10543728 CPUtime=0.49 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 13203 0 -1 4202560 2312 0 0 0 49 0 0 0 16 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=10543728 CPUtime=0.56 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 13203 0 -1 4202560 3244 0 0 0 56 0 0 0 16 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=10543728 CPUtime=0.55 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 13203 0 -1 4202560 2425 0 0 0 55 0 0 0 16 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=10543728 CPUtime=0.54 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 13203 0 -1 4202560 1656 0 0 0 54 0 0 0 15 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=10543728 CPUtime=0.61 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 13203 0 -1 4202560 2877 0 0 0 61 0 0 0 15 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=10543728 CPUtime=0.53 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 13203 0 -1 4202560 1261 0 0 0 53 0 0 0 15 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=10543728 CPUtime=0.55 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 13203 0 -1 4202560 2752 0 0 0 55 0 0 0 16 0 19 0 902489993 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16172] ppid=16146 vsize=10543728 CPUtime=9.75 cores=0,2,4,6
/proc/16149/task/16172/stat : 16172 (java) S 16146 16149 13203 0 -1 4202560 15377 0 0 0 969 6 0 0 15 0 19 0 902489996 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 0 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16174] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16174/stat : 16174 (java) S 16146 16149 13203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16176] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16176/stat : 16176 (java) S 16146 16149 13203 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16179] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16179/stat : 16179 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902490003 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917554609 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16181] ppid=16146 vsize=10543728 CPUtime=0.27 cores=0,2,4,6
/proc/16149/task/16181/stat : 16181 (java) S 16146 16149 13203 0 -1 4202560 1482 0 1 0 27 0 0 0 15 0 19 0 902490003 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16182] ppid=16146 vsize=10543728 CPUtime=0.42 cores=0,2,4,6
/proc/16149/task/16182/stat : 16182 (java) S 16146 16149 13203 0 -1 4202560 4291 0 2 0 42 0 0 0 15 0 19 0 902490003 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16183] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16183/stat : 16183 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902490003 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16185] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16185/stat : 16185 (java) S 16146 16149 13203 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902490003 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16189] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16189/stat : 16189 (java) S 16146 16149 13203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902490025 10796777472 62387 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.95
Current children cumulated vsize (KiB) 10543728

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.88 4/214 16240
/proc/meminfo: memFree=1432144/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10543728 CPUtime=1786.02 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 66551 0 56 0 178584 18 0 0 22 0 19 0 902489990 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2635932 62887 2252 9 0 2626666 0
[pid=16149/tid=16154] ppid=16146 vsize=10543728 CPUtime=1770.57 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) R 16146 16149 13203 0 -1 4202560 23600 0 53 0 177052 5 0 0 25 0 19 0 902489991 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 46912505593479 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=16149/tid=16156] ppid=16146 vsize=10543728 CPUtime=0.57 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 13203 0 -1 4202560 3521 0 0 0 57 0 0 0 15 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=10543728 CPUtime=0.5 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 13203 0 -1 4202560 2312 0 0 0 50 0 0 0 15 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=10543728 CPUtime=0.58 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 13203 0 -1 4202560 3245 0 0 0 58 0 0 0 16 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=10543728 CPUtime=0.56 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 13203 0 -1 4202560 2425 0 0 0 56 0 0 0 16 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=10543728 CPUtime=0.55 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 13203 0 -1 4202560 1656 0 0 0 55 0 0 0 15 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=10543728 CPUtime=0.62 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 13203 0 -1 4202560 2877 0 0 0 62 0 0 0 15 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=10543728 CPUtime=0.55 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 13203 0 -1 4202560 1261 0 0 0 55 0 0 0 15 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=10543728 CPUtime=0.56 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 13203 0 -1 4202560 2755 0 0 0 56 0 0 0 16 0 19 0 902489993 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16172] ppid=16146 vsize=10543728 CPUtime=10.13 cores=0,2,4,6
/proc/16149/task/16172/stat : 16172 (java) S 16146 16149 13203 0 -1 4202560 15871 0 0 0 1007 6 0 0 15 0 19 0 902489996 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 0 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16174] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16174/stat : 16174 (java) S 16146 16149 13203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16176] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16176/stat : 16176 (java) S 16146 16149 13203 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16179] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16179/stat : 16179 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902490003 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917554609 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16181] ppid=16146 vsize=10543728 CPUtime=0.27 cores=0,2,4,6
/proc/16149/task/16181/stat : 16181 (java) S 16146 16149 13203 0 -1 4202560 1482 0 1 0 27 0 0 0 15 0 19 0 902490003 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16182] ppid=16146 vsize=10543728 CPUtime=0.42 cores=0,2,4,6
/proc/16149/task/16182/stat : 16182 (java) S 16146 16149 13203 0 -1 4202560 4291 0 2 0 42 0 0 0 15 0 19 0 902490003 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16183] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16183/stat : 16183 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902490003 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16185] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16185/stat : 16185 (java) S 16146 16149 13203 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902490003 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16189] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16189/stat : 16189 (java) S 16146 16149 13203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902490025 10796777472 62887 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1786.02
Current children cumulated vsize (KiB) 10543728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 2.06 2.03 1.88 3/214 16240
/proc/meminfo: memFree=1431992/32951124 swapFree=67053176/67111528
[pid=16149] ppid=16146 vsize=10543728 CPUtime=1800.04 cores=0,2,4,6
/proc/16149/stat : 16149 (java) S 16146 16149 13203 0 -1 4202496 66565 0 56 0 179986 18 0 0 22 0 19 0 902489990 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16149/statm: 2635932 62895 2252 9 0 2626666 0
[pid=16149/tid=16154] ppid=16146 vsize=10543728 CPUtime=1784.5 cores=0,2,4,6
/proc/16149/task/16154/stat : 16154 (java) R 16146 16149 13203 0 -1 4202560 23602 0 53 0 178445 5 0 0 25 0 19 0 902489991 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 46912505611230 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=16149/tid=16156] ppid=16146 vsize=10543728 CPUtime=0.57 cores=0,2,4,6
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 13203 0 -1 4202560 3521 0 0 0 57 0 0 0 15 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=10543728 CPUtime=0.5 cores=0,2,4,6
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 13203 0 -1 4202560 2312 0 0 0 50 0 0 0 15 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=10543728 CPUtime=0.58 cores=0,2,4,6
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 13203 0 -1 4202560 3245 0 0 0 58 0 0 0 15 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=10543728 CPUtime=0.57 cores=0,2,4,6
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 13203 0 -1 4202560 2432 0 0 0 57 0 0 0 15 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=10543728 CPUtime=0.56 cores=0,2,4,6
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 13203 0 -1 4202560 1657 0 0 0 56 0 0 0 15 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=10543728 CPUtime=0.62 cores=0,2,4,6
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 13203 0 -1 4202560 2877 0 0 0 62 0 0 0 15 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=10543728 CPUtime=0.55 cores=0,2,4,6
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 13203 0 -1 4202560 1261 0 0 0 55 0 0 0 16 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 6 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=10543728 CPUtime=0.56 cores=0,2,4,6
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 13203 0 -1 4202560 2755 0 0 0 56 0 0 0 15 0 19 0 902489993 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16172] ppid=16146 vsize=10543728 CPUtime=10.21 cores=0,2,4,6
/proc/16149/task/16172/stat : 16172 (java) S 16146 16149 13203 0 -1 4202560 15873 0 0 0 1015 6 0 0 15 0 19 0 902489996 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 0 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16174] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16174/stat : 16174 (java) S 16146 16149 13203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16176] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16176/stat : 16176 (java) S 16146 16149 13203 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902489998 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16179] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16179/stat : 16179 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902490003 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917554609 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16181] ppid=16146 vsize=10543728 CPUtime=0.27 cores=0,2,4,6
/proc/16149/task/16181/stat : 16181 (java) S 16146 16149 13203 0 -1 4202560 1482 0 1 0 27 0 0 0 15 0 19 0 902490003 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 4 0 0 0
[pid=16149/tid=16182] ppid=16146 vsize=10543728 CPUtime=0.42 cores=0,2,4,6
/proc/16149/task/16182/stat : 16182 (java) S 16146 16149 13203 0 -1 4202560 4291 0 2 0 42 0 0 0 15 0 19 0 902490003 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16183] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16183/stat : 16183 (java) S 16146 16149 13203 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902490003 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917546905 0 4 0 16800975 18446604449634922560 0 0 -1 2 0 0 0
[pid=16149/tid=16185] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16185/stat : 16185 (java) S 16146 16149 13203 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902490003 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
[pid=16149/tid=16189] ppid=16146 vsize=10543728 CPUtime=0 cores=0,2,4,6
/proc/16149/task/16189/stat : 16189 (java) S 16146 16149 13203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902490025 10796777472 62895 33554432000 1073741824 1073778376 140733514204064 18446744073709551615 218917547520 0 4 0 16800975 18446604449634922560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10543728

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

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

Child status: 143
Real time (s): 1796.37
CPU time (s): 1800.15
CPU user time (s): 1799.95
CPU system time (s): 0.19397
CPU usage (%): 100.21
Max. virtual memory (cumulated for all children) (KiB): 10546876

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

runsolver used 3.09553 second user time and 6.68798 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-12 22:02:03
IDJOB=3492275
IDBENCH=78719
IDSOLVER=1982
FILE ID=node137/3492275-1307908923
RUNJOBID= node137-1307908922-16124
PBS_JOBID= 13559569
Free space on /tmp= 3508 MiB

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

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

MD5SUM BENCH= 7dae57beceb3170ed40c9307fdc88b85
RANDOM SEED=1495347150

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1784716 kB
Buffers:         67716 kB
Cached:       30139204 kB
SwapCached:      11932 kB
Active:       15617508 kB
Inactive:     14607856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1784716 kB
SwapTotal:    67111528 kB
SwapFree:     67053176 kB
Dirty:             788 kB
Writeback:           0 kB
AnonPages:       15816 kB
Mapped:           8532 kB
Slab:           877224 kB
PageTables:       4468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189184 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 3508 MiB
End job on node137 at 2011-06-12 22:32:01