Trace number 3688503

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)36 1800.05 1796.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir04_area_opers.opb
MD5SUMe746daa468953b69c2293c7909733538
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.057991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved YES
Number of variables1614
Total number of constraints2783
Number of constraints which are clauses2783
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 879
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 879
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 879
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688503-1337884499.opb
0.11/0.10	c reading problem ... 
0.29/0.26	c ... done. Wall clock time 0.166s.
0.29/0.26	c declared #vars     1614
0.29/0.26	c #constraints  2783
0.29/0.26	c constraints type 
0.29/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 753
0.29/0.26	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.29/0.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2027
0.29/0.26	c 2783 constraints processed.
0.29/0.26	c objective function length is 879 literals
0.29/0.29	c SATISFIABLE
0.29/0.29	c OPTIMIZING...
0.29/0.29	c Got one! Elapsed wall clock time (in seconds):0.195
0.29/0.29	o 37
1.64/1.26	c cleaning 2497 clauses out of 5000 with flag 5000/5000
2.60/2.16	c cleaning 4252 clauses out of 8503 with flag 11000/11000
3.70/3.27	c cleaning 5619 clauses out of 11251 with flag 18000/18000
5.11/4.66	c cleaning 6815 clauses out of 13632 with flag 26000/26000
6.85/6.37	c cleaning 7900 clauses out of 15817 with flag 35000/35000
8.66/8.20	c cleaning 8946 clauses out of 17917 with flag 45000/45000
10.77/10.20	c cleaning 9983 clauses out of 19971 with flag 56000/56000
12.87/12.36	c cleaning 10976 clauses out of 21988 with flag 68000/68000
15.27/14.76	c cleaning 11997 clauses out of 24013 with flag 81001/81001
17.98/17.48	c cleaning 12995 clauses out of 26015 with flag 95000/95000
20.89/20.38	c cleaning 14003 clauses out of 28020 with flag 110000/110000
24.00/23.46	c cleaning 15001 clauses out of 30017 with flag 126000/126000
27.30/26.75	c cleaning 15998 clauses out of 32016 with flag 143000/143000
30.81/30.20	c cleaning 16987 clauses out of 34019 with flag 161001/161001
34.41/33.80	c cleaning 18005 clauses out of 36031 with flag 180000/180000
38.34/37.79	c cleaning 19004 clauses out of 38028 with flag 200002/200002
42.58/41.96	c cleaning 19995 clauses out of 40022 with flag 221000/221000
47.00/46.32	c cleaning 21007 clauses out of 42029 with flag 243002/243002
51.50/50.81	c cleaning 22008 clauses out of 44020 with flag 266000/266000
56.01/55.36	c cleaning 22989 clauses out of 46012 with flag 290000/290000
61.03/60.38	c cleaning 23997 clauses out of 48023 with flag 315000/315000
66.24/65.51	c cleaning 24979 clauses out of 50026 with flag 341000/341000
71.66/70.95	c cleaning 25989 clauses out of 52048 with flag 368001/368001
77.28/76.59	c cleaning 27009 clauses out of 54058 with flag 396000/396000
82.90/82.12	c cleaning 28007 clauses out of 56051 with flag 425002/425002
89.13/88.35	c cleaning 29002 clauses out of 58042 with flag 455000/455000
95.55/94.73	c cleaning 30008 clauses out of 60040 with flag 486000/486000
101.86/101.09	c cleaning 30996 clauses out of 62032 with flag 518000/518000
108.58/107.74	c cleaning 32003 clauses out of 64036 with flag 551000/551000
115.58/114.76	c cleaning 32991 clauses out of 66033 with flag 585000/585000
122.69/121.87	c cleaning 34012 clauses out of 68042 with flag 620000/620000
130.10/129.20	c cleaning 34999 clauses out of 70030 with flag 656000/656000
137.61/136.72	c cleaning 36002 clauses out of 72031 with flag 693000/693000
145.53/144.67	c cleaning 36994 clauses out of 74030 with flag 731001/731001
153.76/152.83	c cleaning 37996 clauses out of 76035 with flag 770000/770000
162.15/161.23	c cleaning 39013 clauses out of 78039 with flag 810000/810000
170.76/169.89	c cleaning 40001 clauses out of 80026 with flag 851000/851000
179.36/178.48	c cleaning 40987 clauses out of 82025 with flag 893000/893000
188.46/187.51	c cleaning 41998 clauses out of 84038 with flag 936000/936000
197.77/196.82	c cleaning 42995 clauses out of 86043 with flag 980003/980003
207.51/206.56	c cleaning 44021 clauses out of 88045 with flag 1025000/1025000
217.13/216.14	c cleaning 44997 clauses out of 90025 with flag 1071001/1071001
226.54/225.55	c cleaning 46003 clauses out of 92027 with flag 1118000/1118000
236.47/235.45	c cleaning 46989 clauses out of 94024 with flag 1166000/1166000
246.88/245.83	c cleaning 48013 clauses out of 96037 with flag 1215002/1215002
258.30/257.23	c cleaning 48995 clauses out of 98022 with flag 1265000/1265000
269.62/268.52	c cleaning 49982 clauses out of 100027 with flag 1316000/1316000
281.26/280.13	c cleaning 50997 clauses out of 102047 with flag 1368002/1368002
292.97/291.83	c cleaning 52001 clauses out of 104048 with flag 1421000/1421000
304.98/303.82	c cleaning 52985 clauses out of 106047 with flag 1475000/1475000
317.19/316.07	c cleaning 53979 clauses out of 108062 with flag 1530000/1530000
330.40/329.28	c cleaning 55027 clauses out of 110084 with flag 1586001/1586001
343.23/342.07	c cleaning 56001 clauses out of 112056 with flag 1643000/1643000
356.25/355.03	c cleaning 57013 clauses out of 114055 with flag 1701000/1701000
369.69/368.43	c cleaning 58019 clauses out of 116042 with flag 1760000/1760000
383.29/382.05	c cleaning 58999 clauses out of 118023 with flag 1820000/1820000
396.90/395.69	c cleaning 59995 clauses out of 120024 with flag 1881000/1881000
410.84/409.54	c cleaning 60990 clauses out of 122029 with flag 1943000/1943000
424.64/423.35	c cleaning 62013 clauses out of 124039 with flag 2006000/2006000
439.06/437.71	c cleaning 62987 clauses out of 126026 with flag 2070000/2070000
453.56/452.20	c cleaning 64004 clauses out of 128039 with flag 2135000/2135000
468.08/466.73	c cleaning 65011 clauses out of 130035 with flag 2201000/2201000
483.59/482.22	c cleaning 66002 clauses out of 132029 with flag 2268005/2268005
499.01/497.63	c cleaning 67002 clauses out of 134023 with flag 2336001/2336001
514.34/512.91	c cleaning 67990 clauses out of 136021 with flag 2405001/2405001
530.05/528.68	c cleaning 69003 clauses out of 138030 with flag 2475000/2475000
546.66/545.24	c cleaning 69992 clauses out of 140028 with flag 2546001/2546001
563.47/562.04	c cleaning 71012 clauses out of 142041 with flag 2618006/2618006
580.50/579.01	c cleaning 72006 clauses out of 144023 with flag 2691000/2691000
597.33/595.89	c cleaning 72998 clauses out of 146021 with flag 2765004/2765004
614.84/613.30	c cleaning 74003 clauses out of 148019 with flag 2840000/2840000
632.35/630.87	c cleaning 74990 clauses out of 150017 with flag 2916001/2916001
649.79/648.25	c cleaning 75988 clauses out of 152026 with flag 2993000/2993000
667.80/666.25	c cleaning 76992 clauses out of 154038 with flag 3071000/3071000
685.61/684.09	c cleaning 77990 clauses out of 156046 with flag 3150000/3150000
704.93/703.35	c cleaning 79021 clauses out of 158056 with flag 3230000/3230000
723.85/722.29	c cleaning 79995 clauses out of 160035 with flag 3311000/3311000
743.28/741.63	c cleaning 81012 clauses out of 162041 with flag 3393001/3393001
762.41/760.77	c cleaning 82004 clauses out of 164028 with flag 3476000/3476000
781.53/779.86	c cleaning 82996 clauses out of 166025 with flag 3560001/3560001
800.85/799.12	c cleaning 83987 clauses out of 168028 with flag 3645000/3645000
819.87/818.19	c cleaning 85001 clauses out of 170041 with flag 3731000/3731000
840.10/838.37	c cleaning 85997 clauses out of 172041 with flag 3818001/3818001
860.21/858.48	c cleaning 86979 clauses out of 174043 with flag 3906000/3906000
880.33/878.51	c cleaning 88017 clauses out of 176065 with flag 3995001/3995001
901.34/899.58	c cleaning 89003 clauses out of 178047 with flag 4085000/4085000
922.96/921.11	c cleaning 90006 clauses out of 180044 with flag 4176000/4176000
944.48/942.64	c cleaning 91014 clauses out of 182040 with flag 4268002/4268002
966.52/964.63	c cleaning 91986 clauses out of 184027 with flag 4361003/4361003
988.75/986.81	c cleaning 92999 clauses out of 186041 with flag 4455003/4455003
1010.47/1008.56	c cleaning 93982 clauses out of 188039 with flag 4550000/4550000
1031.99/1030.08	c cleaning 95016 clauses out of 190057 with flag 4646000/4646000
1053.80/1051.84	c cleaning 95995 clauses out of 192042 with flag 4743001/4743001
1075.72/1073.75	c cleaning 97019 clauses out of 194046 with flag 4841000/4841000
1078.23/1076.25	c Got one! Elapsed wall clock time (in seconds):1076.15
1078.23/1076.25	o 36
1078.63/1076.68	c cleaning 57072 clauses out of 114165 with flag 5001/4858138
1079.15/1077.13	c cleaning 31541 clauses out of 63093 with flag 11001/4864138
1079.68/1077.61	c cleaning 19268 clauses out of 38551 with flag 18000/4871137
1080.19/1078.15	c cleaning 13630 clauses out of 27283 with flag 26000/4879137
1080.81/1078.77	c cleaning 11321 clauses out of 22653 with flag 35000/4888137
1081.51/1079.46	c cleaning 10654 clauses out of 21332 with flag 45000/4898137
1082.33/1080.22	c cleaning 10827 clauses out of 21678 with flag 56000/4909137
1083.15/1081.06	c cleaning 11422 clauses out of 22852 with flag 68001/4921138
1084.79/1082.62	c cleaning 12208 clauses out of 24429 with flag 81000/4934137
1087.10/1084.95	c cleaning 13109 clauses out of 26223 with flag 95002/4948139
1089.61/1087.46	c cleaning 14044 clauses out of 28112 with flag 110000/4963137
1092.64/1090.41	c cleaning 15026 clauses out of 30068 with flag 126000/4979137
1095.55/1093.37	c cleaning 16001 clauses out of 32042 with flag 143000/4996137
1098.65/1096.42	c cleaning 17014 clauses out of 34041 with flag 161000/5014137
1101.85/1099.60	c cleaning 17998 clauses out of 36028 with flag 180001/5033138
1105.27/1103.08	c cleaning 18998 clauses out of 38029 with flag 200000/5053137
1108.68/1106.42	c cleaning 20005 clauses out of 40031 with flag 221000/5074137
1112.09/1109.87	c cleaning 21005 clauses out of 42028 with flag 243002/5096139
1115.79/1113.54	c cleaning 22002 clauses out of 44022 with flag 266001/5119138
1119.60/1117.39	c cleaning 23002 clauses out of 46019 with flag 290000/5143137
1123.72/1121.41	c cleaning 23996 clauses out of 48017 with flag 315000/5168137
1127.72/1125.47	c cleaning 24995 clauses out of 50021 with flag 341000/5194137
1132.22/1129.90	c cleaning 25999 clauses out of 52026 with flag 368000/5221137
1136.73/1134.47	c cleaning 26987 clauses out of 54030 with flag 396003/5249140
1141.85/1139.51	c cleaning 28016 clauses out of 56040 with flag 425000/5278137
1147.05/1144.76	c cleaning 28997 clauses out of 58026 with flag 455002/5308139
1152.45/1150.18	c cleaning 29993 clauses out of 60027 with flag 486000/5339137
1157.87/1155.55	c cleaning 31007 clauses out of 62034 with flag 518000/5371137
1163.31/1160.92	c cleaning 32000 clauses out of 64027 with flag 551000/5404137
1168.82/1166.45	c cleaning 33009 clauses out of 66027 with flag 585000/5438137
1174.74/1172.39	c cleaning 33988 clauses out of 68018 with flag 620000/5473137
1180.78/1178.35	c cleaning 34992 clauses out of 70031 with flag 656001/5509138
1186.99/1184.54	c cleaning 35989 clauses out of 72038 with flag 693000/5546137
1193.29/1190.86	c cleaning 37012 clauses out of 74050 with flag 731001/5584138
1199.62/1197.15	c cleaning 37989 clauses out of 76037 with flag 770000/5623137
1205.92/1203.47	c cleaning 39007 clauses out of 78048 with flag 810000/5663137
1212.44/1209.99	c cleaning 40016 clauses out of 80042 with flag 851001/5704138
1219.55/1217.01	c cleaning 41000 clauses out of 82025 with flag 893000/5746137
1226.87/1224.36	c cleaning 41999 clauses out of 84025 with flag 936000/5789137
1234.77/1232.29	c cleaning 43004 clauses out of 86026 with flag 980000/5833137
1242.57/1240.09	c cleaning 44003 clauses out of 88022 with flag 1025000/5878137
1250.10/1247.59	c cleaning 44999 clauses out of 90020 with flag 1071001/5924138
1257.93/1255.32	c cleaning 46003 clauses out of 92021 with flag 1118001/5971138
1266.05/1263.41	c cleaning 46987 clauses out of 94017 with flag 1166000/6019137
1274.68/1272.02	c cleaning 48006 clauses out of 96030 with flag 1215000/6068137
1283.01/1280.34	c cleaning 48992 clauses out of 98024 with flag 1265000/6118137
1291.93/1289.21	c cleaning 49997 clauses out of 100032 with flag 1316000/6169137
1301.14/1298.43	c cleaning 50998 clauses out of 102035 with flag 1368000/6221137
1310.19/1307.43	c cleaning 52003 clauses out of 104037 with flag 1421000/6274137
1318.81/1316.09	c cleaning 53002 clauses out of 106034 with flag 1475000/6328137
1327.94/1325.10	c cleaning 54003 clauses out of 108032 with flag 1530000/6383137
1336.96/1334.17	c cleaning 55008 clauses out of 110030 with flag 1586001/6439138
1346.58/1343.79	c cleaning 56010 clauses out of 112021 with flag 1643000/6496137
1357.19/1354.33	c cleaning 57000 clauses out of 114011 with flag 1701000/6554137
1368.49/1365.61	c cleaning 57991 clauses out of 116011 with flag 1760000/6613137
1380.00/1377.14	c cleaning 58994 clauses out of 118020 with flag 1820000/6673137
1391.03/1388.14	c cleaning 60006 clauses out of 120027 with flag 1881001/6734138
1402.74/1399.89	c cleaning 60991 clauses out of 122020 with flag 1943000/6796137
1414.86/1411.93	c cleaning 62007 clauses out of 124029 with flag 2006000/6859137
1427.39/1424.41	c cleaning 62993 clauses out of 126022 with flag 2070000/6923137
1440.91/1437.99	c cleaning 64013 clauses out of 128029 with flag 2135000/6988137
1454.73/1451.73	c cleaning 64988 clauses out of 130016 with flag 2201000/7054137
1468.26/1465.24	c cleaning 65993 clauses out of 132028 with flag 2268000/7121137
1482.17/1479.13	c cleaning 67009 clauses out of 134038 with flag 2336003/7189140
1496.49/1493.48	c cleaning 67996 clauses out of 136026 with flag 2405000/7258137
1511.10/1508.02	c cleaning 69005 clauses out of 138032 with flag 2475002/7328139
1525.70/1522.63	c cleaning 69996 clauses out of 140025 with flag 2546000/7399137
1540.43/1537.34	c cleaning 71007 clauses out of 142029 with flag 2618000/7471137
1554.33/1551.28	c cleaning 71992 clauses out of 144022 with flag 2691000/7544137
1568.14/1565.06	c cleaning 72991 clauses out of 146030 with flag 2765000/7618137
1582.55/1579.40	c cleaning 74018 clauses out of 148040 with flag 2840001/7693138
1598.26/1595.13	c cleaning 74999 clauses out of 150021 with flag 2916000/7769137
1614.08/1610.94	c cleaning 76001 clauses out of 152024 with flag 2993002/7846139
1630.00/1626.88	c cleaning 76990 clauses out of 154021 with flag 3071000/7924137
1646.71/1643.53	c cleaning 77979 clauses out of 156031 with flag 3150000/8003137
1662.42/1659.20	c cleaning 79023 clauses out of 158054 with flag 3230002/8083139
1677.93/1674.71	c cleaning 79993 clauses out of 160030 with flag 3311001/8164138
1694.04/1690.87	c cleaning 80974 clauses out of 162036 with flag 3393000/8246137
1710.76/1707.57	c cleaning 82021 clauses out of 164062 with flag 3476000/8329137
1726.78/1723.55	c cleaning 83011 clauses out of 166041 with flag 3560000/8413137
1743.71/1740.42	c cleaning 84001 clauses out of 168030 with flag 3645000/8498137
1759.94/1756.68	c cleaning 84983 clauses out of 170029 with flag 3731000/8584137
1775.89/1772.57	c cleaning 86003 clauses out of 172046 with flag 3818000/8671137
1791.72/1788.35	c cleaning 86993 clauses out of 174045 with flag 3906002/8759139
1800.05/1796.61	c starts		: 301
1800.05/1796.61	c conflicts		: 8808090
1800.05/1796.61	c decisions		: 45258008
1800.05/1796.61	c propagations		: 6867702387
1800.05/1796.61	c inspects		: 8036445226
1800.05/1796.61	c shortcuts		: 0
1800.05/1796.61	c learnt literals	: 0
1800.05/1796.61	c learnt binary clauses	: 0
1800.05/1796.61	c learnt ternary clauses	: 0
1800.05/1796.61	c learnt constraints	: 8808090
1800.05/1796.61	c ignored constraints	: 0
1800.05/1796.61	c root simplifications	: 0
1800.05/1796.61	c removed literals (reason simplification)	: 0
1800.05/1796.61	c reason swapping (by a shorter reason)	: 0
1800.05/1796.61	c Calls to reduceDB	: 178
1800.05/1796.61	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.61	c number of learned constraints concerned by reduction	: 0
1800.05/1796.61	c number of learning phase by resolution	: 0
1800.05/1796.61	c number of learning phase by cutting planes	: 0
1800.05/1796.61	c speed (assignments/second)	: 3823173.296643835
1800.05/1796.61	c non guided choices	0
1800.05/1796.64	c learnt constraints type 
1800.05/1796.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 136148
1800.05/1796.64	c constraints type 
1800.05/1796.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 753
1800.05/1796.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1796.64	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
1800.05/1796.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2027
1800.05/1796.64	c 2784 constraints processed.
1800.05/1796.64	s SATISFIABLE
1800.05/1796.64	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 x1610 -x1611 x1612 x1613 x1614 
1800.05/1796.64	c objective function=36
1800.05/1796.64	c Total wall clock time (in seconds): 1796.548

Verifier Data 

OK	36

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688503-1337884499/watcher-3688503-1337884499 -o /tmp/evaluation-result-3688503-1337884499/solver-3688503-1337884499 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688503-1337884499.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.92 1.98 1.99 3/194 25427
/proc/meminfo: memFree=29590336/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25427/stat : 25427 (java) R 25425 25427 23338 0 -1 4202496 1108 0 0 0 0 0 0 0 20 0 1 0 254575754 23793664 836 33554432000 1073741824 1073778376 140734828323984 140734828313048 139758106472384 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 5809 854 644 9 0 128 0

[startup+0.094023 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25427
/proc/meminfo: memFree=29590336/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 4456 0 1 0 9 0 0 0 20 0 18 0 254575754 9787813888 5664 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2389603 5665 2123 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.100347 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25427
/proc/meminfo: memFree=29590336/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 4530 0 1 0 10 1 0 0 20 0 18 0 254575754 9787813888 5700 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2389603 5700 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300171 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25427
/proc/meminfo: memFree=29590336/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 5699 0 1 0 47 1 0 0 20 0 19 0 254575754 9855975424 7959 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 7959 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624976

[startup+0.700251 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25427
/proc/meminfo: memFree=29590336/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=1.14 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 7650 0 1 0 113 1 0 0 20 0 19 0 254575754 9855975424 8519 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 8519 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 25446
/proc/meminfo: memFree=29564496/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=1.97 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 7828 0 1 0 196 1 0 0 20 0 19 0 254575754 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 10619 2268 9 0 2396937 0
[pid=25427/tid=25428] ppid=25425 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/25427/task/25428/stat : 25428 (java) R 25425 25427 23338 0 -1 4202560 2516 0 1 0 145 1 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139758103519624 139757975840768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 23338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757947542184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757946489640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757945437096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 23338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757944384552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757943330984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757942278440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757941225896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757940173352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 23338 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 254575756 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757927762536 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757926708856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757925656200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757924604944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 23338 0 -1 4202560 1512 0 0 0 21 0 0 0 20 0 19 0 254575759 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757923551288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 23338 0 -1 4202560 2564 0 0 0 24 0 0 0 20 0 19 0 254575759 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757922498744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757921446392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757920394056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254575782 9855975424 10619 33554432000 1073741824 1073778376 140734828323984 139757919339816 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 25446
/proc/meminfo: memFree=29556048/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=3.6 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 7871 0 1 0 359 1 0 0 20 0 19 0 254575754 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 11652 2268 9 0 2396937 0
[pid=25427/tid=25428] ppid=25425 vsize=9624976 CPUtime=3.04 cores=0,2,4,6
/proc/25427/task/25428/stat : 25428 (java) R 25425 25427 23338 0 -1 4202560 2517 0 1 0 303 1 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139758103519624 139757975876806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 23338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757947542184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757946489640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757945437096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 23338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757944384552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757943330984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757942278440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 23338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757941225896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757940173352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 23338 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 254575756 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757927762536 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757926708856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757925656200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757924604944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 23338 0 -1 4202560 1544 0 0 0 23 0 0 0 20 0 19 0 254575759 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757923551288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 23338 0 -1 4202560 2568 0 0 0 26 0 0 0 20 0 19 0 254575759 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757922498744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757921446392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757920394056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254575782 9855975424 11652 33554432000 1073741824 1073778376 140734828323984 139757919339816 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 25446
/proc/meminfo: memFree=29551704/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=6.85 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 8520 0 1 0 684 1 0 0 20 0 19 0 254575754 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 11431 2268 9 0 2396937 0
[pid=25427/tid=25428] ppid=25425 vsize=9624976 CPUtime=6.21 cores=0,2,4,6
/proc/25427/task/25428/stat : 25428 (java) R 25425 25427 23338 0 -1 4202560 2518 0 1 0 620 1 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139758103519504 139757975876372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 23338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757947542184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 23338 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757946489640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 23338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757945437096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 23338 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757944384552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757943330984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757942278440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 23338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757941225896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254575755 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757940173352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 23338 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 254575756 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757927762536 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757926708856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757925656200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757924604944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 23338 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 254575759 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757923551288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 23338 0 -1 4202560 3199 0 0 0 30 0 0 0 20 0 19 0 254575759 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757922498744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757921446392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757920394056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254575782 9855975424 11431 33554432000 1073741824 1073778376 140734828323984 139757919339816 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=25427/tid=25442] ppid=25425 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 23338 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 254575759 9855975424 31597 33554432000 1073741824 1073778376 140734828323984 139757923551288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 23338 0 -1 4202560 3412 0 0 0 33 0 0 0 20 0 19 0 254575759 9855975424 31597 33554432000 1073741824 1073778376 140734828323984 139757922498744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 31597 33554432000 1073741824 1073778376 140734828323984 139757921446392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 23338 0 -1 4202560 95 0 0 0 13 10 0 0 20 0 19 0 254575759 9855975424 31597 33554432000 1073741824 1073778376 140734828323984 139757920394056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254575782 9855975424 31597 33554432000 1073741824 1073778376 140734828323984 139757919339816 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1665.53
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 25543
/proc/meminfo: memFree=29500868/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=1725.58 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 10027 0 1 0 172536 22 0 0 20 0 19 0 254575754 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 32150 2269 9 0 2396937 0
[pid=25427/tid=25428] ppid=25425 vsize=9624976 CPUtime=1711.58 cores=0,2,4,6
/proc/25427/task/25428/stat : 25428 (java) R 25425 25427 23338 0 -1 4202560 2694 0 1 0 171129 29 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139758103519504 139757975834026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 23338 0 -1 4202560 155 0 0 0 44 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757947542184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 23338 0 -1 4202560 58 0 0 0 47 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757946489640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 23338 0 -1 4202560 69 0 0 0 50 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757945437096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 23338 0 -1 4202560 127 0 0 0 54 2 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757944384552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 23338 0 -1 4202560 123 0 0 0 51 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757943330984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 23338 0 -1 4202560 116 0 0 0 46 1 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757942278440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 23338 0 -1 4202560 210 0 0 0 50 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757941225896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 23338 0 -1 4202560 84 0 0 0 46 2 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757940173352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=9624976 CPUtime=4.91 cores=0,2,4,6
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 23338 0 -1 4202560 155 0 0 0 489 2 0 0 20 0 19 0 254575756 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757927762536 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757926708856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757925656200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757924604944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 23338 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757923551288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 23338 0 -1 4202560 3412 0 0 0 33 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757922498744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757921446392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 23338 0 -1 4202560 99 0 0 0 13 11 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757920394056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254575782 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757919339816 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1725.58
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25543
/proc/meminfo: memFree=29500624/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=1785.72 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 10037 0 1 0 178550 22 0 0 20 0 19 0 254575754 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 32150 2269 9 0 2396937 0
[pid=25427/tid=25428] ppid=25425 vsize=9624976 CPUtime=1771.19 cores=0,2,4,6
/proc/25427/task/25428/stat : 25428 (java) R 25425 25427 23338 0 -1 4202560 2698 0 1 0 177090 29 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139758103519504 139757975875846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 23338 0 -1 4202560 155 0 0 0 46 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757947542184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 23338 0 -1 4202560 58 0 0 0 51 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757946489640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 23338 0 -1 4202560 69 0 0 0 52 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757945437096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 23338 0 -1 4202560 127 0 0 0 57 2 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757944384552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 23338 0 -1 4202560 123 0 0 0 54 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757943330984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 23338 0 -1 4202560 116 0 0 0 48 1 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757942278440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 23338 0 -1 4202560 210 0 0 0 52 0 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757941225896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 23338 0 -1 4202560 84 0 0 0 48 2 0 0 20 0 19 0 254575755 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757940173352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=9624976 CPUtime=5.09 cores=0,2,4,6
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 23338 0 -1 4202560 157 0 0 0 507 2 0 0 20 0 19 0 254575756 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757927762536 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757926708856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757925656200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757924604944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 23338 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757923551288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 23338 0 -1 4202560 3412 0 0 0 33 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757922498744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757921446392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 23338 0 -1 4202560 103 0 0 0 14 11 0 0 20 0 19 0 254575759 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757920394056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254575782 9855975424 32150 33554432000 1073741824 1073778376 140734828323984 139757919339816 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1785.72
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25543
/proc/meminfo: memFree=29498704/32873648 swapFree=6844/6844
[pid=25427] ppid=25425 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/25427/stat : 25427 (java) S 25425 25427 23338 0 -1 4202496 10043 0 1 0 179982 23 0 0 20 0 19 0 254575754 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 140734828315120 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25427/statm: 2406244 32662 2269 9 0 2396937 0
[pid=25427/tid=25428] ppid=25425 vsize=9624976 CPUtime=1785.4 cores=0,2,4,6
/proc/25427/task/25428/stat : 25428 (java) R 25425 25427 23338 0 -1 4202560 2699 0 1 0 178510 30 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139758103519504 139757975876372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 23338 0 -1 4202560 156 0 0 0 47 0 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757947542184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 23338 0 -1 4202560 58 0 0 0 51 0 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757946489640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 23338 0 -1 4202560 70 0 0 0 53 0 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757945437096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 23338 0 -1 4202560 127 0 0 0 57 2 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757944384552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 23338 0 -1 4202560 123 0 0 0 54 0 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757943330984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 23338 0 -1 4202560 116 0 0 0 48 1 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757942278440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 23338 0 -1 4202560 210 0 0 0 52 0 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757941225896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 23338 0 -1 4202560 85 0 0 0 49 2 0 0 20 0 19 0 254575755 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757940173352 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=9624976 CPUtime=5.13 cores=0,2,4,6
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 23338 0 -1 4202560 159 0 0 0 511 2 0 0 20 0 19 0 254575756 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757927762536 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757926708856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254575757 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757925656200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757924604944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 23338 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 254575759 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757923551288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 23338 0 -1 4202560 3412 0 0 0 33 0 0 0 20 0 19 0 254575759 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757922498744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254575759 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757921446392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 23338 0 -1 4202560 103 0 0 0 14 11 0 0 20 0 19 0 254575759 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757920394056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 23338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254575782 9855975424 32662 33554432000 1073741824 1073778376 140734828323984 139757919339816 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25427 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=248080
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=620905
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.65
CPU time (s): 1800.05
CPU user time (s): 1799.82
CPU system time (s): 0.23
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 9625292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 0.620905
maximum resident set size= 130816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10088
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42755
involuntary context switches= 15725

runsolver used 5.58115 second user time and 13.8019 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-24 20:34:59
IDJOB=3688503
IDBENCH=25034
IDSOLVER=2269
FILE ID=node124/3688503-1337884499
RUNJOBID= node124-1337871881-23354
PBS_JOBID= 14620080
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688503-1337884499/watcher-3688503-1337884499 -o /tmp/evaluation-result-3688503-1337884499/solver-3688503-1337884499 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688503-1337884499.opb

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

MD5SUM BENCH= e746daa468953b69c2293c7909733538
RANDOM SEED=1316280300

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29590600 kB
Buffers:          231164 kB
Cached:          2041708 kB
SwapCached:            0 kB
Active:           699220 kB
Inactive:        1794932 kB
Active(anon):     223720 kB
Inactive(anon):        0 kB
Active(file):     475500 kB
Inactive(file):  1794932 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               212 kB
Writeback:             4 kB
AnonPages:        239896 kB
Mapped:            22500 kB
Shmem:               200 kB
Slab:             637508 kB
SReclaimable:      81532 kB
SUnreclaim:       555976 kB
KernelStack:        1616 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     825644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node124 at 2012-05-24 21:04:58