Trace number 3453944

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)13 1800.23 947.979

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 benchmark1797.12
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/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-3453944-1307194594.opb
0.10/0.11	c reading problem ... 
0.90/0.53	c ... done. Wall clock time 0.422s.
0.90/0.53	c #vars     6426
0.90/0.53	c #constraints  12652
0.90/0.53	c constraints type 
0.90/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426
0.90/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
0.90/0.53	c constraints type 
0.90/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6426
0.90/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
1.22/0.64	c  And the winner is Resolution
1.87/1.05	c SATISFIABLE
1.87/1.05	c OPTIMIZING...
1.87/1.05	c Got one! Elapsed wall clock time (in seconds):0.934
1.87/1.05	o 17
1.87/1.08	c  And the winner is Resolution
2.04/1.55	c Got one! Elapsed wall clock time (in seconds):1.443
2.04/1.55	o 16
2.21/1.64	c  And the winner is Resolution
2.56/2.06	c Got one! Elapsed wall clock time (in seconds):1.949
2.56/2.06	o 15
4.96/3.18	c cleaning 2585 clauses out of 5178 with flag 5001/5178
7.69/4.42	c cleaning 4294 clauses out of 8592 with flag 11000/11177
10.43/5.80	c cleaning 5644 clauses out of 11299 with flag 18001/18178
13.70/7.44	c cleaning 6823 clauses out of 13654 with flag 26000/26177
17.43/9.39	c cleaning 7911 clauses out of 15832 with flag 35001/35178
21.76/11.57	c cleaning 8955 clauses out of 17920 with flag 45000/45177
26.51/13.94	c cleaning 9977 clauses out of 19965 with flag 56000/56177
31.22/16.32	c cleaning 10993 clauses out of 21989 with flag 68001/68178
35.95/18.77	c  And the winner is Resolution
36.28/19.19	c Got one! Elapsed wall clock time (in seconds):19.083
36.28/19.19	o 14
38.09/20.17	c cleaning 13844 clauses out of 27701 with flag 5001/84883
40.80/21.57	c cleaning 9923 clauses out of 19857 with flag 11001/90883
44.10/23.29	c cleaning 8463 clauses out of 16933 with flag 18000/97882
48.39/25.46	c cleaning 8232 clauses out of 16471 with flag 26001/105883
54.23/28.47	c cleaning 8614 clauses out of 17241 with flag 35003/114885
58.95/30.84	c cleaning 9310 clauses out of 18625 with flag 45001/124883
64.40/33.63	c cleaning 10150 clauses out of 20314 with flag 56000/135882
70.27/36.63	c cleaning 11076 clauses out of 22165 with flag 68001/147883
77.09/40.15	c cleaning 12041 clauses out of 24088 with flag 81000/160882
84.36/43.84	c cleaning 12524 clauses out of 25049 with flag 94002/173884
90.02/46.76	c cleaning 12758 clauses out of 25523 with flag 107000/186882
95.68/49.62	c cleaning 12875 clauses out of 25765 with flag 120000/199882
101.89/52.88	c cleaning 12941 clauses out of 25891 with flag 133001/212883
108.91/56.47	c cleaning 12971 clauses out of 25950 with flag 146001/225883
115.56/59.84	c cleaning 12987 clauses out of 25979 with flag 159001/238883
122.21/63.26	c cleaning 12990 clauses out of 25991 with flag 172000/251882
128.57/66.54	c cleaning 12998 clauses out of 26003 with flag 185002/264884
134.81/69.79	c cleaning 12995 clauses out of 26003 with flag 198000/277882
141.85/73.31	c cleaning 13000 clauses out of 26009 with flag 211001/290883
148.47/76.71	c cleaning 12998 clauses out of 26010 with flag 224002/303884
155.61/80.43	c cleaning 12995 clauses out of 26010 with flag 237000/316882
161.64/83.59	c cleaning 12999 clauses out of 26015 with flag 250000/329882
167.84/86.76	c cleaning 13003 clauses out of 26016 with flag 263000/342882
174.27/90.00	c cleaning 13004 clauses out of 26015 with flag 276002/355884
181.38/93.70	c cleaning 12997 clauses out of 26009 with flag 289000/368882
188.39/97.31	c cleaning 12997 clauses out of 26012 with flag 302000/381882
195.19/100.84	c cleaning 13006 clauses out of 26018 with flag 315003/394885
201.59/104.12	c cleaning 12998 clauses out of 26009 with flag 328000/407882
208.08/107.58	c cleaning 13002 clauses out of 26012 with flag 341001/420883
214.47/110.85	c cleaning 13001 clauses out of 26011 with flag 354002/433884
220.66/114.07	c cleaning 12999 clauses out of 26010 with flag 367002/446884
227.24/117.43	c cleaning 12998 clauses out of 26009 with flag 380000/459882
233.92/121.01	c cleaning 13003 clauses out of 26011 with flag 393000/472882
240.08/124.18	c cleaning 13001 clauses out of 26011 with flag 406003/485885
246.25/127.37	c cleaning 12997 clauses out of 26009 with flag 419002/498884
252.62/130.64	c cleaning 12999 clauses out of 26012 with flag 432002/511884
259.27/134.15	c cleaning 13000 clauses out of 26012 with flag 445001/524883
266.02/137.65	c cleaning 13000 clauses out of 26012 with flag 458001/537883
272.37/140.99	c cleaning 13001 clauses out of 26012 with flag 471001/550883
279.33/144.56	c cleaning 12999 clauses out of 26013 with flag 484003/563885
285.76/147.99	c cleaning 13001 clauses out of 26011 with flag 497000/576882
292.10/151.23	c cleaning 13005 clauses out of 26012 with flag 510002/589884
297.86/154.22	c cleaning 12999 clauses out of 26005 with flag 523000/602882
304.81/157.84	c cleaning 13001 clauses out of 26007 with flag 536001/615883
313.42/162.31	c cleaning 12998 clauses out of 26007 with flag 549002/628884
319.95/165.73	c cleaning 12996 clauses out of 26007 with flag 562000/641882
325.89/168.84	c cleaning 13001 clauses out of 26012 with flag 575001/654883
331.82/171.92	c cleaning 12998 clauses out of 26012 with flag 588002/667884
338.24/175.32	c cleaning 13002 clauses out of 26013 with flag 601001/680883
345.18/178.99	c cleaning 13001 clauses out of 26015 with flag 614005/693887
352.33/182.67	c cleaning 13000 clauses out of 26009 with flag 627000/706882
359.63/186.44	c cleaning 12997 clauses out of 26010 with flag 640001/719883
367.42/190.51	c cleaning 13000 clauses out of 26013 with flag 653001/732883
375.34/194.62	c cleaning 13002 clauses out of 26014 with flag 666002/745884
383.25/198.75	c cleaning 12999 clauses out of 26011 with flag 679001/758883
391.56/203.00	c cleaning 13002 clauses out of 26012 with flag 692001/771883
399.33/207.15	c cleaning 13000 clauses out of 26009 with flag 705000/784882
406.85/211.00	c cleaning 12998 clauses out of 26009 with flag 718000/797882
414.17/214.80	c cleaning 12999 clauses out of 26013 with flag 731002/810884
421.29/218.57	c cleaning 13001 clauses out of 26014 with flag 744002/823884
428.29/222.26	c cleaning 12999 clauses out of 26012 with flag 757001/836883
435.38/225.97	c cleaning 13001 clauses out of 26015 with flag 770003/849885
442.91/229.90	c cleaning 13002 clauses out of 26014 with flag 783003/862885
450.42/233.77	c cleaning 12996 clauses out of 26009 with flag 796000/875882
457.83/237.67	c cleaning 13004 clauses out of 26015 with flag 809002/888884
464.15/240.95	c cleaning 13000 clauses out of 26010 with flag 822001/901883
470.84/244.44	c cleaning 13001 clauses out of 26014 with flag 835005/914887
477.16/247.72	c cleaning 12999 clauses out of 26008 with flag 848000/927882
484.14/251.43	c cleaning 13001 clauses out of 26012 with flag 861003/940885
491.05/255.06	c cleaning 12997 clauses out of 26008 with flag 874000/953882
498.36/258.80	c cleaning 13002 clauses out of 26013 with flag 887002/966884
503.46/261.52	c  And the winner is CuttingPlanes
503.51/261.63	c Got one! Elapsed wall clock time (in seconds):261.517
503.51/261.63	o 13
505.87/262.83	c cleaning 14000 clauses out of 28009 with flag 5001/981882
509.03/264.68	c cleaning 10000 clauses out of 20008 with flag 11000/987881
512.73/266.60	c cleaning 8501 clauses out of 17008 with flag 18000/994881
516.63/268.76	c cleaning 8250 clauses out of 16508 with flag 26001/1002882
521.33/271.20	c cleaning 8625 clauses out of 17257 with flag 35000/1011881
526.29/273.94	c cleaning 9309 clauses out of 18632 with flag 45000/1021881
532.16/277.00	c cleaning 10156 clauses out of 20324 with flag 56001/1032882
538.05/280.18	c cleaning 11076 clauses out of 22167 with flag 68000/1044881
544.54/283.51	c cleaning 12042 clauses out of 24094 with flag 81003/1057884
551.09/287.02	c cleaning 12519 clauses out of 25050 with flag 94001/1070882
557.18/290.21	c cleaning 12759 clauses out of 25531 with flag 107001/1083882
563.88/293.73	c cleaning 12882 clauses out of 25771 with flag 120000/1096881
571.14/297.50	c cleaning 12939 clauses out of 25890 with flag 133001/1109882
577.47/300.99	c cleaning 12965 clauses out of 25950 with flag 146000/1122881
583.95/304.38	c cleaning 12989 clauses out of 25986 with flag 159001/1135882
591.06/308.08	c cleaning 12996 clauses out of 25996 with flag 172000/1148881
597.90/311.63	c cleaning 12997 clauses out of 26001 with flag 185001/1161882
605.22/315.51	c cleaning 12998 clauses out of 26003 with flag 198000/1174881
612.50/319.31	c cleaning 12998 clauses out of 26006 with flag 211001/1187882
619.78/323.10	c cleaning 12995 clauses out of 26007 with flag 224000/1200881
626.25/326.55	c cleaning 12999 clauses out of 26012 with flag 237000/1213881
633.16/330.22	c cleaning 13003 clauses out of 26013 with flag 250000/1226881
639.64/333.69	c cleaning 13000 clauses out of 26011 with flag 263001/1239882
646.92/337.43	c cleaning 13002 clauses out of 26011 with flag 276001/1252882
653.99/341.11	c cleaning 13001 clauses out of 26009 with flag 289001/1265882
660.91/344.81	c cleaning 13002 clauses out of 26009 with flag 302002/1278883
668.20/348.63	c cleaning 12999 clauses out of 26005 with flag 315000/1291881
676.27/352.82	c cleaning 12998 clauses out of 26007 with flag 328001/1304882
684.54/357.16	c cleaning 12999 clauses out of 26009 with flag 341001/1317882
692.25/361.28	c cleaning 13002 clauses out of 26010 with flag 354001/1330882
699.74/365.15	c cleaning 13000 clauses out of 26008 with flag 367001/1343882
707.61/369.21	c cleaning 12998 clauses out of 26007 with flag 380000/1356881
715.29/373.27	c cleaning 12999 clauses out of 26009 with flag 393000/1369881
722.61/377.11	c cleaning 13002 clauses out of 26014 with flag 406004/1382885
729.10/380.58	c cleaning 13000 clauses out of 26009 with flag 419001/1395882
735.37/383.89	c cleaning 13001 clauses out of 26011 with flag 432003/1408884
742.86/387.75	c cleaning 12998 clauses out of 26008 with flag 445001/1421882
750.20/391.68	c cleaning 13001 clauses out of 26010 with flag 458001/1434882
757.45/395.49	c cleaning 13002 clauses out of 26009 with flag 471001/1447882
764.74/399.22	c cleaning 13001 clauses out of 26009 with flag 484003/1460884
772.21/403.12	c cleaning 12997 clauses out of 26005 with flag 497000/1473881
780.12/407.37	c cleaning 12998 clauses out of 26010 with flag 510002/1486883
788.03/411.46	c cleaning 13001 clauses out of 26012 with flag 523002/1499883
795.47/415.31	c cleaning 13001 clauses out of 26010 with flag 536001/1512882
802.35/419.00	c cleaning 12997 clauses out of 26008 with flag 549000/1525881
809.86/422.92	c cleaning 13001 clauses out of 26012 with flag 562001/1538882
817.15/426.72	c cleaning 13000 clauses out of 26011 with flag 575001/1551882
824.21/430.42	c cleaning 13002 clauses out of 26010 with flag 588000/1564881
830.69/433.83	c cleaning 13002 clauses out of 26008 with flag 601000/1577881
838.01/437.80	c cleaning 12999 clauses out of 26006 with flag 614000/1590881
844.88/441.38	c cleaning 12998 clauses out of 26007 with flag 627000/1603881
851.75/444.97	c cleaning 12998 clauses out of 26010 with flag 640001/1616882
858.82/448.67	c cleaning 13002 clauses out of 26011 with flag 653000/1629881
866.91/452.99	c cleaning 12998 clauses out of 26009 with flag 666000/1642881
874.58/456.99	c cleaning 13000 clauses out of 26012 with flag 679001/1655882
882.05/460.89	c cleaning 12999 clauses out of 26012 with flag 692001/1668882
889.69/464.83	c cleaning 13002 clauses out of 26015 with flag 705003/1681884
897.58/469.04	c cleaning 12999 clauses out of 26010 with flag 718000/1694881
904.24/472.53	c cleaning 13001 clauses out of 26013 with flag 731002/1707883
911.10/476.14	c cleaning 12998 clauses out of 26011 with flag 744001/1720882
917.96/479.77	c cleaning 12999 clauses out of 26015 with flag 757003/1733884
925.26/483.66	c cleaning 13001 clauses out of 26017 with flag 770004/1746885
932.52/487.42	c cleaning 13000 clauses out of 26012 with flag 783000/1759881
939.38/491.01	c cleaning 13001 clauses out of 26013 with flag 796001/1772882
946.85/494.97	c cleaning 13000 clauses out of 26013 with flag 809002/1785883
954.32/498.94	c cleaning 12999 clauses out of 26011 with flag 822000/1798881
961.17/502.60	c cleaning 12996 clauses out of 26012 with flag 835000/1811881
964.42/504.33	c cleaning 0 clauses out of 5750 with flag 0/5752
968.93/506.74	c cleaning 13001 clauses out of 26016 with flag 848000/1824881
976.00/510.59	c cleaning 13002 clauses out of 26016 with flag 861001/1837882
983.25/514.32	c cleaning 13000 clauses out of 26013 with flag 874000/1850881
990.09/517.98	c cleaning 13003 clauses out of 26015 with flag 887002/1863883
996.93/521.55	c cleaning 13001 clauses out of 26014 with flag 900004/1876885
1005.03/525.86	c cleaning 13000 clauses out of 26010 with flag 913001/1889882
1013.05/530.02	c cleaning 13002 clauses out of 26011 with flag 926002/1902883
1020.70/534.03	c cleaning 13000 clauses out of 26008 with flag 939001/1915882
1027.95/537.89	c cleaning 12995 clauses out of 26007 with flag 952000/1928881
1036.00/542.15	c cleaning 13001 clauses out of 26013 with flag 965001/1941882
1043.24/545.93	c cleaning 13005 clauses out of 26016 with flag 978005/1954886
1050.67/549.90	c cleaning 12997 clauses out of 26007 with flag 991001/1967882
1058.30/553.87	c cleaning 13001 clauses out of 26009 with flag 1004000/1980881
1065.75/557.84	c cleaning 13002 clauses out of 26014 with flag 1017006/1993887
1073.19/561.73	c cleaning 12997 clauses out of 26007 with flag 1030001/2006882
1080.62/565.66	c cleaning 13000 clauses out of 26010 with flag 1043001/2019882
1088.25/569.60	c cleaning 13004 clauses out of 26011 with flag 1056002/2032883
1096.10/573.89	c cleaning 12995 clauses out of 26006 with flag 1069001/2045882
1103.52/577.76	c cleaning 12998 clauses out of 26010 with flag 1082000/2058881
1110.95/581.63	c cleaning 13001 clauses out of 26012 with flag 1095000/2071881
1117.81/585.29	c cleaning 12998 clauses out of 26011 with flag 1108000/2084881
1125.21/589.28	c cleaning 12998 clauses out of 26013 with flag 1121000/2097881
1132.84/593.22	c cleaning 13001 clauses out of 26016 with flag 1134001/2110882
1140.06/597.02	c cleaning 13000 clauses out of 26015 with flag 1147001/2123882
1147.48/600.95	c cleaning 13001 clauses out of 26016 with flag 1160002/2136883
1155.14/605.01	c cleaning 13002 clauses out of 26017 with flag 1173004/2149885
1162.54/608.90	c cleaning 13000 clauses out of 26012 with flag 1186001/2162882
1170.35/613.07	c cleaning 13000 clauses out of 26012 with flag 1199001/2175882
1178.22/617.12	c cleaning 13001 clauses out of 26012 with flag 1212001/2188882
1186.02/621.40	c cleaning 13000 clauses out of 26010 with flag 1225000/2201881
1194.01/625.55	c cleaning 12997 clauses out of 26010 with flag 1238000/2214881
1202.41/629.98	c cleaning 13002 clauses out of 26015 with flag 1251002/2227883
1210.83/634.34	c cleaning 13001 clauses out of 26011 with flag 1264000/2240881
1218.84/638.69	c cleaning 12999 clauses out of 26011 with flag 1277001/2253882
1227.05/642.97	c cleaning 12999 clauses out of 26011 with flag 1290000/2266881
1235.05/647.12	c cleaning 12999 clauses out of 26015 with flag 1303003/2279884
1243.24/651.47	c cleaning 13003 clauses out of 26014 with flag 1316001/2292882
1251.47/655.81	c cleaning 13002 clauses out of 26010 with flag 1329000/2305881
1258.07/659.35	c cleaning 12998 clauses out of 26008 with flag 1342000/2318881
1264.86/662.98	c cleaning 12997 clauses out of 26010 with flag 1355000/2331881
1271.45/666.48	c cleaning 13002 clauses out of 26013 with flag 1368000/2344881
1278.83/670.42	c cleaning 13002 clauses out of 26011 with flag 1381000/2357881
1286.42/674.48	c cleaning 13001 clauses out of 26009 with flag 1394000/2370881
1294.41/678.65	c cleaning 13000 clauses out of 26012 with flag 1407004/2383885
1301.59/682.49	c cleaning 13001 clauses out of 26010 with flag 1420002/2396883
1308.79/686.40	c cleaning 12998 clauses out of 26007 with flag 1433000/2409881
1316.16/690.29	c cleaning 12999 clauses out of 26010 with flag 1446001/2422882
1323.56/694.13	c cleaning 13000 clauses out of 26011 with flag 1459001/2435882
1330.70/697.97	c cleaning 13001 clauses out of 26013 with flag 1472003/2448884
1338.06/701.95	c cleaning 13001 clauses out of 26011 with flag 1485002/2461883
1345.44/705.84	c cleaning 13000 clauses out of 26009 with flag 1498001/2474882
1352.81/709.75	c cleaning 12993 clauses out of 26008 with flag 1511000/2487881
1360.19/713.60	c cleaning 13004 clauses out of 26016 with flag 1524001/2500882
1368.14/717.92	c cleaning 13000 clauses out of 26011 with flag 1537000/2513881
1375.91/722.01	c cleaning 12997 clauses out of 26014 with flag 1550003/2526884
1383.50/726.08	c cleaning 13003 clauses out of 26015 with flag 1563001/2539882
1391.23/730.19	c cleaning 13001 clauses out of 26011 with flag 1576000/2552881
1399.39/734.58	c cleaning 13000 clauses out of 26012 with flag 1589002/2565883
1407.37/738.72	c cleaning 12997 clauses out of 26010 with flag 1602000/2578881
1415.55/743.02	c cleaning 13002 clauses out of 26015 with flag 1615002/2591883
1422.51/746.79	c cleaning 13002 clauses out of 26011 with flag 1628000/2604881
1429.47/750.54	c cleaning 12998 clauses out of 26010 with flag 1641001/2617882
1436.24/754.13	c cleaning 13002 clauses out of 26011 with flag 1654000/2630881
1443.00/757.79	c cleaning 13001 clauses out of 26009 with flag 1667000/2643881
1450.17/761.50	c cleaning 12997 clauses out of 26011 with flag 1680003/2656884
1457.32/765.41	c cleaning 12999 clauses out of 26011 with flag 1693000/2669881
1464.08/769.01	c cleaning 13000 clauses out of 26013 with flag 1706001/2682882
1470.85/772.66	c cleaning 13003 clauses out of 26013 with flag 1719001/2695882
1477.81/776.31	c cleaning 12996 clauses out of 26010 with flag 1732001/2708882
1485.35/780.43	c cleaning 13001 clauses out of 26015 with flag 1745002/2721883
1492.52/784.21	c cleaning 13003 clauses out of 26015 with flag 1758003/2734884
1499.67/788.07	c cleaning 13002 clauses out of 26011 with flag 1771002/2747883
1507.63/792.25	c cleaning 12996 clauses out of 26008 with flag 1784001/2760882
1516.17/796.84	c cleaning 13001 clauses out of 26012 with flag 1797001/2773882
1524.73/801.32	c cleaning 13000 clauses out of 26012 with flag 1810002/2786883
1533.08/805.72	c cleaning 13001 clauses out of 26010 with flag 1823000/2799881
1541.44/810.14	c cleaning 12999 clauses out of 26009 with flag 1836000/2812881
1549.77/814.69	c cleaning 13001 clauses out of 26011 with flag 1849001/2825882
1557.93/818.91	c cleaning 12998 clauses out of 26010 with flag 1862001/2838882
1565.88/823.16	c cleaning 12999 clauses out of 26011 with flag 1875000/2851881
1574.44/827.68	c cleaning 12999 clauses out of 26014 with flag 1888002/2864883
1582.99/832.22	c cleaning 13002 clauses out of 26013 with flag 1901000/2877881
1591.35/836.68	c cleaning 12998 clauses out of 26012 with flag 1914001/2890882
1599.90/841.15	c cleaning 13002 clauses out of 26013 with flag 1927000/2903881
1608.46/845.69	c cleaning 12999 clauses out of 26012 with flag 1940001/2916882
1616.81/850.16	c cleaning 12999 clauses out of 26012 with flag 1953000/2929881
1624.97/854.41	c cleaning 12999 clauses out of 26014 with flag 1966001/2942882
1633.12/858.70	c cleaning 13002 clauses out of 26015 with flag 1979001/2955882
1641.28/863.04	c cleaning 13005 clauses out of 26013 with flag 1992001/2968882
1648.27/866.84	c cleaning 12999 clauses out of 26007 with flag 2005000/2981881
1655.60/870.74	c cleaning 13002 clauses out of 26010 with flag 2018002/2994883
1662.57/874.49	c cleaning 12997 clauses out of 26006 with flag 2031000/3007881
1670.72/878.77	c cleaning 13000 clauses out of 26009 with flag 2044000/3020881
1678.26/882.87	c cleaning 13001 clauses out of 26009 with flag 2057000/3033881
1685.23/886.60	c cleaning 12999 clauses out of 26010 with flag 2070002/3046883
1691.98/890.18	c cleaning 12998 clauses out of 26009 with flag 2083000/3059881
1698.95/893.83	c cleaning 13001 clauses out of 26012 with flag 2096001/3072882
1706.10/897.71	c cleaning 12997 clauses out of 26011 with flag 2109001/3085882
1712.86/901.32	c cleaning 13004 clauses out of 26016 with flag 2122003/3098884
1720.23/905.28	c cleaning 12997 clauses out of 26011 with flag 2135002/3111883
1727.97/909.35	c cleaning 13001 clauses out of 26013 with flag 2148001/3124882
1735.71/913.58	c cleaning 12999 clauses out of 26012 with flag 2161001/3137882
1743.48/917.66	c cleaning 13002 clauses out of 26014 with flag 2174002/3150883
1751.03/921.61	c cleaning 12998 clauses out of 26010 with flag 2187000/3163881
1758.39/925.55	c cleaning 13002 clauses out of 26012 with flag 2200000/3176881
1766.33/929.80	c cleaning 12999 clauses out of 26010 with flag 2213000/3189881
1773.69/933.73	c cleaning 12999 clauses out of 26012 with flag 2226001/3202882
1781.05/937.62	c cleaning 12998 clauses out of 26012 with flag 2239000/3215881
1788.63/941.65	c cleaning 12999 clauses out of 26014 with flag 2252000/3228881
1796.57/945.94	c cleaning 13003 clauses out of 26016 with flag 2265001/3241882
1800.13/947.92	c starts		: 39
1800.13/947.92	c conflicts		: 7552
1800.13/947.92	c decisions		: 20169
1800.13/947.92	c propagations		: 2274592
1800.13/947.92	c inspects		: 412852501
1800.13/947.92	c shortcuts		: 0
1800.13/947.92	c learnt literals	: 0
1800.13/947.92	c learnt binary clauses	: 0
1800.13/947.92	c learnt ternary clauses	: 0
1800.13/947.92	c learnt constraints	: 7550
1800.13/947.92	c ignored constraints	: 0
1800.13/947.92	c root simplifications	: 0
1800.13/947.92	c removed literals (reason simplification)	: 0
1800.13/947.92	c reason swapping (by a shorter reason)	: 0
1800.13/947.92	c Calls to reduceDB	: 1
1800.13/947.92	c number of reductions to clauses (during analyze)	: 0
1800.13/947.92	c number of learned constraints concerned by reduction	: 0
1800.13/947.92	c number of learning phase by resolution	: 0
1800.13/947.92	c number of learning phase by cutting planes	: 0
1800.13/947.92	c speed (assignments/second)	: 3314.3403352528385
1800.13/947.92	c non guided choices	0
1800.13/947.92	c learnt constraints type 
1800.13/947.92	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.13/947.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 209
1800.13/947.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7335
1800.13/947.92	c constraints type 
1800.13/947.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426
1800.13/947.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.13/947.92	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.13/947.92	c constraints type 
1800.13/947.92	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6426
1800.13/947.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.13/947.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
1800.13/947.92	s SATISFIABLE
1800.13/947.92	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.13/947.92	c objective function=13
1800.13/947.92	c Total wall clock time (in seconds): 947.812

Verifier Data 

OK	13

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-3453944-1307194594/watcher-3453944-1307194594 -o /tmp/evaluation-result-3453944-1307194594/solver-3453944-1307194594 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453944-1307194594.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: 2.74 3.51 3.70 2/383 10626
/proc/meminfo: memFree=23598888/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 1168 0 0 0 0 0 0 0 25 0 2 0 831062204 26714112 897 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 6522 897 682 9 0 381 0
[pid=10626/tid=10627] ppid=10624 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10624 10626 10594 0 -1 4202560 2893 0 1 0 0 0 0 0 17 0 2 0 831062205 10694979584 3709 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0503931 s]
/proc/loadavg: 2.74 3.51 3.70 2/383 10626
/proc/meminfo: memFree=23598888/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10533016 CPUtime=0.04 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 11357 0 1 0 3 1 0 0 25 0 13 0 831062204 10785808384 11054 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2633254 11055 1681 9 0 2624002 0
[pid=10626/tid=10627] ppid=10624 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10624 10626 10594 0 -1 4202560 10210 0 1 0 3 0 0 0 18 0 13 0 831062205 10785808384 11056 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 47531715913240 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533016

[startup+0.100365 s]
/proc/loadavg: 2.74 3.51 3.70 2/383 10626
/proc/meminfo: memFree=23598888/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10539788 CPUtime=0.1 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 13043 0 1 0 9 1 0 0 25 0 18 0 831062204 10792742912 12715 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2634947 12716 2092 9 0 2625681 0
[pid=10626/tid=10627] ppid=10624 vsize=10539788 CPUtime=0.08 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10624 10626 10594 0 -1 4202560 11085 0 1 0 7 1 0 0 18 0 18 0 831062205 10792742912 12716 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 47531712880547 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539788

[startup+0.300328 s]
/proc/loadavg: 2.74 3.51 3.70 2/383 10626
/proc/meminfo: memFree=23598888/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10541496 CPUtime=0.46 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 15448 0 1 0 44 2 0 0 25 0 18 0 831062204 10794491904 14957 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2635374 14957 2209 9 0 2626108 0
[pid=10626/tid=10627] ppid=10624 vsize=10541496 CPUtime=0.28 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10624 10626 10594 0 -1 4202560 12718 0 1 0 27 1 0 0 18 0 18 0 831062205 10794491904 14958 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541496

[startup+0.700257 s]
/proc/loadavg: 2.74 3.51 3.70 2/383 10626
/proc/meminfo: memFree=23598888/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10556852 CPUtime=1.72 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 27256 0 1 0 168 4 0 0 25 0 19 0 831062204 10810216448 24071 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2639213 24071 2240 9 0 2629947 0
[pid=10626/tid=10627] ppid=10624 vsize=10556852 CPUtime=0.52 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 10594 0 -1 4202560 16822 0 1 0 50 2 0 0 19 0 19 0 831062205 10810216448 24071 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10556852

[startup+1.50112 s]
/proc/loadavg: 2.74 3.51 3.70 2/422 10671
/proc/meminfo: memFree=23278588/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10556852 CPUtime=2.04 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 28844 0 1 0 200 4 0 0 25 0 19 0 831062204 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2639213 24818 2244 9 0 2629947 0
[pid=10626/tid=10627] ppid=10624 vsize=10556852 CPUtime=0.53 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 10594 0 -1 4202560 16888 0 1 0 51 2 0 0 17 0 19 0 831062205 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 10594 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831062207 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 10594 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 831062208 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 0 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10653] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10653/stat : 10653 (java) S 10624 10626 10594 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 831062208 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10654] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10654/stat : 10654 (java) S 10624 10626 10594 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 831062208 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10658] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10658/stat : 10658 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831062210 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382780849 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10659] ppid=10624 vsize=10556852 CPUtime=0.61 cores=1,3,5,7
/proc/10626/task/10659/stat : 10659 (java) S 10624 10626 10594 0 -1 4202560 3738 0 0 0 61 0 0 0 17 0 19 0 831062210 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10660] ppid=10624 vsize=10556852 CPUtime=0.56 cores=1,3,5,7
/proc/10626/task/10660/stat : 10660 (java) S 10624 10626 10594 0 -1 4202560 5849 0 0 0 56 0 0 0 17 0 19 0 831062210 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10661] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10661/stat : 10661 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831062210 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10662] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10662/stat : 10662 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831062210 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10670] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10670/stat : 10670 (java) S 10624 10626 10594 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831062260 10810216448 24818 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 10556852

[startup+3.1008 s]
/proc/loadavg: 2.74 3.51 3.70 3/426 10687
/proc/meminfo: memFree=23122316/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10556852 CPUtime=4.96 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 98114 0 1 0 484 12 0 0 25 0 22 0 831062204 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2639213 91438 2248 9 0 2629947 0
[pid=10626/tid=10627] ppid=10624 vsize=10556852 CPUtime=0.53 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 10594 0 -1 4202560 16967 0 1 0 51 2 0 0 15 0 22 0 831062205 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 10594 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062207 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 10594 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831062208 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 0 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10653] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10653/stat : 10653 (java) S 10624 10626 10594 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 831062208 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10654] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10654/stat : 10654 (java) S 10624 10626 10594 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 831062208 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10658] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10658/stat : 10658 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062210 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382780849 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10659] ppid=10624 vsize=10556852 CPUtime=0.91 cores=1,3,5,7
/proc/10626/task/10659/stat : 10659 (java) S 10624 10626 10594 0 -1 4202560 6584 0 0 0 91 0 0 0 15 0 22 0 831062210 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10660] ppid=10624 vsize=10556852 CPUtime=0.94 cores=1,3,5,7
/proc/10626/task/10660/stat : 10660 (java) S 10624 10626 10594 0 -1 4202560 5908 0 0 0 94 0 0 0 15 0 22 0 831062210 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10661] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10661/stat : 10661 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831062210 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10662] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10662/stat : 10662 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831062210 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10670] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10670/stat : 10670 (java) S 10624 10626 10594 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831062260 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10685] ppid=10624 vsize=10556852 CPUtime=1.03 cores=1,3,5,7
/proc/10626/task/10685/stat : 10685 (java) R 10624 10626 10594 0 -1 4202560 764 0 0 0 103 0 0 0 18 0 22 0 831062411 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912505969820 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10626/tid=10686] ppid=10624 vsize=10556852 CPUtime=1.02 cores=1,3,5,7
/proc/10626/task/10686/stat : 10686 (java) R 10624 10626 10594 0 -1 4202560 63925 0 0 0 95 7 0 0 19 0 22 0 831062411 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912506157626 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10626/tid=10687] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10687/stat : 10687 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831062411 10810216448 91438 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 10556852

[startup+6.30123 s]
/proc/loadavg: 2.84 3.51 3.70 5/429 10696
/proc/meminfo: memFree=21716896/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10556852 CPUtime=11.41 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 194640 0 1 0 1118 23 0 0 25 0 22 0 831062204 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2639213 187951 2272 9 0 2629947 0
[pid=10626/tid=10627] ppid=10624 vsize=10556852 CPUtime=0.53 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 10594 0 -1 4202560 16967 0 1 0 51 2 0 0 15 0 22 0 831062205 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10556852 CPUtime=0.01 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 10594 0 -1 4202560 906 0 0 0 1 0 0 0 15 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 10594 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10556852 CPUtime=0.01 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 10594 0 -1 4202560 1575 0 0 0 1 0 0 0 18 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10556852 CPUtime=0.01 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 10594 0 -1 4202560 814 0 0 0 1 0 0 0 15 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10556852 CPUtime=0.01 cores=1,3,5,7
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 10594 0 -1 4202560 928 0 0 0 1 0 0 0 15 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 10594 0 -1 4202560 539 0 0 0 0 0 0 0 15 0 22 0 831062207 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10556852 CPUtime=0.16 cores=1,3,5,7
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 10594 0 -1 4202560 5299 0 0 0 16 0 0 0 15 0 22 0 831062208 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 0 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10653] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10653/stat : 10653 (java) S 10624 10626 10594 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831062208 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10654] ppid=10624 vsize=10556852 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10654/stat : 10654 (java) S 10624 10626 10594 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831062208 10810216448 187951 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0

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

[pid=10626/tid=10710] ppid=10624 vsize=10622388 CPUtime=548.83 cores=1,3,5,7
/proc/10626/task/10710/stat : 10710 (java) R 10624 10626 10594 0 -1 4202560 151 0 0 0 54883 0 0 0 25 0 22 0 831088368 10877325312 294737 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912505983629 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10626/tid=10711] ppid=10624 vsize=10622388 CPUtime=548.85 cores=1,3,5,7
/proc/10626/task/10711/stat : 10711 (java) R 10624 10626 10594 0 -1 4202560 1 0 0 0 54885 0 0 0 25 0 22 0 831088368 10877325312 294737 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912506014209 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10626/tid=10712] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10712/stat : 10712 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831088368 10877325312 294737 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1677.26
Current children cumulated vsize (KiB) 10622388

[startup+942.301 s]
/proc/loadavg: 4.35 3.97 3.82 5/429 10826
/proc/meminfo: memFree=21402732/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10622388 CPUtime=1789.38 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 302440 0 1 0 178896 42 0 0 25 0 22 0 831062204 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2655597 295172 2273 9 0 2646331 0
[pid=10626/tid=10627] ppid=10624 vsize=10622388 CPUtime=0.54 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 10594 0 -1 4202560 16991 0 1 0 52 2 0 0 15 0 22 0 831062205 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10622388 CPUtime=1.07 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 10594 0 -1 4202560 1081 0 0 0 107 0 0 0 16 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10622388 CPUtime=1.11 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 10594 0 -1 4202560 724 0 0 0 111 0 0 0 15 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10622388 CPUtime=1.02 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 10594 0 -1 4202560 219 0 0 0 102 0 0 0 15 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10622388 CPUtime=1.07 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 10594 0 -1 4202560 246 0 0 0 107 0 0 0 16 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10622388 CPUtime=0.97 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 10594 0 -1 4202560 1839 0 0 0 97 0 0 0 16 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10622388 CPUtime=1.18 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 10594 0 -1 4202560 1135 0 0 0 118 0 0 0 15 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10622388 CPUtime=1.1 cores=1,3,5,7
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 10594 0 -1 4202560 1285 0 0 0 110 0 0 0 15 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10622388 CPUtime=1.14 cores=1,3,5,7
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 10594 0 -1 4202560 647 0 0 0 114 0 0 0 16 0 22 0 831062207 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10622388 CPUtime=97.27 cores=1,3,5,7
/proc/10626/task/10644/stat : 10644 (java) R 10624 10626 10594 0 -1 4202560 67094 0 0 0 9717 10 0 0 16 0 22 0 831062208 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 47531716440015 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=10626/tid=10653] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10653/stat : 10653 (java) S 10624 10626 10594 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831062208 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10654] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10654/stat : 10654 (java) S 10624 10626 10594 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831062208 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10658] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10658/stat : 10658 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062210 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382780849 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10659] ppid=10624 vsize=10622388 CPUtime=1.06 cores=1,3,5,7
/proc/10626/task/10659/stat : 10659 (java) S 10624 10626 10594 0 -1 4202560 6809 0 0 0 106 0 0 0 16 0 22 0 831062210 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10660] ppid=10624 vsize=10622388 CPUtime=1.36 cores=1,3,5,7
/proc/10626/task/10660/stat : 10660 (java) S 10624 10626 10594 0 -1 4202560 5942 0 0 0 136 0 0 0 16 0 22 0 831062210 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10661] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10661/stat : 10661 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831062210 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10662] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10662/stat : 10662 (java) S 10624 10626 10594 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831062210 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10699] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10699/stat : 10699 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831064124 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10710] ppid=10624 vsize=10622388 CPUtime=600.44 cores=1,3,5,7
/proc/10626/task/10710/stat : 10710 (java) S 10624 10626 10594 0 -1 4202560 167 0 0 0 60044 0 0 0 25 0 22 0 831088368 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10711] ppid=10624 vsize=10622388 CPUtime=600.46 cores=1,3,5,7
/proc/10626/task/10711/stat : 10711 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 60046 0 0 0 25 0 22 0 831088368 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10712] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10712/stat : 10712 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831088368 10877325312 295172 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (KiB) 10622388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+947.901 s]
/proc/loadavg: 4.40 3.98 3.83 5/429 10826
/proc/meminfo: memFree=21369004/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10622388 CPUtime=1800.13 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 302449 0 1 0 179971 42 0 0 25 0 22 0 831062204 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2655597 295176 2273 9 0 2646331 0
[pid=10626/tid=10627] ppid=10624 vsize=10622388 CPUtime=0.54 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 10594 0 -1 4202560 16991 0 1 0 52 2 0 0 15 0 22 0 831062205 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10622388 CPUtime=1.07 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 10594 0 -1 4202560 1081 0 0 0 107 0 0 0 15 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10622388 CPUtime=1.11 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 10594 0 -1 4202560 724 0 0 0 111 0 0 0 15 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10622388 CPUtime=1.02 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 10594 0 -1 4202560 219 0 0 0 102 0 0 0 15 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10622388 CPUtime=1.08 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 10594 0 -1 4202560 246 0 0 0 108 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10622388 CPUtime=0.98 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 10594 0 -1 4202560 1839 0 0 0 98 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10622388 CPUtime=1.19 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 10594 0 -1 4202560 1137 0 0 0 119 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10622388 CPUtime=1.11 cores=1,3,5,7
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 10594 0 -1 4202560 1285 0 0 0 111 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10622388 CPUtime=1.15 cores=1,3,5,7
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 10594 0 -1 4202560 649 0 0 0 115 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10622388 CPUtime=97.76 cores=1,3,5,7
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 10594 0 -1 4202560 67096 0 0 0 9766 10 0 0 15 0 22 0 831062208 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 0 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10653] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10653/stat : 10653 (java) S 10624 10626 10594 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831062208 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10654] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10654/stat : 10654 (java) S 10624 10626 10594 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831062208 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10658] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10658/stat : 10658 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382780849 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10659] ppid=10624 vsize=10622388 CPUtime=1.06 cores=1,3,5,7
/proc/10626/task/10659/stat : 10659 (java) S 10624 10626 10594 0 -1 4202560 6809 0 0 0 106 0 0 0 16 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10660] ppid=10624 vsize=10622388 CPUtime=1.36 cores=1,3,5,7
/proc/10626/task/10660/stat : 10660 (java) S 10624 10626 10594 0 -1 4202560 5942 0 0 0 136 0 0 0 16 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10661] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10661/stat : 10661 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10662] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10662/stat : 10662 (java) S 10624 10626 10594 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10699] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10699/stat : 10699 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831064124 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10710] ppid=10624 vsize=10622388 CPUtime=605.55 cores=1,3,5,7
/proc/10626/task/10710/stat : 10710 (java) R 10624 10626 10594 0 -1 4202560 168 0 0 0 60555 0 0 0 25 0 22 0 831088368 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912505983107 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10626/tid=10711] ppid=10624 vsize=10622388 CPUtime=605.57 cores=1,3,5,7
/proc/10626/task/10711/stat : 10711 (java) R 10624 10626 10594 0 -1 4202560 1 0 0 0 60557 0 0 0 25 0 22 0 831088368 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912506023295 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10626/tid=10712] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10712/stat : 10712 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831088368 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10622388

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

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

[startup+947.901 s]
/proc/loadavg: 4.40 3.98 3.83 5/429 10826
/proc/meminfo: memFree=21369004/32951124 swapFree=49244120/67111528
[pid=10626] ppid=10624 vsize=10622388 CPUtime=1800.13 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10624 10626 10594 0 -1 4202496 302449 0 1 0 179971 42 0 0 25 0 22 0 831062204 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10626/statm: 2655597 295176 2273 9 0 2646331 0
[pid=10626/tid=10627] ppid=10624 vsize=10622388 CPUtime=0.54 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 10594 0 -1 4202560 16991 0 1 0 52 2 0 0 15 0 22 0 831062205 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10622388 CPUtime=1.07 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 10594 0 -1 4202560 1081 0 0 0 107 0 0 0 15 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10622388 CPUtime=1.11 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 10594 0 -1 4202560 724 0 0 0 111 0 0 0 15 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10622388 CPUtime=1.02 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 10594 0 -1 4202560 219 0 0 0 102 0 0 0 15 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10622388 CPUtime=1.08 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 10594 0 -1 4202560 246 0 0 0 108 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10622388 CPUtime=0.98 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 10594 0 -1 4202560 1839 0 0 0 98 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10622388 CPUtime=1.19 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 10594 0 -1 4202560 1137 0 0 0 119 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10622388 CPUtime=1.11 cores=1,3,5,7
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 10594 0 -1 4202560 1285 0 0 0 111 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10622388 CPUtime=1.15 cores=1,3,5,7
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 10594 0 -1 4202560 649 0 0 0 115 0 0 0 16 0 22 0 831062207 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10622388 CPUtime=97.76 cores=1,3,5,7
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 10594 0 -1 4202560 67096 0 0 0 9766 10 0 0 15 0 22 0 831062208 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 0 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10653] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10653/stat : 10653 (java) S 10624 10626 10594 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831062208 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 7 0 0 0
[pid=10626/tid=10654] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10654/stat : 10654 (java) S 10624 10626 10594 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831062208 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 1 0 0 0
[pid=10626/tid=10658] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10658/stat : 10658 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382780849 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10659] ppid=10624 vsize=10622388 CPUtime=1.06 cores=1,3,5,7
/proc/10626/task/10659/stat : 10659 (java) S 10624 10626 10594 0 -1 4202560 6809 0 0 0 106 0 0 0 16 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10660] ppid=10624 vsize=10622388 CPUtime=1.36 cores=1,3,5,7
/proc/10626/task/10660/stat : 10660 (java) S 10624 10626 10594 0 -1 4202560 5942 0 0 0 136 0 0 0 16 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10661] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10661/stat : 10661 (java) S 10624 10626 10594 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773145 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
[pid=10626/tid=10662] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10662/stat : 10662 (java) S 10624 10626 10594 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 831062210 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10699] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10699/stat : 10699 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831064124 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 5 0 0 0
[pid=10626/tid=10710] ppid=10624 vsize=10622388 CPUtime=605.55 cores=1,3,5,7
/proc/10626/task/10710/stat : 10710 (java) R 10624 10626 10594 0 -1 4202560 168 0 0 0 60555 0 0 0 25 0 22 0 831088368 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912505983107 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10626/tid=10711] ppid=10624 vsize=10622388 CPUtime=605.57 cores=1,3,5,7
/proc/10626/task/10711/stat : 10711 (java) R 10624 10626 10594 0 -1 4202560 1 0 0 0 60557 0 0 0 25 0 22 0 831088368 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 46912506023295 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10626/tid=10712] ppid=10624 vsize=10622388 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10712/stat : 10712 (java) S 10624 10626 10594 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831088368 10877325312 295176 33554432000 1073741824 1073778376 140734938494544 18446744073709551615 218382773760 0 4 0 16800975 18446604455471390848 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10622388

Child status: 143
Real time (s): 947.979
CPU time (s): 1800.23
CPU user time (s): 1799.76
CPU system time (s): 0.471928
CPU usage (%): 189.902
Max. virtual memory (cumulated for all children) (KiB): 10622388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.471928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302476
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= 29666
involuntary context switches= 24697

runsolver used 3.66944 second user time and 8.5567 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-04 15:36:34
IDJOB=3453944
IDBENCH=48148
IDSOLVER=1950
FILE ID=node101/3453944-1307194594
RUNJOBID= node101-1307194594-10613
PBS_JOBID= 13508865
Free space on /tmp= 74008 MiB

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

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=1134023645

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23599292 kB
Buffers:        291928 kB
Cached:         640400 kB
SwapCached:      27120 kB
Active:        8501552 kB
Inactive:       570964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23599292 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:             828 kB
Writeback:           0 kB
AnonPages:     8135740 kB
Mapped:          16952 kB
Slab:           137092 kB
PageTables:      74320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78588804 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= 74004 MiB
End job on node101 at 2011-06-04 15:52:24