Trace number 3453924

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)14 1800.3 948.199

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1797.14
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 constraint44
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)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3453924-1307194475.opb
0.11/0.11	c reading problem ... 
1.06/0.53	c ... done. Wall clock time 0.422s.
1.06/0.53	c #vars     6404
1.06/0.53	c #constraints  12608
1.06/0.53	c constraints type 
1.06/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
1.06/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1.06/0.53	c constraints type 
1.06/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6404
1.06/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
1.41/0.64	c  And the winner is Resolution
1.87/1.04	c SATISFIABLE
1.87/1.04	c OPTIMIZING...
1.87/1.04	c Got one! Elapsed wall clock time (in seconds):0.932
1.87/1.04	o 15
4.30/2.06	c  And the winner is CuttingPlanes
4.47/2.55	c Got one! Elapsed wall clock time (in seconds):2.445
4.47/2.55	o 14
5.04/2.81	c cleaning 2585 clauses out of 5172 with flag 1000/5172
7.50/4.05	c cleaning 4288 clauses out of 8587 with flag 7000/11172
10.66/5.60	c cleaning 5648 clauses out of 11300 with flag 14001/18173
14.32/7.47	c cleaning 6824 clauses out of 13651 with flag 22000/26172
18.44/9.53	c cleaning 7910 clauses out of 15828 with flag 31001/35173
22.98/11.85	c cleaning 8954 clauses out of 17919 with flag 41002/45174
28.52/14.64	c cleaning 9978 clauses out of 19963 with flag 52000/56172
34.04/17.42	c cleaning 10987 clauses out of 21985 with flag 64000/68172
39.93/20.43	c cleaning 11996 clauses out of 23998 with flag 77000/81172
45.28/23.15	c cleaning 12497 clauses out of 25002 with flag 90000/94172
51.78/26.49	c cleaning 12750 clauses out of 25505 with flag 103000/107172
59.87/30.58	c cleaning 12877 clauses out of 25755 with flag 116000/120172
65.89/33.66	c cleaning 12937 clauses out of 25879 with flag 129001/133173
71.77/36.69	c cleaning 12967 clauses out of 25941 with flag 142000/146172
77.85/39.73	c cleaning 12986 clauses out of 25976 with flag 155002/159174
83.93/42.86	c cleaning 12988 clauses out of 25990 with flag 168002/172174
90.33/46.16	c cleaning 12998 clauses out of 26003 with flag 181003/185175
97.02/49.51	c cleaning 12998 clauses out of 26003 with flag 194001/198173
103.05/52.66	c cleaning 12995 clauses out of 26004 with flag 207000/211172
109.50/55.90	c cleaning 12999 clauses out of 26010 with flag 220001/224173
116.07/59.34	c cleaning 12999 clauses out of 26010 with flag 233000/237172
123.70/63.26	c cleaning 13002 clauses out of 26012 with flag 246001/250173
131.54/67.26	c cleaning 13000 clauses out of 26009 with flag 259000/263172
137.38/70.24	c cleaning 13000 clauses out of 26009 with flag 272000/276172
144.72/74.01	c cleaning 13004 clauses out of 26009 with flag 285000/289172
151.37/77.45	c cleaning 13003 clauses out of 26007 with flag 298002/302174
157.20/80.44	c cleaning 12996 clauses out of 26003 with flag 311001/315173
163.46/83.64	c cleaning 12997 clauses out of 26006 with flag 324000/328172
169.97/87.07	c cleaning 12996 clauses out of 26010 with flag 337001/341173
176.60/90.42	c cleaning 13000 clauses out of 26013 with flag 350000/354172
183.03/93.77	c cleaning 12997 clauses out of 26014 with flag 363001/367173
189.65/97.13	c cleaning 13002 clauses out of 26017 with flag 376001/380173
196.39/100.61	c cleaning 13001 clauses out of 26016 with flag 389002/393174
202.21/103.66	c cleaning 13003 clauses out of 26014 with flag 402001/406173
207.63/106.42	c cleaning 13000 clauses out of 26010 with flag 415000/419172
213.85/109.64	c cleaning 12997 clauses out of 26010 with flag 428000/432172
219.99/112.84	c cleaning 13000 clauses out of 26013 with flag 441000/445172
226.60/116.20	c cleaning 12999 clauses out of 26015 with flag 454002/458174
234.42/120.22	c cleaning 13001 clauses out of 26014 with flag 467000/471172
241.85/124.03	c cleaning 13002 clauses out of 26014 with flag 480001/484173
248.81/127.66	c cleaning 13001 clauses out of 26013 with flag 493002/497174
255.99/131.37	c cleaning 12999 clauses out of 26012 with flag 506002/510174
262.60/134.77	c cleaning 13000 clauses out of 26012 with flag 519001/523173
269.01/138.06	c cleaning 12996 clauses out of 26012 with flag 532001/536173
276.12/141.77	c cleaning 13001 clauses out of 26015 with flag 545000/549172
283.34/145.44	c cleaning 13002 clauses out of 26015 with flag 558001/562173
289.94/148.85	c cleaning 13000 clauses out of 26016 with flag 571004/575176
296.94/152.47	c cleaning 12995 clauses out of 26013 with flag 584001/588173
303.43/155.82	c cleaning 13003 clauses out of 26017 with flag 597000/601172
310.03/159.27	c cleaning 13002 clauses out of 26015 with flag 610001/614173
316.41/162.56	c cleaning 12999 clauses out of 26012 with flag 623000/627172
323.01/165.96	c cleaning 13001 clauses out of 26014 with flag 636001/640173
329.71/169.46	c cleaning 12999 clauses out of 26012 with flag 649000/653172
335.88/172.64	c cleaning 12998 clauses out of 26014 with flag 662001/666173
341.66/175.68	c cleaning 13004 clauses out of 26016 with flag 675001/679173
348.64/179.30	c cleaning 12999 clauses out of 26011 with flag 688000/692172
356.10/183.13	c cleaning 13002 clauses out of 26013 with flag 701001/705173
363.49/186.98	c cleaning 12999 clauses out of 26010 with flag 714000/718172
370.85/190.74	c cleaning 12999 clauses out of 26011 with flag 727000/731172
378.23/194.55	c cleaning 13003 clauses out of 26017 with flag 740005/744177
386.09/198.63	c cleaning 13003 clauses out of 26013 with flag 753004/757176
394.07/202.71	c cleaning 13001 clauses out of 26012 with flag 766006/770178
402.08/206.86	c cleaning 12998 clauses out of 26006 with flag 779001/783173
408.62/210.27	c cleaning 12998 clauses out of 26007 with flag 792000/796172
414.89/213.54	c cleaning 12999 clauses out of 26011 with flag 805002/809174
421.10/216.79	c cleaning 12997 clauses out of 26010 with flag 818000/822172
427.64/220.16	c cleaning 13002 clauses out of 26015 with flag 831002/835174
434.21/223.57	c cleaning 13001 clauses out of 26011 with flag 844000/848172
441.08/227.17	c cleaning 12998 clauses out of 26010 with flag 857000/861172
447.85/230.68	c cleaning 12999 clauses out of 26012 with flag 870000/874172
454.63/234.14	c cleaning 13003 clauses out of 26013 with flag 883000/887172
461.00/237.49	c cleaning 13002 clauses out of 26011 with flag 896001/900173
467.86/241.00	c cleaning 13001 clauses out of 26008 with flag 909000/913172
475.03/244.72	c cleaning 13002 clauses out of 26009 with flag 922002/926174
481.60/248.13	c cleaning 12998 clauses out of 26006 with flag 935001/939173
487.97/251.43	c cleaning 12996 clauses out of 26008 with flag 948001/952173
494.82/255.03	c cleaning 12998 clauses out of 26012 with flag 961001/965173
501.19/258.38	c cleaning 12999 clauses out of 26013 with flag 974000/978172
508.15/261.94	c cleaning 13000 clauses out of 26016 with flag 987002/991174
515.11/265.59	c cleaning 13001 clauses out of 26017 with flag 1000003/1004175
522.79/269.53	c cleaning 13001 clauses out of 26015 with flag 1013002/1017174
529.53/273.01	c cleaning 13000 clauses out of 26015 with flag 1026003/1030175
536.29/276.59	c cleaning 12998 clauses out of 26013 with flag 1039001/1043173
543.26/280.12	c cleaning 13004 clauses out of 26017 with flag 1052003/1056175
550.11/283.76	c cleaning 12997 clauses out of 26010 with flag 1065000/1069172
556.70/287.18	c cleaning 12999 clauses out of 26013 with flag 1078000/1082172
562.84/290.35	c cleaning 12999 clauses out of 26014 with flag 1091000/1095172
568.79/293.50	c cleaning 12999 clauses out of 26015 with flag 1104000/1108172
574.82/296.68	c cleaning 12999 clauses out of 26016 with flag 1117000/1121172
581.19/299.90	c cleaning 12999 clauses out of 26022 with flag 1130005/1134177
587.34/303.10	c cleaning 13005 clauses out of 26019 with flag 1143001/1147173
593.49/306.32	c cleaning 13001 clauses out of 26013 with flag 1156000/1160172
599.72/309.61	c cleaning 12996 clauses out of 26014 with flag 1169002/1173174
606.07/312.92	c cleaning 13006 clauses out of 26017 with flag 1182001/1186173
613.22/316.64	c cleaning 13000 clauses out of 26010 with flag 1195000/1199172
620.01/320.18	c cleaning 13001 clauses out of 26014 with flag 1208004/1212176
627.39/324.09	c cleaning 12998 clauses out of 26012 with flag 1221003/1225175
634.55/327.74	c cleaning 12999 clauses out of 26011 with flag 1234000/1238172
642.09/331.64	c cleaning 12999 clauses out of 26012 with flag 1247000/1251172
649.44/335.46	c cleaning 13003 clauses out of 26015 with flag 1260002/1264174
657.23/339.55	c cleaning 13001 clauses out of 26014 with flag 1273004/1277176
664.76/343.45	c cleaning 12999 clauses out of 26009 with flag 1286000/1290172
672.31/347.39	c cleaning 12998 clauses out of 26010 with flag 1299000/1303172
679.84/351.24	c cleaning 13000 clauses out of 26014 with flag 1312002/1316174
687.46/355.28	c cleaning 13000 clauses out of 26014 with flag 1325002/1329174
693.79/358.55	c cleaning 12997 clauses out of 26012 with flag 1338000/1342172
699.71/361.66	c cleaning 13001 clauses out of 26015 with flag 1351000/1355172
707.03/365.46	c cleaning 13001 clauses out of 26014 with flag 1364000/1368172
714.01/369.11	c cleaning 13000 clauses out of 26014 with flag 1377001/1381173
720.31/372.47	c cleaning 12997 clauses out of 26013 with flag 1390000/1394172
727.41/376.12	c cleaning 13001 clauses out of 26017 with flag 1403001/1407173
733.51/379.41	c cleaning 0 clauses out of 5113 with flag 0/5113
734.66/380.19	c cleaning 13000 clauses out of 26015 with flag 1416000/1420172
741.16/383.52	c cleaning 13000 clauses out of 26016 with flag 1429001/1433173
747.64/386.92	c cleaning 13000 clauses out of 26015 with flag 1442000/1446172
753.93/390.29	c cleaning 12999 clauses out of 26015 with flag 1455000/1459172
760.46/393.78	c cleaning 13003 clauses out of 26016 with flag 1468000/1472172
767.33/397.33	c cleaning 13001 clauses out of 26017 with flag 1481004/1485176
774.41/401.06	c cleaning 13001 clauses out of 26012 with flag 1494000/1498172
781.73/404.84	c cleaning 13001 clauses out of 26014 with flag 1507003/1511175
788.22/408.38	c cleaning 12998 clauses out of 26011 with flag 1520001/1524173
795.10/411.90	c cleaning 12997 clauses out of 26012 with flag 1533000/1537172
802.17/415.66	c cleaning 13004 clauses out of 26017 with flag 1546002/1550174
809.45/419.41	c cleaning 12997 clauses out of 26011 with flag 1559000/1563172
817.18/423.59	c cleaning 13005 clauses out of 26017 with flag 1572003/1576175
824.82/427.53	c cleaning 12998 clauses out of 26011 with flag 1585002/1589174
832.09/431.36	c cleaning 13001 clauses out of 26011 with flag 1598000/1602172
839.96/435.50	c cleaning 12999 clauses out of 26010 with flag 1611000/1615172
847.43/439.48	c cleaning 12998 clauses out of 26011 with flag 1624000/1628172
854.29/443.09	c cleaning 13001 clauses out of 26014 with flag 1637001/1641173
861.75/446.90	c cleaning 12999 clauses out of 26012 with flag 1650000/1654172
869.00/450.75	c cleaning 13001 clauses out of 26014 with flag 1663001/1667173
876.48/454.77	c cleaning 13002 clauses out of 26014 with flag 1676002/1680174
884.16/458.73	c cleaning 13001 clauses out of 26011 with flag 1689001/1693173
891.58/462.66	c cleaning 12999 clauses out of 26010 with flag 1702001/1706173
899.63/466.84	c cleaning 13001 clauses out of 26010 with flag 1715000/1719172
907.48/471.02	c cleaning 12997 clauses out of 26009 with flag 1728000/1732172
915.13/475.04	c cleaning 13003 clauses out of 26015 with flag 1741003/1745175
922.77/479.06	c cleaning 12998 clauses out of 26012 with flag 1754003/1758175
930.80/483.21	c cleaning 13000 clauses out of 26013 with flag 1767002/1771174
937.65/486.98	c cleaning 13000 clauses out of 26011 with flag 1780000/1784172
945.08/490.85	c cleaning 13000 clauses out of 26013 with flag 1793002/1797174
952.50/494.76	c cleaning 13000 clauses out of 26013 with flag 1806002/1810174
959.91/498.68	c cleaning 12999 clauses out of 26011 with flag 1819000/1823172
967.93/502.91	c cleaning 13002 clauses out of 26016 with flag 1832004/1836176
975.55/507.00	c cleaning 12999 clauses out of 26010 with flag 1845000/1849172
983.35/511.00	c cleaning 13000 clauses out of 26012 with flag 1858001/1862173
991.15/515.13	c cleaning 12999 clauses out of 26012 with flag 1871001/1875173
999.17/519.41	c cleaning 13000 clauses out of 26012 with flag 1884000/1888172
1007.20/523.63	c cleaning 12998 clauses out of 26012 with flag 1897000/1901172
1014.98/527.73	c cleaning 13001 clauses out of 26014 with flag 1910000/1914172
1023.01/531.91	c cleaning 13002 clauses out of 26014 with flag 1923001/1927173
1031.25/536.36	c cleaning 13000 clauses out of 26012 with flag 1936001/1940173
1039.28/540.55	c cleaning 12999 clauses out of 26011 with flag 1949000/1953172
1047.50/544.83	c cleaning 12998 clauses out of 26012 with flag 1962000/1966172
1055.37/548.94	c cleaning 13001 clauses out of 26014 with flag 1975000/1979172
1063.38/553.30	c cleaning 13000 clauses out of 26013 with flag 1988000/1992172
1070.19/556.85	c cleaning 13002 clauses out of 26014 with flag 2001001/2005173
1076.82/560.33	c cleaning 13001 clauses out of 26012 with flag 2014001/2018173
1083.04/563.68	c cleaning 12997 clauses out of 26010 with flag 2027000/2031172
1089.86/567.30	c cleaning 13000 clauses out of 26013 with flag 2040000/2044172
1096.48/570.83	c cleaning 13000 clauses out of 26013 with flag 2053000/2057172
1104.07/574.87	c cleaning 13001 clauses out of 26014 with flag 2066001/2070173
1111.87/578.93	c cleaning 13001 clauses out of 26012 with flag 2079000/2083172
1118.47/582.58	c cleaning 12999 clauses out of 26011 with flag 2092000/2096172
1125.28/586.14	c cleaning 13000 clauses out of 26013 with flag 2105001/2109173
1132.07/589.73	c cleaning 12997 clauses out of 26012 with flag 2118000/2122172
1139.07/593.47	c cleaning 13004 clauses out of 26017 with flag 2131002/2135174
1147.25/597.85	c cleaning 12998 clauses out of 26012 with flag 2144001/2148173
1154.86/601.87	c cleaning 13004 clauses out of 26014 with flag 2157001/2161173
1162.65/605.90	c cleaning 12998 clauses out of 26011 with flag 2170002/2174174
1170.24/609.96	c cleaning 12999 clauses out of 26011 with flag 2183000/2187172
1177.02/613.69	c cleaning 13000 clauses out of 26012 with flag 2196000/2200172
1183.81/617.24	c cleaning 13000 clauses out of 26013 with flag 2209001/2213173
1190.59/620.80	c cleaning 13001 clauses out of 26013 with flag 2222001/2226173
1197.18/624.31	c cleaning 13000 clauses out of 26011 with flag 2235000/2239172
1203.95/628.10	c cleaning 13002 clauses out of 26012 with flag 2248001/2252173
1210.35/631.45	c cleaning 12999 clauses out of 26009 with flag 2261000/2265172
1216.69/634.87	c cleaning 12997 clauses out of 26010 with flag 2274000/2278172
1223.06/638.28	c cleaning 13004 clauses out of 26013 with flag 2287000/2291172
1230.02/642.07	c cleaning 12999 clauses out of 26010 with flag 2300001/2304173
1236.79/645.66	c cleaning 12999 clauses out of 26010 with flag 2313000/2317172
1244.14/649.54	c cleaning 12997 clauses out of 26011 with flag 2326000/2330172
1251.31/653.36	c cleaning 12998 clauses out of 26014 with flag 2339000/2343172
1258.83/657.48	c cleaning 13001 clauses out of 26017 with flag 2352001/2356173
1266.40/661.40	c cleaning 12998 clauses out of 26015 with flag 2365000/2369172
1273.75/665.39	c cleaning 13003 clauses out of 26018 with flag 2378001/2382173
1281.72/669.56	c cleaning 12997 clauses out of 26014 with flag 2391000/2395172
1289.44/673.76	c cleaning 13003 clauses out of 26019 with flag 2404002/2408174
1297.39/677.92	c cleaning 13003 clauses out of 26014 with flag 2417000/2421172
1304.73/681.88	c cleaning 12998 clauses out of 26012 with flag 2430001/2434173
1311.88/685.68	c cleaning 13003 clauses out of 26014 with flag 2443001/2447173
1319.58/689.86	c cleaning 12997 clauses out of 26010 with flag 2456000/2460172
1326.92/693.79	c cleaning 13000 clauses out of 26013 with flag 2469000/2473172
1334.45/697.78	c cleaning 13001 clauses out of 26014 with flag 2482001/2486173
1342.38/701.96	c cleaning 13002 clauses out of 26012 with flag 2495000/2499172
1350.31/706.26	c cleaning 12997 clauses out of 26010 with flag 2508000/2512172
1358.20/710.47	c cleaning 13000 clauses out of 26015 with flag 2521002/2525174
1365.71/714.48	c cleaning 13001 clauses out of 26014 with flag 2534001/2538173
1373.23/718.48	c cleaning 12999 clauses out of 26012 with flag 2547000/2551172
1381.31/722.80	c cleaning 13000 clauses out of 26014 with flag 2560001/2564173
1389.02/726.98	c cleaning 13000 clauses out of 26013 with flag 2573000/2577172
1396.75/731.00	c cleaning 12999 clauses out of 26013 with flag 2586000/2590172
1404.66/735.21	c cleaning 13002 clauses out of 26016 with flag 2599002/2603174
1412.91/739.78	c cleaning 12999 clauses out of 26012 with flag 2612000/2616172
1420.62/743.84	c cleaning 13001 clauses out of 26014 with flag 2625001/2629173
1428.15/747.88	c cleaning 13002 clauses out of 26012 with flag 2638000/2642172
1435.85/751.94	c cleaning 12998 clauses out of 26011 with flag 2651001/2655173
1443.70/756.25	c cleaning 13001 clauses out of 26012 with flag 2664000/2668172
1451.81/760.51	c cleaning 13001 clauses out of 26012 with flag 2677001/2681173
1460.11/764.92	c cleaning 13002 clauses out of 26010 with flag 2690000/2694172
1468.03/769.16	c cleaning 13000 clauses out of 26009 with flag 2703001/2707173
1476.07/773.51	c cleaning 12997 clauses out of 26008 with flag 2716000/2720172
1484.00/777.71	c cleaning 12997 clauses out of 26011 with flag 2729000/2733172
1491.87/781.95	c cleaning 13002 clauses out of 26014 with flag 2742000/2746172
1499.77/786.19	c cleaning 12997 clauses out of 26012 with flag 2755000/2759172
1508.41/790.89	c cleaning 13001 clauses out of 26016 with flag 2768001/2772173
1516.50/795.16	c cleaning 12997 clauses out of 26014 with flag 2781000/2785172
1524.81/799.56	c cleaning 13001 clauses out of 26018 with flag 2794001/2798173
1532.91/803.81	c cleaning 13001 clauses out of 26016 with flag 2807000/2811172
1541.57/808.54	c cleaning 13005 clauses out of 26015 with flag 2820000/2824172
1550.23/813.11	c cleaning 13001 clauses out of 26011 with flag 2833001/2837173
1558.32/817.43	c cleaning 12999 clauses out of 26009 with flag 2846000/2850172
1566.61/821.89	c cleaning 13000 clauses out of 26010 with flag 2859000/2863172
1575.23/826.59	c cleaning 13001 clauses out of 26012 with flag 2872002/2876174
1583.91/831.18	c cleaning 12999 clauses out of 26009 with flag 2885000/2889172
1592.02/835.49	c cleaning 12999 clauses out of 26010 with flag 2898000/2902172
1600.51/839.96	c cleaning 13002 clauses out of 26011 with flag 2911000/2915172
1609.34/844.77	c cleaning 13002 clauses out of 26013 with flag 2924004/2928176
1618.01/849.33	c cleaning 13000 clauses out of 26007 with flag 2937000/2941172
1626.12/853.67	c cleaning 13000 clauses out of 26008 with flag 2950001/2954173
1634.39/858.09	c cleaning 12997 clauses out of 26009 with flag 2963002/2967174
1643.16/862.87	c cleaning 12999 clauses out of 26010 with flag 2976000/2980172
1651.64/867.39	c cleaning 13002 clauses out of 26011 with flag 2989000/2993172
1657.89/870.79	c cleaning 13002 clauses out of 26011 with flag 3002002/3006174
1665.16/874.67	c cleaning 12999 clauses out of 26007 with flag 3015000/3019172
1672.55/878.73	c cleaning 12999 clauses out of 26008 with flag 3028000/3032172
1680.03/882.78	c cleaning 12998 clauses out of 26010 with flag 3041001/3045173
1687.09/886.60	c cleaning 13001 clauses out of 26012 with flag 3054001/3058173
1694.14/890.32	c cleaning 12996 clauses out of 26011 with flag 3067001/3071173
1701.37/894.39	c cleaning 13002 clauses out of 26016 with flag 3080002/3084174
1708.83/898.32	c cleaning 12998 clauses out of 26012 with flag 3093000/3097172
1716.49/902.40	c cleaning 13004 clauses out of 26015 with flag 3106001/3110173
1724.15/906.50	c cleaning 12991 clauses out of 26010 with flag 3119000/3123172
1731.45/910.65	c cleaning 13005 clauses out of 26019 with flag 3132000/3136172
1739.46/914.91	c cleaning 13001 clauses out of 26015 with flag 3145001/3149173
1746.86/918.98	c cleaning 13003 clauses out of 26017 with flag 3158004/3162176
1754.66/923.17	c cleaning 12999 clauses out of 26010 with flag 3171000/3175172
1762.37/927.50	c cleaning 13001 clauses out of 26011 with flag 3184000/3188172
1769.36/931.28	c cleaning 13000 clauses out of 26010 with flag 3197000/3201172
1776.43/935.10	c cleaning 13000 clauses out of 26012 with flag 3210002/3214174
1783.66/938.96	c cleaning 12999 clauses out of 26012 with flag 3223002/3227174
1791.24/943.13	c cleaning 12997 clauses out of 26013 with flag 3236002/3240174
1798.50/947.04	c cleaning 12996 clauses out of 26015 with flag 3249001/3253173
1800.18/948.14	c starts		: 35
1800.18/948.14	c conflicts		: 9325
1800.18/948.14	c decisions		: 21702
1800.18/948.14	c propagations		: 2484211
1800.18/948.14	c inspects		: 394356311
1800.18/948.14	c shortcuts		: 0
1800.18/948.14	c learnt literals	: 0
1800.18/948.14	c learnt binary clauses	: 0
1800.18/948.14	c learnt ternary clauses	: 0
1800.18/948.14	c learnt constraints	: 9325
1800.18/948.14	c ignored constraints	: 0
1800.18/948.14	c root simplifications	: 0
1800.18/948.14	c removed literals (reason simplification)	: 0
1800.18/948.14	c reason swapping (by a shorter reason)	: 0
1800.18/948.14	c Calls to reduceDB	: 1
1800.18/948.14	c number of reductions to clauses (during analyze)	: 0
1800.18/948.14	c number of learned constraints concerned by reduction	: 0
1800.18/948.14	c number of learning phase by resolution	: 0
1800.18/948.14	c number of learning phase by cutting planes	: 0
1800.18/948.14	c speed (assignments/second)	: 2627.179480129148
1800.18/948.14	c non guided choices	0
1800.18/948.14	c learnt constraints type 
1800.18/948.14	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.18/948.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 197
1800.18/948.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9122
1800.18/948.14	c constraints type 
1800.18/948.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
1800.18/948.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.18/948.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.18/948.14	c constraints type 
1800.18/948.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6404
1800.18/948.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.18/948.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
1800.18/948.14	s SATISFIABLE
1800.18/948.14	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.18/948.14	c objective function=14
1800.18/948.14	c Total wall clock time (in seconds): 948.036

Verifier Data 

OK	14

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.78 2.97 3.48 3/457 1185
/proc/meminfo: memFree=19831840/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 831045408 31260672 956 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 7632 956 730 9 0 383 0
[pid=1185/tid=1186] ppid=1183 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) R 1183 1185 29081 0 -1 4202560 5696 0 1 0 0 0 0 0 25 0 2 0 831045409 10694979584 6511 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0591071 s]
/proc/loadavg: 1.78 2.97 3.48 3/457 1185
/proc/meminfo: memFree=19831840/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10472924 CPUtime=0.05 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 11666 0 1 0 4 1 0 0 25 0 18 0 831045408 10724274176 11362 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2618231 11363 1733 9 0 2608972 0
[pid=1185/tid=1186] ppid=1183 vsize=10472924 CPUtime=0.04 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) R 1183 1185 29081 0 -1 4202560 10494 0 1 0 3 1 0 0 25 0 18 0 831045409 10724274176 11365 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 47780331932499 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924

[startup+0.101101 s]
/proc/loadavg: 1.78 2.97 3.48 3/457 1185
/proc/meminfo: memFree=19831840/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10540044 CPUtime=0.11 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 13116 0 1 0 9 2 0 0 25 0 18 0 831045408 10793005056 12780 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2635011 12780 2093 9 0 2625745 0
[pid=1185/tid=1186] ppid=1183 vsize=10540044 CPUtime=0.08 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) R 1183 1185 29081 0 -1 4202560 11187 0 1 0 7 1 0 0 18 0 18 0 831045409 10793005056 12780 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255376960108 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540044

[startup+0.301043 s]
/proc/loadavg: 1.78 2.97 3.48 3/457 1185
/proc/meminfo: memFree=19831840/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10541788 CPUtime=0.47 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 15498 0 1 0 45 2 0 0 25 0 18 0 831045408 10794790912 15006 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2635447 15007 2209 9 0 2626181 0
[pid=1185/tid=1186] ppid=1183 vsize=10541788 CPUtime=0.29 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) R 1183 1185 29081 0 -1 4202560 12794 0 1 0 27 2 0 0 18 0 18 0 831045409 10794790912 15007 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912505539311 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541788

[startup+0.70098 s]
/proc/loadavg: 1.78 2.97 3.48 3/457 1185
/proc/meminfo: memFree=19831840/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10557100 CPUtime=1.73 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 27210 0 1 0 168 5 0 0 25 0 19 0 831045408 10810470400 23924 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2639275 23924 2241 9 0 2630009 0
[pid=1185/tid=1186] ppid=1183 vsize=10557100 CPUtime=0.52 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) S 1183 1185 29081 0 -1 4202560 16808 0 1 0 49 3 0 0 19 0 19 0 831045409 10810470400 23924 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10557100

[startup+1.50731 s]
/proc/loadavg: 1.78 2.97 3.48 3/476 1207
/proc/meminfo: memFree=19271652/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10557100 CPUtime=3.28 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 49742 0 1 0 320 8 0 0 25 0 22 0 831045408 10810470400 46454 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2639275 46460 2246 9 0 2630009 0
[pid=1185/tid=1186] ppid=1183 vsize=10557100 CPUtime=0.53 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) S 1183 1185 29081 0 -1 4202560 16870 0 1 0 50 3 0 0 17 0 22 0 831045409 10810470400 46462 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1188] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1188/stat : 1188 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46465 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1189] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1189/stat : 1189 (java) S 1183 1185 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46468 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1190] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1190/stat : 1190 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46471 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1191] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1191/stat : 1191 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46473 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1192] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1192/stat : 1192 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46476 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1193] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1193/stat : 1193 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46479 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1194] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1194/stat : 1194 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46482 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1195] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1195/stat : 1195 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045410 10810470400 46484 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1196] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1196/stat : 1196 (java) S 1183 1185 29081 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 22 0 831045411 10810470400 46486 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 0 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1197] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1197/stat : 1197 (java) S 1183 1185 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831045412 10810470400 46488 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1198] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1198/stat : 1198 (java) S 1183 1185 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831045412 10810470400 46490 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1199] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1199/stat : 1199 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 46494 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389125041 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1200] ppid=1183 vsize=10557100 CPUtime=0.81 cores=0,2,4,6
/proc/1185/task/1200/stat : 1200 (java) S 1183 1185 29081 0 -1 4202560 4649 0 0 0 80 1 0 0 15 0 22 0 831045414 10810470400 46496 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1201] ppid=1183 vsize=10557100 CPUtime=0.77 cores=0,2,4,6
/proc/1185/task/1201/stat : 1201 (java) S 1183 1185 29081 0 -1 4202560 4111 0 0 0 77 0 0 0 16 0 22 0 831045414 10810470400 46497 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1202] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1202/stat : 1202 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 46497 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1203] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1203/stat : 1203 (java) R 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831045414 10810470400 46499 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1185/tid=1207] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1207/stat : 1207 (java) S 1183 1185 29081 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831045463 10810470400 46501 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 10557100

[startup+3.10155 s]
/proc/loadavg: 1.78 2.97 3.48 3/476 1213
/proc/meminfo: memFree=18731632/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10557100 CPUtime=5.61 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 110859 0 1 0 545 16 0 0 25 0 22 0 831045408 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2639275 107566 2272 9 0 2630009 0
[pid=1185/tid=1186] ppid=1183 vsize=10557100 CPUtime=0.53 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) S 1183 1185 29081 0 -1 4202560 16909 0 1 0 50 3 0 0 15 0 22 0 831045409 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1188] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1188/stat : 1188 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1189] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1189/stat : 1189 (java) S 1183 1185 29081 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1190] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1190/stat : 1190 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1191] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1191/stat : 1191 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1192] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1192/stat : 1192 (java) S 1183 1185 29081 0 -1 4202560 713 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1193] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1193/stat : 1193 (java) S 1183 1185 29081 0 -1 4202560 885 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1194] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1194/stat : 1194 (java) S 1183 1185 29081 0 -1 4202560 1007 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1195] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1195/stat : 1195 (java) S 1183 1185 29081 0 -1 4202560 946 0 0 0 0 0 0 0 18 0 22 0 831045410 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1196] ppid=1183 vsize=10557100 CPUtime=0.05 cores=0,2,4,6
/proc/1185/task/1196/stat : 1196 (java) S 1183 1185 29081 0 -1 4202560 3537 0 0 0 5 0 0 0 16 0 22 0 831045411 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 0 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1197] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1197/stat : 1197 (java) S 1183 1185 29081 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1198] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1198/stat : 1198 (java) S 1183 1185 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1199] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1199/stat : 1199 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389125041 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1200] ppid=1183 vsize=10557100 CPUtime=0.88 cores=0,2,4,6
/proc/1185/task/1200/stat : 1200 (java) S 1183 1185 29081 0 -1 4202560 4662 0 0 0 87 1 0 0 15 0 22 0 831045414 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1201] ppid=1183 vsize=10557100 CPUtime=0.85 cores=0,2,4,6
/proc/1185/task/1201/stat : 1201 (java) S 1183 1185 29081 0 -1 4202560 4123 0 0 0 85 0 0 0 15 0 22 0 831045414 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1202] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1202/stat : 1202 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1203] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1203/stat : 1203 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831045414 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1210] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1210/stat : 1210 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831045513 10810470400 107566 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 10557100

[startup+6.3009 s]
/proc/loadavg: 1.80 2.95 3.47 5/479 1219
/proc/meminfo: memFree=18317728/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10557100 CPUtime=12.12 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 141616 0 1 0 1192 20 0 0 25 0 22 0 831045408 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2639275 138130 2272 9 0 2630009 0
[pid=1185/tid=1186] ppid=1183 vsize=10557100 CPUtime=0.53 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) S 1183 1185 29081 0 -1 4202560 16909 0 1 0 50 3 0 0 15 0 22 0 831045409 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1188] ppid=1183 vsize=10557100 CPUtime=0.01 cores=0,2,4,6
/proc/1185/task/1188/stat : 1188 (java) S 1183 1185 29081 0 -1 4202560 777 0 0 0 1 0 0 0 15 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1189] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1189/stat : 1189 (java) S 1183 1185 29081 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1190] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1190/stat : 1190 (java) S 1183 1185 29081 0 -1 4202560 602 0 0 0 0 0 0 0 15 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1191] ppid=1183 vsize=10557100 CPUtime=0.01 cores=0,2,4,6
/proc/1185/task/1191/stat : 1191 (java) S 1183 1185 29081 0 -1 4202560 554 0 0 0 1 0 0 0 16 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1192] ppid=1183 vsize=10557100 CPUtime=0.01 cores=0,2,4,6
/proc/1185/task/1192/stat : 1192 (java) S 1183 1185 29081 0 -1 4202560 713 0 0 0 1 0 0 0 15 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1193] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1193/stat : 1193 (java) S 1183 1185 29081 0 -1 4202560 885 0 0 0 0 0 0 0 15 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1194] ppid=1183 vsize=10557100 CPUtime=0.01 cores=0,2,4,6
/proc/1185/task/1194/stat : 1194 (java) S 1183 1185 29081 0 -1 4202560 1008 0 0 0 1 0 0 0 15 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1195] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1195/stat : 1195 (java) S 1183 1185 29081 0 -1 4202560 984 0 0 0 0 0 0 0 15 0 22 0 831045410 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1196] ppid=1183 vsize=10557100 CPUtime=0.17 cores=0,2,4,6
/proc/1185/task/1196/stat : 1196 (java) S 1183 1185 29081 0 -1 4202560 6454 0 0 0 17 0 0 0 15 0 22 0 831045411 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 0 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1197] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1197/stat : 1197 (java) S 1183 1185 29081 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1198] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1198/stat : 1198 (java) S 1183 1185 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1199] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1199/stat : 1199 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389125041 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1200] ppid=1183 vsize=10557100 CPUtime=0.98 cores=0,2,4,6
/proc/1185/task/1200/stat : 1200 (java) S 1183 1185 29081 0 -1 4202560 5122 0 0 0 97 1 0 0 16 0 22 0 831045414 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1201] ppid=1183 vsize=10557100 CPUtime=0.97 cores=0,2,4,6
/proc/1185/task/1201/stat : 1201 (java) S 1183 1185 29081 0 -1 4202560 4184 0 0 0 97 0 0 0 16 0 22 0 831045414 10810470400 138130 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0

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

[pid=1185/tid=1214] ppid=1183 vsize=10557100 CPUtime=788.67 cores=0,2,4,6
/proc/1185/task/1214/stat : 1214 (java) R 1183 1185 29081 0 -1 4202560 2292 0 0 0 78866 1 0 0 25 0 22 0 831045664 10810470400 293190 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912506068874 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1185/tid=1215] ppid=1183 vsize=10557100 CPUtime=788.68 cores=0,2,4,6
/proc/1185/task/1215/stat : 1215 (java) R 1183 1185 29081 0 -1 4202560 127420 0 0 0 78850 18 0 0 25 0 22 0 831045664 10810470400 293190 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912506011788 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1185/tid=1216] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1216/stat : 1216 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831045664 10810470400 293190 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1679.23
Current children cumulated vsize (KiB) 10557100

[startup+942.302 s]
/proc/loadavg: 3.23 3.74 3.69 3/452 1273
/proc/meminfo: memFree=19500664/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10557100 CPUtime=1789.64 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 299639 0 1 0 178915 49 0 0 25 0 22 0 831045408 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2639275 295518 2273 9 0 2630009 0
[pid=1185/tid=1186] ppid=1183 vsize=10557100 CPUtime=0.54 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) S 1183 1185 29081 0 -1 4202560 16945 0 1 0 51 3 0 0 15 0 22 0 831045409 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1188] ppid=1183 vsize=10557100 CPUtime=1.06 cores=0,2,4,6
/proc/1185/task/1188/stat : 1188 (java) S 1183 1185 29081 0 -1 4202560 838 0 0 0 106 0 0 0 15 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1189] ppid=1183 vsize=10557100 CPUtime=1.12 cores=0,2,4,6
/proc/1185/task/1189/stat : 1189 (java) S 1183 1185 29081 0 -1 4202560 307 0 0 0 112 0 0 0 16 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1190] ppid=1183 vsize=10557100 CPUtime=1.12 cores=0,2,4,6
/proc/1185/task/1190/stat : 1190 (java) S 1183 1185 29081 0 -1 4202560 1063 0 0 0 112 0 0 0 16 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1191] ppid=1183 vsize=10557100 CPUtime=1.15 cores=0,2,4,6
/proc/1185/task/1191/stat : 1191 (java) S 1183 1185 29081 0 -1 4202560 649 0 0 0 115 0 0 0 15 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1192] ppid=1183 vsize=10557100 CPUtime=1.16 cores=0,2,4,6
/proc/1185/task/1192/stat : 1192 (java) S 1183 1185 29081 0 -1 4202560 842 0 0 0 116 0 0 0 15 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1193] ppid=1183 vsize=10557100 CPUtime=1.18 cores=0,2,4,6
/proc/1185/task/1193/stat : 1193 (java) S 1183 1185 29081 0 -1 4202560 1132 0 0 0 118 0 0 0 15 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1194] ppid=1183 vsize=10557100 CPUtime=1.13 cores=0,2,4,6
/proc/1185/task/1194/stat : 1194 (java) S 1183 1185 29081 0 -1 4202560 1155 0 0 0 113 0 0 0 16 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1195] ppid=1183 vsize=10557100 CPUtime=1.06 cores=0,2,4,6
/proc/1185/task/1195/stat : 1195 (java) S 1183 1185 29081 0 -1 4202560 1411 0 0 0 106 0 0 0 16 0 22 0 831045410 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1196] ppid=1183 vsize=10557100 CPUtime=98.44 cores=0,2,4,6
/proc/1185/task/1196/stat : 1196 (java) S 1183 1185 29081 0 -1 4202560 79570 0 0 0 9831 13 0 0 15 0 22 0 831045411 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 0 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1197] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1197/stat : 1197 (java) S 1183 1185 29081 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1198] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1198/stat : 1198 (java) S 1183 1185 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1199] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1199/stat : 1199 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389125041 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1200] ppid=1183 vsize=10557100 CPUtime=1.08 cores=0,2,4,6
/proc/1185/task/1200/stat : 1200 (java) S 1183 1185 29081 0 -1 4202560 5136 0 0 0 107 1 0 0 16 0 22 0 831045414 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1201] ppid=1183 vsize=10557100 CPUtime=1.04 cores=0,2,4,6
/proc/1185/task/1201/stat : 1201 (java) S 1183 1185 29081 0 -1 4202560 4184 0 0 0 104 0 0 0 16 0 22 0 831045414 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1202] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1202/stat : 1202 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1203] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1203/stat : 1203 (java) S 1183 1185 29081 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831045414 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1210] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1210/stat : 1210 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831045513 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1214] ppid=1183 vsize=10557100 CPUtime=838.58 cores=0,2,4,6
/proc/1185/task/1214/stat : 1214 (java) R 1183 1185 29081 0 -1 4202560 2301 0 0 0 83857 1 0 0 22 0 22 0 831045664 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912505978638 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1185/tid=1215] ppid=1183 vsize=10557100 CPUtime=838.6 cores=0,2,4,6
/proc/1185/task/1215/stat : 1215 (java) R 1183 1185 29081 0 -1 4202560 127420 0 0 0 83841 19 0 0 22 0 22 0 831045664 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912506020945 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1185/tid=1216] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1216/stat : 1216 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831045664 10810470400 295518 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (KiB) 10557100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+948.102 s]
/proc/loadavg: 2.96 3.66 3.67 4/452 1273
/proc/meminfo: memFree=19499292/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10557100 CPUtime=1800.18 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 299975 0 1 0 179969 49 0 0 25 0 22 0 831045408 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2639275 295848 2273 9 0 2630009 0
[pid=1185/tid=1186] ppid=1183 vsize=10557100 CPUtime=0.54 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) S 1183 1185 29081 0 -1 4202560 16945 0 1 0 51 3 0 0 15 0 22 0 831045409 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1188] ppid=1183 vsize=10557100 CPUtime=1.06 cores=0,2,4,6
/proc/1185/task/1188/stat : 1188 (java) S 1183 1185 29081 0 -1 4202560 838 0 0 0 106 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1189] ppid=1183 vsize=10557100 CPUtime=1.14 cores=0,2,4,6
/proc/1185/task/1189/stat : 1189 (java) S 1183 1185 29081 0 -1 4202560 307 0 0 0 114 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1190] ppid=1183 vsize=10557100 CPUtime=1.13 cores=0,2,4,6
/proc/1185/task/1190/stat : 1190 (java) S 1183 1185 29081 0 -1 4202560 1064 0 0 0 113 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1191] ppid=1183 vsize=10557100 CPUtime=1.16 cores=0,2,4,6
/proc/1185/task/1191/stat : 1191 (java) S 1183 1185 29081 0 -1 4202560 650 0 0 0 116 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1192] ppid=1183 vsize=10557100 CPUtime=1.17 cores=0,2,4,6
/proc/1185/task/1192/stat : 1192 (java) S 1183 1185 29081 0 -1 4202560 842 0 0 0 117 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1193] ppid=1183 vsize=10557100 CPUtime=1.18 cores=0,2,4,6
/proc/1185/task/1193/stat : 1193 (java) S 1183 1185 29081 0 -1 4202560 1132 0 0 0 118 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1194] ppid=1183 vsize=10557100 CPUtime=1.14 cores=0,2,4,6
/proc/1185/task/1194/stat : 1194 (java) S 1183 1185 29081 0 -1 4202560 1155 0 0 0 114 0 0 0 16 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1195] ppid=1183 vsize=10557100 CPUtime=1.08 cores=0,2,4,6
/proc/1185/task/1195/stat : 1195 (java) S 1183 1185 29081 0 -1 4202560 1411 0 0 0 108 0 0 0 16 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1196] ppid=1183 vsize=10557100 CPUtime=99.58 cores=0,2,4,6
/proc/1185/task/1196/stat : 1196 (java) S 1183 1185 29081 0 -1 4202560 79900 0 0 0 9945 13 0 0 16 0 22 0 831045411 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 0 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1197] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1197/stat : 1197 (java) S 1183 1185 29081 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1198] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1198/stat : 1198 (java) S 1183 1185 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1199] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1199/stat : 1199 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389125041 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1200] ppid=1183 vsize=10557100 CPUtime=1.08 cores=0,2,4,6
/proc/1185/task/1200/stat : 1200 (java) S 1183 1185 29081 0 -1 4202560 5136 0 0 0 107 1 0 0 16 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1201] ppid=1183 vsize=10557100 CPUtime=1.04 cores=0,2,4,6
/proc/1185/task/1201/stat : 1201 (java) S 1183 1185 29081 0 -1 4202560 4184 0 0 0 104 0 0 0 16 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1202] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1202/stat : 1202 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1203] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1203/stat : 1203 (java) S 1183 1185 29081 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1210] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1210/stat : 1210 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831045513 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1214] ppid=1183 vsize=10557100 CPUtime=843.25 cores=0,2,4,6
/proc/1185/task/1214/stat : 1214 (java) R 1183 1185 29081 0 -1 4202560 2303 0 0 0 84324 1 0 0 20 0 22 0 831045664 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912506068575 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1185/tid=1215] ppid=1183 vsize=10557100 CPUtime=843.26 cores=0,2,4,6
/proc/1185/task/1215/stat : 1215 (java) R 1183 1185 29081 0 -1 4202560 127420 0 0 0 84307 19 0 0 20 0 22 0 831045664 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912506011781 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1185/tid=1216] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1216/stat : 1216 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831045664 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10557100

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

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

[startup+948.102 s]
/proc/loadavg: 2.96 3.66 3.67 4/452 1273
/proc/meminfo: memFree=19499292/32951124 swapFree=60787360/67111528
[pid=1185] ppid=1183 vsize=10557100 CPUtime=1800.18 cores=0,2,4,6
/proc/1185/stat : 1185 (java) S 1183 1185 29081 0 -1 4202496 299975 0 1 0 179969 49 0 0 25 0 22 0 831045408 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1185/statm: 2639275 295848 2273 9 0 2630009 0
[pid=1185/tid=1186] ppid=1183 vsize=10557100 CPUtime=0.54 cores=0,2,4,6
/proc/1185/task/1186/stat : 1186 (java) S 1183 1185 29081 0 -1 4202560 16945 0 1 0 51 3 0 0 15 0 22 0 831045409 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1188] ppid=1183 vsize=10557100 CPUtime=1.06 cores=0,2,4,6
/proc/1185/task/1188/stat : 1188 (java) S 1183 1185 29081 0 -1 4202560 838 0 0 0 106 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1189] ppid=1183 vsize=10557100 CPUtime=1.14 cores=0,2,4,6
/proc/1185/task/1189/stat : 1189 (java) S 1183 1185 29081 0 -1 4202560 307 0 0 0 114 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1190] ppid=1183 vsize=10557100 CPUtime=1.13 cores=0,2,4,6
/proc/1185/task/1190/stat : 1190 (java) S 1183 1185 29081 0 -1 4202560 1064 0 0 0 113 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1191] ppid=1183 vsize=10557100 CPUtime=1.16 cores=0,2,4,6
/proc/1185/task/1191/stat : 1191 (java) S 1183 1185 29081 0 -1 4202560 650 0 0 0 116 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1192] ppid=1183 vsize=10557100 CPUtime=1.17 cores=0,2,4,6
/proc/1185/task/1192/stat : 1192 (java) S 1183 1185 29081 0 -1 4202560 842 0 0 0 117 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1193] ppid=1183 vsize=10557100 CPUtime=1.18 cores=0,2,4,6
/proc/1185/task/1193/stat : 1193 (java) S 1183 1185 29081 0 -1 4202560 1132 0 0 0 118 0 0 0 15 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1194] ppid=1183 vsize=10557100 CPUtime=1.14 cores=0,2,4,6
/proc/1185/task/1194/stat : 1194 (java) S 1183 1185 29081 0 -1 4202560 1155 0 0 0 114 0 0 0 16 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1195] ppid=1183 vsize=10557100 CPUtime=1.08 cores=0,2,4,6
/proc/1185/task/1195/stat : 1195 (java) S 1183 1185 29081 0 -1 4202560 1411 0 0 0 108 0 0 0 16 0 22 0 831045410 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1196] ppid=1183 vsize=10557100 CPUtime=99.58 cores=0,2,4,6
/proc/1185/task/1196/stat : 1196 (java) S 1183 1185 29081 0 -1 4202560 79900 0 0 0 9945 13 0 0 16 0 22 0 831045411 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 0 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1197] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1197/stat : 1197 (java) S 1183 1185 29081 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1198] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1198/stat : 1198 (java) S 1183 1185 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831045412 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1199] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1199/stat : 1199 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389125041 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1200] ppid=1183 vsize=10557100 CPUtime=1.08 cores=0,2,4,6
/proc/1185/task/1200/stat : 1200 (java) S 1183 1185 29081 0 -1 4202560 5136 0 0 0 107 1 0 0 16 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1201] ppid=1183 vsize=10557100 CPUtime=1.04 cores=0,2,4,6
/proc/1185/task/1201/stat : 1201 (java) S 1183 1185 29081 0 -1 4202560 4184 0 0 0 104 0 0 0 16 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 6 0 0 0
[pid=1185/tid=1202] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1202/stat : 1202 (java) S 1183 1185 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117337 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
[pid=1185/tid=1203] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1203/stat : 1203 (java) S 1183 1185 29081 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831045414 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 0 0 0 0
[pid=1185/tid=1210] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1210/stat : 1210 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831045513 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 4 0 0 0
[pid=1185/tid=1214] ppid=1183 vsize=10557100 CPUtime=843.25 cores=0,2,4,6
/proc/1185/task/1214/stat : 1214 (java) R 1183 1185 29081 0 -1 4202560 2303 0 0 0 84324 1 0 0 20 0 22 0 831045664 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912506068575 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1185/tid=1215] ppid=1183 vsize=10557100 CPUtime=843.26 cores=0,2,4,6
/proc/1185/task/1215/stat : 1215 (java) R 1183 1185 29081 0 -1 4202560 127420 0 0 0 84307 19 0 0 20 0 22 0 831045664 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 46912506011781 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1185/tid=1216] ppid=1183 vsize=10557100 CPUtime=0 cores=0,2,4,6
/proc/1185/task/1216/stat : 1216 (java) S 1183 1185 29081 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831045664 10810470400 295848 33554432000 1073741824 1073778376 140733284118992 18446744073709551615 255389117952 0 4 0 16800975 18446604443839615232 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10557100

Child status: 143
Real time (s): 948.199
CPU time (s): 1800.3
CPU user time (s): 1799.75
CPU system time (s): 0.548916
CPU usage (%): 189.865
Max. virtual memory (cumulated for all children) (KiB): 10557100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.548916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300001
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= 29432
involuntary context switches= 11115

runsolver used 4.64929 second user time and 9.2136 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 15:34:35
IDJOB=3453924
IDBENCH=48128
IDSOLVER=1950
FILE ID=node135/3453924-1307194475
RUNJOBID= node135-1307194471-1026
PBS_JOBID= 13508851
Free space on /tmp= 73964 MiB

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

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=1083645871

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19833112 kB
Buffers:        272032 kB
Cached:         643108 kB
SwapCached:       6168 kB
Active:       12302148 kB
Inactive:       555300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19833112 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:            1524 kB
Writeback:           0 kB
AnonPages:    11941484 kB
Mapped:          34136 kB
Slab:           126756 kB
PageTables:      67632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134755196 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73964 MiB
End job on node135 at 2011-06-04 15:50:26