Trace number 3454062

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)-44 1800.29 928.548

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_5.opb
MD5SUM996170804397234947041ed4d87d3aa0
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.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
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)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/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@48e5855a
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@398020cc
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-3454062-1307195624.opb
0.10/0.11	c reading problem ... 
0.67/0.43	c ... done. Wall clock time 0.312s.
0.67/0.43	c #vars     2928
0.67/0.43	c #constraints  5658
0.67/0.43	c constraints type 
0.67/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
0.67/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.67/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.67/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
0.67/0.43	c constraints type 
0.67/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.67/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2528
0.67/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.67/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2528
2.13/0.80	c  And the winner is CuttingPlanes
2.32/0.94	c SATISFIABLE
2.32/0.94	c OPTIMIZING...
2.32/0.94	c Got one! Elapsed wall clock time (in seconds):0.827
2.32/0.94	o -5
2.32/0.98	c  And the winner is CuttingPlanes
2.47/1.45	c Got one! Elapsed wall clock time (in seconds):1.333
2.47/1.45	o -17
2.61/1.52	c  And the winner is CuttingPlanes
2.67/1.95	c Got one! Elapsed wall clock time (in seconds):1.838
2.67/1.95	o -18
2.67/1.99	c  And the winner is CuttingPlanes
2.74/2.46	c Got one! Elapsed wall clock time (in seconds):2.346
2.74/2.46	o -19
2.74/2.50	c  And the winner is CuttingPlanes
2.87/2.96	c Got one! Elapsed wall clock time (in seconds):2.849
2.87/2.96	o -20
2.87/2.99	c  And the winner is CuttingPlanes
2.92/3.47	c Got one! Elapsed wall clock time (in seconds):3.355
2.92/3.47	o -21
2.92/3.48	c  And the winner is CuttingPlanes
2.94/3.97	c Got one! Elapsed wall clock time (in seconds):3.858
2.94/3.97	o -25
2.94/4.00	c  And the winner is CuttingPlanes
3.01/4.48	c Got one! Elapsed wall clock time (in seconds):4.361
3.01/4.48	o -26
3.01/4.50	c  And the winner is CuttingPlanes
3.06/4.98	c Got one! Elapsed wall clock time (in seconds):4.864
3.06/4.98	o -27
3.09/5.05	c  And the winner is CuttingPlanes
3.20/5.48	c Got one! Elapsed wall clock time (in seconds):5.367
3.20/5.48	o -28
3.20/5.51	c  And the winner is CuttingPlanes
3.26/5.98	c Got one! Elapsed wall clock time (in seconds):5.869
3.26/5.98	o -29
3.29/6.01	c  And the winner is CuttingPlanes
3.30/6.49	c Got one! Elapsed wall clock time (in seconds):6.372
3.30/6.49	o -30
3.35/6.60	c  And the winner is CuttingPlanes
3.59/6.99	c Got one! Elapsed wall clock time (in seconds):6.875
3.59/6.99	o -31
3.60/7.02	c  And the winner is CuttingPlanes
3.64/7.49	c Got one! Elapsed wall clock time (in seconds):7.378
3.64/7.49	o -32
4.24/7.81	c  And the winner is CuttingPlanes
4.26/8.00	c Got one! Elapsed wall clock time (in seconds):7.881
4.26/8.00	o -33
4.46/8.11	c  And the winner is CuttingPlanes
4.49/8.50	c Got one! Elapsed wall clock time (in seconds):8.384
4.49/8.50	o -34
5.16/8.86	c  And the winner is Resolution
5.25/9.00	c Got one! Elapsed wall clock time (in seconds):8.888
5.25/9.00	o -37
5.95/9.31	c  And the winner is CuttingPlanes
5.98/9.51	c Got one! Elapsed wall clock time (in seconds):9.392
5.98/9.51	o -38
6.38/9.74	c  And the winner is CuttingPlanes
6.48/10.01	c Got one! Elapsed wall clock time (in seconds):9.895
6.48/10.01	o -39
9.47/11.50	c cleaning 4408 clauses out of 8925 with flag 3000/8925
13.91/13.74	c cleaning 5259 clauses out of 10518 with flag 9001/14926
16.68/15.14	c  And the winner is CuttingPlanes
16.77/15.57	c Got one! Elapsed wall clock time (in seconds):15.46
16.77/15.57	o -41
17.42/15.96	c  And the winner is CuttingPlanes
17.53/16.08	c Got one! Elapsed wall clock time (in seconds):15.963
17.53/16.08	o -42
18.42/16.59	c  And the winner is CuttingPlanes
18.56/17.08	c Got one! Elapsed wall clock time (in seconds):16.967
18.56/17.08	o -43
19.42/17.58	c  And the winner is CuttingPlanes
19.42/17.58	c Got one! Elapsed wall clock time (in seconds):17.47
19.42/17.58	o -44
22.17/18.94	c cleaning 8382 clauses out of 16847 with flag 3000/26514
25.99/20.87	c cleaning 7157 clauses out of 14465 with flag 9000/32514
31.20/23.47	c cleaning 7065 clauses out of 14308 with flag 16000/39514
37.20/26.49	c cleaning 7575 clauses out of 15243 with flag 24000/47514
43.30/29.61	c cleaning 8313 clauses out of 16668 with flag 33000/56514
51.84/33.88	c cleaning 9166 clauses out of 18355 with flag 43000/66514
60.21/38.08	c cleaning 9446 clauses out of 19189 with flag 53000/76514
68.54/42.21	c cleaning 9725 clauses out of 19743 with flag 63000/86514
77.07/46.58	c cleaning 9895 clauses out of 20018 with flag 73000/96514
85.59/50.81	c cleaning 9946 clauses out of 20123 with flag 83000/106514
94.28/55.28	c cleaning 10064 clauses out of 20177 with flag 93000/116514
103.41/59.83	c cleaning 10011 clauses out of 20113 with flag 103000/126514
112.13/64.23	c cleaning 9966 clauses out of 20102 with flag 113000/136514
121.07/68.80	c cleaning 10004 clauses out of 20136 with flag 123000/146514
130.55/73.50	c cleaning 9971 clauses out of 20132 with flag 133000/156514
140.31/78.46	c cleaning 9947 clauses out of 20161 with flag 143000/166514
150.01/83.30	c cleaning 9998 clauses out of 20214 with flag 153000/176514
158.71/87.70	c cleaning 9995 clauses out of 20216 with flag 163000/186514
167.58/92.22	c cleaning 10059 clauses out of 20221 with flag 173000/196514
177.48/97.28	c cleaning 9974 clauses out of 20163 with flag 183001/206515
187.17/102.21	c cleaning 10000 clauses out of 20189 with flag 193001/216515
196.66/106.92	c cleaning 9992 clauses out of 20188 with flag 203000/226514
206.10/111.71	c cleaning 10076 clauses out of 20196 with flag 213000/236514
215.62/116.54	c cleaning 9947 clauses out of 20120 with flag 223000/246514
224.87/121.22	c cleaning 9973 clauses out of 20173 with flag 233000/256514
235.17/126.42	c cleaning 10034 clauses out of 20200 with flag 243000/266514
244.75/131.34	c cleaning 10000 clauses out of 20166 with flag 253000/276514
254.64/136.32	c cleaning 10002 clauses out of 20166 with flag 263000/286514
265.27/141.74	c cleaning 9982 clauses out of 20164 with flag 273000/296514
275.12/146.75	c cleaning 9969 clauses out of 20182 with flag 283000/306514
285.91/152.21	c cleaning 10038 clauses out of 20213 with flag 293000/316514
296.35/157.58	c cleaning 9987 clauses out of 20175 with flag 303000/326514
307.19/163.06	c cleaning 10066 clauses out of 20188 with flag 313000/336514
317.67/168.39	c cleaning 9965 clauses out of 20122 with flag 323000/346514
327.80/173.57	c cleaning 10033 clauses out of 20157 with flag 333000/356514
338.43/178.92	c cleaning 9961 clauses out of 20124 with flag 343000/366514
349.67/184.64	c cleaning 10010 clauses out of 20163 with flag 353000/376514
360.11/189.96	c cleaning 9994 clauses out of 20153 with flag 363000/386514
370.87/195.42	c cleaning 9966 clauses out of 20159 with flag 373000/396514
381.51/200.87	c cleaning 10058 clauses out of 20193 with flag 383000/406514
385.79/203.01	c cleaning 0 clauses out of 6413 with flag 0/6414
392.87/206.52	c cleaning 9976 clauses out of 20135 with flag 393000/416514
404.58/212.43	c cleaning 10017 clauses out of 20159 with flag 403000/426514
415.82/218.18	c cleaning 9932 clauses out of 20142 with flag 413000/436514
427.88/224.25	c cleaning 9987 clauses out of 20210 with flag 423000/446514
439.52/230.17	c cleaning 10043 clauses out of 20223 with flag 433000/456514
450.89/235.97	c cleaning 10055 clauses out of 20180 with flag 443000/466514
462.33/241.71	c cleaning 9973 clauses out of 20125 with flag 453000/476514
474.36/247.84	c cleaning 9934 clauses out of 20152 with flag 463000/486514
486.20/253.84	c cleaning 9986 clauses out of 20218 with flag 473000/496514
498.55/260.18	c cleaning 10044 clauses out of 20232 with flag 483000/506514
508.99/265.49	c cleaning 9947 clauses out of 20188 with flag 493000/516514
521.02/271.59	c cleaning 10020 clauses out of 20241 with flag 503000/526514
532.06/277.12	c cleaning 10004 clauses out of 20221 with flag 513000/536514
542.80/282.63	c cleaning 9997 clauses out of 20217 with flag 523000/546514
553.99/288.39	c cleaning 9975 clauses out of 20220 with flag 533000/556514
564.43/293.66	c cleaning 10108 clauses out of 20245 with flag 543000/566514
575.63/299.32	c cleaning 9939 clauses out of 20137 with flag 553000/576514
585.99/304.66	c cleaning 10009 clauses out of 20198 with flag 563000/586514
596.58/310.02	c cleaning 10055 clauses out of 20190 with flag 573001/596515
606.39/315.02	c cleaning 9979 clauses out of 20134 with flag 583000/606514
616.00/319.92	c cleaning 10002 clauses out of 20155 with flag 593000/616514
626.53/325.30	c cleaning 9993 clauses out of 20153 with flag 603000/626514
636.74/330.58	c cleaning 10015 clauses out of 20161 with flag 613001/636515
646.39/335.44	c cleaning 9978 clauses out of 20145 with flag 623000/646514
656.77/340.76	c cleaning 9966 clauses out of 20167 with flag 633000/656514
666.09/345.57	c cleaning 9998 clauses out of 20201 with flag 643000/666514
675.10/350.17	c cleaning 10032 clauses out of 20203 with flag 653000/676514
684.11/354.77	c cleaning 9966 clauses out of 20171 with flag 663000/686514
694.11/359.86	c cleaning 9975 clauses out of 20205 with flag 673000/696514
704.02/364.95	c cleaning 10017 clauses out of 20230 with flag 683000/706514
714.22/370.17	c cleaning 10006 clauses out of 20213 with flag 693000/716514
723.87/375.08	c cleaning 9979 clauses out of 20207 with flag 703000/726514
732.84/379.65	c cleaning 9994 clauses out of 20228 with flag 713000/736514
743.19/384.97	c cleaning 10095 clauses out of 20234 with flag 723000/746514
753.56/390.25	c cleaning 9985 clauses out of 20139 with flag 733000/756514
762.59/394.83	c cleaning 9995 clauses out of 20154 with flag 743000/766514
771.19/399.22	c cleaning 9942 clauses out of 20159 with flag 753000/776514
780.87/404.27	c cleaning 10068 clauses out of 20217 with flag 763000/786514
790.26/409.03	c cleaning 9962 clauses out of 20149 with flag 773000/796514
799.66/413.83	c cleaning 9993 clauses out of 20187 with flag 783000/806514
809.65/418.96	c cleaning 9967 clauses out of 20194 with flag 793000/816514
819.94/424.27	c cleaning 10019 clauses out of 20227 with flag 803000/826514
829.15/428.94	c cleaning 10050 clauses out of 20208 with flag 813000/836514
839.71/434.37	c cleaning 10001 clauses out of 20158 with flag 823000/846514
849.48/439.36	c cleaning 9941 clauses out of 20157 with flag 833000/856514
859.96/444.70	c cleaning 10066 clauses out of 20216 with flag 843000/866514
869.34/449.57	c cleaning 9959 clauses out of 20150 with flag 853000/876514
879.91/454.90	c cleaning 10056 clauses out of 20191 with flag 863000/886514
889.07/459.64	c cleaning 9946 clauses out of 20135 with flag 873000/896514
899.14/464.88	c cleaning 9995 clauses out of 20189 with flag 883000/906514
908.31/469.54	c cleaning 10065 clauses out of 20194 with flag 893000/916514
918.87/474.96	c cleaning 9954 clauses out of 20129 with flag 903000/926514
929.82/480.52	c cleaning 9955 clauses out of 20175 with flag 913000/936514
940.07/485.89	c cleaning 9984 clauses out of 20220 with flag 923000/946514
951.45/491.63	c cleaning 10005 clauses out of 20236 with flag 933000/956514
961.98/497.01	c cleaning 9997 clauses out of 20231 with flag 943000/966514
972.95/502.66	c cleaning 10069 clauses out of 20234 with flag 953000/976514
984.35/508.50	c cleaning 9974 clauses out of 20165 with flag 963000/986514
995.73/514.31	c cleaning 10004 clauses out of 20191 with flag 973000/996514
1008.27/520.77	c cleaning 9985 clauses out of 20187 with flag 983000/1006514
1019.40/526.48	c cleaning 10006 clauses out of 20202 with flag 993000/1016514
1030.25/532.07	c cleaning 10007 clauses out of 20196 with flag 1003000/1026514
1042.19/538.11	c cleaning 10045 clauses out of 20189 with flag 1013000/1036514
1054.56/544.49	c cleaning 9989 clauses out of 20144 with flag 1023000/1046514
1066.67/550.68	c cleaning 9927 clauses out of 20155 with flag 1033000/1056514
1078.49/556.70	c cleaning 10037 clauses out of 20228 with flag 1043000/1066514
1090.04/562.61	c cleaning 10052 clauses out of 20191 with flag 1053000/1076514
1101.18/568.30	c cleaning 10020 clauses out of 20139 with flag 1063000/1086514
1112.92/574.36	c cleaning 9965 clauses out of 20119 with flag 1073000/1096514
1125.58/580.90	c cleaning 9977 clauses out of 20154 with flag 1083000/1106514
1136.87/586.65	c cleaning 10012 clauses out of 20177 with flag 1093000/1116514
1147.61/592.18	c cleaning 10011 clauses out of 20165 with flag 1103000/1126514
1158.95/597.92	c cleaning 9986 clauses out of 20154 with flag 1113000/1136514
1170.38/603.85	c cleaning 9976 clauses out of 20168 with flag 1123000/1146514
1181.12/609.35	c cleaning 9998 clauses out of 20192 with flag 1133000/1156514
1191.62/614.76	c cleaning 10013 clauses out of 20194 with flag 1143000/1166514
1202.36/620.31	c cleaning 10018 clauses out of 20181 with flag 1153000/1176514
1213.22/625.87	c cleaning 9999 clauses out of 20163 with flag 1163000/1186514
1223.52/631.17	c cleaning 10006 clauses out of 20164 with flag 1173000/1196514
1234.25/636.69	c cleaning 9971 clauses out of 20158 with flag 1183000/1206514
1243.58/641.47	c cleaning 10067 clauses out of 20187 with flag 1193000/1216514
1252.78/646.28	c cleaning 10006 clauses out of 20120 with flag 1203000/1226514
1263.31/651.61	c cleaning 10015 clauses out of 20114 with flag 1213000/1236514
1273.44/656.83	c cleaning 9951 clauses out of 20099 with flag 1223000/1246514
1283.80/662.18	c cleaning 10009 clauses out of 20148 with flag 1233000/1256514
1293.97/667.48	c cleaning 9983 clauses out of 20139 with flag 1243000/1266514
1304.30/672.79	c cleaning 10068 clauses out of 20156 with flag 1253000/1276514
1315.23/678.31	c cleaning 9937 clauses out of 20088 with flag 1263000/1286514
1325.55/683.63	c cleaning 10009 clauses out of 20151 with flag 1273000/1296514
1335.35/688.79	c cleaning 10005 clauses out of 20142 with flag 1283000/1306514
1345.07/693.72	c cleaning 10008 clauses out of 20137 with flag 1293000/1316514
1354.80/698.76	c cleaning 10008 clauses out of 20129 with flag 1303000/1326514
1364.51/703.71	c cleaning 9992 clauses out of 20121 with flag 1313000/1336514
1373.71/708.56	c cleaning 9993 clauses out of 20129 with flag 1323000/1346514
1382.83/713.28	c cleaning 10016 clauses out of 20136 with flag 1333000/1356514
1391.55/717.79	c cleaning 9992 clauses out of 20120 with flag 1343000/1366514
1400.47/722.37	c cleaning 10017 clauses out of 20128 with flag 1353000/1376514
1409.85/727.25	c cleaning 9980 clauses out of 20111 with flag 1363000/1386514
1419.77/732.37	c cleaning 9919 clauses out of 20131 with flag 1373000/1396514
1429.28/737.29	c cleaning 10016 clauses out of 20212 with flag 1383000/1406514
1439.63/742.56	c cleaning 10030 clauses out of 20196 with flag 1393000/1416514
1449.93/747.96	c cleaning 9974 clauses out of 20166 with flag 1403000/1426514
1460.98/753.66	c cleaning 9986 clauses out of 20192 with flag 1413000/1436514
1472.88/759.76	c cleaning 10004 clauses out of 20206 with flag 1423000/1446514
1483.19/765.09	c cleaning 9971 clauses out of 20202 with flag 1433000/1456514
1493.96/770.62	c cleaning 10014 clauses out of 20231 with flag 1443000/1466514
1505.27/776.43	c cleaning 10007 clauses out of 20217 with flag 1453000/1476514
1516.58/782.29	c cleaning 10078 clauses out of 20210 with flag 1463000/1486514
1528.48/788.30	c cleaning 9991 clauses out of 20132 with flag 1473000/1496514
1540.25/794.42	c cleaning 10018 clauses out of 20141 with flag 1483000/1506514
1551.35/800.16	c cleaning 9982 clauses out of 20123 with flag 1493000/1516514
1563.05/806.13	c cleaning 9971 clauses out of 20141 with flag 1503000/1526514
1574.35/811.90	c cleaning 10016 clauses out of 20170 with flag 1513000/1536514
1586.09/818.03	c cleaning 9980 clauses out of 20154 with flag 1523000/1546514
1596.59/823.45	c cleaning 10002 clauses out of 20174 with flag 1533000/1556514
1607.68/829.19	c cleaning 9969 clauses out of 20172 with flag 1543000/1566514
1619.18/835.03	c cleaning 10068 clauses out of 20203 with flag 1553000/1576514
1630.32/840.81	c cleaning 9957 clauses out of 20135 with flag 1563000/1586514
1641.81/846.74	c cleaning 9973 clauses out of 20178 with flag 1573000/1596514
1652.92/852.48	c cleaning 10015 clauses out of 20205 with flag 1583000/1606514
1663.61/857.92	c cleaning 10046 clauses out of 20190 with flag 1593000/1616514
1676.13/864.47	c cleaning 9988 clauses out of 20144 with flag 1603000/1626514
1688.21/870.66	c cleaning 9987 clauses out of 20156 with flag 1613000/1636514
1700.15/876.73	c cleaning 10011 clauses out of 20169 with flag 1623000/1646514
1712.38/883.01	c cleaning 10012 clauses out of 20158 with flag 1633000/1656514
1724.50/889.31	c cleaning 10026 clauses out of 20146 with flag 1643000/1666514
1736.21/895.37	c cleaning 9961 clauses out of 20120 with flag 1653000/1676514
1748.25/901.51	c cleaning 9999 clauses out of 20159 with flag 1663000/1686514
1759.72/907.48	c cleaning 10002 clauses out of 20160 with flag 1673000/1696514
1771.16/913.42	c cleaning 10008 clauses out of 20158 with flag 1683000/1706514
1781.79/918.99	c cleaning 9990 clauses out of 20151 with flag 1693001/1716515
1791.68/924.06	c cleaning 10063 clauses out of 20160 with flag 1703000/1726514
1800.13/928.44	c starts		: 59
1800.13/928.44	c conflicts		: 11171
1800.13/928.44	c decisions		: 153579
1800.13/928.44	c propagations		: 2175232
1800.13/928.44	c inspects		: 662744704
1800.13/928.44	c shortcuts		: 0
1800.13/928.44	c learnt literals	: 0
1800.13/928.45	c learnt binary clauses	: 0
1800.13/928.45	c learnt ternary clauses	: 0
1800.13/928.45	c learnt constraints	: 11170
1800.13/928.45	c ignored constraints	: 0
1800.13/928.45	c root simplifications	: 0
1800.13/928.45	c removed literals (reason simplification)	: 0
1800.13/928.45	c reason swapping (by a shorter reason)	: 0
1800.13/928.45	c Calls to reduceDB	: 1
1800.13/928.45	c number of reductions to clauses (during analyze)	: 0
1800.13/928.45	c number of learned constraints concerned by reduction	: 0
1800.13/928.45	c number of learning phase by resolution	: 0
1800.13/928.45	c number of learning phase by cutting planes	: 0
1800.13/928.45	c speed (assignments/second)	: 2388.107941944975
1800.13/928.45	c non guided choices	100
1800.13/928.45	c learnt constraints type 
1800.13/928.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.13/928.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11169
1800.13/928.45	c constraints type 
1800.13/928.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
1800.13/928.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.13/928.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.13/928.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
1800.13/928.45	c constraints type 
1800.13/928.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1800.13/928.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2528
1800.13/928.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1800.13/928.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2528
1800.13/928.45	s SATISFIABLE
1800.13/928.45	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.13/928.45	c objective function=-44
1800.13/928.45	c Total wall clock time (in seconds): 928.338

Verifier Data 

OK	-44

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-3454062-1307195624/watcher-3454062-1307195624 -o /tmp/evaluation-result-3454062-1307195624/solver-3454062-1307195624 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454062-1307195624.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.89 3.63 3.66 2/553 14752
/proc/meminfo: memFree=24909168/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 2269 0 1 0 0 0 0 0 17 0 2 0 831159517 10681323520 1970 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2607745 1983 906 9 0 2598901 0
[pid=14750/tid=14753] ppid=14747 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) R 14747 14750 10194 0 -1 4202560 5639 0 1 0 0 0 0 0 18 0 2 0 831159518 10694979584 6455 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0695649 s]
/proc/loadavg: 2.89 3.63 3.66 2/553 14752
/proc/meminfo: memFree=24909168/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10472996 CPUtime=0.05 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 11704 0 1 0 4 1 0 0 17 0 18 0 831159517 10724347904 11400 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2618256 11403 1735 9 0 2608990 0
[pid=14750/tid=14753] ppid=14747 vsize=10473024 CPUtime=0.04 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) R 14747 14750 10194 0 -1 4202560 10537 0 1 0 3 1 0 0 25 0 18 0 831159518 10724376576 11408 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912504009831 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472996

[startup+0.100599 s]
/proc/loadavg: 2.89 3.63 3.66 2/553 14752
/proc/meminfo: memFree=24909168/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10540608 CPUtime=0.1 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 13004 0 1 0 8 2 0 0 17 0 18 0 831159517 10793582592 12683 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2635152 12684 2093 9 0 2625886 0
[pid=14750/tid=14753] ppid=14747 vsize=10540608 CPUtime=0.07 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) R 14747 14750 10194 0 -1 4202560 11067 0 1 0 6 1 0 0 18 0 18 0 831159518 10793582592 12684 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 47927615150931 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540608

[startup+0.30055 s]
/proc/loadavg: 2.89 3.63 3.66 2/553 14752
/proc/meminfo: memFree=24909168/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10545728 CPUtime=0.47 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 16361 0 1 0 44 3 0 0 17 0 18 0 831159517 10798825472 15916 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2636432 15916 2212 9 0 2627166 0
[pid=14750/tid=14753] ppid=14747 vsize=10545728 CPUtime=0.27 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) R 14747 14750 10194 0 -1 4202560 12984 0 1 0 25 2 0 0 18 0 18 0 831159518 10798825472 15916 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10545728

[startup+0.700395 s]
/proc/loadavg: 2.89 3.63 3.66 2/553 14752
/proc/meminfo: memFree=24909168/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10564176 CPUtime=1.73 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 28441 0 1 0 168 5 0 0 17 0 22 0 831159517 10817716224 25236 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2641044 25236 2232 9 0 2631778 0
[pid=14750/tid=14753] ppid=14747 vsize=10564176 CPUtime=0.4 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14747 14750 10194 0 -1 4202560 16405 0 1 0 37 3 0 0 19 0 22 0 831159518 10817716224 25237 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10564176

[startup+1.50129 s]
/proc/loadavg: 2.89 3.63 3.66 3/591 14802
/proc/meminfo: memFree=24693244/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10564176 CPUtime=2.61 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 35719 0 1 0 255 6 0 0 17 0 22 0 831159517 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2641044 28972 2239 9 0 2631778 0
[pid=14750/tid=14753] ppid=14747 vsize=10564176 CPUtime=0.41 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14747 14750 10194 0 -1 4202560 16448 0 1 0 38 3 0 0 17 0 22 0 831159518 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14760] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831159519 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14763] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831159519 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14765] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14765/stat : 14765 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831159519 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14767] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14767/stat : 14767 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831159519 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14769] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14769/stat : 14769 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831159519 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14770] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14770/stat : 14770 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831159519 10817716224 28972 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14771] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14771/stat : 14771 (java) S 14747 14750 10194 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 831159519 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14772] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14772/stat : 14772 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831159519 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14774] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14774/stat : 14774 (java) S 14747 14750 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831159520 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 0 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14776] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14776/stat : 14776 (java) S 14747 14750 10194 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 831159521 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14778] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14778/stat : 14778 (java) S 14747 14750 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831159521 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14781] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14781/stat : 14781 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488518577 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14782] ppid=14747 vsize=10564176 CPUtime=0.76 cores=0,2,4,6
/proc/14750/task/14782/stat : 14782 (java) R 14747 14750 10194 0 -1 4202560 10057 0 0 0 75 1 0 0 16 0 22 0 831159523 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 47927613349458 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14750/tid=14785] ppid=14747 vsize=10564176 CPUtime=0.66 cores=0,2,4,6
/proc/14750/task/14785/stat : 14785 (java) R 14747 14750 10194 0 -1 4202560 4157 0 0 0 66 0 0 0 15 0 22 0 831159523 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 47927614201254 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14750/tid=14786] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14786/stat : 14786 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14788] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14788/stat : 14788 (java) R 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831159523 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14750/tid=14791] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14791/stat : 14791 (java) S 14747 14750 10194 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831159561 10817716224 28973 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 10564176

[startup+3.10105 s]
/proc/loadavg: 2.89 3.63 3.66 3/591 14814
/proc/meminfo: memFree=24656408/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10564176 CPUtime=2.92 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 41297 0 1 0 285 7 0 0 17 0 19 0 831159517 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2641044 34549 2242 9 0 2631778 0
[pid=14750/tid=14753] ppid=14747 vsize=10564176 CPUtime=0.42 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14747 14750 10194 0 -1 4202560 16500 0 1 0 39 3 0 0 15 0 19 0 831159518 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14760] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14763] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14765] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14765/stat : 14765 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14767] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14767/stat : 14767 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14769] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14769/stat : 14769 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14770] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14770/stat : 14770 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14771] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14771/stat : 14771 (java) S 14747 14750 10194 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14772] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14772/stat : 14772 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831159519 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14774] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14774/stat : 14774 (java) S 14747 14750 10194 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 831159520 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 0 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14776] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14776/stat : 14776 (java) S 14747 14750 10194 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 831159521 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14778] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14778/stat : 14778 (java) S 14747 14750 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 831159521 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14781] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14781/stat : 14781 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831159523 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488518577 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14782] ppid=14747 vsize=10564176 CPUtime=0.83 cores=0,2,4,6
/proc/14750/task/14782/stat : 14782 (java) S 14747 14750 10194 0 -1 4202560 10071 0 0 0 82 1 0 0 15 0 19 0 831159523 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14785] ppid=14747 vsize=10564176 CPUtime=0.71 cores=0,2,4,6
/proc/14750/task/14785/stat : 14785 (java) S 14747 14750 10194 0 -1 4202560 4168 0 0 0 71 0 0 0 15 0 19 0 831159523 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14786] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14786/stat : 14786 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831159523 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14788] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14788/stat : 14788 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831159523 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14791] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14791/stat : 14791 (java) S 14747 14750 10194 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831159561 10817716224 34549 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 10564176

[startup+6.30144 s]
/proc/loadavg: 2.82 3.60 3.65 4/594 14847
/proc/meminfo: memFree=24180648/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10564176 CPUtime=3.3 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 52107 0 1 0 322 8 0 0 17 0 19 0 831159517 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2641044 45154 2244 9 0 2631778 0
[pid=14750/tid=14753] ppid=14747 vsize=10564176 CPUtime=0.42 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14747 14750 10194 0 -1 4202560 16606 0 1 0 39 3 0 0 16 0 19 0 831159518 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14760] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14763] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14765] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14765/stat : 14765 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14767] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14767/stat : 14767 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14769] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14769/stat : 14769 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14770] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14770/stat : 14770 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14771] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14771/stat : 14771 (java) S 14747 14750 10194 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14772] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14772/stat : 14772 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831159519 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14774] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14774/stat : 14774 (java) S 14747 14750 10194 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 831159520 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 0 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14776] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14776/stat : 14776 (java) S 14747 14750 10194 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 831159521 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14778] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14778/stat : 14778 (java) S 14747 14750 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 831159521 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14781] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14781/stat : 14781 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831159523 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488518577 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14782] ppid=14747 vsize=10564176 CPUtime=0.83 cores=0,2,4,6
/proc/14750/task/14782/stat : 14782 (java) S 14747 14750 10194 0 -1 4202560 10072 0 0 0 82 1 0 0 15 0 19 0 831159523 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14785] ppid=14747 vsize=10564176 CPUtime=0.75 cores=0,2,4,6
/proc/14750/task/14785/stat : 14785 (java) S 14747 14750 10194 0 -1 4202560 4171 0 0 0 75 0 0 0 15 0 19 0 831159523 10817716224 45154 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0

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

/proc/meminfo: memFree=21571584/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10564176 CPUtime=1594.39 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 551783 0 1 0 159369 70 0 0 17 0 22 0 831159517 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2641044 542920 2271 9 0 2631778 0
[pid=14750/tid=14753] ppid=14747 vsize=10564176 CPUtime=0.42 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14747 14750 10194 0 -1 4202560 16752 0 1 0 39 3 0 0 15 0 22 0 831159518 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14760] ppid=14747 vsize=10564176 CPUtime=0.49 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14747 14750 10194 0 -1 4202560 1142 0 0 0 49 0 0 0 16 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14763] ppid=14747 vsize=10564176 CPUtime=0.46 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14747 14750 10194 0 -1 4202560 1025 0 0 0 46 0 0 0 15 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14765] ppid=14747 vsize=10564176 CPUtime=0.51 cores=0,2,4,6
/proc/14750/task/14765/stat : 14765 (java) S 14747 14750 10194 0 -1 4202560 374 0 0 0 51 0 0 0 15 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14767] ppid=14747 vsize=10564176 CPUtime=0.38 cores=0,2,4,6
/proc/14750/task/14767/stat : 14767 (java) S 14747 14750 10194 0 -1 4202560 264 0 0 0 38 0 0 0 15 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14769] ppid=14747 vsize=10564176 CPUtime=0.43 cores=0,2,4,6
/proc/14750/task/14769/stat : 14769 (java) S 14747 14750 10194 0 -1 4202560 189 0 0 0 43 0 0 0 16 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14770] ppid=14747 vsize=10564176 CPUtime=0.49 cores=0,2,4,6
/proc/14750/task/14770/stat : 14770 (java) S 14747 14750 10194 0 -1 4202560 1140 0 0 0 49 0 0 0 15 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14771] ppid=14747 vsize=10564176 CPUtime=0.48 cores=0,2,4,6
/proc/14750/task/14771/stat : 14771 (java) S 14747 14750 10194 0 -1 4202560 179 0 0 0 48 0 0 0 16 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14772] ppid=14747 vsize=10564176 CPUtime=0.46 cores=0,2,4,6
/proc/14750/task/14772/stat : 14772 (java) S 14747 14750 10194 0 -1 4202560 515 0 0 0 46 0 0 0 16 0 22 0 831159519 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14774] ppid=14747 vsize=10564176 CPUtime=36.69 cores=0,2,4,6
/proc/14750/task/14774/stat : 14774 (java) S 14747 14750 10194 0 -1 4202560 41947 0 0 0 3663 6 0 0 15 0 22 0 831159520 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 0 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14776] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14776/stat : 14776 (java) S 14747 14750 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831159521 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14778] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14778/stat : 14778 (java) S 14747 14750 10194 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 831159521 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14781] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14781/stat : 14781 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488518577 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14782] ppid=14747 vsize=10564176 CPUtime=1.77 cores=0,2,4,6
/proc/14750/task/14782/stat : 14782 (java) S 14747 14750 10194 0 -1 4202560 13727 0 0 0 176 1 0 0 15 0 22 0 831159523 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14785] ppid=14747 vsize=10564176 CPUtime=1.01 cores=0,2,4,6
/proc/14750/task/14785/stat : 14785 (java) S 14747 14750 10194 0 -1 4202560 4278 0 0 0 101 0 0 0 16 0 22 0 831159523 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14786] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14786/stat : 14786 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14788] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14788/stat : 14788 (java) S 14747 14750 10194 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831159523 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14871] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14871/stat : 14871 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831160418 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14893] ppid=14747 vsize=10564176 CPUtime=766.82 cores=0,2,4,6
/proc/14750/task/14893/stat : 14893 (java) R 14747 14750 10194 0 -1 4202560 3289 0 0 0 76680 2 0 0 25 0 22 0 831161276 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912505628101 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14750/tid=14894] ppid=14747 vsize=10564176 CPUtime=766.91 cores=0,2,4,6
/proc/14750/task/14894/stat : 14894 (java) R 14747 14750 10194 0 -1 4202560 162017 0 0 0 76672 19 0 0 25 0 22 0 831161276 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912505943983 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14750/tid=14895] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14895/stat : 14895 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831161276 10817716224 542920 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1594.39
Current children cumulated vsize (KiB) 10564176

[startup+882.302 s]
/proc/loadavg: 3.79 3.81 3.77 5/597 14930
/proc/meminfo: memFree=21555780/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10564176 CPUtime=1710.98 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 553943 0 1 0 171027 71 0 0 17 0 22 0 831159517 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2641044 545064 2271 9 0 2631778 0
[pid=14750/tid=14753] ppid=14747 vsize=10564176 CPUtime=0.42 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14747 14750 10194 0 -1 4202560 16754 0 1 0 39 3 0 0 15 0 22 0 831159518 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14760] ppid=14747 vsize=10564176 CPUtime=0.54 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14747 14750 10194 0 -1 4202560 1142 0 0 0 54 0 0 0 16 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14763] ppid=14747 vsize=10564176 CPUtime=0.49 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14747 14750 10194 0 -1 4202560 1025 0 0 0 49 0 0 0 15 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14765] ppid=14747 vsize=10564176 CPUtime=0.55 cores=0,2,4,6
/proc/14750/task/14765/stat : 14765 (java) S 14747 14750 10194 0 -1 4202560 376 0 0 0 55 0 0 0 15 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14767] ppid=14747 vsize=10564176 CPUtime=0.43 cores=0,2,4,6
/proc/14750/task/14767/stat : 14767 (java) S 14747 14750 10194 0 -1 4202560 264 0 0 0 43 0 0 0 15 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14769] ppid=14747 vsize=10564176 CPUtime=0.49 cores=0,2,4,6
/proc/14750/task/14769/stat : 14769 (java) S 14747 14750 10194 0 -1 4202560 192 0 0 0 49 0 0 0 16 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14770] ppid=14747 vsize=10564176 CPUtime=0.53 cores=0,2,4,6
/proc/14750/task/14770/stat : 14770 (java) S 14747 14750 10194 0 -1 4202560 1153 0 0 0 53 0 0 0 15 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14771] ppid=14747 vsize=10564176 CPUtime=0.52 cores=0,2,4,6
/proc/14750/task/14771/stat : 14771 (java) S 14747 14750 10194 0 -1 4202560 181 0 0 0 52 0 0 0 16 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14772] ppid=14747 vsize=10564176 CPUtime=0.48 cores=0,2,4,6
/proc/14750/task/14772/stat : 14772 (java) S 14747 14750 10194 0 -1 4202560 515 0 0 0 48 0 0 0 15 0 22 0 831159519 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14774] ppid=14747 vsize=10564176 CPUtime=40.22 cores=0,2,4,6
/proc/14750/task/14774/stat : 14774 (java) S 14747 14750 10194 0 -1 4202560 44073 0 0 0 4016 6 0 0 15 0 22 0 831159520 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 0 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14776] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14776/stat : 14776 (java) S 14747 14750 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831159521 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14778] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14778/stat : 14778 (java) S 14747 14750 10194 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 831159521 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14781] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14781/stat : 14781 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488518577 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14782] ppid=14747 vsize=10564176 CPUtime=1.77 cores=0,2,4,6
/proc/14750/task/14782/stat : 14782 (java) S 14747 14750 10194 0 -1 4202560 13727 0 0 0 176 1 0 0 15 0 22 0 831159523 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14785] ppid=14747 vsize=10564176 CPUtime=1.01 cores=0,2,4,6
/proc/14750/task/14785/stat : 14785 (java) S 14747 14750 10194 0 -1 4202560 4278 0 0 0 101 0 0 0 16 0 22 0 831159523 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14786] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14786/stat : 14786 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14788] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14788/stat : 14788 (java) S 14747 14750 10194 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831159523 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14871] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14871/stat : 14871 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831160418 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14893] ppid=14747 vsize=10564176 CPUtime=823.18 cores=0,2,4,6
/proc/14750/task/14893/stat : 14893 (java) R 14747 14750 10194 0 -1 4202560 3296 0 0 0 82316 2 0 0 25 0 22 0 831161276 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912505628095 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14750/tid=14894] ppid=14747 vsize=10564176 CPUtime=823.27 cores=0,2,4,6
/proc/14750/task/14894/stat : 14894 (java) R 14747 14750 10194 0 -1 4202560 162018 0 0 0 82308 19 0 0 25 0 22 0 831161276 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912505917928 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14750/tid=14895] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14895/stat : 14895 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831161276 10817716224 545064 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1710.98
Current children cumulated vsize (KiB) 10564176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+928.423 s]
/proc/loadavg: 3.67 3.77 3.75 4/597 14932
/proc/meminfo: memFree=21546452/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=10564176 CPUtime=1800.13 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 10194 0 -1 4202496 555237 0 1 0 179942 71 0 0 17 0 22 0 831159517 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 2641044 546344 2271 9 0 2631778 0
[pid=14750/tid=14753] ppid=14747 vsize=10564176 CPUtime=0.42 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (java) S 14747 14750 10194 0 -1 4202560 16758 0 1 0 39 3 0 0 15 0 22 0 831159518 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14760] ppid=14747 vsize=10564176 CPUtime=0.6 cores=0,2,4,6
/proc/14750/task/14760/stat : 14760 (java) S 14747 14750 10194 0 -1 4202560 1142 0 0 0 60 0 0 0 16 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14763] ppid=14747 vsize=10564176 CPUtime=0.53 cores=0,2,4,6
/proc/14750/task/14763/stat : 14763 (java) S 14747 14750 10194 0 -1 4202560 1028 0 0 0 53 0 0 0 15 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14765] ppid=14747 vsize=10564176 CPUtime=0.57 cores=0,2,4,6
/proc/14750/task/14765/stat : 14765 (java) S 14747 14750 10194 0 -1 4202560 376 0 0 0 57 0 0 0 15 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14767] ppid=14747 vsize=10564176 CPUtime=0.49 cores=0,2,4,6
/proc/14750/task/14767/stat : 14767 (java) S 14747 14750 10194 0 -1 4202560 264 0 0 0 49 0 0 0 16 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14769] ppid=14747 vsize=10564176 CPUtime=0.51 cores=0,2,4,6
/proc/14750/task/14769/stat : 14769 (java) S 14747 14750 10194 0 -1 4202560 195 0 0 0 51 0 0 0 15 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14770] ppid=14747 vsize=10564176 CPUtime=0.55 cores=0,2,4,6
/proc/14750/task/14770/stat : 14770 (java) S 14747 14750 10194 0 -1 4202560 1153 0 0 0 55 0 0 0 15 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14771] ppid=14747 vsize=10564176 CPUtime=0.56 cores=0,2,4,6
/proc/14750/task/14771/stat : 14771 (java) S 14747 14750 10194 0 -1 4202560 181 0 0 0 56 0 0 0 15 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14772] ppid=14747 vsize=10564176 CPUtime=0.51 cores=0,2,4,6
/proc/14750/task/14772/stat : 14772 (java) S 14747 14750 10194 0 -1 4202560 520 0 0 0 51 0 0 0 15 0 22 0 831159519 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14774] ppid=14747 vsize=10564176 CPUtime=43.47 cores=0,2,4,6
/proc/14750/task/14774/stat : 14774 (java) S 14747 14750 10194 0 -1 4202560 45346 0 0 0 4340 7 0 0 15 0 22 0 831159520 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 0 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14776] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14776/stat : 14776 (java) S 14747 14750 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831159521 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14778] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14778/stat : 14778 (java) S 14747 14750 10194 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 831159521 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14781] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14781/stat : 14781 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488518577 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14782] ppid=14747 vsize=10564176 CPUtime=1.77 cores=0,2,4,6
/proc/14750/task/14782/stat : 14782 (java) S 14747 14750 10194 0 -1 4202560 13727 0 0 0 176 1 0 0 15 0 22 0 831159523 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 0 0 0 0
[pid=14750/tid=14785] ppid=14747 vsize=10564176 CPUtime=1.01 cores=0,2,4,6
/proc/14750/task/14785/stat : 14785 (java) S 14747 14750 10194 0 -1 4202560 4278 0 0 0 101 0 0 0 16 0 22 0 831159523 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14786] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14786/stat : 14786 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831159523 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488510873 0 4 0 16800975 18446604443870915392 0 0 -1 4 0 0 0
[pid=14750/tid=14788] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14788/stat : 14788 (java) S 14747 14750 10194 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 831159523 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 2 0 0 0
[pid=14750/tid=14871] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14871/stat : 14871 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831160418 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
[pid=14750/tid=14893] ppid=14747 vsize=10564176 CPUtime=866 cores=0,2,4,6
/proc/14750/task/14893/stat : 14893 (java) R 14747 14750 10194 0 -1 4202560 3300 0 0 0 86598 2 0 0 25 0 22 0 831161276 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912505882083 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14750/tid=14894] ppid=14747 vsize=10564176 CPUtime=866.09 cores=0,2,4,6
/proc/14750/task/14894/stat : 14894 (java) R 14747 14750 10194 0 -1 4202560 162018 0 0 0 86590 19 0 0 25 0 22 0 831161276 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 46912505944044 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14750/tid=14895] ppid=14747 vsize=10564176 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14895/stat : 14895 (java) S 14747 14750 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831161276 10817716224 546344 33554432000 1073741824 1073778376 140733477121936 18446744073709551615 239488511488 0 4 0 16800975 18446604443870915392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10564176

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

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

[startup+928.527 s]
/proc/loadavg: 3.67 3.77 3.75 4/597 14932
/proc/meminfo: memFree=21546452/32950928 swapFree=67056580/67111528
[pid=14750] ppid=14747 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/14750/stat : 14750 (java) Z 14747 14750 10194 0 -1 4203548 555266 0 1 0 179948 78 0 0 15 0 2 0 831159517 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14750/statm: 0 0 0 0 0 0 0
[pid=14750/tid=14786] ppid=14747 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/14750/task/14786/stat : 14786 (java) R 14747 14750 10194 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 831159523 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 928.548
CPU time (s): 1800.29
CPU user time (s): 1799.48
CPU system time (s): 0.802877
CPU usage (%): 193.882
Max. virtual memory (cumulated for all children) (KiB): 10564176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.802877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555266
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= 27558
involuntary context switches= 12773

runsolver used 5.72013 second user time and 12.7391 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-04 15:53:45
IDJOB=3454062
IDBENCH=48266
IDSOLVER=1950
FILE ID=node148/3454062-1307195624
RUNJOBID= node148-1307195624-14733
PBS_JOBID= 13508860
Free space on /tmp= 73896 MiB

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

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

MD5SUM BENCH= 996170804397234947041ed4d87d3aa0
RANDOM SEED=356931238

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24909604 kB
Buffers:        266828 kB
Cached:         640104 kB
SwapCached:       7908 kB
Active:        7218612 kB
Inactive:       515864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24909604 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:             956 kB
Writeback:           0 kB
AnonPages:     6826144 kB
Mapped:          43212 kB
Slab:           179376 kB
PageTables:      57872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 170363612 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= 73896 MiB
End job on node148 at 2011-06-04 16:09:15