Trace number 3453941

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.23 945.479

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark491.485
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 constraint45
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)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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-3453941-1307194577.opb
0.10/0.11	c reading problem ... 
1.05/0.53	c ... done. Wall clock time 0.419s.
1.05/0.53	c #vars     6420
1.05/0.53	c #constraints  12640
1.05/0.53	c constraints type 
1.05/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6420
1.05/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1.05/0.53	c constraints type 
1.05/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6420
1.05/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
1.41/0.64	c  And the winner is Resolution
1.84/1.04	c SATISFIABLE
1.84/1.04	c OPTIMIZING...
1.84/1.04	c Got one! Elapsed wall clock time (in seconds):0.93
1.84/1.04	o 17
1.84/1.06	c  And the winner is Resolution
1.97/1.55	c Got one! Elapsed wall clock time (in seconds):1.441
1.97/1.55	o 16
2.15/1.60	c  And the winner is Resolution
2.22/2.06	c Got one! Elapsed wall clock time (in seconds):1.949
2.22/2.06	o 15
4.88/3.23	c cleaning 2549 clauses out of 5103 with flag 5002/5103
7.37/4.49	c cleaning 4270 clauses out of 8552 with flag 11000/11101
10.30/5.92	c cleaning 5635 clauses out of 11282 with flag 18000/18101
13.46/7.51	c cleaning 6821 clauses out of 13648 with flag 26001/26102
16.89/9.22	c  And the winner is CuttingPlanes
16.93/9.61	c Got one! Elapsed wall clock time (in seconds):9.504
16.93/9.61	o 14
18.94/10.62	c cleaning 9979 clauses out of 19970 with flag 5000/39245
21.28/11.89	c cleaning 7992 clauses out of 15991 with flag 11000/45245
24.41/13.42	c cleaning 7494 clauses out of 15000 with flag 18001/52246
27.93/15.20	c cleaning 7749 clauses out of 15506 with flag 26001/60246
31.62/17.18	c cleaning 8375 clauses out of 16759 with flag 35003/69248
36.14/19.46	c cleaning 9188 clauses out of 18381 with flag 45000/79245
41.08/21.95	c cleaning 10092 clauses out of 20193 with flag 56000/90245
46.55/24.79	c cleaning 11044 clauses out of 22103 with flag 68002/102247
52.44/27.77	c cleaning 12021 clauses out of 24058 with flag 81001/115246
58.56/30.83	c cleaning 12512 clauses out of 25036 with flag 94000/128245
65.05/34.13	c cleaning 12757 clauses out of 25525 with flag 107001/141246
71.09/37.24	c cleaning 12879 clauses out of 25768 with flag 120001/154246
76.50/40.08	c cleaning 12942 clauses out of 25889 with flag 133001/167246
82.78/43.22	c cleaning 12968 clauses out of 25947 with flag 146001/180246
89.64/46.78	c cleaning 12983 clauses out of 25978 with flag 159000/193245
97.13/50.54	c cleaning 12994 clauses out of 25995 with flag 172000/206245
102.67/53.49	c cleaning 12997 clauses out of 26001 with flag 185000/219245
108.52/56.46	c cleaning 12997 clauses out of 26005 with flag 198001/232246
115.16/59.87	c cleaning 13002 clauses out of 26007 with flag 211000/245245
121.20/62.95	c cleaning 13000 clauses out of 26006 with flag 224001/258246
127.20/66.02	c cleaning 13000 clauses out of 26006 with flag 237001/271246
132.61/68.89	c cleaning 12995 clauses out of 26007 with flag 250002/284247
138.43/71.86	c cleaning 13004 clauses out of 26011 with flag 263001/297246
143.86/74.65	c cleaning 12996 clauses out of 26006 with flag 276000/310245
150.63/78.17	c cleaning 12999 clauses out of 26010 with flag 289000/323245
157.41/81.66	c cleaning 13000 clauses out of 26011 with flag 302000/336245
164.42/85.27	c cleaning 12999 clauses out of 26011 with flag 315000/349245
171.86/89.08	c cleaning 13002 clauses out of 26013 with flag 328001/362246
179.75/93.18	c cleaning 12998 clauses out of 26011 with flag 341001/375246
186.55/96.63	c cleaning 12999 clauses out of 26012 with flag 354000/388245
193.18/100.09	c cleaning 13000 clauses out of 26014 with flag 367001/401246
199.95/103.57	c cleaning 13002 clauses out of 26013 with flag 380000/414245
206.64/107.02	c cleaning 13006 clauses out of 26013 with flag 393002/427247
212.63/110.10	c cleaning 12996 clauses out of 26005 with flag 406000/440245
218.86/113.35	c cleaning 12999 clauses out of 26009 with flag 419000/453245
225.99/117.00	c cleaning 12998 clauses out of 26010 with flag 432000/466245
232.25/120.38	c cleaning 13000 clauses out of 26015 with flag 445003/479248
238.83/123.70	c cleaning 13001 clauses out of 26013 with flag 458001/492246
245.20/127.06	c cleaning 13000 clauses out of 26012 with flag 471001/505246
251.36/130.23	c cleaning 12997 clauses out of 26011 with flag 484000/518245
257.40/133.41	c cleaning 13002 clauses out of 26017 with flag 497003/531248
263.56/136.66	c cleaning 13002 clauses out of 26012 with flag 510000/544245
269.72/139.83	c cleaning 13001 clauses out of 26011 with flag 523001/557246
277.07/143.64	c cleaning 13000 clauses out of 26009 with flag 536000/570245
284.35/147.46	c cleaning 12999 clauses out of 26009 with flag 549000/583245
291.66/151.28	c cleaning 13001 clauses out of 26013 with flag 562003/596248
299.27/155.15	c cleaning 13001 clauses out of 26010 with flag 575001/609246
306.59/158.96	c cleaning 13001 clauses out of 26008 with flag 588000/622245
312.83/162.27	c cleaning 12999 clauses out of 26007 with flag 601000/635245
319.59/165.76	c cleaning 12999 clauses out of 26009 with flag 614001/648246
325.54/168.83	c cleaning 13002 clauses out of 26009 with flag 627000/661245
331.91/172.17	c cleaning 12998 clauses out of 26007 with flag 640000/674245
338.14/175.48	c cleaning 13000 clauses out of 26010 with flag 653001/687246
344.70/178.89	c cleaning 12999 clauses out of 26009 with flag 666000/700245
351.05/182.11	c cleaning 12997 clauses out of 26010 with flag 679000/713245
357.21/185.34	c cleaning 13001 clauses out of 26015 with flag 692002/726247
363.84/188.89	c cleaning 13002 clauses out of 26013 with flag 705001/739246
370.60/192.35	c cleaning 12998 clauses out of 26011 with flag 718001/752246
376.94/195.70	c cleaning 13000 clauses out of 26013 with flag 731001/765246
383.89/199.29	c cleaning 12995 clauses out of 26012 with flag 744000/778245
391.32/203.17	c cleaning 13005 clauses out of 26019 with flag 757002/791247
397.87/206.56	c cleaning 12998 clauses out of 26012 with flag 770000/804245
404.85/210.12	c cleaning 13002 clauses out of 26017 with flag 783003/817248
411.56/213.69	c cleaning 13000 clauses out of 26015 with flag 796003/830248
418.98/217.54	c cleaning 12996 clauses out of 26012 with flag 809000/843245
426.33/221.30	c cleaning 13002 clauses out of 26016 with flag 822000/856245
434.07/225.31	c cleaning 12998 clauses out of 26014 with flag 835000/869245
441.41/229.12	c cleaning 13002 clauses out of 26016 with flag 848000/882245
449.43/233.32	c cleaning 13002 clauses out of 26016 with flag 861002/895247
457.18/237.35	c cleaning 12999 clauses out of 26013 with flag 874001/908246
464.32/241.05	c cleaning 13002 clauses out of 26014 with flag 887001/921246
470.30/244.13	c cleaning 13002 clauses out of 26012 with flag 900001/934246
477.09/247.71	c cleaning 13000 clauses out of 26009 with flag 913000/947245
483.25/250.98	c cleaning 13002 clauses out of 26009 with flag 926000/960245
489.79/254.36	c cleaning 12998 clauses out of 26008 with flag 939001/973246
496.33/257.80	c cleaning 12998 clauses out of 26009 with flag 952000/986245
503.57/261.58	c cleaning 13000 clauses out of 26014 with flag 965003/999248
510.12/264.91	c cleaning 12999 clauses out of 26011 with flag 978000/1012245
516.27/268.12	c cleaning 13002 clauses out of 26014 with flag 991002/1025247
522.62/271.42	c cleaning 12996 clauses out of 26010 with flag 1004000/1038245
528.84/274.78	c cleaning 13002 clauses out of 26015 with flag 1017001/1051246
535.83/278.33	c cleaning 12999 clauses out of 26013 with flag 1030001/1064246
542.53/281.87	c cleaning 13000 clauses out of 26013 with flag 1043000/1077245
549.48/285.44	c cleaning 13001 clauses out of 26013 with flag 1056000/1090245
556.74/289.29	c cleaning 13002 clauses out of 26014 with flag 1069002/1103247
563.65/292.85	c cleaning 12999 clauses out of 26010 with flag 1082000/1116245
570.39/296.34	c cleaning 13001 clauses out of 26012 with flag 1095001/1129246
577.34/299.94	c cleaning 12998 clauses out of 26010 with flag 1108000/1142245
584.56/303.72	c cleaning 13002 clauses out of 26013 with flag 1121001/1155246
591.29/307.25	c cleaning 12997 clauses out of 26011 with flag 1134001/1168246
598.24/310.85	c cleaning 13002 clauses out of 26014 with flag 1147001/1181246
605.42/314.57	c cleaning 12997 clauses out of 26012 with flag 1160001/1194246
612.21/318.15	c cleaning 13001 clauses out of 26015 with flag 1173001/1207246
618.75/321.58	c cleaning 13001 clauses out of 26015 with flag 1186002/1220247
625.69/325.13	c cleaning 13001 clauses out of 26014 with flag 1199002/1233247
632.86/328.84	c cleaning 12999 clauses out of 26011 with flag 1212000/1246245
640.25/332.70	c cleaning 12996 clauses out of 26012 with flag 1225000/1259245
647.63/336.53	c cleaning 13001 clauses out of 26016 with flag 1238000/1272245
654.54/340.18	c cleaning 13000 clauses out of 26015 with flag 1251000/1285245
660.89/343.47	c cleaning 13000 clauses out of 26017 with flag 1264002/1298247
667.51/346.96	c cleaning 12998 clauses out of 26017 with flag 1277002/1311247
674.45/350.59	c cleaning 13001 clauses out of 26017 with flag 1290000/1324245
681.78/354.31	c cleaning 12999 clauses out of 26017 with flag 1303001/1337246
688.91/358.03	c cleaning 13003 clauses out of 26019 with flag 1316002/1350247
696.13/361.87	c cleaning 13003 clauses out of 26014 with flag 1329000/1363245
701.83/364.84	c cleaning 13002 clauses out of 26014 with flag 1342003/1376248
707.75/367.94	c cleaning 12996 clauses out of 26009 with flag 1355000/1389245
713.88/371.13	c cleaning 13000 clauses out of 26013 with flag 1368000/1402245
720.47/374.64	c cleaning 13003 clauses out of 26014 with flag 1381001/1415246
727.38/378.21	c cleaning 12997 clauses out of 26010 with flag 1394000/1428245
734.14/381.73	c cleaning 12997 clauses out of 26013 with flag 1407000/1441245
740.63/385.12	c cleaning 13005 clauses out of 26018 with flag 1420002/1454247
747.39/388.76	c cleaning 13002 clauses out of 26011 with flag 1433000/1467245
754.31/392.31	c cleaning 13002 clauses out of 26010 with flag 1446001/1480246
761.02/395.88	c cleaning 13000 clauses out of 26009 with flag 1459002/1493247
767.93/399.46	c cleaning 12996 clauses out of 26008 with flag 1472001/1506246
775.49/403.40	c cleaning 13001 clauses out of 26012 with flag 1485001/1519246
782.79/407.20	c cleaning 13002 clauses out of 26011 with flag 1498001/1532246
790.08/411.00	c cleaning 12997 clauses out of 26008 with flag 1511000/1545245
797.38/414.88	c cleaning 13003 clauses out of 26012 with flag 1524001/1558246
804.92/418.81	c cleaning 12996 clauses out of 26008 with flag 1537000/1571245
811.85/422.47	c cleaning 12998 clauses out of 26013 with flag 1550001/1584246
819.30/426.31	c cleaning 13000 clauses out of 26016 with flag 1563002/1597247
826.79/430.22	c cleaning 12997 clauses out of 26014 with flag 1576000/1610245
834.76/434.47	c cleaning 13004 clauses out of 26017 with flag 1589000/1623245
842.22/438.30	c cleaning 13001 clauses out of 26015 with flag 1602002/1636247
849.74/442.26	c cleaning 12999 clauses out of 26012 with flag 1615000/1649245
856.19/445.68	c cleaning 12999 clauses out of 26014 with flag 1628001/1662246
862.71/449.14	c cleaning 12999 clauses out of 26015 with flag 1641001/1675246
869.19/452.56	c cleaning 13001 clauses out of 26017 with flag 1654002/1688247
875.47/455.87	c cleaning 12997 clauses out of 26014 with flag 1667000/1701245
881.95/459.26	c cleaning 13003 clauses out of 26018 with flag 1680001/1714246
888.67/462.85	c cleaning 12997 clauses out of 26014 with flag 1693000/1727245
895.15/466.25	c cleaning 13003 clauses out of 26017 with flag 1706000/1740245
901.86/469.77	c cleaning 12997 clauses out of 26014 with flag 1719000/1753245
908.50/473.23	c cleaning 13001 clauses out of 26019 with flag 1732002/1766247
915.81/477.13	c cleaning 13000 clauses out of 26016 with flag 1745000/1779245
922.52/480.65	c cleaning 13001 clauses out of 26017 with flag 1758001/1792246
928.79/483.99	c cleaning 13003 clauses out of 26018 with flag 1771003/1805248
930.67/485.06	c cleaning 0 clauses out of 5536 with flag 0/5537
936.07/487.94	c cleaning 12999 clauses out of 26012 with flag 1784000/1818245
942.74/491.48	c cleaning 12994 clauses out of 26013 with flag 1797000/1831245
949.81/495.11	c cleaning 13004 clauses out of 26020 with flag 1810001/1844246
956.68/498.73	c cleaning 12999 clauses out of 26016 with flag 1823001/1857246
964.25/502.77	c cleaning 13004 clauses out of 26016 with flag 1836000/1870245
971.28/506.48	c cleaning 12999 clauses out of 26012 with flag 1849000/1883245
978.77/510.39	c cleaning 13002 clauses out of 26016 with flag 1862003/1896248
986.20/514.22	c cleaning 12998 clauses out of 26011 with flag 1875000/1909245
992.88/517.87	c cleaning 12997 clauses out of 26013 with flag 1888000/1922245
999.94/521.50	c cleaning 12999 clauses out of 26017 with flag 1901001/1935246
1006.60/525.08	c cleaning 13003 clauses out of 26020 with flag 1914003/1948248
1013.65/528.79	c cleaning 12998 clauses out of 26015 with flag 1927001/1961246
1021.11/532.71	c cleaning 12999 clauses out of 26016 with flag 1940000/1974245
1028.56/536.61	c cleaning 13001 clauses out of 26017 with flag 1953000/1987245
1036.00/540.52	c cleaning 13002 clauses out of 26017 with flag 1966001/2000246
1043.50/544.50	c cleaning 13000 clauses out of 26016 with flag 1979002/2013247
1051.35/548.69	c cleaning 13005 clauses out of 26015 with flag 1992001/2026246
1057.80/552.03	c cleaning 13001 clauses out of 26011 with flag 2005002/2039247
1064.27/555.42	c cleaning 13000 clauses out of 26009 with flag 2018001/2052246
1071.09/559.04	c cleaning 13000 clauses out of 26008 with flag 2031000/2065245
1077.77/562.61	c cleaning 12998 clauses out of 26008 with flag 2044000/2078245
1084.21/566.07	c cleaning 12999 clauses out of 26010 with flag 2057000/2091245
1091.50/569.87	c cleaning 12999 clauses out of 26011 with flag 2070000/2104245
1098.31/573.49	c cleaning 13001 clauses out of 26016 with flag 2083004/2117249
1104.98/577.09	c cleaning 13000 clauses out of 26013 with flag 2096002/2130247
1111.62/580.53	c cleaning 12996 clauses out of 26012 with flag 2109001/2143246
1118.07/583.97	c cleaning 13004 clauses out of 26016 with flag 2122001/2156246
1124.92/587.55	c cleaning 12998 clauses out of 26011 with flag 2135000/2169245
1131.80/591.26	c cleaning 13003 clauses out of 26013 with flag 2148000/2182245
1138.86/594.90	c cleaning 12997 clauses out of 26012 with flag 2161002/2195247
1145.71/598.59	c cleaning 13002 clauses out of 26014 with flag 2174001/2208246
1152.96/602.39	c cleaning 12998 clauses out of 26012 with flag 2187001/2221246
1160.23/606.22	c cleaning 13002 clauses out of 26013 with flag 2200000/2234245
1167.48/610.01	c cleaning 13001 clauses out of 26013 with flag 2213002/2247247
1174.33/613.65	c cleaning 13001 clauses out of 26011 with flag 2226001/2260246
1181.58/617.49	c cleaning 12999 clauses out of 26009 with flag 2239000/2273245
1189.08/621.49	c cleaning 13002 clauses out of 26011 with flag 2252001/2286246
1196.29/625.26	c cleaning 12998 clauses out of 26008 with flag 2265000/2299245
1203.54/629.08	c cleaning 13001 clauses out of 26012 with flag 2278002/2312247
1210.23/632.56	c cleaning 13000 clauses out of 26009 with flag 2291000/2325245
1216.48/635.96	c cleaning 12999 clauses out of 26009 with flag 2304000/2338245
1222.72/639.24	c cleaning 12998 clauses out of 26010 with flag 2317000/2351245
1228.96/642.56	c cleaning 13001 clauses out of 26012 with flag 2330000/2364245
1235.40/645.91	c cleaning 12999 clauses out of 26011 with flag 2343000/2377245
1242.05/649.53	c cleaning 13000 clauses out of 26012 with flag 2356000/2390245
1248.49/652.98	c cleaning 13001 clauses out of 26012 with flag 2369000/2403245
1255.13/656.43	c cleaning 13001 clauses out of 26012 with flag 2382001/2416246
1261.80/659.97	c cleaning 13000 clauses out of 26011 with flag 2395001/2429246
1268.23/663.49	c cleaning 13000 clauses out of 26011 with flag 2408001/2442246
1275.06/667.03	c cleaning 12999 clauses out of 26011 with flag 2421001/2455246
1281.90/670.65	c cleaning 13005 clauses out of 26012 with flag 2434001/2468246
1288.33/674.07	c cleaning 12994 clauses out of 26006 with flag 2447000/2481245
1295.58/677.92	c cleaning 13001 clauses out of 26014 with flag 2460002/2494247
1302.61/681.69	c cleaning 13000 clauses out of 26012 with flag 2473001/2507246
1309.84/685.43	c cleaning 13001 clauses out of 26012 with flag 2486001/2520246
1317.08/689.22	c cleaning 12998 clauses out of 26010 with flag 2499000/2533245
1324.53/693.27	c cleaning 13000 clauses out of 26012 with flag 2512000/2546245
1331.56/696.97	c cleaning 13002 clauses out of 26015 with flag 2525003/2559248
1338.40/700.60	c cleaning 12998 clauses out of 26011 with flag 2538001/2572246
1345.61/704.32	c cleaning 12999 clauses out of 26012 with flag 2551000/2585245
1352.87/708.31	c cleaning 13000 clauses out of 26014 with flag 2564001/2598246
1360.30/712.18	c cleaning 13000 clauses out of 26014 with flag 2577001/2611246
1367.54/715.94	c cleaning 13000 clauses out of 26013 with flag 2590000/2624245
1374.97/719.81	c cleaning 13004 clauses out of 26015 with flag 2603002/2637247
1382.26/723.74	c cleaning 12997 clauses out of 26010 with flag 2616001/2650246
1389.45/727.54	c cleaning 13001 clauses out of 26012 with flag 2629000/2663245
1396.67/731.36	c cleaning 12998 clauses out of 26012 with flag 2642001/2676246
1404.10/735.22	c cleaning 12999 clauses out of 26013 with flag 2655000/2689245
1411.58/739.28	c cleaning 13001 clauses out of 26015 with flag 2668001/2702246
1419.56/743.44	c cleaning 13002 clauses out of 26014 with flag 2681001/2715246
1427.58/747.64	c cleaning 13000 clauses out of 26011 with flag 2694000/2728245
1435.60/751.84	c cleaning 12999 clauses out of 26012 with flag 2707001/2741246
1443.82/756.20	c cleaning 13003 clauses out of 26013 with flag 2720001/2754246
1451.83/760.40	c cleaning 12999 clauses out of 26009 with flag 2733000/2767245
1459.68/764.53	c cleaning 12999 clauses out of 26011 with flag 2746001/2780246
1467.46/768.61	c cleaning 12998 clauses out of 26011 with flag 2759000/2793245
1475.46/772.93	c cleaning 13001 clauses out of 26014 with flag 2772001/2806246
1483.27/777.03	c cleaning 12999 clauses out of 26012 with flag 2785000/2819245
1491.28/781.27	c cleaning 13002 clauses out of 26016 with flag 2798003/2832248
1499.11/785.36	c cleaning 12998 clauses out of 26011 with flag 2811000/2845245
1507.87/790.00	c cleaning 12999 clauses out of 26013 with flag 2824000/2858245
1515.70/794.17	c cleaning 12998 clauses out of 26014 with flag 2837000/2871245
1523.87/798.44	c cleaning 13003 clauses out of 26017 with flag 2850001/2884246
1531.87/802.66	c cleaning 13002 clauses out of 26013 with flag 2863000/2897245
1540.45/807.21	c cleaning 12997 clauses out of 26012 with flag 2876001/2910246
1549.07/811.77	c cleaning 13003 clauses out of 26017 with flag 2889003/2923248
1557.02/815.99	c cleaning 12999 clauses out of 26011 with flag 2902000/2936245
1565.20/820.25	c cleaning 12999 clauses out of 26013 with flag 2915001/2949246
1573.78/824.91	c cleaning 13001 clauses out of 26013 with flag 2928000/2962245
1582.59/829.44	c cleaning 12999 clauses out of 26013 with flag 2941001/2975246
1590.53/833.67	c cleaning 13001 clauses out of 26014 with flag 2954001/2988246
1598.10/837.64	c cleaning 13000 clauses out of 26012 with flag 2967000/3001245
1605.86/841.85	c cleaning 12997 clauses out of 26012 with flag 2980000/3014245
1612.84/845.55	c cleaning 13002 clauses out of 26015 with flag 2993000/3027245
1619.02/848.84	c cleaning 12999 clauses out of 26013 with flag 3006000/3040245
1626.04/852.53	c cleaning 13000 clauses out of 26014 with flag 3019000/3053245
1633.16/856.47	c cleaning 12999 clauses out of 26014 with flag 3032000/3066245
1640.53/860.34	c cleaning 13001 clauses out of 26015 with flag 3045000/3079245
1647.70/864.17	c cleaning 13000 clauses out of 26014 with flag 3058000/3092245
1655.07/868.07	c cleaning 13003 clauses out of 26015 with flag 3071001/3105246
1662.43/872.08	c cleaning 13002 clauses out of 26013 with flag 3084002/3118247
1669.80/875.94	c cleaning 12997 clauses out of 26009 with flag 3097000/3131245
1677.17/879.86	c cleaning 12999 clauses out of 26013 with flag 3110001/3144246
1684.34/883.68	c cleaning 13002 clauses out of 26013 with flag 3123000/3157245
1692.50/888.05	c cleaning 13001 clauses out of 26012 with flag 3136001/3170246
1700.10/892.04	c cleaning 12999 clauses out of 26014 with flag 3149004/3183249
1708.25/896.34	c cleaning 13000 clauses out of 26012 with flag 3162001/3196246
1716.01/900.50	c cleaning 13001 clauses out of 26015 with flag 3175004/3209249
1724.16/904.81	c cleaning 13003 clauses out of 26013 with flag 3188003/3222248
1730.72/908.37	c cleaning 12998 clauses out of 26008 with flag 3201001/3235246
1737.53/911.99	c cleaning 12998 clauses out of 26010 with flag 3214001/3248246
1744.65/915.74	c cleaning 12999 clauses out of 26011 with flag 3227000/3261245
1751.98/919.74	c cleaning 13001 clauses out of 26013 with flag 3240001/3274246
1758.95/923.48	c cleaning 12998 clauses out of 26012 with flag 3253001/3287246
1766.35/927.39	c cleaning 13003 clauses out of 26013 with flag 3266000/3300245
1773.67/931.22	c cleaning 12999 clauses out of 26010 with flag 3279000/3313245
1781.02/935.21	c cleaning 13001 clauses out of 26011 with flag 3292000/3326245
1787.98/938.92	c cleaning 13001 clauses out of 26013 with flag 3305003/3339248
1795.34/942.81	c cleaning 13003 clauses out of 26011 with flag 3318002/3352247
1800.14/945.42	c starts		: 32
1800.14/945.42	c conflicts		: 7582
1800.14/945.42	c decisions		: 20315
1800.14/945.42	c propagations		: 2366184
1800.14/945.42	c inspects		: 417409794
1800.14/945.42	c shortcuts		: 0
1800.14/945.42	c learnt literals	: 0
1800.14/945.42	c learnt binary clauses	: 0
1800.14/945.42	c learnt ternary clauses	: 0
1800.14/945.42	c learnt constraints	: 7581
1800.14/945.42	c ignored constraints	: 0
1800.14/945.42	c root simplifications	: 0
1800.14/945.42	c removed literals (reason simplification)	: 0
1800.14/945.42	c reason swapping (by a shorter reason)	: 0
1800.14/945.42	c Calls to reduceDB	: 1
1800.14/945.42	c number of reductions to clauses (during analyze)	: 0
1800.14/945.42	c number of learned constraints concerned by reduction	: 0
1800.14/945.42	c number of learning phase by resolution	: 0
1800.14/945.42	c number of learning phase by cutting planes	: 0
1800.14/945.42	c speed (assignments/second)	: 2528.487620350285
1800.14/945.42	c non guided choices	0
1800.14/945.43	c learnt constraints type 
1800.14/945.43	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.14/945.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 142
1800.14/945.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7437
1800.14/945.43	c constraints type 
1800.14/945.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6420
1800.14/945.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.14/945.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1800.14/945.43	c constraints type 
1800.14/945.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6420
1800.14/945.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.14/945.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6220
1800.14/945.43	s SATISFIABLE
1800.14/945.43	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.14/945.43	c objective function=14
1800.14/945.43	c Total wall clock time (in seconds): 945.322

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.43 3.65 3.74 4/556 28481
/proc/meminfo: memFree=27021476/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 6772 0 1 0 0 0 0 0 25 0 2 0 831055706 10694979584 6473 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2611079 6485 917 9 0 2602235 0
[pid=28481/tid=28482] ppid=28478 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) R 28478 28481 23781 0 -1 4202560 7731 0 1 0 0 0 0 0 25 0 2 0 831055706 10694979584 8547 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0463711 s]
/proc/loadavg: 3.43 3.65 3.74 4/556 28481
/proc/meminfo: memFree=27021476/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 11325 0 1 0 3 1 0 0 25 0 13 0 831055706 10718699520 11021 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2616870 11021 1678 9 0 2607618 0
[pid=28481/tid=28482] ppid=28478 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) R 28478 28481 23781 0 -1 4202560 10176 0 1 0 3 0 0 0 25 0 13 0 831055706 10718699520 11021 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228244344837 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.100352 s]
/proc/loadavg: 3.43 3.65 3.74 4/556 28481
/proc/meminfo: memFree=27021476/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10539904 CPUtime=0.1 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 13100 0 1 0 9 1 0 0 25 0 18 0 831055706 10792861696 12771 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2634976 12772 2092 9 0 2625710 0
[pid=28481/tid=28482] ppid=28478 vsize=10539904 CPUtime=0.08 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) R 28478 28481 23781 0 -1 4202560 11161 0 1 0 7 1 0 0 18 0 18 0 831055706 10792861696 12772 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 47179755346771 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539904

[startup+0.300318 s]
/proc/loadavg: 3.43 3.65 3.74 4/556 28481
/proc/meminfo: memFree=27021476/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10542184 CPUtime=0.46 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 15522 0 1 0 45 1 0 0 25 0 18 0 831055706 10795196416 15128 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2635546 15128 2208 9 0 2626280 0
[pid=28481/tid=28482] ppid=28478 vsize=10542184 CPUtime=0.28 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) R 28478 28481 23781 0 -1 4202560 12773 0 1 0 27 1 0 0 18 0 18 0 831055706 10795196416 15128 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 47179755346740 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542184

[startup+0.700247 s]
/proc/loadavg: 3.43 3.65 3.74 4/556 28481
/proc/meminfo: memFree=27021476/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10557152 CPUtime=1.72 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 26872 0 1 0 168 4 0 0 25 0 19 0 831055706 10810523648 23921 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2639288 23921 2241 9 0 2630022 0
[pid=28481/tid=28482] ppid=28478 vsize=10557152 CPUtime=0.52 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) S 28478 28481 23781 0 -1 4202560 16817 0 1 0 50 2 0 0 19 0 19 0 831055706 10810523648 23921 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10557152

[startup+1.50112 s]
/proc/loadavg: 3.39 3.64 3.74 6/575 28509
/proc/meminfo: memFree=26932876/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10557152 CPUtime=1.97 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 27537 0 1 0 193 4 0 0 25 0 19 0 831055706 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2639288 24584 2245 9 0 2630022 0
[pid=28481/tid=28482] ppid=28478 vsize=10557152 CPUtime=0.53 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) S 28478 28481 23781 0 -1 4202560 16879 0 1 0 51 2 0 0 17 0 19 0 831055706 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28485] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28485/stat : 28485 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28486] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28486/stat : 28486 (java) S 28478 28481 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28487] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28487/stat : 28487 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28488] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28488/stat : 28488 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28489] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28489/stat : 28489 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28491] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28491/stat : 28491 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28492] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28492/stat : 28492 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28494] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28494/stat : 28494 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055708 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28495] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28495/stat : 28495 (java) S 28478 28481 23781 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 831055709 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 0 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28497] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28497/stat : 28497 (java) S 28478 28481 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831055709 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28498] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28498/stat : 28498 (java) S 28478 28481 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831055709 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28499] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28499/stat : 28499 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055711 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256172465 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28500] ppid=28478 vsize=10557152 CPUtime=0.55 cores=1,3,5,7
/proc/28481/task/28500/stat : 28500 (java) S 28478 28481 23781 0 -1 4202560 3994 0 0 0 55 0 0 0 23 0 19 0 831055711 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28501] ppid=28478 vsize=10557152 CPUtime=0.56 cores=1,3,5,7
/proc/28481/task/28501/stat : 28501 (java) S 28478 28481 23781 0 -1 4202560 4354 0 0 0 56 0 0 0 15 0 19 0 831055711 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28503] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28503/stat : 28503 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831055711 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28504] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28504/stat : 28504 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831055711 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28509] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28509/stat : 28509 (java) S 28478 28481 23781 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831055761 10810523648 24584 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 10557152

[startup+3.10079 s]
/proc/loadavg: 3.39 3.64 3.74 7/578 28520
/proc/meminfo: memFree=26917820/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10557152 CPUtime=4.65 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 93775 0 1 0 452 13 0 0 25 0 22 0 831055706 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2639288 90699 2248 9 0 2630022 0
[pid=28481/tid=28482] ppid=28478 vsize=10557152 CPUtime=0.53 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) S 28478 28481 23781 0 -1 4202560 16958 0 1 0 51 2 0 0 15 0 22 0 831055706 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28485] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28485/stat : 28485 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28486] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28486/stat : 28486 (java) S 28478 28481 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28487] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28487/stat : 28487 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28488] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28488/stat : 28488 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28489] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28489/stat : 28489 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28491] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28491/stat : 28491 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28492] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28492/stat : 28492 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28494] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28494/stat : 28494 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055708 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28495] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28495/stat : 28495 (java) S 28478 28481 23781 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831055709 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 0 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28497] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28497/stat : 28497 (java) S 28478 28481 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831055709 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28498] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28498/stat : 28498 (java) S 28478 28481 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831055709 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28499] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28499/stat : 28499 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256172465 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28500] ppid=28478 vsize=10557152 CPUtime=0.83 cores=1,3,5,7
/proc/28481/task/28500/stat : 28500 (java) S 28478 28481 23781 0 -1 4202560 4030 0 0 0 83 0 0 0 15 0 22 0 831055711 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28501] ppid=28478 vsize=10557152 CPUtime=0.8 cores=1,3,5,7
/proc/28481/task/28501/stat : 28501 (java) S 28478 28481 23781 0 -1 4202560 4507 0 0 0 80 0 0 0 15 0 22 0 831055711 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28503] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28503/stat : 28503 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28504] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28504/stat : 28504 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055711 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28509] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28509/stat : 28509 (java) S 28478 28481 23781 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831055761 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28517] ppid=28478 vsize=10557152 CPUtime=1.03 cores=1,3,5,7
/proc/28481/task/28517/stat : 28517 (java) R 28478 28481 23781 0 -1 4202560 720 0 0 0 103 0 0 0 18 0 22 0 831055912 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912505949084 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28481/tid=28519] ppid=28478 vsize=10557152 CPUtime=1.01 cores=1,3,5,7
/proc/28481/task/28519/stat : 28519 (java) R 28478 28481 23781 0 -1 4202560 64315 0 0 0 93 8 0 0 19 0 22 0 831055912 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912505571088 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28481/tid=28520] ppid=28478 vsize=10557152 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28520/stat : 28520 (java) S 28478 28481 23781 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831055912 10810523648 90699 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 10557152

[startup+6.30123 s]
/proc/loadavg: 3.39 3.64 3.74 4/578 28520
/proc/meminfo: memFree=26323348/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10553016 CPUtime=11.06 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 186035 0 1 0 1082 24 0 0 25 0 22 0 831055706 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2638254 181959 2272 9 0 2628988 0
[pid=28481/tid=28482] ppid=28478 vsize=10553016 CPUtime=0.53 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) S 28478 28481 23781 0 -1 4202560 16959 0 1 0 51 2 0 0 15 0 22 0 831055706 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28485] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28485/stat : 28485 (java) S 28478 28481 23781 0 -1 4202560 553 0 0 0 0 0 0 0 15 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28486] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28486/stat : 28486 (java) S 28478 28481 23781 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28487] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28487/stat : 28487 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28488] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28488/stat : 28488 (java) S 28478 28481 23781 0 -1 4202560 928 0 0 0 0 0 0 0 18 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28489] ppid=28478 vsize=10553016 CPUtime=0.01 cores=1,3,5,7
/proc/28481/task/28489/stat : 28489 (java) S 28478 28481 23781 0 -1 4202560 690 0 0 0 1 0 0 0 18 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28491] ppid=28478 vsize=10553016 CPUtime=0.01 cores=1,3,5,7
/proc/28481/task/28491/stat : 28491 (java) S 28478 28481 23781 0 -1 4202560 729 0 0 0 1 0 0 0 18 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28492] ppid=28478 vsize=10553016 CPUtime=0.01 cores=1,3,5,7
/proc/28481/task/28492/stat : 28492 (java) S 28478 28481 23781 0 -1 4202560 1018 0 0 0 1 0 0 0 15 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28494] ppid=28478 vsize=10553016 CPUtime=0.01 cores=1,3,5,7
/proc/28481/task/28494/stat : 28494 (java) S 28478 28481 23781 0 -1 4202560 1471 0 0 0 1 0 0 0 18 0 22 0 831055708 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28495] ppid=28478 vsize=10553016 CPUtime=0.17 cores=1,3,5,7
/proc/28481/task/28495/stat : 28495 (java) S 28478 28481 23781 0 -1 4202560 6145 0 0 0 17 0 0 0 16 0 22 0 831055709 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 0 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28497] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28497/stat : 28497 (java) S 28478 28481 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28498] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28498/stat : 28498 (java) S 28478 28481 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 181959 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0

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

[pid=28481/tid=28521] ppid=28478 vsize=10553016 CPUtime=733.81 cores=1,3,5,7
/proc/28481/task/28521/stat : 28521 (java) R 28478 28481 23781 0 -1 4202560 161 0 0 0 73381 0 0 0 22 0 22 0 831056667 10806288384 262871 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912506091463 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28481/tid=28522] ppid=28478 vsize=10553016 CPUtime=733.84 cores=1,3,5,7
/proc/28481/task/28522/stat : 28522 (java) R 28478 28481 23781 0 -1 4202560 5992 0 0 0 73383 1 0 0 22 0 22 0 831056667 10806288384 262871 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28481/tid=28523] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28523/stat : 28523 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831056667 10806288384 262871 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1568.77
Current children cumulated vsize (KiB) 10553016

[startup+882.302 s]
/proc/loadavg: 3.59 3.85 3.81 3/551 28571
/proc/meminfo: memFree=27932680/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10553016 CPUtime=1681.74 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 271998 0 1 0 168133 41 0 0 25 0 22 0 831055706 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2638254 265215 2273 9 0 2628988 0
[pid=28481/tid=28482] ppid=28478 vsize=10553016 CPUtime=0.54 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) S 28478 28481 23781 0 -1 4202560 17055 0 1 0 52 2 0 0 15 0 22 0 831055706 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28485] ppid=28478 vsize=10553016 CPUtime=0.93 cores=1,3,5,7
/proc/28481/task/28485/stat : 28485 (java) S 28478 28481 23781 0 -1 4202560 909 0 0 0 93 0 0 0 15 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28486] ppid=28478 vsize=10553016 CPUtime=0.97 cores=1,3,5,7
/proc/28481/task/28486/stat : 28486 (java) S 28478 28481 23781 0 -1 4202560 519 0 0 0 97 0 0 0 16 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28487] ppid=28478 vsize=10553016 CPUtime=0.95 cores=1,3,5,7
/proc/28481/task/28487/stat : 28487 (java) S 28478 28481 23781 0 -1 4202560 204 0 0 0 95 0 0 0 16 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28488] ppid=28478 vsize=10553016 CPUtime=0.98 cores=1,3,5,7
/proc/28481/task/28488/stat : 28488 (java) S 28478 28481 23781 0 -1 4202560 1042 0 0 0 98 0 0 0 16 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28489] ppid=28478 vsize=10553016 CPUtime=1.05 cores=1,3,5,7
/proc/28481/task/28489/stat : 28489 (java) S 28478 28481 23781 0 -1 4202560 1049 0 0 0 105 0 0 0 15 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28491] ppid=28478 vsize=10553016 CPUtime=0.99 cores=1,3,5,7
/proc/28481/task/28491/stat : 28491 (java) S 28478 28481 23781 0 -1 4202560 1051 0 0 0 99 0 0 0 15 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28492] ppid=28478 vsize=10553016 CPUtime=0.97 cores=1,3,5,7
/proc/28481/task/28492/stat : 28492 (java) S 28478 28481 23781 0 -1 4202560 1129 0 0 0 97 0 0 0 16 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28494] ppid=28478 vsize=10553016 CPUtime=0.94 cores=1,3,5,7
/proc/28481/task/28494/stat : 28494 (java) S 28478 28481 23781 0 -1 4202560 1526 0 0 0 94 0 0 0 15 0 22 0 831055708 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28495] ppid=28478 vsize=10553016 CPUtime=84.23 cores=1,3,5,7
/proc/28481/task/28495/stat : 28495 (java) S 28478 28481 23781 0 -1 4202560 64011 0 0 0 8413 10 0 0 15 0 22 0 831055709 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 0 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28497] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28497/stat : 28497 (java) S 28478 28481 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28498] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28498/stat : 28498 (java) S 28478 28481 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28499] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28499/stat : 28499 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256172465 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28500] ppid=28478 vsize=10553016 CPUtime=1.05 cores=1,3,5,7
/proc/28481/task/28500/stat : 28500 (java) S 28478 28481 23781 0 -1 4202560 4117 0 0 0 105 0 0 0 16 0 22 0 831055711 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28501] ppid=28478 vsize=10553016 CPUtime=1.22 cores=1,3,5,7
/proc/28481/task/28501/stat : 28501 (java) S 28478 28481 23781 0 -1 4202560 7230 0 0 0 121 1 0 0 15 0 22 0 831055711 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28503] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28503/stat : 28503 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28504] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28504/stat : 28504 (java) S 28478 28481 23781 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831055711 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28520] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28520/stat : 28520 (java) S 28478 28481 23781 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831055912 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28521] ppid=28478 vsize=10553016 CPUtime=786.34 cores=1,3,5,7
/proc/28481/task/28521/stat : 28521 (java) R 28478 28481 23781 0 -1 4202560 176 0 0 0 78634 0 0 0 25 0 22 0 831056667 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912505972587 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28481/tid=28522] ppid=28478 vsize=10553016 CPUtime=786.37 cores=1,3,5,7
/proc/28481/task/28522/stat : 28522 (java) R 28478 28481 23781 0 -1 4202560 5992 0 0 0 78636 1 0 0 25 0 22 0 831056667 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912506012642 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28481/tid=28523] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28523/stat : 28523 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831056667 10806288384 265215 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1681.74
Current children cumulated vsize (KiB) 10553016

[startup+942.301 s]
/proc/loadavg: 2.49 3.48 3.68 3/551 28573
/proc/meminfo: memFree=27927228/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10553016 CPUtime=1794.34 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 273443 0 1 0 179392 42 0 0 25 0 22 0 831055706 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2638254 266637 2273 9 0 2628988 0
[pid=28481/tid=28482] ppid=28478 vsize=10553016 CPUtime=0.54 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) S 28478 28481 23781 0 -1 4202560 17055 0 1 0 52 2 0 0 15 0 22 0 831055706 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28485] ppid=28478 vsize=10553016 CPUtime=1.01 cores=1,3,5,7
/proc/28481/task/28485/stat : 28485 (java) S 28478 28481 23781 0 -1 4202560 913 0 0 0 101 0 0 0 16 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28486] ppid=28478 vsize=10553016 CPUtime=1 cores=1,3,5,7
/proc/28481/task/28486/stat : 28486 (java) S 28478 28481 23781 0 -1 4202560 519 0 0 0 100 0 0 0 15 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28487] ppid=28478 vsize=10553016 CPUtime=1.04 cores=1,3,5,7
/proc/28481/task/28487/stat : 28487 (java) S 28478 28481 23781 0 -1 4202560 208 0 0 0 104 0 0 0 16 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28488] ppid=28478 vsize=10553016 CPUtime=1.07 cores=1,3,5,7
/proc/28481/task/28488/stat : 28488 (java) S 28478 28481 23781 0 -1 4202560 1044 0 0 0 107 0 0 0 16 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28489] ppid=28478 vsize=10553016 CPUtime=1.14 cores=1,3,5,7
/proc/28481/task/28489/stat : 28489 (java) S 28478 28481 23781 0 -1 4202560 1051 0 0 0 114 0 0 0 15 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28491] ppid=28478 vsize=10553016 CPUtime=1.06 cores=1,3,5,7
/proc/28481/task/28491/stat : 28491 (java) S 28478 28481 23781 0 -1 4202560 1059 0 0 0 106 0 0 0 15 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28492] ppid=28478 vsize=10553016 CPUtime=1.01 cores=1,3,5,7
/proc/28481/task/28492/stat : 28492 (java) S 28478 28481 23781 0 -1 4202560 1130 0 0 0 101 0 0 0 15 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28494] ppid=28478 vsize=10553016 CPUtime=1.02 cores=1,3,5,7
/proc/28481/task/28494/stat : 28494 (java) S 28478 28481 23781 0 -1 4202560 1529 0 0 0 102 0 0 0 16 0 22 0 831055708 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28495] ppid=28478 vsize=10553016 CPUtime=91.88 cores=1,3,5,7
/proc/28481/task/28495/stat : 28495 (java) S 28478 28481 23781 0 -1 4202560 65413 0 0 0 9178 10 0 0 15 0 22 0 831055709 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 0 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28497] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28497/stat : 28497 (java) S 28478 28481 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28498] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28498/stat : 28498 (java) S 28478 28481 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28499] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28499/stat : 28499 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256172465 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28500] ppid=28478 vsize=10553016 CPUtime=1.05 cores=1,3,5,7
/proc/28481/task/28500/stat : 28500 (java) S 28478 28481 23781 0 -1 4202560 4117 0 0 0 105 0 0 0 16 0 22 0 831055711 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28501] ppid=28478 vsize=10553016 CPUtime=1.22 cores=1,3,5,7
/proc/28481/task/28501/stat : 28501 (java) S 28478 28481 23781 0 -1 4202560 7230 0 0 0 121 1 0 0 15 0 22 0 831055711 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28503] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28503/stat : 28503 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28504] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28504/stat : 28504 (java) S 28478 28481 23781 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831055711 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28520] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28520/stat : 28520 (java) S 28478 28481 23781 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831055912 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28521] ppid=28478 vsize=10553016 CPUtime=838.52 cores=1,3,5,7
/proc/28481/task/28521/stat : 28521 (java) R 28478 28481 23781 0 -1 4202560 191 0 0 0 83852 0 0 0 25 0 22 0 831056667 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912505673375 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28481/tid=28522] ppid=28478 vsize=10553016 CPUtime=838.56 cores=1,3,5,7
/proc/28481/task/28522/stat : 28522 (java) R 28478 28481 23781 0 -1 4202560 5992 0 0 0 83855 1 0 0 25 0 22 0 831056667 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912506039835 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28481/tid=28523] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28523/stat : 28523 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831056667 10806288384 266637 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1794.34
Current children cumulated vsize (KiB) 10553016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+945.401 s]
/proc/loadavg: 2.49 3.48 3.68 3/551 28573
/proc/meminfo: memFree=27925736/32951124 swapFree=58212616/67111528
[pid=28481] ppid=28478 vsize=10553016 CPUtime=1800.14 cores=1,3,5,7
/proc/28481/stat : 28481 (java) S 28478 28481 23781 0 -1 4202496 273834 0 1 0 179972 42 0 0 25 0 22 0 831055706 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28481/statm: 2638254 267027 2273 9 0 2628988 0
[pid=28481/tid=28482] ppid=28478 vsize=10553016 CPUtime=0.54 cores=1,3,5,7
/proc/28481/task/28482/stat : 28482 (java) S 28478 28481 23781 0 -1 4202560 17055 0 1 0 52 2 0 0 15 0 22 0 831055706 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28485] ppid=28478 vsize=10553016 CPUtime=1.01 cores=1,3,5,7
/proc/28481/task/28485/stat : 28485 (java) S 28478 28481 23781 0 -1 4202560 913 0 0 0 101 0 0 0 16 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28486] ppid=28478 vsize=10553016 CPUtime=1 cores=1,3,5,7
/proc/28481/task/28486/stat : 28486 (java) S 28478 28481 23781 0 -1 4202560 519 0 0 0 100 0 0 0 15 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28487] ppid=28478 vsize=10553016 CPUtime=1.04 cores=1,3,5,7
/proc/28481/task/28487/stat : 28487 (java) S 28478 28481 23781 0 -1 4202560 208 0 0 0 104 0 0 0 15 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28488] ppid=28478 vsize=10553016 CPUtime=1.07 cores=1,3,5,7
/proc/28481/task/28488/stat : 28488 (java) S 28478 28481 23781 0 -1 4202560 1044 0 0 0 107 0 0 0 15 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28489] ppid=28478 vsize=10553016 CPUtime=1.15 cores=1,3,5,7
/proc/28481/task/28489/stat : 28489 (java) S 28478 28481 23781 0 -1 4202560 1051 0 0 0 115 0 0 0 16 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28491] ppid=28478 vsize=10553016 CPUtime=1.07 cores=1,3,5,7
/proc/28481/task/28491/stat : 28491 (java) S 28478 28481 23781 0 -1 4202560 1059 0 0 0 107 0 0 0 16 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28492] ppid=28478 vsize=10553016 CPUtime=1.02 cores=1,3,5,7
/proc/28481/task/28492/stat : 28492 (java) S 28478 28481 23781 0 -1 4202560 1130 0 0 0 102 0 0 0 16 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28494] ppid=28478 vsize=10553016 CPUtime=1.04 cores=1,3,5,7
/proc/28481/task/28494/stat : 28494 (java) S 28478 28481 23781 0 -1 4202560 1529 0 0 0 104 0 0 0 16 0 22 0 831055708 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28495] ppid=28478 vsize=10553016 CPUtime=92.34 cores=1,3,5,7
/proc/28481/task/28495/stat : 28495 (java) S 28478 28481 23781 0 -1 4202560 65803 0 0 0 9224 10 0 0 15 0 22 0 831055709 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 0 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28497] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28497/stat : 28497 (java) S 28478 28481 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28498] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28498/stat : 28498 (java) S 28478 28481 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831055709 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 7 0 0 0
[pid=28481/tid=28499] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28499/stat : 28499 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256172465 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28500] ppid=28478 vsize=10553016 CPUtime=1.05 cores=1,3,5,7
/proc/28481/task/28500/stat : 28500 (java) S 28478 28481 23781 0 -1 4202560 4117 0 0 0 105 0 0 0 16 0 22 0 831055711 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 1 0 0 0
[pid=28481/tid=28501] ppid=28478 vsize=10553016 CPUtime=1.22 cores=1,3,5,7
/proc/28481/task/28501/stat : 28501 (java) S 28478 28481 23781 0 -1 4202560 7230 0 0 0 121 1 0 0 15 0 22 0 831055711 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28503] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28503/stat : 28503 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055711 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256164761 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28504] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28504/stat : 28504 (java) S 28478 28481 23781 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831055711 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
[pid=28481/tid=28520] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28520/stat : 28520 (java) S 28478 28481 23781 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831055912 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 5 0 0 0
[pid=28481/tid=28521] ppid=28478 vsize=10553016 CPUtime=841.17 cores=1,3,5,7
/proc/28481/task/28521/stat : 28521 (java) R 28478 28481 23781 0 -1 4202560 192 0 0 0 84117 0 0 0 25 0 22 0 831056667 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912505981908 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28481/tid=28522] ppid=28478 vsize=10553016 CPUtime=841.21 cores=1,3,5,7
/proc/28481/task/28522/stat : 28522 (java) R 28478 28481 23781 0 -1 4202560 5992 0 0 0 84120 1 0 0 25 0 22 0 831056667 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 46912506012642 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28481/tid=28523] ppid=28478 vsize=10553016 CPUtime=0 cores=1,3,5,7
/proc/28481/task/28523/stat : 28523 (java) S 28478 28481 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831056667 10806288384 267027 33554432000 1073741824 1073778376 140734242751952 18446744073709551615 228256165376 0 4 0 16800975 18446604463052157888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10553016

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

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

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

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= 273860
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= 29625
involuntary context switches= 20103

runsolver used 4.91425 second user time and 12.3301 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-04 15:36:17
IDJOB=3453941
IDBENCH=48145
IDSOLVER=1950
FILE ID=node136/3453941-1307194577
RUNJOBID= node136-1307194532-28304
PBS_JOBID= 13508850
Free space on /tmp= 73844 MiB

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

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

MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62
RANDOM SEED=1935343387

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27021632 kB
Buffers:        299340 kB
Cached:         545416 kB
SwapCached:       7704 kB
Active:        5208900 kB
Inactive:       422076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27021632 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:             476 kB
Writeback:           0 kB
AnonPages:     4784444 kB
Mapped:          32952 kB
Slab:           156300 kB
PageTables:      72944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 179589080 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= 73844 MiB
End job on node136 at 2011-06-04 15:52:05