Trace number 3731505

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
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)208 1800.01 1767.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM008a49e8cb0d34e0becb5a5e15efaa2a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 177
Optimality of the best value was proved NO
Number of variables465
Total number of constraints465
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 465
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.10	c no version file found!!!
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version	1.6.0_24
0.07/0.10	c os.name	Linux
0.07/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch	amd64
0.07/0.10	c Free memory 1599470296
0.07/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3731505-1338686276.opb
0.07/0.12	c reading problem ... 
0.22/0.25	c ... done. Wall clock time 0.126s.
0.22/0.25	c CPU time (experimental) 0.2s.
0.22/0.25	c #vars     465
0.22/0.25	c #constraints  465
0.22/0.27	c SATISFIABLE
0.22/0.27	c OPTIMIZING...
0.22/0.27	c Got one! Elapsed wall clock time (in seconds):0.15
0.22/0.28	o 222
0.70/0.41	c Got one! Elapsed wall clock time (in seconds):0.288
0.70/0.41	o 221
1.06/0.75	c Got one! Elapsed wall clock time (in seconds):0.626
1.06/0.75	o 220
1.06/0.76	c Got one! Elapsed wall clock time (in seconds):0.635
1.06/0.76	o 219
1.06/0.77	c Got one! Elapsed wall clock time (in seconds):0.649
1.06/0.77	o 218
1.62/1.24	c Got one! Elapsed wall clock time (in seconds):1.114
1.62/1.24	o 217
4.64/4.12	c Got one! Elapsed wall clock time (in seconds):3.996
4.64/4.12	o 216
5.28/4.68	c Got one! Elapsed wall clock time (in seconds):4.554
5.28/4.68	o 215
7.18/6.42	c Got one! Elapsed wall clock time (in seconds):6.295
7.18/6.42	o 214
14.29/12.96	c Got one! Elapsed wall clock time (in seconds):12.834
14.29/12.96	o 213
17.51/15.99	c Got one! Elapsed wall clock time (in seconds):15.866
17.51/15.99	o 212
18.41/16.83	c Got one! Elapsed wall clock time (in seconds):16.713
18.41/16.83	o 211
21.67/19.98	c Got one! Elapsed wall clock time (in seconds):19.862
21.67/19.98	o 210
68.96/65.46	c Got one! Elapsed wall clock time (in seconds):65.34
68.96/65.46	o 209
90.56/86.24	c Got one! Elapsed wall clock time (in seconds):86.121
90.56/86.24	o 208
178.59/171.73	c cleaning 502065 clauses out of 1004144 for limit 2.044536233943841E10
187.48/180.57	c cleaning 257281 clauses out of 514578 for limit 1.0762229725012971E-4
192.01/184.99	c cleaning 138643 clauses out of 277297 for limit 97868.69152493458
194.38/187.21	c cleaning 74821 clauses out of 149656 for limit 1.0939396345971535E10
196.66/189.47	c cleaning 42658 clauses out of 85333 for limit 6.989966274001913E-6
199.13/191.81	c cleaning 31330 clauses out of 62676 for limit 4668.322113796364
199.23/191.91	c cleaning 15916 clauses out of 31846 for limit 15151.760007386654
199.33/192.03	c cleaning 8204 clauses out of 16429 for limit 48386.94680712392
199.33/192.09	c cleaning 4352 clauses out of 8725 for limit 150255.3000860692
199.43/192.14	c cleaning 2430 clauses out of 4874 for limit 444017.5230220386
199.43/192.18	c cleaning 1467 clauses out of 2943 for limit 1211481.3915909
201.59/194.25	c cleaning 10988 clauses out of 21977 for limit 1.312394739117337E14
201.69/194.33	c cleaning 5744 clauses out of 11489 for limit 4.140059154925388E14
201.69/194.37	c cleaning 3121 clauses out of 6245 for limit 1.2560653066766202E15
203.85/196.47	c cleaning 11305 clauses out of 22623 for limit 1029.2942556874086
203.95/196.57	c cleaning 5900 clauses out of 11818 for limit 3249.388551028807
204.05/196.63	c cleaning 3200 clauses out of 6418 for limit 9867.378916346757
205.93/198.43	c cleaning 9850 clauses out of 19718 for limit 4.744417810783209E10
205.93/198.49	c cleaning 5174 clauses out of 10368 for limit 1.4880128729819836E11
206.03/198.55	c cleaning 2838 clauses out of 5695 for limit 4.4719644994122687E11
206.03/198.59	c cleaning 1667 clauses out of 3357 for limit 1.2511132439207056E12
206.13/198.64	c cleaning 1091 clauses out of 2189 for limit 3.1609933075004233E12
603.39/590.66	c cleaning 479040 clauses out of 958099 for limit 486251.77287694474
654.25/641.43	c cleaning 246775 clauses out of 493559 for limit 1.8851817737592864E12
658.83/645.99	c cleaning 128637 clauses out of 257284 for limit 0.00132024081875586
660.23/647.37	c cleaning 64570 clauses out of 129146 for limit 0.004333176217679555
662.52/649.50	c cleaning 38778 clauses out of 77576 for limit 3212.2770133390854
662.62/649.67	c cleaning 19642 clauses out of 39298 for limit 10457.450348816294
1207.48/1188.29	c cleaning 452070 clauses out of 904157 for limit 9630548.906907776
1218.97/1199.68	c cleaning 232786 clauses out of 465587 for limit 1.3734188183110045E13
1220.77/1201.47	c cleaning 116645 clauses out of 233300 for limit 4.515548130458152E-7
1223.03/1203.60	c cleaning 63818 clauses out of 127655 for limit 0.04968403954149713
1224.81/1205.37	c cleaning 37659 clauses out of 75338 for limit 8366.822485481423
1226.70/1207.10	c cleaning 24826 clauses out of 49679 for limit 2.077509816918486E9
1226.90/1207.36	c cleaning 12669 clauses out of 25353 for limit 6.713399014392948E9
1228.59/1208.95	c cleaning 11830 clauses out of 23683 for limit 4.322451254743198E14
1228.68/1209.05	c cleaning 6169 clauses out of 12355 for limit 1.3691435352804882E15
1230.18/1210.44	c cleaning 7836 clauses out of 15684 for limit 0.14448665134039063
1230.28/1210.51	c cleaning 4162 clauses out of 8348 for limit 0.4476700148542791
1231.77/1211.91	c cleaning 7331 clauses out of 14686 for limit 9289.889533718762
1231.77/1211.99	c cleaning 3915 clauses out of 7855 for limit 28643.347463981754
1233.46/1213.56	c cleaning 8220 clauses out of 16440 for limit 3.6954329149254003E9
1233.56/1213.61	c cleaning 4349 clauses out of 8720 for limit 1.1489643086352407E10
1233.56/1213.68	c cleaning 2428 clauses out of 4872 for limit 3.3947370641445293E10
1235.14/1215.17	c cleaning 7212 clauses out of 14445 for limit 1.876599842411768E15
1235.24/1215.23	c cleaning 3862 clauses out of 7731 for limit 5.7708583171915926E-5
1236.91/1216.80	c cleaning 8172 clauses out of 16369 for limit 7.359547483305492
1236.91/1216.87	c cleaning 4339 clauses out of 8698 for limit 22.86358117030906
1238.79/1218.61	c cleaning 8918 clauses out of 17860 for limit 8185131.586133512
1238.90/1218.72	c cleaning 4711 clauses out of 9441 for limit 2.5510002300849847E7
1238.90/1218.77	c cleaning 2600 clauses out of 5229 for limit 7.588068256518577E7
1240.67/1220.42	c cleaning 8055 clauses out of 16129 for limit 1.8065557899827008E13
1240.67/1220.49	c cleaning 4287 clauses out of 8574 for limit 5.6044271426122125E13
1240.77/1220.55	c cleaning 2393 clauses out of 4787 for limit 1.6554160685276197E14
1242.48/1222.13	c cleaning 7439 clauses out of 14894 for limit 0.14366680037091006
1242.57/1222.21	c cleaning 3965 clauses out of 7956 for limit 0.4439799862990856
1242.57/1222.26	c cleaning 2237 clauses out of 4490 for limit 1.296084157581091
1244.15/1223.74	c cleaning 6867 clauses out of 13753 for limit 42011.433569363704
1244.25/1223.82	c cleaning 3685 clauses out of 7387 for limit 129118.13490965025
1244.25/1223.88	c cleaning 2091 clauses out of 4202 for limit 374330.4721778647
1246.23/1225.72	c cleaning 9305 clauses out of 18610 for limit 1.2473106097958938E12
1246.33/1225.80	c cleaning 4891 clauses out of 9806 for limit 3.907684565588851E12
1246.33/1225.85	c cleaning 2696 clauses out of 5415 for limit 1.1669945141132686E13
1246.43/1225.90	c cleaning 1597 clauses out of 3219 for limit 3.2374434101286133E13
1248.13/1227.56	c cleaning 8301 clauses out of 16621 for limit 0.20630421990367562
1248.23/1227.63	c cleaning 4402 clauses out of 8820 for limit 0.6411395422909479
1248.23/1227.69	c cleaning 2452 clauses out of 4918 for limit 1.8962190729154236
1249.99/1229.35	c cleaning 7972 clauses out of 15966 for limit 428933.3943341154
1250.09/1229.43	c cleaning 4237 clauses out of 8495 for limit 1330800.636112707
1251.68/1230.99	c cleaning 7870 clauses out of 15758 for limit 7.122962993934612E10
1251.78/1231.06	c cleaning 4185 clauses out of 8387 for limit 2.2048371426798074E11
1253.46/1232.69	c cleaning 8345 clauses out of 16702 for limit 2.989591536105206E-4
1253.56/1232.76	c cleaning 4421 clauses out of 8858 for limit 9.305400238371243E-4
1255.84/1234.93	c cleaning 10211 clauses out of 20437 for limit 3612.7837995503587
1255.94/1235.03	c cleaning 5357 clauses out of 10728 for limit 11372.74400331236
1255.94/1235.09	c cleaning 2927 clauses out of 5869 for limit 34214.23092084128
1257.83/1236.82	c cleaning 8209 clauses out of 16441 for limit 8.960187543341776E9
1257.93/1236.90	c cleaning 4355 clauses out of 8732 for limit 2.7821945091662186E10
1259.50/1238.49	c cleaning 8178 clauses out of 16377 for limit 2.4288917256485545E15
1259.61/1238.55	c cleaning 4341 clauses out of 8699 for limit 7.541002080184813E-5
1259.71/1238.61	c cleaning 2425 clauses out of 4858 for limit 2.2268797598071932E-4
1261.31/1240.15	c cleaning 7207 clauses out of 14433 for limit 12.272667129091317
1261.41/1240.23	c cleaning 3850 clauses out of 7726 for limit 37.80913571357621
1263.13/1241.89	c cleaning 8430 clauses out of 16877 for limit 7715139.396648171
1263.23/1241.97	c cleaning 4463 clauses out of 8947 for limit 2.4000344595614742E7
1263.32/1242.03	c cleaning 2483 clauses out of 4983 for limit 7.099461407887256E7
1265.02/1243.61	c cleaning 7245 clauses out of 14501 for limit 3.9984727200723853E12
1265.02/1243.68	c cleaning 3871 clauses out of 7756 for limit 1.2328498211490012E13
1265.12/1243.75	c cleaning 2192 clauses out of 4384 for limit 3.593344093907613E13
1267.09/1245.60	c cleaning 9088 clauses out of 18192 for limit 0.7756705254374676
1267.09/1245.68	c cleaning 4796 clauses out of 9605 for limit 2.4252179056014547
1267.19/1245.74	c cleaning 2648 clauses out of 5308 for limit 7.2300049769208155
1269.09/1247.56	c cleaning 9319 clauses out of 18660 for limit 1.842240201663214E7
1269.19/1247.64	c cleaning 4911 clauses out of 9842 for limit 5.765871147808636E7
1269.29/1247.70	c cleaning 2707 clauses out of 5432 for limit 1.7245624711377913E8
1269.29/1247.75	c cleaning 1604 clauses out of 3223 for limit 4.783714476870835E8
1271.27/1249.60	c cleaning 9060 clauses out of 18120 for limit 1.2581897576754118E15
1271.27/1249.68	c cleaning 4775 clauses out of 9559 for limit 3.9292824859140735E15
1271.37/1249.74	c cleaning 2640 clauses out of 5284 for limit 1.1722460880741514E-4
1271.37/1249.78	c cleaning 1566 clauses out of 3146 for limit 3.2534773928188834E-4
1273.14/1251.42	c cleaning 7531 clauses out of 15080 for limit 49.84414139439364
1273.14/1251.48	c cleaning 4015 clauses out of 8048 for limit 153.86819825846845
1273.24/1251.54	c cleaning 2257 clauses out of 4533 for limit 450.51266447085425
1273.24/1251.59	c cleaning 1374 clauses out of 2775 for limit 1212.4144697422346
1275.12/1253.33	c cleaning 7943 clauses out of 15901 for limit 4.225814062580504E8
1275.22/1253.41	c cleaning 4221 clauses out of 8459 for limit 1.31131248280607E9
1275.22/1253.47	c cleaning 2360 clauses out of 4738 for limit 3.860877755021914E9
1277.01/1255.11	c cleaning 7681 clauses out of 15377 for limit 5.2921000172763056E14
1277.01/1255.18	c cleaning 4083 clauses out of 8196 for limit 1.637395509896182E15
1277.10/1255.25	c cleaning 2297 clauses out of 4613 for limit 4.797643540631531E15
1278.98/1257.07	c cleaning 8648 clauses out of 17317 for limit 42.13566931274049
1279.08/1257.15	c cleaning 4573 clauses out of 9169 for limit 131.23705260031207
1279.18/1257.21	c cleaning 2542 clauses out of 5096 for limit 389.4080351192957
1279.18/1257.26	c cleaning 1516 clauses out of 3053 for limit 1070.8506357633298
1281.06/1259.06	c cleaning 8269 clauses out of 16538 for limit 6.517541986384498E8
1281.16/1259.13	c cleaning 4379 clauses out of 8768 for limit 2.0252920562403712E9
1281.16/1259.18	c cleaning 2439 clauses out of 4889 for limit 5.989961764373828E9
1281.26/1259.22	c cleaning 1465 clauses out of 2950 for limit 1.637110366196301E10
1281.26/1259.27	c cleaning 982 clauses out of 1985 for limit 4.01231803907536E10
1283.15/1261.04	c cleaning 7495 clauses out of 15003 for limit 6.428987604810092E-5
1283.25/1261.12	c cleaning 3998 clauses out of 8008 for limit 1.9863351149530922E-4
1283.25/1261.18	c cleaning 2245 clauses out of 4511 for limit 5.82095385395947E-4
1283.35/1261.23	c cleaning 1372 clauses out of 2766 for limit 0.0015655635260609574
1285.22/1263.00	c cleaning 8188 clauses out of 16394 for limit 869.990579572765
1285.22/1263.07	c cleaning 4343 clauses out of 8705 for limit 2699.3057545411434
1285.32/1263.13	c cleaning 2421 clauses out of 4862 for limit 7970.0636272777865
1285.32/1263.19	c cleaning 1456 clauses out of 2941 for limit 21728.893209835136
1285.42/1263.25	c cleaning 980 clauses out of 1985 for limit 53091.86799709845
1287.21/1264.92	c cleaning 7991 clauses out of 16006 for limit 2.1707850727029526E10
1287.21/1264.99	c cleaning 4247 clauses out of 8514 for limit 6.723375518879004E10
1287.31/1265.05	c cleaning 2372 clauses out of 4768 for limit 1.9818700121039856E11
1289.10/1266.78	c cleaning 8444 clauses out of 16896 for limit 0.001116987300565851
1289.20/1266.85	c cleaning 4467 clauses out of 8952 for limit 0.003476705861958798
1289.30/1266.91	c cleaning 2481 clauses out of 4984 for limit 0.010288009697289303
1289.30/1266.97	c cleaning 1492 clauses out of 3004 for limit 0.02817733199643825
1290.96/1268.56	c cleaning 7496 clauses out of 15011 for limit 4136.8008107758615
1291.06/1268.64	c cleaning 3995 clauses out of 8015 for limit 12776.932344559584
1291.06/1268.69	c cleaning 2250 clauses out of 4520 for limit 37363.5019224373
1291.16/1268.75	c cleaning 1375 clauses out of 2770 for limit 100545.38161596589
1292.96/1270.49	c cleaning 8448 clauses out of 16896 for limit 8.962414055559872E10
1293.06/1270.56	c cleaning 4464 clauses out of 8948 for limit 2.790864917980095E11
1293.15/1270.63	c cleaning 2481 clauses out of 4983 for limit 8.256486592293921E11
1293.15/1270.68	c cleaning 1490 clauses out of 3002 for limit 2.2601193122197676E12
1294.84/1272.28	c cleaning 7252 clauses out of 14513 for limit 0.00208387868699436
1294.94/1272.37	c cleaning 3873 clauses out of 7761 for limit 0.006426401151047628
1295.04/1272.44	c cleaning 2184 clauses out of 4387 for limit 0.01873006376976415
1296.72/1274.09	c cleaning 7842 clauses out of 15703 for limit 3842.671054236467
1296.82/1274.15	c cleaning 4169 clauses out of 8362 for limit 11912.312426600889
1296.92/1274.21	c cleaning 2330 clauses out of 4692 for limit 34975.957312969644
1296.92/1274.27	c cleaning 1418 clauses out of 2863 for limit 94622.98938868071
1298.61/1275.90	c cleaning 7222 clauses out of 14444 for limit 8.343515616650996E9
1298.72/1275.97	c cleaning 3861 clauses out of 7722 for limit 2.5737280314099197E10
1298.82/1276.04	c cleaning 2179 clauses out of 4361 for limit 7.515575642916492E10
1300.29/1277.47	c cleaning 5832 clauses out of 11682 for limit 3.766109891742021E14
1300.39/1277.54	c cleaning 3168 clauses out of 6351 for limit 1.143558736494633E15
1302.09/1279.14	c cleaning 7834 clauses out of 15682 for limit 1.2492857977249394
1302.20/1279.23	c cleaning 4168 clauses out of 8348 for limit 3.8702293218975496
1303.98/1280.91	c cleaning 8332 clauses out of 16681 for limit 523514.53490158415
1303.98/1280.98	c cleaning 4416 clauses out of 8849 for limit 1627468.2256119999
1304.08/1281.04	c cleaning 2458 clauses out of 4933 for limit 4814503.257509802
1304.18/1281.11	c cleaning 1476 clauses out of 2974 for limit 1.3156580016713284E7
1305.55/1282.50	c cleaning 5499 clauses out of 10998 for limit 4.775645853168738E10
1305.66/1282.58	c cleaning 2989 clauses out of 6000 for limit 1.4450569968643738E11
1307.34/1284.15	c cleaning 7246 clauses out of 14510 for limit 5.9267922528754946E-5
1307.44/1284.22	c cleaning 3877 clauses out of 7764 for limit 1.8266589842934932E-4
1307.44/1284.28	c cleaning 2185 clauses out of 4387 for limit 5.331277105534677E-4
1307.54/1284.34	c cleaning 1346 clauses out of 2704 for limit 0.0014292793339780057
1309.02/1285.79	c cleaning 5918 clauses out of 11856 for limit 11.876547623194416
1309.13/1285.87	c cleaning 3210 clauses out of 6440 for limit 36.12995730627463
1310.70/1287.38	c cleaning 6855 clauses out of 13728 for limit 617519.4610269029
1310.80/1287.46	c cleaning 3680 clauses out of 7374 for limit 1897777.0260515725
1310.90/1287.52	c cleaning 2087 clauses out of 4193 for limit 5498507.616682386
1312.48/1289.00	c cleaning 6541 clauses out of 13107 for limit 1.0600599332541821E11
1312.48/1289.07	c cleaning 3527 clauses out of 7065 for limit 3.2399844690529803E11
1312.59/1289.14	c cleaning 2011 clauses out of 4039 for limit 9.355599892191582E11
1314.17/1290.68	c cleaning 6507 clauses out of 13027 for limit 1.744600861721108E-4
1314.27/1290.76	c cleaning 3501 clauses out of 7020 for limit 5.3389920070133E-4
1316.17/1292.51	c cleaning 8997 clauses out of 18019 for limit 415.4190620051308
1316.17/1292.59	c cleaning 4749 clauses out of 9523 for limit 1297.578737699272
1316.26/1292.67	c cleaning 2628 clauses out of 5273 for limit 3860.7449207188556
1317.92/1294.20	c cleaning 6812 clauses out of 13645 for limit 8.982244122094795E7
1317.92/1294.28	c cleaning 3661 clauses out of 7334 for limit 2.758721677121755E8
1318.02/1294.33	c cleaning 2078 clauses out of 4172 for limit 7.989615300066992E8
1318.02/1294.39	c cleaning 1289 clauses out of 2594 for limit 2.119122601891186E9
1319.81/1296.04	c cleaning 7895 clauses out of 15806 for limit 6.952793209072124E14
1319.91/1296.11	c cleaning 4193 clauses out of 8410 for limit 2.152814796791542E15
1319.91/1296.17	c cleaning 2359 clauses out of 4718 for limit 6.334832378345596E15
1320.01/1296.22	c cleaning 1429 clauses out of 2858 for limit 1.7228688350794774E16
1321.69/1297.80	c cleaning 6958 clauses out of 13930 for limit 9.55421500230977
1321.69/1297.88	c cleaning 3726 clauses out of 7471 for limit 29.34869300321726
1321.79/1297.95	c cleaning 2111 clauses out of 4245 for limit 85.18158056389858
1323.46/1299.55	c cleaning 7559 clauses out of 15135 for limit 1.064948331701385E7
1323.56/1299.62	c cleaning 4028 clauses out of 8075 for limit 3.2884391278437834E7
1323.56/1299.68	c cleaning 2264 clauses out of 4547 for limit 9.630820108586635E7
1325.15/1301.19	c cleaning 6630 clauses out of 13284 for limit 1.9866592519108364E12
1325.25/1301.26	c cleaning 3565 clauses out of 7154 for limit 6.083579702686152E12
1325.35/1301.31	c cleaning 2033 clauses out of 4088 for limit 1.753955724444932E13
1325.35/1301.36	c cleaning 1272 clauses out of 2555 for limit 4.628012207373814E13
1327.03/1302.93	c cleaning 6882 clauses out of 13783 for limit 0.023165347499451337
1327.13/1303.05	c cleaning 3691 clauses out of 7401 for limit 0.07114560196770225
1327.13/1303.06	c cleaning 2096 clauses out of 4210 for limit 0.20625868933022062
1328.83/1304.62	c cleaning 7046 clauses out of 14114 for limit 10073.619081504372
1328.83/1304.69	c cleaning 3773 clauses out of 7568 for limit 30982.067897276207
1328.93/1304.75	c cleaning 2140 clauses out of 4295 for limit 90029.37674011078
1330.62/1306.38	c cleaning 7078 clauses out of 14156 for limit 4.476954264818215E9
1330.71/1306.45	c cleaning 3776 clauses out of 7577 for limit 1.377993914802112E10
1330.81/1306.51	c cleaning 2139 clauses out of 4301 for limit 4.0034188659991356E10
1332.39/1308.08	c cleaning 7575 clauses out of 15163 for limit 5.0617758918350174E-5
1332.49/1308.15	c cleaning 4037 clauses out of 8087 for limit 1.5635867449864858E-4
1332.59/1308.20	c cleaning 2264 clauses out of 4550 for limit 4.5830428057668806E-4
1332.59/1308.26	c cleaning 1380 clauses out of 2786 for limit 0.0012343550130363516
1334.27/1309.88	c cleaning 7444 clauses out of 14906 for limit 169.42169781667323
1334.37/1309.96	c cleaning 3969 clauses out of 7963 for limit 523.5327199293158
1334.47/1310.02	c cleaning 2237 clauses out of 4495 for limit 1531.021353663625
1336.04/1311.56	c cleaning 7122 clauses out of 14256 for limit 7.8883382002021E7
1336.14/1311.65	c cleaning 3812 clauses out of 7635 for limit 2.4314456492585024E8
1336.24/1311.72	c cleaning 2154 clauses out of 4322 for limit 7.076364908795404E8
1337.65/1313.07	c cleaning 5573 clauses out of 11168 for limit 2.2290794269955654E12
1337.75/1313.15	c cleaning 3047 clauses out of 6095 for limit 6.7357060485419E12
1339.34/1314.61	c cleaning 6521 clauses out of 13049 for limit 6.971590296200123E-4
1339.34/1314.68	c cleaning 3507 clauses out of 7028 for limit 0.002134682167064463
1339.44/1314.75	c cleaning 1999 clauses out of 4020 for limit 0.006148374278201964
1339.54/1314.81	c cleaning 1251 clauses out of 2521 for limit 0.016168487359061238
1341.03/1316.20	c cleaning 5624 clauses out of 11270 for limit 80.063774639853
1341.03/1316.28	c cleaning 3066 clauses out of 6146 for limit 242.11589857088669
1341.13/1316.36	c cleaning 1780 clauses out of 3580 for limit 685.4704297518371
1342.71/1317.82	c cleaning 6391 clauses out of 12801 for limit 1.1552923024235336E7
1342.81/1317.90	c cleaning 3447 clauses out of 6909 for limit 3.526484341691757E7
1342.81/1317.97	c cleaning 1973 clauses out of 3962 for limit 1.0141415311504658E8
1342.91/1318.03	c cleaning 1237 clauses out of 2491 for limit 2.6654112261348066E8
1344.49/1319.59	c cleaning 6865 clauses out of 13752 for limit 1.3010687268576248E13
1344.59/1319.66	c cleaning 3694 clauses out of 7389 for limit 4.0013389877661305E13
1346.19/1321.18	c cleaning 7585 clauses out of 15193 for limit 0.019282522736651937
1346.29/1321.25	c cleaning 4042 clauses out of 8109 for limit 0.05963901861323218
1346.39/1321.31	c cleaning 2274 clauses out of 4567 for limit 0.17463153206776777
1346.39/1321.36	c cleaning 1384 clauses out of 2793 for limit 0.4709107742763843
1348.19/1323.02	c cleaning 6943 clauses out of 13908 for limit 25509.828811333664
1348.29/1323.11	c cleaning 3719 clauses out of 7465 for limit 78378.74425716244
1348.29/1323.17	c cleaning 2110 clauses out of 4246 for limit 227250.062010257
1349.86/1324.68	c cleaning 7310 clauses out of 14636 for limit 1.780158919418721E10
1349.96/1324.74	c cleaning 3906 clauses out of 7827 for limit 5.4951081014239136E10
1350.06/1324.80	c cleaning 2203 clauses out of 4420 for limit 1.6031371568170508E11
1350.06/1324.86	c cleaning 1359 clauses out of 2718 for limit 4.303619789273873E11
1351.74/1326.50	c cleaning 7177 clauses out of 14358 for limit 3.6241648983289235E-4
1351.85/1326.58	c cleaning 3834 clauses out of 7682 for limit 0.0011181961552363404
1351.95/1326.65	c cleaning 2166 clauses out of 4347 for limit 0.0032555474718335077
1352.04/1326.70	c cleaning 1331 clauses out of 2681 for limit 0.008705079581070356
1353.84/1328.45	c cleaning 6917 clauses out of 13850 for limit 455.005830251044
1353.94/1328.53	c cleaning 3708 clauses out of 7433 for limit 1398.165202327185
1354.04/1328.60	c cleaning 2107 clauses out of 4225 for limit 4056.502945750756
1355.74/1330.25	c cleaning 7053 clauses out of 14118 for limit 1.9876806945332253E8
1355.84/1330.32	c cleaning 3774 clauses out of 7565 for limit 6.117398212328871E8
1355.84/1330.37	c cleaning 2140 clauses out of 4292 for limit 1.779944126189582E9
1355.94/1330.42	c cleaning 1316 clauses out of 2651 for limit 4.747639456279548E9
1357.62/1332.07	c cleaning 6909 clauses out of 13835 for limit 2.4564360930590425E14
1357.72/1332.14	c cleaning 3703 clauses out of 7426 for limit 7.547195075989332E14
1357.72/1332.20	c cleaning 2104 clauses out of 4223 for limit 2.1886450084034805E15
1357.81/1332.25	c cleaning 1309 clauses out of 2619 for limit 5.819917066722229E15
1359.32/1333.69	c cleaning 6150 clauses out of 12311 for limit 0.7461445808707746
1359.42/1333.77	c cleaning 3325 clauses out of 6660 for limit 2.272288478915612
1359.52/1333.83	c cleaning 1909 clauses out of 3835 for limit 6.5077103439601345
1361.03/1335.20	c cleaning 5953 clauses out of 11926 for limit 46325.116251727275
1361.03/1335.27	c cleaning 3228 clauses out of 6473 for limit 140754.2778177222
1361.13/1335.34	c cleaning 1867 clauses out of 3746 for limit 401503.96236648655
1361.13/1335.40	c cleaning 1182 clauses out of 2378 for limit 1041998.5955351522
1362.71/1336.83	c cleaning 6342 clauses out of 12697 for limit 1.939535697461052E10
1362.81/1336.90	c cleaning 3417 clauses out of 6854 for limit 5.91937933488152E10
1362.81/1336.96	c cleaning 1963 clauses out of 3940 for limit 1.7032699035944382E11
1364.39/1338.41	c cleaning 6732 clauses out of 13474 for limit 4.930205448282733E-5
1364.39/1338.48	c cleaning 3617 clauses out of 7242 for limit 1.5127213166235301E-4
1364.49/1338.55	c cleaning 2058 clauses out of 4125 for limit 4.37975060647965E-4
1366.10/1340.01	c cleaning 6779 clauses out of 13568 for limit 13.233581988526915
1366.10/1340.09	c cleaning 3637 clauses out of 7288 for limit 40.58880438285379
1366.20/1340.15	c cleaning 2067 clauses out of 4152 for limit 117.61092792540792
1366.30/1340.21	c cleaning 1284 clauses out of 2585 for limit 311.5303484781915
1734.71/1702.24	c cleaning 459886 clauses out of 919800 for limit 0.10987463025083656
1800.01/1767.44	c starts		: 168
1800.01/1767.44	c conflicts		: 5042643
1800.01/1767.44	c decisions		: 6712865
1800.01/1767.44	c propagations		: 118997693
1800.01/1767.44	c inspects		: 2948057927
1800.01/1767.44	c learnt literals	: 0
1800.01/1767.44	c learnt binary clauses	: 0
1800.01/1767.44	c learnt ternary clauses	: 0
1800.01/1767.44	c learnt clauses	: 5042643
1800.01/1767.44	c root simplifications	: 0
1800.01/1767.44	c removed literals (reason simplification)	: 0
1800.01/1767.44	c reason swapping (by a shorter reason)	: 0
1800.01/1767.44	c Calls to reduceDB	: 277
1800.01/1767.44	c speed (decisions/second)	: 3992.9032791477985
1800.01/1767.44	c non guided choices	16
1800.01/1767.44	s SATISFIABLE
1800.01/1767.44	v x1 x2 x3 x4 -x5 x6 x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 -x17 x18 -x19 -x20 -x21 -x22 x23 x24 x25 -x26 x27 x28 x29 -x30 -x31 -x32 -x33 x34 x35 x36 x37 -x38 -x39 x40 -x41 x42 -x43 x44 x45 x46 -x47 x48 -x49 x50 x51 -x52 -x53 -x54 x55 x56 x57 x58 x59 -x60 x61 x62 -x63 x64 x65 x66 x67 -x68 -x69 -x70 x71 x72 x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 x82 -x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 x107 -x108 x109 x110 x111 -x112 x113 -x114 x115 x116 x117 -x118 x119 x120 -x121 -x122 -x123 x124 -x125 x126 x127 x128 -x129 x130 x131 x132 x133 -x134 -x135 x136 -x137 -x138 x139 x140 x141 -x142 -x143 -x144 x145 x146 -x147 x148 x149 -x150 x151 x152 x153 x154 -x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 x180 x181 x182 x183 -x184 x185 x186 -x187 -x188 x189 -x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 x211 x212 -x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 x230 x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 x263 -x264 x265 x266 -x267 x268 x269 -x270 -x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 x290 x291 -x292 -x293 x294 -x295 x296 -x297 x298 x299 -x300 -x301 -x302 x303 x304 -x305 x306 -x307 -x308 -x309 -x310 x311 x312 -x313 -x314 -x315 x316 x317 -x318 -x319 -x320 -x321 -x322 x323 x324 -x325 -x326 -x327 x328 -x329 x330 x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 x340 x341 x342 x343 x344 -x345 -x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 x355 -x356 -x357 x358 x359 -x360 -x361 x362 x363 x364 -x365 -x366 -x367 -x368 x369 x370 -x371 x372 x373 -x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 x394 -x395 -x396 x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 x406 x407 -x408 x409 x410 -x411 x412 -x413 -x414 -x415 x416 x417 -x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 x435 x436 -x437 x438 -x439 -x440 -x441 -x442 x443 x444 x445 -x446 x447 x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 
1800.01/1767.44	c objective function=208
1800.01/1767.44	c Total wall clock time (ms): 1767.323

Verifier Data 

OK	208

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731505-1338686276/watcher-3731505-1338686276 -o /tmp/evaluation-result-3731505-1338686276/solver-3731505-1338686276 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731505-1338686276.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 8751
/proc/meminfo: memFree=27524800/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/8751/stat : 8751 (java) D 8749 8751 6422 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 334752431 2560000 46 33554432000 1073741824 1073778376 140733953849344 140733953846472 215115459879 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/8751/statm: 625 46 37 9 0 29 0

[startup+0.02866 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 8751
/proc/meminfo: memFree=27524800/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=1880456 CPUtime=0 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 1820 0 1 0 0 0 0 0 20 0 2 0 334752431 1925586944 2012 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 470114 2029 942 9 0 461223 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1880456

[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 8751
/proc/meminfo: memFree=27524800/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 4128 0 1 0 6 1 0 0 20 0 18 0 334752431 3028844544 5846 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 8751
/proc/meminfo: memFree=27524800/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 6805 0 1 0 43 2 0 0 20 0 19 0 334752431 3097006080 9460 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 9460 2253 9 0 746526 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 3024420

[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 8751
/proc/meminfo: memFree=27524800/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 8062 0 1 0 102 4 0 0 20 0 19 0 334752431 3097006080 33196 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 33196 2262 9 0 746526 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 3024420

[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 1.99 3/216 8775
/proc/meminfo: memFree=27316644/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 8217 0 1 0 186 9 0 0 20 0 19 0 334752431 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 90063 2267 9 0 746526 0
[pid=8751/tid=8753] ppid=8749 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/8751/task/8753/stat : 8753 (java) R 8749 8751 6422 0 -1 4202560 3225 0 1 0 137 8 0 0 20 0 19 0 334752432 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726669787456 140726499764571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8754] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8754/stat : 8754 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726653212840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8755] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8755/stat : 8755 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726652160296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8756] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8756/stat : 8756 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726651107752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8757] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8757/stat : 8757 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726650055208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8758] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8758/stat : 8758 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726649002664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8759] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8759/stat : 8759 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726647950120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8760] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8760/stat : 8760 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726646897576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8761] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8761/stat : 8761 (java) S 8749 8751 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726645845032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8762] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8762/stat : 8762 (java) S 8749 8751 6422 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334752435 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726633433192 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8763] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8763/stat : 8763 (java) S 8749 8751 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726632379512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8764] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8764/stat : 8764 (java) S 8749 8751 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726631326856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8765] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8765/stat : 8765 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726630275600 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8766] ppid=8749 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/8751/task/8766/stat : 8766 (java) S 8749 8751 6422 0 -1 4202560 1689 0 0 0 21 0 0 0 20 0 19 0 334752439 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726629222968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8767] ppid=8749 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/8751/task/8767/stat : 8767 (java) S 8749 8751 6422 0 -1 4202560 2094 0 0 0 25 0 0 0 20 0 19 0 334752439 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726628170424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8768] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8768/stat : 8768 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726627118072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8769] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8769/stat : 8769 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 90063 33554432000 1073741824 1073778376 140733464712848 140726626065736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 3024420

[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 1.99 3/216 8776
/proc/meminfo: memFree=27074020/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=3.64 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 8355 0 1 0 349 15 0 0 20 0 19 0 334752431 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 122338 2279 9 0 746526 0
[pid=8751/tid=8753] ppid=8749 vsize=3024420 CPUtime=3.01 cores=1,3,5,7
/proc/8751/task/8753/stat : 8753 (java) R 8749 8751 6422 0 -1 4202560 3269 0 1 0 292 9 0 0 20 0 19 0 334752432 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726669786440 140726499344277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8754] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8754/stat : 8754 (java) S 8749 8751 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726653212840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8755] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8755/stat : 8755 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726652160296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8756] ppid=8749 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/8751/task/8756/stat : 8756 (java) S 8749 8751 6422 0 -1 4202560 15 0 0 0 0 1 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726651107752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8757] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8757/stat : 8757 (java) S 8749 8751 6422 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726650055208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8758] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8758/stat : 8758 (java) S 8749 8751 6422 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726649002664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8759] ppid=8749 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/8751/task/8759/stat : 8759 (java) S 8749 8751 6422 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726647950120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8760] ppid=8749 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/8751/task/8760/stat : 8760 (java) S 8749 8751 6422 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726646897576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8761] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8761/stat : 8761 (java) S 8749 8751 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334752434 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726645845032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8762] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8762/stat : 8762 (java) S 8749 8751 6422 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334752435 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726633433192 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8763] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8763/stat : 8763 (java) S 8749 8751 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726632379512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8764] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8764/stat : 8764 (java) S 8749 8751 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726631326856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8765] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8765/stat : 8765 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726630275600 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8766] ppid=8749 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/8751/task/8766/stat : 8766 (java) S 8749 8751 6422 0 -1 4202560 1689 0 0 0 21 0 0 0 20 0 19 0 334752439 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726629222968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8767] ppid=8749 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/8751/task/8767/stat : 8767 (java) S 8749 8751 6422 0 -1 4202560 2094 0 0 0 25 0 0 0 20 0 19 0 334752439 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726628170424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8768] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8768/stat : 8768 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726627118072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8769] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8769/stat : 8769 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726626065736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8776] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8776/stat : 8776 (java) S 8749 8751 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334752555 3097006080 122338 33554432000 1073741824 1073778376 140733464712848 140726623864360 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 2.00 2.00 1.99 3/216 8778
/proc/meminfo: memFree=27017848/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=7.08 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 8882 0 1 0 684 24 0 0 20 0 19 0 334752431 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 134607 2281 9 0 746526 0
[pid=8751/tid=8753] ppid=8749 vsize=3024420 CPUtime=6.13 cores=1,3,5,7
/proc/8751/task/8753/stat : 8753 (java) R 8749 8751 6422 0 -1 4202560 3274 0 1 0 604 9 0 0 20 0 19 0 334752432 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726669785552 140726499884977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8754] ppid=8749 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/8751/task/8754/stat : 8754 (java) S 8749 8751 6422 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726653212840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8755] ppid=8749 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/8751/task/8755/stat : 8755 (java) S 8749 8751 6422 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726652160296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8756] ppid=8749 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/8751/task/8756/stat : 8756 (java) S 8749 8751 6422 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726651107752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8757] ppid=8749 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/8751/task/8757/stat : 8757 (java) S 8749 8751 6422 0 -1 4202560 25 0 0 0 1 1 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726650055208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8758] ppid=8749 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/8751/task/8758/stat : 8758 (java) S 8749 8751 6422 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726649002664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8759] ppid=8749 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/8751/task/8759/stat : 8759 (java) S 8749 8751 6422 0 -1 4202560 46 0 0 0 4 3 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726647950120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8760] ppid=8749 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/8751/task/8760/stat : 8760 (java) S 8749 8751 6422 0 -1 4202560 36 0 0 0 2 2 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726646897576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8761] ppid=8749 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/8751/task/8761/stat : 8761 (java) S 8749 8751 6422 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 19 0 334752434 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726645845032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8762] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8762/stat : 8762 (java) S 8749 8751 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 334752435 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726633433192 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8763] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8763/stat : 8763 (java) S 8749 8751 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726632379512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8764] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8764/stat : 8764 (java) S 8749 8751 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726631326856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8765] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8765/stat : 8765 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726630275600 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8766] ppid=8749 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/8751/task/8766/stat : 8766 (java) S 8749 8751 6422 0 -1 4202560 1689 0 0 0 21 0 0 0 20 0 19 0 334752439 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726629222968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8767] ppid=8749 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/8751/task/8767/stat : 8767 (java) S 8749 8751 6422 0 -1 4202560 2509 0 0 0 30 1 0 0 20 0 19 0 334752439 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726628170424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8768] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8768/stat : 8768 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726627118072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8769] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8769/stat : 8769 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726626065736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8778] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8778/stat : 8778 (java) S 8749 8751 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334752899 3097006080 134607 33554432000 1073741824 1073778376 140733464712848 140726623863592 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.99 3/216 8779
/proc/meminfo: memFree=26896196/32873844 swapFree=7620/7620

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

[pid=8751/tid=8766] ppid=8749 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/8751/task/8766/stat : 8766 (java) S 8749 8751 6422 0 -1 4202560 2624 0 0 0 36 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726629222968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8767] ppid=8749 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/8751/task/8767/stat : 8767 (java) S 8749 8751 6422 0 -1 4202560 2513 0 0 0 38 1 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726628170424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8768] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8768/stat : 8768 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726627118072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8769] ppid=8749 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/8751/task/8769/stat : 8769 (java) S 8749 8751 6422 0 -1 4202560 93 0 0 0 40 35 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726626065736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8785] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8785/stat : 8785 (java) S 8749 8751 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334761056 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726623864488 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1634.81
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 8859
/proc/meminfo: memFree=26297352/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=1694.81 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 14175 0 1 0 169270 211 0 0 20 0 19 0 334752431 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 419323 2299 9 0 746526 0
[pid=8751/tid=8753] ppid=8749 vsize=3024420 CPUtime=1645.48 cores=1,3,5,7
/proc/8751/task/8753/stat : 8753 (java) R 8749 8751 6422 0 -1 4202560 3660 0 1 0 164511 37 0 0 20 0 19 0 334752432 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726669786448 140726500076224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8754] ppid=8749 vsize=3024420 CPUtime=5.06 cores=1,3,5,7
/proc/8751/task/8754/stat : 8754 (java) S 8749 8751 6422 0 -1 4202560 498 0 0 0 486 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726653212840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8755] ppid=8749 vsize=3024420 CPUtime=5.52 cores=1,3,5,7
/proc/8751/task/8755/stat : 8755 (java) S 8749 8751 6422 0 -1 4202560 473 0 0 0 532 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726652160296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8756] ppid=8749 vsize=3024420 CPUtime=5.23 cores=1,3,5,7
/proc/8751/task/8756/stat : 8756 (java) S 8749 8751 6422 0 -1 4202560 490 0 0 0 505 18 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726651107752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8757] ppid=8749 vsize=3024420 CPUtime=5.47 cores=1,3,5,7
/proc/8751/task/8757/stat : 8757 (java) S 8749 8751 6422 0 -1 4202560 529 0 0 0 525 22 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726650055208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8758] ppid=8749 vsize=3024420 CPUtime=5.28 cores=1,3,5,7
/proc/8751/task/8758/stat : 8758 (java) S 8749 8751 6422 0 -1 4202560 441 0 0 0 513 15 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726649002664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8759] ppid=8749 vsize=3024420 CPUtime=5.52 cores=1,3,5,7
/proc/8751/task/8759/stat : 8759 (java) S 8749 8751 6422 0 -1 4202560 490 0 0 0 533 19 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726647950120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8760] ppid=8749 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/8751/task/8760/stat : 8760 (java) S 8749 8751 6422 0 -1 4202560 522 0 0 0 522 22 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726646897576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8761] ppid=8749 vsize=3024420 CPUtime=5.36 cores=1,3,5,7
/proc/8751/task/8761/stat : 8761 (java) S 8749 8751 6422 0 -1 4202560 503 0 0 0 516 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726645845032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8762] ppid=8749 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/8751/task/8762/stat : 8762 (java) S 8749 8751 6422 0 -1 4202560 107 0 0 0 70 5 0 0 20 0 19 0 334752435 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726633433192 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8763] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8763/stat : 8763 (java) S 8749 8751 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726632379512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8764] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8764/stat : 8764 (java) S 8749 8751 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726631326856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8765] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8765/stat : 8765 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726630275600 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8766] ppid=8749 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/8751/task/8766/stat : 8766 (java) S 8749 8751 6422 0 -1 4202560 2624 0 0 0 36 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726629222968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8767] ppid=8749 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/8751/task/8767/stat : 8767 (java) S 8749 8751 6422 0 -1 4202560 2513 0 0 0 38 1 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726628170424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8768] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8768/stat : 8768 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726627118072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8769] ppid=8749 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/8751/task/8769/stat : 8769 (java) S 8749 8751 6422 0 -1 4202560 95 0 0 0 40 36 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726626065736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8785] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8785/stat : 8785 (java) S 8749 8751 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334761056 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726623864488 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1694.81
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 8859
/proc/meminfo: memFree=25835560/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=1754.9 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 14182 0 1 0 175278 212 0 0 20 0 19 0 334752431 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 419323 2299 9 0 746526 0
[pid=8751/tid=8753] ppid=8749 vsize=3024420 CPUtime=1705.29 cores=1,3,5,7
/proc/8751/task/8753/stat : 8753 (java) R 8749 8751 6422 0 -1 4202560 3661 0 1 0 170492 37 0 0 20 0 19 0 334752432 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726669786320 140726499547036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8754] ppid=8749 vsize=3024420 CPUtime=5.07 cores=1,3,5,7
/proc/8751/task/8754/stat : 8754 (java) S 8749 8751 6422 0 -1 4202560 498 0 0 0 487 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726653212840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8755] ppid=8749 vsize=3024420 CPUtime=5.54 cores=1,3,5,7
/proc/8751/task/8755/stat : 8755 (java) S 8749 8751 6422 0 -1 4202560 473 0 0 0 534 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726652160296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8756] ppid=8749 vsize=3024420 CPUtime=5.25 cores=1,3,5,7
/proc/8751/task/8756/stat : 8756 (java) S 8749 8751 6422 0 -1 4202560 490 0 0 0 507 18 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726651107752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8757] ppid=8749 vsize=3024420 CPUtime=5.48 cores=1,3,5,7
/proc/8751/task/8757/stat : 8757 (java) S 8749 8751 6422 0 -1 4202560 529 0 0 0 526 22 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726650055208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8758] ppid=8749 vsize=3024420 CPUtime=5.3 cores=1,3,5,7
/proc/8751/task/8758/stat : 8758 (java) S 8749 8751 6422 0 -1 4202560 441 0 0 0 515 15 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726649002664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8759] ppid=8749 vsize=3024420 CPUtime=5.54 cores=1,3,5,7
/proc/8751/task/8759/stat : 8759 (java) S 8749 8751 6422 0 -1 4202560 490 0 0 0 535 19 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726647950120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8760] ppid=8749 vsize=3024420 CPUtime=5.45 cores=1,3,5,7
/proc/8751/task/8760/stat : 8760 (java) S 8749 8751 6422 0 -1 4202560 522 0 0 0 523 22 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726646897576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8761] ppid=8749 vsize=3024420 CPUtime=5.38 cores=1,3,5,7
/proc/8751/task/8761/stat : 8761 (java) S 8749 8751 6422 0 -1 4202560 503 0 0 0 518 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726645845032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8762] ppid=8749 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/8751/task/8762/stat : 8762 (java) S 8749 8751 6422 0 -1 4202560 109 0 0 0 70 5 0 0 20 0 19 0 334752435 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726633433192 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8763] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8763/stat : 8763 (java) S 8749 8751 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726632379512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8764] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8764/stat : 8764 (java) S 8749 8751 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726631326856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8765] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8765/stat : 8765 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726630275600 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8766] ppid=8749 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/8751/task/8766/stat : 8766 (java) S 8749 8751 6422 0 -1 4202560 2624 0 0 0 36 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726629222968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8767] ppid=8749 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/8751/task/8767/stat : 8767 (java) S 8749 8751 6422 0 -1 4202560 2513 0 0 0 38 1 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726628170424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8768] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8768/stat : 8768 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726627118072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8769] ppid=8749 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/8751/task/8769/stat : 8769 (java) S 8749 8751 6422 0 -1 4202560 99 0 0 0 41 37 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726626065736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8785] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8785/stat : 8785 (java) S 8749 8751 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334761056 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726623864488 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1754.9
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1767.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 8859
/proc/meminfo: memFree=25835560/32873844 swapFree=7620/7620
[pid=8751] ppid=8749 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/8751/stat : 8751 (java) S 8749 8751 6422 0 -1 4202496 14184 0 1 0 179788 213 0 0 20 0 19 0 334752431 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140733464703984 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8751/statm: 756105 419323 2299 9 0 746526 0
[pid=8751/tid=8753] ppid=8749 vsize=3024420 CPUtime=1750.28 cores=1,3,5,7
/proc/8751/task/8753/stat : 8753 (java) R 8749 8751 6422 0 -1 4202560 3661 0 1 0 174990 38 0 0 20 0 19 0 334752432 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726669786320 140726500076224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8754] ppid=8749 vsize=3024420 CPUtime=5.07 cores=1,3,5,7
/proc/8751/task/8754/stat : 8754 (java) S 8749 8751 6422 0 -1 4202560 498 0 0 0 487 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726653212840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8755] ppid=8749 vsize=3024420 CPUtime=5.54 cores=1,3,5,7
/proc/8751/task/8755/stat : 8755 (java) S 8749 8751 6422 0 -1 4202560 473 0 0 0 534 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726652160296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8756] ppid=8749 vsize=3024420 CPUtime=5.25 cores=1,3,5,7
/proc/8751/task/8756/stat : 8756 (java) S 8749 8751 6422 0 -1 4202560 490 0 0 0 507 18 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726651107752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8757] ppid=8749 vsize=3024420 CPUtime=5.48 cores=1,3,5,7
/proc/8751/task/8757/stat : 8757 (java) S 8749 8751 6422 0 -1 4202560 529 0 0 0 526 22 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726650055208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8758] ppid=8749 vsize=3024420 CPUtime=5.3 cores=1,3,5,7
/proc/8751/task/8758/stat : 8758 (java) S 8749 8751 6422 0 -1 4202560 441 0 0 0 515 15 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726649002664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8751/tid=8759] ppid=8749 vsize=3024420 CPUtime=5.54 cores=1,3,5,7
/proc/8751/task/8759/stat : 8759 (java) S 8749 8751 6422 0 -1 4202560 490 0 0 0 535 19 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726647950120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8760] ppid=8749 vsize=3024420 CPUtime=5.45 cores=1,3,5,7
/proc/8751/task/8760/stat : 8760 (java) S 8749 8751 6422 0 -1 4202560 522 0 0 0 523 22 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726646897576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8761] ppid=8749 vsize=3024420 CPUtime=5.38 cores=1,3,5,7
/proc/8751/task/8761/stat : 8761 (java) S 8749 8751 6422 0 -1 4202560 503 0 0 0 518 20 0 0 20 0 19 0 334752434 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726645845032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8762] ppid=8749 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/8751/task/8762/stat : 8762 (java) S 8749 8751 6422 0 -1 4202560 109 0 0 0 70 5 0 0 20 0 19 0 334752435 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726633433192 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8763] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8763/stat : 8763 (java) S 8749 8751 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726632379512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8764] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8764/stat : 8764 (java) S 8749 8751 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334752436 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726631326856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8765] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8765/stat : 8765 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726630275600 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8766] ppid=8749 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/8751/task/8766/stat : 8766 (java) S 8749 8751 6422 0 -1 4202560 2624 0 0 0 36 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726629222968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8751/tid=8767] ppid=8749 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/8751/task/8767/stat : 8767 (java) S 8749 8751 6422 0 -1 4202560 2513 0 0 0 38 1 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726628170424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8768] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8768/stat : 8768 (java) S 8749 8751 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726627118072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8751/tid=8769] ppid=8749 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/8751/task/8769/stat : 8769 (java) S 8749 8751 6422 0 -1 4202560 101 0 0 0 41 37 0 0 20 0 19 0 334752439 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726626065736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8751/tid=8785] ppid=8749 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8751/task/8785/stat : 8785 (java) S 8749 8751 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334761056 3097006080 419323 33554432000 1073741824 1073778376 140733464712848 140726623864488 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8751 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=438355
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=503619
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1767.46
CPU time (s): 1800.01
CPU user time (s): 1797.88
CPU system time (s): 2.13
CPU usage (%): 101.842
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.44
system time used= 2.50362
maximum resident set size= 1677408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14217
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50207
involuntary context switches= 74156

runsolver used 7.59085 second user time and 14.1329 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 03:17:56
IDJOB=3731505
IDBENCH=1960
IDSOLVER=2319
FILE ID=node135/3731505-1338686276
RUNJOBID= node135-1338678628-6442
PBS_JOBID= 14636678
Free space on /tmp= 70976 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731505-1338686276/watcher-3731505-1338686276 -o /tmp/evaluation-result-3731505-1338686276/solver-3731505-1338686276 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731505-1338686276.opb           

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

MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a
RANDOM SEED=1264989002

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27525428 kB
Buffers:          348952 kB
Cached:          2472992 kB
SwapCached:         1672 kB
Active:          2811644 kB
Inactive:        1693744 kB
Active(anon):    1673636 kB
Inactive(anon):    12048 kB
Active(file):    1138008 kB
Inactive(file):  1681696 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:       1689096 kB
Mapped:            18736 kB
Shmem:               132 kB
Slab:             699932 kB
SReclaimable:     141704 kB
SUnreclaim:       558228 kB
KernelStack:        1624 kB
PageTables:         7520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70956 MiB
End job on node135 at 2012-06-03 03:47:26