Trace number 3454079

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-40 1800.33 931.429

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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454079-1307195752.opb
0.10/0.11	c reading problem ... 
0.69/0.42	c ... done. Wall clock time 0.305s.
0.69/0.42	c #vars     2882
0.69/0.42	c #constraints  5566
0.69/0.42	c constraints type 
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
0.69/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.69/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
0.69/0.42	c constraints type 
0.69/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.69/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2482
0.69/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.69/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2482
1.86/0.70	c  And the winner is CuttingPlanes
1.96/0.93	c SATISFIABLE
1.96/0.93	c OPTIMIZING...
1.96/0.93	c Got one! Elapsed wall clock time (in seconds):0.82
1.96/0.93	o -13
1.96/0.96	c  And the winner is CuttingPlanes
2.12/1.44	c Got one! Elapsed wall clock time (in seconds):1.326
2.12/1.44	o -14
2.12/1.46	c  And the winner is CuttingPlanes
2.34/1.94	c Got one! Elapsed wall clock time (in seconds):1.83
2.34/1.94	o -15
2.34/1.96	c  And the winner is CuttingPlanes
2.37/2.45	c Got one! Elapsed wall clock time (in seconds):2.335
2.37/2.45	o -17
2.37/2.47	c  And the winner is CuttingPlanes
2.50/2.95	c Got one! Elapsed wall clock time (in seconds):2.841
2.50/2.95	o -18
2.50/2.97	c  And the winner is CuttingPlanes
2.54/3.45	c Got one! Elapsed wall clock time (in seconds):3.345
2.54/3.45	o -19
2.54/3.49	c  And the winner is CuttingPlanes
2.67/3.96	c Got one! Elapsed wall clock time (in seconds):3.847
2.67/3.96	o -20
2.67/3.98	c  And the winner is CuttingPlanes
2.73/4.46	c Got one! Elapsed wall clock time (in seconds):4.35
2.73/4.46	o -21
2.73/4.47	c  And the winner is CuttingPlanes
2.77/4.96	c Got one! Elapsed wall clock time (in seconds):4.853
2.77/4.96	o -24
2.77/4.99	c  And the winner is CuttingPlanes
2.82/5.47	c Got one! Elapsed wall clock time (in seconds):5.356
2.82/5.47	o -25
2.82/5.50	c  And the winner is CuttingPlanes
2.90/5.97	c Got one! Elapsed wall clock time (in seconds):5.859
2.90/5.97	o -26
2.90/6.01	c  And the winner is CuttingPlanes
3.07/6.47	c Got one! Elapsed wall clock time (in seconds):6.362
3.07/6.47	o -27
3.07/6.51	c  And the winner is CuttingPlanes
3.17/6.98	c Got one! Elapsed wall clock time (in seconds):6.865
3.17/6.98	o -28
4.95/7.80	c  And the winner is CuttingPlanes
4.96/7.98	c Got one! Elapsed wall clock time (in seconds):7.87
4.96/7.98	o -31
5.19/8.18	c  And the winner is CuttingPlanes
5.35/8.48	c Got one! Elapsed wall clock time (in seconds):8.373
5.35/8.48	o -32
5.58/8.69	c  And the winner is CuttingPlanes
5.77/8.99	c Got one! Elapsed wall clock time (in seconds):8.876
5.77/8.99	o -33
5.79/9.05	c  And the winner is CuttingPlanes
5.90/9.49	c Got one! Elapsed wall clock time (in seconds):9.378
5.90/9.49	o -34
6.11/9.69	c  And the winner is CuttingPlanes
6.29/9.99	c Got one! Elapsed wall clock time (in seconds):9.881
6.29/9.99	o -35
6.50/10.17	c  And the winner is CuttingPlanes
6.64/10.49	c Got one! Elapsed wall clock time (in seconds):10.384
6.64/10.49	o -36
7.26/10.88	c  And the winner is CuttingPlanes
7.42/11.00	c Got one! Elapsed wall clock time (in seconds):10.887
7.42/11.00	o -37
10.50/12.55	c cleaning 4896 clauses out of 10045 with flag 3000/10045
13.32/13.95	c  And the winner is CuttingPlanes
13.42/14.01	c Got one! Elapsed wall clock time (in seconds):13.9
13.42/14.01	o -38
14.99/14.88	c cleaning 5074 clauses out of 10304 with flag 2000/15200
19.55/17.10	c  And the winner is CuttingPlanes
19.57/17.52	c Got one! Elapsed wall clock time (in seconds):17.414
19.57/17.52	o -39
20.12/17.81	c  And the winner is CuttingPlanes
20.15/18.03	c Got one! Elapsed wall clock time (in seconds):17.916
20.15/18.03	o -40
24.08/20.05	c cleaning 8439 clauses out of 16877 with flag 5000/26847
27.92/21.99	c cleaning 7178 clauses out of 14438 with flag 11000/32847
32.03/24.08	c cleaning 6992 clauses out of 14260 with flag 18000/39847
38.00/27.00	c cleaning 7595 clauses out of 15268 with flag 26000/47847
45.18/30.65	c cleaning 8201 clauses out of 16673 with flag 35000/56847
52.68/34.31	c cleaning 9114 clauses out of 18472 with flag 45000/66847
59.99/38.04	c cleaning 9608 clauses out of 19358 with flag 55000/76847
67.37/41.72	c cleaning 9812 clauses out of 19750 with flag 65000/86847
74.12/45.18	c cleaning 9906 clauses out of 19938 with flag 75000/96847
81.41/48.89	c cleaning 9956 clauses out of 20032 with flag 85000/106847
88.51/52.45	c cleaning 9991 clauses out of 20076 with flag 95000/116847
96.25/56.39	c cleaning 9970 clauses out of 20085 with flag 105000/126847
103.77/60.14	c cleaning 9929 clauses out of 20115 with flag 115000/136847
111.49/64.07	c cleaning 9940 clauses out of 20186 with flag 125000/146847
119.38/68.07	c cleaning 10068 clauses out of 20246 with flag 135000/156847
129.10/72.99	c cleaning 9951 clauses out of 20178 with flag 145000/166847
137.41/77.13	c cleaning 9974 clauses out of 20227 with flag 155000/176847
146.11/81.57	c cleaning 10000 clauses out of 20253 with flag 165000/186847
155.77/86.44	c cleaning 10034 clauses out of 20253 with flag 175000/196847
164.48/90.87	c cleaning 9974 clauses out of 20219 with flag 185000/206847
173.18/95.22	c cleaning 10068 clauses out of 20245 with flag 195000/216847
182.27/99.85	c cleaning 9993 clauses out of 20177 with flag 205000/226847
190.92/104.22	c cleaning 10004 clauses out of 20184 with flag 215000/236847
198.41/108.04	c cleaning 10007 clauses out of 20180 with flag 225000/246847
206.90/112.34	c cleaning 9996 clauses out of 20173 with flag 235000/256847
214.40/116.14	c cleaning 10017 clauses out of 20177 with flag 245000/266847
222.84/120.41	c cleaning 9957 clauses out of 20160 with flag 255000/276847
232.76/125.45	c cleaning 9953 clauses out of 20203 with flag 265000/286847
242.20/130.29	c cleaning 10001 clauses out of 20250 with flag 275000/296847
251.28/134.82	c cleaning 9982 clauses out of 20249 with flag 285000/306847
261.30/139.99	c cleaning 10002 clauses out of 20267 with flag 295000/316847
271.17/145.00	c cleaning 10083 clauses out of 20265 with flag 305000/326847
280.64/149.78	c cleaning 10006 clauses out of 20182 with flag 315000/336847
290.51/154.75	c cleaning 10022 clauses out of 20176 with flag 325000/346847
300.32/159.76	c cleaning 9992 clauses out of 20154 with flag 335000/356847
311.59/165.42	c cleaning 9962 clauses out of 20162 with flag 345000/366847
321.05/170.24	c cleaning 10035 clauses out of 20200 with flag 355000/376847
329.90/174.76	c cleaning 9956 clauses out of 20165 with flag 365000/386847
337.69/178.77	c cleaning 10019 clauses out of 20209 with flag 375000/396847
345.95/182.97	c cleaning 10011 clauses out of 20190 with flag 385000/406847
354.99/187.55	c cleaning 9932 clauses out of 20179 with flag 395000/416847
363.44/191.84	c cleaning 10124 clauses out of 20247 with flag 405000/426847
373.26/196.89	c cleaning 9923 clauses out of 20123 with flag 415000/436847
382.14/201.33	c cleaning 9976 clauses out of 20200 with flag 425000/446847
390.56/205.65	c cleaning 9982 clauses out of 20224 with flag 435000/456847
398.97/209.97	c cleaning 10004 clauses out of 20242 with flag 445000/466847
407.53/214.31	c cleaning 10049 clauses out of 20238 with flag 455000/476847
417.56/219.47	c cleaning 9990 clauses out of 20189 with flag 465000/486847
426.80/224.12	c cleaning 9962 clauses out of 20199 with flag 475000/496847
434.84/228.21	c cleaning 9983 clauses out of 20237 with flag 485000/506847
445.79/233.82	c cleaning 9994 clauses out of 20254 with flag 495000/516847
455.61/238.82	c cleaning 10009 clauses out of 20260 with flag 505000/526847
465.44/243.80	c cleaning 9998 clauses out of 20251 with flag 515000/536847
474.26/248.35	c cleaning 10014 clauses out of 20253 with flag 525000/546847
478.82/250.77	c cleaning 0 clauses out of 6414 with flag 0/6414
485.91/254.26	c cleaning 9989 clauses out of 20239 with flag 535000/556847
496.06/259.34	c cleaning 9995 clauses out of 20250 with flag 545000/566847
506.07/264.49	c cleaning 10017 clauses out of 20255 with flag 555000/576847
516.05/269.56	c cleaning 10066 clauses out of 20238 with flag 565000/586847
525.83/274.57	c cleaning 9976 clauses out of 20172 with flag 575000/596847
535.48/279.44	c cleaning 10011 clauses out of 20196 with flag 585000/606847
545.44/284.58	c cleaning 10008 clauses out of 20185 with flag 595000/616847
555.76/289.88	c cleaning 9967 clauses out of 20177 with flag 605000/626847
565.39/294.76	c cleaning 9977 clauses out of 20210 with flag 615000/636847
577.17/300.71	c cleaning 10011 clauses out of 20233 with flag 625000/646847
587.38/305.99	c cleaning 10023 clauses out of 20222 with flag 635000/656847
598.48/311.68	c cleaning 9996 clauses out of 20199 with flag 645000/666847
608.89/316.97	c cleaning 10023 clauses out of 20203 with flag 655000/676847
619.08/322.14	c cleaning 9935 clauses out of 20180 with flag 665000/686847
630.88/328.11	c cleaning 10032 clauses out of 20245 with flag 675000/696847
642.58/334.18	c cleaning 10036 clauses out of 20213 with flag 685000/706847
653.80/339.85	c cleaning 10011 clauses out of 20177 with flag 695000/716847
664.60/345.39	c cleaning 9957 clauses out of 20166 with flag 705000/726847
675.75/351.00	c cleaning 10000 clauses out of 20209 with flag 715000/736847
686.83/356.73	c cleaning 9995 clauses out of 20209 with flag 725000/746847
697.82/362.31	c cleaning 9985 clauses out of 20214 with flag 735000/756847
708.80/367.96	c cleaning 10061 clauses out of 20229 with flag 745000/766847
720.82/374.02	c cleaning 9983 clauses out of 20168 with flag 755000/776847
731.87/379.71	c cleaning 10005 clauses out of 20185 with flag 765000/786847
742.45/385.19	c cleaning 9990 clauses out of 20180 with flag 775000/796847
753.23/390.66	c cleaning 9988 clauses out of 20190 with flag 785000/806847
764.00/396.10	c cleaning 9945 clauses out of 20202 with flag 795000/816847
774.66/401.62	c cleaning 10013 clauses out of 20257 with flag 805000/826847
784.82/406.83	c cleaning 10011 clauses out of 20244 with flag 815000/836847
794.39/411.74	c cleaning 9998 clauses out of 20233 with flag 825000/846847
805.16/417.27	c cleaning 9991 clauses out of 20235 with flag 835000/856847
815.41/422.51	c cleaning 10013 clauses out of 20244 with flag 845000/866847
826.18/428.09	c cleaning 10075 clauses out of 20232 with flag 855001/876848
836.35/433.28	c cleaning 10007 clauses out of 20156 with flag 865000/886847
847.56/438.93	c cleaning 9962 clauses out of 20149 with flag 875000/896847
858.97/444.89	c cleaning 10051 clauses out of 20187 with flag 885000/906847
870.33/450.65	c cleaning 9975 clauses out of 20136 with flag 895000/916847
881.72/456.46	c cleaning 10012 clauses out of 20161 with flag 905000/926847
892.26/461.82	c cleaning 10023 clauses out of 20149 with flag 915000/936847
900.93/466.41	c cleaning 9954 clauses out of 20126 with flag 925000/946847
909.85/470.91	c cleaning 9983 clauses out of 20172 with flag 935000/956847
919.40/475.85	c cleaning 10010 clauses out of 20189 with flag 945000/966847
929.00/480.76	c cleaning 10010 clauses out of 20179 with flag 955000/976847
939.21/486.08	c cleaning 9982 clauses out of 20170 with flag 965001/986848
949.16/491.19	c cleaning 9985 clauses out of 20187 with flag 975000/996847
961.15/497.29	c cleaning 9987 clauses out of 20202 with flag 985000/1006847
971.88/502.74	c cleaning 10026 clauses out of 20215 with flag 995000/1016847
982.50/508.26	c cleaning 9965 clauses out of 20189 with flag 1005000/1026847
992.80/513.61	c cleaning 9975 clauses out of 20224 with flag 1015000/1036847
1004.14/519.39	c cleaning 10013 clauses out of 20249 with flag 1025000/1046847
1015.48/525.12	c cleaning 10079 clauses out of 20236 with flag 1035000/1056847
1026.69/530.97	c cleaning 9993 clauses out of 20157 with flag 1045000/1066847
1038.26/536.89	c cleaning 9990 clauses out of 20164 with flag 1055000/1076847
1050.35/543.01	c cleaning 9960 clauses out of 20174 with flag 1065000/1086847
1061.92/548.98	c cleaning 10001 clauses out of 20214 with flag 1075000/1096847
1074.71/555.55	c cleaning 9998 clauses out of 20213 with flag 1085000/1106847
1085.22/560.94	c cleaning 10020 clauses out of 20215 with flag 1095000/1116847
1095.94/566.49	c cleaning 9967 clauses out of 20195 with flag 1105000/1126847
1106.43/571.81	c cleaning 10064 clauses out of 20228 with flag 1115000/1136847
1117.26/577.42	c cleaning 10023 clauses out of 20164 with flag 1125000/1146847
1128.18/583.09	c cleaning 9998 clauses out of 20141 with flag 1135000/1156847
1137.87/588.01	c cleaning 9974 clauses out of 20143 with flag 1145000/1166847
1148.98/593.79	c cleaning 9991 clauses out of 20169 with flag 1155000/1176847
1159.98/599.50	c cleaning 9994 clauses out of 20178 with flag 1165000/1186847
1172.06/605.66	c cleaning 10036 clauses out of 20184 with flag 1175000/1196847
1183.81/611.64	c cleaning 10010 clauses out of 20148 with flag 1185000/1206847
1193.47/616.62	c cleaning 9977 clauses out of 20138 with flag 1195000/1216847
1203.04/621.66	c cleaning 9959 clauses out of 20161 with flag 1205000/1226847
1212.74/626.62	c cleaning 10075 clauses out of 20202 with flag 1215000/1236847
1222.64/631.75	c cleaning 9984 clauses out of 20127 with flag 1225000/1246847
1231.74/636.45	c cleaning 10034 clauses out of 20143 with flag 1235000/1256847
1242.70/642.15	c cleaning 9998 clauses out of 20109 with flag 1245000/1266847
1252.40/647.13	c cleaning 9991 clauses out of 20111 with flag 1255000/1276847
1262.53/652.39	c cleaning 9991 clauses out of 20120 with flag 1265000/1286847
1273.59/658.00	c cleaning 10043 clauses out of 20129 with flag 1275000/1296847
1284.38/663.67	c cleaning 9988 clauses out of 20086 with flag 1285000/1306847
1295.68/669.40	c cleaning 9967 clauses out of 20098 with flag 1295000/1316847
1306.18/674.83	c cleaning 9979 clauses out of 20131 with flag 1305000/1326847
1316.87/680.35	c cleaning 10019 clauses out of 20152 with flag 1315000/1336847
1327.61/685.92	c cleaning 10017 clauses out of 20133 with flag 1325000/1346847
1337.91/691.29	c cleaning 9962 clauses out of 20116 with flag 1335000/1356847
1347.19/696.04	c cleaning 10019 clauses out of 20154 with flag 1345000/1366847
1357.48/701.37	c cleaning 10060 clauses out of 20135 with flag 1355000/1376847
1369.07/707.34	c cleaning 9954 clauses out of 20075 with flag 1365000/1386847
1378.52/712.28	c cleaning 10016 clauses out of 20121 with flag 1375000/1396847
1389.60/717.94	c cleaning 9986 clauses out of 20106 with flag 1385001/1406848
1400.09/723.34	c cleaning 9916 clauses out of 20119 with flag 1395000/1416847
1409.47/728.24	c cleaning 10019 clauses out of 20203 with flag 1405000/1426847
1419.31/733.32	c cleaning 9994 clauses out of 20184 with flag 1415000/1436847
1429.61/738.64	c cleaning 9973 clauses out of 20190 with flag 1425000/1446847
1439.14/743.59	c cleaning 9996 clauses out of 20217 with flag 1435000/1456847
1449.44/748.95	c cleaning 10021 clauses out of 20221 with flag 1445000/1466847
1459.55/754.10	c cleaning 9996 clauses out of 20200 with flag 1455000/1476847
1469.06/759.06	c cleaning 10025 clauses out of 20204 with flag 1465000/1486847
1479.90/764.61	c cleaning 9993 clauses out of 20179 with flag 1475000/1496847
1490.43/770.11	c cleaning 10019 clauses out of 20186 with flag 1485000/1506847
1500.51/775.41	c cleaning 9991 clauses out of 20167 with flag 1495000/1516847
1511.62/781.07	c cleaning 9987 clauses out of 20176 with flag 1505000/1526847
1522.46/786.69	c cleaning 10034 clauses out of 20190 with flag 1515001/1536848
1533.39/792.30	c cleaning 10003 clauses out of 20155 with flag 1525000/1546847
1541.46/796.58	c cleaning 9964 clauses out of 20152 with flag 1535000/1556847
1550.14/801.05	c cleaning 9976 clauses out of 20188 with flag 1545000/1566847
1559.02/805.61	c cleaning 9988 clauses out of 20212 with flag 1555000/1576847
1567.74/810.28	c cleaning 10012 clauses out of 20224 with flag 1565000/1586847
1576.20/814.69	c cleaning 9988 clauses out of 20212 with flag 1575000/1596847
1585.08/819.20	c cleaning 10000 clauses out of 20224 with flag 1585000/1606847
1594.74/824.24	c cleaning 10059 clauses out of 20224 with flag 1595000/1616847
1603.65/828.92	c cleaning 10054 clauses out of 20165 with flag 1605000/1626847
1613.52/834.01	c cleaning 10013 clauses out of 20111 with flag 1615000/1636847
1623.60/839.24	c cleaning 9978 clauses out of 20098 with flag 1625000/1646847
1631.64/843.46	c cleaning 9926 clauses out of 20120 with flag 1635000/1656847
1639.73/847.70	c cleaning 10013 clauses out of 20194 with flag 1645000/1666847
1647.98/852.01	c cleaning 10028 clauses out of 20181 with flag 1655000/1676847
1656.06/856.21	c cleaning 9959 clauses out of 20153 with flag 1665000/1686847
1664.73/860.73	c cleaning 10034 clauses out of 20194 with flag 1675000/1696847
1674.26/865.72	c cleaning 9994 clauses out of 20160 with flag 1685000/1706847
1683.08/870.33	c cleaning 10051 clauses out of 20166 with flag 1695000/1716847
1692.34/875.18	c cleaning 9972 clauses out of 20115 with flag 1705000/1726847
1701.99/880.17	c cleaning 10043 clauses out of 20143 with flag 1715000/1736847
1712.50/885.61	c cleaning 9982 clauses out of 20100 with flag 1725000/1746847
1722.36/890.79	c cleaning 10023 clauses out of 20118 with flag 1735000/1756847
1732.41/895.95	c cleaning 10004 clauses out of 20095 with flag 1745000/1766847
1742.28/901.06	c cleaning 9966 clauses out of 20091 with flag 1755000/1776847
1751.76/906.02	c cleaning 10001 clauses out of 20125 with flag 1765000/1786847
1760.85/910.76	c cleaning 9979 clauses out of 20124 with flag 1775000/1796847
1769.07/915.06	c cleaning 9985 clauses out of 20145 with flag 1785000/1806847
1777.33/919.33	c cleaning 9998 clauses out of 20160 with flag 1795000/1816847
1785.63/923.78	c cleaning 10018 clauses out of 20162 with flag 1805000/1826847
1794.29/928.26	c cleaning 9958 clauses out of 20144 with flag 1815000/1836847
1800.17/931.32	c starts		: 57
1800.17/931.32	c conflicts		: 10636
1800.17/931.32	c decisions		: 138974
1800.17/931.32	c propagations		: 1844152
1800.17/931.32	c inspects		: 730530675
1800.17/931.32	c shortcuts		: 0
1800.17/931.32	c learnt literals	: 0
1800.17/931.32	c learnt binary clauses	: 0
1800.17/931.32	c learnt ternary clauses	: 0
1800.17/931.32	c learnt constraints	: 10636
1800.17/931.32	c ignored constraints	: 0
1800.17/931.32	c root simplifications	: 0
1800.17/931.32	c removed literals (reason simplification)	: 0
1800.17/931.32	c reason swapping (by a shorter reason)	: 0
1800.17/931.32	c Calls to reduceDB	: 1
1800.17/931.32	c number of reductions to clauses (during analyze)	: 0
1800.17/931.32	c number of learned constraints concerned by reduction	: 0
1800.17/931.32	c number of learning phase by resolution	: 0
1800.17/931.32	c number of learning phase by cutting planes	: 0
1800.17/931.32	c speed (assignments/second)	: 2019.2270632960178
1800.17/931.32	c non guided choices	136
1800.17/931.34	c learnt constraints type 
1800.17/931.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.17/931.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10634
1800.17/931.34	c constraints type 
1800.17/931.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
1800.17/931.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.17/931.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.17/931.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
1800.17/931.34	c constraints type 
1800.17/931.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1800.17/931.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2482
1800.17/931.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1800.17/931.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2482
1800.17/931.34	s SATISFIABLE
1800.17/931.34	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.17/931.34	c objective function=-40
1800.17/931.34	c Total wall clock time (in seconds): 931.228

Verifier Data 

OK	-40

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

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

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


[startup+0 s]
/proc/loadavg: 2.63 3.42 3.46 2/531 21587
/proc/meminfo: memFree=25079408/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 4459 0 1 0 0 0 0 0 23 0 2 0 811991471 10694979584 4163 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2611079 4176 917 9 0 2602235 0
[pid=21587/tid=21592] ppid=21584 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) R 21584 21587 21439 0 -1 4202560 6648 0 1 0 0 0 0 0 25 0 2 0 811991472 10694979584 7464 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0339899 s]
/proc/loadavg: 2.63 3.42 3.46 2/531 21587
/proc/meminfo: memFree=25079408/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10464264 CPUtime=0.02 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 10881 0 1 0 1 1 0 0 23 0 10 0 811991471 10715406336 10581 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2616066 10585 1554 9 0 2606814 0
[pid=21587/tid=21592] ppid=21584 vsize=10464264 CPUtime=0.02 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) R 21584 21587 21439 0 -1 4202560 9766 0 1 0 1 1 0 0 25 0 10 0 811991472 10715406336 10587 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 47972102693152 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10464264

[startup+0.100979 s]
/proc/loadavg: 2.63 3.42 3.46 2/531 21587
/proc/meminfo: memFree=25079408/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10540472 CPUtime=0.1 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 13045 0 1 0 8 2 0 0 23 0 18 0 811991471 10793443328 12727 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2635118 12730 2093 9 0 2625852 0
[pid=21587/tid=21592] ppid=21584 vsize=10540472 CPUtime=0.08 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) R 21584 21587 21439 0 -1 4202560 11117 0 1 0 7 1 0 0 18 0 18 0 811991472 10793443328 12730 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212039316165 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540472

[startup+0.300948 s]
/proc/loadavg: 2.63 3.42 3.46 2/531 21587
/proc/meminfo: memFree=25079408/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10544084 CPUtime=0.47 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 16319 0 1 0 45 2 0 0 23 0 18 0 811991471 10797142016 15737 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2636021 15738 2213 9 0 2626755 0
[pid=21587/tid=21592] ppid=21584 vsize=10544084 CPUtime=0.28 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) R 21584 21587 21439 0 -1 4202560 13115 0 1 0 26 2 0 0 18 0 18 0 811991472 10797142016 15738 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 46912505549337 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10544084

[startup+0.700811 s]
/proc/loadavg: 2.63 3.42 3.46 2/531 21587
/proc/meminfo: memFree=25079408/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10560808 CPUtime=1.86 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 28787 0 1 0 182 4 0 0 23 0 22 0 811991471 10814267392 25630 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2640202 25631 2232 9 0 2630936 0
[pid=21587/tid=21592] ppid=21584 vsize=10560808 CPUtime=0.4 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) S 21584 21587 21439 0 -1 4202560 16314 0 1 0 38 2 0 0 19 0 22 0 811991472 10814267392 25632 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10560808

[startup+1.50073 s]
/proc/loadavg: 2.63 3.42 3.46 1/549 21667
/proc/meminfo: memFree=24977744/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10561824 CPUtime=2.23 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 33805 0 1 0 219 4 0 0 23 0 19 0 811991471 10815307776 29200 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2640456 29200 2239 9 0 2631190 0
[pid=21587/tid=21592] ppid=21584 vsize=10561824 CPUtime=0.4 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) S 21584 21587 21439 0 -1 4202560 16357 0 1 0 38 2 0 0 17 0 19 0 811991472 10815307776 29200 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21595] ppid=21584 vsize=10562348 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21595/stat : 21595 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815844352 29201 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21596] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21596/stat : 21596 (java) S 21584 21587 21439 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811991474 10816921600 29204 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21597] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21597/stat : 21597 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10816921600 29205 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21598] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21598/stat : 21598 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10816921600 29205 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21599] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21599/stat : 21599 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10816921600 29205 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21600] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21600/stat : 21600 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10816921600 29205 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21601] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21601/stat : 21601 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10816921600 29205 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21602] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21602/stat : 21602 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10816921600 29206 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21614] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21614/stat : 21614 (java) S 21584 21587 21439 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811991475 10816921600 29206 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 0 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21616] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21616/stat : 21616 (java) S 21584 21587 21439 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811991475 10816921600 29208 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21619] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21619/stat : 21619 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811991475 10816921600 29208 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21624] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21624/stat : 21624 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991477 10816921600 29209 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051478961 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21626] ppid=21584 vsize=10563400 CPUtime=0.59 cores=0,2,4,6
/proc/21587/task/21626/stat : 21626 (java) R 21584 21587 21439 0 -1 4202560 5629 0 0 0 59 0 0 0 20 0 19 0 811991477 10816921600 29210 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 47972101509040 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21587/tid=21630] ppid=21584 vsize=10563400 CPUtime=0.52 cores=0,2,4,6
/proc/21587/task/21630/stat : 21630 (java) S 21584 21587 21439 0 -1 4202560 6133 0 0 0 52 0 0 0 15 0 19 0 811991477 10816921600 29211 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21631] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21631/stat : 21631 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991477 10816921600 29212 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21633] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21633/stat : 21633 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811991477 10816921600 29213 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21644] ppid=21584 vsize=10563400 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21644/stat : 21644 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811991515 10816921600 29214 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10561824

[startup+3.10148 s]
/proc/loadavg: 2.63 3.42 3.46 4/575 21711
/proc/meminfo: memFree=24721716/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10561624 CPUtime=2.54 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 38256 0 1 0 249 5 0 0 23 0 19 0 811991471 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2640406 33380 2243 9 0 2631140 0
[pid=21587/tid=21592] ppid=21584 vsize=10561624 CPUtime=0.41 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) S 21584 21587 21439 0 -1 4202560 16408 0 1 0 39 2 0 0 16 0 19 0 811991472 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21595] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21595/stat : 21595 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21596] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21596/stat : 21596 (java) S 21584 21587 21439 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21597] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21597/stat : 21597 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21598] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21598/stat : 21598 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21599] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21599/stat : 21599 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21600] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21600/stat : 21600 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21601] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21601/stat : 21601 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21602] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21602/stat : 21602 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21614] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21614/stat : 21614 (java) S 21584 21587 21439 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 811991475 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 0 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21616] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21616/stat : 21616 (java) S 21584 21587 21439 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811991475 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21619] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21619/stat : 21619 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811991475 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21624] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21624/stat : 21624 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991477 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051478961 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21626] ppid=21584 vsize=10561624 CPUtime=0.75 cores=0,2,4,6
/proc/21587/task/21626/stat : 21626 (java) S 21584 21587 21439 0 -1 4202560 5955 0 0 0 75 0 0 0 15 0 19 0 811991477 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21630] ppid=21584 vsize=10561624 CPUtime=0.56 cores=0,2,4,6
/proc/21587/task/21630/stat : 21630 (java) S 21584 21587 21439 0 -1 4202560 6135 0 0 0 56 0 0 0 16 0 19 0 811991477 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21631] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21631/stat : 21631 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991477 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21633] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21633/stat : 21633 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811991477 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21644] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21644/stat : 21644 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811991515 10815102976 33380 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 10561624

[startup+6.30091 s]
/proc/loadavg: 2.58 3.40 3.45 3/575 21778
/proc/meminfo: memFree=24725428/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10561624 CPUtime=3.07 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 49297 0 1 0 301 6 0 0 23 0 19 0 811991471 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2640406 43454 2245 9 0 2631140 0
[pid=21587/tid=21592] ppid=21584 vsize=10561624 CPUtime=0.41 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) S 21584 21587 21439 0 -1 4202560 16512 0 1 0 39 2 0 0 16 0 19 0 811991472 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21595] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21595/stat : 21595 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21596] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21596/stat : 21596 (java) S 21584 21587 21439 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21597] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21597/stat : 21597 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21598] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21598/stat : 21598 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21599] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21599/stat : 21599 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21600] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21600/stat : 21600 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21601] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21601/stat : 21601 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21602] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21602/stat : 21602 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991474 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21614] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21614/stat : 21614 (java) S 21584 21587 21439 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 811991475 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 0 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21616] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21616/stat : 21616 (java) S 21584 21587 21439 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811991475 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21619] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21619/stat : 21619 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811991475 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21624] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21624/stat : 21624 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811991477 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051478961 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21626] ppid=21584 vsize=10561624 CPUtime=0.87 cores=0,2,4,6
/proc/21587/task/21626/stat : 21626 (java) S 21584 21587 21439 0 -1 4202560 6007 0 0 0 87 0 0 0 15 0 19 0 811991477 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21630] ppid=21584 vsize=10561624 CPUtime=0.67 cores=0,2,4,6
/proc/21587/task/21630/stat : 21630 (java) S 21584 21587 21439 0 -1 4202560 7067 0 0 0 67 0 0 0 15 0 19 0 811991477 10815102976 43454 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0

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

/proc/meminfo: memFree=18947012/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10561624 CPUtime=1590.94 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 551960 0 1 0 159025 69 0 0 23 0 22 0 811991471 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2640406 545790 2271 9 0 2631140 0
[pid=21587/tid=21592] ppid=21584 vsize=10561624 CPUtime=0.41 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) S 21584 21587 21439 0 -1 4202560 16686 0 1 0 39 2 0 0 15 0 22 0 811991472 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21595] ppid=21584 vsize=10561624 CPUtime=0.52 cores=0,2,4,6
/proc/21587/task/21595/stat : 21595 (java) S 21584 21587 21439 0 -1 4202560 1228 0 0 0 52 0 0 0 16 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21596] ppid=21584 vsize=10561624 CPUtime=0.52 cores=0,2,4,6
/proc/21587/task/21596/stat : 21596 (java) S 21584 21587 21439 0 -1 4202560 1168 0 0 0 52 0 0 0 15 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21597] ppid=21584 vsize=10561624 CPUtime=0.52 cores=0,2,4,6
/proc/21587/task/21597/stat : 21597 (java) S 21584 21587 21439 0 -1 4202560 36 0 0 0 52 0 0 0 15 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21598] ppid=21584 vsize=10561624 CPUtime=0.5 cores=0,2,4,6
/proc/21587/task/21598/stat : 21598 (java) S 21584 21587 21439 0 -1 4202560 29 0 0 0 50 0 0 0 16 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21599] ppid=21584 vsize=10561624 CPUtime=0.45 cores=0,2,4,6
/proc/21587/task/21599/stat : 21599 (java) S 21584 21587 21439 0 -1 4202560 949 0 0 0 45 0 0 0 16 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21600] ppid=21584 vsize=10561624 CPUtime=0.47 cores=0,2,4,6
/proc/21587/task/21600/stat : 21600 (java) S 21584 21587 21439 0 -1 4202560 955 0 0 0 47 0 0 0 15 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21601] ppid=21584 vsize=10561624 CPUtime=0.48 cores=0,2,4,6
/proc/21587/task/21601/stat : 21601 (java) S 21584 21587 21439 0 -1 4202560 1204 0 0 0 48 0 0 0 16 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21602] ppid=21584 vsize=10561624 CPUtime=0.5 cores=0,2,4,6
/proc/21587/task/21602/stat : 21602 (java) S 21584 21587 21439 0 -1 4202560 1026 0 0 0 50 0 0 0 15 0 22 0 811991474 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21614] ppid=21584 vsize=10561624 CPUtime=40.15 cores=0,2,4,6
/proc/21587/task/21614/stat : 21614 (java) S 21584 21587 21439 0 -1 4202560 45000 0 0 0 4008 7 0 0 15 0 22 0 811991475 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 0 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21616] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21616/stat : 21616 (java) S 21584 21587 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811991475 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21619] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21619/stat : 21619 (java) S 21584 21587 21439 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 811991475 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21624] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21624/stat : 21624 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811991477 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051478961 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21626] ppid=21584 vsize=10561624 CPUtime=1.63 cores=0,2,4,6
/proc/21587/task/21626/stat : 21626 (java) S 21584 21587 21439 0 -1 4202560 6139 0 0 0 163 0 0 0 15 0 22 0 811991477 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21630] ppid=21584 vsize=10561624 CPUtime=1.01 cores=0,2,4,6
/proc/21587/task/21630/stat : 21630 (java) S 21584 21587 21439 0 -1 4202560 7105 0 0 0 100 1 0 0 15 0 22 0 811991477 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21631] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21631/stat : 21631 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811991477 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21633] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21633/stat : 21633 (java) S 21584 21587 21439 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 811991477 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21644] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21644/stat : 21644 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811991515 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21818] ppid=21584 vsize=10561624 CPUtime=762.97 cores=0,2,4,6
/proc/21587/task/21818/stat : 21818 (java) R 21584 21587 21439 0 -1 4202560 494 0 0 0 76296 1 0 0 25 0 22 0 811993274 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 46912505766356 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21587/tid=21819] ppid=21584 vsize=10561624 CPUtime=763.02 cores=0,2,4,6
/proc/21587/task/21819/stat : 21819 (java) R 21584 21587 21439 0 -1 4202560 138793 0 0 0 76288 14 0 0 25 0 22 0 811993274 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 46912505907984 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21587/tid=21820] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21820/stat : 21820 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811993275 10815102976 545790 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1590.94
Current children cumulated vsize (KiB) 10561624

[startup+882.302 s]
/proc/loadavg: 3.99 3.97 3.76 5/578 22003
/proc/meminfo: memFree=18934688/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10561624 CPUtime=1705.9 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 553481 0 1 0 170521 69 0 0 23 0 22 0 811991471 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2640406 547290 2271 9 0 2631140 0
[pid=21587/tid=21592] ppid=21584 vsize=10561624 CPUtime=0.41 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) S 21584 21587 21439 0 -1 4202560 16686 0 1 0 39 2 0 0 15 0 22 0 811991472 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21595] ppid=21584 vsize=10561624 CPUtime=0.59 cores=0,2,4,6
/proc/21587/task/21595/stat : 21595 (java) S 21584 21587 21439 0 -1 4202560 1228 0 0 0 59 0 0 0 15 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21596] ppid=21584 vsize=10561624 CPUtime=0.57 cores=0,2,4,6
/proc/21587/task/21596/stat : 21596 (java) S 21584 21587 21439 0 -1 4202560 1171 0 0 0 57 0 0 0 15 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21597] ppid=21584 vsize=10561624 CPUtime=0.56 cores=0,2,4,6
/proc/21587/task/21597/stat : 21597 (java) S 21584 21587 21439 0 -1 4202560 39 0 0 0 56 0 0 0 16 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21598] ppid=21584 vsize=10561624 CPUtime=0.54 cores=0,2,4,6
/proc/21587/task/21598/stat : 21598 (java) S 21584 21587 21439 0 -1 4202560 30 0 0 0 54 0 0 0 15 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21599] ppid=21584 vsize=10561624 CPUtime=0.49 cores=0,2,4,6
/proc/21587/task/21599/stat : 21599 (java) S 21584 21587 21439 0 -1 4202560 951 0 0 0 49 0 0 0 15 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21600] ppid=21584 vsize=10561624 CPUtime=0.54 cores=0,2,4,6
/proc/21587/task/21600/stat : 21600 (java) S 21584 21587 21439 0 -1 4202560 955 0 0 0 54 0 0 0 16 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21601] ppid=21584 vsize=10561624 CPUtime=0.54 cores=0,2,4,6
/proc/21587/task/21601/stat : 21601 (java) S 21584 21587 21439 0 -1 4202560 1204 0 0 0 54 0 0 0 16 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21602] ppid=21584 vsize=10561624 CPUtime=0.56 cores=0,2,4,6
/proc/21587/task/21602/stat : 21602 (java) S 21584 21587 21439 0 -1 4202560 1030 0 0 0 56 0 0 0 16 0 22 0 811991474 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21614] ppid=21584 vsize=10561624 CPUtime=45.38 cores=0,2,4,6
/proc/21587/task/21614/stat : 21614 (java) S 21584 21587 21439 0 -1 4202560 46491 0 0 0 4531 7 0 0 15 0 22 0 811991475 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 0 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21616] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21616/stat : 21616 (java) S 21584 21587 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811991475 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21619] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21619/stat : 21619 (java) S 21584 21587 21439 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 811991475 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21624] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21624/stat : 21624 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811991477 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051478961 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21626] ppid=21584 vsize=10561624 CPUtime=1.63 cores=0,2,4,6
/proc/21587/task/21626/stat : 21626 (java) S 21584 21587 21439 0 -1 4202560 6139 0 0 0 163 0 0 0 15 0 22 0 811991477 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21630] ppid=21584 vsize=10561624 CPUtime=1.01 cores=0,2,4,6
/proc/21587/task/21630/stat : 21630 (java) S 21584 21587 21439 0 -1 4202560 7105 0 0 0 100 1 0 0 15 0 22 0 811991477 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21631] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21631/stat : 21631 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811991477 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21633] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21633/stat : 21633 (java) S 21584 21587 21439 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811991477 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21644] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21644/stat : 21644 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811991515 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21818] ppid=21584 vsize=10561624 CPUtime=817.63 cores=0,2,4,6
/proc/21587/task/21818/stat : 21818 (java) R 21584 21587 21439 0 -1 4202560 507 0 0 0 81762 1 0 0 25 0 22 0 811993274 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 46912505900428 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21587/tid=21819] ppid=21584 vsize=10561624 CPUtime=817.68 cores=0,2,4,6
/proc/21587/task/21819/stat : 21819 (java) R 21584 21587 21439 0 -1 4202560 138793 0 0 0 81754 14 0 0 25 0 22 0 811993274 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 46912505907644 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21587/tid=21820] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21820/stat : 21820 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811993275 10815102976 547290 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1705.9
Current children cumulated vsize (KiB) 10561624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+931.301 s]
/proc/loadavg: 3.99 3.97 3.77 3/575 22063
/proc/meminfo: memFree=22747792/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=10561624 CPUtime=1800.17 cores=0,2,4,6
/proc/21587/stat : 21587 (java) S 21584 21587 21439 0 -1 4202496 554071 0 1 0 179947 70 0 0 23 0 22 0 811991471 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 2640406 547866 2271 9 0 2631140 0
[pid=21587/tid=21592] ppid=21584 vsize=10561624 CPUtime=0.41 cores=0,2,4,6
/proc/21587/task/21592/stat : 21592 (java) S 21584 21587 21439 0 -1 4202560 16686 0 1 0 39 2 0 0 15 0 22 0 811991472 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21595] ppid=21584 vsize=10561624 CPUtime=0.63 cores=0,2,4,6
/proc/21587/task/21595/stat : 21595 (java) S 21584 21587 21439 0 -1 4202560 1228 0 0 0 63 0 0 0 15 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21596] ppid=21584 vsize=10561624 CPUtime=0.6 cores=0,2,4,6
/proc/21587/task/21596/stat : 21596 (java) S 21584 21587 21439 0 -1 4202560 1172 0 0 0 60 0 0 0 15 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21597] ppid=21584 vsize=10561624 CPUtime=0.61 cores=0,2,4,6
/proc/21587/task/21597/stat : 21597 (java) S 21584 21587 21439 0 -1 4202560 42 0 0 0 61 0 0 0 16 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21598] ppid=21584 vsize=10561624 CPUtime=0.58 cores=0,2,4,6
/proc/21587/task/21598/stat : 21598 (java) S 21584 21587 21439 0 -1 4202560 33 0 0 0 58 0 0 0 15 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21599] ppid=21584 vsize=10561624 CPUtime=0.51 cores=0,2,4,6
/proc/21587/task/21599/stat : 21599 (java) S 21584 21587 21439 0 -1 4202560 955 0 0 0 51 0 0 0 15 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21600] ppid=21584 vsize=10561624 CPUtime=0.59 cores=0,2,4,6
/proc/21587/task/21600/stat : 21600 (java) S 21584 21587 21439 0 -1 4202560 955 0 0 0 59 0 0 0 16 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21601] ppid=21584 vsize=10561624 CPUtime=0.57 cores=0,2,4,6
/proc/21587/task/21601/stat : 21601 (java) S 21584 21587 21439 0 -1 4202560 1204 0 0 0 57 0 0 0 16 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21602] ppid=21584 vsize=10561624 CPUtime=0.61 cores=0,2,4,6
/proc/21587/task/21602/stat : 21602 (java) S 21584 21587 21439 0 -1 4202560 1030 0 0 0 61 0 0 0 16 0 22 0 811991474 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21614] ppid=21584 vsize=10561624 CPUtime=49.28 cores=0,2,4,6
/proc/21587/task/21614/stat : 21614 (java) S 21584 21587 21439 0 -1 4202560 47058 0 0 0 4920 8 0 0 15 0 22 0 811991475 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 0 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21616] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21616/stat : 21616 (java) S 21584 21587 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811991475 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21619] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21619/stat : 21619 (java) S 21584 21587 21439 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 811991475 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 4 0 0 0
[pid=21587/tid=21624] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21624/stat : 21624 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811991477 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051478961 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21626] ppid=21584 vsize=10561624 CPUtime=1.63 cores=0,2,4,6
/proc/21587/task/21626/stat : 21626 (java) S 21584 21587 21439 0 -1 4202560 6139 0 0 0 163 0 0 0 15 0 22 0 811991477 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 6 0 0 0
[pid=21587/tid=21630] ppid=21584 vsize=10561624 CPUtime=1.01 cores=0,2,4,6
/proc/21587/task/21630/stat : 21630 (java) S 21584 21587 21439 0 -1 4202560 7105 0 0 0 100 1 0 0 15 0 22 0 811991477 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21631] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21631/stat : 21631 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811991477 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471257 0 4 0 16800975 18446604442840922048 0 0 -1 2 0 0 0
[pid=21587/tid=21633] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21633/stat : 21633 (java) S 21584 21587 21439 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811991477 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21644] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21644/stat : 21644 (java) S 21584 21587 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811991515 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
[pid=21587/tid=21818] ppid=21584 vsize=10561624 CPUtime=862.65 cores=0,2,4,6
/proc/21587/task/21818/stat : 21818 (java) R 21584 21587 21439 0 -1 4202560 517 0 0 0 86264 1 0 0 25 0 22 0 811993274 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 46912506340565 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21587/tid=21819] ppid=21584 vsize=10561624 CPUtime=862.71 cores=0,2,4,6
/proc/21587/task/21819/stat : 21819 (java) R 21584 21587 21439 0 -1 4202560 138793 0 0 0 86256 15 0 0 25 0 22 0 811993274 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 46912505910450 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21587/tid=21820] ppid=21584 vsize=10561624 CPUtime=0 cores=0,2,4,6
/proc/21587/task/21820/stat : 21820 (java) S 21584 21587 21439 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811993275 10815102976 547866 33554432000 1073741824 1073778376 140736220999584 18446744073709551615 212051471872 0 4 0 16800975 18446604442840922048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10561624

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

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

[startup+931.427 s]
/proc/loadavg: 3.99 3.97 3.77 3/575 22063
/proc/meminfo: memFree=22747792/32951124 swapFree=46970528/67111528
[pid=21587] ppid=21584 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/21587/stat : 21587 (java) Z 21584 21587 21439 0 -1 4203548 554100 0 1 0 179953 79 0 0 17 0 2 0 811991471 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21587/statm: 0 0 0 0 0 0 0
[pid=21587/tid=21644] ppid=21584 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/21587/task/21644/stat : 21644 (java) R 21584 21587 21439 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 811991515 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 931.429
CPU time (s): 1800.33
CPU user time (s): 1799.54
CPU system time (s): 0.793879
CPU usage (%): 193.287
Max. virtual memory (cumulated for all children) (KiB): 10564268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.793879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 554100
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= 28015
involuntary context switches= 8501

runsolver used 5.41818 second user time and 11.5772 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 15:55:52
IDJOB=3454079
IDBENCH=48283
IDSOLVER=1950
FILE ID=node146/3454079-1307195752
RUNJOBID= node146-1307195750-21457
PBS_JOBID= 13508875
Free space on /tmp= 73784 MiB

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

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

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=55051538

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25079440 kB
Buffers:        179604 kB
Cached:         312104 kB
SwapCached:      60452 kB
Active:         260800 kB
Inactive:      7363316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25079440 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            1220 kB
Writeback:           0 kB
AnonPages:     7083652 kB
Mapped:          16028 kB
Slab:            78100 kB
PageTables:      97352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160671896 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= 73784 MiB
End job on node146 at 2011-06-04 16:11:25