Trace number 3736921

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)14 1800.06 941.035

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.12	c version 2.3.1.v20110525
0.06/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.12	c java.vm.version	19.1-b02
0.06/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		1.6.0_24
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.12	c Free memory 		9996466904
0.06/0.12	c Max memory 		10048897024
0.06/0.12	c Total memory 		10048897024
0.06/0.12	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization
0.06/0.14	c ManyCore solver with 2 solvers running in parallel
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3736921-1338718511.opb
0.06/0.14	c reading problem ... 
0.96/0.56	c ... done. Wall clock time 0.415s.
0.96/0.56	c #vars     6426
0.96/0.56	c #constraints  12652
0.96/0.56	c constraints type 
0.96/0.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426
0.96/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
0.96/0.56	c constraints type 
0.96/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6426
0.96/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
1.30/0.68	c  And the winner is Resolution
1.96/1.07	c SATISFIABLE
1.96/1.07	c OPTIMIZING...
1.96/1.07	c Got one! Elapsed wall clock time (in seconds):0.922
1.96/1.07	o 17
2.08/1.11	c  And the winner is Resolution
2.12/1.57	c Got one! Elapsed wall clock time (in seconds):1.429
2.12/1.57	o 16
2.20/1.66	c  And the winner is Resolution
2.68/2.08	c Got one! Elapsed wall clock time (in seconds):1.933
2.68/2.08	o 15
5.07/3.12	c cleaning 2585 clauses out of 5178 with flag 5001/5178
7.63/4.35	c cleaning 4294 clauses out of 8592 with flag 11000/11177
10.16/5.68	c cleaning 5644 clauses out of 11299 with flag 18001/18178
13.41/7.26	c cleaning 6823 clauses out of 13654 with flag 26000/26177
17.16/9.12	c cleaning 7911 clauses out of 15832 with flag 35001/35178
21.08/11.18	c cleaning 8955 clauses out of 17920 with flag 45000/45177
25.64/13.44	c cleaning 9977 clauses out of 19965 with flag 56000/56177
29.98/15.70	c cleaning 10993 clauses out of 21989 with flag 68001/68178
34.65/18.03	c  And the winner is Resolution
34.84/18.23	c Got one! Elapsed wall clock time (in seconds):18.089
34.84/18.23	o 14
36.58/19.15	c cleaning 13844 clauses out of 27701 with flag 5001/84883
39.08/20.49	c cleaning 9923 clauses out of 19857 with flag 11001/90883
42.38/22.12	c cleaning 8463 clauses out of 16933 with flag 18000/97882
46.29/24.16	c cleaning 8232 clauses out of 16471 with flag 26001/105883
51.91/27.03	c cleaning 8614 clauses out of 17241 with flag 35003/114885
56.21/29.29	c cleaning 9310 clauses out of 18625 with flag 45001/124883
61.50/31.95	c cleaning 10150 clauses out of 20314 with flag 56000/135882
66.96/34.78	c cleaning 11076 clauses out of 22165 with flag 68001/147883
73.56/38.15	c cleaning 12041 clauses out of 24088 with flag 81000/160882
80.43/41.68	c cleaning 12524 clauses out of 25049 with flag 94002/173884
85.88/44.46	c cleaning 12758 clauses out of 25523 with flag 107000/186882
91.35/47.21	c cleaning 12875 clauses out of 25765 with flag 120000/199882
97.32/50.36	c cleaning 12941 clauses out of 25891 with flag 133001/212883
104.17/53.81	c cleaning 12971 clauses out of 25950 with flag 146001/225883
110.40/57.06	c cleaning 12987 clauses out of 25979 with flag 159001/238883
116.84/60.36	c cleaning 12990 clauses out of 25991 with flag 172000/251882
123.01/63.50	c cleaning 12998 clauses out of 26003 with flag 185002/264884
128.85/66.58	c cleaning 12995 clauses out of 26003 with flag 198000/277882
135.48/69.92	c cleaning 13000 clauses out of 26009 with flag 211001/290883
141.71/73.13	c cleaning 12998 clauses out of 26010 with flag 224002/303884
148.46/76.63	c cleaning 12995 clauses out of 26010 with flag 237000/316882
154.30/79.62	c cleaning 12999 clauses out of 26015 with flag 250000/329882
160.13/82.61	c cleaning 13003 clauses out of 26016 with flag 263000/342882
165.97/85.67	c cleaning 13004 clauses out of 26015 with flag 276002/355884
172.73/89.14	c cleaning 12997 clauses out of 26009 with flag 289000/368882
179.35/92.53	c cleaning 12997 clauses out of 26012 with flag 302000/381882
185.77/95.84	c cleaning 13006 clauses out of 26018 with flag 315003/394885
191.61/98.89	c cleaning 12998 clauses out of 26009 with flag 328000/407882
197.96/102.12	c cleaning 13002 clauses out of 26012 with flag 341001/420883
203.79/105.17	c cleaning 13001 clauses out of 26011 with flag 354002/433884
209.62/108.16	c cleaning 12999 clauses out of 26010 with flag 367002/446884
215.85/111.30	c cleaning 12998 clauses out of 26009 with flag 380000/459882
222.19/114.67	c cleaning 13003 clauses out of 26011 with flag 393000/472882
228.02/117.64	c cleaning 13001 clauses out of 26011 with flag 406003/485885
233.83/120.63	c cleaning 12997 clauses out of 26009 with flag 419002/498884
239.66/123.69	c cleaning 12999 clauses out of 26012 with flag 432002/511884
245.97/126.95	c cleaning 13000 clauses out of 26012 with flag 445001/524883
252.39/130.21	c cleaning 13000 clauses out of 26012 with flag 458001/537883
258.40/133.33	c cleaning 13001 clauses out of 26012 with flag 471001/550883
264.81/136.65	c cleaning 12999 clauses out of 26013 with flag 484003/563885
270.92/139.86	c cleaning 13001 clauses out of 26011 with flag 497000/576882
276.95/142.92	c cleaning 13005 clauses out of 26012 with flag 510002/589884
282.36/145.71	c cleaning 12999 clauses out of 26005 with flag 523000/602882
288.75/149.08	c cleaning 13001 clauses out of 26007 with flag 536001/615883
297.04/153.30	c cleaning 12998 clauses out of 26007 with flag 549002/628884
303.24/156.54	c cleaning 12996 clauses out of 26007 with flag 562000/641882
308.84/159.47	c cleaning 13001 clauses out of 26012 with flag 575001/654883
314.42/162.37	c cleaning 12998 clauses out of 26012 with flag 588002/667884
320.51/165.56	c cleaning 13002 clauses out of 26013 with flag 601001/680883
327.29/169.01	c cleaning 13001 clauses out of 26015 with flag 614005/693887
333.89/172.45	c cleaning 13000 clauses out of 26009 with flag 627000/706882
340.70/175.99	c cleaning 12997 clauses out of 26010 with flag 640001/719883
348.16/179.84	c cleaning 13000 clauses out of 26013 with flag 653001/732883
355.77/183.71	c cleaning 13002 clauses out of 26014 with flag 666002/745884
363.34/187.60	c cleaning 12999 clauses out of 26011 with flag 679001/758883
371.13/191.61	c cleaning 13002 clauses out of 26012 with flag 692001/771883
378.40/195.46	c cleaning 13000 clauses out of 26009 with flag 705000/784882
385.40/199.05	c cleaning 12998 clauses out of 26009 with flag 718000/797882
392.16/202.58	c cleaning 12999 clauses out of 26013 with flag 731002/810884
399.16/206.10	c cleaning 13001 clauses out of 26014 with flag 744002/823884
405.64/209.53	c cleaning 12999 clauses out of 26012 with flag 757001/836883
412.42/213.00	c cleaning 13001 clauses out of 26015 with flag 770003/849885
419.39/216.67	c cleaning 13002 clauses out of 26014 with flag 783003/862885
426.55/220.31	c cleaning 12996 clauses out of 26009 with flag 796000/875882
433.42/223.97	c cleaning 13004 clauses out of 26015 with flag 809002/888884
439.39/227.04	c cleaning 13000 clauses out of 26010 with flag 822001/901883
445.78/230.30	c cleaning 13001 clauses out of 26014 with flag 835005/914887
451.56/233.37	c cleaning 12999 clauses out of 26008 with flag 848000/927882
458.23/236.82	c cleaning 13001 clauses out of 26012 with flag 861003/940885
464.82/240.21	c cleaning 12997 clauses out of 26008 with flag 874000/953882
471.61/243.71	c cleaning 13002 clauses out of 26013 with flag 887002/966884
477.57/246.89	c cleaning 12995 clauses out of 26009 with flag 900000/979882
484.04/250.23	c cleaning 12999 clauses out of 26014 with flag 913000/992882
490.42/253.51	c cleaning 13002 clauses out of 26017 with flag 926002/1005884
496.59/256.71	c cleaning 13001 clauses out of 26014 with flag 939001/1018883
502.17/259.61	c cleaning 13000 clauses out of 26012 with flag 952000/1031882
507.83/262.67	c cleaning 12998 clauses out of 26012 with flag 965000/1044882
513.40/265.56	c cleaning 13000 clauses out of 26014 with flag 978000/1057882
519.19/268.55	c cleaning 13003 clauses out of 26015 with flag 991001/1070883
524.97/271.60	c cleaning 12998 clauses out of 26011 with flag 1004000/1083882
532.04/275.26	c cleaning 13005 clauses out of 26013 with flag 1017000/1096882
539.00/278.85	c cleaning 12997 clauses out of 26008 with flag 1030000/1109882
545.98/282.43	c cleaning 12997 clauses out of 26011 with flag 1043000/1122882
552.77/285.95	c cleaning 13000 clauses out of 26014 with flag 1056000/1135882
560.22/289.81	c cleaning 13005 clauses out of 26016 with flag 1069002/1148884
567.21/293.49	c cleaning 13000 clauses out of 26009 with flag 1082000/1161882
574.58/297.20	c cleaning 12999 clauses out of 26009 with flag 1095000/1174882
580.56/300.39	c cleaning 13000 clauses out of 26010 with flag 1108000/1187882
586.83/303.66	c cleaning 12999 clauses out of 26012 with flag 1121002/1200884
593.01/306.88	c cleaning 12999 clauses out of 26011 with flag 1134000/1213882
598.98/309.96	c cleaning 13000 clauses out of 26012 with flag 1147000/1226882
604.95/313.07	c cleaning 12997 clauses out of 26014 with flag 1160002/1239884
611.23/316.35	c cleaning 13002 clauses out of 26016 with flag 1173001/1252883
617.20/319.44	c cleaning 12997 clauses out of 26014 with flag 1186001/1265883
622.98/322.48	c cleaning 13000 clauses out of 26016 with flag 1199000/1278882
629.17/325.66	c cleaning 13002 clauses out of 26016 with flag 1212000/1291882
635.62/329.05	c cleaning 13002 clauses out of 26017 with flag 1225003/1304885
641.99/332.34	c cleaning 12999 clauses out of 26013 with flag 1238001/1317883
647.98/335.42	c cleaning 13004 clauses out of 26014 with flag 1251001/1330883
653.36/338.25	c cleaning 12997 clauses out of 26010 with flag 1264001/1343883
659.41/341.47	c cleaning 13000 clauses out of 26014 with flag 1277002/1356884
665.98/344.84	c cleaning 13001 clauses out of 26014 with flag 1290002/1369884
672.17/348.03	c cleaning 13000 clauses out of 26012 with flag 1303001/1382883
677.95/351.06	c cleaning 12999 clauses out of 26011 with flag 1316000/1395882
684.20/354.35	c cleaning 13001 clauses out of 26013 with flag 1329001/1408883
690.58/357.65	c cleaning 13003 clauses out of 26013 with flag 1342002/1421884
697.76/361.36	c cleaning 13002 clauses out of 26009 with flag 1355001/1434883
705.15/365.16	c cleaning 12998 clauses out of 26007 with flag 1368001/1447883
712.41/368.94	c cleaning 13001 clauses out of 26009 with flag 1381001/1460883
719.38/372.51	c cleaning 12996 clauses out of 26007 with flag 1394000/1473882
726.16/376.06	c cleaning 13000 clauses out of 26012 with flag 1407001/1486883
733.34/379.74	c cleaning 13001 clauses out of 26014 with flag 1420003/1499885
740.59/383.54	c cleaning 13000 clauses out of 26010 with flag 1433000/1512882
747.78/387.25	c cleaning 13002 clauses out of 26012 with flag 1446002/1525884
754.14/390.55	c cleaning 13001 clauses out of 26009 with flag 1459001/1538883
760.91/394.04	c cleaning 12998 clauses out of 26007 with flag 1472000/1551882
767.96/397.75	c cleaning 13002 clauses out of 26009 with flag 1485000/1564882
774.94/401.30	c cleaning 12999 clauses out of 26009 with flag 1498002/1577884
781.51/404.78	c cleaning 13000 clauses out of 26008 with flag 1511000/1590882
788.48/408.35	c cleaning 12998 clauses out of 26008 with flag 1524000/1603882
795.51/412.02	c cleaning 12998 clauses out of 26011 with flag 1537001/1616883
802.08/415.42	c cleaning 13003 clauses out of 26013 with flag 1550001/1629883
808.66/418.82	c cleaning 12999 clauses out of 26010 with flag 1563001/1642883
815.64/422.42	c cleaning 13001 clauses out of 26014 with flag 1576004/1655886
822.04/425.85	c cleaning 12996 clauses out of 26009 with flag 1589000/1668882
828.60/429.25	c cleaning 13001 clauses out of 26013 with flag 1602000/1681882
835.16/432.62	c cleaning 12998 clauses out of 26013 with flag 1615001/1694883
841.72/436.09	c cleaning 12998 clauses out of 26014 with flag 1628000/1707882
848.76/439.80	c cleaning 13001 clauses out of 26017 with flag 1641001/1720883
855.75/443.36	c cleaning 13002 clauses out of 26015 with flag 1654000/1733882
862.69/446.99	c cleaning 13000 clauses out of 26013 with flag 1667000/1746882
870.06/450.76	c cleaning 13001 clauses out of 26014 with flag 1680001/1759883
876.89/454.39	c cleaning 13002 clauses out of 26013 with flag 1693001/1772883
883.26/457.62	c cleaning 13003 clauses out of 26017 with flag 1706007/1785889
889.43/460.87	c cleaning 12997 clauses out of 26007 with flag 1719000/1798882
895.59/464.09	c cleaning 12998 clauses out of 26010 with flag 1732000/1811882
902.03/467.49	c cleaning 12999 clauses out of 26013 with flag 1745001/1824883
908.18/470.67	c cleaning 12998 clauses out of 26016 with flag 1758003/1837885
914.34/473.88	c cleaning 12997 clauses out of 26015 with flag 1771000/1850882
920.70/477.13	c cleaning 13000 clauses out of 26019 with flag 1784001/1863883
927.32/480.64	c cleaning 13002 clauses out of 26020 with flag 1797002/1876884
933.88/484.05	c cleaning 12999 clauses out of 26017 with flag 1810001/1889883
940.62/487.51	c cleaning 13002 clauses out of 26017 with flag 1823000/1902882
946.97/490.81	c cleaning 13000 clauses out of 26016 with flag 1836001/1915883
953.59/494.30	c cleaning 13001 clauses out of 26016 with flag 1849001/1928883
959.93/497.61	c cleaning 13004 clauses out of 26019 with flag 1862005/1941887
966.48/501.10	c cleaning 13001 clauses out of 26013 with flag 1875003/1954885
973.24/504.55	c cleaning 12998 clauses out of 26010 with flag 1888001/1967883
980.06/508.11	c cleaning 12999 clauses out of 26012 with flag 1901001/1980883
986.59/511.51	c cleaning 13003 clauses out of 26013 with flag 1914001/1993883
992.75/514.74	c cleaning 13003 clauses out of 26013 with flag 1927004/2006886
998.68/517.89	c cleaning 13000 clauses out of 26008 with flag 1940002/2019884
1003.07/520.28	c cleaning 0 clauses out of 5102 with flag 0/5102
1006.45/522.00	c cleaning 12998 clauses out of 26006 with flag 1953000/2032882
1013.37/525.61	c cleaning 12999 clauses out of 26009 with flag 1966001/2045883
1020.34/529.27	c cleaning 12997 clauses out of 26009 with flag 1979000/2058882
1028.10/533.31	c cleaning 12999 clauses out of 26012 with flag 1992000/2071882
1034.86/536.82	c cleaning 13002 clauses out of 26017 with flag 2005004/2084886
1040.57/539.88	c cleaning 13000 clauses out of 26013 with flag 2018002/2097884
1046.50/542.90	c cleaning 12999 clauses out of 26012 with flag 2031001/2110883
1052.67/546.22	c cleaning 13003 clauses out of 26012 with flag 2044000/2123882
1058.39/549.23	c cleaning 12998 clauses out of 26009 with flag 2057000/2136882
1064.12/552.26	c cleaning 12999 clauses out of 26011 with flag 2070000/2149882
1069.82/555.23	c cleaning 12999 clauses out of 26012 with flag 2083000/2162882
1075.79/558.49	c cleaning 13001 clauses out of 26014 with flag 2096001/2175883
1081.91/561.62	c cleaning 12999 clauses out of 26012 with flag 2109000/2188882
1088.23/564.91	c cleaning 13002 clauses out of 26013 with flag 2122000/2201882
1094.95/568.41	c cleaning 13000 clauses out of 26014 with flag 2135003/2214885
1101.31/571.85	c cleaning 13000 clauses out of 26011 with flag 2148000/2227882
1107.83/575.22	c cleaning 12999 clauses out of 26011 with flag 2161000/2240882
1114.35/578.61	c cleaning 12999 clauses out of 26012 with flag 2174000/2253882
1121.23/582.21	c cleaning 13000 clauses out of 26016 with flag 2187003/2266885
1127.96/585.81	c cleaning 13000 clauses out of 26014 with flag 2200001/2279883
1134.27/589.16	c cleaning 13000 clauses out of 26013 with flag 2213000/2292882
1141.18/592.80	c cleaning 12998 clauses out of 26013 with flag 2226000/2305882
1148.28/596.47	c cleaning 13001 clauses out of 26015 with flag 2239000/2318882
1155.38/600.26	c cleaning 13002 clauses out of 26014 with flag 2252000/2331882
1162.47/603.96	c cleaning 12997 clauses out of 26012 with flag 2265000/2344882
1169.34/607.56	c cleaning 13001 clauses out of 26015 with flag 2278000/2357882
1176.82/611.43	c cleaning 12999 clauses out of 26014 with flag 2291000/2370882
1184.12/615.32	c cleaning 13001 clauses out of 26015 with flag 2304000/2383882
1191.62/619.24	c cleaning 13002 clauses out of 26017 with flag 2317003/2396885
1198.88/623.02	c cleaning 12999 clauses out of 26012 with flag 2330000/2409882
1206.16/626.85	c cleaning 12998 clauses out of 26013 with flag 2343000/2422882
1213.84/630.96	c cleaning 13006 clauses out of 26018 with flag 2356003/2435885
1219.93/634.12	c cleaning 12996 clauses out of 26009 with flag 2369000/2448882
1226.00/637.37	c cleaning 12997 clauses out of 26013 with flag 2382000/2461882
1232.28/640.66	c cleaning 12999 clauses out of 26016 with flag 2395000/2474882
1238.77/644.14	c cleaning 13001 clauses out of 26017 with flag 2408000/2487882
1245.02/647.43	c cleaning 13004 clauses out of 26019 with flag 2421003/2500885
1251.47/650.84	c cleaning 13001 clauses out of 26012 with flag 2434000/2513882
1257.74/654.14	c cleaning 12999 clauses out of 26013 with flag 2447002/2526884
1264.25/657.70	c cleaning 12997 clauses out of 26012 with flag 2460000/2539882
1270.74/661.06	c cleaning 13000 clauses out of 26017 with flag 2473002/2552884
1277.22/664.46	c cleaning 13002 clauses out of 26015 with flag 2486000/2565882
1283.66/667.89	c cleaning 12999 clauses out of 26013 with flag 2499000/2578882
1290.55/671.57	c cleaning 12999 clauses out of 26014 with flag 2512000/2591882
1297.01/674.99	c cleaning 12999 clauses out of 26015 with flag 2525000/2604882
1303.68/678.44	c cleaning 13002 clauses out of 26016 with flag 2538000/2617882
1310.37/681.91	c cleaning 12999 clauses out of 26014 with flag 2551000/2630882
1317.24/685.66	c cleaning 13002 clauses out of 26017 with flag 2564002/2643884
1323.89/689.19	c cleaning 12997 clauses out of 26015 with flag 2577002/2656884
1330.56/692.62	c cleaning 13006 clauses out of 26017 with flag 2590001/2669883
1337.21/696.10	c cleaning 12997 clauses out of 26010 with flag 2603000/2682882
1343.88/699.77	c cleaning 13000 clauses out of 26013 with flag 2616000/2695882
1350.76/703.37	c cleaning 13001 clauses out of 26015 with flag 2629002/2708884
1357.62/706.97	c cleaning 13000 clauses out of 26012 with flag 2642000/2721882
1364.50/710.55	c cleaning 12998 clauses out of 26012 with flag 2655000/2734882
1371.54/714.33	c cleaning 13000 clauses out of 26014 with flag 2668000/2747882
1378.59/718.05	c cleaning 12998 clauses out of 26014 with flag 2681000/2760882
1385.45/721.63	c cleaning 13004 clauses out of 26017 with flag 2694001/2773883
1392.53/725.39	c cleaning 12998 clauses out of 26012 with flag 2707000/2786882
1399.79/729.24	c cleaning 13001 clauses out of 26014 with flag 2720000/2799882
1406.64/732.87	c cleaning 13000 clauses out of 26016 with flag 2733003/2812885
1413.92/736.66	c cleaning 13001 clauses out of 26014 with flag 2746001/2825883
1420.78/740.29	c cleaning 13001 clauses out of 26012 with flag 2759000/2838882
1428.23/744.25	c cleaning 12997 clauses out of 26011 with flag 2772000/2851882
1435.69/748.13	c cleaning 12998 clauses out of 26015 with flag 2785001/2864883
1442.95/751.92	c cleaning 13001 clauses out of 26016 with flag 2798000/2877882
1450.02/755.67	c cleaning 13000 clauses out of 26015 with flag 2811000/2890882
1457.25/759.55	c cleaning 13001 clauses out of 26015 with flag 2824000/2903882
1464.51/763.32	c cleaning 12999 clauses out of 26014 with flag 2837000/2916882
1471.36/766.94	c cleaning 12999 clauses out of 26015 with flag 2850000/2929882
1478.62/770.72	c cleaning 12999 clauses out of 26016 with flag 2863000/2942882
1486.06/774.72	c cleaning 13003 clauses out of 26018 with flag 2876001/2955883
1493.50/778.66	c cleaning 12999 clauses out of 26014 with flag 2889000/2968882
1500.92/782.56	c cleaning 13001 clauses out of 26016 with flag 2902001/2981883
1507.56/786.09	c cleaning 13001 clauses out of 26014 with flag 2915000/2994882
1514.20/789.68	c cleaning 13004 clauses out of 26014 with flag 2928001/3007883
1520.04/792.75	c cleaning 12999 clauses out of 26011 with flag 2941002/3020884
1526.10/795.94	c cleaning 13001 clauses out of 26011 with flag 2954001/3033883
1532.74/799.47	c cleaning 12998 clauses out of 26010 with flag 2967001/3046883
1539.55/803.19	c cleaning 12998 clauses out of 26011 with flag 2980000/3059882
1546.60/806.89	c cleaning 13002 clauses out of 26013 with flag 2993000/3072882
1553.45/810.47	c cleaning 13001 clauses out of 26013 with flag 3006002/3085884
1560.30/814.07	c cleaning 12998 clauses out of 26011 with flag 3019001/3098883
1567.88/818.14	c cleaning 12999 clauses out of 26015 with flag 3032003/3111885
1574.93/821.82	c cleaning 13005 clauses out of 26013 with flag 3045000/3124882
1582.18/825.67	c cleaning 13000 clauses out of 26008 with flag 3058000/3137882
1590.01/829.70	c cleaning 13001 clauses out of 26009 with flag 3071001/3150883
1598.22/834.17	c cleaning 12999 clauses out of 26008 with flag 3084001/3163883
1606.45/838.49	c cleaning 13000 clauses out of 26009 with flag 3097001/3176883
1614.07/842.44	c cleaning 12996 clauses out of 26008 with flag 3110000/3189882
1620.92/846.02	c cleaning 12998 clauses out of 26013 with flag 3123001/3202883
1627.72/849.78	c cleaning 12999 clauses out of 26014 with flag 3136000/3215882
1634.34/853.26	c cleaning 13002 clauses out of 26017 with flag 3149002/3228884
1641.18/856.88	c cleaning 12999 clauses out of 26013 with flag 3162000/3241882
1647.80/860.36	c cleaning 13000 clauses out of 26015 with flag 3175001/3254883
1654.60/864.05	c cleaning 13000 clauses out of 26014 with flag 3188000/3267882
1661.24/867.59	c cleaning 13001 clauses out of 26015 with flag 3201001/3280883
1668.29/871.25	c cleaning 13005 clauses out of 26015 with flag 3214002/3293884
1675.70/875.15	c cleaning 13000 clauses out of 26009 with flag 3227001/3306883
1683.72/879.43	c cleaning 13000 clauses out of 26010 with flag 3240002/3319884
1691.56/883.51	c cleaning 12993 clauses out of 26008 with flag 3253000/3332882
1699.60/887.75	c cleaning 13002 clauses out of 26015 with flag 3266000/3345882
1707.42/891.85	c cleaning 13002 clauses out of 26015 with flag 3279002/3358884
1715.21/896.06	c cleaning 13000 clauses out of 26012 with flag 3292001/3371883
1723.24/900.22	c cleaning 13001 clauses out of 26013 with flag 3305002/3384884
1731.29/904.43	c cleaning 12999 clauses out of 26011 with flag 3318001/3397883
1738.91/908.45	c cleaning 12997 clauses out of 26012 with flag 3331001/3410883
1747.11/912.83	c cleaning 13002 clauses out of 26017 with flag 3344003/3423885
1754.34/916.67	c cleaning 13001 clauses out of 26014 with flag 3357002/3436884
1761.15/920.29	c cleaning 13002 clauses out of 26014 with flag 3370003/3449885
1768.39/924.03	c cleaning 12998 clauses out of 26010 with flag 3383001/3462883
1775.79/928.08	c cleaning 13000 clauses out of 26013 with flag 3396002/3475884
1782.83/931.77	c cleaning 13000 clauses out of 26011 with flag 3409000/3488882
1790.25/935.61	c cleaning 12998 clauses out of 26011 with flag 3422000/3501882
1797.49/939.44	c cleaning 12995 clauses out of 26013 with flag 3435000/3514882
1800.06/941.01	c starts		: 255
1800.06/941.01	c conflicts		: 3518384
1800.06/941.01	c decisions		: 5377095
1800.06/941.01	c propagations		: 690269993
1800.06/941.01	c inspects		: 6813246603
1800.06/941.01	c shortcuts		: 0
1800.06/941.01	c learnt literals	: 0
1800.06/941.01	c learnt binary clauses	: 0
1800.06/941.01	c learnt ternary clauses	: 0
1800.06/941.01	c learnt constraints	: 3518385
1800.06/941.01	c ignored constraints	: 0
1800.06/941.01	c root simplifications	: 0
1800.06/941.01	c removed literals (reason simplification)	: 14136138
1800.06/941.01	c reason swapping (by a shorter reason)	: 0
1800.06/941.01	c Calls to reduceDB	: 275
1800.06/941.01	c number of reductions to clauses (during analyze)	: 0
1800.06/941.01	c number of learned constraints concerned by reduction	: 0
1800.06/941.01	c number of learning phase by resolution	: 0
1800.06/941.01	c number of learning phase by cutting planes	: 0
1800.06/941.01	c speed (assignments/second)	: 748036.6784571771
1800.06/941.01	c non guided choices	0
1800.06/941.02	c learnt constraints type 
1800.06/941.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16550
1800.06/941.02	c constraints type 
1800.06/941.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426
1800.06/941.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/941.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.06/941.02	c constraints type 
1800.06/941.02	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6426
1800.06/941.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.06/941.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
1800.06/941.02	s SATISFIABLE
1800.06/941.02	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 
1800.06/941.02	c objective function=14
1800.06/941.02	c Total wall clock time (in seconds): 940.876

Verifier Data 

OK	14

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-3736921-1338718511/watcher-3736921-1338718511 -o /tmp/evaluation-result-3736921-1338718511/solver-3736921-1338718511 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736921-1338718511.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.92 4.01 3.83 4/199 32175
/proc/meminfo: memFree=25027120/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/32175/stat : 32175 (java) D 32173 32175 30903 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 337976535 2560000 46 33554432000 1073741824 1073778376 140736717786944 140736717784072 273896533287 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/32175/statm: 625 46 37 9 0 29 0

[startup+0.020401 s]
/proc/loadavg: 3.92 4.01 3.83 4/199 32175
/proc/meminfo: memFree=25027120/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 1279 0 0 0 0 0 0 0 20 0 2 0 337976535 98578432 981 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 24068 985 750 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268

[startup+0.10024 s]
/proc/loadavg: 3.92 4.01 3.83 4/199 32175
/proc/meminfo: memFree=25027120/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 3964 0 1 0 5 1 0 0 20 0 18 0 337976535 11864465408 12327 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2896598 12328 1765 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.30027 s]
/proc/loadavg: 3.92 4.01 3.83 4/199 32175
/proc/meminfo: memFree=25027120/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11586392 CPUtime=0.39 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 5578 0 1 0 37 2 0 0 20 0 18 0 337976535 11864465408 15263 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2896598 15281 2215 9 0 2887285 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 11586392

[startup+0.700279 s]
/proc/loadavg: 3.92 4.01 3.83 4/199 32175
/proc/meminfo: memFree=25027120/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 14069 0 1 0 162 6 0 0 20 0 20 0 337976535 12137111552 24989 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2963162 24989 2261 9 0 2953849 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 11852648

[startup+1.50065 s]
/proc/loadavg: 4.01 4.03 3.83 3/218 32197
/proc/meminfo: memFree=24934168/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11852648 CPUtime=2.12 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 14197 0 1 0 203 9 0 0 20 0 19 0 337976535 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2963162 27643 2268 9 0 2953849 0
[pid=32175/tid=32177] ppid=32173 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/32175/task/32177/stat : 32177 (java) S 32173 32175 30903 0 -1 4202560 2938 0 1 0 50 2 0 0 20 0 19 0 337976537 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578917004440 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32178] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32178/stat : 32178 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578754295976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32179] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32179/stat : 32179 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578753243432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32180] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32180/stat : 32180 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578752190888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32181] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32181/stat : 32181 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578751138344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32182] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32182/stat : 32182 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578750085800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32183] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32183/stat : 32183 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578749033256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32184] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32184/stat : 32184 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578747980712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32185] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32185/stat : 32185 (java) S 32173 32175 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337976540 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578746928168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32186] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32186/stat : 32186 (java) S 32173 32175 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337976541 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578734516328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32187] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32187/stat : 32187 (java) S 32173 32175 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337976542 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578733462648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32188] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32188/stat : 32188 (java) S 32173 32175 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337976542 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578732409992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32189] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32189/stat : 32189 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976544 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578731358736 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32190] ppid=32173 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/32175/task/32190/stat : 32190 (java) S 32173 32175 30903 0 -1 4202560 4437 0 0 0 58 2 0 0 20 0 19 0 337976544 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578730306104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32191] ppid=32173 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/32175/task/32191/stat : 32191 (java) S 32173 32175 30903 0 -1 4202560 5511 0 0 0 59 1 0 0 20 0 19 0 337976544 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578729253560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32192] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32192/stat : 32192 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976544 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578728201208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32193] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32193/stat : 32193 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337976544 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578727148872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32197] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32197/stat : 32197 (java) S 32173 32175 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337976594 12137111552 27643 33554432000 1073741824 1073778376 140734602999376 140578722935976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 11852648

[startup+3.1008 s]
/proc/loadavg: 4.01 4.03 3.83 5/221 32206
/proc/meminfo: memFree=24907468/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11852648 CPUtime=5.07 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 16788 0 1 0 490 17 0 0 20 0 22 0 337976535 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2963162 95921 2271 9 0 2953849 0
[pid=32175/tid=32177] ppid=32173 vsize=11852648 CPUtime=0.53 cores=1,3,5,7
/proc/32175/task/32177/stat : 32177 (java) S 32173 32175 30903 0 -1 4202560 2938 0 1 0 51 2 0 0 20 0 22 0 337976537 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578917004456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32178] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32178/stat : 32178 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578754295976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32179] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32179/stat : 32179 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578753243432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32180] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32180/stat : 32180 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578752190888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32181] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32181/stat : 32181 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578751138344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32182] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32182/stat : 32182 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578750085800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32183] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32183/stat : 32183 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578749033256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32184] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32184/stat : 32184 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578747980712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32185] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32185/stat : 32185 (java) S 32173 32175 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578746928168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32186] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32186/stat : 32186 (java) S 32173 32175 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337976541 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578734516328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32187] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32187/stat : 32187 (java) S 32173 32175 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578733462648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32188] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32188/stat : 32188 (java) S 32173 32175 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578732409992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32189] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32189/stat : 32189 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578731358736 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32190] ppid=32173 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/32175/task/32190/stat : 32190 (java) S 32173 32175 30903 0 -1 4202560 5389 0 0 0 99 2 0 0 20 0 22 0 337976544 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578730306104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32191] ppid=32173 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/32175/task/32191/stat : 32191 (java) S 32173 32175 30903 0 -1 4202560 7001 0 0 0 92 2 0 0 20 0 22 0 337976544 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578729253560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32192] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32192/stat : 32192 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578728201208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32193] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32193/stat : 32193 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578727148872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32197] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32197/stat : 32197 (java) S 32173 32175 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337976594 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578722935976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32204] ppid=32173 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/32175/task/32204/stat : 32204 (java) R 32173 32175 30903 0 -1 4202560 5 0 0 0 98 0 0 0 20 0 22 0 337976744 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578725038888 140578790366303 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32205] ppid=32173 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/32175/task/32205/stat : 32205 (java) R 32173 32175 30903 0 -1 4202560 130 0 0 0 95 5 0 0 20 0 22 0 337976744 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578726091160 140578790320566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32206] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32206/stat : 32206 (java) S 32173 32175 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337976744 12137111552 95921 33554432000 1073741824 1073778376 140734602999376 140578723988776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 11852648

[startup+6.30089 s]
/proc/loadavg: 4.01 4.03 3.83 5/221 32206
/proc/meminfo: memFree=24365060/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11852648 CPUtime=11.52 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 17058 0 1 0 1125 27 0 0 20 0 22 0 337976535 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2963162 177321 2295 9 0 2953849 0
[pid=32175/tid=32177] ppid=32173 vsize=11852648 CPUtime=0.53 cores=1,3,5,7
/proc/32175/task/32177/stat : 32177 (java) S 32173 32175 30903 0 -1 4202560 2938 0 1 0 51 2 0 0 20 0 22 0 337976537 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578917004456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32178] ppid=32173 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/32175/task/32178/stat : 32178 (java) S 32173 32175 30903 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578754295976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32179] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32179/stat : 32179 (java) S 32173 32175 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578753243432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32180] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32180/stat : 32180 (java) S 32173 32175 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578752190888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32181] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32181/stat : 32181 (java) S 32173 32175 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578751138344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32182] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32182/stat : 32182 (java) S 32173 32175 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578750085800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32183] ppid=32173 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/32175/task/32183/stat : 32183 (java) S 32173 32175 30903 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578749033256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32184] ppid=32173 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/32175/task/32184/stat : 32184 (java) S 32173 32175 30903 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578747980712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32185] ppid=32173 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/32175/task/32185/stat : 32185 (java) S 32173 32175 30903 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 337976540 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578746928168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32186] ppid=32173 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/32175/task/32186/stat : 32186 (java) S 32173 32175 30903 0 -1 4202560 41 0 0 0 19 0 0 0 20 0 22 0 337976541 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578734516328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32187] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32187/stat : 32187 (java) S 32173 32175 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578733462648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32188] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32188/stat : 32188 (java) S 32173 32175 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578732409992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32189] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32189/stat : 32189 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578731358736 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32190] ppid=32173 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/32175/task/32190/stat : 32190 (java) S 32173 32175 30903 0 -1 4202560 5399 0 0 0 104 2 0 0 20 0 22 0 337976544 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578730306104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32191] ppid=32173 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/32175/task/32191/stat : 32191 (java) S 32173 32175 30903 0 -1 4202560 7010 0 0 0 103 2 0 0 20 0 22 0 337976544 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578729253560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32192] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32192/stat : 32192 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578728201208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32193] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32193/stat : 32193 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 177321 33554432000 1073741824 1073778376 140734602999376 140578727148872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/32175/statm: 2963162 275979 2296 9 0 2953849 0
[pid=32175/tid=32177] ppid=32173 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/32175/task/32177/stat : 32177 (java) S 32173 32175 30903 0 -1 4202560 3086 0 1 0 55 4 0 0 20 0 22 0 337976537 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578917004456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32178] ppid=32173 vsize=11852648 CPUtime=1.54 cores=1,3,5,7
/proc/32175/task/32178/stat : 32178 (java) S 32173 32175 30903 0 -1 4202560 134 0 0 0 152 2 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578754295976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32179] ppid=32173 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/32175/task/32179/stat : 32179 (java) S 32173 32175 30903 0 -1 4202560 124 0 0 0 153 2 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578753243432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32180] ppid=32173 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/32175/task/32180/stat : 32180 (java) S 32173 32175 30903 0 -1 4202560 93 0 0 0 154 2 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578752190888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32181] ppid=32173 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/32175/task/32181/stat : 32181 (java) S 32173 32175 30903 0 -1 4202560 104 0 0 0 154 2 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578751138344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32182] ppid=32173 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/32175/task/32182/stat : 32182 (java) S 32173 32175 30903 0 -1 4202560 111 0 0 0 150 2 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578750085800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32183] ppid=32173 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/32175/task/32183/stat : 32183 (java) S 32173 32175 30903 0 -1 4202560 121 0 0 0 163 2 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578749033256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32184] ppid=32173 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/32175/task/32184/stat : 32184 (java) S 32173 32175 30903 0 -1 4202560 114 0 0 0 160 3 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578747980712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32185] ppid=32173 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/32175/task/32185/stat : 32185 (java) S 32173 32175 30903 0 -1 4202560 142 0 0 0 158 2 0 0 20 0 22 0 337976540 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578746928168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32186] ppid=32173 vsize=11852648 CPUtime=73.21 cores=1,3,5,7
/proc/32175/task/32186/stat : 32186 (java) S 32173 32175 30903 0 -1 4202560 208 0 0 0 7312 9 0 0 20 0 22 0 337976541 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578734516328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32187] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32187/stat : 32187 (java) S 32173 32175 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578733462648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32188] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32188/stat : 32188 (java) S 32173 32175 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578732409992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32189] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32189/stat : 32189 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578731358736 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32190] ppid=32173 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/32175/task/32190/stat : 32190 (java) S 32173 32175 30903 0 -1 4202560 5501 0 0 0 113 2 0 0 20 0 22 0 337976544 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578730306104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32191] ppid=32173 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/32175/task/32191/stat : 32191 (java) S 32173 32175 30903 0 -1 4202560 7032 0 0 0 124 2 0 0 20 0 22 0 337976544 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578729253560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32192] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32192/stat : 32192 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578728201208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32193] ppid=32173 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/32175/task/32193/stat : 32193 (java) S 32173 32175 30903 0 -1 4202560 47 0 0 0 23 18 0 0 20 0 22 0 337976544 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578727148872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32197] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32197/stat : 32197 (java) S 32173 32175 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337976594 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578722935976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32207] ppid=32173 vsize=11852648 CPUtime=725.87 cores=1,3,5,7
/proc/32175/task/32207/stat : 32207 (java) R 32173 32175 30903 0 -1 4202560 73 0 0 0 72575 12 0 0 20 0 22 0 337978359 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578726093480 140578790265751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32208] ppid=32173 vsize=11852648 CPUtime=725.77 cores=1,3,5,7
/proc/32175/task/32208/stat : 32208 (java) R 32173 32175 30903 0 -1 4202560 85 0 0 0 72564 13 0 0 20 0 22 0 337978359 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578725039072 140578790311947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32209] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32209/stat : 32209 (java) S 32173 32175 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337978359 12137111552 275979 33554432000 1073741824 1073778376 140734602999376 140578723989160 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1575.58
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.77 3.89 3.83 5/221 32298
/proc/meminfo: memFree=23151896/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11852648 CPUtime=1689.16 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 18672 0 1 0 168843 73 0 0 20 0 22 0 337976535 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2963162 277572 2296 9 0 2953849 0
[pid=32175/tid=32177] ppid=32173 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/32175/task/32177/stat : 32177 (java) S 32173 32175 30903 0 -1 4202560 3097 0 1 0 55 4 0 0 20 0 22 0 337976537 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578917004456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32178] ppid=32173 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/32175/task/32178/stat : 32178 (java) S 32173 32175 30903 0 -1 4202560 137 0 0 0 165 2 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578754295976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32179] ppid=32173 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/32175/task/32179/stat : 32179 (java) S 32173 32175 30903 0 -1 4202560 135 0 0 0 166 2 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578753243432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32180] ppid=32173 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/32175/task/32180/stat : 32180 (java) S 32173 32175 30903 0 -1 4202560 102 0 0 0 162 2 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578752190888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32181] ppid=32173 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/32175/task/32181/stat : 32181 (java) S 32173 32175 30903 0 -1 4202560 114 0 0 0 168 2 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578751138344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32182] ppid=32173 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/32175/task/32182/stat : 32182 (java) S 32173 32175 30903 0 -1 4202560 118 0 0 0 163 2 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578750085800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32183] ppid=32173 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/32175/task/32183/stat : 32183 (java) S 32173 32175 30903 0 -1 4202560 123 0 0 0 173 2 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578749033256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32184] ppid=32173 vsize=11852648 CPUtime=1.74 cores=1,3,5,7
/proc/32175/task/32184/stat : 32184 (java) S 32173 32175 30903 0 -1 4202560 116 0 0 0 171 3 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578747980712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32185] ppid=32173 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/32175/task/32185/stat : 32185 (java) S 32173 32175 30903 0 -1 4202560 155 0 0 0 168 2 0 0 20 0 22 0 337976540 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578746928168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32186] ppid=32173 vsize=11852648 CPUtime=80.03 cores=1,3,5,7
/proc/32175/task/32186/stat : 32186 (java) S 32173 32175 30903 0 -1 4202560 215 0 0 0 7993 10 0 0 20 0 22 0 337976541 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578734516328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32187] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32187/stat : 32187 (java) S 32173 32175 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578733462648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32188] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32188/stat : 32188 (java) S 32173 32175 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578732409992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32189] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32189/stat : 32189 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578731358736 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32190] ppid=32173 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/32175/task/32190/stat : 32190 (java) S 32173 32175 30903 0 -1 4202560 5501 0 0 0 113 2 0 0 20 0 22 0 337976544 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578730306104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32191] ppid=32173 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/32175/task/32191/stat : 32191 (java) S 32173 32175 30903 0 -1 4202560 7032 0 0 0 124 2 0 0 20 0 22 0 337976544 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578729253560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32192] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32192/stat : 32192 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578728201208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32193] ppid=32173 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/32175/task/32193/stat : 32193 (java) S 32173 32175 30903 0 -1 4202560 51 0 0 0 24 20 0 0 20 0 22 0 337976544 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578727148872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32197] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32197/stat : 32197 (java) S 32173 32175 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337976594 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578722935976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32207] ppid=32173 vsize=11852648 CPUtime=778.64 cores=1,3,5,7
/proc/32175/task/32207/stat : 32207 (java) R 32173 32175 30903 0 -1 4202560 74 0 0 0 77852 12 0 0 20 0 22 0 337978359 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578726093520 140578790366619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32208] ppid=32173 vsize=11852648 CPUtime=778.52 cores=1,3,5,7
/proc/32175/task/32208/stat : 32208 (java) R 32173 32175 30903 0 -1 4202560 88 0 0 0 77839 13 0 0 20 0 22 0 337978359 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578725039200 140578790311920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32209] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32209/stat : 32209 (java) S 32173 32175 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337978359 12137111552 277572 33554432000 1073741824 1073778376 140734602999376 140578723989160 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1689.16
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+941.001 s]
/proc/loadavg: 3.84 3.89 3.83 5/222 32301
/proc/meminfo: memFree=23085732/32873844 swapFree=7124/7124
[pid=32175] ppid=32173 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/32175/stat : 32175 (java) S 32173 32175 30903 0 -1 4202496 18766 0 1 0 179930 76 0 0 20 0 22 0 337976535 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140734602990512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32175/statm: 2963162 279686 2296 9 0 2953849 0
[pid=32175/tid=32177] ppid=32173 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/32175/task/32177/stat : 32177 (java) S 32173 32175 30903 0 -1 4202560 3109 0 1 0 55 4 0 0 20 0 22 0 337976537 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578917004456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32178] ppid=32173 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/32175/task/32178/stat : 32178 (java) S 32173 32175 30903 0 -1 4202560 150 0 0 0 179 2 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578754295976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32179] ppid=32173 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/32175/task/32179/stat : 32179 (java) S 32173 32175 30903 0 -1 4202560 147 0 0 0 180 2 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578753243432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32180] ppid=32173 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/32175/task/32180/stat : 32180 (java) S 32173 32175 30903 0 -1 4202560 109 0 0 0 176 2 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578752190888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32181] ppid=32173 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/32175/task/32181/stat : 32181 (java) S 32173 32175 30903 0 -1 4202560 124 0 0 0 179 2 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578751138344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32182] ppid=32173 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/32175/task/32182/stat : 32182 (java) S 32173 32175 30903 0 -1 4202560 125 0 0 0 176 2 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578750085800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32183] ppid=32173 vsize=11852648 CPUtime=1.89 cores=1,3,5,7
/proc/32175/task/32183/stat : 32183 (java) S 32173 32175 30903 0 -1 4202560 127 0 0 0 187 2 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578749033256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32184] ppid=32173 vsize=11852648 CPUtime=1.84 cores=1,3,5,7
/proc/32175/task/32184/stat : 32184 (java) S 32173 32175 30903 0 -1 4202560 124 0 0 0 181 3 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578747980712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32185] ppid=32173 vsize=11852648 CPUtime=1.83 cores=1,3,5,7
/proc/32175/task/32185/stat : 32185 (java) S 32173 32175 30903 0 -1 4202560 160 0 0 0 181 2 0 0 20 0 22 0 337976540 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578746928168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32186] ppid=32173 vsize=11852648 CPUtime=86.99 cores=1,3,5,7
/proc/32175/task/32186/stat : 32186 (java) S 32173 32175 30903 0 -1 4202560 223 0 0 0 8689 10 0 0 20 0 22 0 337976541 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578734516328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32187] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32187/stat : 32187 (java) S 32173 32175 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578733462648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32188] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32188/stat : 32188 (java) S 32173 32175 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337976542 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578732409992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32189] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32189/stat : 32189 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578731358736 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32190] ppid=32173 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/32175/task/32190/stat : 32190 (java) S 32173 32175 30903 0 -1 4202560 5501 0 0 0 113 2 0 0 20 0 22 0 337976544 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578730306104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32191] ppid=32173 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/32175/task/32191/stat : 32191 (java) S 32173 32175 30903 0 -1 4202560 7032 0 0 0 124 2 0 0 20 0 22 0 337976544 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578729253560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32192] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32192/stat : 32192 (java) S 32173 32175 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337976544 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578728201208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32193] ppid=32173 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/32175/task/32193/stat : 32193 (java) S 32173 32175 30903 0 -1 4202560 55 0 0 0 27 21 0 0 20 0 22 0 337976544 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578727148872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32175/tid=32197] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32197/stat : 32197 (java) S 32173 32175 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337976594 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578722935976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32175/tid=32207] ppid=32173 vsize=11852648 CPUtime=829.94 cores=1,3,5,7
/proc/32175/task/32207/stat : 32207 (java) R 32173 32175 30903 0 -1 4202560 77 0 0 0 82981 13 0 0 20 0 22 0 337978359 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578726093520 140578790366732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32175/tid=32208] ppid=32173 vsize=11852648 CPUtime=829.82 cores=1,3,5,7
/proc/32175/task/32208/stat : 32208 (java) R 32173 32175 30903 0 -1 4202560 89 0 0 0 82968 14 0 0 20 0 22 0 337978359 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578725039072 140578790311936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32175/tid=32209] ppid=32173 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32175/task/32209/stat : 32209 (java) S 32173 32175 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337978359 12137111552 279686 33554432000 1073741824 1073778376 140734602999376 140578723989160 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32175 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=838143
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=172821
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 941.035
CPU time (s): 1800.06
CPU user time (s): 1799.3
CPU system time (s): 0.76
CPU usage (%): 191.285
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 1.17282
maximum resident set size= 1118860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18797
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30324
involuntary context switches= 30262

runsolver used 3.63045 second user time and 9.54455 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 12:15:11
IDJOB=3736921
IDBENCH=48148
IDSOLVER=2328
FILE ID=node134/3736921-1338718511
RUNJOBID= node134-1338713778-30920
PBS_JOBID= 14636743
Free space on /tmp= 70360 MiB

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

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=2043297370

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25028144 kB
Buffers:          483896 kB
Cached:          3303140 kB
SwapCached:           76 kB
Active:          4891300 kB
Inactive:        2048868 kB
Active(anon):    3144600 kB
Inactive(anon):    10496 kB
Active(file):    1746700 kB
Inactive(file):  2038372 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:       3159580 kB
Mapped:            19348 kB
Shmem:                96 kB
Slab:             761212 kB
SReclaimable:     202784 kB
SUnreclaim:       558428 kB
KernelStack:        1640 kB
PageTables:        10372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3104768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70356 MiB
End job on node134 at 2012-06-03 12:30:55