Trace number 3492251

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.13 1796.27

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
MD5SUMd7a0ad39836c923faf2776c1a468a22d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.186971
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 constraints35
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 1904
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1903
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.07/0.50	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.50	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.50	c See www.sat4j.org for details.
0.07/0.51	c version 2.3.1.v20110525
0.07/0.51	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.51	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.51	c java.vm.version	19.1-b02
0.07/0.51	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.51	c sun.arch.data.model	64
0.07/0.51	c java.version		1.6.0_24
0.07/0.51	c os.name		Linux
0.07/0.51	c os.version		2.6.18-164.el5
0.07/0.51	c os.arch		amd64
0.07/0.51	c Free memory 		9996466904
0.07/0.51	c Max memory 		10048897024
0.07/0.51	c Total memory 		10048897024
0.07/0.51	c Number of processors 	8
0.07/0.54	c Pseudo Boolean Optimization
0.07/0.54	c --- Begin Solver configuration ---
0.07/0.54	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.07/0.54	c Learn all clauses as in MiniSAT
0.07/0.54	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.54	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.54	c Expensive reason simplification
0.07/0.54	c Armin Biere (Picosat) restarts strategy
0.07/0.54	c Glucose learned constraints deletion strategy
0.07/0.54	c timeout=2147483s
0.07/0.54	c DB Simplification allowed=false
0.07/0.54	c --- End Solver configuration ---
0.07/0.54	c solving HOME/instance-3492251-1307908888.wbo
0.07/0.54	c reading problem ... 
0.21/0.66	c ... done. Wall clock time 0.122s.
0.21/0.66	c #vars     2785
0.21/0.66	c #constraints  105
0.21/0.66	c constraints type 
0.21/0.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
0.21/0.66	c org.sat4j.minisat.constraints.card.MinWatchCard => 36
0.21/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.72/0.80	c SATISFIABLE
0.72/0.80	c OPTIMIZING...
0.72/0.80	c Got one! Elapsed wall clock time (in seconds):0.261
0.72/0.80	o 205
0.72/0.87	c Got one! Elapsed wall clock time (in seconds):0.326
0.72/0.87	o 116
0.93/0.94	c Got one! Elapsed wall clock time (in seconds):0.399
0.93/0.94	o 81
1.06/1.01	c Got one! Elapsed wall clock time (in seconds):0.475
1.06/1.01	o 19
1.66/1.60	c Got one! Elapsed wall clock time (in seconds):1.063
1.66/1.60	o 12
2.38/2.34	c Got one! Elapsed wall clock time (in seconds):1.798
2.38/2.34	o 9
2.80/2.79	c cleaning 3806 clauses out of 7616 with flag 1002/7616
4.56/4.48	c cleaning 4865 clauses out of 9810 with flag 7002/13616
6.76/6.62	c cleaning 5933 clauses out of 11943 with flag 14000/20614
9.24/9.01	c cleaning 6972 clauses out of 14012 with flag 22002/28616
12.10/11.83	c cleaning 7988 clauses out of 16040 with flag 31002/37616
15.31/15.02	c cleaning 8999 clauses out of 18054 with flag 41004/47618
18.31/18.00	c cleaning 9499 clauses out of 19052 with flag 51001/57615
22.12/21.82	c cleaning 9754 clauses out of 19552 with flag 61000/67614
26.23/25.98	c cleaning 9894 clauses out of 19798 with flag 71000/77614
29.24/28.92	c cleaning 9903 clauses out of 19904 with flag 81000/87614
32.65/32.39	c cleaning 9954 clauses out of 20003 with flag 91002/97616
36.46/36.12	c cleaning 9994 clauses out of 20047 with flag 101000/107614
39.98/39.66	c cleaning 9998 clauses out of 20056 with flag 111003/117617
43.58/43.28	c cleaning 9983 clauses out of 20055 with flag 121000/127614
46.90/46.57	c cleaning 9998 clauses out of 20073 with flag 131001/137615
51.21/50.86	c cleaning 9998 clauses out of 20074 with flag 141000/147614
54.51/54.16	c cleaning 10019 clauses out of 20078 with flag 151002/157616
59.12/58.78	c cleaning 10012 clauses out of 20060 with flag 161003/167617
62.84/62.44	c cleaning 9981 clauses out of 20045 with flag 171000/177614
66.45/66.07	c cleaning 10013 clauses out of 20065 with flag 181001/187615
70.36/69.96	c cleaning 10005 clauses out of 20053 with flag 191002/197616
75.36/74.93	c cleaning 10002 clauses out of 20047 with flag 201001/207615
80.17/79.77	c cleaning 10005 clauses out of 20045 with flag 211001/217615
85.78/85.39	c cleaning 9999 clauses out of 20041 with flag 221002/227616
89.09/88.67	c cleaning 10000 clauses out of 20041 with flag 231001/237615
94.30/93.88	c cleaning 9980 clauses out of 20042 with flag 241002/247616
99.81/99.31	c cleaning 10010 clauses out of 20061 with flag 251001/257615
103.31/102.81	c cleaning 9958 clauses out of 20052 with flag 261002/267616
107.62/107.15	c cleaning 10000 clauses out of 20095 with flag 271003/277617
111.73/111.22	c cleaning 10029 clauses out of 20094 with flag 281002/287616
116.34/115.87	c cleaning 10010 clauses out of 20063 with flag 291000/297614
121.46/121.00	c cleaning 10012 clauses out of 20054 with flag 301001/307615
126.97/126.49	c cleaning 10007 clauses out of 20042 with flag 311001/317615
132.28/131.79	c cleaning 9989 clauses out of 20035 with flag 321001/327615
138.80/138.22	c cleaning 9991 clauses out of 20049 with flag 331004/337618
144.21/143.68	c cleaning 10006 clauses out of 20055 with flag 341001/347615
149.22/148.60	c cleaning 10003 clauses out of 20048 with flag 351000/357614
154.83/154.26	c cleaning 10001 clauses out of 20045 with flag 361000/367614
161.15/160.59	c cleaning 9992 clauses out of 20046 with flag 371002/377616
167.66/167.01	c cleaning 10007 clauses out of 20054 with flag 381002/387616
171.17/170.52	c cleaning 9988 clauses out of 20045 with flag 391000/397614
174.68/174.08	c cleaning 10009 clauses out of 20057 with flag 401000/407614
178.80/178.13	c cleaning 9996 clauses out of 20050 with flag 411002/417616
183.20/182.60	c cleaning 9998 clauses out of 20055 with flag 421003/427617
188.51/187.83	c cleaning 10003 clauses out of 20058 with flag 431004/437618
194.72/194.08	c cleaning 10002 clauses out of 20054 with flag 441003/447617
200.03/199.33	c cleaning 9972 clauses out of 20054 with flag 451005/457619
205.05/204.37	c cleaning 9977 clauses out of 20077 with flag 461000/467614
210.56/209.87	c cleaning 10005 clauses out of 20101 with flag 471001/477615
215.77/215.02	c cleaning 10013 clauses out of 20096 with flag 481001/487615
222.18/221.46	c cleaning 9996 clauses out of 20082 with flag 491000/497614
228.90/228.11	c cleaning 10008 clauses out of 20088 with flag 501002/507616
235.71/234.97	c cleaning 9990 clauses out of 20078 with flag 511000/517614
240.02/239.29	c cleaning 10017 clauses out of 20091 with flag 521003/527617
244.43/243.62	c cleaning 10005 clauses out of 20071 with flag 531000/537614
249.45/248.62	c cleaning 10003 clauses out of 20067 with flag 541001/547615
254.65/253.82	c cleaning 9995 clauses out of 20063 with flag 551000/557614
259.77/258.96	c cleaning 10003 clauses out of 20069 with flag 561001/567615
264.48/263.64	c cleaning 10003 clauses out of 20066 with flag 571001/577615
269.99/269.10	c cleaning 10015 clauses out of 20063 with flag 581001/587615
273.30/272.43	c cleaning 10002 clauses out of 20049 with flag 591002/597616
276.61/275.79	c cleaning 9998 clauses out of 20045 with flag 601000/607614
280.22/279.38	c cleaning 9994 clauses out of 20047 with flag 611000/617614
284.45/283.55	c cleaning 10002 clauses out of 20053 with flag 621000/627614
290.45/289.53	c cleaning 10002 clauses out of 20053 with flag 631002/637616
296.17/295.23	c cleaning 10003 clauses out of 20049 with flag 641000/647614
301.99/301.08	c cleaning 10001 clauses out of 20046 with flag 651000/657614
307.81/306.90	c cleaning 9992 clauses out of 20046 with flag 661001/667615
313.21/312.28	c cleaning 10023 clauses out of 20054 with flag 671001/677615
316.43/315.43	c cleaning 10010 clauses out of 20030 with flag 681000/687614
319.74/318.74	c cleaning 9987 clauses out of 20022 with flag 691002/697616
325.56/324.51	c cleaning 9992 clauses out of 20034 with flag 701001/707615
331.36/330.30	c cleaning 9998 clauses out of 20045 with flag 711004/717618
337.18/336.15	c cleaning 9992 clauses out of 20043 with flag 721000/727614
343.39/342.36	c cleaning 10000 clauses out of 20052 with flag 731001/737615
349.30/348.29	c cleaning 9996 clauses out of 20051 with flag 741000/747614
355.02/353.97	c cleaning 9976 clauses out of 20055 with flag 751000/757614
361.13/360.09	c cleaning 10004 clauses out of 20079 with flag 761000/767614
367.15/366.09	c cleaning 10011 clauses out of 20075 with flag 771000/777614
372.26/371.16	c cleaning 9997 clauses out of 20065 with flag 781001/787615
377.58/376.42	c cleaning 9999 clauses out of 20070 with flag 791003/797617
383.79/382.60	c cleaning 10000 clauses out of 20068 with flag 801000/807614
389.80/388.69	c cleaning 10001 clauses out of 20074 with flag 811006/817620
395.81/394.64	c cleaning 9999 clauses out of 20069 with flag 821002/827616
401.53/400.30	c cleaning 9999 clauses out of 20069 with flag 831001/837615
407.34/406.15	c cleaning 10001 clauses out of 20072 with flag 841003/847617
413.76/412.52	c cleaning 9996 clauses out of 20068 with flag 851000/857614
420.86/419.66	c cleaning 9991 clauses out of 20072 with flag 861000/867614
427.77/426.59	c cleaning 10007 clauses out of 20081 with flag 871000/877614
432.09/430.85	c cleaning 10014 clauses out of 20075 with flag 881001/887615
435.50/434.20	c cleaning 10000 clauses out of 20060 with flag 891000/897614
439.41/438.11	c cleaning 9983 clauses out of 20061 with flag 901001/907615
443.43/442.19	c cleaning 9995 clauses out of 20081 with flag 911004/917618
448.33/447.08	c cleaning 10028 clauses out of 20088 with flag 921006/927620
455.14/453.84	c cleaning 9998 clauses out of 20055 with flag 931001/937615
460.26/458.95	c cleaning 9997 clauses out of 20056 with flag 941000/947614
465.67/464.38	c cleaning 9987 clauses out of 20059 with flag 951000/957614
471.58/470.21	c cleaning 10010 clauses out of 20073 with flag 961001/967615
477.70/476.36	c cleaning 10005 clauses out of 20062 with flag 971000/977614
484.60/483.21	c cleaning 9994 clauses out of 20057 with flag 981000/987614
492.92/491.51	c cleaning 10012 clauses out of 20064 with flag 991001/997615
498.73/497.37	c cleaning 10006 clauses out of 20052 with flag 1001001/1007615
504.24/502.81	c cleaning 9982 clauses out of 20047 with flag 1011002/1017616
508.84/507.48	c cleaning 9989 clauses out of 20064 with flag 1021001/1027615
513.96/512.52	c cleaning 9995 clauses out of 20075 with flag 1031001/1037615
518.97/517.59	c cleaning 9998 clauses out of 20081 with flag 1041002/1047616
523.78/522.33	c cleaning 9998 clauses out of 20083 with flag 1051002/1057616
528.89/527.47	c cleaning 10001 clauses out of 20086 with flag 1061003/1067617
534.20/532.77	c cleaning 9995 clauses out of 20083 with flag 1071001/1077615
539.31/537.81	c cleaning 9973 clauses out of 20087 with flag 1081000/1087614
544.73/543.29	c cleaning 10003 clauses out of 20114 with flag 1091000/1097614
551.74/550.28	c cleaning 9996 clauses out of 20111 with flag 1101000/1107614
558.46/556.94	c cleaning 10010 clauses out of 20118 with flag 1111003/1117617
566.88/565.40	c cleaning 10049 clauses out of 20121 with flag 1121016/1127630
573.50/571.93	c cleaning 9977 clauses out of 20056 with flag 1131000/1137614
579.41/577.85	c cleaning 9983 clauses out of 20079 with flag 1141000/1147614
585.92/584.36	c cleaning 10015 clauses out of 20096 with flag 1151000/1157614
592.03/590.40	c cleaning 9980 clauses out of 20082 with flag 1161001/1167615
597.74/596.16	c cleaning 10003 clauses out of 20101 with flag 1171000/1177614
603.14/601.54	c cleaning 10026 clauses out of 20098 with flag 1181000/1187614
608.95/607.31	c cleaning 9992 clauses out of 20073 with flag 1191001/1197615
614.77/613.11	c cleaning 10021 clauses out of 20082 with flag 1201002/1207616
620.98/619.36	c cleaning 10007 clauses out of 20059 with flag 1211000/1217614
626.29/624.63	c cleaning 9992 clauses out of 20053 with flag 1221001/1227615
631.50/629.82	c cleaning 10008 clauses out of 20060 with flag 1231000/1237614
636.60/634.92	c cleaning 10000 clauses out of 20053 with flag 1241001/1247615
642.01/640.30	c cleaning 9996 clauses out of 20053 with flag 1251001/1257615
647.62/645.96	c cleaning 10003 clauses out of 20057 with flag 1261001/1267615
653.03/651.33	c cleaning 10003 clauses out of 20054 with flag 1271001/1277615
658.74/657.03	c cleaning 10001 clauses out of 20050 with flag 1281000/1287614
664.65/662.94	c cleaning 10003 clauses out of 20051 with flag 1291002/1297616
670.96/669.21	c cleaning 10001 clauses out of 20048 with flag 1301002/1307616
676.87/675.19	c cleaning 10000 clauses out of 20046 with flag 1311001/1317615
681.78/680.02	c cleaning 10019 clauses out of 20045 with flag 1321000/1327614
684.80/683.08	c cleaning 9981 clauses out of 20029 with flag 1331003/1337617
688.81/687.04	c cleaning 9992 clauses out of 20045 with flag 1341000/1347614
692.41/690.69	c cleaning 9990 clauses out of 20053 with flag 1351000/1357614
696.83/695.01	c cleaning 10000 clauses out of 20064 with flag 1361001/1367615
702.44/700.63	c cleaning 10014 clauses out of 20064 with flag 1371001/1377615
707.75/705.92	c cleaning 9988 clauses out of 20049 with flag 1381000/1387614
712.76/710.99	c cleaning 9998 clauses out of 20063 with flag 1391002/1397616
717.98/716.18	c cleaning 9995 clauses out of 20063 with flag 1401000/1407614
722.88/721.08	c cleaning 9987 clauses out of 20069 with flag 1411001/1417615
728.90/727.03	c cleaning 9992 clauses out of 20082 with flag 1421001/1427615
735.11/733.23	c cleaning 9996 clauses out of 20089 with flag 1431000/1437614
741.32/739.46	c cleaning 10005 clauses out of 20095 with flag 1441002/1447616
747.73/745.82	c cleaning 10031 clauses out of 20090 with flag 1451002/1457616
754.25/752.30	c cleaning 10002 clauses out of 20057 with flag 1461000/1467614
760.76/758.80	c cleaning 10010 clauses out of 20056 with flag 1471001/1477615
767.27/765.32	c cleaning 10008 clauses out of 20048 with flag 1481003/1487617
773.79/771.89	c cleaning 10000 clauses out of 20038 with flag 1491001/1497615
781.31/779.31	c cleaning 10007 clauses out of 20044 with flag 1501007/1507621
788.62/786.66	c cleaning 9999 clauses out of 20031 with flag 1511001/1517615
794.14/792.12	c cleaning 9982 clauses out of 20031 with flag 1521000/1527614
799.45/797.45	c cleaning 9997 clauses out of 20050 with flag 1531001/1537615
804.36/802.37	c cleaning 9995 clauses out of 20053 with flag 1541001/1547615
809.57/807.55	c cleaning 9999 clauses out of 20058 with flag 1551001/1557615
815.00/812.99	c cleaning 10002 clauses out of 20061 with flag 1561003/1567617
820.71/818.69	c cleaning 9999 clauses out of 20058 with flag 1571002/1577616
826.02/823.92	c cleaning 9999 clauses out of 20060 with flag 1581003/1587617
832.02/829.94	c cleaning 9999 clauses out of 20062 with flag 1591004/1597618
837.44/835.38	c cleaning 10003 clauses out of 20065 with flag 1601006/1607620
843.34/841.20	c cleaning 10000 clauses out of 20056 with flag 1611000/1617614
848.85/846.79	c cleaning 9988 clauses out of 20057 with flag 1621001/1627615
856.27/854.16	c cleaning 9975 clauses out of 20069 with flag 1631001/1637615
863.08/860.94	c cleaning 10007 clauses out of 20096 with flag 1641003/1647617
870.60/868.49	c cleaning 10003 clauses out of 20087 with flag 1651001/1657615
876.51/874.32	c cleaning 10001 clauses out of 20085 with flag 1661002/1667616
883.23/881.04	c cleaning 9980 clauses out of 20082 with flag 1671000/1677614
891.43/889.22	c cleaning 10014 clauses out of 20106 with flag 1681004/1687618
898.66/896.48	c cleaning 10003 clauses out of 20090 with flag 1691002/1697616
905.66/903.41	c cleaning 10003 clauses out of 20085 with flag 1701000/1707614
913.16/910.90	c cleaning 9999 clauses out of 20082 with flag 1711000/1717614
919.98/917.75	c cleaning 10002 clauses out of 20085 with flag 1721002/1727616
926.60/924.32	c cleaning 10003 clauses out of 20085 with flag 1731004/1737618
933.22/930.90	c cleaning 9999 clauses out of 20079 with flag 1741001/1747615
940.83/938.53	c cleaning 9989 clauses out of 20081 with flag 1751002/1757616
947.03/944.79	c cleaning 10003 clauses out of 20090 with flag 1761000/1767614
952.34/950.04	c cleaning 10020 clauses out of 20087 with flag 1771000/1777614
957.36/955.01	c cleaning 10013 clauses out of 20071 with flag 1781004/1787618
963.77/961.47	c cleaning 9999 clauses out of 20054 with flag 1791000/1797614
970.28/968.00	c cleaning 10006 clauses out of 20058 with flag 1801003/1807617
975.89/973.57	c cleaning 10001 clauses out of 20051 with flag 1811002/1817616
982.20/979.87	c cleaning 9999 clauses out of 20049 with flag 1821001/1827615
987.71/985.33	c cleaning 10002 clauses out of 20051 with flag 1831002/1837616
993.52/991.10	c cleaning 9998 clauses out of 20048 with flag 1841001/1847615
1000.23/997.88	c cleaning 9999 clauses out of 20049 with flag 1851000/1857614
1006.33/1003.93	c cleaning 10003 clauses out of 20051 with flag 1861001/1867615
1011.64/1009.22	c cleaning 9999 clauses out of 20048 with flag 1871001/1877615
1017.34/1014.99	c cleaning 9998 clauses out of 20048 with flag 1881000/1887614
1023.66/1021.27	c cleaning 10003 clauses out of 20051 with flag 1891001/1897615
1029.97/1027.53	c cleaning 9998 clauses out of 20048 with flag 1901001/1907615
1036.28/1033.86	c cleaning 9996 clauses out of 20051 with flag 1911002/1917616
1041.79/1039.35	c cleaning 9996 clauses out of 20054 with flag 1921001/1927615
1048.02/1045.58	c cleaning 9994 clauses out of 20057 with flag 1931000/1937614
1053.72/1051.24	c cleaning 10001 clauses out of 20063 with flag 1941000/1947614
1059.72/1057.26	c cleaning 10006 clauses out of 20064 with flag 1951002/1957616
1065.33/1062.80	c cleaning 9988 clauses out of 20057 with flag 1961001/1967615
1070.54/1068.08	c cleaning 10014 clauses out of 20072 with flag 1971004/1977618
1076.44/1073.93	c cleaning 10003 clauses out of 20054 with flag 1981000/1987614
1080.05/1077.58	c cleaning 10009 clauses out of 20051 with flag 1991000/1997614
1083.37/1080.81	c cleaning 9997 clauses out of 20043 with flag 2001001/2007615
1087.37/1084.86	c cleaning 9993 clauses out of 20045 with flag 2011000/2017614
1092.99/1090.47	c cleaning 9999 clauses out of 20052 with flag 2021000/2027614
1097.50/1094.94	c cleaning 10003 clauses out of 20054 with flag 2031001/2037615
1102.71/1100.17	c cleaning 10003 clauses out of 20050 with flag 2041000/2047614
1107.22/1104.62	c cleaning 10005 clauses out of 20047 with flag 2051000/2057614
1111.64/1109.05	c cleaning 10000 clauses out of 20042 with flag 2061000/2067614
1116.05/1113.41	c cleaning 10002 clauses out of 20042 with flag 2071000/2077614
1121.65/1119.02	c cleaning 9998 clauses out of 20040 with flag 2081000/2087614
1127.26/1124.60	c cleaning 10003 clauses out of 20045 with flag 2091003/2097617
1133.17/1130.52	c cleaning 9999 clauses out of 20041 with flag 2101002/2107616
1139.78/1137.15	c cleaning 9997 clauses out of 20040 with flag 2111000/2117614
1143.80/1141.13	c cleaning 10003 clauses out of 20045 with flag 2121002/2127616
1148.20/1145.58	c cleaning 9999 clauses out of 20040 with flag 2131000/2137614
1152.92/1150.27	c cleaning 9998 clauses out of 20041 with flag 2141000/2147614
1157.53/1154.88	c cleaning 10000 clauses out of 20045 with flag 2151002/2157616
1163.34/1160.64	c cleaning 10000 clauses out of 20046 with flag 2161003/2167617
1168.35/1165.61	c cleaning 10004 clauses out of 20044 with flag 2171001/2177615
1173.37/1170.67	c cleaning 10001 clauses out of 20039 with flag 2181000/2187614
1180.68/1177.91	c cleaning 9998 clauses out of 20038 with flag 2191000/2197614
1186.90/1184.15	c cleaning 10006 clauses out of 20044 with flag 2201004/2207618
1193.91/1191.15	c cleaning 10004 clauses out of 20039 with flag 2211005/2217619
1200.44/1197.69	c cleaning 10000 clauses out of 20030 with flag 2221000/2227614
1207.65/1204.88	c cleaning 10001 clauses out of 20030 with flag 2231000/2237614
1215.27/1212.47	c cleaning 9973 clauses out of 20029 with flag 2241000/2247614
1222.18/1219.38	c cleaning 10000 clauses out of 20056 with flag 2251000/2257614
1230.10/1227.20	c cleaning 10015 clauses out of 20057 with flag 2261001/2267615
1238.51/1235.69	c cleaning 10007 clauses out of 20043 with flag 2271002/2277616
1245.42/1242.57	c cleaning 9988 clauses out of 20035 with flag 2281001/2287615
1251.43/1248.51	c cleaning 9994 clauses out of 20048 with flag 2291002/2297616
1257.55/1254.67	c cleaning 9997 clauses out of 20053 with flag 2301001/2307615
1263.86/1260.90	c cleaning 10000 clauses out of 20057 with flag 2311002/2317616
1269.17/1266.28	c cleaning 10000 clauses out of 20055 with flag 2321000/2327614
1274.78/1271.85	c cleaning 9997 clauses out of 20055 with flag 2331000/2337614
1280.10/1277.19	c cleaning 10003 clauses out of 20063 with flag 2341005/2347619
1285.70/1282.73	c cleaning 10001 clauses out of 20057 with flag 2351002/2357616
1292.12/1289.11	c cleaning 9998 clauses out of 20054 with flag 2361000/2367614
1297.63/1294.62	c cleaning 10001 clauses out of 20058 with flag 2371002/2377616
1303.23/1300.27	c cleaning 10002 clauses out of 20060 with flag 2381005/2387619
1307.74/1304.79	c cleaning 9999 clauses out of 20054 with flag 2391001/2397615
1312.35/1309.37	c cleaning 9997 clauses out of 20054 with flag 2401000/2407614
1318.35/1315.34	c cleaning 9997 clauses out of 20057 with flag 2411000/2417614
1323.16/1320.19	c cleaning 10000 clauses out of 20060 with flag 2421000/2427614
1328.17/1325.15	c cleaning 10001 clauses out of 20061 with flag 2431001/2437615
1333.08/1330.06	c cleaning 9988 clauses out of 20062 with flag 2441003/2447617
1339.60/1336.51	c cleaning 9972 clauses out of 20073 with flag 2451002/2457616
1347.00/1343.92	c cleaning 9989 clauses out of 20101 with flag 2461002/2467616
1355.52/1352.46	c cleaning 9999 clauses out of 20110 with flag 2471000/2477614
1363.14/1360.02	c cleaning 9993 clauses out of 20112 with flag 2481001/2487615
1371.15/1368.09	c cleaning 9979 clauses out of 20118 with flag 2491000/2497614
1379.47/1376.32	c cleaning 10011 clauses out of 20139 with flag 2501000/2507614
1385.17/1382.07	c cleaning 10005 clauses out of 20129 with flag 2511001/2517615
1391.99/1388.89	c cleaning 10012 clauses out of 20123 with flag 2521000/2527614
1399.70/1396.54	c cleaning 9994 clauses out of 20111 with flag 2531000/2537614
1405.11/1401.90	c cleaning 9992 clauses out of 20119 with flag 2541002/2547616
1409.92/1406.75	c cleaning 9990 clauses out of 20130 with flag 2551005/2557619
1414.72/1411.53	c cleaning 10008 clauses out of 20135 with flag 2561000/2567614
1419.43/1416.29	c cleaning 10009 clauses out of 20133 with flag 2571006/2577620
1424.14/1420.99	c cleaning 9999 clauses out of 20120 with flag 2581002/2587616
1429.54/1426.38	c cleaning 10000 clauses out of 20121 with flag 2591002/2597616
1434.75/1431.57	c cleaning 9992 clauses out of 20120 with flag 2601001/2607615
1439.96/1436.77	c cleaning 10004 clauses out of 20131 with flag 2611004/2617618
1445.46/1442.26	c cleaning 9998 clauses out of 20123 with flag 2621000/2627614
1450.97/1447.73	c cleaning 10002 clauses out of 20126 with flag 2631001/2637615
1459.67/1456.45	c cleaning 9990 clauses out of 20127 with flag 2641004/2647618
1464.77/1461.54	c cleaning 10035 clauses out of 20133 with flag 2651000/2657614
1470.59/1467.34	c cleaning 10020 clauses out of 20100 with flag 2661002/2667616
1476.69/1473.44	c cleaning 10004 clauses out of 20081 with flag 2671003/2677617
1483.40/1480.20	c cleaning 10012 clauses out of 20074 with flag 2681000/2687614
1489.52/1486.27	c cleaning 10003 clauses out of 20062 with flag 2691000/2697614
1495.42/1492.19	c cleaning 10004 clauses out of 20059 with flag 2701000/2707614
1501.73/1498.44	c cleaning 10003 clauses out of 20055 with flag 2711000/2717614
1507.84/1504.55	c cleaning 9993 clauses out of 20053 with flag 2721001/2727615
1514.05/1510.72	c cleaning 9999 clauses out of 20060 with flag 2731001/2737615
1519.76/1516.46	c cleaning 9999 clauses out of 20062 with flag 2741002/2747616
1525.68/1522.31	c cleaning 9995 clauses out of 20062 with flag 2751001/2757615
1531.88/1528.53	c cleaning 9997 clauses out of 20067 with flag 2761001/2767615
1538.19/1534.88	c cleaning 10010 clauses out of 20070 with flag 2771001/2777615
1544.80/1541.44	c cleaning 10000 clauses out of 20060 with flag 2781001/2787615
1551.12/1547.71	c cleaning 9992 clauses out of 20060 with flag 2791001/2797615
1557.32/1553.99	c cleaning 10009 clauses out of 20069 with flag 2801002/2807616
1563.32/1559.97	c cleaning 9994 clauses out of 20059 with flag 2811001/2817615
1569.13/1565.76	c cleaning 10007 clauses out of 20065 with flag 2821001/2827615
1574.84/1571.41	c cleaning 10003 clauses out of 20057 with flag 2831000/2837614
1581.04/1577.66	c cleaning 9996 clauses out of 20056 with flag 2841002/2847616
1586.64/1583.29	c cleaning 9985 clauses out of 20058 with flag 2851000/2857614
1592.65/1589.26	c cleaning 10010 clauses out of 20075 with flag 2861002/2867616
1598.36/1594.97	c cleaning 10000 clauses out of 20063 with flag 2871000/2877614
1604.56/1601.14	c cleaning 9996 clauses out of 20063 with flag 2881000/2887614
1610.36/1606.98	c cleaning 10007 clauses out of 20069 with flag 2891002/2897616
1616.86/1613.44	c cleaning 10005 clauses out of 20062 with flag 2901002/2907616
1623.27/1619.81	c cleaning 9992 clauses out of 20056 with flag 2911001/2917615
1629.38/1625.99	c cleaning 9999 clauses out of 20063 with flag 2921000/2927614
1635.50/1632.06	c cleaning 9997 clauses out of 20065 with flag 2931001/2937615
1642.20/1638.74	c cleaning 9981 clauses out of 20068 with flag 2941001/2947615
1648.81/1645.36	c cleaning 10011 clauses out of 20089 with flag 2951003/2957617
1655.31/1651.81	c cleaning 10004 clauses out of 20075 with flag 2961000/2967614
1662.42/1658.90	c cleaning 10008 clauses out of 20071 with flag 2971000/2977614
1668.02/1664.55	c cleaning 10008 clauses out of 20066 with flag 2981003/2987617
1671.03/1667.51	c cleaning 10031 clauses out of 20063 with flag 2991008/2997622
1674.24/1670.75	c cleaning 9979 clauses out of 20025 with flag 3001001/3007615
1678.15/1674.68	c cleaning 9992 clauses out of 20045 with flag 3011000/3017614
1682.08/1678.56	c cleaning 10013 clauses out of 20054 with flag 3021001/3027615
1687.08/1683.52	c cleaning 10002 clauses out of 20041 with flag 3031001/3037615
1691.89/1688.30	c cleaning 9980 clauses out of 20038 with flag 3041000/3047614
1697.51/1693.98	c cleaning 9993 clauses out of 20059 with flag 3051001/3057615
1703.42/1699.84	c cleaning 10005 clauses out of 20065 with flag 3061000/3067614
1709.13/1705.59	c cleaning 10002 clauses out of 20061 with flag 3071001/3077615
1714.25/1710.69	c cleaning 9999 clauses out of 20060 with flag 3081002/3087616
1720.46/1716.87	c cleaning 10003 clauses out of 20061 with flag 3091002/3097616
1726.28/1722.63	c cleaning 9998 clauses out of 20056 with flag 3101000/3107614
1732.38/1728.74	c cleaning 10001 clauses out of 20059 with flag 3111001/3117615
1737.70/1734.02	c cleaning 10003 clauses out of 20058 with flag 3121001/3127615
1744.21/1740.51	c cleaning 10003 clauses out of 20055 with flag 3131001/3137615
1750.02/1746.38	c cleaning 9995 clauses out of 20051 with flag 3141000/3147614
1755.73/1752.08	c cleaning 10001 clauses out of 20056 with flag 3151000/3157614
1762.35/1758.63	c cleaning 10001 clauses out of 20055 with flag 3161000/3167614
1770.16/1766.42	c cleaning 10002 clauses out of 20057 with flag 3171003/3177617
1776.58/1772.87	c cleaning 10002 clauses out of 20052 with flag 3181000/3187614
1781.99/1778.20	c cleaning 9982 clauses out of 20050 with flag 3191000/3197614
1787.80/1784.08	c cleaning 9998 clauses out of 20069 with flag 3201001/3207615
1793.60/1789.85	c cleaning 10015 clauses out of 20070 with flag 3211000/3217614
1800.03/1796.22	c starts		: 255
1800.03/1796.22	c conflicts		: 3226842
1800.03/1796.22	c decisions		: 4549085
1800.03/1796.22	c propagations		: 110078064
1800.03/1796.22	c inspects		: 4699931280
1800.03/1796.22	c shortcuts		: 0
1800.03/1796.22	c learnt literals	: 0
1800.03/1796.22	c learnt binary clauses	: 0
1800.03/1796.22	c learnt ternary clauses	: 0
1800.03/1796.22	c learnt constraints	: 3226841
1800.03/1796.22	c ignored constraints	: 0
1800.03/1796.22	c root simplifications	: 0
1800.03/1796.22	c removed literals (reason simplification)	: 12124999
1800.03/1796.22	c reason swapping (by a shorter reason)	: 0
1800.03/1796.22	c Calls to reduceDB	: 323
1800.03/1796.22	c number of reductions to clauses (during analyze)	: 0
1800.03/1796.22	c number of learned constraints concerned by reduction	: 0
1800.03/1796.22	c number of learning phase by resolution	: 0
1800.03/1796.22	c number of learning phase by cutting planes	: 0
1800.03/1796.22	c speed (assignments/second)	: 61363.11458960465
1800.03/1796.22	c non guided choices	125275
1800.03/1796.23	c learnt constraints type 
1800.03/1796.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19296
1800.03/1796.23	c constraints type 
1800.03/1796.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
1800.03/1796.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 36
1800.03/1796.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15
1800.03/1796.23	s SATISFIABLE
1800.03/1796.24	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.03/1796.24	c objective function=9
1800.03/1796.24	c Total wall clock time (in seconds): 1795.7

Verifier Data 

OK	9

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.01 1.13 3/176 10121
/proc/meminfo: memFree=2910356/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10121/stat : 10121 (java) R 10117 10121 8865 0 -1 4202496 697 0 0 0 0 0 0 0 18 0 1 0 902486537 23580672 439 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212682712832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10121/statm: 5757 451 341 9 0 124 0

[startup+0.0674529 s]
/proc/loadavg: 1.02 1.01 1.13 3/176 10121
/proc/meminfo: memFree=2910356/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 10949 0 50 0 1 1 0 0 18 0 11 0 902486537 10716594176 10695 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2616356 10696 1608 9 0 2607104 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.100455 s]
/proc/loadavg: 1.02 1.01 1.13 3/176 10121
/proc/meminfo: memFree=2910356/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10467612 CPUtime=0.03 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 11310 0 50 0 2 1 0 0 18 0 13 0 902486537 10718834688 11053 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2616903 11054 1681 9 0 2607651 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467612

[startup+0.300422 s]
/proc/loadavg: 1.02 1.01 1.13 3/176 10121
/proc/meminfo: memFree=2910356/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10467612 CPUtime=0.03 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 11397 0 50 0 2 1 0 0 18 0 13 0 902486537 10718834688 11140 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2616903 11140 1684 9 0 2607651 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467612

[startup+0.700272 s]
/proc/loadavg: 1.02 1.01 1.13 3/176 10121
/proc/meminfo: memFree=2910356/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10543240 CPUtime=0.45 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 16110 0 52 0 42 3 0 0 18 0 19 0 902486537 10796277760 15367 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2635810 15367 2216 9 0 2626544 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10543240

[startup+1.50116 s]
/proc/loadavg: 1.02 1.01 1.13 3/214 10159
/proc/meminfo: memFree=2797488/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10543116 CPUtime=1.56 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 19001 0 52 0 153 3 0 0 18 0 19 0 902486537 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2635779 16888 2227 9 0 2626513 0
[pid=10121/tid=10125] ppid=10117 vsize=10543116 CPUtime=1.05 cores=1,3,5,7
/proc/10121/task/10125/stat : 10125 (java) R 10117 10121 8865 0 -1 4202560 14154 0 50 0 102 3 0 0 20 0 19 0 902486538 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 46912505612874 0 4 0 16800975 0 0 0 -1 1 0 0 41
[pid=10121/tid=10134] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10134/stat : 10134 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10135] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10135/stat : 10135 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10136] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10136/stat : 10136 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10137] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10137/stat : 10137 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10138] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10138/stat : 10138 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10139] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10139/stat : 10139 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10140] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10140/stat : 10140 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10141] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10141/stat : 10141 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902486540 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10143] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10143/stat : 10143 (java) S 10117 10121 8865 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 902486543 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 0 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10145] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10145/stat : 10145 (java) S 10117 10121 8865 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902486545 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10147] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10147/stat : 10147 (java) S 10117 10121 8865 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 902486545 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10148] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10148/stat : 10148 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699498929 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10149] ppid=10117 vsize=10543116 CPUtime=0.28 cores=1,3,5,7
/proc/10121/task/10149/stat : 10149 (java) S 10117 10121 8865 0 -1 4202560 2003 0 1 0 28 0 0 0 16 0 19 0 902486579 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10154] ppid=10117 vsize=10543116 CPUtime=0.22 cores=1,3,5,7
/proc/10121/task/10154/stat : 10154 (java) S 10117 10121 8865 0 -1 4202560 1675 0 1 0 22 0 0 0 15 0 19 0 902486579 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10155] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10155/stat : 10155 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10157] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10157/stat : 10157 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902486579 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10159] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10159/stat : 10159 (java) S 10117 10121 8865 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902486605 10796150784 16888 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10543116

[startup+3.10087 s]
/proc/loadavg: 1.09 1.02 1.14 3/214 10159
/proc/meminfo: memFree=2781880/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10543116 CPUtime=3.23 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 25324 0 52 0 319 4 0 0 18 0 19 0 902486537 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2635779 23012 2252 9 0 2626513 0
[pid=10121/tid=10125] ppid=10117 vsize=10543116 CPUtime=2.62 cores=1,3,5,7
/proc/10121/task/10125/stat : 10125 (java) R 10117 10121 8865 0 -1 4202560 16202 0 50 0 259 3 0 0 25 0 19 0 902486538 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 46912505623344 0 4 0 16800975 0 0 0 -1 1 0 0 41
[pid=10121/tid=10134] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10134/stat : 10134 (java) S 10117 10121 8865 0 -1 4202560 708 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10135] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10135/stat : 10135 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10136] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10136/stat : 10136 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10137] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10137/stat : 10137 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10138] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10138/stat : 10138 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10139] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10139/stat : 10139 (java) S 10117 10121 8865 0 -1 4202560 633 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10140] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10140/stat : 10140 (java) S 10117 10121 8865 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10141] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10141/stat : 10141 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486540 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10143] ppid=10117 vsize=10543116 CPUtime=0.01 cores=1,3,5,7
/proc/10121/task/10143/stat : 10143 (java) S 10117 10121 8865 0 -1 4202560 2014 0 0 0 1 0 0 0 16 0 19 0 902486543 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 0 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10145] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10145/stat : 10145 (java) S 10117 10121 8865 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10147] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10147/stat : 10147 (java) S 10117 10121 8865 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10148] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10148/stat : 10148 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699498929 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10149] ppid=10117 vsize=10543116 CPUtime=0.32 cores=1,3,5,7
/proc/10121/task/10149/stat : 10149 (java) S 10117 10121 8865 0 -1 4202560 2201 0 1 0 32 0 0 0 16 0 19 0 902486579 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10154] ppid=10117 vsize=10543116 CPUtime=0.23 cores=1,3,5,7
/proc/10121/task/10154/stat : 10154 (java) S 10117 10121 8865 0 -1 4202560 1679 0 1 0 23 0 0 0 15 0 19 0 902486579 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10155] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10155/stat : 10155 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10157] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10157/stat : 10157 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902486579 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10159] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10159/stat : 10159 (java) S 10117 10121 8865 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902486605 10796150784 23012 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 10543116

[startup+6.30128 s]
/proc/loadavg: 1.09 1.02 1.14 3/214 10159
/proc/meminfo: memFree=2741420/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10543116 CPUtime=6.46 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 27958 0 52 0 642 4 0 0 18 0 19 0 902486537 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2635779 25527 2252 9 0 2626513 0
[pid=10121/tid=10125] ppid=10117 vsize=10543116 CPUtime=5.81 cores=1,3,5,7
/proc/10121/task/10125/stat : 10125 (java) R 10117 10121 8865 0 -1 4202560 16204 0 50 0 578 3 0 0 25 0 19 0 902486538 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 46912505618565 0 4 0 16800975 0 0 0 -1 1 0 0 41
[pid=10121/tid=10134] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10134/stat : 10134 (java) S 10117 10121 8865 0 -1 4202560 708 0 0 0 0 0 0 0 15 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10135] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10135/stat : 10135 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10136] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10136/stat : 10136 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10137] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10137/stat : 10137 (java) S 10117 10121 8865 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10138] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10138/stat : 10138 (java) S 10117 10121 8865 0 -1 4202560 304 0 0 0 0 0 0 0 16 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10139] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10139/stat : 10139 (java) S 10117 10121 8865 0 -1 4202560 633 0 0 0 0 0 0 0 15 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10140] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10140/stat : 10140 (java) S 10117 10121 8865 0 -1 4202560 1328 0 0 0 0 0 0 0 16 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10141] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10141/stat : 10141 (java) S 10117 10121 8865 0 -1 4202560 917 0 0 0 0 0 0 0 16 0 19 0 902486540 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10143] ppid=10117 vsize=10543116 CPUtime=0.03 cores=1,3,5,7
/proc/10121/task/10143/stat : 10143 (java) S 10117 10121 8865 0 -1 4202560 2756 0 0 0 3 0 0 0 15 0 19 0 902486543 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 0 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10145] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10145/stat : 10145 (java) S 10117 10121 8865 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10147] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10147/stat : 10147 (java) S 10117 10121 8865 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10148] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10148/stat : 10148 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699498929 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10149] ppid=10117 vsize=10543116 CPUtime=0.34 cores=1,3,5,7
/proc/10121/task/10149/stat : 10149 (java) S 10117 10121 8865 0 -1 4202560 2205 0 1 0 34 0 0 0 15 0 19 0 902486579 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10154] ppid=10117 vsize=10543116 CPUtime=0.25 cores=1,3,5,7
/proc/10121/task/10154/stat : 10154 (java) S 10117 10121 8865 0 -1 4202560 1681 0 1 0 25 0 0 0 16 0 19 0 902486579 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10155] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10155/stat : 10155 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10157] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10157/stat : 10157 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902486579 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10159] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10159/stat : 10159 (java) S 10117 10121 8865 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902486605 10796150784 25527 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 10543116

[startup+12.7011 s]

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

[pid=10121/tid=10139] ppid=10117 vsize=10543116 CPUtime=0.59 cores=1,3,5,7
/proc/10121/task/10139/stat : 10139 (java) S 10117 10121 8865 0 -1 4202560 3144 0 0 0 58 1 0 0 15 0 19 0 902486540 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10140] ppid=10117 vsize=10543116 CPUtime=0.59 cores=1,3,5,7
/proc/10121/task/10140/stat : 10140 (java) S 10117 10121 8865 0 -1 4202560 3454 0 0 0 59 0 0 0 15 0 19 0 902486540 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10141] ppid=10117 vsize=10543116 CPUtime=0.54 cores=1,3,5,7
/proc/10121/task/10141/stat : 10141 (java) S 10117 10121 8865 0 -1 4202560 2334 0 0 0 54 0 0 0 15 0 19 0 902486540 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10143] ppid=10117 vsize=10543116 CPUtime=10.5 cores=1,3,5,7
/proc/10121/task/10143/stat : 10143 (java) S 10117 10121 8865 0 -1 4202560 15662 0 0 0 1045 5 0 0 15 0 19 0 902486543 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 0 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10145] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10145/stat : 10145 (java) S 10117 10121 8865 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10147] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10147/stat : 10147 (java) S 10117 10121 8865 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10148] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10148/stat : 10148 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699498929 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10149] ppid=10117 vsize=10543116 CPUtime=0.47 cores=1,3,5,7
/proc/10121/task/10149/stat : 10149 (java) S 10117 10121 8865 0 -1 4202560 5168 0 1 0 47 0 0 0 15 0 19 0 902486579 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10154] ppid=10117 vsize=10543116 CPUtime=0.26 cores=1,3,5,7
/proc/10121/task/10154/stat : 10154 (java) S 10117 10121 8865 0 -1 4202560 1682 0 1 0 26 0 0 0 15 0 19 0 902486579 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10155] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10155/stat : 10155 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10157] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10157/stat : 10157 (java) S 10117 10121 8865 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902486579 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10159] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10159/stat : 10159 (java) S 10117 10121 8865 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902486605 10796150784 56946 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.82
Current children cumulated vsize (KiB) 10543116

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/214 10208
/proc/meminfo: memFree=2570468/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10543116 CPUtime=1725.97 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 62893 0 52 0 172580 17 0 0 18 0 19 0 902486537 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2635779 58090 2253 9 0 2626513 0
[pid=10121/tid=10125] ppid=10117 vsize=10543116 CPUtime=1709.28 cores=1,3,5,7
/proc/10121/task/10125/stat : 10125 (java) R 10117 10121 8865 0 -1 4202560 21015 0 50 0 170923 5 0 0 25 0 19 0 902486538 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 46912505606272 0 4 0 16800975 0 0 0 -1 5 0 0 41
[pid=10121/tid=10134] ppid=10117 vsize=10543116 CPUtime=0.65 cores=1,3,5,7
/proc/10121/task/10134/stat : 10134 (java) S 10117 10121 8865 0 -1 4202560 2415 0 0 0 65 0 0 0 16 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10135] ppid=10117 vsize=10543116 CPUtime=0.61 cores=1,3,5,7
/proc/10121/task/10135/stat : 10135 (java) S 10117 10121 8865 0 -1 4202560 1480 0 0 0 61 0 0 0 15 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10136] ppid=10117 vsize=10543116 CPUtime=0.61 cores=1,3,5,7
/proc/10121/task/10136/stat : 10136 (java) S 10117 10121 8865 0 -1 4202560 1550 0 0 0 61 0 0 0 15 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10137] ppid=10117 vsize=10543116 CPUtime=0.61 cores=1,3,5,7
/proc/10121/task/10137/stat : 10137 (java) S 10117 10121 8865 0 -1 4202560 1382 0 0 0 61 0 0 0 16 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10138] ppid=10117 vsize=10543116 CPUtime=0.56 cores=1,3,5,7
/proc/10121/task/10138/stat : 10138 (java) S 10117 10121 8865 0 -1 4202560 1215 0 0 0 56 0 0 0 16 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10139] ppid=10117 vsize=10543116 CPUtime=0.62 cores=1,3,5,7
/proc/10121/task/10139/stat : 10139 (java) S 10117 10121 8865 0 -1 4202560 3145 0 0 0 61 1 0 0 16 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10140] ppid=10117 vsize=10543116 CPUtime=0.62 cores=1,3,5,7
/proc/10121/task/10140/stat : 10140 (java) S 10117 10121 8865 0 -1 4202560 3458 0 0 0 62 0 0 0 15 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10141] ppid=10117 vsize=10543116 CPUtime=0.56 cores=1,3,5,7
/proc/10121/task/10141/stat : 10141 (java) S 10117 10121 8865 0 -1 4202560 2340 0 0 0 56 0 0 0 15 0 19 0 902486540 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10143] ppid=10117 vsize=10543116 CPUtime=11 cores=1,3,5,7
/proc/10121/task/10143/stat : 10143 (java) S 10117 10121 8865 0 -1 4202560 16784 0 0 0 1095 5 0 0 15 0 19 0 902486543 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 0 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10145] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10145/stat : 10145 (java) S 10117 10121 8865 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10147] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10147/stat : 10147 (java) S 10117 10121 8865 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10148] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10148/stat : 10148 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699498929 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10149] ppid=10117 vsize=10543116 CPUtime=0.47 cores=1,3,5,7
/proc/10121/task/10149/stat : 10149 (java) S 10117 10121 8865 0 -1 4202560 5168 0 1 0 47 0 0 0 15 0 19 0 902486579 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10154] ppid=10117 vsize=10543116 CPUtime=0.26 cores=1,3,5,7
/proc/10121/task/10154/stat : 10154 (java) S 10117 10121 8865 0 -1 4202560 1682 0 1 0 26 0 0 0 15 0 19 0 902486579 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10155] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10155/stat : 10155 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10157] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10157/stat : 10157 (java) S 10117 10121 8865 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902486579 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10159] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10159/stat : 10159 (java) S 10117 10121 8865 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902486605 10796150784 58090 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.97
Current children cumulated vsize (KiB) 10543116

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/214 10210
/proc/meminfo: memFree=2569524/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10543116 CPUtime=1786.1 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 62930 0 52 0 178593 17 0 0 18 0 19 0 902486537 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2635779 58111 2253 9 0 2626513 0
[pid=10121/tid=10125] ppid=10117 vsize=10543116 CPUtime=1768.79 cores=1,3,5,7
/proc/10121/task/10125/stat : 10125 (java) R 10117 10121 8865 0 -1 4202560 21025 0 50 0 176874 5 0 0 25 0 19 0 902486538 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 46912505623358 0 4 0 16800975 0 0 0 -1 5 0 0 41
[pid=10121/tid=10134] ppid=10117 vsize=10543116 CPUtime=0.68 cores=1,3,5,7
/proc/10121/task/10134/stat : 10134 (java) S 10117 10121 8865 0 -1 4202560 2418 0 0 0 68 0 0 0 16 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10135] ppid=10117 vsize=10543116 CPUtime=0.63 cores=1,3,5,7
/proc/10121/task/10135/stat : 10135 (java) S 10117 10121 8865 0 -1 4202560 1480 0 0 0 63 0 0 0 15 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10136] ppid=10117 vsize=10543116 CPUtime=0.63 cores=1,3,5,7
/proc/10121/task/10136/stat : 10136 (java) S 10117 10121 8865 0 -1 4202560 1557 0 0 0 63 0 0 0 16 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10137] ppid=10117 vsize=10543116 CPUtime=0.64 cores=1,3,5,7
/proc/10121/task/10137/stat : 10137 (java) S 10117 10121 8865 0 -1 4202560 1382 0 0 0 64 0 0 0 16 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10138] ppid=10117 vsize=10543116 CPUtime=0.57 cores=1,3,5,7
/proc/10121/task/10138/stat : 10138 (java) S 10117 10121 8865 0 -1 4202560 1215 0 0 0 57 0 0 0 15 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10139] ppid=10117 vsize=10543116 CPUtime=0.64 cores=1,3,5,7
/proc/10121/task/10139/stat : 10139 (java) S 10117 10121 8865 0 -1 4202560 3148 0 0 0 63 1 0 0 15 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10140] ppid=10117 vsize=10543116 CPUtime=0.64 cores=1,3,5,7
/proc/10121/task/10140/stat : 10140 (java) S 10117 10121 8865 0 -1 4202560 3465 0 0 0 64 0 0 0 15 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10141] ppid=10117 vsize=10543116 CPUtime=0.61 cores=1,3,5,7
/proc/10121/task/10141/stat : 10141 (java) S 10117 10121 8865 0 -1 4202560 2341 0 0 0 61 0 0 0 16 0 19 0 902486540 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10143] ppid=10117 vsize=10543116 CPUtime=11.43 cores=1,3,5,7
/proc/10121/task/10143/stat : 10143 (java) S 10117 10121 8865 0 -1 4202560 16786 0 0 0 1138 5 0 0 15 0 19 0 902486543 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 0 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10145] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10145/stat : 10145 (java) S 10117 10121 8865 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10147] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10147/stat : 10147 (java) S 10117 10121 8865 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10148] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10148/stat : 10148 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699498929 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10149] ppid=10117 vsize=10543116 CPUtime=0.47 cores=1,3,5,7
/proc/10121/task/10149/stat : 10149 (java) S 10117 10121 8865 0 -1 4202560 5168 0 1 0 47 0 0 0 15 0 19 0 902486579 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10154] ppid=10117 vsize=10543116 CPUtime=0.26 cores=1,3,5,7
/proc/10121/task/10154/stat : 10154 (java) S 10117 10121 8865 0 -1 4202560 1682 0 1 0 26 0 0 0 15 0 19 0 902486579 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10155] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10155/stat : 10155 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10157] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10157/stat : 10157 (java) S 10117 10121 8865 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902486579 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10159] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10159/stat : 10159 (java) S 10117 10121 8865 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902486605 10796150784 58111 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1786.1
Current children cumulated vsize (KiB) 10543116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 1.85 3/214 10210
/proc/meminfo: memFree=2569508/32951124 swapFree=67076880/67111528
[pid=10121] ppid=10117 vsize=10543116 CPUtime=1800.03 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10117 10121 8865 0 -1 4202496 62936 0 52 0 179986 17 0 0 18 0 19 0 902486537 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10121/statm: 2635779 58113 2253 9 0 2626513 0
[pid=10121/tid=10125] ppid=10117 vsize=10543116 CPUtime=1782.61 cores=1,3,5,7
/proc/10121/task/10125/stat : 10125 (java) R 10117 10121 8865 0 -1 4202560 21027 0 50 0 178256 5 0 0 25 0 19 0 902486538 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 46912505618579 0 4 0 16800975 0 0 0 -1 5 0 0 41
[pid=10121/tid=10134] ppid=10117 vsize=10543116 CPUtime=0.68 cores=1,3,5,7
/proc/10121/task/10134/stat : 10134 (java) S 10117 10121 8865 0 -1 4202560 2418 0 0 0 68 0 0 0 15 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10135] ppid=10117 vsize=10543116 CPUtime=0.63 cores=1,3,5,7
/proc/10121/task/10135/stat : 10135 (java) S 10117 10121 8865 0 -1 4202560 1480 0 0 0 63 0 0 0 15 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10136] ppid=10117 vsize=10543116 CPUtime=0.64 cores=1,3,5,7
/proc/10121/task/10136/stat : 10136 (java) S 10117 10121 8865 0 -1 4202560 1557 0 0 0 64 0 0 0 16 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10137] ppid=10117 vsize=10543116 CPUtime=0.64 cores=1,3,5,7
/proc/10121/task/10137/stat : 10137 (java) S 10117 10121 8865 0 -1 4202560 1382 0 0 0 64 0 0 0 15 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10138] ppid=10117 vsize=10543116 CPUtime=0.58 cores=1,3,5,7
/proc/10121/task/10138/stat : 10138 (java) S 10117 10121 8865 0 -1 4202560 1215 0 0 0 58 0 0 0 16 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10139] ppid=10117 vsize=10543116 CPUtime=0.64 cores=1,3,5,7
/proc/10121/task/10139/stat : 10139 (java) S 10117 10121 8865 0 -1 4202560 3150 0 0 0 63 1 0 0 16 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10140] ppid=10117 vsize=10543116 CPUtime=0.65 cores=1,3,5,7
/proc/10121/task/10140/stat : 10140 (java) S 10117 10121 8865 0 -1 4202560 3465 0 0 0 65 0 0 0 16 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10141] ppid=10117 vsize=10543116 CPUtime=0.61 cores=1,3,5,7
/proc/10121/task/10141/stat : 10141 (java) S 10117 10121 8865 0 -1 4202560 2341 0 0 0 61 0 0 0 15 0 19 0 902486540 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10143] ppid=10117 vsize=10543116 CPUtime=11.51 cores=1,3,5,7
/proc/10121/task/10143/stat : 10143 (java) S 10117 10121 8865 0 -1 4202560 16788 0 0 0 1146 5 0 0 15 0 19 0 902486543 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 0 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10145] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10145/stat : 10145 (java) S 10117 10121 8865 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10147] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10147/stat : 10147 (java) S 10117 10121 8865 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 902486545 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
[pid=10121/tid=10148] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10148/stat : 10148 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699498929 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10149] ppid=10117 vsize=10543116 CPUtime=0.47 cores=1,3,5,7
/proc/10121/task/10149/stat : 10149 (java) S 10117 10121 8865 0 -1 4202560 5168 0 1 0 47 0 0 0 15 0 19 0 902486579 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 7 0 0 0
[pid=10121/tid=10154] ppid=10117 vsize=10543116 CPUtime=0.26 cores=1,3,5,7
/proc/10121/task/10154/stat : 10154 (java) S 10117 10121 8865 0 -1 4202560 1682 0 1 0 26 0 0 0 15 0 19 0 902486579 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 3 0 0 0
[pid=10121/tid=10155] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10155/stat : 10155 (java) S 10117 10121 8865 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902486579 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491225 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10157] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10157/stat : 10157 (java) S 10117 10121 8865 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902486579 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 1 0 0 0
[pid=10121/tid=10159] ppid=10117 vsize=10543116 CPUtime=0 cores=1,3,5,7
/proc/10121/task/10159/stat : 10159 (java) S 10117 10121 8865 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902486605 10796150784 58113 33554432000 1073741824 1073778376 140734976447136 18446744073709551615 212699491840 0 4 0 16800975 18446604466909596480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10543116

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.27
CPU time (s): 1800.13
CPU user time (s): 1799.94
CPU system time (s): 0.186971
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 10543240

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

runsolver used 2.81957 second user time and 6.99894 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-12 22:01:28
IDJOB=3492251
IDBENCH=78709
IDSOLVER=1982
FILE ID=node139/3492251-1307908888
RUNJOBID= node139-1307908888-10095
PBS_JOBID= 13559516
Free space on /tmp= 2692 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-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492251-1307908888/watcher-3492251-1307908888 -o /tmp/evaluation-result-3492251-1307908888/solver-3492251-1307908888 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492251-1307908888.wbo

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

MD5SUM BENCH= d7a0ad39836c923faf2776c1a468a22d
RANDOM SEED=1095241689

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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	: 5321.49
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.852
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.852
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.82
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.852
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:       2911444 kB
Buffers:         62284 kB
Cached:       29025744 kB
SwapCached:       3400 kB
Active:       14369072 kB
Inactive:     14753168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2911444 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:             944 kB
Writeback:          16 kB
AnonPages:       32360 kB
Mapped:          13216 kB
Slab:           853516 kB
PageTables:       4468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188744 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= 2692 MiB
End job on node139 at 2011-06-12 22:31:26