Trace number 3492268

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.14 1796.55

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MD5SUMa455ffab78a89665145255f789204852
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark0.136978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints24
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 1255
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1254
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		9996466904
0.02/0.08	c Max memory 		10048897024
0.02/0.08	c Total memory 		10048897024
0.02/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492268-1307908908.wbo
0.10/0.10	c reading problem ... 
0.29/0.20	c ... done. Wall clock time 0.096s.
0.29/0.20	c #vars     1824
0.29/0.20	c #constraints  85
0.29/0.20	c constraints type 
0.29/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
0.29/0.20	c org.sat4j.minisat.constraints.card.MinWatchCard => 28
0.29/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.54/0.34	c SATISFIABLE
0.54/0.34	c OPTIMIZING...
0.54/0.34	c Got one! Elapsed wall clock time (in seconds):0.234
0.54/0.34	o 96
0.54/0.38	c Got one! Elapsed wall clock time (in seconds):0.279
0.54/0.38	o 45
0.76/0.44	c Got one! Elapsed wall clock time (in seconds):0.341
0.76/0.44	o 32
0.91/0.53	c Got one! Elapsed wall clock time (in seconds):0.427
0.91/0.53	o 27
1.02/0.67	c Got one! Elapsed wall clock time (in seconds):0.566
1.02/0.67	o 23
2.01/1.64	c cleaning 3499 clauses out of 7030 with flag 5001/7030
3.39/2.90	c cleaning 4722 clauses out of 9531 with flag 11001/13030
4.89/4.44	c cleaning 5871 clauses out of 11809 with flag 18001/20030
6.79/6.33	c cleaning 6949 clauses out of 13940 with flag 26003/28032
8.92/8.47	c cleaning 7973 clauses out of 15989 with flag 35001/37030
11.53/11.08	c cleaning 8992 clauses out of 18019 with flag 45004/47033
14.14/13.66	c cleaning 9461 clauses out of 19023 with flag 55000/57029
17.24/16.78	c cleaning 9754 clauses out of 19562 with flag 65000/67029
20.35/19.88	c cleaning 9888 clauses out of 19810 with flag 75002/77031
22.66/22.17	c cleaning 9914 clauses out of 19921 with flag 85001/87030
25.77/25.30	c cleaning 9998 clauses out of 20006 with flag 95000/97029
27.87/27.33	c cleaning 9985 clauses out of 20009 with flag 105001/107030
30.88/30.35	c cleaning 10012 clauses out of 20024 with flag 115001/117030
33.49/32.96	c cleaning 9960 clauses out of 20011 with flag 125000/127029
36.49/35.90	c cleaning 9991 clauses out of 20051 with flag 135000/137029
39.50/38.93	c cleaning 10002 clauses out of 20060 with flag 145000/147029
42.71/42.17	c cleaning 9992 clauses out of 20058 with flag 155000/157029
47.11/46.54	c cleaning 10009 clauses out of 20067 with flag 165001/167030
50.33/49.72	c cleaning 9986 clauses out of 20058 with flag 175001/177030
53.24/52.65	c cleaning 10014 clauses out of 20073 with flag 185002/187031
56.35/55.78	c cleaning 10005 clauses out of 20058 with flag 195001/197030
59.86/59.22	c cleaning 9996 clauses out of 20055 with flag 205003/207032
63.47/62.81	c cleaning 9998 clauses out of 20056 with flag 215000/217029
67.68/67.08	c cleaning 10012 clauses out of 20060 with flag 225002/227031
71.58/70.95	c cleaning 9995 clauses out of 20048 with flag 235002/237031
75.59/74.99	c cleaning 9989 clauses out of 20052 with flag 245001/247030
79.90/79.22	c cleaning 10004 clauses out of 20064 with flag 255002/257031
82.50/81.85	c cleaning 10004 clauses out of 20058 with flag 265000/267029
85.61/84.99	c cleaning 9949 clauses out of 20056 with flag 275002/277031
90.42/89.73	c cleaning 9988 clauses out of 20106 with flag 285001/287030
94.35/93.67	c cleaning 9994 clauses out of 20120 with flag 295003/297032
98.05/97.37	c cleaning 10014 clauses out of 20127 with flag 305004/307033
101.46/100.77	c cleaning 10003 clauses out of 20110 with flag 315001/317030
104.86/104.16	c cleaning 10041 clauses out of 20111 with flag 325005/327034
108.87/108.13	c cleaning 10008 clauses out of 20065 with flag 335000/337029
112.88/112.17	c cleaning 10002 clauses out of 20059 with flag 345002/347031
117.29/116.53	c cleaning 9999 clauses out of 20058 with flag 355003/357032
121.60/120.81	c cleaning 10000 clauses out of 20056 with flag 365000/367029
125.41/124.68	c cleaning 9986 clauses out of 20056 with flag 375000/377029
129.72/128.96	c cleaning 10006 clauses out of 20071 with flag 385001/387030
132.92/132.16	c cleaning 10012 clauses out of 20067 with flag 395003/397032
135.63/134.85	c cleaning 10002 clauses out of 20053 with flag 405001/407030
138.65/137.89	c cleaning 9991 clauses out of 20050 with flag 415000/417029
142.25/141.43	c cleaning 9996 clauses out of 20059 with flag 425000/427029
145.76/144.95	c cleaning 10015 clauses out of 20063 with flag 435000/437029
150.07/149.20	c cleaning 10008 clauses out of 20048 with flag 445000/447029
153.38/152.58	c cleaning 9994 clauses out of 20040 with flag 455000/457029
157.49/156.66	c cleaning 10004 clauses out of 20046 with flag 465000/467029
162.89/162.03	c cleaning 9999 clauses out of 20045 with flag 475003/477032
166.70/165.86	c cleaning 9981 clauses out of 20043 with flag 485000/487029
171.42/170.58	c cleaning 9990 clauses out of 20062 with flag 495000/497029
175.42/174.56	c cleaning 10009 clauses out of 20077 with flag 505005/507034
179.93/179.09	c cleaning 10002 clauses out of 20066 with flag 515003/517032
183.34/182.45	c cleaning 9993 clauses out of 20062 with flag 525001/527030
187.34/186.47	c cleaning 9994 clauses out of 20070 with flag 535002/537031
191.46/190.51	c cleaning 10024 clauses out of 20078 with flag 545004/547033
195.57/194.68	c cleaning 9981 clauses out of 20051 with flag 555001/557030
198.87/198.00	c cleaning 9993 clauses out of 20071 with flag 565002/567031
202.98/202.02	c cleaning 9999 clauses out of 20077 with flag 575001/577030
206.49/205.59	c cleaning 10009 clauses out of 20077 with flag 585000/587029
209.00/208.01	c cleaning 10000 clauses out of 20068 with flag 595000/597029
211.70/210.74	c cleaning 10001 clauses out of 20068 with flag 605000/607029
214.51/213.55	c cleaning 10006 clauses out of 20068 with flag 615001/617030
218.12/217.10	c cleaning 10012 clauses out of 20062 with flag 625001/627030
222.14/221.13	c cleaning 9987 clauses out of 20049 with flag 635000/637029
226.36/225.33	c cleaning 10001 clauses out of 20063 with flag 645001/647030
230.87/229.81	c cleaning 10000 clauses out of 20062 with flag 655001/657030
235.57/234.51	c cleaning 9998 clauses out of 20061 with flag 665000/667029
239.79/238.75	c cleaning 10006 clauses out of 20066 with flag 675003/677032
243.79/242.72	c cleaning 10002 clauses out of 20057 with flag 685000/687029
248.80/247.78	c cleaning 10001 clauses out of 20056 with flag 695001/697030
252.81/251.77	c cleaning 10001 clauses out of 20056 with flag 705002/707031
256.52/255.47	c cleaning 9998 clauses out of 20054 with flag 715001/717030
260.42/259.37	c cleaning 10007 clauses out of 20057 with flag 725002/727031
264.23/263.14	c cleaning 10001 clauses out of 20048 with flag 735000/737029
269.24/268.14	c cleaning 10012 clauses out of 20057 with flag 745010/747039
273.25/272.20	c cleaning 9996 clauses out of 20035 with flag 755000/757029
277.26/276.18	c cleaning 9995 clauses out of 20039 with flag 765000/767029
281.86/280.70	c cleaning 9986 clauses out of 20050 with flag 775006/777035
286.07/284.99	c cleaning 9994 clauses out of 20058 with flag 785000/787029
290.57/289.40	c cleaning 9997 clauses out of 20066 with flag 795002/797031
294.79/293.67	c cleaning 9998 clauses out of 20070 with flag 805003/807032
298.89/297.72	c cleaning 9994 clauses out of 20070 with flag 815001/817030
303.40/302.23	c cleaning 10002 clauses out of 20079 with flag 825004/827033
307.81/306.65	c cleaning 10001 clauses out of 20073 with flag 835000/837029
312.12/310.92	c cleaning 9996 clauses out of 20072 with flag 845000/847029
316.03/314.85	c cleaning 10003 clauses out of 20079 with flag 855003/857032
319.93/318.76	c cleaning 9995 clauses out of 20073 with flag 865000/867029
324.54/323.31	c cleaning 10004 clauses out of 20079 with flag 875001/877030
327.65/326.49	c cleaning 9999 clauses out of 20075 with flag 885001/887030
330.46/329.22	c cleaning 10010 clauses out of 20075 with flag 895000/897029
333.47/332.29	c cleaning 9997 clauses out of 20069 with flag 905004/907033
336.68/335.43	c cleaning 10020 clauses out of 20068 with flag 915000/917029
339.78/338.56	c cleaning 10006 clauses out of 20048 with flag 925000/927029
343.49/342.22	c cleaning 10005 clauses out of 20045 with flag 935003/937032
346.60/345.35	c cleaning 9996 clauses out of 20040 with flag 945003/947032
350.20/348.92	c cleaning 10006 clauses out of 20042 with flag 955001/957030
354.11/352.88	c cleaning 10002 clauses out of 20035 with flag 965000/967029
357.72/356.44	c cleaning 9972 clauses out of 20034 with flag 975001/977030
362.13/360.84	c cleaning 9994 clauses out of 20061 with flag 985000/987029
366.83/365.55	c cleaning 10001 clauses out of 20067 with flag 995000/997029
371.74/370.44	c cleaning 10004 clauses out of 20067 with flag 1005001/1007030
375.86/374.52	c cleaning 10009 clauses out of 20064 with flag 1015002/1017031
380.47/379.15	c cleaning 9995 clauses out of 20053 with flag 1025000/1027029
384.78/383.47	c cleaning 10010 clauses out of 20059 with flag 1035001/1037030
390.09/388.74	c cleaning 10001 clauses out of 20048 with flag 1045000/1047029
394.81/393.49	c cleaning 9994 clauses out of 20048 with flag 1055001/1057030
401.41/400.04	c cleaning 10007 clauses out of 20053 with flag 1065000/1067029
405.52/404.15	c cleaning 9994 clauses out of 20046 with flag 1075000/1077029
409.33/407.92	c cleaning 9995 clauses out of 20052 with flag 1085000/1087029
413.04/411.65	c cleaning 9996 clauses out of 20057 with flag 1095000/1097029
417.64/416.29	c cleaning 9990 clauses out of 20061 with flag 1105000/1107029
422.05/420.66	c cleaning 10004 clauses out of 20071 with flag 1115000/1117029
427.07/425.62	c cleaning 10002 clauses out of 20067 with flag 1125000/1127029
431.38/429.97	c cleaning 9998 clauses out of 20065 with flag 1135000/1137029
435.58/434.19	c cleaning 10003 clauses out of 20068 with flag 1145001/1147030
440.49/439.01	c cleaning 10001 clauses out of 20067 with flag 1155003/1157032
444.90/443.42	c cleaning 9994 clauses out of 20065 with flag 1165002/1167031
449.00/447.60	c cleaning 9996 clauses out of 20069 with flag 1175000/1177029
452.71/451.28	c cleaning 10015 clauses out of 20078 with flag 1185005/1187034
456.82/455.32	c cleaning 10005 clauses out of 20059 with flag 1195001/1197030
460.92/459.43	c cleaning 10000 clauses out of 20054 with flag 1205001/1207030
464.92/463.48	c cleaning 10000 clauses out of 20054 with flag 1215001/1217030
469.13/467.63	c cleaning 10004 clauses out of 20055 with flag 1225002/1227031
473.74/472.28	c cleaning 9998 clauses out of 20049 with flag 1235000/1237029
477.96/476.41	c cleaning 10004 clauses out of 20052 with flag 1245001/1247030
481.96/480.49	c cleaning 9999 clauses out of 20047 with flag 1255000/1257029
485.97/484.45	c cleaning 10003 clauses out of 20049 with flag 1265001/1267030
489.47/487.92	c cleaning 9988 clauses out of 20047 with flag 1275002/1277031
493.58/492.00	c cleaning 10004 clauses out of 20057 with flag 1285000/1287029
497.79/496.29	c cleaning 10004 clauses out of 20053 with flag 1295000/1297029
502.89/501.35	c cleaning 10004 clauses out of 20053 with flag 1305004/1307033
506.60/505.01	c cleaning 9998 clauses out of 20045 with flag 1315000/1317029
509.81/508.24	c cleaning 9995 clauses out of 20047 with flag 1325000/1327029
512.31/510.73	c cleaning 9996 clauses out of 20052 with flag 1335000/1337029
515.23/513.60	c cleaning 10004 clauses out of 20057 with flag 1345001/1347030
518.44/516.84	c cleaning 9984 clauses out of 20056 with flag 1355004/1357033
522.45/520.82	c cleaning 9977 clauses out of 20068 with flag 1365000/1367029
526.15/524.55	c cleaning 9987 clauses out of 20092 with flag 1375001/1377030
529.76/528.11	c cleaning 10038 clauses out of 20104 with flag 1385000/1387029
533.27/531.62	c cleaning 9969 clauses out of 20068 with flag 1395002/1397031
536.28/534.61	c cleaning 9987 clauses out of 20097 with flag 1405000/1407029
539.08/537.49	c cleaning 10034 clauses out of 20110 with flag 1415000/1417029
542.59/540.92	c cleaning 10018 clauses out of 20076 with flag 1425000/1427029
545.99/544.37	c cleaning 10009 clauses out of 20058 with flag 1435000/1437029
549.80/548.19	c cleaning 10006 clauses out of 20051 with flag 1445002/1447031
554.00/552.35	c cleaning 10004 clauses out of 20043 with flag 1455000/1457029
557.81/556.16	c cleaning 10004 clauses out of 20041 with flag 1465002/1467031
561.12/559.41	c cleaning 10008 clauses out of 20035 with flag 1475000/1477029
564.43/562.73	c cleaning 10005 clauses out of 20029 with flag 1485002/1487031
567.63/565.90	c cleaning 9991 clauses out of 20023 with flag 1495001/1497030
570.45/568.72	c cleaning 10009 clauses out of 20036 with flag 1505005/1507034
573.44/571.77	c cleaning 9991 clauses out of 20022 with flag 1515000/1517029
576.55/574.88	c cleaning 10001 clauses out of 20031 with flag 1525000/1527029
580.76/579.10	c cleaning 10000 clauses out of 20030 with flag 1535000/1537029
585.18/583.43	c cleaning 10001 clauses out of 20032 with flag 1545002/1547031
589.69/587.96	c cleaning 9999 clauses out of 20029 with flag 1555000/1557029
594.40/592.60	c cleaning 9990 clauses out of 20031 with flag 1565001/1567030
598.30/596.57	c cleaning 10005 clauses out of 20045 with flag 1575005/1577034
602.42/600.61	c cleaning 10002 clauses out of 20035 with flag 1585000/1587029
606.42/604.62	c cleaning 9997 clauses out of 20033 with flag 1595000/1597029
610.63/608.83	c cleaning 10003 clauses out of 20037 with flag 1605001/1607030
614.54/612.75	c cleaning 9994 clauses out of 20034 with flag 1615001/1617030
618.04/616.23	c cleaning 9981 clauses out of 20040 with flag 1625001/1627030
622.15/620.37	c cleaning 9997 clauses out of 20058 with flag 1635000/1637029
626.15/624.31	c cleaning 9998 clauses out of 20061 with flag 1645000/1647029
630.05/628.24	c cleaning 10000 clauses out of 20064 with flag 1655001/1657030
634.27/632.43	c cleaning 9995 clauses out of 20063 with flag 1665000/1667029
638.56/636.79	c cleaning 10001 clauses out of 20068 with flag 1675000/1677029
642.47/640.69	c cleaning 10003 clauses out of 20069 with flag 1685002/1687031
646.38/644.56	c cleaning 10003 clauses out of 20067 with flag 1695003/1697032
650.38/648.53	c cleaning 9999 clauses out of 20062 with flag 1705001/1707030
654.48/652.67	c cleaning 10000 clauses out of 20064 with flag 1715002/1717031
658.79/656.91	c cleaning 9999 clauses out of 20065 with flag 1725003/1727032
662.80/660.90	c cleaning 9993 clauses out of 20065 with flag 1735002/1737031
666.90/665.03	c cleaning 9996 clauses out of 20071 with flag 1745001/1747030
671.40/669.53	c cleaning 10005 clauses out of 20074 with flag 1755000/1757029
675.81/673.90	c cleaning 10005 clauses out of 20073 with flag 1765004/1767033
679.02/677.13	c cleaning 10017 clauses out of 20066 with flag 1775002/1777031
684.43/682.58	c cleaning 10006 clauses out of 20047 with flag 1785000/1787029
690.74/688.87	c cleaning 9987 clauses out of 20041 with flag 1795000/1797029
697.15/695.22	c cleaning 10015 clauses out of 20056 with flag 1805002/1807031
702.56/700.67	c cleaning 9958 clauses out of 20039 with flag 1815000/1817029
708.17/706.26	c cleaning 10027 clauses out of 20082 with flag 1825001/1827030
713.77/711.82	c cleaning 10010 clauses out of 20054 with flag 1835000/1837029
719.68/717.77	c cleaning 10014 clauses out of 20051 with flag 1845007/1847036
725.39/723.44	c cleaning 9999 clauses out of 20030 with flag 1855000/1857029
730.40/728.41	c cleaning 9999 clauses out of 20037 with flag 1865006/1867035
735.80/733.85	c cleaning 9997 clauses out of 20034 with flag 1875002/1877031
740.80/738.86	c cleaning 10002 clauses out of 20037 with flag 1885002/1887031
746.32/744.35	c cleaning 10002 clauses out of 20035 with flag 1895002/1897031
752.23/750.24	c cleaning 9998 clauses out of 20031 with flag 1905000/1907029
758.33/756.30	c cleaning 10009 clauses out of 20041 with flag 1915008/1917037
763.54/761.55	c cleaning 9992 clauses out of 20024 with flag 1925000/1927029
768.56/766.57	c cleaning 10003 clauses out of 20033 with flag 1935001/1937030
772.96/770.91	c cleaning 10000 clauses out of 20031 with flag 1945002/1947031
778.17/776.11	c cleaning 9991 clauses out of 20029 with flag 1955000/1957029
783.38/781.33	c cleaning 10006 clauses out of 20040 with flag 1965002/1967031
788.68/786.62	c cleaning 10005 clauses out of 20040 with flag 1975008/1977037
794.09/792.07	c cleaning 9994 clauses out of 20028 with flag 1985001/1987030
796.99/794.97	c cleaning 9993 clauses out of 20034 with flag 1995001/1997030
799.70/797.67	c cleaning 10007 clauses out of 20040 with flag 2005000/2007029
802.70/800.60	c cleaning 9983 clauses out of 20033 with flag 2015000/2017029
806.52/804.43	c cleaning 10006 clauses out of 20050 with flag 2025000/2027029
810.12/808.05	c cleaning 9988 clauses out of 20046 with flag 2035002/2037031
814.24/812.13	c cleaning 9996 clauses out of 20057 with flag 2045001/2047030
818.44/816.36	c cleaning 10015 clauses out of 20060 with flag 2055000/2057029
823.25/821.11	c cleaning 10004 clauses out of 20047 with flag 2065002/2067031
828.16/826.10	c cleaning 10007 clauses out of 20041 with flag 2075000/2077029
831.97/829.86	c cleaning 9992 clauses out of 20035 with flag 2085001/2087030
835.98/833.87	c cleaning 9976 clauses out of 20044 with flag 2095002/2097031
840.18/838.00	c cleaning 10014 clauses out of 20068 with flag 2105002/2107031
843.98/841.84	c cleaning 10004 clauses out of 20054 with flag 2115002/2117031
847.69/845.57	c cleaning 10001 clauses out of 20049 with flag 2125001/2127030
851.70/849.53	c cleaning 9996 clauses out of 20050 with flag 2135003/2137032
856.00/853.86	c cleaning 9998 clauses out of 20051 with flag 2145000/2147029
860.31/858.17	c cleaning 9996 clauses out of 20054 with flag 2155001/2157030
864.11/861.90	c cleaning 10001 clauses out of 20057 with flag 2165000/2167029
868.62/866.45	c cleaning 9998 clauses out of 20056 with flag 2175000/2177029
873.33/871.17	c cleaning 10005 clauses out of 20058 with flag 2185000/2187029
877.04/874.81	c cleaning 10004 clauses out of 20057 with flag 2195004/2197033
881.05/878.87	c cleaning 9990 clauses out of 20049 with flag 2205000/2207029
884.66/882.41	c cleaning 10001 clauses out of 20059 with flag 2215000/2217029
888.47/886.27	c cleaning 10002 clauses out of 20061 with flag 2225003/2227032
892.68/890.45	c cleaning 10001 clauses out of 20056 with flag 2235000/2237029
896.49/894.30	c cleaning 10003 clauses out of 20057 with flag 2245002/2247031
900.69/898.40	c cleaning 10000 clauses out of 20053 with flag 2255001/2257030
904.20/901.91	c cleaning 9999 clauses out of 20053 with flag 2265001/2267030
908.30/906.04	c cleaning 9998 clauses out of 20053 with flag 2275000/2277029
912.10/909.83	c cleaning 10010 clauses out of 20057 with flag 2285002/2287031
917.21/914.93	c cleaning 10001 clauses out of 20046 with flag 2295001/2297030
921.62/919.30	c cleaning 9994 clauses out of 20047 with flag 2305003/2307032
925.73/923.50	c cleaning 9999 clauses out of 20053 with flag 2315003/2317032
931.93/929.61	c cleaning 10001 clauses out of 20058 with flag 2325007/2327036
937.44/935.15	c cleaning 10005 clauses out of 20050 with flag 2335000/2337029
942.65/940.31	c cleaning 10000 clauses out of 20046 with flag 2345001/2347030
947.06/944.78	c cleaning 9989 clauses out of 20045 with flag 2355000/2357029
951.96/949.68	c cleaning 10012 clauses out of 20058 with flag 2365002/2367031
956.57/954.26	c cleaning 10001 clauses out of 20044 with flag 2375000/2377029
962.07/959.78	c cleaning 9991 clauses out of 20043 with flag 2385000/2387029
967.08/964.76	c cleaning 9996 clauses out of 20052 with flag 2395000/2397029
971.59/969.23	c cleaning 10015 clauses out of 20057 with flag 2405001/2407030
976.10/973.79	c cleaning 9999 clauses out of 20043 with flag 2415002/2417031
981.61/979.24	c cleaning 10001 clauses out of 20043 with flag 2425001/2427030
985.41/983.08	c cleaning 9993 clauses out of 20042 with flag 2435001/2437030
990.22/987.83	c cleaning 9989 clauses out of 20048 with flag 2445000/2447029
994.22/991.85	c cleaning 10000 clauses out of 20061 with flag 2455002/2457031
998.32/995.95	c cleaning 9991 clauses out of 20060 with flag 2465001/2467030
1002.24/999.85	c cleaning 10005 clauses out of 20068 with flag 2475000/2477029
1006.84/1004.47	c cleaning 10002 clauses out of 20064 with flag 2485001/2487030
1011.15/1008.71	c cleaning 9997 clauses out of 20062 with flag 2495001/2497030
1015.65/1013.27	c cleaning 10001 clauses out of 20064 with flag 2505000/2507029
1019.96/1017.56	c cleaning 10003 clauses out of 20064 with flag 2515001/2517030
1024.57/1022.14	c cleaning 9998 clauses out of 20061 with flag 2525001/2527030
1028.78/1026.39	c cleaning 10002 clauses out of 20062 with flag 2535000/2537029
1033.08/1030.69	c cleaning 9996 clauses out of 20061 with flag 2545001/2547030
1038.18/1035.76	c cleaning 10001 clauses out of 20064 with flag 2555000/2557029
1042.79/1040.37	c cleaning 10002 clauses out of 20065 with flag 2565002/2567031
1046.90/1044.49	c cleaning 10003 clauses out of 20064 with flag 2575003/2577032
1051.20/1048.72	c cleaning 10000 clauses out of 20058 with flag 2585000/2587029
1055.31/1052.89	c cleaning 10002 clauses out of 20061 with flag 2595003/2597032
1059.11/1056.66	c cleaning 9986 clauses out of 20058 with flag 2605002/2607031
1063.32/1060.85	c cleaning 9995 clauses out of 20074 with flag 2615004/2617033
1068.12/1065.64	c cleaning 9993 clauses out of 20075 with flag 2625000/2627029
1072.33/1069.89	c cleaning 10011 clauses out of 20082 with flag 2635000/2637029
1077.03/1074.57	c cleaning 10005 clauses out of 20078 with flag 2645007/2647036
1080.74/1078.27	c cleaning 9996 clauses out of 20066 with flag 2655000/2657029
1084.04/1081.56	c cleaning 9990 clauses out of 20073 with flag 2665003/2667032
1088.15/1085.65	c cleaning 10012 clauses out of 20084 with flag 2675004/2677033
1092.66/1090.13	c cleaning 9997 clauses out of 20071 with flag 2685003/2687032
1097.46/1094.97	c cleaning 9999 clauses out of 20074 with flag 2695003/2697032
1101.88/1099.35	c cleaning 10003 clauses out of 20072 with flag 2705000/2707029
1106.28/1103.75	c cleaning 10000 clauses out of 20073 with flag 2715004/2717033
1110.59/1108.01	c cleaning 10000 clauses out of 20071 with flag 2725002/2727031
1115.19/1112.69	c cleaning 9996 clauses out of 20069 with flag 2735000/2737029
1119.90/1117.31	c cleaning 9986 clauses out of 20075 with flag 2745002/2747031
1124.31/1121.77	c cleaning 10003 clauses out of 20089 with flag 2755002/2757031
1128.51/1125.98	c cleaning 10010 clauses out of 20084 with flag 2765000/2767029
1132.41/1129.85	c cleaning 10000 clauses out of 20074 with flag 2775000/2777029
1137.22/1134.68	c cleaning 9978 clauses out of 20074 with flag 2785000/2787029
1141.33/1138.77	c cleaning 10019 clauses out of 20097 with flag 2795001/2797030
1145.13/1142.53	c cleaning 9998 clauses out of 20078 with flag 2805001/2807030
1148.93/1146.30	c cleaning 10004 clauses out of 20081 with flag 2815002/2817031
1153.25/1150.63	c cleaning 10003 clauses out of 20079 with flag 2825004/2827033
1157.45/1154.85	c cleaning 9991 clauses out of 20072 with flag 2835000/2837029
1161.85/1159.23	c cleaning 10010 clauses out of 20083 with flag 2845002/2847031
1166.46/1163.86	c cleaning 9996 clauses out of 20071 with flag 2855000/2857029
1171.35/1168.76	c cleaning 10001 clauses out of 20075 with flag 2865000/2867029
1176.36/1173.78	c cleaning 9982 clauses out of 20074 with flag 2875000/2877029
1180.86/1178.28	c cleaning 10011 clauses out of 20092 with flag 2885000/2887029
1186.37/1183.79	c cleaning 10005 clauses out of 20082 with flag 2895001/2897030
1191.08/1188.44	c cleaning 10000 clauses out of 20076 with flag 2905000/2907029
1195.38/1192.75	c cleaning 9993 clauses out of 20076 with flag 2915000/2917029
1200.68/1198.03	c cleaning 10005 clauses out of 20083 with flag 2925000/2927029
1206.68/1204.07	c cleaning 9979 clauses out of 20079 with flag 2935001/2937030
1211.50/1208.83	c cleaning 10017 clauses out of 20099 with flag 2945000/2947029
1215.70/1213.03	c cleaning 10008 clauses out of 20084 with flag 2955002/2957031
1220.00/1217.36	c cleaning 10002 clauses out of 20076 with flag 2965002/2967031
1224.20/1221.55	c cleaning 9978 clauses out of 20073 with flag 2975001/2977030
1229.31/1226.60	c cleaning 10020 clauses out of 20096 with flag 2985002/2987031
1231.70/1229.00	c cleaning 10003 clauses out of 20076 with flag 2995002/2997031
1234.51/1231.86	c cleaning 10004 clauses out of 20071 with flag 3005000/3007029
1237.52/1234.89	c cleaning 10000 clauses out of 20068 with flag 3015001/3017030
1241.43/1238.76	c cleaning 10001 clauses out of 20069 with flag 3025002/3027031
1245.84/1243.16	c cleaning 10017 clauses out of 20067 with flag 3035001/3037030
1249.15/1246.43	c cleaning 10012 clauses out of 20050 with flag 3045001/3047030
1253.66/1250.93	c cleaning 10004 clauses out of 20040 with flag 3055003/3057032
1258.27/1255.56	c cleaning 9962 clauses out of 20033 with flag 3065000/3067029
1262.19/1259.42	c cleaning 10022 clauses out of 20071 with flag 3075000/3077029
1264.89/1262.12	c cleaning 9986 clauses out of 20049 with flag 3085000/3087029
1268.90/1266.12	c cleaning 9993 clauses out of 20065 with flag 3095002/3097031
1273.21/1270.45	c cleaning 9997 clauses out of 20072 with flag 3105002/3107031
1278.11/1275.39	c cleaning 9997 clauses out of 20074 with flag 3115001/3117030
1282.22/1279.45	c cleaning 10016 clauses out of 20081 with flag 3125005/3127034
1286.73/1283.93	c cleaning 10012 clauses out of 20061 with flag 3135001/3137030
1291.24/1288.41	c cleaning 10007 clauses out of 20048 with flag 3145000/3147029
1295.66/1292.81	c cleaning 9995 clauses out of 20041 with flag 3155000/3157029
1299.87/1297.06	c cleaning 10007 clauses out of 20049 with flag 3165003/3167032
1303.97/1301.17	c cleaning 9993 clauses out of 20043 with flag 3175004/3177033
1308.39/1305.52	c cleaning 9999 clauses out of 20048 with flag 3185002/3187031
1312.40/1309.58	c cleaning 9998 clauses out of 20047 with flag 3195000/3197029
1317.00/1314.15	c cleaning 10000 clauses out of 20050 with flag 3205001/3207030
1321.11/1318.26	c cleaning 10001 clauses out of 20052 with flag 3215003/3217032
1325.42/1322.59	c cleaning 9988 clauses out of 20049 with flag 3225001/3227030
1329.82/1326.93	c cleaning 10003 clauses out of 20060 with flag 3235000/3237029
1334.13/1331.22	c cleaning 10003 clauses out of 20060 with flag 3245003/3247032
1338.24/1335.37	c cleaning 10001 clauses out of 20054 with flag 3255000/3257029
1342.54/1339.65	c cleaning 10002 clauses out of 20055 with flag 3265002/3267031
1346.84/1343.95	c cleaning 10000 clauses out of 20051 with flag 3275000/3277029
1350.75/1347.82	c cleaning 10004 clauses out of 20052 with flag 3285001/3287030
1354.96/1352.02	c cleaning 10004 clauses out of 20048 with flag 3295001/3297030
1359.06/1356.19	c cleaning 10001 clauses out of 20043 with flag 3305000/3307029
1363.38/1360.49	c cleaning 10003 clauses out of 20044 with flag 3315002/3317031
1367.49/1364.57	c cleaning 9999 clauses out of 20040 with flag 3325001/3327030
1371.49/1368.58	c cleaning 10002 clauses out of 20040 with flag 3335000/3337029
1375.89/1372.95	c cleaning 10000 clauses out of 20040 with flag 3345002/3347031
1380.50/1377.50	c cleaning 9996 clauses out of 20038 with flag 3355000/3357029
1384.90/1382.00	c cleaning 10003 clauses out of 20044 with flag 3365002/3367031
1389.21/1386.25	c cleaning 10000 clauses out of 20044 with flag 3375005/3377034
1393.82/1390.83	c cleaning 10002 clauses out of 20041 with flag 3385002/3387031
1398.52/1395.60	c cleaning 10000 clauses out of 20038 with flag 3395001/3397030
1402.83/1399.81	c cleaning 9994 clauses out of 20037 with flag 3405000/3407029
1408.03/1405.08	c cleaning 10004 clauses out of 20043 with flag 3415000/3417029
1413.25/1410.22	c cleaning 9995 clauses out of 20042 with flag 3425003/3427032
1416.94/1413.99	c cleaning 10012 clauses out of 20046 with flag 3435002/3437031
1420.86/1417.85	c cleaning 10000 clauses out of 20032 with flag 3445000/3447029
1425.56/1422.54	c cleaning 10001 clauses out of 20032 with flag 3455000/3457029
1430.07/1427.05	c cleaning 10008 clauses out of 20038 with flag 3465007/3467036
1434.88/1431.84	c cleaning 9999 clauses out of 20024 with flag 3475001/3477030
1439.79/1436.76	c cleaning 9987 clauses out of 20025 with flag 3485001/3487030
1444.30/1441.25	c cleaning 10006 clauses out of 20039 with flag 3495002/3497031
1448.90/1445.87	c cleaning 9993 clauses out of 20033 with flag 3505002/3507031
1454.21/1451.19	c cleaning 10007 clauses out of 20039 with flag 3515001/3517030
1458.71/1455.64	c cleaning 10005 clauses out of 20035 with flag 3525004/3527033
1462.51/1459.48	c cleaning 9999 clauses out of 20026 with flag 3535000/3537029
1467.02/1463.92	c cleaning 9998 clauses out of 20030 with flag 3545003/3547032
1471.53/1468.44	c cleaning 9997 clauses out of 20029 with flag 3555000/3557029
1475.94/1472.87	c cleaning 10001 clauses out of 20032 with flag 3565000/3567029
1480.04/1476.90	c cleaning 10003 clauses out of 20032 with flag 3575001/3577030
1484.84/1481.70	c cleaning 10000 clauses out of 20031 with flag 3585003/3587032
1490.15/1487.01	c cleaning 10004 clauses out of 20031 with flag 3595003/3597032
1494.45/1491.33	c cleaning 10001 clauses out of 20025 with flag 3605001/3607030
1499.36/1496.20	c cleaning 9999 clauses out of 20023 with flag 3615000/3617029
1503.66/1500.50	c cleaning 9997 clauses out of 20027 with flag 3625003/3627032
1508.77/1505.68	c cleaning 10006 clauses out of 20031 with flag 3635004/3637033
1513.47/1510.36	c cleaning 9998 clauses out of 20022 with flag 3645001/3647030
1517.17/1514.08	c cleaning 9990 clauses out of 20026 with flag 3655003/3657032
1520.98/1517.87	c cleaning 9998 clauses out of 20034 with flag 3665001/3667030
1525.58/1522.41	c cleaning 9990 clauses out of 20035 with flag 3675000/3677029
1531.99/1528.85	c cleaning 9998 clauses out of 20046 with flag 3685001/3687030
1537.19/1534.03	c cleaning 10006 clauses out of 20047 with flag 3695000/3697029
1541.40/1538.23	c cleaning 10003 clauses out of 20041 with flag 3705000/3707029
1545.50/1542.30	c cleaning 10000 clauses out of 20040 with flag 3715002/3717031
1549.21/1546.03	c cleaning 9998 clauses out of 20039 with flag 3725001/3727030
1553.51/1550.33	c cleaning 10000 clauses out of 20041 with flag 3735001/3737030
1557.53/1554.36	c cleaning 9984 clauses out of 20040 with flag 3745000/3747029
1561.73/1558.57	c cleaning 10008 clauses out of 20056 with flag 3755000/3757029
1565.53/1562.35	c cleaning 10005 clauses out of 20048 with flag 3765000/3767029
1569.03/1565.84	c cleaning 10002 clauses out of 20044 with flag 3775001/3777030
1572.94/1569.70	c cleaning 9985 clauses out of 20042 with flag 3785001/3787030
1577.14/1573.90	c cleaning 10007 clauses out of 20056 with flag 3795000/3797029
1580.84/1577.63	c cleaning 10003 clauses out of 20049 with flag 3805000/3807029
1584.34/1581.13	c cleaning 10004 clauses out of 20047 with flag 3815001/3817030
1588.04/1584.86	c cleaning 9998 clauses out of 20047 with flag 3825005/3827034
1591.94/1588.70	c cleaning 10001 clauses out of 20045 with flag 3835001/3837030
1595.85/1592.66	c cleaning 10000 clauses out of 20047 with flag 3845004/3847033
1600.05/1596.81	c cleaning 10001 clauses out of 20043 with flag 3855000/3857029
1603.25/1600.08	c cleaning 10000 clauses out of 20043 with flag 3865001/3867030
1606.85/1603.65	c cleaning 10000 clauses out of 20042 with flag 3875000/3877029
1610.56/1607.35	c cleaning 10003 clauses out of 20046 with flag 3885004/3887033
1614.37/1611.10	c cleaning 10001 clauses out of 20041 with flag 3895002/3897031
1617.77/1614.51	c cleaning 9997 clauses out of 20038 with flag 3905000/3907029
1621.58/1618.34	c cleaning 10002 clauses out of 20042 with flag 3915001/3917030
1625.18/1621.91	c cleaning 9996 clauses out of 20039 with flag 3925000/3927029
1628.58/1625.38	c cleaning 9996 clauses out of 20046 with flag 3935003/3937032
1632.18/1628.90	c cleaning 10010 clauses out of 20056 with flag 3945009/3947038
1635.99/1632.72	c cleaning 9999 clauses out of 20040 with flag 3955003/3957032
1639.59/1636.31	c cleaning 9999 clauses out of 20039 with flag 3965001/3967030
1643.50/1640.22	c cleaning 9996 clauses out of 20040 with flag 3975001/3977030
1647.31/1644.00	c cleaning 9983 clauses out of 20044 with flag 3985001/3987030
1651.02/1647.73	c cleaning 10004 clauses out of 20062 with flag 3995002/3997031
1654.63/1651.38	c cleaning 9998 clauses out of 20056 with flag 4005000/4007029
1658.43/1655.19	c cleaning 9970 clauses out of 20062 with flag 4015004/4017033
1662.44/1659.13	c cleaning 10017 clauses out of 20090 with flag 4025002/4027031
1666.55/1663.22	c cleaning 10013 clauses out of 20072 with flag 4035001/4037030
1670.75/1667.48	c cleaning 9987 clauses out of 20061 with flag 4045003/4047032
1676.06/1672.70	c cleaning 9985 clauses out of 20072 with flag 4055001/4057030
1682.07/1678.77	c cleaning 9989 clauses out of 20088 with flag 4065002/4067031
1687.58/1684.25	c cleaning 10003 clauses out of 20098 with flag 4075001/4077030
1694.99/1691.66	c cleaning 9985 clauses out of 20099 with flag 4085005/4087034
1700.00/1696.64	c cleaning 9981 clauses out of 20109 with flag 4095000/4097029
1704.91/1701.57	c cleaning 10002 clauses out of 20128 with flag 4105000/4107029
1711.91/1708.57	c cleaning 9997 clauses out of 20126 with flag 4115000/4117029
1718.83/1715.45	c cleaning 9994 clauses out of 20132 with flag 4125003/4127032
1726.55/1723.18	c cleaning 10000 clauses out of 20140 with flag 4135005/4137034
1732.16/1728.75	c cleaning 9975 clauses out of 20136 with flag 4145001/4147030
1737.08/1733.68	c cleaning 10032 clauses out of 20162 with flag 4155002/4157031
1741.68/1738.20	c cleaning 10020 clauses out of 20128 with flag 4165000/4167029
1745.79/1742.32	c cleaning 10032 clauses out of 20108 with flag 4175000/4177029
1750.79/1747.30	c cleaning 9992 clauses out of 20077 with flag 4185001/4187030
1754.39/1750.95	c cleaning 10014 clauses out of 20084 with flag 4195000/4197029
1758.40/1754.93	c cleaning 9987 clauses out of 20070 with flag 4205000/4207029
1762.31/1758.83	c cleaning 10021 clauses out of 20083 with flag 4215000/4217029
1766.51/1763.09	c cleaning 9968 clauses out of 20063 with flag 4225001/4227030
1771.82/1768.37	c cleaning 9983 clauses out of 20096 with flag 4235002/4237031
1776.33/1772.87	c cleaning 10003 clauses out of 20111 with flag 4245000/4247029
1780.54/1777.02	c cleaning 10003 clauses out of 20110 with flag 4255002/4257031
1785.04/1781.53	c cleaning 10029 clauses out of 20109 with flag 4265004/4267033
1789.95/1786.47	c cleaning 10014 clauses out of 20076 with flag 4275000/4277029
1795.36/1791.86	c cleaning 9988 clauses out of 20066 with flag 4285004/4287033
1800.06/1796.51	c starts		: 258
1800.06/1796.51	c conflicts		: 4295219
1800.06/1796.51	c decisions		: 5808884
1800.06/1796.51	c propagations		: 130818675
1800.06/1796.51	c inspects		: 6375060184
1800.06/1796.51	c shortcuts		: 0
1800.06/1796.51	c learnt literals	: 0
1800.06/1796.51	c learnt binary clauses	: 0
1800.06/1796.51	c learnt ternary clauses	: 0
1800.06/1796.51	c learnt constraints	: 4295219
1800.06/1796.51	c ignored constraints	: 0
1800.06/1796.51	c root simplifications	: 0
1800.06/1796.51	c removed literals (reason simplification)	: 18769954
1800.06/1796.51	c reason swapping (by a shorter reason)	: 0
1800.06/1796.51	c Calls to reduceDB	: 430
1800.06/1796.51	c number of reductions to clauses (during analyze)	: 0
1800.06/1796.51	c number of learned constraints concerned by reduction	: 0
1800.06/1796.51	c number of learning phase by resolution	: 0
1800.06/1796.51	c number of learning phase by cutting planes	: 0
1800.06/1796.51	c speed (assignments/second)	: 72845.44327191914
1800.06/1796.51	c non guided choices	67665
1800.06/1796.52	c learnt constraints type 
1800.06/1796.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18277
1800.06/1796.52	c constraints type 
1800.06/1796.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
1800.06/1796.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 28
1800.06/1796.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13
1800.06/1796.52	s SATISFIABLE
1800.06/1796.53	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 
1800.06/1796.53	c objective function=23
1800.06/1796.53	c Total wall clock time (in seconds): 1796.424

Verifier Data 

OK	23

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-3492268-1307908908/watcher-3492268-1307908908 -o /tmp/evaluation-result-3492268-1307908908/solver-3492268-1307908908 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492268-1307908908.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.00 1.04 1.35 2/184 8580
/proc/meminfo: memFree=31294180/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 1239 0 0 0 0 0 0 0 24 0 2 0 902489408 31260672 957 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 7632 957 730 9 0 383 0
[pid=8580/tid=8581] ppid=8578 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 902489408 31272960 959 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242970550075 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.024942 s]
/proc/loadavg: 1.00 1.04 1.35 2/184 8580
/proc/meminfo: memFree=31294180/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10454868 CPUtime=0.02 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 10538 0 1 0 1 1 0 0 24 0 10 0 902489408 10705784832 10236 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2613717 10243 1429 9 0 2604465 0
[pid=8580/tid=8581] ppid=8578 vsize=10454868 CPUtime=0.01 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 9427 0 1 0 1 0 0 0 25 0 10 0 902489408 10705784832 10248 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912504011056 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868

[startup+0.100954 s]
/proc/loadavg: 1.00 1.04 1.35 2/184 8580
/proc/meminfo: memFree=31294180/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10474832 CPUtime=0.1 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 13040 0 1 0 9 1 0 0 24 0 18 0 902489408 10726227968 12735 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2618708 12735 2093 9 0 2609442 0
[pid=8580/tid=8581] ppid=8578 vsize=10474832 CPUtime=0.08 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 11160 0 1 0 7 1 0 0 25 0 18 0 902489408 10726227968 12736 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474832

[startup+0.30085 s]
/proc/loadavg: 1.00 1.04 1.35 2/184 8580
/proc/meminfo: memFree=31294180/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10547364 CPUtime=0.54 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 16573 0 1 0 52 2 0 0 24 0 19 0 902489408 10800500736 15559 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636841 15559 2217 9 0 2627575 0
[pid=8580/tid=8581] ppid=8578 vsize=10547364 CPUtime=0.28 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 12258 0 1 0 27 1 0 0 25 0 19 0 902489408 10800500736 15559 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505217103 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10547364

[startup+0.700825 s]
/proc/loadavg: 1.00 1.04 1.35 2/184 8580
/proc/meminfo: memFree=31294180/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10547364 CPUtime=1.12 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 17798 0 1 0 110 2 0 0 24 0 19 0 902489408 10800500736 16247 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636841 16247 2223 9 0 2627575 0
[pid=8580/tid=8581] ppid=8578 vsize=10547364 CPUtime=0.68 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 13074 0 1 0 67 1 0 0 25 0 19 0 902489408 10800500736 16247 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505575239 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10547364

[startup+1.50069 s]
/proc/loadavg: 1.00 1.04 1.35 3/212 8608
/proc/meminfo: memFree=31209424/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10547364 CPUtime=1.91 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 19167 0 1 0 189 2 0 0 24 0 19 0 902489408 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636841 17615 2225 9 0 2627575 0
[pid=8580/tid=8581] ppid=8578 vsize=10547364 CPUtime=1.48 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 14440 0 1 0 146 2 0 0 25 0 19 0 902489408 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505580161 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8586/stat : 8586 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8587] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8587/stat : 8587 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8588] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8588/stat : 8588 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8589] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8589/stat : 8589 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8590] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8590/stat : 8590 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8591] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8591/stat : 8591 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8592] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8592/stat : 8592 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8593] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8593/stat : 8593 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489410 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8594] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8594/stat : 8594 (java) S 8578 8580 6878 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902489411 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 0 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8600] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8600/stat : 8600 (java) S 8578 8580 6878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 902489411 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8601] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8601/stat : 8601 (java) S 8578 8580 6878 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 902489411 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8602] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8602/stat : 8602 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489413 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982373809 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8603] ppid=8578 vsize=10547364 CPUtime=0.2 cores=1,3,5,7
/proc/8580/task/8603/stat : 8603 (java) S 8578 8580 6878 0 -1 4202560 2448 0 0 0 20 0 0 0 15 0 19 0 902489413 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8604] ppid=8578 vsize=10547364 CPUtime=0.22 cores=1,3,5,7
/proc/8580/task/8604/stat : 8604 (java) S 8578 8580 6878 0 -1 4202560 1117 0 0 0 22 0 0 0 24 0 19 0 902489413 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8605] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8605/stat : 8605 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489413 10800500736 17615 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8606] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8606/stat : 8606 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902489413 10800500736 17616 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8607] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8607/stat : 8607 (java) S 8578 8580 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902489429 10800500736 17616 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 10547364

[startup+3.10141 s]
/proc/loadavg: 1.08 1.06 1.35 3/212 8608
/proc/meminfo: memFree=31190096/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10547364 CPUtime=3.59 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 24034 0 1 0 356 3 0 0 24 0 19 0 902489408 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636841 22331 2251 9 0 2627575 0
[pid=8580/tid=8581] ppid=8578 vsize=10547364 CPUtime=3.05 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 14625 0 1 0 303 2 0 0 18 0 19 0 902489408 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505580152 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8586/stat : 8586 (java) S 8578 8580 6878 0 -1 4202560 621 0 0 0 0 0 0 0 15 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8587] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8587/stat : 8587 (java) S 8578 8580 6878 0 -1 4202560 546 0 0 0 0 0 0 0 15 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8588] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8588/stat : 8588 (java) S 8578 8580 6878 0 -1 4202560 486 0 0 0 0 0 0 0 18 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8589] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8589/stat : 8589 (java) S 8578 8580 6878 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8590] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8590/stat : 8590 (java) S 8578 8580 6878 0 -1 4202560 408 0 0 0 0 0 0 0 16 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8591] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8591/stat : 8591 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8592] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8592/stat : 8592 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8593] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8593/stat : 8593 (java) S 8578 8580 6878 0 -1 4202560 422 0 0 0 0 0 0 0 15 0 19 0 902489410 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8594] ppid=8578 vsize=10547364 CPUtime=0.02 cores=1,3,5,7
/proc/8580/task/8594/stat : 8594 (java) S 8578 8580 6878 0 -1 4202560 1994 0 0 0 2 0 0 0 15 0 19 0 902489411 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 0 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8600] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8600/stat : 8600 (java) S 8578 8580 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489411 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8601] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8601/stat : 8601 (java) S 8578 8580 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902489411 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8602] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8602/stat : 8602 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489413 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982373809 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8603] ppid=8578 vsize=10547364 CPUtime=0.23 cores=1,3,5,7
/proc/8580/task/8603/stat : 8603 (java) S 8578 8580 6878 0 -1 4202560 2600 0 0 0 23 0 0 0 15 0 19 0 902489413 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8604] ppid=8578 vsize=10547364 CPUtime=0.25 cores=1,3,5,7
/proc/8580/task/8604/stat : 8604 (java) S 8578 8580 6878 0 -1 4202560 1125 0 0 0 25 0 0 0 16 0 19 0 902489413 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8605] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8605/stat : 8605 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489413 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8606] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8606/stat : 8606 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902489413 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8607] ppid=8578 vsize=10547364 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8607/stat : 8607 (java) S 8578 8580 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902489429 10800500736 22331 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 10547364

[startup+6.30086 s]
/proc/loadavg: 1.08 1.06 1.35 3/212 8608
/proc/meminfo: memFree=31151044/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10546912 CPUtime=6.79 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 24986 0 1 0 676 3 0 0 24 0 19 0 902489408 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636728 23266 2251 9 0 2627462 0
[pid=8580/tid=8581] ppid=8578 vsize=10546912 CPUtime=6.23 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 14626 0 1 0 621 2 0 0 21 0 19 0 902489408 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505569389 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8586/stat : 8586 (java) S 8578 8580 6878 0 -1 4202560 682 0 0 0 0 0 0 0 15 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8587] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8587/stat : 8587 (java) S 8578 8580 6878 0 -1 4202560 607 0 0 0 0 0 0 0 16 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8588] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8588/stat : 8588 (java) S 8578 8580 6878 0 -1 4202560 539 0 0 0 0 0 0 0 18 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8589] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8589/stat : 8589 (java) S 8578 8580 6878 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8590] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8590/stat : 8590 (java) S 8578 8580 6878 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8591] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8591/stat : 8591 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8592] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8592/stat : 8592 (java) S 8578 8580 6878 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8593] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8593/stat : 8593 (java) S 8578 8580 6878 0 -1 4202560 531 0 0 0 0 0 0 0 16 0 19 0 902489410 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8594] ppid=8578 vsize=10546912 CPUtime=0.04 cores=1,3,5,7
/proc/8580/task/8594/stat : 8594 (java) S 8578 8580 6878 0 -1 4202560 2549 0 0 0 4 0 0 0 15 0 19 0 902489411 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 0 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8600] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8600/stat : 8600 (java) S 8578 8580 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489411 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8601] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8601/stat : 8601 (java) S 8578 8580 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902489411 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8602] ppid=8578 vsize=10546912 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8602/stat : 8602 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489413 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982373809 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8603] ppid=8578 vsize=10546912 CPUtime=0.23 cores=1,3,5,7
/proc/8580/task/8603/stat : 8603 (java) S 8578 8580 6878 0 -1 4202560 2603 0 0 0 23 0 0 0 15 0 19 0 902489413 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8604] ppid=8578 vsize=10546912 CPUtime=0.25 cores=1,3,5,7
/proc/8580/task/8604/stat : 8604 (java) S 8578 8580 6878 0 -1 4202560 1125 0 0 0 25 0 0 0 15 0 19 0 902489413 10800037888 23266 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0

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

[pid=8580/tid=8591] ppid=8578 vsize=10546304 CPUtime=0.62 cores=1,3,5,7
/proc/8580/task/8591/stat : 8591 (java) S 8578 8580 6878 0 -1 4202560 1359 0 0 0 62 0 0 0 15 0 19 0 902489410 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8592] ppid=8578 vsize=10546304 CPUtime=0.5 cores=1,3,5,7
/proc/8580/task/8592/stat : 8592 (java) S 8578 8580 6878 0 -1 4202560 585 0 0 0 50 0 0 0 15 0 19 0 902489410 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8593] ppid=8578 vsize=10546304 CPUtime=0.51 cores=1,3,5,7
/proc/8580/task/8593/stat : 8593 (java) S 8578 8580 6878 0 -1 4202560 1606 0 0 0 50 1 0 0 16 0 19 0 902489410 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8594] ppid=8578 vsize=10546304 CPUtime=13.44 cores=1,3,5,7
/proc/8580/task/8594/stat : 8594 (java) S 8578 8580 6878 0 -1 4202560 12725 0 0 0 1338 6 0 0 15 0 19 0 902489411 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 0 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8600] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8600/stat : 8600 (java) S 8578 8580 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8601] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8601/stat : 8601 (java) S 8578 8580 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8602] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8602/stat : 8602 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489413 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982373809 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8603] ppid=8578 vsize=10546304 CPUtime=0.24 cores=1,3,5,7
/proc/8580/task/8603/stat : 8603 (java) S 8578 8580 6878 0 -1 4202560 3042 0 0 0 24 0 0 0 15 0 19 0 902489413 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8604] ppid=8578 vsize=10546304 CPUtime=0.28 cores=1,3,5,7
/proc/8580/task/8604/stat : 8604 (java) S 8578 8580 6878 0 -1 4202560 1133 0 0 0 28 0 0 0 15 0 19 0 902489413 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8605] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8605/stat : 8605 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489413 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8606] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8606/stat : 8606 (java) S 8578 8580 6878 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902489413 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8607] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8607/stat : 8607 (java) S 8578 8580 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902489429 10799415296 46324 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.75
Current children cumulated vsize (KiB) 10546304

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/212 8657
/proc/meminfo: memFree=30868192/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10546304 CPUtime=1785.84 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 49625 0 1 0 178566 18 0 0 24 0 19 0 902489408 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636576 46679 2252 9 0 2627310 0
[pid=8580/tid=8581] ppid=8578 vsize=10546304 CPUtime=1766.63 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 18785 0 1 0 176660 3 0 0 25 0 19 0 902489408 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505569397 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=10546304 CPUtime=0.62 cores=1,3,5,7
/proc/8580/task/8586/stat : 8586 (java) S 8578 8580 6878 0 -1 4202560 1562 0 0 0 61 1 0 0 15 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8587] ppid=8578 vsize=10546304 CPUtime=0.56 cores=1,3,5,7
/proc/8580/task/8587/stat : 8587 (java) S 8578 8580 6878 0 -1 4202560 1696 0 0 0 56 0 0 0 15 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8588] ppid=8578 vsize=10546304 CPUtime=0.57 cores=1,3,5,7
/proc/8580/task/8588/stat : 8588 (java) S 8578 8580 6878 0 -1 4202560 1878 0 0 0 57 0 0 0 16 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8589] ppid=8578 vsize=10546304 CPUtime=0.58 cores=1,3,5,7
/proc/8580/task/8589/stat : 8589 (java) S 8578 8580 6878 0 -1 4202560 1866 0 0 0 58 0 0 0 16 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8590] ppid=8578 vsize=10546304 CPUtime=0.58 cores=1,3,5,7
/proc/8580/task/8590/stat : 8590 (java) S 8578 8580 6878 0 -1 4202560 1794 0 0 0 58 0 0 0 15 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8591] ppid=8578 vsize=10546304 CPUtime=0.64 cores=1,3,5,7
/proc/8580/task/8591/stat : 8591 (java) S 8578 8580 6878 0 -1 4202560 1367 0 0 0 64 0 0 0 16 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8592] ppid=8578 vsize=10546304 CPUtime=0.52 cores=1,3,5,7
/proc/8580/task/8592/stat : 8592 (java) S 8578 8580 6878 0 -1 4202560 589 0 0 0 52 0 0 0 15 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8593] ppid=8578 vsize=10546304 CPUtime=0.53 cores=1,3,5,7
/proc/8580/task/8593/stat : 8593 (java) S 8578 8580 6878 0 -1 4202560 1606 0 0 0 52 1 0 0 15 0 19 0 902489410 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8594] ppid=8578 vsize=10546304 CPUtime=13.97 cores=1,3,5,7
/proc/8580/task/8594/stat : 8594 (java) S 8578 8580 6878 0 -1 4202560 13051 0 0 0 1390 7 0 0 15 0 19 0 902489411 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 0 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8600] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8600/stat : 8600 (java) S 8578 8580 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8601] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8601/stat : 8601 (java) S 8578 8580 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8602] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8602/stat : 8602 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489413 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982373809 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8603] ppid=8578 vsize=10546304 CPUtime=0.24 cores=1,3,5,7
/proc/8580/task/8603/stat : 8603 (java) S 8578 8580 6878 0 -1 4202560 3042 0 0 0 24 0 0 0 15 0 19 0 902489413 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8604] ppid=8578 vsize=10546304 CPUtime=0.28 cores=1,3,5,7
/proc/8580/task/8604/stat : 8604 (java) S 8578 8580 6878 0 -1 4202560 1133 0 0 0 28 0 0 0 15 0 19 0 902489413 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8605] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8605/stat : 8605 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489413 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8606] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8606/stat : 8606 (java) S 8578 8580 6878 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902489413 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8607] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8607/stat : 8607 (java) S 8578 8580 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902489429 10799415296 46679 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.84
Current children cumulated vsize (KiB) 10546304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 1.88 2/192 8662
/proc/meminfo: memFree=31147468/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10546304 CPUtime=1800.06 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 49628 0 1 0 179988 18 0 0 24 0 19 0 902489408 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636576 46680 2252 9 0 2627310 0
[pid=8580/tid=8581] ppid=8578 vsize=10546304 CPUtime=1780.76 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 18787 0 1 0 178073 3 0 0 25 0 19 0 902489408 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505569314 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=10546304 CPUtime=0.62 cores=1,3,5,7
/proc/8580/task/8586/stat : 8586 (java) S 8578 8580 6878 0 -1 4202560 1563 0 0 0 61 1 0 0 16 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8587] ppid=8578 vsize=10546304 CPUtime=0.56 cores=1,3,5,7
/proc/8580/task/8587/stat : 8587 (java) S 8578 8580 6878 0 -1 4202560 1696 0 0 0 56 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8588] ppid=8578 vsize=10546304 CPUtime=0.57 cores=1,3,5,7
/proc/8580/task/8588/stat : 8588 (java) S 8578 8580 6878 0 -1 4202560 1878 0 0 0 57 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8589] ppid=8578 vsize=10546304 CPUtime=0.58 cores=1,3,5,7
/proc/8580/task/8589/stat : 8589 (java) S 8578 8580 6878 0 -1 4202560 1866 0 0 0 58 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8590] ppid=8578 vsize=10546304 CPUtime=0.58 cores=1,3,5,7
/proc/8580/task/8590/stat : 8590 (java) S 8578 8580 6878 0 -1 4202560 1794 0 0 0 58 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8591] ppid=8578 vsize=10546304 CPUtime=0.65 cores=1,3,5,7
/proc/8580/task/8591/stat : 8591 (java) S 8578 8580 6878 0 -1 4202560 1367 0 0 0 65 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8592] ppid=8578 vsize=10546304 CPUtime=0.52 cores=1,3,5,7
/proc/8580/task/8592/stat : 8592 (java) S 8578 8580 6878 0 -1 4202560 589 0 0 0 52 0 0 0 16 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8593] ppid=8578 vsize=10546304 CPUtime=0.53 cores=1,3,5,7
/proc/8580/task/8593/stat : 8593 (java) S 8578 8580 6878 0 -1 4202560 1606 0 0 0 52 1 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8594] ppid=8578 vsize=10546304 CPUtime=14.04 cores=1,3,5,7
/proc/8580/task/8594/stat : 8594 (java) S 8578 8580 6878 0 -1 4202560 13051 0 0 0 1397 7 0 0 15 0 19 0 902489411 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 0 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8600] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8600/stat : 8600 (java) S 8578 8580 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8601] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8601/stat : 8601 (java) S 8578 8580 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8602] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8602/stat : 8602 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982373809 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8603] ppid=8578 vsize=10546304 CPUtime=0.24 cores=1,3,5,7
/proc/8580/task/8603/stat : 8603 (java) S 8578 8580 6878 0 -1 4202560 3042 0 0 0 24 0 0 0 15 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8604] ppid=8578 vsize=10546304 CPUtime=0.28 cores=1,3,5,7
/proc/8580/task/8604/stat : 8604 (java) S 8578 8580 6878 0 -1 4202560 1133 0 0 0 28 0 0 0 15 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8605] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8605/stat : 8605 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8606] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8606/stat : 8606 (java) S 8578 8580 6878 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8607] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8607/stat : 8607 (java) S 8578 8580 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902489429 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10546304

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

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

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 1.88 2/192 8662
/proc/meminfo: memFree=31147468/32951132 swapFree=67052544/67111528
[pid=8580] ppid=8578 vsize=10546304 CPUtime=1800.06 cores=1,3,5,7
/proc/8580/stat : 8580 (java) S 8578 8580 6878 0 -1 4202496 49628 0 1 0 179988 18 0 0 24 0 19 0 902489408 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8580/statm: 2636576 46680 2252 9 0 2627310 0
[pid=8580/tid=8581] ppid=8578 vsize=10546304 CPUtime=1780.76 cores=1,3,5,7
/proc/8580/task/8581/stat : 8581 (java) R 8578 8580 6878 0 -1 4202560 18787 0 1 0 178073 3 0 0 25 0 19 0 902489408 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 46912505569314 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8580/tid=8586] ppid=8578 vsize=10546304 CPUtime=0.62 cores=1,3,5,7
/proc/8580/task/8586/stat : 8586 (java) S 8578 8580 6878 0 -1 4202560 1563 0 0 0 61 1 0 0 16 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8587] ppid=8578 vsize=10546304 CPUtime=0.56 cores=1,3,5,7
/proc/8580/task/8587/stat : 8587 (java) S 8578 8580 6878 0 -1 4202560 1696 0 0 0 56 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8588] ppid=8578 vsize=10546304 CPUtime=0.57 cores=1,3,5,7
/proc/8580/task/8588/stat : 8588 (java) S 8578 8580 6878 0 -1 4202560 1878 0 0 0 57 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8589] ppid=8578 vsize=10546304 CPUtime=0.58 cores=1,3,5,7
/proc/8580/task/8589/stat : 8589 (java) S 8578 8580 6878 0 -1 4202560 1866 0 0 0 58 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8590] ppid=8578 vsize=10546304 CPUtime=0.58 cores=1,3,5,7
/proc/8580/task/8590/stat : 8590 (java) S 8578 8580 6878 0 -1 4202560 1794 0 0 0 58 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8591] ppid=8578 vsize=10546304 CPUtime=0.65 cores=1,3,5,7
/proc/8580/task/8591/stat : 8591 (java) S 8578 8580 6878 0 -1 4202560 1367 0 0 0 65 0 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8592] ppid=8578 vsize=10546304 CPUtime=0.52 cores=1,3,5,7
/proc/8580/task/8592/stat : 8592 (java) S 8578 8580 6878 0 -1 4202560 589 0 0 0 52 0 0 0 16 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8593] ppid=8578 vsize=10546304 CPUtime=0.53 cores=1,3,5,7
/proc/8580/task/8593/stat : 8593 (java) S 8578 8580 6878 0 -1 4202560 1606 0 0 0 52 1 0 0 15 0 19 0 902489410 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8594] ppid=8578 vsize=10546304 CPUtime=14.04 cores=1,3,5,7
/proc/8580/task/8594/stat : 8594 (java) S 8578 8580 6878 0 -1 4202560 13051 0 0 0 1397 7 0 0 15 0 19 0 902489411 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 0 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
[pid=8580/tid=8600] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8600/stat : 8600 (java) S 8578 8580 6878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8601] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8601/stat : 8601 (java) S 8578 8580 6878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902489411 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8602] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8602/stat : 8602 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982373809 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8603] ppid=8578 vsize=10546304 CPUtime=0.24 cores=1,3,5,7
/proc/8580/task/8603/stat : 8603 (java) S 8578 8580 6878 0 -1 4202560 3042 0 0 0 24 0 0 0 15 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8604] ppid=8578 vsize=10546304 CPUtime=0.28 cores=1,3,5,7
/proc/8580/task/8604/stat : 8604 (java) S 8578 8580 6878 0 -1 4202560 1133 0 0 0 28 0 0 0 15 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 7 0 0 0
[pid=8580/tid=8605] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8605/stat : 8605 (java) S 8578 8580 6878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366105 0 4 0 16800975 18446604463711988544 0 0 -1 1 0 0 0
[pid=8580/tid=8606] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8606/stat : 8606 (java) S 8578 8580 6878 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902489413 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 3 0 0 0
[pid=8580/tid=8607] ppid=8578 vsize=10546304 CPUtime=0 cores=1,3,5,7
/proc/8580/task/8607/stat : 8607 (java) S 8578 8580 6878 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902489429 10799415296 46680 33554432000 1073741824 1073778376 140734641672784 18446744073709551615 242982366720 0 4 0 16800975 18446604463711988544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10546304

Child status: 143
Real time (s): 1796.55
CPU time (s): 1800.14
CPU user time (s): 1799.95
CPU system time (s): 0.19597
CPU usage (%): 100.2
Max. virtual memory (cumulated for all children) (KiB): 10547364

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

runsolver used 2.89056 second user time and 6.94394 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-12 22:01:48
IDJOB=3492268
IDBENCH=78715
IDSOLVER=1982
FILE ID=node128/3492268-1307908908
RUNJOBID= node128-1307908907-8544
PBS_JOBID= 13559578
Free space on /tmp= 74080 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--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-3492268-1307908908/watcher-3492268-1307908908 -o /tmp/evaluation-result-3492268-1307908908/solver-3492268-1307908908 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492268-1307908908.wbo

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

MD5SUM BENCH= a455ffab78a89665145255f789204852
RANDOM SEED=379222399

node128.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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31313388 kB
Buffers:        313880 kB
Cached:        1059132 kB
SwapCached:      11368 kB
Active:         520528 kB
Inactive:       889356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31313388 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:             788 kB
Writeback:           0 kB
AnonPages:       34308 kB
Mapped:          12528 kB
Slab:           163700 kB
PageTables:       4596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 10476372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74080 MiB
End job on node128 at 2011-06-12 22:31:46