Trace number 3458463

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)-35 1800.16 1798.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
MD5SUM74165f17686851db36d48a05683565a5
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-58
Best CPU time to get the best result obtained on this benchmark1797.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

Quality of the solution as a function of time


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

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/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@761a626f
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-3458463-1307163124.opb
0.11/0.11	c reading problem ... 
0.46/0.37	c ... done. Wall clock time 0.258s.
0.46/0.37	c #vars     2882
0.46/0.37	c #constraints  5566
0.46/0.37	c constraints type 
0.46/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
0.46/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.46/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.46/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
2.94/2.08	c cleaning 2495 clauses out of 5001 with flag 5001/5001
3.38/2.43	c SATISFIABLE
3.38/2.43	c OPTIMIZING...
3.38/2.43	c Got one! Elapsed wall clock time (in seconds):2.318
3.38/2.43	o -32
3.92/2.94	c Got one! Elapsed wall clock time (in seconds):2.832
3.92/2.94	o -35
4.87/3.83	c cleaning 3891 clauses out of 7902 with flag 2000/10397
7.48/6.49	c cleaning 4963 clauses out of 10011 with flag 8000/16397
10.38/9.32	c cleaning 6020 clauses out of 12048 with flag 15000/23397
13.03/11.96	c cleaning 7014 clauses out of 14028 with flag 23000/31397
15.93/14.85	c cleaning 7970 clauses out of 16014 with flag 32000/40397
19.13/18.02	c cleaning 8909 clauses out of 18044 with flag 42000/50397
23.23/22.10	c cleaning 9501 clauses out of 19135 with flag 52000/60397
27.03/26.00	c cleaning 9679 clauses out of 19634 with flag 62000/70397
31.03/29.96	c cleaning 9822 clauses out of 19955 with flag 72000/80397
34.73/33.65	c cleaning 9953 clauses out of 20133 with flag 82000/90397
38.44/37.32	c cleaning 10041 clauses out of 20180 with flag 92000/100397
42.14/41.02	c cleaning 10039 clauses out of 20139 with flag 102000/110397
46.64/45.52	c cleaning 9946 clauses out of 20100 with flag 112000/120397
50.84/49.73	c cleaning 9987 clauses out of 20154 with flag 122000/130397
54.84/53.79	c cleaning 10053 clauses out of 20167 with flag 132000/140397
58.94/57.84	c cleaning 9967 clauses out of 20114 with flag 142000/150397
63.34/62.23	c cleaning 10067 clauses out of 20147 with flag 152000/160397
68.34/67.29	c cleaning 9909 clauses out of 20080 with flag 162000/170397
73.14/72.05	c cleaning 10029 clauses out of 20171 with flag 172000/180397
77.64/76.56	c cleaning 10027 clauses out of 20142 with flag 182000/190397
82.34/81.21	c cleaning 9919 clauses out of 20115 with flag 192000/200397
87.24/86.17	c cleaning 9991 clauses out of 20196 with flag 202000/210397
92.24/91.19	c cleaning 9980 clauses out of 20205 with flag 212000/220397
96.94/95.86	c cleaning 10048 clauses out of 20225 with flag 222000/230397
101.84/100.75	c cleaning 10010 clauses out of 20177 with flag 232000/240397
106.76/105.68	c cleaning 9947 clauses out of 20167 with flag 242000/250397
111.44/110.32	c cleaning 10002 clauses out of 20220 with flag 252000/260397
116.14/115.03	c cleaning 9976 clauses out of 20218 with flag 262000/270397
120.95/119.83	c cleaning 9977 clauses out of 20242 with flag 272000/280397
125.65/124.53	c cleaning 10057 clauses out of 20265 with flag 282000/290397
130.96/129.86	c cleaning 9963 clauses out of 20208 with flag 292000/300397
136.55/135.43	c cleaning 10052 clauses out of 20245 with flag 302000/310397
141.45/140.38	c cleaning 10000 clauses out of 20193 with flag 312000/320397
147.35/146.22	c cleaning 9980 clauses out of 20193 with flag 322000/330397
152.75/151.65	c cleaning 10018 clauses out of 20213 with flag 332000/340397
158.05/156.98	c cleaning 9982 clauses out of 20195 with flag 342000/350397
163.45/162.34	c cleaning 9980 clauses out of 20213 with flag 352000/360397
168.65/167.55	c cleaning 10056 clauses out of 20233 with flag 362000/370397
173.35/172.29	c cleaning 9978 clauses out of 20177 with flag 372000/380397
178.55/177.44	c cleaning 10036 clauses out of 20199 with flag 382000/390397
183.77/182.62	c cleaning 9977 clauses out of 20163 with flag 392000/400397
188.46/187.30	c cleaning 10008 clauses out of 20186 with flag 402000/410397
193.86/192.76	c cleaning 9985 clauses out of 20178 with flag 412000/420397
198.86/197.71	c cleaning 9959 clauses out of 20193 with flag 422000/430397
204.26/203.19	c cleaning 9998 clauses out of 20234 with flag 432000/440397
209.16/208.03	c cleaning 10025 clauses out of 20236 with flag 442000/450397
214.26/213.19	c cleaning 10010 clauses out of 20211 with flag 452000/460397
219.76/218.69	c cleaning 9950 clauses out of 20201 with flag 462000/470397
225.16/224.01	c cleaning 10046 clauses out of 20251 with flag 472000/480397
230.36/229.29	c cleaning 9976 clauses out of 20205 with flag 482000/490397
235.56/234.46	c cleaning 9984 clauses out of 20229 with flag 492000/500397
240.56/239.44	c cleaning 9993 clauses out of 20245 with flag 502000/510397
245.46/244.32	c cleaning 10044 clauses out of 20252 with flag 512000/520397
250.88/249.74	c cleaning 9965 clauses out of 20208 with flag 522000/530397
255.77/254.63	c cleaning 10003 clauses out of 20243 with flag 532000/540397
260.68/259.52	c cleaning 10012 clauses out of 20240 with flag 542000/550397
265.68/264.58	c cleaning 9968 clauses out of 20228 with flag 552000/560397
270.69/269.54	c cleaning 10005 clauses out of 20260 with flag 562000/570397
275.28/274.10	c cleaning 10042 clauses out of 20255 with flag 572000/580397
280.18/279.07	c cleaning 10028 clauses out of 20213 with flag 582000/590397
284.68/283.54	c cleaning 10037 clauses out of 20186 with flag 592001/600398
289.58/288.48	c cleaning 9911 clauses out of 20148 with flag 602000/610397
294.18/293.01	c cleaning 9981 clauses out of 20237 with flag 612000/620397
299.30/298.12	c cleaning 9996 clauses out of 20256 with flag 622000/630397
303.98/302.87	c cleaning 10078 clauses out of 20260 with flag 632000/640397
308.68/307.52	c cleaning 9967 clauses out of 20182 with flag 642000/650397
313.51/312.37	c cleaning 9988 clauses out of 20215 with flag 652000/660397
318.70/317.55	c cleaning 10103 clauses out of 20227 with flag 662000/670397
324.70/323.56	c cleaning 9971 clauses out of 20124 with flag 672000/680397
330.01/328.90	c cleaning 9942 clauses out of 20153 with flag 682000/690397
335.51/334.34	c cleaning 9981 clauses out of 20211 with flag 692000/700397
340.81/339.69	c cleaning 10059 clauses out of 20230 with flag 702000/710397
346.31/345.16	c cleaning 9992 clauses out of 20171 with flag 712000/720397
351.71/350.58	c cleaning 10016 clauses out of 20179 with flag 722000/730397
356.61/355.43	c cleaning 10035 clauses out of 20163 with flag 732000/740397
361.41/360.20	c cleaning 9993 clauses out of 20128 with flag 742000/750397
366.81/365.69	c cleaning 9939 clauses out of 20135 with flag 752000/760397
371.71/370.56	c cleaning 10053 clauses out of 20196 with flag 762000/770397
377.01/375.80	c cleaning 10005 clauses out of 20143 with flag 772000/780397
382.21/381.02	c cleaning 9943 clauses out of 20138 with flag 782000/790397
387.02/385.80	c cleaning 10013 clauses out of 20195 with flag 792000/800397
391.42/390.24	c cleaning 10059 clauses out of 20182 with flag 802000/810397
396.62/395.47	c cleaning 9954 clauses out of 20123 with flag 812000/820397
401.52/400.41	c cleaning 9967 clauses out of 20169 with flag 822000/830397
406.62/405.41	c cleaning 9983 clauses out of 20202 with flag 832000/840397
411.62/410.45	c cleaning 9989 clauses out of 20219 with flag 842000/850397
417.42/416.23	c cleaning 10050 clauses out of 20230 with flag 852000/860397
422.62/421.44	c cleaning 9994 clauses out of 20180 with flag 862000/870397
428.12/426.96	c cleaning 9996 clauses out of 20186 with flag 872000/880397
433.62/432.44	c cleaning 10033 clauses out of 20190 with flag 882000/890397
438.52/437.32	c cleaning 10047 clauses out of 20157 with flag 892000/900397
443.12/441.92	c cleaning 9973 clauses out of 20110 with flag 902000/910397
448.12/446.98	c cleaning 9923 clauses out of 20137 with flag 912000/920397
453.52/452.34	c cleaning 10013 clauses out of 20214 with flag 922000/930397
458.43/457.20	c cleaning 9981 clauses out of 20201 with flag 932000/940397
463.24/462.07	c cleaning 10014 clauses out of 20220 with flag 942000/950397
468.74/467.59	c cleaning 9998 clauses out of 20206 with flag 952000/960397
473.33/472.19	c cleaning 10099 clauses out of 20208 with flag 962000/970397
478.83/477.68	c cleaning 9990 clauses out of 20109 with flag 972000/980397
483.93/482.71	c cleaning 9936 clauses out of 20119 with flag 982000/990397
488.83/487.61	c cleaning 9997 clauses out of 20183 with flag 992000/1000397
493.93/492.75	c cleaning 9961 clauses out of 20186 with flag 1002000/1010397
499.13/497.92	c cleaning 9982 clauses out of 20225 with flag 1012000/1020397
503.73/502.61	c cleaning 9987 clauses out of 20243 with flag 1022000/1030397
508.24/507.10	c cleaning 10057 clauses out of 20256 with flag 1032000/1040397
512.75/511.57	c cleaning 10001 clauses out of 20199 with flag 1042000/1050397
517.53/516.32	c cleaning 9988 clauses out of 20198 with flag 1052000/1060397
522.44/521.24	c cleaning 10043 clauses out of 20210 with flag 1062000/1070397
527.65/526.46	c cleaning 9949 clauses out of 20167 with flag 1072000/1080397
532.85/531.65	c cleaning 10047 clauses out of 20218 with flag 1082000/1090397
537.25/536.07	c cleaning 10063 clauses out of 20171 with flag 1092000/1100397
541.95/540.79	c cleaning 10030 clauses out of 20108 with flag 1102000/1110397
546.55/545.30	c cleaning 9987 clauses out of 20078 with flag 1112000/1120397
551.55/550.31	c cleaning 10008 clauses out of 20091 with flag 1122000/1130397
556.25/555.09	c cleaning 9990 clauses out of 20083 with flag 1132000/1140397
561.17/559.97	c cleaning 9936 clauses out of 20093 with flag 1142000/1150397
566.25/565.02	c cleaning 9980 clauses out of 20157 with flag 1152000/1160397
571.65/570.49	c cleaning 10042 clauses out of 20177 with flag 1162000/1170397
577.35/576.14	c cleaning 9999 clauses out of 20135 with flag 1172000/1180397
582.07/580.88	c cleaning 9972 clauses out of 20136 with flag 1182000/1190397
586.76/585.52	c cleaning 9966 clauses out of 20164 with flag 1192000/1200397
591.56/590.39	c cleaning 10010 clauses out of 20198 with flag 1202000/1210397
596.37/595.15	c cleaning 9993 clauses out of 20188 with flag 1212000/1220397
600.96/599.74	c cleaning 10054 clauses out of 20195 with flag 1222000/1230397
605.66/604.41	c cleaning 9989 clauses out of 20141 with flag 1232000/1240397
609.96/608.71	c cleaning 10054 clauses out of 20152 with flag 1242000/1250397
614.97/613.76	c cleaning 9979 clauses out of 20098 with flag 1252000/1260397
619.97/618.79	c cleaning 9984 clauses out of 20119 with flag 1262000/1270397
625.17/623.94	c cleaning 9981 clauses out of 20135 with flag 1272000/1280397
630.37/629.12	c cleaning 10004 clauses out of 20154 with flag 1282000/1290397
635.47/634.28	c cleaning 10020 clauses out of 20150 with flag 1292000/1300397
640.67/639.49	c cleaning 9971 clauses out of 20130 with flag 1302000/1310397
645.88/644.61	c cleaning 10005 clauses out of 20159 with flag 1312000/1320397
650.87/649.68	c cleaning 9984 clauses out of 20154 with flag 1322000/1330397
655.27/654.08	c cleaning 10017 clauses out of 20170 with flag 1332000/1340397
659.57/658.37	c cleaning 9944 clauses out of 20153 with flag 1342000/1350397
663.77/662.51	c cleaning 10025 clauses out of 20209 with flag 1352000/1360397
667.67/666.47	c cleaning 10003 clauses out of 20184 with flag 1362000/1370397
672.07/670.87	c cleaning 10010 clauses out of 20181 with flag 1372000/1380397
676.47/675.22	c cleaning 9952 clauses out of 20171 with flag 1382000/1390397
681.09/679.88	c cleaning 9997 clauses out of 20219 with flag 1392000/1400397
685.58/684.38	c cleaning 10075 clauses out of 20222 with flag 1402000/1410397
689.78/688.60	c cleaning 9912 clauses out of 20147 with flag 1412000/1420397
693.78/692.52	c cleaning 9972 clauses out of 20235 with flag 1422000/1430397
698.28/697.06	c cleaning 10088 clauses out of 20263 with flag 1432000/1440397
702.58/701.38	c cleaning 10015 clauses out of 20175 with flag 1442000/1450397
706.88/705.63	c cleaning 9967 clauses out of 20160 with flag 1452000/1460397
711.08/709.90	c cleaning 10020 clauses out of 20193 with flag 1462000/1470397
715.38/714.10	c cleaning 10040 clauses out of 20173 with flag 1472000/1480397
719.68/718.41	c cleaning 9985 clauses out of 20133 with flag 1482000/1490397
724.08/722.87	c cleaning 9955 clauses out of 20148 with flag 1492000/1500397
728.48/727.21	c cleaning 10084 clauses out of 20193 with flag 1502000/1510397
733.38/732.17	c cleaning 9995 clauses out of 20109 with flag 1512000/1520397
737.88/736.69	c cleaning 10047 clauses out of 20114 with flag 1522000/1530397
742.08/740.80	c cleaning 9897 clauses out of 20067 with flag 1532000/1540397
746.69/745.46	c cleaning 10031 clauses out of 20170 with flag 1542000/1550397
750.78/749.54	c cleaning 9976 clauses out of 20139 with flag 1552000/1560397
755.09/753.86	c cleaning 9959 clauses out of 20163 with flag 1562000/1570397
759.59/758.32	c cleaning 9984 clauses out of 20204 with flag 1572000/1580397
764.39/763.11	c cleaning 10018 clauses out of 20220 with flag 1582000/1590397
768.89/767.63	c cleaning 10024 clauses out of 20203 with flag 1592001/1600398
773.59/772.36	c cleaning 10050 clauses out of 20178 with flag 1602000/1610397
778.59/777.33	c cleaning 9956 clauses out of 20128 with flag 1612000/1620397
783.59/782.34	c cleaning 9973 clauses out of 20172 with flag 1622000/1630397
787.70/786.45	c cleaning 10012 clauses out of 20199 with flag 1632000/1640397
791.59/790.38	c cleaning 9971 clauses out of 20187 with flag 1642000/1650397
795.89/794.63	c cleaning 10020 clauses out of 20216 with flag 1652000/1660397
800.49/799.27	c cleaning 9997 clauses out of 20196 with flag 1662000/1670397
805.09/803.85	c cleaning 9994 clauses out of 20199 with flag 1672000/1680397
809.59/808.38	c cleaning 9995 clauses out of 20206 with flag 1682001/1690398
814.50/813.26	c cleaning 10044 clauses out of 20210 with flag 1692000/1700397
819.50/818.25	c cleaning 9976 clauses out of 20166 with flag 1702000/1710397
824.70/823.42	c cleaning 9990 clauses out of 20190 with flag 1712000/1720397
830.00/828.73	c cleaning 9999 clauses out of 20200 with flag 1722000/1730397
835.60/834.35	c cleaning 10017 clauses out of 20201 with flag 1732000/1740397
841.31/840.01	c cleaning 10032 clauses out of 20184 with flag 1742000/1750397
846.81/845.60	c cleaning 9997 clauses out of 20153 with flag 1752001/1760398
852.61/851.32	c cleaning 9984 clauses out of 20155 with flag 1762000/1770397
858.22/856.96	c cleaning 9999 clauses out of 20171 with flag 1772000/1780397
863.81/862.50	c cleaning 10001 clauses out of 20172 with flag 1782000/1790397
869.31/868.08	c cleaning 10044 clauses out of 20171 with flag 1792000/1800397
874.72/873.49	c cleaning 10013 clauses out of 20127 with flag 1802000/1810397
880.12/878.84	c cleaning 9971 clauses out of 20114 with flag 1812000/1820397
885.31/884.08	c cleaning 10046 clauses out of 20143 with flag 1822000/1830397
890.71/889.41	c cleaning 9967 clauses out of 20097 with flag 1832000/1840397
895.92/894.65	c cleaning 10008 clauses out of 20130 with flag 1842000/1850397
901.14/899.90	c cleaning 9964 clauses out of 20122 with flag 1852000/1860397
906.32/905.08	c cleaning 10001 clauses out of 20158 with flag 1862000/1870397
911.43/910.14	c cleaning 10010 clauses out of 20158 with flag 1872001/1880398
916.43/915.12	c cleaning 10011 clauses out of 20147 with flag 1882000/1890397
921.33/920.05	c cleaning 9981 clauses out of 20136 with flag 1892000/1900397
926.03/924.73	c cleaning 9963 clauses out of 20155 with flag 1902000/1910397
929.64/928.32	c cleaning 10001 clauses out of 20192 with flag 1912000/1920397
933.34/932.05	c cleaning 9957 clauses out of 20191 with flag 1922000/1930397
937.64/936.37	c cleaning 10003 clauses out of 20234 with flag 1932000/1940397
941.74/940.43	c cleaning 10006 clauses out of 20231 with flag 1942000/1950397
945.84/944.51	c cleaning 9982 clauses out of 20225 with flag 1952000/1960397
950.04/948.70	c cleaning 9986 clauses out of 20243 with flag 1962000/1970397
954.24/952.92	c cleaning 10031 clauses out of 20257 with flag 1972000/1980397
958.55/957.29	c cleaning 9997 clauses out of 20226 with flag 1982000/1990397
963.35/962.05	c cleaning 10077 clauses out of 20229 with flag 1992000/2000397
967.75/966.46	c cleaning 9950 clauses out of 20152 with flag 2002000/2010397
971.95/970.60	c cleaning 10050 clauses out of 20202 with flag 2012000/2020397
977.06/975.72	c cleaning 9969 clauses out of 20152 with flag 2022000/2030397
982.56/981.26	c cleaning 9960 clauses out of 20183 with flag 2032000/2040397
987.75/986.40	c cleaning 9986 clauses out of 20223 with flag 2042000/2050397
992.47/991.13	c cleaning 9961 clauses out of 20237 with flag 2052000/2060397
997.46/996.14	c cleaning 10048 clauses out of 20276 with flag 2062000/2070397
1002.15/1000.88	c cleaning 9960 clauses out of 20228 with flag 2072000/2080397
1007.36/1006.08	c cleaning 9980 clauses out of 20268 with flag 2082000/2090397
1012.27/1010.95	c cleaning 9999 clauses out of 20288 with flag 2092000/2100397
1017.46/1016.14	c cleaning 10060 clauses out of 20289 with flag 2102000/2110397
1022.86/1021.53	c cleaning 10017 clauses out of 20229 with flag 2112000/2120397
1027.96/1026.68	c cleaning 9986 clauses out of 20212 with flag 2122000/2130397
1033.27/1031.96	c cleaning 10034 clauses out of 20226 with flag 2132000/2140397
1038.57/1037.24	c cleaning 10034 clauses out of 20192 with flag 2142000/2150397
1044.27/1042.91	c cleaning 9977 clauses out of 20158 with flag 2152000/2160397
1049.77/1048.43	c cleaning 9998 clauses out of 20181 with flag 2162000/2170397
1055.18/1053.87	c cleaning 10030 clauses out of 20183 with flag 2172000/2180397
1061.17/1059.84	c cleaning 9947 clauses out of 20153 with flag 2182000/2190397
1066.37/1065.00	c cleaning 9959 clauses out of 20206 with flag 2192000/2200397
1071.07/1069.76	c cleaning 10008 clauses out of 20247 with flag 2202000/2210397
1075.67/1074.31	c cleaning 9964 clauses out of 20239 with flag 2212000/2220397
1080.17/1078.82	c cleaning 10067 clauses out of 20275 with flag 2222000/2230397
1084.97/1083.66	c cleaning 9993 clauses out of 20208 with flag 2232000/2240397
1089.57/1088.22	c cleaning 9981 clauses out of 20215 with flag 2242000/2250397
1094.87/1093.58	c cleaning 10114 clauses out of 20235 with flag 2252001/2260398
1099.78/1098.41	c cleaning 10032 clauses out of 20120 with flag 2262000/2270397
1104.69/1103.33	c cleaning 9902 clauses out of 20088 with flag 2272000/2280397
1110.48/1109.11	c cleaning 9959 clauses out of 20186 with flag 2282000/2290397
1114.98/1113.69	c cleaning 10013 clauses out of 20227 with flag 2292000/2300397
1120.39/1119.09	c cleaning 9976 clauses out of 20214 with flag 2302000/2310397
1125.60/1124.24	c cleaning 9961 clauses out of 20238 with flag 2312000/2320397
1130.39/1129.09	c cleaning 9985 clauses out of 20277 with flag 2322000/2330397
1135.29/1133.94	c cleaning 10037 clauses out of 20292 with flag 2332000/2340397
1140.59/1139.22	c cleaning 10056 clauses out of 20255 with flag 2342000/2350397
1145.79/1144.43	c cleaning 9986 clauses out of 20199 with flag 2352000/2360397
1151.10/1149.73	c cleaning 10052 clauses out of 20213 with flag 2362000/2370397
1156.50/1155.15	c cleaning 9998 clauses out of 20161 with flag 2372000/2380397
1162.30/1160.94	c cleaning 10009 clauses out of 20163 with flag 2382000/2390397
1168.10/1166.73	c cleaning 10008 clauses out of 20154 with flag 2392000/2400397
1174.40/1173.08	c cleaning 10016 clauses out of 20147 with flag 2402001/2410398
1180.61/1179.23	c cleaning 9985 clauses out of 20130 with flag 2412000/2420397
1186.80/1185.40	c cleaning 10002 clauses out of 20145 with flag 2422000/2430397
1192.61/1191.22	c cleaning 10031 clauses out of 20143 with flag 2432000/2440397
1196.71/1195.35	c cleaning 9966 clauses out of 20112 with flag 2442000/2450397
1200.81/1199.45	c cleaning 10059 clauses out of 20146 with flag 2452000/2460397
1205.51/1204.11	c cleaning 9940 clauses out of 20087 with flag 2462000/2470397
1210.22/1208.90	c cleaning 9941 clauses out of 20147 with flag 2472000/2480397
1215.01/1213.62	c cleaning 9975 clauses out of 20206 with flag 2482000/2490397
1219.91/1218.53	c cleaning 10059 clauses out of 20231 with flag 2492000/2500397
1225.02/1223.68	c cleaning 9966 clauses out of 20172 with flag 2502000/2510397
1230.32/1228.94	c cleaning 9996 clauses out of 20206 with flag 2512000/2520397
1235.42/1234.07	c cleaning 10020 clauses out of 20210 with flag 2522000/2530397
1240.72/1239.37	c cleaning 9982 clauses out of 20190 with flag 2532000/2540397
1246.42/1245.11	c cleaning 10056 clauses out of 20208 with flag 2542000/2550397
1252.42/1251.05	c cleaning 9997 clauses out of 20152 with flag 2552000/2560397
1258.33/1256.98	c cleaning 9994 clauses out of 20155 with flag 2562000/2570397
1264.24/1262.84	c cleaning 9992 clauses out of 20161 with flag 2572000/2580397
1270.03/1268.64	c cleaning 10037 clauses out of 20169 with flag 2582000/2590397
1275.83/1274.49	c cleaning 9973 clauses out of 20132 with flag 2592000/2600397
1281.63/1280.27	c cleaning 10014 clauses out of 20159 with flag 2602000/2610397
1287.53/1286.14	c cleaning 9999 clauses out of 20145 with flag 2612000/2620397
1293.34/1291.93	c cleaning 10054 clauses out of 20146 with flag 2622000/2630397
1299.04/1297.68	c cleaning 9979 clauses out of 20092 with flag 2632000/2640397
1304.74/1303.36	c cleaning 10019 clauses out of 20113 with flag 2642000/2650397
1310.46/1309.04	c cleaning 9919 clauses out of 20094 with flag 2652000/2660397
1314.64/1313.21	c cleaning 9976 clauses out of 20175 with flag 2662000/2670397
1319.15/1317.77	c cleaning 10058 clauses out of 20199 with flag 2672000/2680397
1323.66/1322.25	c cleaning 9957 clauses out of 20141 with flag 2682000/2690397
1328.06/1326.64	c cleaning 9946 clauses out of 20184 with flag 2692000/2700397
1332.75/1331.31	c cleaning 10034 clauses out of 20238 with flag 2702000/2710397
1337.45/1336.07	c cleaning 10009 clauses out of 20204 with flag 2712000/2720397
1342.26/1340.85	c cleaning 10060 clauses out of 20195 with flag 2722000/2730397
1347.16/1345.73	c cleaning 10011 clauses out of 20135 with flag 2732000/2740397
1352.06/1350.63	c cleaning 9958 clauses out of 20124 with flag 2742000/2750397
1357.16/1355.70	c cleaning 10021 clauses out of 20166 with flag 2752000/2760397
1362.17/1360.78	c cleaning 9973 clauses out of 20145 with flag 2762000/2770397
1367.76/1366.36	c cleaning 10047 clauses out of 20172 with flag 2772000/2780397
1373.76/1372.35	c cleaning 9946 clauses out of 20125 with flag 2782000/2790397
1379.77/1378.34	c cleaning 10015 clauses out of 20179 with flag 2792000/2800397
1385.67/1384.22	c cleaning 9993 clauses out of 20164 with flag 2802000/2810397
1391.57/1390.13	c cleaning 9991 clauses out of 20171 with flag 2812000/2820397
1397.47/1396.07	c cleaning 10002 clauses out of 20180 with flag 2822000/2830397
1403.37/1401.98	c cleaning 10021 clauses out of 20178 with flag 2832000/2840397
1409.27/1407.85	c cleaning 9979 clauses out of 20157 with flag 2842000/2850397
1415.07/1413.68	c cleaning 10005 clauses out of 20178 with flag 2852000/2860397
1420.97/1419.54	c cleaning 10068 clauses out of 20173 with flag 2862000/2870397
1426.68/1425.25	c cleaning 9939 clauses out of 20105 with flag 2872000/2880397
1432.48/1431.04	c cleaning 10004 clauses out of 20166 with flag 2882000/2890397
1438.28/1436.90	c cleaning 9993 clauses out of 20162 with flag 2892000/2900397
1444.08/1442.63	c cleaning 10003 clauses out of 20169 with flag 2902000/2910397
1449.68/1448.25	c cleaning 10026 clauses out of 20166 with flag 2912000/2920397
1455.38/1454.00	c cleaning 9976 clauses out of 20140 with flag 2922000/2930397
1460.99/1459.55	c cleaning 9989 clauses out of 20164 with flag 2932000/2940397
1466.59/1465.16	c cleaning 10029 clauses out of 20175 with flag 2942000/2950397
1472.20/1470.78	c cleaning 9993 clauses out of 20146 with flag 2952000/2960397
1477.70/1476.26	c cleaning 9980 clauses out of 20153 with flag 2962000/2970397
1483.09/1481.69	c cleaning 10029 clauses out of 20173 with flag 2972000/2980397
1488.49/1487.03	c cleaning 9968 clauses out of 20144 with flag 2982000/2990397
1493.39/1491.92	c cleaning 9994 clauses out of 20176 with flag 2992000/3000397
1497.79/1496.39	c cleaning 10012 clauses out of 20182 with flag 3002000/3010397
1502.29/1500.86	c cleaning 9941 clauses out of 20170 with flag 3012000/3020397
1507.00/1505.56	c cleaning 10083 clauses out of 20229 with flag 3022000/3030397
1511.81/1510.39	c cleaning 9944 clauses out of 20146 with flag 3032000/3040397
1516.50/1515.03	c cleaning 10007 clauses out of 20203 with flag 3042001/3050398
1522.00/1520.51	c cleaning 9962 clauses out of 20195 with flag 3052000/3060397
1527.11/1525.69	c cleaning 10023 clauses out of 20233 with flag 3062000/3070397
1532.21/1530.70	c cleaning 10020 clauses out of 20210 with flag 3072000/3080397
1537.01/1535.58	c cleaning 9959 clauses out of 20190 with flag 3082000/3090397
1541.81/1540.39	c cleaning 10080 clauses out of 20231 with flag 3092000/3100397
1546.51/1545.00	c cleaning 10044 clauses out of 20151 with flag 3102000/3110397
1551.61/1550.10	c cleaning 10054 clauses out of 20107 with flag 3112000/3120397
1556.82/1555.36	c cleaning 9932 clauses out of 20053 with flag 3122000/3130397
1561.91/1560.43	c cleaning 9938 clauses out of 20121 with flag 3132000/3140397
1567.32/1565.82	c cleaning 9958 clauses out of 20183 with flag 3142000/3150397
1572.62/1571.14	c cleaning 9970 clauses out of 20225 with flag 3152000/3160397
1577.92/1576.40	c cleaning 10047 clauses out of 20255 with flag 3162000/3170397
1582.72/1581.27	c cleaning 9998 clauses out of 20208 with flag 3172000/3180397
1588.02/1586.58	c cleaning 10042 clauses out of 20210 with flag 3182000/3190397
1593.42/1591.97	c cleaning 10006 clauses out of 20168 with flag 3192000/3200397
1599.02/1597.51	c cleaning 9976 clauses out of 20162 with flag 3202000/3210397
1603.63/1602.19	c cleaning 10026 clauses out of 20186 with flag 3212000/3220397
1608.83/1607.33	c cleaning 10029 clauses out of 20160 with flag 3222000/3230397
1613.73/1612.25	c cleaning 10040 clauses out of 20131 with flag 3232000/3240397
1619.03/1617.56	c cleaning 9948 clauses out of 20091 with flag 3242000/3250397
1624.44/1622.95	c cleaning 9975 clauses out of 20143 with flag 3252000/3260397
1629.94/1628.47	c cleaning 9987 clauses out of 20168 with flag 3262000/3270397
1635.74/1634.22	c cleaning 10027 clauses out of 20181 with flag 3272000/3280397
1641.44/1639.98	c cleaning 9921 clauses out of 20154 with flag 3282000/3290397
1645.64/1644.14	c cleaning 10032 clauses out of 20233 with flag 3292000/3300397
1650.84/1649.37	c cleaning 9946 clauses out of 20201 with flag 3302000/3310397
1655.64/1654.17	c cleaning 9978 clauses out of 20255 with flag 3312000/3320397
1660.44/1658.99	c cleaning 10040 clauses out of 20277 with flag 3322000/3330397
1665.86/1664.31	c cleaning 10009 clauses out of 20237 with flag 3332000/3340397
1671.05/1669.51	c cleaning 9985 clauses out of 20228 with flag 3342000/3350397
1676.25/1674.70	c cleaning 10068 clauses out of 20243 with flag 3352000/3360397
1681.95/1680.45	c cleaning 9973 clauses out of 20175 with flag 3362000/3370397
1687.76/1686.29	c cleaning 10067 clauses out of 20202 with flag 3372000/3380397
1693.95/1692.45	c cleaning 10003 clauses out of 20135 with flag 3382000/3390397
1699.97/1698.49	c cleaning 9952 clauses out of 20132 with flag 3392000/3400397
1705.95/1704.50	c cleaning 10015 clauses out of 20180 with flag 3402000/3410397
1712.15/1710.63	c cleaning 10050 clauses out of 20165 with flag 3412000/3420397
1718.16/1716.70	c cleaning 9958 clauses out of 20115 with flag 3422000/3430397
1723.16/1721.69	c cleaning 9936 clauses out of 20157 with flag 3432000/3440397
1727.07/1725.56	c cleaning 10014 clauses out of 20221 with flag 3442000/3450397
1730.87/1729.35	c cleaning 9987 clauses out of 20207 with flag 3452000/3460397
1734.97/1733.47	c cleaning 10005 clauses out of 20220 with flag 3462000/3470397
1739.07/1737.58	c cleaning 9992 clauses out of 20215 with flag 3472000/3480397
1743.27/1741.74	c cleaning 10016 clauses out of 20223 with flag 3482000/3490397
1747.77/1746.27	c cleaning 10011 clauses out of 20207 with flag 3492000/3500397
1752.37/1750.81	c cleaning 10062 clauses out of 20196 with flag 3502000/3510397
1757.08/1755.60	c cleaning 9980 clauses out of 20134 with flag 3512000/3520397
1761.97/1760.43	c cleaning 10033 clauses out of 20154 with flag 3522000/3530397
1766.88/1765.38	c cleaning 10000 clauses out of 20121 with flag 3532000/3540397
1771.98/1770.40	c cleaning 9944 clauses out of 20121 with flag 3542000/3550397
1777.48/1775.91	c cleaning 10054 clauses out of 20178 with flag 3552001/3560398
1782.98/1781.45	c cleaning 9954 clauses out of 20123 with flag 3562000/3570397
1788.78/1787.24	c cleaning 10021 clauses out of 20169 with flag 3572000/3580397
1794.48/1793.00	c cleaning 9990 clauses out of 20148 with flag 3582000/3590397
1800.10/1798.53	c starts		: 253
1800.10/1798.53	c conflicts		: 3599990
1800.10/1798.53	c decisions		: 3643017
1800.10/1798.53	c propagations		: 115029181
1800.10/1798.53	c inspects		: 1629214268
1800.10/1798.53	c shortcuts		: 0
1800.10/1798.53	c learnt literals	: 0
1800.10/1798.53	c learnt binary clauses	: 0
1800.10/1798.53	c learnt ternary clauses	: 381
1800.10/1798.53	c learnt constraints	: 3599989
1800.10/1798.53	c ignored constraints	: 0
1800.10/1798.53	c root simplifications	: 0
1800.10/1798.53	c removed literals (reason simplification)	: 376766426
1800.10/1798.53	c reason swapping (by a shorter reason)	: 0
1800.10/1798.53	c Calls to reduceDB	: 361
1800.10/1798.53	c number of reductions to clauses (during analyze)	: 0
1800.10/1798.53	c number of learned constraints concerned by reduction	: 0
1800.10/1798.53	c number of learning phase by resolution	: 0
1800.10/1798.53	c number of learning phase by cutting planes	: 0
1800.10/1798.53	c speed (assignments/second)	: 64062.14287464608
1800.10/1798.53	c non guided choices	0
1800.10/1798.54	c learnt constraints type 
1800.10/1798.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19767
1800.10/1798.54	c constraints type 
1800.10/1798.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
1800.10/1798.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.10/1798.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.10/1798.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
1800.10/1798.54	s SATISFIABLE
1800.10/1798.54	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 
1800.10/1798.54	c objective function=-35
1800.10/1798.54	c Total wall clock time (in seconds): 1798.433

Verifier Data 

OK	-35

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-3458463-1307163124/watcher-3458463-1307163124 -o /tmp/evaluation-result-3458463-1307163124/solver-3458463-1307163124 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458463-1307163124.opb 

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 1240 0 0 0 0 0 0 0 18 0 2 0 827915124 31272960 959 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 7635 959 732 9 0 386 0
[pid=6223/tid=6226] ppid=6220 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 4501 0 1 0 0 0 0 0 18 0 2 0 827915125 13850947584 5318 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.055261 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 13939 0 1 0 3 1 0 0 18 0 13 0 827915124 13874806784 13635 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3387404 13635 1684 9 0 3378152 0
[pid=6223/tid=6226] ppid=6220 vsize=13549616 CPUtime=0.03 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) S 6220 6223 6095 0 -1 4202560 12791 0 1 0 2 1 0 0 18 0 13 0 827915125 13874806784 13635 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382786527 0 2147483391 0 16800971 18446744071699199166 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616

[startup+0.107252 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13621856 CPUtime=0.11 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 15600 0 1 0 9 2 0 0 18 0 18 0 827915124 13948780544 15294 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3405464 15295 2093 9 0 3396198 0
[pid=6223/tid=6226] ppid=6220 vsize=13621856 CPUtime=0.08 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 13667 0 1 0 7 1 0 0 18 0 18 0 827915125 13948780544 15295 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 47380798714627 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621856

[startup+0.300143 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13623912 CPUtime=0.46 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 19037 0 1 0 44 2 0 0 18 0 18 0 827915124 13950885888 18407 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3405978 18407 2213 9 0 3396712 0
[pid=6223/tid=6226] ppid=6220 vsize=13623912 CPUtime=0.27 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 15682 0 1 0 26 1 0 0 18 0 18 0 827915125 13950885888 18408 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505555205 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623912

[startup+0.701119 s]
/proc/loadavg: 0.92 1.00 1.24 2/383 6223
/proc/meminfo: memFree=23734668/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=1.59 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 29661 0 1 0 156 3 0 0 18 0 19 0 827915124 13967253504 25975 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 25975 2235 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=0.68 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 17975 0 1 0 66 2 0 0 19 0 19 0 827915125 13967253504 25975 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505753166 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 13639896

[startup+1.50096 s]
/proc/loadavg: 0.92 1.00 1.24 3/423 6263
/proc/meminfo: memFree=23526356/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=2.44 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 29923 0 1 0 241 3 0 0 18 0 19 0 827915124 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 26236 2241 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=1.48 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18218 0 1 0 146 2 0 0 20 0 19 0 827915125 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505683278 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915127 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827915128 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827915129 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827915129 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13639896 CPUtime=0.43 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4726 0 0 0 43 0 0 0 18 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13639896 CPUtime=0.5 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5818 0 0 0 50 0 0 0 15 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915131 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13967253504 26236 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 13639896

[startup+3.10068 s]
/proc/loadavg: 1.01 1.01 1.24 4/423 6263
/proc/meminfo: memFree=23516064/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=4.15 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 31739 0 1 0 411 4 0 0 18 0 19 0 827915124 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 28047 2267 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=3.06 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18404 0 1 0 304 2 0 0 18 0 19 0 827915125 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505616936 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 226 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 108 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13639896 CPUtime=0.01 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 808 0 0 0 1 0 0 0 15 0 19 0 827915128 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13639896 CPUtime=0.49 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4735 0 0 0 49 0 0 0 16 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13639896 CPUtime=0.54 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5827 0 0 0 54 0 0 0 15 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915131 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13967253504 28047 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 13639896

[startup+6.30111 s]
/proc/loadavg: 1.01 1.01 1.24 3/423 6263
/proc/meminfo: memFree=23502420/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13639896 CPUtime=7.38 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 32410 0 1 0 734 4 0 0 18 0 19 0 827915124 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3409974 28643 2267 9 0 3400708 0
[pid=6223/tid=6226] ppid=6220 vsize=13639896 CPUtime=6.24 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18408 0 1 0 622 2 0 0 18 0 19 0 827915125 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505616959 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 426 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 215 0 0 0 0 0 0 0 16 0 19 0 827915127 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13639896 CPUtime=0.03 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 1039 0 0 0 3 0 0 0 15 0 19 0 827915128 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13639896 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13639896 CPUtime=0.5 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4739 0 0 0 50 0 0 0 15 0 19 0 827915131 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13639896 CPUtime=0.55 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5827 0 0 0 55 0 0 0 16 0 19 0 827915131 13967253504 28643 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0

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

[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=7.82 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2620 0 0 0 779 3 0 0 16 0 19 0 827915128 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30392 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.87
Current children cumulated vsize (KiB) 13635452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/423 6322
/proc/meminfo: memFree=23474168/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13635452 CPUtime=1783.88 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 35837 0 1 0 178378 10 0 0 18 0 19 0 827915124 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3408863 30401 2268 9 0 3399597 0
[pid=6223/tid=6226] ppid=6220 vsize=13635452 CPUtime=1773.74 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18764 0 1 0 177372 2 0 0 25 0 19 0 827915125 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505616991 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 806 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 431 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 297 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13635452 CPUtime=0.08 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 123 0 0 0 8 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 16 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=8.13 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2631 0 0 0 809 4 0 0 16 0 19 0 827915128 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.88
Current children cumulated vsize (KiB) 13635452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.52 s]
/proc/loadavg: 2.00 2.01 1.87 2/403 6325
/proc/meminfo: memFree=23616168/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13635452 CPUtime=1800.1 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 35843 0 1 0 180000 10 0 0 18 0 19 0 827915124 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3408863 30401 2268 9 0 3399597 0
[pid=6223/tid=6226] ppid=6220 vsize=13635452 CPUtime=1789.92 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18766 0 1 0 178990 2 0 0 25 0 19 0 827915125 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505909856 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 806 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 431 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 297 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 123 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=8.18 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2633 0 0 0 814 4 0 0 15 0 19 0 827915128 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13635452

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

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

[startup+1798.52 s]
/proc/loadavg: 2.00 2.01 1.87 2/403 6325
/proc/meminfo: memFree=23616168/32951124 swapFree=49244120/67111528
[pid=6223] ppid=6220 vsize=13635452 CPUtime=1800.1 cores=1,3,5,7
/proc/6223/stat : 6223 (java) S 6220 6223 6095 0 -1 4202496 35843 0 1 0 180000 10 0 0 18 0 19 0 827915124 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6223/statm: 3408863 30401 2268 9 0 3399597 0
[pid=6223/tid=6226] ppid=6220 vsize=13635452 CPUtime=1789.92 cores=1,3,5,7
/proc/6223/task/6226/stat : 6226 (java) R 6220 6223 6095 0 -1 4202560 18766 0 1 0 178990 2 0 0 25 0 19 0 827915125 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 46912505909856 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6223/tid=6230] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6230/stat : 6230 (java) S 6220 6223 6095 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6231] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6231/stat : 6231 (java) S 6220 6223 6095 0 -1 4202560 806 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6232] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6232/stat : 6232 (java) S 6220 6223 6095 0 -1 4202560 431 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6233] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6233/stat : 6233 (java) S 6220 6223 6095 0 -1 4202560 297 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6234] ppid=6220 vsize=13635452 CPUtime=0.09 cores=1,3,5,7
/proc/6223/task/6234/stat : 6234 (java) S 6220 6223 6095 0 -1 4202560 123 0 0 0 9 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6235] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6235/stat : 6235 (java) S 6220 6223 6095 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6236] ppid=6220 vsize=13635452 CPUtime=0.11 cores=1,3,5,7
/proc/6223/task/6236/stat : 6236 (java) S 6220 6223 6095 0 -1 4202560 66 0 0 0 11 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6238] ppid=6220 vsize=13635452 CPUtime=0.1 cores=1,3,5,7
/proc/6223/task/6238/stat : 6238 (java) S 6220 6223 6095 0 -1 4202560 336 0 0 0 10 0 0 0 15 0 19 0 827915127 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6246] ppid=6220 vsize=13635452 CPUtime=8.18 cores=1,3,5,7
/proc/6223/task/6246/stat : 6246 (java) S 6220 6223 6095 0 -1 4202560 2633 0 0 0 814 4 0 0 15 0 19 0 827915128 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 0 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
[pid=6223/tid=6248] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6248/stat : 6248 (java) S 6220 6223 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6249] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6249/stat : 6249 (java) S 6220 6223 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 1 0 0 0
[pid=6223/tid=6254] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6254/stat : 6254 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382780849 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6255] ppid=6220 vsize=13635452 CPUtime=0.53 cores=1,3,5,7
/proc/6223/task/6255/stat : 6255 (java) S 6220 6223 6095 0 -1 4202560 4753 0 0 0 53 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6258] ppid=6220 vsize=13635452 CPUtime=0.6 cores=1,3,5,7
/proc/6223/task/6258/stat : 6258 (java) S 6220 6223 6095 0 -1 4202560 5839 0 0 0 60 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6259] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6259/stat : 6259 (java) S 6220 6223 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773145 0 4 0 16800975 18446604465031348352 0 0 -1 7 0 0 0
[pid=6223/tid=6261] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6261/stat : 6261 (java) S 6220 6223 6095 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827915131 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 5 0 0 0
[pid=6223/tid=6262] ppid=6220 vsize=13635452 CPUtime=0 cores=1,3,5,7
/proc/6223/task/6262/stat : 6262 (java) S 6220 6223 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915163 13962702848 30401 33554432000 1073741824 1073778376 140737255248720 18446744073709551615 218382773760 0 4 0 16800975 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13635452

Child status: 143
Real time (s): 1798.57
CPU time (s): 1800.16
CPU user time (s): 1800.05
CPU system time (s): 0.112982
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 13643628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35885
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= 47548
involuntary context switches= 9755

runsolver used 6.71198 second user time and 16.0176 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-04 06:52:04
IDJOB=3458463
IDBENCH=48283
IDSOLVER=1952
FILE ID=node101/3458463-1307163124
RUNJOBID= node101-1307163123-6114
PBS_JOBID= 13508816
Free space on /tmp= 74008 MiB

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

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

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=213006662

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23735180 kB
Buffers:        277724 kB
Cached:         520968 kB
SwapCached:      27120 kB
Active:        8472032 kB
Inactive:       463324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23735180 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:             560 kB
Writeback:          40 kB
AnonPages:     8131680 kB
Mapped:          17332 kB
Slab:           136304 kB
PageTables:      74580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78586820 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74004 MiB
End job on node101 at 2011-06-04 07:22:04