Trace number 3458382

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 Resolution 2.3.0SAT (TO)-38 1800.17 1794.47

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_4.opb
MD5SUM468c9636f2c99e512d4c3bca04b78033
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -42
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint60
Maximum length of a constraint106
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37458
Sum of products size (including duplicates)74916
Number of different products18729
Sum of products size37458

Quality of the solution as a function of time


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

Solver Data 

0.08/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458382-1307160341.opb
0.11/0.11	c reading problem ... 
1.40/0.65	c ... done. Wall clock time 0.544s.
1.40/0.65	c #vars     19229
1.40/0.65	c #constraints  56687
1.40/0.65	c constraints type 
1.40/0.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18729
1.40/0.65	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.40/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18729
1.66/0.77	c SATISFIABLE
1.66/0.77	c OPTIMIZING...
1.66/0.77	c Got one! Elapsed wall clock time (in seconds):0.658
1.66/0.77	o -26
1.92/0.84	c Got one! Elapsed wall clock time (in seconds):0.728
1.92/0.84	o -27
1.92/0.86	c Got one! Elapsed wall clock time (in seconds):0.75
1.92/0.86	o -28
1.92/0.89	c Got one! Elapsed wall clock time (in seconds):0.785
1.92/0.89	o -30
2.14/0.93	c Got one! Elapsed wall clock time (in seconds):0.824
2.14/0.93	o -31
2.14/0.99	c Got one! Elapsed wall clock time (in seconds):0.884
2.14/0.99	o -32
2.27/1.03	c Got one! Elapsed wall clock time (in seconds):0.925
2.27/1.03	o -33
2.51/1.28	c Got one! Elapsed wall clock time (in seconds):1.175
2.51/1.28	o -34
3.23/1.93	c cleaning 3094 clauses out of 6188 with flag 4000/6188
4.11/2.79	c cleaning 4546 clauses out of 9094 with flag 10000/12188
5.12/3.78	c cleaning 5775 clauses out of 11549 with flag 17001/19189
6.33/4.94	c cleaning 6886 clauses out of 13774 with flag 25001/27189
7.68/6.29	c cleaning 7938 clauses out of 15887 with flag 34000/36188
7.79/6.39	c Got one! Elapsed wall clock time (in seconds):6.284
7.79/6.39	o -35
8.60/7.12	c cleaning 6610 clauses out of 13221 with flag 5000/41460
9.52/8.02	c cleaning 6294 clauses out of 12611 with flag 11000/47460
10.54/9.06	c cleaning 6657 clauses out of 13318 with flag 18001/54461
11.73/10.22	c cleaning 7330 clauses out of 14660 with flag 26000/62460
13.14/11.62	c cleaning 8160 clauses out of 16330 with flag 35000/71460
14.65/13.18	c cleaning 9081 clauses out of 18171 with flag 45001/81461
16.36/14.87	c cleaning 10042 clauses out of 20089 with flag 56000/92460
18.29/16.77	c cleaning 11014 clauses out of 22048 with flag 68001/104461
20.58/19.04	c cleaning 12017 clauses out of 24033 with flag 81000/117460
22.80/21.21	c cleaning 13004 clauses out of 26017 with flag 95001/131461
25.11/23.59	c cleaning 14002 clauses out of 28012 with flag 110000/146460
28.02/26.43	c cleaning 15006 clauses out of 30011 with flag 126001/162461
30.04/28.44	c Got one! Elapsed wall clock time (in seconds):28.335
30.04/28.44	o -36
30.96/29.30	c cleaning 15346 clauses out of 30699 with flag 5002/178155
31.88/30.22	c cleaning 10668 clauses out of 21351 with flag 11000/184153
32.88/31.29	c cleaning 8840 clauses out of 17683 with flag 18000/191153
34.19/32.56	c cleaning 8415 clauses out of 16843 with flag 26000/199153
35.70/34.01	c cleaning 8710 clauses out of 17428 with flag 35000/208153
37.30/35.61	c cleaning 9359 clauses out of 18718 with flag 45000/218153
39.11/37.48	c cleaning 10176 clauses out of 20359 with flag 56000/229153
41.22/39.54	c cleaning 11092 clauses out of 22185 with flag 68002/241155
43.53/41.85	c cleaning 12045 clauses out of 24091 with flag 81000/254153
44.86/43.15	c Got one! Elapsed wall clock time (in seconds):43.042
44.86/43.15	o -37
45.65/43.95	c cleaning 12330 clauses out of 24660 with flag 5001/266767
46.66/44.92	c cleaning 9162 clauses out of 18330 with flag 11001/272767
47.76/46.00	c cleaning 8080 clauses out of 16168 with flag 18001/279767
48.97/47.27	c cleaning 8032 clauses out of 16087 with flag 26000/287766
50.39/48.67	c cleaning 8526 clauses out of 17056 with flag 35001/296767
52.08/50.32	c cleaning 9260 clauses out of 18529 with flag 45000/306766
54.08/52.31	c cleaning 10128 clauses out of 20269 with flag 56000/317766
56.19/54.44	c cleaning 11069 clauses out of 22141 with flag 68000/329766
58.60/56.83	c cleaning 12028 clauses out of 24072 with flag 81000/342766
61.11/59.33	c cleaning 13018 clauses out of 26044 with flag 95000/356766
63.92/62.14	c cleaning 14007 clauses out of 28027 with flag 110001/371767
67.03/65.26	c cleaning 15004 clauses out of 30019 with flag 126000/387766
69.74/67.99	c cleaning 16008 clauses out of 32015 with flag 143000/404766
72.95/71.13	c cleaning 16995 clauses out of 34007 with flag 161000/422766
76.26/74.44	c cleaning 17996 clauses out of 36013 with flag 180001/441767
80.11/78.22	c cleaning 19003 clauses out of 38016 with flag 200000/461766
84.40/82.50	c cleaning 20007 clauses out of 40014 with flag 221001/482767
88.94/87.02	c cleaning 20998 clauses out of 42007 with flag 243001/504767
93.54/91.67	c cleaning 22002 clauses out of 44008 with flag 266000/527766
98.75/96.89	c cleaning 23002 clauses out of 46006 with flag 290000/551766
104.43/102.47	c cleaning 24001 clauses out of 48004 with flag 315000/576766
109.33/107.39	c cleaning 25002 clauses out of 50003 with flag 341000/602766
114.07/112.04	c cleaning 25996 clauses out of 52001 with flag 368000/629766
119.69/117.60	c cleaning 26999 clauses out of 54005 with flag 396000/657766
125.44/123.37	c cleaning 27995 clauses out of 56006 with flag 425000/686766
131.85/129.72	c cleaning 28997 clauses out of 58011 with flag 455000/716766
138.87/136.75	c cleaning 30003 clauses out of 60015 with flag 486001/747767
146.29/144.15	c cleaning 31003 clauses out of 62012 with flag 518001/779767
153.50/151.38	c cleaning 32000 clauses out of 64009 with flag 551001/812767
162.33/160.13	c cleaning 33001 clauses out of 66008 with flag 585000/846766
171.26/169.02	c cleaning 34004 clauses out of 68007 with flag 620000/881766
177.77/175.56	c cleaning 35000 clauses out of 70004 with flag 656001/917767
186.01/183.78	c cleaning 35995 clauses out of 72004 with flag 693001/954767
194.15/191.85	c cleaning 37000 clauses out of 74009 with flag 731001/992767
202.48/200.19	c cleaning 37500 clauses out of 75010 with flag 769002/1030768
211.81/209.42	c cleaning 37743 clauses out of 75509 with flag 807001/1068767
222.57/220.19	c cleaning 37880 clauses out of 75765 with flag 845000/1106766
234.49/232.09	c cleaning 37937 clauses out of 75885 with flag 883000/1144766
246.93/244.44	c cleaning 37964 clauses out of 75948 with flag 921000/1182766
257.06/254.53	c cleaning 37972 clauses out of 75984 with flag 959000/1220766
267.29/264.77	c cleaning 38003 clauses out of 76013 with flag 997001/1258767
277.42/274.84	c cleaning 37999 clauses out of 76009 with flag 1035000/1296766
287.03/284.49	c cleaning 37998 clauses out of 76010 with flag 1073000/1334766
294.29/291.67	c cleaning 38000 clauses out of 76013 with flag 1111001/1372767
301.79/299.17	c cleaning 37992 clauses out of 76013 with flag 1149001/1410767
311.41/308.75	c cleaning 38008 clauses out of 76020 with flag 1187000/1448766
320.54/317.81	c cleaning 38003 clauses out of 76012 with flag 1225000/1486766
329.87/327.13	c cleaning 37995 clauses out of 76009 with flag 1263000/1524766
340.50/337.71	c cleaning 37995 clauses out of 76014 with flag 1301000/1562766
351.66/348.87	c cleaning 38002 clauses out of 76019 with flag 1339000/1600766
359.57/356.71	c cleaning 37987 clauses out of 76018 with flag 1377001/1638767
368.78/365.91	c cleaning 38005 clauses out of 76031 with flag 1415001/1676767
378.61/375.70	c cleaning 38006 clauses out of 76025 with flag 1453000/1714766
388.23/385.31	c cleaning 38000 clauses out of 76019 with flag 1491000/1752766
397.24/394.30	c cleaning 38003 clauses out of 76020 with flag 1529001/1790767
407.26/404.34	c cleaning 38002 clauses out of 76016 with flag 1567000/1828766
416.98/414.05	c cleaning 37999 clauses out of 76015 with flag 1605001/1866767
426.20/423.29	c cleaning 38002 clauses out of 76015 with flag 1643000/1904766
435.22/432.20	c cleaning 38004 clauses out of 76015 with flag 1681002/1942768
445.37/442.32	c cleaning 37997 clauses out of 76009 with flag 1719000/1980766
452.45/449.46	c cleaning 38000 clauses out of 76012 with flag 1757000/2018766
460.10/457.08	c cleaning 37998 clauses out of 76012 with flag 1795000/2056766
468.41/465.37	c cleaning 38004 clauses out of 76014 with flag 1833000/2094766
477.13/474.01	c cleaning 37993 clauses out of 76010 with flag 1871000/2132766
486.07/482.92	c cleaning 37986 clauses out of 76017 with flag 1909000/2170766
494.69/491.52	c cleaning 37998 clauses out of 76031 with flag 1947000/2208766
504.03/500.82	c cleaning 38002 clauses out of 76033 with flag 1985000/2246766
513.94/510.75	c cleaning 38005 clauses out of 76031 with flag 2023000/2284766
523.69/520.45	c cleaning 38000 clauses out of 76026 with flag 2061000/2322766
533.50/530.27	c cleaning 38012 clauses out of 76027 with flag 2099001/2360767
541.83/538.58	c cleaning 37989 clauses out of 76015 with flag 2137001/2398767
551.74/548.50	c cleaning 38006 clauses out of 76025 with flag 2175000/2436766
561.29/557.95	c cleaning 38004 clauses out of 76019 with flag 2213000/2474766
570.30/566.92	c cleaning 38004 clauses out of 76016 with flag 2251001/2512767
580.33/576.98	c cleaning 37993 clauses out of 76011 with flag 2289000/2550766
589.54/586.15	c cleaning 38007 clauses out of 76019 with flag 2327001/2588767
598.84/595.46	c cleaning 37999 clauses out of 76011 with flag 2365000/2626766
608.48/605.06	c cleaning 38002 clauses out of 76012 with flag 2403000/2664766
618.11/614.66	c cleaning 38006 clauses out of 76011 with flag 2441001/2702767
628.33/624.86	c cleaning 37999 clauses out of 76005 with flag 2479001/2740767
638.55/635.09	c cleaning 37994 clauses out of 76005 with flag 2517000/2778766
648.57/645.01	c cleaning 38002 clauses out of 76011 with flag 2555000/2816766
659.41/655.88	c cleaning 37998 clauses out of 76010 with flag 2593001/2854767
669.50/665.92	c cleaning 37999 clauses out of 76011 with flag 2631000/2892766
679.72/676.10	c cleaning 38007 clauses out of 76014 with flag 2669002/2930768
689.83/686.26	c cleaning 38002 clauses out of 76005 with flag 2707000/2968766
698.75/695.13	c cleaning 37993 clauses out of 76004 with flag 2745001/3006767
706.71/703.12	c cleaning 37985 clauses out of 76011 with flag 2783001/3044767
715.93/712.29	c cleaning 38008 clauses out of 76025 with flag 2821000/3082766
725.97/722.29	c cleaning 38006 clauses out of 76017 with flag 2859000/3120766
735.52/731.75	c cleaning 38000 clauses out of 76011 with flag 2897000/3158766
744.02/740.28	c cleaning 37989 clauses out of 76012 with flag 2935001/3196767
753.56/749.73	c cleaning 38008 clauses out of 76022 with flag 2973000/3234766
762.87/759.02	c cleaning 38003 clauses out of 76014 with flag 3011000/3272766
771.39/767.52	c cleaning 37992 clauses out of 76011 with flag 3049000/3310766
780.91/777.01	c cleaning 38003 clauses out of 76019 with flag 3087000/3348766
790.23/786.32	c cleaning 37994 clauses out of 76017 with flag 3125001/3386767
800.05/796.18	c cleaning 38004 clauses out of 76022 with flag 3163000/3424766
808.27/804.33	c cleaning 38000 clauses out of 76018 with flag 3201000/3462766
817.98/814.00	c cleaning 38000 clauses out of 76018 with flag 3239000/3500766
827.09/823.17	c cleaning 37989 clauses out of 76019 with flag 3277001/3538767
835.90/831.90	c cleaning 38008 clauses out of 76031 with flag 3315002/3576768
845.83/841.82	c cleaning 37995 clauses out of 76021 with flag 3353000/3614766
855.23/851.21	c cleaning 38010 clauses out of 76026 with flag 3391000/3652766
865.04/861.05	c cleaning 37993 clauses out of 76016 with flag 3429000/3690766
875.56/871.53	c cleaning 38003 clauses out of 76023 with flag 3467000/3728766
885.88/881.85	c cleaning 38002 clauses out of 76020 with flag 3505000/3766766
895.01/890.98	c cleaning 37996 clauses out of 76018 with flag 3543000/3804766
904.63/900.52	c cleaning 38003 clauses out of 76022 with flag 3581000/3842766
915.05/910.94	c cleaning 38000 clauses out of 76020 with flag 3619001/3880767
925.07/920.94	c cleaning 37993 clauses out of 76019 with flag 3657000/3918766
934.98/930.90	c cleaning 38012 clauses out of 76027 with flag 3695001/3956767
944.79/940.65	c cleaning 37994 clauses out of 76014 with flag 3733000/3994766
953.92/949.75	c cleaning 37992 clauses out of 76020 with flag 3771000/4032766
963.65/959.48	c cleaning 37993 clauses out of 76029 with flag 3809001/4070767
973.76/969.50	c cleaning 37997 clauses out of 76035 with flag 3847000/4108766
982.98/978.71	c cleaning 38013 clauses out of 76039 with flag 3885001/4146767
992.30/988.06	c cleaning 37995 clauses out of 76025 with flag 3923000/4184766
1001.29/997.08	c cleaning 38001 clauses out of 76030 with flag 3961000/4222766
1010.93/1006.63	c cleaning 37998 clauses out of 76030 with flag 3999001/4260767
1021.01/1016.71	c cleaning 38009 clauses out of 76032 with flag 4037001/4298767
1029.92/1025.69	c cleaning 38006 clauses out of 76023 with flag 4075001/4336767
1039.54/1035.24	c cleaning 37990 clauses out of 76016 with flag 4113000/4374766
1049.65/1045.33	c cleaning 38004 clauses out of 76026 with flag 4151000/4412766
1059.39/1055.02	c cleaning 38005 clauses out of 76023 with flag 4189001/4450767
1068.87/1064.51	c cleaning 38001 clauses out of 76019 with flag 4227002/4488768
1076.13/1071.71	c cleaning 37998 clauses out of 76016 with flag 4265000/4526766
1084.15/1079.78	c cleaning 38003 clauses out of 76018 with flag 4303000/4564766
1093.16/1088.72	c cleaning 37996 clauses out of 76017 with flag 4341002/4602768
1101.79/1097.39	c cleaning 38003 clauses out of 76019 with flag 4379000/4640766
1111.33/1106.89	c cleaning 37999 clauses out of 76016 with flag 4417000/4678766
1120.07/1115.56	c cleaning 38006 clauses out of 76017 with flag 4455000/4716766
1129.17/1124.61	c cleaning 37999 clauses out of 76013 with flag 4493002/4754768
1137.28/1132.73	c cleaning 37991 clauses out of 76012 with flag 4531000/4792766
1146.70/1142.18	c cleaning 37986 clauses out of 76021 with flag 4569000/4830766
1156.62/1152.01	c cleaning 38009 clauses out of 76035 with flag 4607000/4868766
1165.64/1161.06	c cleaning 38003 clauses out of 76026 with flag 4645000/4906766
1170.35/1165.76	c Got one! Elapsed wall clock time (in seconds):1165.652
1170.35/1165.76	o -38
1171.65/1167.02	c cleaning 32801 clauses out of 65606 with flag 5000/4934349
1172.78/1168.13	c cleaning 19391 clauses out of 38805 with flag 11000/4940349
1173.98/1169.32	c cleaning 13202 clauses out of 26414 with flag 18000/4947349
1175.31/1170.66	c cleaning 10598 clauses out of 21214 with flag 26002/4955351
1176.89/1172.29	c cleaning 9807 clauses out of 19615 with flag 35001/4964350
1178.70/1174.09	c cleaning 9896 clauses out of 19807 with flag 45000/4974349
1180.72/1176.10	c cleaning 10454 clauses out of 20911 with flag 56000/4985349
1182.81/1178.21	c cleaning 11222 clauses out of 22457 with flag 68000/4997349
1185.42/1180.70	c cleaning 12117 clauses out of 24235 with flag 81000/5010349
1188.13/1183.47	c cleaning 13054 clauses out of 26118 with flag 95000/5024349
1191.13/1186.47	c cleaning 14025 clauses out of 28064 with flag 110000/5039349
1194.54/1189.84	c cleaning 15015 clauses out of 30039 with flag 126000/5055349
1198.25/1193.61	c cleaning 16008 clauses out of 32024 with flag 143000/5072349
1202.65/1197.97	c cleaning 17003 clauses out of 34016 with flag 161000/5090349
1207.28/1202.54	c cleaning 18004 clauses out of 36013 with flag 180000/5109349
1212.06/1207.33	c cleaning 19000 clauses out of 38009 with flag 200000/5129349
1217.09/1212.41	c cleaning 19999 clauses out of 40009 with flag 221000/5150349
1221.49/1216.81	c cleaning 21005 clauses out of 42011 with flag 243001/5172350
1225.91/1221.22	c cleaning 21996 clauses out of 44005 with flag 266000/5195349
1230.80/1226.03	c cleaning 22992 clauses out of 46009 with flag 290000/5219349
1236.30/1231.59	c cleaning 24006 clauses out of 48017 with flag 315000/5244349
1242.31/1237.55	c cleaning 25006 clauses out of 50011 with flag 341000/5270349
1248.42/1243.64	c cleaning 25992 clauses out of 52005 with flag 368000/5297349
1254.83/1250.03	c cleaning 26997 clauses out of 54014 with flag 396001/5325350
1261.33/1256.57	c cleaning 28006 clauses out of 56017 with flag 425001/5354350
1268.74/1263.90	c cleaning 29005 clauses out of 58010 with flag 455000/5384349
1276.75/1271.94	c cleaning 30001 clauses out of 60005 with flag 486000/5415349
1284.76/1279.99	c cleaning 30991 clauses out of 62004 with flag 518000/5447349
1293.76/1288.97	c cleaning 32004 clauses out of 64013 with flag 551000/5480349
1301.08/1296.23	c cleaning 32999 clauses out of 66009 with flag 585000/5514349
1309.79/1304.94	c cleaning 33991 clauses out of 68011 with flag 620001/5549350
1318.81/1313.98	c cleaning 35004 clauses out of 70020 with flag 656001/5585350
1328.01/1323.12	c cleaning 36002 clauses out of 72016 with flag 693001/5622350
1338.13/1333.22	c cleaning 37005 clauses out of 74013 with flag 731000/5660349
1349.14/1344.27	c cleaning 37505 clauses out of 75009 with flag 769001/5698350
1359.06/1354.12	c cleaning 37740 clauses out of 75504 with flag 807001/5736350
1369.47/1364.57	c cleaning 37876 clauses out of 75763 with flag 845000/5774349
1380.19/1375.29	c cleaning 37939 clauses out of 75887 with flag 883000/5812349
1390.70/1385.74	c cleaning 37968 clauses out of 75948 with flag 921000/5850349
1402.31/1397.35	c cleaning 37989 clauses out of 75980 with flag 959000/5888349
1412.63/1407.65	c cleaning 37984 clauses out of 75991 with flag 997000/5926349
1422.24/1417.20	c cleaning 37999 clauses out of 76007 with flag 1035000/5964349
1432.44/1427.48	c cleaning 37990 clauses out of 76009 with flag 1073001/6002350
1443.18/1438.14	c cleaning 37997 clauses out of 76018 with flag 1111000/6040349
1453.80/1448.79	c cleaning 38000 clauses out of 76021 with flag 1149000/6078349
1465.83/1460.72	c cleaning 37999 clauses out of 76023 with flag 1187002/6116351
1476.55/1471.44	c cleaning 37997 clauses out of 76022 with flag 1225000/6154349
1487.87/1482.76	c cleaning 38007 clauses out of 76025 with flag 1263000/6192349
1498.78/1493.66	c cleaning 37999 clauses out of 76018 with flag 1301000/6230349
1509.99/1504.84	c cleaning 38004 clauses out of 76020 with flag 1339001/6268350
1521.49/1516.34	c cleaning 37996 clauses out of 76016 with flag 1377001/6306350
1534.20/1529.10	c cleaning 37998 clauses out of 76019 with flag 1415000/6344349
1545.81/1540.65	c cleaning 37992 clauses out of 76022 with flag 1453001/6382350
1557.02/1551.81	c cleaning 38007 clauses out of 76029 with flag 1491000/6420349
1568.13/1562.97	c cleaning 38003 clauses out of 76022 with flag 1529000/6458349
1579.55/1574.38	c cleaning 38002 clauses out of 76019 with flag 1567000/6496349
1591.34/1586.11	c cleaning 38001 clauses out of 76019 with flag 1605002/6534351
1603.06/1597.80	c cleaning 37999 clauses out of 76017 with flag 1643001/6572350
1613.69/1608.47	c cleaning 37997 clauses out of 76017 with flag 1681000/6610349
1625.79/1620.60	c cleaning 38004 clauses out of 76020 with flag 1719000/6648349
1636.88/1631.69	c cleaning 37998 clauses out of 76016 with flag 1757000/6686349
1648.49/1643.27	c cleaning 37984 clauses out of 76018 with flag 1795000/6724349
1656.31/1651.04	c cleaning 38005 clauses out of 76034 with flag 1833000/6762349
1664.53/1659.22	c cleaning 38004 clauses out of 76029 with flag 1871000/6800349
1672.65/1667.31	c cleaning 37999 clauses out of 76025 with flag 1909000/6838349
1680.47/1675.14	c cleaning 38003 clauses out of 76027 with flag 1947001/6876350
1689.72/1684.32	c cleaning 37989 clauses out of 76023 with flag 1985000/6914349
1698.32/1692.94	c cleaning 38010 clauses out of 76034 with flag 2023000/6952349
1708.93/1703.57	c cleaning 38002 clauses out of 76024 with flag 2061000/6990349
1719.85/1714.48	c cleaning 38005 clauses out of 76022 with flag 2099000/7028349
1731.41/1725.99	c cleaning 37999 clauses out of 76018 with flag 2137001/7066350
1742.36/1736.89	c cleaning 37998 clauses out of 76019 with flag 2175001/7104350
1753.38/1747.83	c cleaning 38003 clauses out of 76020 with flag 2213000/7142349
1763.69/1758.17	c cleaning 37997 clauses out of 76017 with flag 2251000/7180349
1772.03/1766.45	c cleaning 37999 clauses out of 76020 with flag 2289000/7218349
1781.04/1775.45	c cleaning 38007 clauses out of 76021 with flag 2327000/7256349
1790.54/1784.96	c cleaning 38006 clauses out of 76015 with flag 2365001/7294350
1799.55/1793.94	c cleaning 37991 clauses out of 76008 with flag 2403000/7332349
1800.07/1794.42	c starts		: 308
1800.07/1794.42	c conflicts		: 7335341
1800.07/1794.42	c decisions		: 7660474
1800.07/1794.42	c propagations		: 43825081
1800.07/1794.42	c inspects		: 13818414531
1800.07/1794.42	c shortcuts		: 0
1800.07/1794.42	c learnt literals	: 0
1800.07/1794.42	c learnt binary clauses	: 0
1800.07/1794.42	c learnt ternary clauses	: 0
1800.07/1794.42	c learnt constraints	: 7335341
1800.07/1794.42	c ignored constraints	: 0
1800.07/1794.42	c root simplifications	: 0
1800.07/1794.42	c removed literals (reason simplification)	: 97492343
1800.07/1794.42	c reason swapping (by a shorter reason)	: 0
1800.07/1794.42	c Calls to reduceDB	: 241
1800.07/1794.42	c number of reductions to clauses (during analyze)	: 0
1800.07/1794.42	c number of learned constraints concerned by reduction	: 0
1800.07/1794.42	c number of learning phase by resolution	: 0
1800.07/1794.42	c number of learning phase by cutting planes	: 0
1800.07/1794.42	c speed (assignments/second)	: 69711.34547016297
1800.07/1794.42	c non guided choices	0
1800.07/1794.44	c learnt constraints type 
1800.07/1794.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 41096
1800.07/1794.44	c constraints type 
1800.07/1794.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18729
1800.07/1794.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.07/1794.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1794.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18729
1800.07/1794.44	s SATISFIABLE
1800.07/1794.44	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 
1800.07/1794.44	c objective function=-38
1800.07/1794.44	c Total wall clock time (in seconds): 1794.336

Verifier Data 

OK	-38

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-3458382-1307160341/watcher-3458382-1307160341 -o /tmp/evaluation-result-3458382-1307160341/solver-3458382-1307160341 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458382-1307160341.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: 2.00 2.03 2.00 2/568 28690
/proc/meminfo: memFree=20801940/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 9148 0 1 0 0 1 0 0 25 0 2 0 827634547 13850947584 8850 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3381579 8864 917 9 0 3372735 0
[pid=28690/tid=28691] ppid=28688 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 8099 0 1 0 0 0 0 0 25 0 2 0 827634548 13850947584 8914 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.084147 s]
/proc/loadavg: 2.00 2.03 2.00 2/568 28690
/proc/meminfo: memFree=20801940/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13555248 CPUtime=0.08 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 14561 0 1 0 6 2 0 0 25 0 18 0 827634547 13880573952 14258 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3388812 14275 1771 9 0 3379546 0
[pid=28690/tid=28691] ppid=28688 vsize=13555248 CPUtime=0.06 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 13381 0 1 0 5 1 0 0 25 0 18 0 827634548 13880573952 14279 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652686283 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13555248

[startup+0.101139 s]
/proc/loadavg: 2.00 2.03 2.00 2/568 28690
/proc/meminfo: memFree=20801940/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13621900 CPUtime=0.11 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 15568 0 1 0 9 2 0 0 25 0 18 0 827634547 13948825600 15249 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3405475 15250 2092 9 0 3396209 0
[pid=28690/tid=28691] ppid=28688 vsize=13621900 CPUtime=0.08 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 13633 0 1 0 7 1 0 0 18 0 18 0 827634548 13948825600 15250 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652686283 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621900

[startup+0.32281 s]
/proc/loadavg: 2.00 2.03 2.00 2/568 28690
/proc/meminfo: memFree=20801940/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13633520 CPUtime=1.16 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 29246 0 1 0 112 4 0 0 25 0 18 0 827634547 13960724480 25824 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408380 25827 2233 9 0 3399114 0
[pid=28690/tid=28691] ppid=28688 vsize=13633520 CPUtime=0.51 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 19867 0 1 0 49 2 0 0 18 0 18 0 827634548 13960724480 25827 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 46912505571894 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13633520

[startup+0.701041 s]
/proc/loadavg: 2.00 2.03 2.00 2/568 28690
/proc/meminfo: memFree=20801940/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13634548 CPUtime=1.66 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 38567 0 1 0 161 5 0 0 25 0 19 0 827634547 13961777152 35145 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408637 35145 2237 9 0 3399371 0
[pid=28690/tid=28691] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 29123 0 1 0 65 3 0 0 19 0 19 0 827634548 13961777152 35145 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 46912505217871 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13634548

[startup+1.5009 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 28709
/proc/meminfo: memFree=20656716/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13634548 CPUtime=2.8 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 42881 0 1 0 274 6 0 0 25 0 19 0 827634547 13961777152 39396 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408637 39396 2242 9 0 3399371 0
[pid=28690/tid=28691] ppid=28688 vsize=13634548 CPUtime=1.48 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 33300 0 1 0 144 4 0 0 20 0 19 0 827634548 13961777152 39396 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 46912506073568 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28690/tid=28693] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28693/stat : 28693 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39397 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28694] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28694/stat : 28694 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39397 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28695] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28695/stat : 28695 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39397 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28696] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28696/stat : 28696 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39397 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28697] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28697/stat : 28697 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39397 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28698] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28698/stat : 28698 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39398 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28699] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28699/stat : 28699 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39398 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28700] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28700/stat : 28700 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634550 13961777152 39398 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28701] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28701/stat : 28701 (java) S 28688 28690 24519 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 39398 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 0 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28702] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28702/stat : 28702 (java) S 28688 28690 24519 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827634551 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28703] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28703/stat : 28703 (java) S 28688 28690 24519 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827634551 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28704] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28704/stat : 28704 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652683185 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28705] ppid=28688 vsize=13634548 CPUtime=0.66 cores=0,2,4,6
/proc/28690/task/28705/stat : 28705 (java) S 28688 28690 24519 0 -1 4202560 3938 0 0 0 66 0 0 0 15 0 19 0 827634553 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28706] ppid=28688 vsize=13634548 CPUtime=0.62 cores=0,2,4,6
/proc/28690/task/28706/stat : 28706 (java) S 28688 28690 24519 0 -1 4202560 4483 0 0 0 62 0 0 0 15 0 19 0 827634553 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28707] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28707/stat : 28707 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28708] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28708/stat : 28708 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827634553 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28709] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28709/stat : 28709 (java) S 28688 28690 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827634616 13961777152 39399 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 13634548

[startup+3.10161 s]
/proc/loadavg: 2.00 2.03 2.00 4/587 28709
/proc/meminfo: memFree=20600296/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13634548 CPUtime=4.52 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 59545 0 1 0 445 7 0 0 25 0 19 0 827634547 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408637 56039 2269 9 0 3399371 0
[pid=28690/tid=28691] ppid=28688 vsize=13634548 CPUtime=2.94 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 34718 0 1 0 290 4 0 0 17 0 19 0 827634548 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 46912506073596 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28690/tid=28693] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28693/stat : 28693 (java) S 28688 28690 24519 0 -1 4202560 1055 0 0 0 0 0 0 0 15 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28694] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28694/stat : 28694 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28695] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28695/stat : 28695 (java) S 28688 28690 24519 0 -1 4202560 1248 0 0 0 0 0 0 0 16 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28696] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28696/stat : 28696 (java) S 28688 28690 24519 0 -1 4202560 145 0 0 0 0 0 0 0 16 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28697] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28697/stat : 28697 (java) S 28688 28690 24519 0 -1 4202560 1916 0 0 0 0 0 0 0 18 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28698] ppid=28688 vsize=13634548 CPUtime=0.01 cores=0,2,4,6
/proc/28690/task/28698/stat : 28698 (java) S 28688 28690 24519 0 -1 4202560 1671 0 0 0 1 0 0 0 18 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28699] ppid=28688 vsize=13634548 CPUtime=0.01 cores=0,2,4,6
/proc/28690/task/28699/stat : 28699 (java) S 28688 28690 24519 0 -1 4202560 1209 0 0 0 1 0 0 0 18 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28700] ppid=28688 vsize=13634548 CPUtime=0.01 cores=0,2,4,6
/proc/28690/task/28700/stat : 28700 (java) S 28688 28690 24519 0 -1 4202560 1206 0 0 0 1 0 0 0 18 0 19 0 827634550 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28701] ppid=28688 vsize=13634548 CPUtime=0.11 cores=0,2,4,6
/proc/28690/task/28701/stat : 28701 (java) S 28688 28690 24519 0 -1 4202560 6779 0 0 0 11 0 0 0 16 0 19 0 827634551 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 0 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28702] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28702/stat : 28702 (java) S 28688 28690 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28703] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28703/stat : 28703 (java) S 28688 28690 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28704] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28704/stat : 28704 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652683185 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28705] ppid=28688 vsize=13634548 CPUtime=0.69 cores=0,2,4,6
/proc/28690/task/28705/stat : 28705 (java) S 28688 28690 24519 0 -1 4202560 3946 0 0 0 69 0 0 0 15 0 19 0 827634553 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28706] ppid=28688 vsize=13634548 CPUtime=0.67 cores=0,2,4,6
/proc/28690/task/28706/stat : 28706 (java) S 28688 28690 24519 0 -1 4202560 4500 0 0 0 67 0 0 0 15 0 19 0 827634553 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28707] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28707/stat : 28707 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28708] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28708/stat : 28708 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827634553 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28709] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28709/stat : 28709 (java) S 28688 28690 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827634616 13961777152 56039 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 13634548

[startup+6.30099 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 28709
/proc/meminfo: memFree=20571020/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13634548 CPUtime=7.79 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 61749 0 1 0 771 8 0 0 25 0 19 0 827634547 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408637 58159 2269 9 0 3399371 0
[pid=28690/tid=28691] ppid=28688 vsize=13634548 CPUtime=5.99 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) S 28688 28690 24519 0 -1 4202560 34722 0 1 0 595 4 0 0 21 0 19 0 827634548 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28693] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28693/stat : 28693 (java) S 28688 28690 24519 0 -1 4202560 1262 0 0 0 0 0 0 0 16 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28694] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28694/stat : 28694 (java) S 28688 28690 24519 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28695] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28695/stat : 28695 (java) S 28688 28690 24519 0 -1 4202560 1562 0 0 0 0 0 0 0 15 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28696] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28696/stat : 28696 (java) S 28688 28690 24519 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28697] ppid=28688 vsize=13634548 CPUtime=0.01 cores=0,2,4,6
/proc/28690/task/28697/stat : 28697 (java) S 28688 28690 24519 0 -1 4202560 1928 0 0 0 1 0 0 0 15 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28698] ppid=28688 vsize=13634548 CPUtime=0.01 cores=0,2,4,6
/proc/28690/task/28698/stat : 28698 (java) S 28688 28690 24519 0 -1 4202560 1675 0 0 0 1 0 0 0 18 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28699] ppid=28688 vsize=13634548 CPUtime=0.02 cores=0,2,4,6
/proc/28690/task/28699/stat : 28699 (java) S 28688 28690 24519 0 -1 4202560 1244 0 0 0 2 0 0 0 16 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28700] ppid=28688 vsize=13634548 CPUtime=0.01 cores=0,2,4,6
/proc/28690/task/28700/stat : 28700 (java) S 28688 28690 24519 0 -1 4202560 1439 0 0 0 1 0 0 0 16 0 19 0 827634550 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28701] ppid=28688 vsize=13634548 CPUtime=0.25 cores=0,2,4,6
/proc/28690/task/28701/stat : 28701 (java) R 28688 28690 24519 0 -1 4202560 8056 0 0 0 25 0 0 0 15 0 19 0 827634551 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 47069253557391 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=28690/tid=28702] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28702/stat : 28702 (java) S 28688 28690 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28703] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28703/stat : 28703 (java) S 28688 28690 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28704] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28704/stat : 28704 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652683185 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28705] ppid=28688 vsize=13634548 CPUtime=0.72 cores=0,2,4,6
/proc/28690/task/28705/stat : 28705 (java) S 28688 28690 24519 0 -1 4202560 4020 0 0 0 72 0 0 0 15 0 19 0 827634553 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28706] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28706/stat : 28706 (java) S 28688 28690 24519 0 -1 4202560 4502 0 0 0 68 0 0 0 15 0 19 0 827634553 13961777152 58159 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0

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

[pid=28690/tid=28698] ppid=28688 vsize=13634548 CPUtime=0.67 cores=0,2,4,6
/proc/28690/task/28698/stat : 28698 (java) S 28688 28690 24519 0 -1 4202560 5211 0 0 0 67 0 0 0 16 0 19 0 827634550 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28699] ppid=28688 vsize=13634548 CPUtime=0.66 cores=0,2,4,6
/proc/28690/task/28699/stat : 28699 (java) S 28688 28690 24519 0 -1 4202560 3944 0 0 0 66 0 0 0 15 0 19 0 827634550 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28700] ppid=28688 vsize=13634548 CPUtime=0.73 cores=0,2,4,6
/proc/28690/task/28700/stat : 28700 (java) S 28688 28690 24519 0 -1 4202560 3592 0 0 0 73 0 0 0 15 0 19 0 827634550 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28701] ppid=28688 vsize=13634548 CPUtime=19.47 cores=0,2,4,6
/proc/28690/task/28701/stat : 28701 (java) S 28688 28690 24519 0 -1 4202560 33992 0 0 0 1943 4 0 0 15 0 19 0 827634551 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 0 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28702] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28702/stat : 28702 (java) S 28688 28690 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28703] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28703/stat : 28703 (java) S 28688 28690 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28704] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28704/stat : 28704 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652683185 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28705] ppid=28688 vsize=13634548 CPUtime=0.8 cores=0,2,4,6
/proc/28690/task/28705/stat : 28705 (java) S 28688 28690 24519 0 -1 4202560 4045 0 0 0 79 1 0 0 15 0 19 0 827634553 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28706] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28706/stat : 28706 (java) S 28688 28690 24519 0 -1 4202560 4502 0 0 0 68 0 0 0 16 0 19 0 827634553 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28707] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28707/stat : 28707 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28708] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28708/stat : 28708 (java) S 28688 28690 24519 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 827634553 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28709] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28709/stat : 28709 (java) S 28688 28690 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827634616 13961777152 107735 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.67
Current children cumulated vsize (KiB) 13634548

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/587 28803
/proc/meminfo: memFree=20099380/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13634548 CPUtime=1727.81 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 111874 0 1 0 172763 18 0 0 25 0 19 0 827634547 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408637 107838 2270 9 0 3399371 0
[pid=28690/tid=28691] ppid=28688 vsize=13634548 CPUtime=1700.37 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 34954 0 1 0 170032 5 0 0 25 0 19 0 827634548 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 46912506021384 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28690/tid=28693] ppid=28688 vsize=13634548 CPUtime=0.71 cores=0,2,4,6
/proc/28690/task/28693/stat : 28693 (java) S 28688 28690 24519 0 -1 4202560 3406 0 0 0 71 0 0 0 16 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28694] ppid=28688 vsize=13634548 CPUtime=0.74 cores=0,2,4,6
/proc/28690/task/28694/stat : 28694 (java) S 28688 28690 24519 0 -1 4202560 3513 0 0 0 74 0 0 0 15 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28695] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28695/stat : 28695 (java) S 28688 28690 24519 0 -1 4202560 4519 0 0 0 68 0 0 0 15 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28696] ppid=28688 vsize=13634548 CPUtime=0.69 cores=0,2,4,6
/proc/28690/task/28696/stat : 28696 (java) S 28688 28690 24519 0 -1 4202560 4315 0 0 0 69 0 0 0 15 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28697] ppid=28688 vsize=13634548 CPUtime=0.78 cores=0,2,4,6
/proc/28690/task/28697/stat : 28697 (java) S 28688 28690 24519 0 -1 4202560 4582 0 0 0 78 0 0 0 16 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28698] ppid=28688 vsize=13634548 CPUtime=0.7 cores=0,2,4,6
/proc/28690/task/28698/stat : 28698 (java) S 28688 28690 24519 0 -1 4202560 5211 0 0 0 70 0 0 0 16 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28699] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28699/stat : 28699 (java) S 28688 28690 24519 0 -1 4202560 3945 0 0 0 68 0 0 0 15 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28700] ppid=28688 vsize=13634548 CPUtime=0.77 cores=0,2,4,6
/proc/28690/task/28700/stat : 28700 (java) S 28688 28690 24519 0 -1 4202560 3638 0 0 0 77 0 0 0 16 0 19 0 827634550 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28701] ppid=28688 vsize=13634548 CPUtime=20.06 cores=0,2,4,6
/proc/28690/task/28701/stat : 28701 (java) S 28688 28690 24519 0 -1 4202560 33996 0 0 0 2002 4 0 0 15 0 19 0 827634551 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 0 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28702] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28702/stat : 28702 (java) S 28688 28690 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28703] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28703/stat : 28703 (java) S 28688 28690 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28704] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28704/stat : 28704 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652683185 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28705] ppid=28688 vsize=13634548 CPUtime=0.8 cores=0,2,4,6
/proc/28690/task/28705/stat : 28705 (java) S 28688 28690 24519 0 -1 4202560 4045 0 0 0 79 1 0 0 15 0 19 0 827634553 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28706] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28706/stat : 28706 (java) S 28688 28690 24519 0 -1 4202560 4502 0 0 0 68 0 0 0 16 0 19 0 827634553 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28707] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28707/stat : 28707 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28708] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28708/stat : 28708 (java) S 28688 28690 24519 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827634553 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28709] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28709/stat : 28709 (java) S 28688 28690 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827634616 13961777152 107838 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.81
Current children cumulated vsize (KiB) 13634548

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/587 28804
/proc/meminfo: memFree=20098496/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13634548 CPUtime=1787.94 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 111928 0 1 0 178775 19 0 0 25 0 19 0 827634547 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408637 107878 2270 9 0 3399371 0
[pid=28690/tid=28691] ppid=28688 vsize=13634548 CPUtime=1759.75 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 34960 0 1 0 175970 5 0 0 25 0 19 0 827634548 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 46912506033578 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28690/tid=28693] ppid=28688 vsize=13634548 CPUtime=0.74 cores=0,2,4,6
/proc/28690/task/28693/stat : 28693 (java) S 28688 28690 24519 0 -1 4202560 3406 0 0 0 74 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28694] ppid=28688 vsize=13634548 CPUtime=0.75 cores=0,2,4,6
/proc/28690/task/28694/stat : 28694 (java) S 28688 28690 24519 0 -1 4202560 3513 0 0 0 75 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28695] ppid=28688 vsize=13634548 CPUtime=0.7 cores=0,2,4,6
/proc/28690/task/28695/stat : 28695 (java) S 28688 28690 24519 0 -1 4202560 4530 0 0 0 70 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28696] ppid=28688 vsize=13634548 CPUtime=0.71 cores=0,2,4,6
/proc/28690/task/28696/stat : 28696 (java) S 28688 28690 24519 0 -1 4202560 4330 0 0 0 71 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28697] ppid=28688 vsize=13634548 CPUtime=0.79 cores=0,2,4,6
/proc/28690/task/28697/stat : 28697 (java) S 28688 28690 24519 0 -1 4202560 4582 0 0 0 79 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28698] ppid=28688 vsize=13634548 CPUtime=0.72 cores=0,2,4,6
/proc/28690/task/28698/stat : 28698 (java) S 28688 28690 24519 0 -1 4202560 5211 0 0 0 72 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28699] ppid=28688 vsize=13634548 CPUtime=0.72 cores=0,2,4,6
/proc/28690/task/28699/stat : 28699 (java) S 28688 28690 24519 0 -1 4202560 3959 0 0 0 72 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28700] ppid=28688 vsize=13634548 CPUtime=0.8 cores=0,2,4,6
/proc/28690/task/28700/stat : 28700 (java) S 28688 28690 24519 0 -1 4202560 3638 0 0 0 80 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28701] ppid=28688 vsize=13634548 CPUtime=20.63 cores=0,2,4,6
/proc/28690/task/28701/stat : 28701 (java) S 28688 28690 24519 0 -1 4202560 34000 0 0 0 2058 5 0 0 15 0 19 0 827634551 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 0 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28702] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28702/stat : 28702 (java) S 28688 28690 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28703] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28703/stat : 28703 (java) S 28688 28690 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28704] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28704/stat : 28704 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652683185 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28705] ppid=28688 vsize=13634548 CPUtime=0.8 cores=0,2,4,6
/proc/28690/task/28705/stat : 28705 (java) S 28688 28690 24519 0 -1 4202560 4045 0 0 0 79 1 0 0 15 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28706] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28706/stat : 28706 (java) S 28688 28690 24519 0 -1 4202560 4502 0 0 0 68 0 0 0 16 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28707] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28707/stat : 28707 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28708] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28708/stat : 28708 (java) S 28688 28690 24519 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28709] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28709/stat : 28709 (java) S 28688 28690 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827634616 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.94
Current children cumulated vsize (KiB) 13634548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.01 2.04 2.00 3/587 28805
/proc/meminfo: memFree=20098744/32951124 swapFree=53733252/67111528
[pid=28690] ppid=28688 vsize=13634548 CPUtime=1800.07 cores=0,2,4,6
/proc/28690/stat : 28690 (java) S 28688 28690 24519 0 -1 4202496 111930 0 1 0 179988 19 0 0 25 0 19 0 827634547 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28690/statm: 3408637 107878 2270 9 0 3399371 0
[pid=28690/tid=28691] ppid=28688 vsize=13634548 CPUtime=1771.67 cores=0,2,4,6
/proc/28690/task/28691/stat : 28691 (java) R 28688 28690 24519 0 -1 4202560 34962 0 1 0 177162 5 0 0 25 0 19 0 827634548 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 46912506073510 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28690/tid=28693] ppid=28688 vsize=13634548 CPUtime=0.75 cores=0,2,4,6
/proc/28690/task/28693/stat : 28693 (java) S 28688 28690 24519 0 -1 4202560 3406 0 0 0 75 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28694] ppid=28688 vsize=13634548 CPUtime=0.75 cores=0,2,4,6
/proc/28690/task/28694/stat : 28694 (java) S 28688 28690 24519 0 -1 4202560 3513 0 0 0 75 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28695] ppid=28688 vsize=13634548 CPUtime=0.71 cores=0,2,4,6
/proc/28690/task/28695/stat : 28695 (java) S 28688 28690 24519 0 -1 4202560 4530 0 0 0 71 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28696] ppid=28688 vsize=13634548 CPUtime=0.71 cores=0,2,4,6
/proc/28690/task/28696/stat : 28696 (java) S 28688 28690 24519 0 -1 4202560 4330 0 0 0 71 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28697] ppid=28688 vsize=13634548 CPUtime=0.79 cores=0,2,4,6
/proc/28690/task/28697/stat : 28697 (java) S 28688 28690 24519 0 -1 4202560 4582 0 0 0 79 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28698] ppid=28688 vsize=13634548 CPUtime=0.72 cores=0,2,4,6
/proc/28690/task/28698/stat : 28698 (java) S 28688 28690 24519 0 -1 4202560 5211 0 0 0 72 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28699] ppid=28688 vsize=13634548 CPUtime=0.72 cores=0,2,4,6
/proc/28690/task/28699/stat : 28699 (java) S 28688 28690 24519 0 -1 4202560 3959 0 0 0 72 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28700] ppid=28688 vsize=13634548 CPUtime=0.8 cores=0,2,4,6
/proc/28690/task/28700/stat : 28700 (java) S 28688 28690 24519 0 -1 4202560 3638 0 0 0 80 0 0 0 15 0 19 0 827634550 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28701] ppid=28688 vsize=13634548 CPUtime=20.83 cores=0,2,4,6
/proc/28690/task/28701/stat : 28701 (java) S 28688 28690 24519 0 -1 4202560 34000 0 0 0 2078 5 0 0 16 0 19 0 827634551 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 0 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28702] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28702/stat : 28702 (java) S 28688 28690 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28703] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28703/stat : 28703 (java) S 28688 28690 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827634551 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
[pid=28690/tid=28704] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28704/stat : 28704 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652683185 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28705] ppid=28688 vsize=13634548 CPUtime=0.8 cores=0,2,4,6
/proc/28690/task/28705/stat : 28705 (java) S 28688 28690 24519 0 -1 4202560 4045 0 0 0 79 1 0 0 15 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 4 0 0 0
[pid=28690/tid=28706] ppid=28688 vsize=13634548 CPUtime=0.68 cores=0,2,4,6
/proc/28690/task/28706/stat : 28706 (java) S 28688 28690 24519 0 -1 4202560 4502 0 0 0 68 0 0 0 16 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 0 0 0 0
[pid=28690/tid=28707] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28707/stat : 28707 (java) S 28688 28690 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652675481 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28708] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28708/stat : 28708 (java) S 28688 28690 24519 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827634553 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 2 0 0 0
[pid=28690/tid=28709] ppid=28688 vsize=13634548 CPUtime=0 cores=0,2,4,6
/proc/28690/task/28709/stat : 28709 (java) S 28688 28690 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827634616 13961777152 107878 33554432000 1073741824 1073778376 140735163351280 18446744073709551615 253652676096 0 4 0 16800975 18446604448359041920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13634548

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): 1794.47
CPU time (s): 1800.17
CPU user time (s): 1799.95
CPU system time (s): 0.214967
CPU usage (%): 100.317
Max. virtual memory (cumulated for all children) (KiB): 13634548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111972
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= 43894
involuntary context switches= 10662

runsolver used 10.8074 second user time and 22.0786 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 06:05:42
IDJOB=3458382
IDBENCH=48202
IDSOLVER=1952
FILE ID=node106/3458382-1307160341
RUNJOBID= node106-1307156122-27405
PBS_JOBID= 13508810
Free space on /tmp= 73760 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_4.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458382-1307160341/watcher-3458382-1307160341 -o /tmp/evaluation-result-3458382-1307160341/solver-3458382-1307160341 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458382-1307160341.opb

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

MD5SUM BENCH= 468c9636f2c99e512d4c3bca04b78033
RANDOM SEED=534927154

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20802096 kB
Buffers:        397320 kB
Cached:        5984500 kB
SwapCached:      22744 kB
Active:        6255476 kB
Inactive:      5552120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20802096 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:             816 kB
Writeback:          72 kB
AnonPages:     5421756 kB
Mapped:          34360 kB
Slab:           192160 kB
PageTables:      79096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 180981784 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= 73760 MiB
End job on node106 at 2011-06-04 06:35:38