Trace number 3492535

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.1 1796.65

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
MD5SUM19fe712a4f6ee0b978bb364f3985a5e4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.131979
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints81
Number of constraints which are clauses41
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 constraint41
Top cost 4603
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4602
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/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@38540408
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-3492535-1307910873.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     1721
0.29/0.20	c #constraints  81
0.29/0.20	c constraints type 
0.29/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41
0.29/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
0.53/0.32	c SATISFIABLE
0.53/0.32	c OPTIMIZING...
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.215
0.53/0.32	o 189
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.24
0.53/0.34	o 56
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.28
0.53/0.38	o 25
0.73/0.47	c Got one! Elapsed wall clock time (in seconds):0.363
0.73/0.47	o 4
0.86/0.58	c Got one! Elapsed wall clock time (in seconds):0.472
0.86/0.58	o 3
0.96/0.67	c Got one! Elapsed wall clock time (in seconds):0.564
0.96/0.67	o 2
1.37/1.03	c Got one! Elapsed wall clock time (in seconds):0.929
1.37/1.03	o 1
2.28/1.96	c cleaning 4059 clauses out of 8123 with flag 4001/8123
3.95/3.54	c cleaning 4990 clauses out of 10066 with flag 10003/14125
5.96/5.57	c cleaning 6020 clauses out of 12073 with flag 17000/21122
8.92/8.45	c cleaning 6970 clauses out of 14053 with flag 25000/29122
12.05/11.59	c cleaning 8018 clauses out of 16084 with flag 34001/38123
15.56/15.06	c cleaning 9006 clauses out of 18069 with flag 44004/48126
18.97/18.45	c cleaning 9468 clauses out of 19061 with flag 54002/58124
22.38/21.88	c cleaning 9755 clauses out of 19591 with flag 64000/68122
26.69/26.14	c cleaning 9866 clauses out of 19836 with flag 74000/78122
30.21/29.69	c cleaning 9954 clauses out of 19970 with flag 84000/88122
33.52/32.95	c cleaning 9980 clauses out of 20016 with flag 94000/98122
37.22/36.65	c cleaning 10000 clauses out of 20037 with flag 104001/108123
41.34/40.72	c cleaning 9999 clauses out of 20039 with flag 114003/118125
44.14/43.58	c cleaning 9988 clauses out of 20037 with flag 124000/128122
47.25/46.67	c cleaning 9980 clauses out of 20049 with flag 134000/138122
51.16/50.55	c cleaning 10020 clauses out of 20073 with flag 144004/148126
54.66/54.05	c cleaning 10007 clauses out of 20049 with flag 154000/158122
58.98/58.39	c cleaning 10001 clauses out of 20044 with flag 164002/168124
61.98/61.37	c cleaning 9969 clauses out of 20042 with flag 174001/178123
65.38/64.75	c cleaning 10002 clauses out of 20072 with flag 184000/188122
70.30/69.65	c cleaning 9972 clauses out of 20071 with flag 194001/198123
73.81/73.14	c cleaning 9985 clauses out of 20098 with flag 204000/208122
76.82/76.12	c cleaning 10016 clauses out of 20115 with flag 214002/218124
80.63/79.93	c cleaning 10009 clauses out of 20097 with flag 224000/228122
84.74/84.08	c cleaning 10031 clauses out of 20088 with flag 234000/238122
89.64/88.99	c cleaning 10019 clauses out of 20058 with flag 244001/248123
96.26/95.56	c cleaning 9984 clauses out of 20043 with flag 254005/258127
99.08/98.38	c cleaning 10000 clauses out of 20056 with flag 264002/268124
102.49/101.76	c cleaning 9986 clauses out of 20056 with flag 274002/278124
106.30/105.52	c cleaning 10019 clauses out of 20068 with flag 284000/288122
110.21/109.44	c cleaning 10009 clauses out of 20050 with flag 294001/298123
114.02/113.25	c cleaning 10007 clauses out of 20040 with flag 304000/308122
118.32/117.59	c cleaning 10000 clauses out of 20033 with flag 314000/318122
122.74/121.93	c cleaning 9972 clauses out of 20034 with flag 324001/328123
127.35/126.52	c cleaning 10008 clauses out of 20062 with flag 334001/338123
132.25/131.44	c cleaning 9995 clauses out of 20057 with flag 344004/348126
136.57/135.71	c cleaning 9994 clauses out of 20059 with flag 354001/358123
140.97/140.14	c cleaning 9996 clauses out of 20065 with flag 364001/368123
145.08/144.23	c cleaning 10001 clauses out of 20071 with flag 374003/378125
149.29/148.42	c cleaning 10001 clauses out of 20072 with flag 384005/388127
152.29/151.43	c cleaning 10004 clauses out of 20067 with flag 394001/398123
155.40/154.55	c cleaning 10004 clauses out of 20063 with flag 404001/408123
159.11/158.26	c cleaning 10012 clauses out of 20060 with flag 414002/418124
162.72/161.84	c cleaning 10001 clauses out of 20046 with flag 424000/428122
165.42/164.50	c cleaning 9991 clauses out of 20045 with flag 434000/438122
169.03/168.10	c cleaning 10000 clauses out of 20056 with flag 444002/448124
171.74/170.82	c cleaning 10011 clauses out of 20056 with flag 454002/458124
175.66/174.72	c cleaning 10009 clauses out of 20045 with flag 464002/468124
179.77/178.84	c cleaning 9984 clauses out of 20035 with flag 474001/478123
183.88/182.92	c cleaning 10004 clauses out of 20051 with flag 484001/488123
188.29/187.35	c cleaning 9994 clauses out of 20047 with flag 494001/498123
193.00/192.09	c cleaning 10005 clauses out of 20053 with flag 504001/508123
197.31/196.36	c cleaning 10003 clauses out of 20048 with flag 514001/518123
200.92/199.97	c cleaning 9996 clauses out of 20044 with flag 524000/528122
205.72/204.79	c cleaning 9998 clauses out of 20048 with flag 534000/538122
209.94/208.99	c cleaning 10002 clauses out of 20051 with flag 544001/548123
214.24/213.21	c cleaning 10000 clauses out of 20050 with flag 554002/558124
218.45/217.48	c cleaning 10002 clauses out of 20049 with flag 564001/568123
222.56/221.54	c cleaning 9999 clauses out of 20047 with flag 574001/578123
226.57/225.59	c cleaning 9981 clauses out of 20048 with flag 584001/588123
229.28/228.23	c cleaning 10006 clauses out of 20066 with flag 594000/598122
232.49/231.42	c cleaning 9984 clauses out of 20060 with flag 604000/608122
235.20/234.19	c cleaning 10002 clauses out of 20077 with flag 614001/618123
238.20/237.13	c cleaning 10017 clauses out of 20074 with flag 624000/628122
241.73/240.65	c cleaning 10008 clauses out of 20058 with flag 634001/638123
244.83/243.74	c cleaning 10002 clauses out of 20050 with flag 644001/648123
248.84/247.79	c cleaning 10000 clauses out of 20047 with flag 654000/658122
252.55/251.47	c cleaning 9998 clauses out of 20048 with flag 664001/668123
255.56/254.45	c cleaning 9999 clauses out of 20051 with flag 674002/678124
259.26/258.12	c cleaning 9990 clauses out of 20051 with flag 684001/688123
262.57/261.45	c cleaning 9999 clauses out of 20060 with flag 694000/698122
266.38/265.24	c cleaning 9999 clauses out of 20061 with flag 704000/708122
270.09/268.97	c cleaning 10001 clauses out of 20063 with flag 714001/718123
274.70/273.51	c cleaning 9986 clauses out of 20062 with flag 724001/728123
279.42/278.23	c cleaning 10008 clauses out of 20076 with flag 734001/738123
283.72/282.59	c cleaning 10003 clauses out of 20069 with flag 744002/748124
288.14/286.98	c cleaning 9985 clauses out of 20064 with flag 754000/758122
292.35/291.12	c cleaning 9979 clauses out of 20079 with flag 764000/768122
296.85/295.65	c cleaning 10024 clauses out of 20106 with flag 774006/778128
300.66/299.40	c cleaning 10002 clauses out of 20076 with flag 784000/788122
304.26/303.03	c cleaning 10002 clauses out of 20077 with flag 794003/798125
307.98/306.74	c cleaning 9996 clauses out of 20074 with flag 804002/808124
311.68/310.40	c cleaning 10004 clauses out of 20077 with flag 814001/818123
315.19/314.00	c cleaning 9999 clauses out of 20072 with flag 824000/828122
318.90/317.60	c cleaning 10001 clauses out of 20074 with flag 834001/838123
322.70/321.45	c cleaning 10000 clauses out of 20072 with flag 844000/848122
326.51/325.21	c cleaning 9998 clauses out of 20072 with flag 854000/858122
330.31/329.03	c cleaning 9994 clauses out of 20075 with flag 864001/868123
334.22/332.92	c cleaning 10006 clauses out of 20081 with flag 874001/878123
338.13/336.82	c cleaning 9938 clauses out of 20075 with flag 884001/888123
341.84/340.51	c cleaning 9989 clauses out of 20137 with flag 894001/898123
345.15/343.83	c cleaning 10004 clauses out of 20148 with flag 904001/908123
350.36/349.00	c cleaning 10035 clauses out of 20143 with flag 914000/918122
353.38/352.00	c cleaning 10023 clauses out of 20109 with flag 924001/928123
356.48/355.19	c cleaning 10012 clauses out of 20087 with flag 934002/938124
359.69/358.31	c cleaning 9999 clauses out of 20077 with flag 944004/948126
363.40/362.07	c cleaning 10009 clauses out of 20075 with flag 954001/958123
367.31/365.93	c cleaning 10021 clauses out of 20067 with flag 964002/968124
371.32/369.98	c cleaning 10006 clauses out of 20045 with flag 974001/978123
375.92/374.56	c cleaning 9997 clauses out of 20038 with flag 984000/988122
380.73/379.30	c cleaning 9999 clauses out of 20041 with flag 994000/998122
385.04/383.62	c cleaning 10001 clauses out of 20042 with flag 1004000/1008122
389.05/387.69	c cleaning 10002 clauses out of 20041 with flag 1014000/1018122
393.76/392.31	c cleaning 10003 clauses out of 20042 with flag 1024003/1028125
398.37/396.92	c cleaning 10001 clauses out of 20036 with flag 1034000/1038122
402.98/401.53	c cleaning 9998 clauses out of 20035 with flag 1044000/1048122
407.48/406.08	c cleaning 10000 clauses out of 20037 with flag 1054000/1058122
411.99/410.56	c cleaning 9997 clauses out of 20037 with flag 1064000/1068122
416.30/414.87	c cleaning 9997 clauses out of 20040 with flag 1074000/1078122
420.81/419.32	c cleaning 10000 clauses out of 20047 with flag 1084004/1088126
425.71/424.24	c cleaning 9996 clauses out of 20046 with flag 1094003/1098125
430.43/428.92	c cleaning 10002 clauses out of 20048 with flag 1104001/1108123
435.03/433.52	c cleaning 9998 clauses out of 20045 with flag 1114000/1118122
439.44/437.94	c cleaning 10008 clauses out of 20047 with flag 1124000/1128122
443.75/442.23	c cleaning 9998 clauses out of 20039 with flag 1134000/1138122
447.95/446.44	c cleaning 10000 clauses out of 20042 with flag 1144001/1148123
452.36/450.85	c cleaning 9992 clauses out of 20041 with flag 1154000/1158122
456.77/455.22	c cleaning 9995 clauses out of 20049 with flag 1164000/1168122
461.17/459.65	c cleaning 10007 clauses out of 20054 with flag 1174000/1178122
465.18/463.60	c cleaning 9945 clauses out of 20049 with flag 1184002/1188124
470.10/468.60	c cleaning 9968 clauses out of 20104 with flag 1194002/1198124
474.61/473.06	c cleaning 9976 clauses out of 20135 with flag 1204001/1208123
478.21/476.60	c cleaning 9997 clauses out of 20158 with flag 1214000/1218122
481.51/479.91	c cleaning 10002 clauses out of 20161 with flag 1224000/1228122
484.72/483.18	c cleaning 9991 clauses out of 20160 with flag 1234001/1238123
488.42/486.84	c cleaning 9996 clauses out of 20168 with flag 1244000/1248122
492.03/490.48	c cleaning 10007 clauses out of 20172 with flag 1254000/1258122
495.64/494.00	c cleaning 10003 clauses out of 20166 with flag 1264001/1268123
498.65/497.08	c cleaning 10000 clauses out of 20164 with flag 1274002/1278124
501.95/500.33	c cleaning 9998 clauses out of 20162 with flag 1284000/1288122
505.46/503.83	c cleaning 10000 clauses out of 20164 with flag 1294000/1298122
508.46/506.87	c cleaning 9998 clauses out of 20165 with flag 1304001/1308123
511.56/509.94	c cleaning 10003 clauses out of 20167 with flag 1314001/1318123
514.56/512.91	c cleaning 10052 clauses out of 20163 with flag 1324000/1328122
517.47/515.89	c cleaning 10038 clauses out of 20112 with flag 1334001/1338123
520.97/519.30	c cleaning 10006 clauses out of 20075 with flag 1344002/1348124
524.58/522.96	c cleaning 10017 clauses out of 20067 with flag 1354000/1358122
527.99/526.38	c cleaning 9984 clauses out of 20052 with flag 1364002/1368124
531.40/529.79	c cleaning 9993 clauses out of 20067 with flag 1374001/1378123
535.00/533.33	c cleaning 9978 clauses out of 20075 with flag 1384002/1388124
538.91/537.28	c cleaning 10001 clauses out of 20096 with flag 1394001/1398123
542.42/540.79	c cleaning 9998 clauses out of 20094 with flag 1404000/1408122
545.73/544.03	c cleaning 10029 clauses out of 20098 with flag 1414002/1418124
549.83/548.19	c cleaning 10014 clauses out of 20067 with flag 1424000/1428122
553.95/552.22	c cleaning 10007 clauses out of 20056 with flag 1434003/1438125
558.25/556.56	c cleaning 10005 clauses out of 20048 with flag 1444002/1448124
562.76/561.06	c cleaning 10002 clauses out of 20041 with flag 1454000/1458122
567.06/565.39	c cleaning 9985 clauses out of 20039 with flag 1464000/1468122
571.77/570.02	c cleaning 10009 clauses out of 20057 with flag 1474003/1478125
575.88/574.20	c cleaning 9998 clauses out of 20045 with flag 1484000/1488122
580.30/578.52	c cleaning 10002 clauses out of 20048 with flag 1494001/1498123
584.70/583.00	c cleaning 9998 clauses out of 20045 with flag 1504000/1508122
588.91/587.17	c cleaning 10006 clauses out of 20054 with flag 1514007/1518129
592.71/590.90	c cleaning 9980 clauses out of 20042 with flag 1524001/1528123
596.72/594.99	c cleaning 9991 clauses out of 20062 with flag 1534001/1538123
600.82/599.00	c cleaning 10003 clauses out of 20070 with flag 1544000/1548122
604.73/602.99	c cleaning 10001 clauses out of 20071 with flag 1554004/1558126
609.04/607.24	c cleaning 9991 clauses out of 20066 with flag 1564000/1568122
613.14/611.30	c cleaning 10003 clauses out of 20075 with flag 1574000/1578122
617.24/615.49	c cleaning 10000 clauses out of 20073 with flag 1584001/1588123
621.64/619.84	c cleaning 10001 clauses out of 20075 with flag 1594003/1598125
626.04/624.28	c cleaning 10000 clauses out of 20074 with flag 1604003/1608125
630.34/628.52	c cleaning 10003 clauses out of 20071 with flag 1614000/1618122
634.15/632.34	c cleaning 10011 clauses out of 20068 with flag 1624000/1628122
638.46/636.66	c cleaning 10004 clauses out of 20057 with flag 1634000/1638122
643.07/641.23	c cleaning 10004 clauses out of 20054 with flag 1644001/1648123
647.68/645.85	c cleaning 10007 clauses out of 20049 with flag 1654000/1658122
652.18/650.30	c cleaning 9998 clauses out of 20042 with flag 1664000/1668122
656.49/654.68	c cleaning 10005 clauses out of 20052 with flag 1674008/1678130
661.09/659.25	c cleaning 10001 clauses out of 20041 with flag 1684002/1688124
665.70/663.80	c cleaning 9998 clauses out of 20038 with flag 1694000/1698122
669.81/667.95	c cleaning 9997 clauses out of 20041 with flag 1704001/1708123
674.51/672.64	c cleaning 10000 clauses out of 20045 with flag 1714002/1718124
678.71/676.86	c cleaning 9983 clauses out of 20044 with flag 1724001/1728123
682.91/681.01	c cleaning 10005 clauses out of 20060 with flag 1734000/1738122
687.12/685.27	c cleaning 10006 clauses out of 20055 with flag 1744000/1748122
691.32/689.49	c cleaning 9997 clauses out of 20049 with flag 1754000/1758122
695.72/693.82	c cleaning 10005 clauses out of 20055 with flag 1764003/1768125
700.23/698.31	c cleaning 10011 clauses out of 20047 with flag 1774000/1778122
704.74/702.82	c cleaning 10007 clauses out of 20039 with flag 1784003/1788125
709.15/707.28	c cleaning 10003 clauses out of 20029 with flag 1794000/1798122
713.66/711.78	c cleaning 10001 clauses out of 20028 with flag 1804002/1808124
718.46/716.55	c cleaning 9999 clauses out of 20026 with flag 1814001/1818123
723.58/721.61	c cleaning 10005 clauses out of 20030 with flag 1824004/1828126
727.98/726.05	c cleaning 9995 clauses out of 20022 with flag 1834001/1838123
732.78/730.86	c cleaning 10000 clauses out of 20027 with flag 1844001/1848123
737.80/735.89	c cleaning 10001 clauses out of 20028 with flag 1854002/1858124
742.81/740.83	c cleaning 10000 clauses out of 20026 with flag 1864001/1868123
747.31/745.31	c cleaning 9999 clauses out of 20025 with flag 1874000/1878122
751.62/749.64	c cleaning 10003 clauses out of 20027 with flag 1884001/1888123
756.53/754.51	c cleaning 9979 clauses out of 20023 with flag 1894000/1898122
760.82/758.85	c cleaning 10009 clauses out of 20045 with flag 1904001/1908123
765.43/763.49	c cleaning 10006 clauses out of 20039 with flag 1914004/1918126
770.23/768.27	c cleaning 10005 clauses out of 20036 with flag 1924007/1928129
774.74/772.74	c cleaning 9987 clauses out of 20024 with flag 1934000/1938122
779.55/777.53	c cleaning 10008 clauses out of 20040 with flag 1944003/1948125
784.45/782.41	c cleaning 10003 clauses out of 20031 with flag 1954002/1958124
788.85/786.87	c cleaning 10000 clauses out of 20028 with flag 1964002/1968124
793.46/791.44	c cleaning 9990 clauses out of 20028 with flag 1974002/1978124
797.96/795.94	c cleaning 9988 clauses out of 20036 with flag 1984000/1988122
800.86/798.81	c cleaning 9949 clauses out of 20050 with flag 1994002/1998124
804.57/802.53	c cleaning 9989 clauses out of 20103 with flag 2004004/2008126
808.78/806.77	c cleaning 10007 clauses out of 20111 with flag 2014001/2018123
812.09/810.09	c cleaning 10008 clauses out of 20105 with flag 2024002/2028124
815.50/813.44	c cleaning 10012 clauses out of 20096 with flag 2034001/2038123
819.00/816.94	c cleaning 10012 clauses out of 20084 with flag 2044001/2048123
823.41/821.33	c cleaning 10017 clauses out of 20076 with flag 2054005/2058127
828.52/826.46	c cleaning 10006 clauses out of 20055 with flag 2064001/2068123
833.92/831.82	c cleaning 9999 clauses out of 20048 with flag 2074000/2078122
837.33/835.26	c cleaning 10001 clauses out of 20049 with flag 2084000/2088122
840.74/838.69	c cleaning 10003 clauses out of 20050 with flag 2094002/2098124
844.05/841.97	c cleaning 10002 clauses out of 20047 with flag 2104002/2108124
847.96/845.83	c cleaning 9998 clauses out of 20043 with flag 2114000/2118122
851.26/849.16	c cleaning 10008 clauses out of 20047 with flag 2124002/2128124
855.27/853.14	c cleaning 9987 clauses out of 20037 with flag 2134000/2138122
859.77/857.61	c cleaning 10019 clauses out of 20052 with flag 2144002/2148124
864.88/862.76	c cleaning 9995 clauses out of 20034 with flag 2154003/2158125
869.39/867.22	c cleaning 10004 clauses out of 20037 with flag 2164001/2168123
873.90/871.79	c cleaning 9983 clauses out of 20032 with flag 2174000/2178122
878.30/876.14	c cleaning 9987 clauses out of 20049 with flag 2184000/2188122
882.81/880.61	c cleaning 9996 clauses out of 20063 with flag 2194001/2198123
887.01/884.89	c cleaning 9998 clauses out of 20066 with flag 2204000/2208122
891.42/889.29	c cleaning 9992 clauses out of 20070 with flag 2214002/2218124
895.73/893.57	c cleaning 10002 clauses out of 20077 with flag 2224001/2228123
899.74/897.60	c cleaning 10000 clauses out of 20074 with flag 2234000/2238122
904.34/902.13	c cleaning 10003 clauses out of 20079 with flag 2244005/2248127
908.65/906.40	c cleaning 9998 clauses out of 20073 with flag 2254002/2258124
912.55/910.39	c cleaning 10002 clauses out of 20076 with flag 2264003/2268125
917.05/914.86	c cleaning 9995 clauses out of 20071 with flag 2274000/2278122
921.15/918.92	c cleaning 10014 clauses out of 20077 with flag 2284001/2288123
925.56/923.34	c cleaning 9989 clauses out of 20063 with flag 2294001/2298123
929.77/927.58	c cleaning 10005 clauses out of 20073 with flag 2304000/2308122
934.28/932.06	c cleaning 10009 clauses out of 20068 with flag 2314000/2318122
938.88/936.66	c cleaning 10005 clauses out of 20059 with flag 2324000/2328122
943.59/941.35	c cleaning 9988 clauses out of 20056 with flag 2334002/2338124
948.00/945.72	c cleaning 10015 clauses out of 20071 with flag 2344005/2348127
952.71/950.41	c cleaning 9995 clauses out of 20052 with flag 2354001/2358123
957.21/954.93	c cleaning 9989 clauses out of 20058 with flag 2364002/2368124
961.53/959.28	c cleaning 10011 clauses out of 20068 with flag 2374001/2378123
966.73/964.43	c cleaning 10005 clauses out of 20059 with flag 2384003/2388125
971.23/968.99	c cleaning 10005 clauses out of 20054 with flag 2394003/2398125
976.04/973.76	c cleaning 10002 clauses out of 20047 with flag 2404001/2408123
980.65/978.35	c cleaning 9992 clauses out of 20046 with flag 2414002/2418124
985.55/983.23	c cleaning 10001 clauses out of 20054 with flag 2424002/2428124
989.46/987.12	c cleaning 10008 clauses out of 20055 with flag 2434004/2438126
993.87/991.57	c cleaning 10000 clauses out of 20045 with flag 2444002/2448124
998.58/996.20	c cleaning 10002 clauses out of 20044 with flag 2454001/2458123
1003.09/1000.79	c cleaning 9999 clauses out of 20041 with flag 2464000/2468122
1007.20/1004.83	c cleaning 9996 clauses out of 20042 with flag 2474000/2478122
1011.41/1009.08	c cleaning 10000 clauses out of 20046 with flag 2484000/2488122
1015.62/1013.28	c cleaning 10001 clauses out of 20048 with flag 2494002/2498124
1019.93/1017.53	c cleaning 9999 clauses out of 20046 with flag 2504001/2508123
1024.33/1021.98	c cleaning 9999 clauses out of 20046 with flag 2514000/2518122
1029.03/1026.67	c cleaning 10006 clauses out of 20049 with flag 2524002/2528124
1034.15/1031.76	c cleaning 9997 clauses out of 20043 with flag 2534002/2538124
1038.75/1036.37	c cleaning 10001 clauses out of 20046 with flag 2544002/2548124
1043.15/1040.77	c cleaning 9990 clauses out of 20045 with flag 2554002/2558124
1047.65/1045.28	c cleaning 10003 clauses out of 20054 with flag 2564001/2568123
1052.36/1049.99	c cleaning 10004 clauses out of 20051 with flag 2574001/2578123
1057.07/1054.62	c cleaning 10001 clauses out of 20046 with flag 2584000/2588122
1061.58/1059.17	c cleaning 9994 clauses out of 20045 with flag 2594000/2598122
1066.28/1063.82	c cleaning 10005 clauses out of 20051 with flag 2604000/2608122
1071.19/1068.77	c cleaning 9993 clauses out of 20046 with flag 2614000/2618122
1075.39/1072.99	c cleaning 10000 clauses out of 20053 with flag 2624000/2628122
1079.50/1077.07	c cleaning 10004 clauses out of 20054 with flag 2634001/2638123
1083.81/1081.39	c cleaning 10002 clauses out of 20051 with flag 2644002/2648124
1088.01/1085.52	c cleaning 10002 clauses out of 20047 with flag 2654000/2658122
1092.61/1090.16	c cleaning 10008 clauses out of 20046 with flag 2664001/2668123
1097.91/1095.43	c cleaning 10006 clauses out of 20037 with flag 2674000/2678122
1102.12/1099.64	c cleaning 10002 clauses out of 20033 with flag 2684002/2688124
1107.33/1104.83	c cleaning 10002 clauses out of 20029 with flag 2694000/2698122
1111.84/1109.33	c cleaning 10000 clauses out of 20027 with flag 2704000/2708122
1115.85/1113.39	c cleaning 9996 clauses out of 20027 with flag 2714000/2718122
1120.85/1118.34	c cleaning 10000 clauses out of 20031 with flag 2724000/2728122
1125.36/1122.88	c cleaning 10001 clauses out of 20036 with flag 2734005/2738127
1129.77/1127.28	c cleaning 10000 clauses out of 20034 with flag 2744004/2748126
1134.68/1132.17	c cleaning 10001 clauses out of 20034 with flag 2754004/2758126
1139.58/1137.06	c cleaning 10002 clauses out of 20031 with flag 2764002/2768124
1144.40/1141.87	c cleaning 9997 clauses out of 20030 with flag 2774003/2778125
1148.99/1146.42	c cleaning 9995 clauses out of 20030 with flag 2784000/2788122
1153.80/1151.29	c cleaning 10002 clauses out of 20036 with flag 2794001/2798123
1158.10/1155.55	c cleaning 9999 clauses out of 20033 with flag 2804000/2808122
1162.21/1159.60	c cleaning 9993 clauses out of 20034 with flag 2814000/2818122
1166.32/1163.76	c cleaning 10007 clauses out of 20046 with flag 2824005/2828127
1170.62/1168.05	c cleaning 10001 clauses out of 20036 with flag 2834002/2838124
1175.23/1172.61	c cleaning 10001 clauses out of 20035 with flag 2844002/2848124
1179.83/1177.24	c cleaning 10001 clauses out of 20034 with flag 2854002/2858124
1184.73/1182.15	c cleaning 10001 clauses out of 20031 with flag 2864000/2868122
1189.54/1186.91	c cleaning 10000 clauses out of 20032 with flag 2874002/2878124
1194.14/1191.56	c cleaning 9998 clauses out of 20030 with flag 2884000/2888122
1199.04/1196.50	c cleaning 9999 clauses out of 20032 with flag 2894000/2898122
1204.35/1201.72	c cleaning 10001 clauses out of 20034 with flag 2904001/2908123
1209.36/1206.71	c cleaning 9992 clauses out of 20034 with flag 2914002/2918124
1214.95/1212.33	c cleaning 10007 clauses out of 20041 with flag 2924001/2928123
1220.06/1217.43	c cleaning 9990 clauses out of 20033 with flag 2934000/2938122
1225.37/1222.70	c cleaning 10003 clauses out of 20043 with flag 2944000/2948122
1230.48/1227.84	c cleaning 10004 clauses out of 20040 with flag 2954000/2958122
1236.09/1233.43	c cleaning 9996 clauses out of 20036 with flag 2964000/2968122
1241.59/1238.90	c cleaning 10003 clauses out of 20042 with flag 2974002/2978124
1246.10/1243.43	c cleaning 10000 clauses out of 20037 with flag 2984000/2988122
1249.40/1246.70	c cleaning 9938 clauses out of 20037 with flag 2994000/2998122
1252.32/1249.62	c cleaning 10013 clauses out of 20100 with flag 3004001/3008123
1255.42/1252.80	c cleaning 10006 clauses out of 20088 with flag 3014002/3018124
1258.52/1255.84	c cleaning 10003 clauses out of 20082 with flag 3024002/3028124
1262.63/1260.00	c cleaning 10000 clauses out of 20077 with flag 3034000/3038122
1266.84/1264.13	c cleaning 10021 clauses out of 20078 with flag 3044001/3048123
1271.75/1269.04	c cleaning 10012 clauses out of 20056 with flag 3054000/3058122
1276.85/1274.12	c cleaning 10003 clauses out of 20046 with flag 3064002/3068124
1281.36/1278.63	c cleaning 9992 clauses out of 20042 with flag 3074001/3078123
1285.77/1283.04	c cleaning 9996 clauses out of 20051 with flag 3084002/3088124
1290.28/1287.59	c cleaning 9997 clauses out of 20053 with flag 3094000/3098122
1294.59/1291.84	c cleaning 9990 clauses out of 20059 with flag 3104003/3108125
1298.79/1296.09	c cleaning 9999 clauses out of 20066 with flag 3114000/3118122
1303.10/1300.35	c cleaning 10012 clauses out of 20067 with flag 3124000/3128122
1307.60/1304.86	c cleaning 10009 clauses out of 20057 with flag 3134002/3138124
1312.31/1309.58	c cleaning 9996 clauses out of 20047 with flag 3144001/3148123
1317.12/1314.31	c cleaning 10000 clauses out of 20053 with flag 3154003/3158125
1321.92/1319.19	c cleaning 10005 clauses out of 20052 with flag 3164002/3168124
1327.13/1324.39	c cleaning 9997 clauses out of 20045 with flag 3174000/3178122
1331.24/1328.42	c cleaning 9985 clauses out of 20048 with flag 3184000/3188122
1335.75/1332.92	c cleaning 9994 clauses out of 20064 with flag 3194001/3198123
1339.75/1336.95	c cleaning 9996 clauses out of 20070 with flag 3204001/3208123
1343.76/1340.96	c cleaning 9994 clauses out of 20074 with flag 3214001/3218123
1347.96/1345.20	c cleaning 10006 clauses out of 20085 with flag 3224006/3228128
1351.86/1349.04	c cleaning 9998 clauses out of 20073 with flag 3234000/3238122
1355.87/1353.08	c cleaning 9996 clauses out of 20076 with flag 3244001/3248123
1360.08/1357.22	c cleaning 10001 clauses out of 20079 with flag 3254000/3258122
1364.39/1361.50	c cleaning 9998 clauses out of 20080 with flag 3264002/3268124
1368.79/1365.94	c cleaning 9998 clauses out of 20080 with flag 3274000/3278122
1372.80/1369.91	c cleaning 10014 clauses out of 20083 with flag 3284001/3288123
1377.20/1374.39	c cleaning 10019 clauses out of 20069 with flag 3294001/3298123
1381.41/1378.58	c cleaning 10010 clauses out of 20051 with flag 3304002/3308124
1386.11/1383.24	c cleaning 9994 clauses out of 20039 with flag 3314000/3318122
1390.42/1387.56	c cleaning 10008 clauses out of 20051 with flag 3324006/3328128
1394.44/1391.55	c cleaning 10000 clauses out of 20037 with flag 3334000/3338122
1398.43/1395.52	c cleaning 9997 clauses out of 20037 with flag 3344000/3348122
1402.94/1400.08	c cleaning 10006 clauses out of 20042 with flag 3354002/3358124
1407.15/1404.20	c cleaning 10001 clauses out of 20035 with flag 3364001/3368123
1411.85/1408.99	c cleaning 9997 clauses out of 20035 with flag 3374002/3378124
1416.26/1413.38	c cleaning 10001 clauses out of 20038 with flag 3384002/3388124
1420.26/1417.31	c cleaning 10000 clauses out of 20036 with flag 3394001/3398123
1424.77/1421.83	c cleaning 9990 clauses out of 20035 with flag 3404000/3408122
1429.27/1426.32	c cleaning 10012 clauses out of 20045 with flag 3414000/3418122
1433.27/1430.37	c cleaning 9996 clauses out of 20034 with flag 3424001/3428123
1436.98/1434.01	c cleaning 9990 clauses out of 20038 with flag 3434001/3438123
1440.69/1437.74	c cleaning 9995 clauses out of 20047 with flag 3444000/3448122
1444.99/1442.00	c cleaning 9997 clauses out of 20054 with flag 3454002/3458124
1448.99/1446.07	c cleaning 9999 clauses out of 20058 with flag 3464003/3468125
1453.00/1450.02	c cleaning 10000 clauses out of 20057 with flag 3474001/3478123
1457.31/1454.30	c cleaning 9998 clauses out of 20057 with flag 3484001/3488123
1461.42/1458.49	c cleaning 9999 clauses out of 20058 with flag 3494000/3498122
1465.94/1462.96	c cleaning 10001 clauses out of 20059 with flag 3504000/3508122
1470.25/1467.30	c cleaning 9999 clauses out of 20058 with flag 3514000/3518122
1474.36/1471.36	c cleaning 10000 clauses out of 20060 with flag 3524001/3528123
1478.36/1475.38	c cleaning 10000 clauses out of 20062 with flag 3534003/3538125
1482.37/1479.32	c cleaning 10001 clauses out of 20061 with flag 3544002/3548124
1486.27/1483.21	c cleaning 9999 clauses out of 20059 with flag 3554001/3558123
1490.47/1487.40	c cleaning 10002 clauses out of 20059 with flag 3564000/3568122
1494.48/1491.43	c cleaning 9999 clauses out of 20059 with flag 3574002/3578124
1498.58/1495.50	c cleaning 10000 clauses out of 20059 with flag 3584001/3588123
1502.69/1499.60	c cleaning 10002 clauses out of 20060 with flag 3594002/3598124
1506.71/1503.61	c cleaning 9997 clauses out of 20056 with flag 3604000/3608122
1510.91/1507.87	c cleaning 10001 clauses out of 20059 with flag 3614000/3618122
1515.01/1511.92	c cleaning 10000 clauses out of 20058 with flag 3624000/3628122
1519.22/1516.14	c cleaning 9999 clauses out of 20058 with flag 3634000/3638122
1523.33/1520.28	c cleaning 10000 clauses out of 20059 with flag 3644000/3648122
1527.12/1524.00	c cleaning 10003 clauses out of 20060 with flag 3654001/3658123
1531.93/1528.85	c cleaning 10002 clauses out of 20056 with flag 3664000/3668122
1536.84/1533.73	c cleaning 9996 clauses out of 20054 with flag 3674000/3678122
1541.65/1538.52	c cleaning 9996 clauses out of 20059 with flag 3684001/3688123
1546.47/1543.40	c cleaning 10011 clauses out of 20066 with flag 3694004/3698126
1551.57/1548.46	c cleaning 9975 clauses out of 20052 with flag 3704001/3708123
1556.38/1553.29	c cleaning 9996 clauses out of 20078 with flag 3714002/3718124
1560.69/1557.54	c cleaning 10007 clauses out of 20081 with flag 3724001/3728123
1565.39/1562.24	c cleaning 10013 clauses out of 20077 with flag 3734004/3738126
1570.10/1566.95	c cleaning 10005 clauses out of 20060 with flag 3744000/3748122
1574.11/1570.95	c cleaning 9995 clauses out of 20058 with flag 3754003/3758125
1578.61/1575.47	c cleaning 10008 clauses out of 20062 with flag 3764002/3768124
1583.11/1579.92	c cleaning 9977 clauses out of 20053 with flag 3774001/3778123
1587.52/1584.37	c cleaning 9998 clauses out of 20077 with flag 3784002/3788124
1592.52/1589.35	c cleaning 10016 clauses out of 20079 with flag 3794002/3798124
1597.83/1594.63	c cleaning 10002 clauses out of 20062 with flag 3804001/3808123
1602.64/1599.43	c cleaning 9983 clauses out of 20059 with flag 3814000/3818122
1607.84/1604.68	c cleaning 10014 clauses out of 20077 with flag 3824001/3828123
1612.34/1609.16	c cleaning 10003 clauses out of 20062 with flag 3834000/3838122
1617.25/1614.06	c cleaning 9986 clauses out of 20059 with flag 3844000/3848122
1622.25/1619.08	c cleaning 9996 clauses out of 20073 with flag 3854000/3858122
1626.86/1623.63	c cleaning 10013 clauses out of 20077 with flag 3864000/3868122
1631.16/1627.94	c cleaning 10005 clauses out of 20064 with flag 3874000/3878122
1635.16/1631.92	c cleaning 10004 clauses out of 20059 with flag 3884000/3888122
1639.86/1636.61	c cleaning 10002 clauses out of 20056 with flag 3894001/3898123
1643.87/1640.63	c cleaning 10000 clauses out of 20054 with flag 3904001/3908123
1648.28/1645.04	c cleaning 10000 clauses out of 20055 with flag 3914002/3918124
1652.28/1649.03	c cleaning 10003 clauses out of 20054 with flag 3924001/3928123
1657.18/1653.98	c cleaning 9994 clauses out of 20050 with flag 3934000/3938122
1662.78/1659.59	c cleaning 10008 clauses out of 20062 with flag 3944006/3948128
1667.29/1664.07	c cleaning 9999 clauses out of 20049 with flag 3954001/3958123
1671.69/1668.40	c cleaning 10001 clauses out of 20051 with flag 3964002/3968124
1676.70/1673.47	c cleaning 9999 clauses out of 20049 with flag 3974001/3978123
1680.50/1677.25	c cleaning 10000 clauses out of 20050 with flag 3984001/3988123
1684.81/1681.58	c cleaning 10006 clauses out of 20053 with flag 3994004/3998126
1688.91/1685.70	c cleaning 10000 clauses out of 20049 with flag 4004006/4008128
1693.42/1690.16	c cleaning 9999 clauses out of 20044 with flag 4014001/4018123
1697.72/1694.42	c cleaning 10006 clauses out of 20045 with flag 4024001/4028123
1702.53/1699.28	c cleaning 10003 clauses out of 20044 with flag 4034006/4038128
1707.34/1704.06	c cleaning 9994 clauses out of 20035 with flag 4044000/4048122
1711.55/1708.24	c cleaning 10003 clauses out of 20045 with flag 4054004/4058126
1716.06/1712.74	c cleaning 10000 clauses out of 20038 with flag 4064000/4068122
1720.75/1717.42	c cleaning 9995 clauses out of 20038 with flag 4074000/4078122
1726.26/1722.94	c cleaning 10004 clauses out of 20045 with flag 4084002/4088124
1731.17/1727.81	c cleaning 9992 clauses out of 20042 with flag 4094003/4098125
1736.08/1732.75	c cleaning 10004 clauses out of 20048 with flag 4104001/4108123
1741.29/1737.99	c cleaning 10002 clauses out of 20048 with flag 4114005/4118127
1746.59/1743.28	c cleaning 10000 clauses out of 20042 with flag 4124001/4128123
1751.69/1748.32	c cleaning 10007 clauses out of 20048 with flag 4134007/4138129
1757.81/1754.46	c cleaning 9990 clauses out of 20035 with flag 4144001/4148123
1762.80/1759.50	c cleaning 9996 clauses out of 20045 with flag 4154001/4158123
1767.82/1764.43	c cleaning 10006 clauses out of 20048 with flag 4164000/4168122
1772.81/1769.44	c cleaning 10003 clauses out of 20042 with flag 4174000/4178122
1778.61/1775.20	c cleaning 10001 clauses out of 20042 with flag 4184003/4188125
1783.41/1780.06	c cleaning 10002 clauses out of 20041 with flag 4194003/4198125
1788.41/1785.03	c cleaning 9999 clauses out of 20036 with flag 4204000/4208122
1793.12/1789.73	c cleaning 10000 clauses out of 20037 with flag 4214000/4218122
1798.12/1794.71	c cleaning 10000 clauses out of 20037 with flag 4224000/4228122
1800.03/1796.61	c starts		: 260
1800.03/1796.61	c conflicts		: 4232437
1800.03/1796.61	c decisions		: 5731791
1800.03/1796.61	c propagations		: 100701958
1800.03/1796.61	c inspects		: 6597487270
1800.03/1796.61	c shortcuts		: 0
1800.03/1796.61	c learnt literals	: 0
1800.03/1796.61	c learnt binary clauses	: 0
1800.03/1796.61	c learnt ternary clauses	: 0
1800.03/1796.61	c learnt constraints	: 4232436
1800.03/1796.61	c ignored constraints	: 0
1800.03/1796.61	c root simplifications	: 0
1800.03/1796.61	c removed literals (reason simplification)	: 31509269
1800.03/1796.61	c reason swapping (by a shorter reason)	: 0
1800.03/1796.61	c Calls to reduceDB	: 424
1800.03/1796.61	c number of reductions to clauses (during analyze)	: 0
1800.03/1796.61	c number of learned constraints concerned by reduction	: 0
1800.03/1796.61	c number of learning phase by resolution	: 0
1800.03/1796.61	c number of learning phase by cutting planes	: 0
1800.03/1796.61	c speed (assignments/second)	: 56083.37547394262
1800.03/1796.61	c non guided choices	62041
1800.03/1796.62	c learnt constraints type 
1800.03/1796.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14370
1800.03/1796.62	c constraints type 
1800.03/1796.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41
1800.03/1796.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
1800.03/1796.62	s SATISFIABLE
1800.03/1796.63	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 
1800.03/1796.63	c objective function=1
1800.03/1796.63	c Total wall clock time (in seconds): 1796.521

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492535-1307910873/watcher-3492535-1307910873 -o /tmp/evaluation-result-3492535-1307910873/solver-3492535-1307910873 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492535-1307910873.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: 2.14 2.05 1.95 2/195 20297
/proc/meminfo: memFree=7937644/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 981317961 31260672 957 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 7632 957 730 9 0 383 0
[pid=20297/tid=20298] ppid=20295 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 981317961 31260672 957 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224284925696 0 0 4096 0 0 0 0 -1 3 0 0 0

[startup+0.0955169 s]
/proc/loadavg: 2.14 2.05 1.95 2/195 20297
/proc/meminfo: memFree=7937644/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10539688 CPUtime=0.1 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 13034 0 1 0 9 1 0 0 25 0 18 0 981317961 10792640512 12690 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2634922 12693 2092 9 0 2625656 0
[pid=20297/tid=20298] ppid=20295 vsize=10539688 CPUtime=0.08 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 11089 0 1 0 7 1 0 0 18 0 18 0 981317961 10792640512 12693 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912496197408 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) 10539688

[startup+0.100528 s]
/proc/loadavg: 2.14 2.05 1.95 2/195 20297
/proc/meminfo: memFree=7937644/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10539820 CPUtime=0.1 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 13110 0 1 0 9 1 0 0 25 0 18 0 981317961 10792775680 12766 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2634955 12766 2092 9 0 2625689 0
[pid=20297/tid=20298] ppid=20295 vsize=10539820 CPUtime=0.09 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 11163 0 1 0 8 1 0 0 18 0 18 0 981317961 10792775680 12767 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 47210924228613 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) 10539820

[startup+0.300488 s]
/proc/loadavg: 2.14 2.05 1.95 2/195 20297
/proc/meminfo: memFree=7937644/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=0.53 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 15568 0 1 0 52 1 0 0 25 0 19 0 981317961 10795089920 14672 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 14672 2215 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=0.28 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 12158 0 1 0 27 1 0 0 19 0 19 0 981317961 10795089920 14672 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742854 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542080

[startup+0.700416 s]
/proc/loadavg: 2.14 2.05 1.95 2/195 20297
/proc/meminfo: memFree=7937644/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=1.07 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 17083 0 1 0 105 2 0 0 25 0 19 0 981317961 10795089920 15538 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 15538 2222 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=0.68 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 12992 0 1 0 67 1 0 0 19 0 19 0 981317961 10795089920 15538 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912505583947 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10542080

[startup+1.50129 s]
/proc/loadavg: 2.14 2.05 1.95 3/214 20316
/proc/meminfo: memFree=7881160/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=1.88 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 18370 0 1 0 186 2 0 0 25 0 19 0 981317961 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 16824 2224 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=1.48 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 14274 0 1 0 147 1 0 0 21 0 19 0 981317961 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912505610360 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20297/tid=20300] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20300/stat : 20300 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20301] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20301/stat : 20301 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20302] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20302/stat : 20302 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20303] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20303/stat : 20303 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20304] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20304/stat : 20304 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20305] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20305/stat : 20305 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20306] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20306/stat : 20306 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20307] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20307/stat : 20307 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317963 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20308] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20308/stat : 20308 (java) S 20295 20297 18184 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 0 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20309] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20309/stat : 20309 (java) S 20295 20297 18184 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981317964 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20310] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20310/stat : 20310 (java) S 20295 20297 18184 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981317964 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20311] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20311/stat : 20311 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296749489 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20312] ppid=20295 vsize=10542080 CPUtime=0.18 cores=1,3,5,7
/proc/20297/task/20312/stat : 20312 (java) S 20295 20297 18184 0 -1 4202560 1588 0 0 0 18 0 0 0 23 0 19 0 981317966 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20313] ppid=20295 vsize=10542080 CPUtime=0.2 cores=1,3,5,7
/proc/20297/task/20313/stat : 20313 (java) S 20295 20297 18184 0 -1 4202560 1347 0 0 0 20 0 0 0 15 0 19 0 981317966 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20314] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20314/stat : 20314 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20315] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20315/stat : 20315 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981317966 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20316] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20316/stat : 20316 (java) S 20295 20297 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981317982 10795089920 16824 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10542080

[startup+3.10101 s]
/proc/loadavg: 2.14 2.05 1.95 4/214 20316
/proc/meminfo: memFree=7865660/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=3.55 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 21771 0 1 0 353 2 0 0 25 0 19 0 981317961 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 20059 2250 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=3.06 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 14976 0 1 0 305 1 0 0 25 0 19 0 981317961 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912505601420 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20297/tid=20300] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20300/stat : 20300 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20301] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20301/stat : 20301 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20302] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20302/stat : 20302 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20303] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20303/stat : 20303 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20304] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20304/stat : 20304 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20305] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20305/stat : 20305 (java) S 20295 20297 18184 0 -1 4202560 474 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20306] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20306/stat : 20306 (java) S 20295 20297 18184 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20307] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20307/stat : 20307 (java) S 20295 20297 18184 0 -1 4202560 420 0 0 0 0 0 0 0 18 0 19 0 981317963 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20308] ppid=20295 vsize=10542080 CPUtime=0.01 cores=1,3,5,7
/proc/20297/task/20308/stat : 20308 (java) S 20295 20297 18184 0 -1 4202560 1255 0 0 0 1 0 0 0 16 0 19 0 981317964 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 0 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20309] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20309/stat : 20309 (java) S 20295 20297 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20310] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20310/stat : 20310 (java) S 20295 20297 18184 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20311] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20311/stat : 20311 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296749489 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20312] ppid=20295 vsize=10542080 CPUtime=0.22 cores=1,3,5,7
/proc/20297/task/20312/stat : 20312 (java) S 20295 20297 18184 0 -1 4202560 1757 0 0 0 22 0 0 0 15 0 19 0 981317966 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20313] ppid=20295 vsize=10542080 CPUtime=0.22 cores=1,3,5,7
/proc/20297/task/20313/stat : 20313 (java) S 20295 20297 18184 0 -1 4202560 1354 0 0 0 22 0 0 0 15 0 19 0 981317966 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20314] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20314/stat : 20314 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20315] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20315/stat : 20315 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981317966 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20316] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20316/stat : 20316 (java) S 20295 20297 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981317982 10795089920 20059 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 10542080

[startup+6.30148 s]
/proc/loadavg: 2.13 2.05 1.95 3/214 20316
/proc/meminfo: memFree=7847556/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=6.82 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 27019 0 1 0 679 3 0 0 25 0 19 0 981317961 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 24530 2250 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=6.22 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 14980 0 1 0 621 1 0 0 25 0 19 0 981317961 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912505574304 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20297/tid=20300] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20300/stat : 20300 (java) S 20295 20297 18184 0 -1 4202560 689 0 0 0 0 0 0 0 15 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20301] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20301/stat : 20301 (java) S 20295 20297 18184 0 -1 4202560 1023 0 0 0 0 0 0 0 16 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20302] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20302/stat : 20302 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20303] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20303/stat : 20303 (java) S 20295 20297 18184 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20304] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20304/stat : 20304 (java) S 20295 20297 18184 0 -1 4202560 633 0 0 0 0 0 0 0 15 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20305] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20305/stat : 20305 (java) S 20295 20297 18184 0 -1 4202560 474 0 0 0 0 0 0 0 15 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20306] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20306/stat : 20306 (java) S 20295 20297 18184 0 -1 4202560 629 0 0 0 0 0 0 0 15 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20307] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20307/stat : 20307 (java) S 20295 20297 18184 0 -1 4202560 420 0 0 0 0 0 0 0 15 0 19 0 981317963 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20308] ppid=20295 vsize=10542080 CPUtime=0.04 cores=1,3,5,7
/proc/20297/task/20308/stat : 20308 (java) S 20295 20297 18184 0 -1 4202560 2037 0 0 0 4 0 0 0 16 0 19 0 981317964 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 0 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20309] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20309/stat : 20309 (java) S 20295 20297 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20310] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20310/stat : 20310 (java) S 20295 20297 18184 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20311] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20311/stat : 20311 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296749489 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20312] ppid=20295 vsize=10542080 CPUtime=0.27 cores=1,3,5,7
/proc/20297/task/20312/stat : 20312 (java) S 20295 20297 18184 0 -1 4202560 3382 0 0 0 27 0 0 0 15 0 19 0 981317966 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20313] ppid=20295 vsize=10542080 CPUtime=0.23 cores=1,3,5,7
/proc/20297/task/20313/stat : 20313 (java) S 20295 20297 18184 0 -1 4202560 1356 0 0 0 23 0 0 0 15 0 19 0 981317966 10795089920 24530 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0

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

[pid=20297/tid=20305] ppid=20295 vsize=10542080 CPUtime=0.5 cores=1,3,5,7
/proc/20297/task/20305/stat : 20305 (java) S 20295 20297 18184 0 -1 4202560 1917 0 0 0 50 0 0 0 16 0 19 0 981317963 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20306] ppid=20295 vsize=10542080 CPUtime=0.51 cores=1,3,5,7
/proc/20297/task/20306/stat : 20306 (java) S 20295 20297 18184 0 -1 4202560 1420 0 0 0 51 0 0 0 16 0 19 0 981317963 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20307] ppid=20295 vsize=10542080 CPUtime=0.49 cores=1,3,5,7
/proc/20297/task/20307/stat : 20307 (java) S 20295 20297 18184 0 -1 4202560 1488 0 0 0 49 0 0 0 15 0 19 0 981317963 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20308] ppid=20295 vsize=10542080 CPUtime=12.46 cores=1,3,5,7
/proc/20297/task/20308/stat : 20308 (java) S 20295 20297 18184 0 -1 4202560 13909 0 0 0 1241 5 0 0 15 0 19 0 981317964 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 0 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20309] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20309/stat : 20309 (java) S 20295 20297 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20310] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20310/stat : 20310 (java) S 20295 20297 18184 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20311] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20311/stat : 20311 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296749489 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20312] ppid=20295 vsize=10542080 CPUtime=0.31 cores=1,3,5,7
/proc/20297/task/20312/stat : 20312 (java) S 20295 20297 18184 0 -1 4202560 3473 0 0 0 31 0 0 0 15 0 19 0 981317966 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20313] ppid=20295 vsize=10542080 CPUtime=0.23 cores=1,3,5,7
/proc/20297/task/20313/stat : 20313 (java) S 20295 20297 18184 0 -1 4202560 1356 0 0 0 23 0 0 0 15 0 19 0 981317966 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20314] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20314/stat : 20314 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20315] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20315/stat : 20315 (java) S 20295 20297 18184 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 981317966 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20316] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20316/stat : 20316 (java) S 20295 20297 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981317982 10795089920 47390 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.59
Current children cumulated vsize (KiB) 10542080

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 20374
/proc/meminfo: memFree=7641924/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=1725.66 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 51025 0 1 0 172552 14 0 0 25 0 19 0 981317961 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 47432 2251 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=1707.8 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 18304 0 1 0 170778 2 0 0 25 0 19 0 981317961 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912505584032 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20297/tid=20300] ppid=20295 vsize=10542080 CPUtime=0.54 cores=1,3,5,7
/proc/20297/task/20300/stat : 20300 (java) S 20295 20297 18184 0 -1 4202560 1821 0 0 0 54 0 0 0 16 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20301] ppid=20295 vsize=10542080 CPUtime=0.53 cores=1,3,5,7
/proc/20297/task/20301/stat : 20301 (java) S 20295 20297 18184 0 -1 4202560 1753 0 0 0 53 0 0 0 15 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20302] ppid=20295 vsize=10542080 CPUtime=0.56 cores=1,3,5,7
/proc/20297/task/20302/stat : 20302 (java) S 20295 20297 18184 0 -1 4202560 1455 0 0 0 56 0 0 0 15 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20303] ppid=20295 vsize=10542080 CPUtime=0.5 cores=1,3,5,7
/proc/20297/task/20303/stat : 20303 (java) S 20295 20297 18184 0 -1 4202560 1424 0 0 0 50 0 0 0 15 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20304] ppid=20295 vsize=10542080 CPUtime=0.57 cores=1,3,5,7
/proc/20297/task/20304/stat : 20304 (java) S 20295 20297 18184 0 -1 4202560 1423 0 0 0 57 0 0 0 16 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20305] ppid=20295 vsize=10542080 CPUtime=0.53 cores=1,3,5,7
/proc/20297/task/20305/stat : 20305 (java) S 20295 20297 18184 0 -1 4202560 1929 0 0 0 53 0 0 0 15 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20306] ppid=20295 vsize=10542080 CPUtime=0.52 cores=1,3,5,7
/proc/20297/task/20306/stat : 20306 (java) S 20295 20297 18184 0 -1 4202560 1428 0 0 0 52 0 0 0 16 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20307] ppid=20295 vsize=10542080 CPUtime=0.5 cores=1,3,5,7
/proc/20297/task/20307/stat : 20307 (java) S 20295 20297 18184 0 -1 4202560 1496 0 0 0 50 0 0 0 16 0 19 0 981317963 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20308] ppid=20295 vsize=10542080 CPUtime=12.94 cores=1,3,5,7
/proc/20297/task/20308/stat : 20308 (java) S 20295 20297 18184 0 -1 4202560 13911 0 0 0 1289 5 0 0 15 0 19 0 981317964 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 0 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20309] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20309/stat : 20309 (java) S 20295 20297 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20310] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20310/stat : 20310 (java) S 20295 20297 18184 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20311] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20311/stat : 20311 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296749489 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20312] ppid=20295 vsize=10542080 CPUtime=0.31 cores=1,3,5,7
/proc/20297/task/20312/stat : 20312 (java) S 20295 20297 18184 0 -1 4202560 3473 0 0 0 31 0 0 0 15 0 19 0 981317966 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20313] ppid=20295 vsize=10542080 CPUtime=0.23 cores=1,3,5,7
/proc/20297/task/20313/stat : 20313 (java) S 20295 20297 18184 0 -1 4202560 1356 0 0 0 23 0 0 0 15 0 19 0 981317966 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20314] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20314/stat : 20314 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20315] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20315/stat : 20315 (java) S 20295 20297 18184 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981317966 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20316] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20316/stat : 20316 (java) S 20295 20297 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981317982 10795089920 47432 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.66
Current children cumulated vsize (KiB) 10542080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 20433
/proc/meminfo: memFree=7414728/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=1785.71 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 51066 0 1 0 178556 15 0 0 25 0 19 0 981317961 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 47455 2251 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=1767.33 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 18316 0 1 0 176731 2 0 0 25 0 19 0 981317961 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912505650055 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20297/tid=20300] ppid=20295 vsize=10542080 CPUtime=0.55 cores=1,3,5,7
/proc/20297/task/20300/stat : 20300 (java) S 20295 20297 18184 0 -1 4202560 1822 0 0 0 55 0 0 0 16 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20301] ppid=20295 vsize=10542080 CPUtime=0.54 cores=1,3,5,7
/proc/20297/task/20301/stat : 20301 (java) S 20295 20297 18184 0 -1 4202560 1753 0 0 0 54 0 0 0 16 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20302] ppid=20295 vsize=10542080 CPUtime=0.58 cores=1,3,5,7
/proc/20297/task/20302/stat : 20302 (java) S 20295 20297 18184 0 -1 4202560 1461 0 0 0 58 0 0 0 15 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20303] ppid=20295 vsize=10542080 CPUtime=0.51 cores=1,3,5,7
/proc/20297/task/20303/stat : 20303 (java) S 20295 20297 18184 0 -1 4202560 1430 0 0 0 51 0 0 0 15 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20304] ppid=20295 vsize=10542080 CPUtime=0.57 cores=1,3,5,7
/proc/20297/task/20304/stat : 20304 (java) S 20295 20297 18184 0 -1 4202560 1423 0 0 0 57 0 0 0 15 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20305] ppid=20295 vsize=10542080 CPUtime=0.54 cores=1,3,5,7
/proc/20297/task/20305/stat : 20305 (java) S 20295 20297 18184 0 -1 4202560 1932 0 0 0 54 0 0 0 15 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20306] ppid=20295 vsize=10542080 CPUtime=0.52 cores=1,3,5,7
/proc/20297/task/20306/stat : 20306 (java) S 20295 20297 18184 0 -1 4202560 1428 0 0 0 52 0 0 0 15 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20307] ppid=20295 vsize=10542080 CPUtime=0.51 cores=1,3,5,7
/proc/20297/task/20307/stat : 20307 (java) S 20295 20297 18184 0 -1 4202560 1503 0 0 0 51 0 0 0 15 0 19 0 981317963 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20308] ppid=20295 vsize=10542080 CPUtime=13.37 cores=1,3,5,7
/proc/20297/task/20308/stat : 20308 (java) S 20295 20297 18184 0 -1 4202560 13915 0 0 0 1332 5 0 0 15 0 19 0 981317964 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 0 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20309] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20309/stat : 20309 (java) S 20295 20297 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20310] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20310/stat : 20310 (java) S 20295 20297 18184 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20311] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20311/stat : 20311 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296749489 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20312] ppid=20295 vsize=10542080 CPUtime=0.31 cores=1,3,5,7
/proc/20297/task/20312/stat : 20312 (java) S 20295 20297 18184 0 -1 4202560 3473 0 0 0 31 0 0 0 15 0 19 0 981317966 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20313] ppid=20295 vsize=10542080 CPUtime=0.23 cores=1,3,5,7
/proc/20297/task/20313/stat : 20313 (java) S 20295 20297 18184 0 -1 4202560 1356 0 0 0 23 0 0 0 15 0 19 0 981317966 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20314] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20314/stat : 20314 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20315] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20315/stat : 20315 (java) S 20295 20297 18184 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981317966 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20316] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20316/stat : 20316 (java) S 20295 20297 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981317982 10795089920 47455 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.71
Current children cumulated vsize (KiB) 10542080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 20435
/proc/meminfo: memFree=7341660/32951124 swapFree=67049472/67111528
[pid=20297] ppid=20295 vsize=10542080 CPUtime=1800.03 cores=1,3,5,7
/proc/20297/stat : 20297 (java) S 20295 20297 18184 0 -1 4202496 51085 0 1 0 179988 15 0 0 25 0 19 0 981317961 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20297/statm: 2635520 47467 2251 9 0 2626254 0
[pid=20297/tid=20298] ppid=20295 vsize=10542080 CPUtime=1781.51 cores=1,3,5,7
/proc/20297/task/20298/stat : 20298 (java) R 20295 20297 18184 0 -1 4202560 18319 0 1 0 178149 2 0 0 25 0 19 0 981317961 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 46912505601420 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20297/tid=20300] ppid=20295 vsize=10542080 CPUtime=0.56 cores=1,3,5,7
/proc/20297/task/20300/stat : 20300 (java) S 20295 20297 18184 0 -1 4202560 1822 0 0 0 56 0 0 0 15 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20301] ppid=20295 vsize=10542080 CPUtime=0.55 cores=1,3,5,7
/proc/20297/task/20301/stat : 20301 (java) S 20295 20297 18184 0 -1 4202560 1759 0 0 0 55 0 0 0 15 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20302] ppid=20295 vsize=10542080 CPUtime=0.58 cores=1,3,5,7
/proc/20297/task/20302/stat : 20302 (java) S 20295 20297 18184 0 -1 4202560 1461 0 0 0 58 0 0 0 16 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20303] ppid=20295 vsize=10542080 CPUtime=0.51 cores=1,3,5,7
/proc/20297/task/20303/stat : 20303 (java) S 20295 20297 18184 0 -1 4202560 1430 0 0 0 51 0 0 0 15 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20304] ppid=20295 vsize=10542080 CPUtime=0.58 cores=1,3,5,7
/proc/20297/task/20304/stat : 20304 (java) S 20295 20297 18184 0 -1 4202560 1423 0 0 0 58 0 0 0 15 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20305] ppid=20295 vsize=10542080 CPUtime=0.54 cores=1,3,5,7
/proc/20297/task/20305/stat : 20305 (java) S 20295 20297 18184 0 -1 4202560 1932 0 0 0 54 0 0 0 15 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20306] ppid=20295 vsize=10542080 CPUtime=0.53 cores=1,3,5,7
/proc/20297/task/20306/stat : 20306 (java) S 20295 20297 18184 0 -1 4202560 1434 0 0 0 53 0 0 0 16 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 7 0 0 0
[pid=20297/tid=20307] ppid=20295 vsize=10542080 CPUtime=0.51 cores=1,3,5,7
/proc/20297/task/20307/stat : 20307 (java) S 20295 20297 18184 0 -1 4202560 1503 0 0 0 51 0 0 0 15 0 19 0 981317963 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20308] ppid=20295 vsize=10542080 CPUtime=13.49 cores=1,3,5,7
/proc/20297/task/20308/stat : 20308 (java) S 20295 20297 18184 0 -1 4202560 13917 0 0 0 1343 6 0 0 15 0 19 0 981317964 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 0 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20309] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20309/stat : 20309 (java) S 20295 20297 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20310] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20310/stat : 20310 (java) S 20295 20297 18184 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981317964 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20311] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20311/stat : 20311 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296749489 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20312] ppid=20295 vsize=10542080 CPUtime=0.31 cores=1,3,5,7
/proc/20297/task/20312/stat : 20312 (java) S 20295 20297 18184 0 -1 4202560 3473 0 0 0 31 0 0 0 15 0 19 0 981317966 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20313] ppid=20295 vsize=10542080 CPUtime=0.23 cores=1,3,5,7
/proc/20297/task/20313/stat : 20313 (java) S 20295 20297 18184 0 -1 4202560 1356 0 0 0 23 0 0 0 15 0 19 0 981317966 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
[pid=20297/tid=20314] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20314/stat : 20314 (java) S 20295 20297 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981317966 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296741785 0 4 0 16800975 18446604458992802880 0 0 -1 3 0 0 0
[pid=20297/tid=20315] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20315/stat : 20315 (java) S 20295 20297 18184 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981317966 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 1 0 0 0
[pid=20297/tid=20316] ppid=20295 vsize=10542080 CPUtime=0 cores=1,3,5,7
/proc/20297/task/20316/stat : 20316 (java) S 20295 20297 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981317982 10795089920 47467 33554432000 1073741824 1073778376 140733384277168 18446744073709551615 224296742400 0 4 0 16800975 18446604458992802880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10542080

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

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

Child status: 143
Real time (s): 1796.65
CPU time (s): 1800.1
CPU user time (s): 1799.94
CPU system time (s): 0.162975
CPU usage (%): 100.192
Max. virtual memory (cumulated for all children) (KiB): 10542080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51149
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= 47677
involuntary context switches= 45548

runsolver used 2.95255 second user time and 6.88695 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-12 22:34:33
IDJOB=3492535
IDBENCH=79169
IDSOLVER=1982
FILE ID=node118/3492535-1307910873
RUNJOBID= node118-1307908120-19538
PBS_JOBID= 13559604
Free space on /tmp= 18216 MiB

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

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

MD5SUM BENCH= 19fe712a4f6ee0b978bb364f3985a5e4
RANDOM SEED=2111106761

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.842
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.68
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.842
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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7937932 kB
Buffers:         73020 kB
Cached:       24012128 kB
SwapCached:      14020 kB
Active:        9000372 kB
Inactive:     15220480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7937932 kB
SwapTotal:    67111528 kB
SwapFree:     67049472 kB
Dirty:             572 kB
Writeback:           0 kB
AnonPages:      134480 kB
Mapped:          17508 kB
Slab:           727052 kB
PageTables:       4752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10550888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 18212 MiB
End job on node118 at 2011-06-12 23:04:32