Trace number 3453927

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)75 1800.47 973.628

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1797.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

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.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3453927-1307194487.opb
0.10/0.11	c reading problem ... 
0.98/0.55	c ... done. Wall clock time 0.442s.
0.98/0.55	c #vars     6828
0.98/0.55	c #constraints  13156
0.98/0.55	c constraints type 
0.98/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
0.98/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
0.98/0.55	c constraints type 
0.98/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6828
0.98/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328
1.32/0.69	c  And the winner is Resolution
2.33/1.06	c SATISFIABLE
2.33/1.06	c OPTIMIZING...
2.33/1.06	c Got one! Elapsed wall clock time (in seconds):0.953
2.33/1.06	o 83
2.46/1.16	c  And the winner is Resolution
2.68/1.58	c Got one! Elapsed wall clock time (in seconds):1.465
2.68/1.58	o 82
2.77/1.64	c  And the winner is Resolution
3.35/2.08	c Got one! Elapsed wall clock time (in seconds):1.973
3.35/2.08	o 81
3.39/2.12	c  And the winner is Resolution
3.45/2.59	c Got one! Elapsed wall clock time (in seconds):2.478
3.45/2.59	o 80
3.46/2.65	c  And the winner is Resolution
3.67/3.10	c Got one! Elapsed wall clock time (in seconds):2.985
3.67/3.10	o 79
3.67/3.14	c  And the winner is Resolution
3.82/3.60	c Got one! Elapsed wall clock time (in seconds):3.491
3.82/3.60	o 77
6.06/4.61	c cleaning 2973 clauses out of 5958 with flag 5001/5958
8.40/5.74	c cleaning 4483 clauses out of 8984 with flag 11000/11957
11.19/7.11	c cleaning 5745 clauses out of 11502 with flag 18001/18958
14.16/8.64	c cleaning 6873 clauses out of 13757 with flag 26001/26958
17.71/10.43	c cleaning 7938 clauses out of 15883 with flag 35000/35957
21.45/12.37	c cleaning 8963 clauses out of 17945 with flag 45000/45957
25.65/14.42	c cleaning 9983 clauses out of 19982 with flag 56000/56957
30.42/16.84	c cleaning 10989 clauses out of 22000 with flag 68001/68958
33.91/18.61	c  And the winner is CuttingPlanes
33.93/18.76	c Got one! Elapsed wall clock time (in seconds):18.65
33.93/18.76	o 76
35.62/19.67	c cleaning 12276 clauses out of 24566 with flag 5000/82513
35.96/19.84	c  And the winner is Resolution
36.12/20.27	c Got one! Elapsed wall clock time (in seconds):20.162
36.12/20.27	o 75
37.79/21.18	c cleaning 8821 clauses out of 17657 with flag 5000/87880
40.10/22.33	c cleaning 7416 clauses out of 14837 with flag 11001/93881
42.81/23.73	c cleaning 7206 clauses out of 14420 with flag 18000/100880
45.89/25.37	c cleaning 7604 clauses out of 15214 with flag 26000/108880
49.39/27.17	c cleaning 8302 clauses out of 16611 with flag 35001/117881
53.70/29.31	c cleaning 9148 clauses out of 18310 with flag 45002/127882
57.82/31.47	c cleaning 10073 clauses out of 20161 with flag 56001/138881
62.87/34.07	c cleaning 11038 clauses out of 22087 with flag 68000/150880
67.97/36.64	c cleaning 12020 clauses out of 24049 with flag 81000/163880
73.86/39.67	c cleaning 13006 clauses out of 26030 with flag 95001/177881
79.94/42.73	c cleaning 13509 clauses out of 27024 with flag 109001/191881
85.75/45.73	c cleaning 13748 clauses out of 27514 with flag 123000/205880
91.42/48.64	c cleaning 13879 clauses out of 27767 with flag 137001/219881
98.08/52.05	c cleaning 13938 clauses out of 27887 with flag 151000/233880
104.53/55.35	c cleaning 13966 clauses out of 27950 with flag 165001/247881
110.11/58.31	c cleaning 13984 clauses out of 27984 with flag 179001/261881
116.15/61.34	c cleaning 13992 clauses out of 27999 with flag 193000/275880
122.79/64.71	c cleaning 13997 clauses out of 28008 with flag 207001/289881
129.02/67.90	c cleaning 13994 clauses out of 28011 with flag 221001/303881
135.17/71.17	c cleaning 13998 clauses out of 28016 with flag 235000/317880
141.60/74.47	c cleaning 13997 clauses out of 28019 with flag 249001/331881
147.21/77.35	c cleaning 14003 clauses out of 28022 with flag 263001/345881
153.04/80.35	c cleaning 14004 clauses out of 28018 with flag 277000/359880
159.58/83.76	c cleaning 14006 clauses out of 28015 with flag 291001/373881
165.98/87.06	c cleaning 13994 clauses out of 28008 with flag 305000/387880
172.16/90.23	c cleaning 13996 clauses out of 28014 with flag 319000/401880
178.34/93.44	c cleaning 14002 clauses out of 28018 with flag 333000/415880
184.43/96.69	c cleaning 14001 clauses out of 28018 with flag 347002/429882
190.63/99.87	c cleaning 14001 clauses out of 28015 with flag 361000/443880
196.61/102.94	c cleaning 13998 clauses out of 28015 with flag 375001/457881
202.40/106.00	c cleaning 14004 clauses out of 28016 with flag 389000/471880
208.86/109.33	c cleaning 13999 clauses out of 28012 with flag 403000/485880
215.43/112.70	c cleaning 13998 clauses out of 28013 with flag 417000/499880
221.39/115.82	c cleaning 13999 clauses out of 28015 with flag 431000/513880
227.16/118.84	c cleaning 14004 clauses out of 28017 with flag 445001/527881
233.20/122.00	c cleaning 13996 clauses out of 28012 with flag 459000/541880
238.93/125.09	c cleaning 14001 clauses out of 28016 with flag 473000/555880
245.28/128.34	c cleaning 13994 clauses out of 28015 with flag 487000/569880
251.63/131.63	c cleaning 13999 clauses out of 28022 with flag 501001/583881
258.04/135.02	c cleaning 14003 clauses out of 28023 with flag 515001/597881
263.98/138.14	c cleaning 14007 clauses out of 28019 with flag 529000/611880
269.90/141.20	c cleaning 13999 clauses out of 28013 with flag 543001/625881
276.02/144.43	c cleaning 13993 clauses out of 28013 with flag 557000/639880
282.22/147.75	c cleaning 14002 clauses out of 28020 with flag 571000/653880
287.95/150.78	c cleaning 14003 clauses out of 28018 with flag 585000/667880
293.65/153.75	c cleaning 13998 clauses out of 28015 with flag 599000/681880
299.76/156.99	c cleaning 13999 clauses out of 28017 with flag 613000/695880
306.13/160.36	c cleaning 14002 clauses out of 28018 with flag 627000/709880
312.03/163.47	c cleaning 14000 clauses out of 28017 with flag 641001/723881
318.92/167.03	c cleaning 13999 clauses out of 28017 with flag 655001/737881
325.86/170.64	c cleaning 14000 clauses out of 28018 with flag 669001/751881
332.16/174.03	c cleaning 14002 clauses out of 28019 with flag 683002/765882
338.66/177.44	c cleaning 14002 clauses out of 28016 with flag 697001/779881
345.34/180.90	c cleaning 13993 clauses out of 28013 with flag 711000/793880
351.65/184.24	c cleaning 14004 clauses out of 28022 with flag 725002/807882
358.77/188.01	c cleaning 13998 clauses out of 28016 with flag 739000/821880
366.23/191.90	c cleaning 14003 clauses out of 28019 with flag 753001/835881
373.49/195.76	c cleaning 13996 clauses out of 28015 with flag 767000/849880
380.55/199.41	c cleaning 14005 clauses out of 28021 with flag 781002/863882
387.65/203.24	c cleaning 13997 clauses out of 28014 with flag 795000/877880
394.73/206.93	c cleaning 14002 clauses out of 28018 with flag 809001/891881
401.75/210.68	c cleaning 13998 clauses out of 28015 with flag 823000/905880
409.00/214.46	c cleaning 14001 clauses out of 28018 with flag 837001/919881
416.48/218.40	c cleaning 13997 clauses out of 28017 with flag 851001/933881
423.73/222.24	c cleaning 13999 clauses out of 28019 with flag 865000/947880
430.96/226.01	c cleaning 14006 clauses out of 28021 with flag 879001/961881
437.01/229.27	c cleaning 14000 clauses out of 28014 with flag 893000/975880
443.69/232.83	c cleaning 14000 clauses out of 28015 with flag 907001/989881
450.33/236.37	c cleaning 14001 clauses out of 28015 with flag 921001/1003881
457.21/239.93	c cleaning 13999 clauses out of 28013 with flag 935000/1017880
463.61/243.38	c cleaning 14000 clauses out of 28015 with flag 949001/1031881
470.89/247.23	c cleaning 13997 clauses out of 28015 with flag 963001/1045881
476.93/250.46	c cleaning 14000 clauses out of 28017 with flag 977000/1059880
483.78/254.02	c cleaning 13999 clauses out of 28018 with flag 991001/1073881
490.45/257.53	c cleaning 13997 clauses out of 28018 with flag 1005000/1087880
496.88/261.08	c cleaning 14000 clauses out of 28021 with flag 1019000/1101880
503.72/264.62	c cleaning 14001 clauses out of 28022 with flag 1033001/1115881
510.37/268.17	c cleaning 14000 clauses out of 28021 with flag 1047001/1129881
517.22/271.76	c cleaning 14004 clauses out of 28021 with flag 1061001/1143881
524.28/275.59	c cleaning 14005 clauses out of 28018 with flag 1075002/1157882
530.91/279.05	c cleaning 13996 clauses out of 28011 with flag 1089000/1171880
537.15/282.35	c cleaning 13995 clauses out of 28016 with flag 1103001/1185881
543.81/285.85	c cleaning 14001 clauses out of 28020 with flag 1117000/1199880
550.67/289.57	c cleaning 14000 clauses out of 28019 with flag 1131000/1213880
557.69/293.21	c cleaning 14003 clauses out of 28020 with flag 1145001/1227881
564.53/296.83	c cleaning 14001 clauses out of 28016 with flag 1159000/1241880
571.16/300.38	c cleaning 14001 clauses out of 28015 with flag 1173000/1255880
577.58/303.84	c cleaning 13995 clauses out of 28015 with flag 1187001/1269881
584.19/307.34	c cleaning 14004 clauses out of 28020 with flag 1201001/1283881
590.60/310.76	c cleaning 13998 clauses out of 28015 with flag 1215000/1297880
597.41/314.31	c cleaning 14002 clauses out of 28017 with flag 1229000/1311880
604.43/318.19	c cleaning 13995 clauses out of 28015 with flag 1243000/1325880
611.23/321.75	c cleaning 14005 clauses out of 28021 with flag 1257001/1339881
618.03/325.35	c cleaning 14002 clauses out of 28018 with flag 1271003/1353883
624.83/328.93	c cleaning 13997 clauses out of 28014 with flag 1285001/1367881
632.01/332.83	c cleaning 13995 clauses out of 28018 with flag 1299002/1381882
639.00/336.58	c cleaning 13998 clauses out of 28022 with flag 1313001/1395881
645.78/340.11	c cleaning 14007 clauses out of 28024 with flag 1327001/1409881
651.80/343.36	c cleaning 14004 clauses out of 28017 with flag 1341001/1423881
657.79/346.70	c cleaning 13999 clauses out of 28012 with flag 1355000/1437880
664.33/350.12	c cleaning 14002 clauses out of 28014 with flag 1369001/1451881
670.90/353.61	c cleaning 13994 clauses out of 28011 with flag 1383000/1465880
677.27/357.09	c cleaning 14001 clauses out of 28019 with flag 1397002/1479882
684.26/360.83	c cleaning 14006 clauses out of 28018 with flag 1411002/1493882
691.22/364.59	c cleaning 13994 clauses out of 28010 with flag 1425000/1507880
697.98/368.11	c cleaning 13999 clauses out of 28016 with flag 1439000/1521880
704.74/371.77	c cleaning 14001 clauses out of 28020 with flag 1453003/1535883
712.09/375.71	c cleaning 13999 clauses out of 28016 with flag 1467000/1549880
719.25/379.53	c cleaning 13994 clauses out of 28017 with flag 1481000/1563880
725.78/383.08	c cleaning 13998 clauses out of 28024 with flag 1495001/1577881
732.72/386.71	c cleaning 14001 clauses out of 28026 with flag 1509001/1591881
740.24/390.86	c cleaning 14006 clauses out of 28024 with flag 1523000/1605880
748.37/395.16	c cleaning 14000 clauses out of 28019 with flag 1537001/1619881
756.54/399.47	c cleaning 14001 clauses out of 28018 with flag 1551000/1633880
764.64/403.74	c cleaning 14003 clauses out of 28018 with flag 1565001/1647881
772.96/408.29	c cleaning 13997 clauses out of 28014 with flag 1579000/1661880
778.43/411.28	c cleaning 0 clauses out of 5623 with flag 0/5628
781.85/413.03	c cleaning 14004 clauses out of 28017 with flag 1593000/1675880
789.75/417.15	c cleaning 13999 clauses out of 28013 with flag 1607000/1689880
797.43/421.38	c cleaning 13997 clauses out of 28016 with flag 1621002/1703882
804.32/425.09	c cleaning 13997 clauses out of 28017 with flag 1635000/1717880
811.42/428.82	c cleaning 14001 clauses out of 28020 with flag 1649000/1731880
818.72/432.71	c cleaning 14002 clauses out of 28019 with flag 1663000/1745880
825.80/436.67	c cleaning 14002 clauses out of 28017 with flag 1677000/1759880
833.11/440.54	c cleaning 14002 clauses out of 28015 with flag 1691000/1773880
840.21/444.32	c cleaning 13999 clauses out of 28014 with flag 1705001/1787881
847.10/448.05	c cleaning 14000 clauses out of 28014 with flag 1719000/1801880
854.16/451.99	c cleaning 13996 clauses out of 28014 with flag 1733000/1815880
861.05/455.69	c cleaning 14000 clauses out of 28018 with flag 1747000/1829880
867.94/459.37	c cleaning 13996 clauses out of 28018 with flag 1761000/1843880
874.83/463.01	c cleaning 13998 clauses out of 28022 with flag 1775000/1857880
882.08/467.02	c cleaning 13999 clauses out of 28024 with flag 1789000/1871880
888.76/470.63	c cleaning 14001 clauses out of 28025 with flag 1803000/1885880
895.47/474.22	c cleaning 13997 clauses out of 28024 with flag 1817000/1899880
901.92/477.77	c cleaning 14003 clauses out of 28027 with flag 1831000/1913880
909.35/481.83	c cleaning 13998 clauses out of 28025 with flag 1845001/1927881
916.42/485.64	c cleaning 14005 clauses out of 28027 with flag 1859001/1941881
923.50/489.45	c cleaning 13998 clauses out of 28021 with flag 1873000/1955880
930.77/493.33	c cleaning 14002 clauses out of 28024 with flag 1887001/1969881
938.01/497.34	c cleaning 13995 clauses out of 28022 with flag 1901001/1983881
945.23/501.27	c cleaning 14000 clauses out of 28027 with flag 1915001/1997881
952.69/505.24	c cleaning 14006 clauses out of 28026 with flag 1929000/2011880
959.73/509.03	c cleaning 13997 clauses out of 28020 with flag 1943000/2025880
967.11/513.16	c cleaning 13998 clauses out of 28024 with flag 1957001/2039881
973.97/516.89	c cleaning 13998 clauses out of 28025 with flag 1971000/2053880
981.01/520.60	c cleaning 14003 clauses out of 28027 with flag 1985000/2067880
987.07/523.90	c cleaning 14004 clauses out of 28025 with flag 1999001/2081881
993.66/527.63	c cleaning 14006 clauses out of 28021 with flag 2013001/2095881
1000.09/531.10	c cleaning 14002 clauses out of 28015 with flag 2027001/2109881
1006.92/534.82	c cleaning 13999 clauses out of 28012 with flag 2041000/2123880
1013.35/538.35	c cleaning 14003 clauses out of 28014 with flag 2055001/2137881
1020.30/542.29	c cleaning 13995 clauses out of 28010 with flag 2069000/2151880
1027.74/546.26	c cleaning 14003 clauses out of 28016 with flag 2083001/2165881
1035.36/550.39	c cleaning 13994 clauses out of 28013 with flag 2097001/2179881
1043.38/554.62	c cleaning 14000 clauses out of 28018 with flag 2111000/2193880
1050.71/558.73	c cleaning 14003 clauses out of 28019 with flag 2125001/2207881
1058.34/562.81	c cleaning 14000 clauses out of 28016 with flag 2139001/2221881
1066.16/567.08	c cleaning 13998 clauses out of 28015 with flag 2153000/2235880
1073.97/571.23	c cleaning 14000 clauses out of 28018 with flag 2167001/2249881
1081.54/575.48	c cleaning 13999 clauses out of 28017 with flag 2181000/2263880
1088.31/579.10	c cleaning 14000 clauses out of 28019 with flag 2195001/2277881
1095.32/582.91	c cleaning 13995 clauses out of 28018 with flag 2209000/2291880
1101.92/586.55	c cleaning 13999 clauses out of 28024 with flag 2223001/2305881
1109.24/590.68	c cleaning 13999 clauses out of 28025 with flag 2237001/2319881
1116.24/594.46	c cleaning 13997 clauses out of 28025 with flag 2251000/2333880
1123.42/598.35	c cleaning 14005 clauses out of 28028 with flag 2265000/2347880
1130.62/602.27	c cleaning 14000 clauses out of 28024 with flag 2279001/2361881
1137.54/606.18	c cleaning 14002 clauses out of 28024 with flag 2293001/2375881
1144.12/609.70	c cleaning 14001 clauses out of 28021 with flag 2307000/2389880
1150.51/613.29	c cleaning 13999 clauses out of 28020 with flag 2321000/2403880
1157.48/617.04	c cleaning 14002 clauses out of 28021 with flag 2335000/2417880
1164.57/621.07	c cleaning 13998 clauses out of 28020 with flag 2349001/2431881
1171.57/624.88	c cleaning 14000 clauses out of 28021 with flag 2363000/2445880
1178.33/628.53	c cleaning 14000 clauses out of 28021 with flag 2377000/2459880
1185.31/632.39	c cleaning 14000 clauses out of 28022 with flag 2391001/2473881
1192.59/636.46	c cleaning 13999 clauses out of 28021 with flag 2405000/2487880
1199.57/640.29	c cleaning 13997 clauses out of 28022 with flag 2419000/2501880
1205.93/643.78	c cleaning 14003 clauses out of 28026 with flag 2433001/2515881
1212.30/647.26	c cleaning 14001 clauses out of 28023 with flag 2447001/2529881
1219.15/651.21	c cleaning 14001 clauses out of 28022 with flag 2461001/2543881
1225.92/654.87	c cleaning 13999 clauses out of 28020 with flag 2475000/2557880
1233.08/658.71	c cleaning 14001 clauses out of 28021 with flag 2489000/2571880
1239.67/662.38	c cleaning 14004 clauses out of 28021 with flag 2503001/2585881
1247.09/666.54	c cleaning 13998 clauses out of 28016 with flag 2517000/2599880
1254.04/670.39	c cleaning 13999 clauses out of 28020 with flag 2531002/2613882
1260.79/674.05	c cleaning 14001 clauses out of 28021 with flag 2545002/2627882
1267.35/677.65	c cleaning 13999 clauses out of 28019 with flag 2559001/2641881
1274.59/681.79	c cleaning 13996 clauses out of 28020 with flag 2573001/2655881
1281.73/685.65	c cleaning 14001 clauses out of 28024 with flag 2587001/2669881
1288.88/689.57	c cleaning 14002 clauses out of 28024 with flag 2601002/2683882
1295.82/693.34	c cleaning 13996 clauses out of 28020 with flag 2615000/2697880
1303.29/697.52	c cleaning 14002 clauses out of 28024 with flag 2629000/2711880
1309.99/701.20	c cleaning 13996 clauses out of 28022 with flag 2643000/2725880
1316.52/704.84	c cleaning 14006 clauses out of 28028 with flag 2657002/2739882
1324.05/708.98	c cleaning 14004 clauses out of 28020 with flag 2671000/2753880
1332.45/713.67	c cleaning 13995 clauses out of 28016 with flag 2685000/2767880
1339.97/717.76	c cleaning 13999 clauses out of 28021 with flag 2699000/2781880
1347.49/721.88	c cleaning 14003 clauses out of 28023 with flag 2713001/2795881
1354.82/725.89	c cleaning 14002 clauses out of 28019 with flag 2727000/2809880
1363.02/730.42	c cleaning 14005 clauses out of 28017 with flag 2741000/2823880
1370.71/734.60	c cleaning 13992 clauses out of 28013 with flag 2755001/2837881
1378.42/738.84	c cleaning 14002 clauses out of 28021 with flag 2769001/2851881
1385.95/742.97	c cleaning 13995 clauses out of 28019 with flag 2783001/2865881
1394.13/747.55	c cleaning 14000 clauses out of 28023 with flag 2797000/2879880
1401.44/751.58	c cleaning 14004 clauses out of 28024 with flag 2811001/2893881
1409.38/755.87	c cleaning 14003 clauses out of 28022 with flag 2825003/2907883
1417.04/760.09	c cleaning 13997 clauses out of 28016 with flag 2839000/2921880
1425.01/764.60	c cleaning 13994 clauses out of 28019 with flag 2853000/2935880
1432.70/768.71	c cleaning 14001 clauses out of 28025 with flag 2867000/2949880
1440.60/773.02	c cleaning 14000 clauses out of 28024 with flag 2881000/2963880
1448.09/777.12	c cleaning 13998 clauses out of 28024 with flag 2895000/2977880
1456.25/781.72	c cleaning 14000 clauses out of 28026 with flag 2909000/2991880
1463.95/785.97	c cleaning 14002 clauses out of 28026 with flag 2923000/3005880
1471.83/790.21	c cleaning 14000 clauses out of 28024 with flag 2937000/3019880
1479.72/794.57	c cleaning 13999 clauses out of 28024 with flag 2951000/3033880
1487.48/798.98	c cleaning 14001 clauses out of 28026 with flag 2965001/3047881
1495.20/803.13	c cleaning 14000 clauses out of 28025 with flag 2979001/3061881
1502.05/806.92	c cleaning 14004 clauses out of 28024 with flag 2993000/3075880
1508.34/810.48	c cleaning 13999 clauses out of 28021 with flag 3007001/3089881
1515.67/814.60	c cleaning 14003 clauses out of 28021 with flag 3021000/3103880
1522.35/818.36	c cleaning 13995 clauses out of 28018 with flag 3035000/3117880
1529.43/822.23	c cleaning 14003 clauses out of 28023 with flag 3049000/3131880
1536.90/826.31	c cleaning 13999 clauses out of 28022 with flag 3063002/3145882
1543.82/830.38	c cleaning 14003 clauses out of 28023 with flag 3077002/3159882
1550.48/834.08	c cleaning 14001 clauses out of 28019 with flag 3091001/3173881
1557.13/837.77	c cleaning 13999 clauses out of 28017 with flag 3105000/3187880
1564.00/841.53	c cleaning 14003 clauses out of 28019 with flag 3119001/3201881
1571.70/845.92	c cleaning 13992 clauses out of 28016 with flag 3133001/3215881
1579.15/850.00	c cleaning 13999 clauses out of 28023 with flag 3147000/3229880
1586.79/854.23	c cleaning 14004 clauses out of 28024 with flag 3161000/3243880
1594.45/858.45	c cleaning 14000 clauses out of 28021 with flag 3175001/3257881
1601.74/862.65	c cleaning 14006 clauses out of 28020 with flag 3189000/3271880
1608.79/866.57	c cleaning 13997 clauses out of 28014 with flag 3203000/3285880
1616.03/870.58	c cleaning 14004 clauses out of 28017 with flag 3217000/3299880
1623.28/874.56	c cleaning 13994 clauses out of 28013 with flag 3231000/3313880
1630.75/878.91	c cleaning 14001 clauses out of 28021 with flag 3245002/3327882
1638.38/883.00	c cleaning 14004 clauses out of 28018 with flag 3259000/3341880
1645.81/887.13	c cleaning 13997 clauses out of 28015 with flag 3273001/3355881
1652.86/891.08	c cleaning 13999 clauses out of 28018 with flag 3287001/3369881
1660.91/895.70	c cleaning 14002 clauses out of 28019 with flag 3301001/3383881
1668.55/899.90	c cleaning 14002 clauses out of 28017 with flag 3315001/3397881
1676.95/904.46	c cleaning 13998 clauses out of 28015 with flag 3329001/3411881
1684.99/908.82	c cleaning 13998 clauses out of 28016 with flag 3343000/3425880
1692.84/913.38	c cleaning 13998 clauses out of 28018 with flag 3357000/3439880
1700.49/917.56	c cleaning 14005 clauses out of 28020 with flag 3371000/3453880
1708.28/921.91	c cleaning 13999 clauses out of 28015 with flag 3385000/3467880
1716.30/926.25	c cleaning 13991 clauses out of 28016 with flag 3399000/3481880
1724.95/931.14	c cleaning 13999 clauses out of 28026 with flag 3413001/3495881
1732.36/935.27	c cleaning 14006 clauses out of 28026 with flag 3427000/3509880
1739.56/939.27	c cleaning 14002 clauses out of 28021 with flag 3441001/3523881
1746.97/943.34	c cleaning 14001 clauses out of 28018 with flag 3455000/3537880
1754.80/947.87	c cleaning 14001 clauses out of 28018 with flag 3469001/3551881
1762.20/951.94	c cleaning 13998 clauses out of 28016 with flag 3483000/3565880
1769.40/955.97	c cleaning 13997 clauses out of 28018 with flag 3497000/3579880
1776.43/959.88	c cleaning 13997 clauses out of 28021 with flag 3511000/3593880
1784.27/964.35	c cleaning 14004 clauses out of 28024 with flag 3525000/3607880
1791.87/968.55	c cleaning 14000 clauses out of 28021 with flag 3539001/3621881
1799.46/972.70	c cleaning 14004 clauses out of 28021 with flag 3553001/3635881
1800.31/973.54	c starts		: 343
1800.31/973.54	c conflicts		: 3635887
1800.31/973.54	c decisions		: 5872372
1800.31/973.54	c propagations		: 464171174
1800.31/973.54	c inspects		: 5047764556
1800.31/973.54	c shortcuts		: 0
1800.31/973.54	c learnt literals	: 0
1800.31/973.54	c learnt binary clauses	: 0
1800.31/973.54	c learnt ternary clauses	: 0
1800.31/973.54	c learnt constraints	: 3635887
1800.31/973.54	c ignored constraints	: 0
1800.31/973.54	c root simplifications	: 0
1800.31/973.54	c removed literals (reason simplification)	: 3082127
1800.31/973.54	c reason swapping (by a shorter reason)	: 0
1800.31/973.54	c Calls to reduceDB	: 266
1800.31/973.54	c number of reductions to clauses (during analyze)	: 0
1800.31/973.54	c number of learned constraints concerned by reduction	: 0
1800.31/973.54	c number of learning phase by resolution	: 0
1800.31/973.54	c number of learning phase by cutting planes	: 0
1800.31/973.54	c speed (assignments/second)	: 486927.8752497994
1800.31/973.54	c non guided choices	8246
1800.31/973.55	c learnt constraints type 
1800.31/973.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14069
1800.31/973.55	c constraints type 
1800.31/973.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
1800.31/973.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.31/973.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1800.31/973.55	c constraints type 
1800.31/973.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6828
1800.31/973.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.31/973.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328
1800.31/973.55	s SATISFIABLE
1800.31/973.55	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 
1800.31/973.55	c objective function=75
1800.31/973.55	c Total wall clock time (in seconds): 973.441

Verifier Data 

OK	75

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453927-1307194487/watcher-3453927-1307194487 -o /tmp/evaluation-result-3453927-1307194487/solver-3453927-1307194487 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453927-1307194487.opb 

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: 3.20 3.73 3.77 3/476 2208
/proc/meminfo: memFree=21379488/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 1315 0 0 0 0 0 0 0 18 0 2 0 811863988 36646912 1018 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 8947 1018 782 9 0 386 0
[pid=2208/tid=2210] ppid=2206 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) R 2206 2208 28116 0 -1 4202560 6977 0 1 0 0 0 0 0 18 0 2 0 811863989 10694979584 7793 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.101892 s]
/proc/loadavg: 3.20 3.73 3.77 3/476 2208
/proc/meminfo: memFree=21379488/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10540128 CPUtime=0.1 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 13063 0 1 0 9 1 0 0 18 0 18 0 811863988 10793091072 12761 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2635032 12765 2092 9 0 2625766 0
[pid=2208/tid=2210] ppid=2206 vsize=10540128 CPUtime=0.08 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) R 2206 2208 28116 0 -1 4202560 11165 0 1 0 7 1 0 0 18 0 18 0 811863989 10793091072 12767 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 46912496197416 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540128

[startup+0.200872 s]
/proc/loadavg: 3.20 3.73 3.77 3/476 2208
/proc/meminfo: memFree=21379488/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10541220 CPUtime=0.24 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 14113 0 1 0 23 1 0 0 18 0 18 0 811863988 10794209280 13811 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2635305 13811 2179 9 0 2626039 0
[pid=2208/tid=2210] ppid=2206 vsize=10541220 CPUtime=0.18 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) R 2206 2208 28116 0 -1 4202560 11893 0 1 0 17 1 0 0 18 0 18 0 811863989 10794209280 13811 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 47029437728362 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10541220

[startup+0.300854 s]
/proc/loadavg: 3.20 3.73 3.77 3/476 2208
/proc/meminfo: memFree=21379488/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10541440 CPUtime=0.45 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 15590 0 1 0 43 2 0 0 18 0 18 0 811863988 10794434560 14959 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2635360 14959 2207 9 0 2626094 0
[pid=2208/tid=2210] ppid=2206 vsize=10541440 CPUtime=0.28 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) R 2206 2208 28116 0 -1 4202560 12814 0 1 0 27 1 0 0 18 0 18 0 811863989 10794434560 14960 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 46912505546649 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541440

[startup+0.700754 s]
/proc/loadavg: 3.20 3.73 3.77 3/476 2208
/proc/meminfo: memFree=21379488/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10571036 CPUtime=1.71 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 35673 0 1 0 167 4 0 0 18 0 20 0 811863988 10824740864 29304 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2642759 29304 2231 9 0 2633493 0
[pid=2208/tid=2210] ppid=2206 vsize=10571036 CPUtime=0.53 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) S 2206 2208 28116 0 -1 4202560 17090 0 1 0 52 1 0 0 19 0 20 0 811863989 10824740864 29304 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10571036

[startup+1.50067 s]
/proc/loadavg: 3.20 3.73 3.77 5/517 2258
/proc/meminfo: memFree=21209972/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10567380 CPUtime=2.68 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 38617 0 1 0 263 5 0 0 18 0 19 0 811863988 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2641845 30799 2242 9 0 2632579 0
[pid=2208/tid=2210] ppid=2206 vsize=10567380 CPUtime=0.54 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) S 2206 2208 28116 0 -1 4202560 17180 0 1 0 53 1 0 0 17 0 19 0 811863989 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2221] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2221/stat : 2221 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2222] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2222/stat : 2222 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2223] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2223/stat : 2223 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2224] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2224/stat : 2224 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2225] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2225/stat : 2225 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2226] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2226/stat : 2226 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2227] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2227/stat : 2227 (java) S 2206 2208 28116 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2228] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2228/stat : 2228 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811863990 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2230] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2230/stat : 2230 (java) S 2206 2208 28116 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 811863991 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 0 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2233] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2233/stat : 2233 (java) S 2206 2208 28116 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 811863992 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2234] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2234/stat : 2234 (java) S 2206 2208 28116 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 811863992 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2235] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2235/stat : 2235 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811863994 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273440177 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2236] ppid=2206 vsize=10567380 CPUtime=0.83 cores=1,3,5,7
/proc/2208/task/2236/stat : 2236 (java) S 2206 2208 28116 0 -1 4202560 7933 0 0 0 82 1 0 0 18 0 19 0 811863994 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2239] ppid=2206 vsize=10567380 CPUtime=0.82 cores=1,3,5,7
/proc/2208/task/2239/stat : 2239 (java) S 2206 2208 28116 0 -1 4202560 10580 0 0 0 81 1 0 0 18 0 19 0 811863994 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2240] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2240/stat : 2240 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811863994 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2242] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2242/stat : 2242 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811863994 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2252] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2252/stat : 2252 (java) S 2206 2208 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811864046 10820997120 30799 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10567380

[startup+3.10197 s]
/proc/loadavg: 2.94 3.67 3.75 1/514 2279
/proc/meminfo: memFree=21179740/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10567380 CPUtime=3.67 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 53390 0 1 0 360 7 0 0 18 0 20 0 811863988 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2641845 41264 2242 9 0 2632579 0
[pid=2208/tid=2210] ppid=2206 vsize=10567380 CPUtime=0.56 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) S 2206 2208 28116 0 -1 4202560 17449 0 1 0 55 1 0 0 15 0 20 0 811863989 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2221] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2221/stat : 2221 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2222] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2222/stat : 2222 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2223] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2223/stat : 2223 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2224] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2224/stat : 2224 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2225] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2225/stat : 2225 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2226] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2226/stat : 2226 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2227] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2227/stat : 2227 (java) S 2206 2208 28116 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2228] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2228/stat : 2228 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 811863990 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2230] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2230/stat : 2230 (java) S 2206 2208 28116 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 20 0 811863991 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 0 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2233] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2233/stat : 2233 (java) S 2206 2208 28116 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 20 0 811863992 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2234] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2234/stat : 2234 (java) S 2206 2208 28116 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 20 0 811863992 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2235] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2235/stat : 2235 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 811863994 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273440177 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2236] ppid=2206 vsize=10567380 CPUtime=1.31 cores=1,3,5,7
/proc/2208/task/2236/stat : 2236 (java) S 2206 2208 28116 0 -1 4202560 12288 0 0 0 130 1 0 0 15 0 20 0 811863994 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2239] ppid=2206 vsize=10567380 CPUtime=0.98 cores=1,3,5,7
/proc/2208/task/2239/stat : 2239 (java) S 2206 2208 28116 0 -1 4202560 10607 0 0 0 97 1 0 0 15 0 21 0 811863994 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2240] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2240/stat : 2240 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 811863994 10820997120 41264 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2242] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2242/stat : 2242 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 811863994 10820997120 41274 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2252] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2252/stat : 2252 (java) S 2206 2208 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 21 0 811864046 10820997120 41278 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 10567380

[startup+6.3008 s]
/proc/loadavg: 2.94 3.67 3.75 5/520 2295
/proc/meminfo: memFree=20212172/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10567380 CPUtime=9.55 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 215498 0 1 0 932 23 0 0 18 0 22 0 811863988 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2641845 201739 2270 9 0 2632579 0
[pid=2208/tid=2210] ppid=2206 vsize=10567380 CPUtime=0.56 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) S 2206 2208 28116 0 -1 4202560 17516 0 1 0 55 1 0 0 15 0 22 0 811863989 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2221] ppid=2206 vsize=10567380 CPUtime=0.01 cores=1,3,5,7
/proc/2208/task/2221/stat : 2221 (java) S 2206 2208 28116 0 -1 4202560 1102 0 0 0 1 0 0 0 18 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2222] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2222/stat : 2222 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2223] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2223/stat : 2223 (java) S 2206 2208 28116 0 -1 4202560 707 0 0 0 0 0 0 0 18 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 1 0 0 0
[pid=2208/tid=2224] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2224/stat : 2224 (java) S 2206 2208 28116 0 -1 4202560 385 0 0 0 0 0 0 0 15 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2225] ppid=2206 vsize=10567380 CPUtime=0.01 cores=1,3,5,7
/proc/2208/task/2225/stat : 2225 (java) S 2206 2208 28116 0 -1 4202560 1175 0 0 0 1 0 0 0 15 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 1 0 0 0
[pid=2208/tid=2226] ppid=2206 vsize=10567380 CPUtime=0.01 cores=1,3,5,7
/proc/2208/task/2226/stat : 2226 (java) S 2206 2208 28116 0 -1 4202560 1018 0 0 0 1 0 0 0 18 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2227] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2227/stat : 2227 (java) S 2206 2208 28116 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2228] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2228/stat : 2228 (java) S 2206 2208 28116 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 22 0 811863990 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2230] ppid=2206 vsize=10567380 CPUtime=0.11 cores=1,3,5,7
/proc/2208/task/2230/stat : 2230 (java) S 2206 2208 28116 0 -1 4202560 5417 0 0 0 11 0 0 0 16 0 22 0 811863991 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 0 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2233] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2233/stat : 2233 (java) S 2206 2208 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2234] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2234/stat : 2234 (java) S 2206 2208 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2235] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2235/stat : 2235 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811863994 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273440177 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2236] ppid=2206 vsize=10567380 CPUtime=1.54 cores=1,3,5,7
/proc/2208/task/2236/stat : 2236 (java) S 2206 2208 28116 0 -1 4202560 12297 0 0 0 153 1 0 0 15 0 22 0 811863994 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2239] ppid=2206 vsize=10567380 CPUtime=1.24 cores=1,3,5,7
/proc/2208/task/2239/stat : 2239 (java) S 2206 2208 28116 0 -1 4202560 10642 0 0 0 123 1 0 0 16 0 22 0 811863994 10820997120 201739 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=18789868/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10567380 CPUtime=1744.97 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 459419 0 1 0 174443 54 0 0 18 0 22 0 811863988 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2641845 445282 2271 9 0 2632579 0
[pid=2208/tid=2210] ppid=2206 vsize=10567380 CPUtime=0.58 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) S 2206 2208 28116 0 -1 4202560 17572 0 1 0 56 2 0 0 15 0 22 0 811863989 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2221] ppid=2206 vsize=10567380 CPUtime=1.27 cores=1,3,5,7
/proc/2208/task/2221/stat : 2221 (java) S 2206 2208 28116 0 -1 4202560 1206 0 0 0 127 0 0 0 16 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2222] ppid=2206 vsize=10567380 CPUtime=1.44 cores=1,3,5,7
/proc/2208/task/2222/stat : 2222 (java) S 2206 2208 28116 0 -1 4202560 288 0 0 0 144 0 0 0 16 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2223] ppid=2206 vsize=10567380 CPUtime=1.31 cores=1,3,5,7
/proc/2208/task/2223/stat : 2223 (java) S 2206 2208 28116 0 -1 4202560 880 0 0 0 131 0 0 0 15 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2224] ppid=2206 vsize=10567380 CPUtime=1.17 cores=1,3,5,7
/proc/2208/task/2224/stat : 2224 (java) S 2206 2208 28116 0 -1 4202560 451 0 0 0 117 0 0 0 15 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2225] ppid=2206 vsize=10567380 CPUtime=1.36 cores=1,3,5,7
/proc/2208/task/2225/stat : 2225 (java) S 2206 2208 28116 0 -1 4202560 1500 0 0 0 136 0 0 0 15 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2226] ppid=2206 vsize=10567380 CPUtime=1.26 cores=1,3,5,7
/proc/2208/task/2226/stat : 2226 (java) S 2206 2208 28116 0 -1 4202560 1137 0 0 0 126 0 0 0 16 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2227] ppid=2206 vsize=10567380 CPUtime=1.34 cores=1,3,5,7
/proc/2208/task/2227/stat : 2227 (java) S 2206 2208 28116 0 -1 4202560 205 0 0 0 134 0 0 0 16 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2228] ppid=2206 vsize=10567380 CPUtime=1.27 cores=1,3,5,7
/proc/2208/task/2228/stat : 2228 (java) S 2206 2208 28116 0 -1 4202560 700 0 0 0 127 0 0 0 15 0 22 0 811863990 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2230] ppid=2206 vsize=10567380 CPUtime=140.48 cores=1,3,5,7
/proc/2208/task/2230/stat : 2230 (java) S 2206 2208 28116 0 -1 4202560 117565 0 0 0 14035 13 0 0 15 0 22 0 811863991 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 0 0 16800975 18446604471126989824 0 0 -1 1 0 0 0
[pid=2208/tid=2233] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2233/stat : 2233 (java) S 2206 2208 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2234] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2234/stat : 2234 (java) S 2206 2208 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2235] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2235/stat : 2235 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811863994 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273440177 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2236] ppid=2206 vsize=10567380 CPUtime=1.69 cores=1,3,5,7
/proc/2208/task/2236/stat : 2236 (java) S 2206 2208 28116 0 -1 4202560 12298 0 0 0 168 1 0 0 16 0 22 0 811863994 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2239] ppid=2206 vsize=10567380 CPUtime=1.95 cores=1,3,5,7
/proc/2208/task/2239/stat : 2239 (java) S 2206 2208 28116 0 -1 4202560 10752 0 0 0 194 1 0 0 15 0 22 0 811863994 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2240] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2240/stat : 2240 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811863994 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2242] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2242/stat : 2242 (java) S 2206 2208 28116 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811863994 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2298] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2298/stat : 2298 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811865865 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2299] ppid=2206 vsize=10567380 CPUtime=779.03 cores=1,3,5,7
/proc/2208/task/2299/stat : 2299 (java) R 2206 2208 28116 0 -1 4202560 192 0 0 0 77903 0 0 0 21 0 22 0 811866016 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 46912505643616 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2208/tid=2300] ppid=2206 vsize=10567380 CPUtime=779.04 cores=1,3,5,7
/proc/2208/task/2300/stat : 2300 (java) R 2206 2208 28116 0 -1 4202560 32013 0 0 0 77901 3 0 0 21 0 22 0 811866016 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 46912506153167 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2208/tid=2301] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2301/stat : 2301 (java) S 2206 2208 28116 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811866016 10820997120 445282 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1744.97
Current children cumulated vsize (KiB) 10567380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+973.201 s]
/proc/loadavg: 3.54 3.63 3.68 4/520 2328
/proc/meminfo: memFree=18780672/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10567380 CPUtime=1800.01 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 460832 0 1 0 179947 54 0 0 18 0 22 0 811863988 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2641845 446683 2271 9 0 2632579 0
[pid=2208/tid=2210] ppid=2206 vsize=10567380 CPUtime=0.58 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) S 2206 2208 28116 0 -1 4202560 17579 0 1 0 56 2 0 0 15 0 22 0 811863989 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2221] ppid=2206 vsize=10567380 CPUtime=1.34 cores=1,3,5,7
/proc/2208/task/2221/stat : 2221 (java) S 2206 2208 28116 0 -1 4202560 1219 0 0 0 134 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2222] ppid=2206 vsize=10567380 CPUtime=1.46 cores=1,3,5,7
/proc/2208/task/2222/stat : 2222 (java) S 2206 2208 28116 0 -1 4202560 290 0 0 0 146 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2223] ppid=2206 vsize=10567380 CPUtime=1.35 cores=1,3,5,7
/proc/2208/task/2223/stat : 2223 (java) S 2206 2208 28116 0 -1 4202560 880 0 0 0 135 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2224] ppid=2206 vsize=10567380 CPUtime=1.22 cores=1,3,5,7
/proc/2208/task/2224/stat : 2224 (java) S 2206 2208 28116 0 -1 4202560 460 0 0 0 122 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2225] ppid=2206 vsize=10567380 CPUtime=1.43 cores=1,3,5,7
/proc/2208/task/2225/stat : 2225 (java) S 2206 2208 28116 0 -1 4202560 1501 0 0 0 143 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2226] ppid=2206 vsize=10567380 CPUtime=1.3 cores=1,3,5,7
/proc/2208/task/2226/stat : 2226 (java) S 2206 2208 28116 0 -1 4202560 1148 0 0 0 130 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2227] ppid=2206 vsize=10567380 CPUtime=1.4 cores=1,3,5,7
/proc/2208/task/2227/stat : 2227 (java) S 2206 2208 28116 0 -1 4202560 209 0 0 0 140 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2228] ppid=2206 vsize=10567380 CPUtime=1.38 cores=1,3,5,7
/proc/2208/task/2228/stat : 2228 (java) S 2206 2208 28116 0 -1 4202560 706 0 0 0 138 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2230] ppid=2206 vsize=10567380 CPUtime=147.41 cores=1,3,5,7
/proc/2208/task/2230/stat : 2230 (java) R 2206 2208 28116 0 -1 4202560 118922 0 0 0 14728 13 0 0 16 0 22 0 811863991 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 47029440457185 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=2208/tid=2233] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2233/stat : 2233 (java) S 2206 2208 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2234] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2234/stat : 2234 (java) S 2206 2208 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2235] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2235/stat : 2235 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273440177 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2236] ppid=2206 vsize=10567380 CPUtime=1.69 cores=1,3,5,7
/proc/2208/task/2236/stat : 2236 (java) S 2206 2208 28116 0 -1 4202560 12298 0 0 0 168 1 0 0 16 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2239] ppid=2206 vsize=10567380 CPUtime=1.95 cores=1,3,5,7
/proc/2208/task/2239/stat : 2239 (java) S 2206 2208 28116 0 -1 4202560 10752 0 0 0 194 1 0 0 15 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2240] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2240/stat : 2240 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2242] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2242/stat : 2242 (java) S 2206 2208 28116 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2298] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2298/stat : 2298 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811865865 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2299] ppid=2206 vsize=10567380 CPUtime=802.86 cores=1,3,5,7
/proc/2208/task/2299/stat : 2299 (java) S 2206 2208 28116 0 -1 4202560 193 0 0 0 80286 0 0 0 25 0 22 0 811866016 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 1 0 0 0
[pid=2208/tid=2300] ppid=2206 vsize=10567380 CPUtime=802.87 cores=1,3,5,7
/proc/2208/task/2300/stat : 2300 (java) S 2206 2208 28116 0 -1 4202560 32013 0 0 0 80284 3 0 0 25 0 22 0 811866016 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2301] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2301/stat : 2301 (java) S 2206 2208 28116 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811866016 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10567380

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

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

[startup+973.501 s]
/proc/loadavg: 3.54 3.63 3.68 3/521 2329
/proc/meminfo: memFree=18780664/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=10567380 CPUtime=1800.31 cores=1,3,5,7
/proc/2208/stat : 2208 (java) S 2206 2208 28116 0 -1 4202496 460832 0 1 0 179977 54 0 0 18 0 22 0 811863988 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 2641845 446683 2271 9 0 2632579 0
[pid=2208/tid=2210] ppid=2206 vsize=10567380 CPUtime=0.58 cores=1,3,5,7
/proc/2208/task/2210/stat : 2210 (java) S 2206 2208 28116 0 -1 4202560 17579 0 1 0 56 2 0 0 15 0 22 0 811863989 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2221] ppid=2206 vsize=10567380 CPUtime=1.34 cores=1,3,5,7
/proc/2208/task/2221/stat : 2221 (java) S 2206 2208 28116 0 -1 4202560 1219 0 0 0 134 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2222] ppid=2206 vsize=10567380 CPUtime=1.46 cores=1,3,5,7
/proc/2208/task/2222/stat : 2222 (java) S 2206 2208 28116 0 -1 4202560 290 0 0 0 146 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2223] ppid=2206 vsize=10567380 CPUtime=1.35 cores=1,3,5,7
/proc/2208/task/2223/stat : 2223 (java) S 2206 2208 28116 0 -1 4202560 880 0 0 0 135 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2224] ppid=2206 vsize=10567380 CPUtime=1.22 cores=1,3,5,7
/proc/2208/task/2224/stat : 2224 (java) S 2206 2208 28116 0 -1 4202560 460 0 0 0 122 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2225] ppid=2206 vsize=10567380 CPUtime=1.43 cores=1,3,5,7
/proc/2208/task/2225/stat : 2225 (java) S 2206 2208 28116 0 -1 4202560 1501 0 0 0 143 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2226] ppid=2206 vsize=10567380 CPUtime=1.3 cores=1,3,5,7
/proc/2208/task/2226/stat : 2226 (java) S 2206 2208 28116 0 -1 4202560 1148 0 0 0 130 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2227] ppid=2206 vsize=10567380 CPUtime=1.4 cores=1,3,5,7
/proc/2208/task/2227/stat : 2227 (java) S 2206 2208 28116 0 -1 4202560 209 0 0 0 140 0 0 0 16 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2228] ppid=2206 vsize=10567380 CPUtime=1.38 cores=1,3,5,7
/proc/2208/task/2228/stat : 2228 (java) S 2206 2208 28116 0 -1 4202560 706 0 0 0 138 0 0 0 15 0 22 0 811863990 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2230] ppid=2206 vsize=10567380 CPUtime=147.71 cores=1,3,5,7
/proc/2208/task/2230/stat : 2230 (java) R 2206 2208 28116 0 -1 4202560 118922 0 0 0 14758 13 0 0 16 0 22 0 811863991 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 47029440458030 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=2208/tid=2233] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2233/stat : 2233 (java) S 2206 2208 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2234] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2234/stat : 2234 (java) S 2206 2208 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811863992 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2235] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2235/stat : 2235 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2236] ppid=2206 vsize=10567380 CPUtime=1.69 cores=1,3,5,7
/proc/2208/task/2236/stat : 2236 (java) S 2206 2208 28116 0 -1 4202560 12298 0 0 0 168 1 0 0 16 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2239] ppid=2206 vsize=10567380 CPUtime=1.95 cores=1,3,5,7
/proc/2208/task/2239/stat : 2239 (java) S 2206 2208 28116 0 -1 4202560 10752 0 0 0 194 1 0 0 15 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2240] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2240/stat : 2240 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2242] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2242/stat : 2242 (java) S 2206 2208 28116 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 811863994 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 3 0 0 0
[pid=2208/tid=2298] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2298/stat : 2298 (java) S 2206 2208 28116 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811865865 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
[pid=2208/tid=2299] ppid=2206 vsize=10567380 CPUtime=802.86 cores=1,3,5,7
/proc/2208/task/2299/stat : 2299 (java) S 2206 2208 28116 0 -1 4202560 193 0 0 0 80286 0 0 0 25 0 22 0 811866016 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 1 0 0 0
[pid=2208/tid=2300] ppid=2206 vsize=10567380 CPUtime=802.87 cores=1,3,5,7
/proc/2208/task/2300/stat : 2300 (java) S 2206 2208 28116 0 -1 4202560 32013 0 0 0 80284 3 0 0 25 0 22 0 811866016 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273432473 0 4 0 16800975 18446604471126989824 0 0 -1 5 0 0 0
[pid=2208/tid=2301] ppid=2206 vsize=10567380 CPUtime=0 cores=1,3,5,7
/proc/2208/task/2301/stat : 2301 (java) S 2206 2208 28116 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811866016 10820997120 446683 33554432000 1073741824 1073778376 140734319838320 18446744073709551615 254273433088 0 4 0 16800975 18446604471126989824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 10567380

[startup+973.619 s]
/proc/loadavg: 3.54 3.63 3.68 3/521 2329
/proc/meminfo: memFree=18780664/32951124 swapFree=67057928/67111528
[pid=2208] ppid=2206 vsize=0 CPUtime=1800.46 cores=1,3,5,7
/proc/2208/stat : 2208 (java) Z 2206 2208 28116 0 -1 4203548 461315 0 1 0 179985 61 0 0 15 0 2 0 811863988 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2208/statm: 0 0 0 0 0 0 0
[pid=2208/tid=2300] ppid=2206 vsize=0 CPUtime=802.95 cores=1,3,5,7
/proc/2208/task/2300/stat : 2300 (java) R 2206 2208 28116 0 -1 4203588 32013 0 0 0 80286 9 0 0 18 0 2 0 811866016 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 973.628
CPU time (s): 1800.47
CPU user time (s): 1799.85
CPU system time (s): 0.618905
CPU usage (%): 184.924
Max. virtual memory (cumulated for all children) (KiB): 10571508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.618905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461315
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= 30539
involuntary context switches= 16545

runsolver used 4.63929 second user time and 11.3553 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-04 15:34:47
IDJOB=3453927
IDBENCH=48131
IDSOLVER=1950
FILE ID=node140/3453927-1307194487
RUNJOBID= node140-1307194487-2190
PBS_JOBID= 13508839
Free space on /tmp= 73644 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453927-1307194487/watcher-3453927-1307194487 -o /tmp/evaluation-result-3453927-1307194487/solver-3453927-1307194487 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453927-1307194487.opb

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

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=1471161825

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21379768 kB
Buffers:        318008 kB
Cached:        4002440 kB
SwapCached:       6932 kB
Active:        7421604 kB
Inactive:      3813652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21379768 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:             988 kB
Writeback:           0 kB
AnonPages:     6912964 kB
Mapped:          38016 kB
Slab:           215620 kB
PageTables:      52408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141391740 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= 73644 MiB
End job on node140 at 2011-06-04 15:51:02