Trace number 3733444

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-23? (exit code) 1203.33 1190.94

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-blend.opb
MD5SUMeff6ad715055e79721cc364806b971f0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark78.661
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables2490
Total number of constraints74
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 constraints74
Minimum length of a constraint30
Maximum length of a constraint780
Number of terms in the objective function 660
Biggest coefficient in the objective function 14388140441600
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 203610440670021
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 78436840243200
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 789015556311444
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.07/0.10	--- Begin Solver configuration ---
0.07/0.10	c Stops conflict analysis at the first Unique Implication Point
0.07/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.10	c Learn all clauses as in MiniSAT
0.07/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.10	c No reason simplification
0.07/0.10	c --- End Solver configuration ---
0.07/0.10	c solving HOME/instance-3733444-1338696404.opb
0.07/0.10	c reading problem ... 
0.59/0.35	c ... done. Wall clock time 0.245s.
0.59/0.35	c CPU time (experimental) 0.31s.
0.59/0.35	c #vars     2490
0.59/0.35	c #constraints  114
687.98/679.82	c cleaning 1221469 clauses out of 2442977 for limit 1.3315103514631896E-5
751.20/742.94	c cleaning 619734 clauses out of 1239508 for limit 1738.7074841100714
769.30/760.99	c cleaning 319604 clauses out of 639275 for limit 1.0027720993533227E-8
771.60/763.21	c cleaning 160066 clauses out of 320171 for limit 3.301899551835541E-8
779.20/770.79	c cleaning 90784 clauses out of 181605 for limit 127.94437280115179
779.70/771.21	c cleaning 45649 clauses out of 91323 for limit 420.4300330273155
779.80/771.37	c cleaning 23049 clauses out of 46173 for limit 1369.957783038762
786.41/777.89	c cleaning 23048 clauses out of 46122 for limit 1.3492391189295563E-7
786.70/778.12	c cleaning 11781 clauses out of 23575 for limit 4.357483518835418E-7
792.89/784.25	c cleaning 16864 clauses out of 33796 for limit 1103.9520367605242
798.90/790.17	c cleaning 17908 clauses out of 35929 for limit 1.865479787141483E11
799.10/790.36	c cleaning 9204 clauses out of 18521 for limit 5.967976890897363E11
799.30/790.54	c cleaning 4855 clauses out of 9818 for limit 1.858484466547725E12
805.18/796.30	c cleaning 12441 clauses out of 24964 for limit 3.585401381958851
805.28/796.47	c cleaning 6453 clauses out of 13021 for limit 11.313434843702012
811.37/802.42	c cleaning 12969 clauses out of 26068 for limit 1.6792319931206937E9
811.47/802.58	c cleaning 6738 clauses out of 13600 for limit 5.313368083174255E9
811.57/802.70	c cleaning 3614 clauses out of 7363 for limit 1.620109651848601E10
811.77/802.84	c cleaning 2064 clauses out of 4248 for limit 4.626324341968626E10
817.77/808.71	c cleaning 11286 clauses out of 22684 for limit 0.0700151967894189
817.87/808.87	c cleaning 5889 clauses out of 11897 for limit 0.21993576899151845
818.07/809.03	c cleaning 3193 clauses out of 6508 for limit 0.6630429633531314
823.94/814.82	c cleaning 11349 clauses out of 22817 for limit 5.630919117190635E7
824.04/814.98	c cleaning 5926 clauses out of 11969 for limit 1.7720271163177556E8
824.25/815.13	c cleaning 3208 clauses out of 6540 for limit 5.3321558386413723E8
824.35/815.24	c cleaning 1860 clauses out of 3833 for limit 1.501869374940209E9
830.33/821.12	c cleaning 11469 clauses out of 22972 for limit 0.0033364522655310058
830.43/821.29	c cleaning 5940 clauses out of 12004 for limit 0.010540182617052868
830.63/821.42	c cleaning 3229 clauses out of 6564 for limit 0.03178787062702507
836.62/827.36	c cleaning 12603 clauses out of 25334 for limit 2.9822960932768274E7
836.82/827.53	c cleaning 6552 clauses out of 13231 for limit 9.417112168423231E7
836.92/827.69	c cleaning 3526 clauses out of 7180 for limit 2.864681658002459E8
843.10/833.77	c cleaning 12320 clauses out of 24653 for limit 0.0011108202250819607
843.31/833.95	c cleaning 6356 clauses out of 12833 for limit 0.0035191781049117485
843.40/834.07	c cleaning 3424 clauses out of 6977 for limit 0.01067472277818201
843.60/834.21	c cleaning 1967 clauses out of 4053 for limit 0.030304324758180404
849.56/840.19	c cleaning 10730 clauses out of 21586 for limit 1690785.9716427578
849.76/840.32	c cleaning 5616 clauses out of 11357 for limit 5305026.792193424
849.86/840.42	c cleaning 3055 clauses out of 6241 for limit 1.5920361017996477E7
849.96/840.55	c cleaning 1779 clauses out of 3686 for limit 4.445367299768784E7
850.06/840.67	c cleaning 1141 clauses out of 2406 for limit 1.1219893474794134E8
855.82/846.38	c cleaning 10371 clauses out of 20766 for limit 3.866745707218938E-5
856.02/846.59	c cleaning 5441 clauses out of 10894 for limit 1.2143180932822062E-4
861.71/852.19	c cleaning 9941 clauses out of 19953 for limit 132.41352821303354
861.91/852.39	c cleaning 5224 clauses out of 10513 for limit 414.8626093543537
867.70/858.01	c cleaning 11592 clauses out of 23288 for limit 1.239584642778706E10
867.80/858.15	c cleaning 6063 clauses out of 12196 for limit 3.9034340920408226E10
867.90/858.27	c cleaning 3280 clauses out of 6634 for limit 1.1846203752754723E11
868.00/858.33	c cleaning 1884 clauses out of 3855 for limit 3.365275949330616E11
868.00/858.39	c cleaning 1231 clauses out of 2469 for limit 8.647903557341299E11
868.10/858.45	c cleaning 866 clauses out of 1741 for limit 2.0285820523891157E12
868.20/858.50	c cleaning 641 clauses out of 1372 for limit 4.232428111088763E12
874.87/865.14	c cleaning 25568 clauses out of 51231 for limit 9.937003810622572E12
875.07/865.31	c cleaning 13034 clauses out of 26163 for limit 3.208903340142706E13
875.07/865.39	c cleaning 6768 clauses out of 13632 for limit 1.0186946408330336E14
875.17/865.46	c cleaning 3634 clauses out of 7363 for limit 3.1072069068583675E14
875.27/865.52	c cleaning 2068 clauses out of 4231 for limit 8.935253109482054E14
875.27/865.57	c cleaning 1281 clauses out of 2659 for limit 2.335336070133988E15
875.37/865.64	c cleaning 939 clauses out of 1878 for limit 5.452906156527541E15
875.47/865.71	c cleaning 720 clauses out of 1440 for limit 1.1739551848221706E16
875.47/865.76	c cleaning 610 clauses out of 1221 for limit 2.2855395724215592E16
875.58/865.82	c cleaning 555 clauses out of 1111 for limit 4.1423447177426312E16
882.34/872.51	c cleaning 25268 clauses out of 50554 for limit 4.829747755855885E-4
882.54/872.73	c cleaning 12885 clauses out of 25787 for limit 0.0015630380555626713
882.64/872.83	c cleaning 6650 clauses out of 13402 for limit 0.004959714135593519
882.64/872.89	c cleaning 3573 clauses out of 7251 for limit 0.015102530774576968
882.74/872.96	c cleaning 2041 clauses out of 4178 for limit 0.04322500835194857
882.86/873.02	c cleaning 1272 clauses out of 2640 for limit 0.11315116165804208
882.86/873.07	c cleaning 881 clauses out of 1865 for limit 0.2633519020476293
882.96/873.13	c cleaning 693 clauses out of 1484 for limit 0.5458047131561946
883.06/873.20	c cleaning 598 clauses out of 1294 for limit 1.0353717914760932
883.06/873.26	c cleaning 545 clauses out of 1193 for limit 1.8464710922987997
890.06/880.14	c cleaning 24818 clauses out of 49649 for limit 0.868128251241141
890.25/880.34	c cleaning 12617 clauses out of 25330 for limit 2.8033710274281582
890.35/880.44	c cleaning 6557 clauses out of 13213 for limit 8.86278517245989
890.45/880.51	c cleaning 3528 clauses out of 7157 for limit 27.010401446280294
890.45/880.57	c cleaning 2018 clauses out of 4129 for limit 77.20991251290835
890.55/880.64	c cleaning 1259 clauses out of 2610 for limit 201.23281900326
890.55/880.69	c cleaning 879 clauses out of 1854 for limit 468.5856784681678
890.65/880.75	c cleaning 687 clauses out of 1472 for limit 970.3832299091406
890.75/880.81	c cleaning 592 clauses out of 1285 for limit 1833.1746872938604
890.75/880.87	c cleaning 549 clauses out of 1196 for limit 3257.8810397361844
890.85/880.92	c cleaning 521 clauses out of 1145 for limit 5600.7705185865625
890.85/880.98	c cleaning 511 clauses out of 1123 for limit 9407.94747935349
890.95/881.03	c cleaning 509 clauses out of 1112 for limit 15668.43932912544
897.53/887.58	c cleaning 24501 clauses out of 49103 for limit 4205.750844154762
897.74/887.77	c cleaning 12497 clauses out of 25102 for limit 13567.478097459463
897.84/887.88	c cleaning 6506 clauses out of 13107 for limit 42936.73982803273
897.93/887.97	c cleaning 3500 clauses out of 7099 for limit 130473.42176444626
898.03/888.04	c cleaning 2002 clauses out of 4100 for limit 372928.6684113135
898.13/888.11	c cleaning 1251 clauses out of 2598 for limit 970568.8919289145
898.13/888.17	c cleaning 873 clauses out of 1846 for limit 2250376.5454551503
898.23/888.23	c cleaning 684 clauses out of 1473 for limit 4650932.425646466
898.23/888.29	c cleaning 594 clauses out of 1291 for limit 8768825.844300196
898.33/888.35	c cleaning 598 clauses out of 1196 for limit 1.5594012664262688E7
898.43/888.40	c cleaning 548 clauses out of 1097 for limit 2.800940026842059E7
898.43/888.47	c cleaning 502 clauses out of 1049 for limit 4.830486094971647E7
905.10/895.04	c cleaning 24726 clauses out of 49548 for limit 2.0010209436805E7
905.30/895.23	c cleaning 12616 clauses out of 25322 for limit 6.4570722471001014E7
905.40/895.34	c cleaning 6551 clauses out of 13205 for limit 2.0399363642053875E8
905.51/895.41	c cleaning 3577 clauses out of 7154 for limit 6.209576424827603E8
905.51/895.47	c cleaning 1990 clauses out of 4078 for limit 1.798266648468475E9
905.61/895.53	c cleaning 1241 clauses out of 2587 for limit 4.670100833853089E9
905.61/895.58	c cleaning 874 clauses out of 1846 for limit 1.079311679547365E10
905.70/895.64	c cleaning 683 clauses out of 1472 for limit 2.2321668309297073E10
905.70/895.69	c cleaning 644 clauses out of 1289 for limit 4.203755321257617E10
905.80/895.75	c cleaning 572 clauses out of 1145 for limit 7.80442205867206E10
905.90/895.81	c cleaning 536 clauses out of 1073 for limit 1.3734169390721516E11
905.90/895.86	c cleaning 472 clauses out of 1037 for limit 2.34357713433282E11
906.00/895.92	c cleaning 479 clauses out of 1065 for limit 3.763260548847903E11
912.37/902.23	c cleaning 23991 clauses out of 48086 for limit 3.6324906843064156E10
912.57/902.43	c cleaning 12250 clauses out of 24595 for limit 1.171203122070118E11
912.67/902.53	c cleaning 6372 clauses out of 12847 for limit 3.7051196283490454E11
912.77/902.60	c cleaning 3436 clauses out of 6973 for limit 1.1234950340039763E12
912.77/902.67	c cleaning 1968 clauses out of 4037 for limit 3.200279871039631E12
912.87/902.73	c cleaning 1237 clauses out of 2570 for limit 8.29858381686345E12
912.87/902.79	c cleaning 869 clauses out of 1833 for limit 1.918803624562536E13
912.97/902.85	c cleaning 732 clauses out of 1464 for limit 3.961939189517459E13
913.07/902.92	c cleaning 615 clauses out of 1231 for limit 7.762689308439538E13
913.07/902.98	c cleaning 511 clauses out of 1117 for limit 1.412236666369875E14
913.17/903.04	c cleaning 505 clauses out of 1105 for limit 2.3519048807134466E14
913.17/903.10	c cleaning 502 clauses out of 1100 for limit 3.8962358067774356E14
913.27/903.16	c cleaning 549 clauses out of 1098 for limit 6.437117925250236E14
913.37/903.22	c cleaning 479 clauses out of 1049 for limit 1.111153872627457E15
920.05/909.81	c cleaning 23737 clauses out of 47571 for limit 6.481795158892747E13
920.25/910.01	c cleaning 12117 clauses out of 24333 for limit 2.0876769785125128E14
920.35/910.10	c cleaning 6305 clauses out of 12717 for limit 6.594239033328065E14
920.35/910.18	c cleaning 3408 clauses out of 6914 for limit 2.0042176961221745E15
920.45/910.24	c cleaning 1952 clauses out of 4003 for limit 5.691687262645887E15
920.45/910.30	c cleaning 1276 clauses out of 2552 for limit 1.4737925200576768E16
920.55/910.36	c cleaning 832 clauses out of 1775 for limit 3.4909211215785644E16
920.65/910.41	c cleaning 675 clauses out of 1445 for limit 7.0859071417925E-4
920.65/910.47	c cleaning 580 clauses out of 1268 for limit 0.0013290181553879585
920.75/910.53	c cleaning 539 clauses out of 1188 for limit 0.002339319891446346
920.75/910.59	c cleaning 525 clauses out of 1150 for limit 0.00398931759771784
920.85/910.65	c cleaning 513 clauses out of 1125 for limit 0.006725116586663599
920.95/910.71	c cleaning 505 clauses out of 1111 for limit 0.011219142297523943
920.95/910.77	c cleaning 503 clauses out of 1107 for limit 0.018587307906089458
927.36/917.05	c cleaning 23794 clauses out of 47606 for limit 0.001144523789797518
927.56/917.23	c cleaning 12151 clauses out of 24310 for limit 0.003688828130848993
927.66/917.31	c cleaning 6278 clauses out of 12659 for limit 0.011682340684150415
927.66/917.38	c cleaning 3390 clauses out of 6881 for limit 0.03544325474116136
927.76/917.45	c cleaning 1939 clauses out of 3990 for limit 0.10070096527869439
927.86/917.50	c cleaning 1224 clauses out of 2551 for limit 0.2597478476997097
927.86/917.56	c cleaning 862 clauses out of 1827 for limit 0.5981081990530612
927.96/917.62	c cleaning 682 clauses out of 1466 for limit 1.230480488954065
927.96/917.68	c cleaning 588 clauses out of 1283 for limit 2.3163459415290237
928.06/917.74	c cleaning 548 clauses out of 1197 for limit 4.102615697684621
928.06/917.80	c cleaning 526 clauses out of 1148 for limit 7.04749010860308
928.15/917.85	c cleaning 508 clauses out of 1123 for limit 11.892879143873987
928.25/917.91	c cleaning 509 clauses out of 1114 for limit 19.751630214525818
928.25/917.97	c cleaning 501 clauses out of 1104 for limit 32.83525844247182
928.35/918.03	c cleaning 504 clauses out of 1105 for limit 54.2090934878292
934.91/924.51	c cleaning 24499 clauses out of 49099 for limit 14.431577044884477
935.01/924.67	c cleaning 12497 clauses out of 25100 for limit 46.55524373663088
935.11/924.76	c cleaning 6501 clauses out of 13103 for limit 147.07114452924947
935.21/924.84	c cleaning 3500 clauses out of 7102 for limit 447.47979684592616
935.31/924.90	c cleaning 2001 clauses out of 4102 for limit 1277.657154387918
935.31/924.96	c cleaning 1248 clauses out of 2601 for limit 3322.9631257580527
935.41/925.01	c cleaning 877 clauses out of 1853 for limit 7692.125156528623
935.41/925.07	c cleaning 688 clauses out of 1476 for limit 15925.434520385012
935.51/925.13	c cleaning 594 clauses out of 1288 for limit 30096.616349510165
935.51/925.18	c cleaning 543 clauses out of 1194 for limit 53540.82951287665
935.61/925.24	c cleaning 521 clauses out of 1152 for limit 91606.72180368788
935.61/925.29	c cleaning 510 clauses out of 1131 for limit 153876.7847373834
935.71/925.35	c cleaning 511 clauses out of 1122 for limit 256054.99361412378
935.81/925.41	c cleaning 505 clauses out of 1109 for limit 426364.8798249113
935.81/925.46	c cleaning 500 clauses out of 1104 for limit 706317.2028252135
935.91/925.52	c cleaning 503 clauses out of 1105 for limit 1164922.3511290397
942.30/931.88	c cleaning 23506 clauses out of 47102 for limit 43794.28091536482
942.59/932.10	c cleaning 11999 clauses out of 24095 for limit 141042.8881607489
942.69/932.22	c cleaning 6248 clauses out of 12596 for limit 444939.9054549814
942.79/932.31	c cleaning 3380 clauses out of 6848 for limit 1349665.496442329
942.79/932.40	c cleaning 1939 clauses out of 3968 for limit 3841263.6867080373
942.89/932.49	c cleaning 1212 clauses out of 2529 for limit 9939232.317735726
942.99/932.58	c cleaning 863 clauses out of 1819 for limit 2.2834624939203143E7
943.09/932.66	c cleaning 680 clauses out of 1454 for limit 4.701636385445265E7
943.19/932.74	c cleaning 636 clauses out of 1274 for limit 8.849116327098185E7
948.68/938.10	c cleaning 15061 clauses out of 30139 for limit 0.2463044957487585
948.68/938.16	c cleaning 7770 clauses out of 15577 for limit 0.7851248669906099
948.78/938.22	c cleaning 4134 clauses out of 8307 for limit 2.4279191986280746
948.78/938.26	c cleaning 2322 clauses out of 4673 for limit 7.117681423261878
948.78/938.28	c cleaning 1414 clauses out of 2852 for limit 19.25197124602799
948.78/938.29	c cleaning 954 clauses out of 1938 for limit 46.722582530465964
948.78/938.30	c cleaning 725 clauses out of 1483 for limit 100.5913963379209
948.89/938.31	c cleaning 616 clauses out of 1258 for limit 195.55874147518568
948.89/938.32	c cleaning 557 clauses out of 1142 for limit 355.2611014008725
948.89/938.33	c cleaning 529 clauses out of 1085 for limit 616.651668074541
948.89/938.34	c cleaning 512 clauses out of 1056 for limit 1044.8684544512546
948.89/938.35	c cleaning 505 clauses out of 1045 for limit 1743.0090584642983
948.89/938.36	c cleaning 505 clauses out of 1040 for limit 2888.27460872331
948.89/938.37	c cleaning 505 clauses out of 1035 for limit 4786.161608598178
948.89/938.38	c cleaning 501 clauses out of 1030 for limit 7931.3364086476895
948.89/938.39	c cleaning 500 clauses out of 1028 for limit 13092.176640503629
948.89/938.40	c cleaning 501 clauses out of 1028 for limit 21590.750720246917
948.99/938.41	c cleaning 496 clauses out of 1027 for limit 35640.706244352215
948.99/938.42	c cleaning 497 clauses out of 1031 for limit 58548.25647284191
948.99/938.43	c cleaning 505 clauses out of 1034 for limit 96273.77030733916
948.99/938.45	c cleaning 499 clauses out of 1029 for limit 159539.7955420421
948.99/938.46	c cleaning 502 clauses out of 1030 for limit 262847.02641374746
948.99/938.47	c cleaning 497 clauses out of 1029 for limit 434325.4886474832
948.99/938.48	c cleaning 503 clauses out of 1032 for limit 714178.6802174266
948.99/938.49	c cleaning 495 clauses out of 1029 for limit 1181209.9346029714
949.08/938.50	c cleaning 501 clauses out of 1034 for limit 1938553.6019773872
949.08/938.51	c cleaning 516 clauses out of 1032 for limit 3199926.703850841
949.08/938.52	c cleaning 508 clauses out of 1016 for limit 5360211.263787202
949.08/938.53	c cleaning 504 clauses out of 1008 for limit 8909861.842681022
949.08/938.54	c cleaning 486 clauses out of 1004 for limit 1.4752094174822958E7
949.08/938.55	c cleaning 490 clauses out of 1018 for limit 2.3993604618183658E7
949.08/938.56	c cleaning 498 clauses out of 1028 for limit 3.91837546412334E7
949.08/938.57	c cleaning 515 clauses out of 1030 for limit 6.449377903403192E7
949.08/938.58	c cleaning 507 clauses out of 1015 for limit 1.0793067540299071E8
949.08/938.59	c cleaning 490 clauses out of 1009 for limit 1.7922977911873507E8
949.18/938.61	c cleaning 495 clauses out of 1019 for limit 2.926732557820996E8
949.18/938.62	c cleaning 511 clauses out of 1023 for limit 4.8028935851133806E8
949.18/938.63	c cleaning 506 clauses out of 1013 for limit 8.00681052663152E8
949.18/938.65	c cleaning 486 clauses out of 1006 for limit 1.3282884348634892E9
949.18/938.66	c cleaning 496 clauses out of 1021 for limit 2.160503771434157E9
949.18/938.67	c cleaning 495 clauses out of 1024 for limit 3.548968866099874E9
949.18/938.68	c cleaning 514 clauses out of 1029 for limit 5.824285538528483E9
949.18/938.69	c cleaning 508 clauses out of 1016 for limit 9.73766262952075E9
949.28/938.70	c cleaning 504 clauses out of 1008 for limit 1.6186158423608032E10
949.28/938.72	c cleaning 483 clauses out of 1003 for limit 2.679938088239457E10
949.28/938.73	c cleaning 510 clauses out of 1021 for limit 4.3460062927568504E10
949.28/938.74	c cleaning 492 clauses out of 1011 for limit 7.238037424681377E10
949.28/938.76	c cleaning 491 clauses out of 1019 for limit 1.1842780581579755E11
949.28/938.77	c cleaning 497 clauses out of 1028 for limit 1.935934410306074E11
949.28/938.78	c cleaning 497 clauses out of 1031 for limit 3.1833249684094763E11
949.28/938.79	c cleaning 503 clauses out of 1033 for limit 5.2343251218073895E11
949.38/938.81	c cleaning 515 clauses out of 1030 for limit 8.657244407060139E11
949.38/938.82	c cleaning 500 clauses out of 1015 for limit 1.448794364321111E12
949.38/938.83	c cleaning 489 clauses out of 1016 for limit 2.389293386746175E12
949.38/938.84	c cleaning 494 clauses out of 1027 for limit 3.8980610122242983E12
949.38/938.86	c cleaning 501 clauses out of 1032 for limit 6.390881338297998E12
949.38/938.87	c cleaning 499 clauses out of 1031 for limit 1.0549640803821783E13
949.38/938.88	c cleaning 499 clauses out of 1033 for limit 1.738146649062109E13
949.38/938.89	c cleaning 517 clauses out of 1034 for limit 2.8636641672459965E13
949.49/938.91	c cleaning 496 clauses out of 1016 for limit 4.801426568703066E13
949.49/938.92	c cleaning 510 clauses out of 1021 for limit 7.887305376785623E13
949.49/938.93	c cleaning 505 clauses out of 1011 for limit 1.3135878701374617E14
949.49/938.94	c cleaning 488 clauses out of 1006 for limit 2.1770489362718806E14
949.49/938.95	c cleaning 492 clauses out of 1018 for limit 3.5479237779237475E14
949.49/938.97	c cleaning 513 clauses out of 1026 for limit 5.80537910283977E14
974.58/963.97	c cleaning 64991 clauses out of 130013 for limit 8.516593168058244E8
974.98/964.37	c cleaning 32733 clauses out of 65522 for limit 2.7869002400479956E9
975.18/964.56	c cleaning 16609 clauses out of 33288 for limit 9.037373697456377E9
975.28/964.70	c cleaning 8560 clauses out of 17180 for limit 2.8906611317065037E10
975.39/964.80	c cleaning 4527 clauses out of 9119 for limit 8.972108190974629E10
975.49/964.88	c cleaning 2512 clauses out of 5094 for limit 2.654041366282697E11
975.58/964.95	c cleaning 1507 clauses out of 3080 for limit 7.224416488331752E11
975.68/965.03	c cleaning 1037 clauses out of 2075 for limit 1.7719860605480896E12
975.78/965.11	c cleaning 768 clauses out of 1536 for limit 3.939798857953807E12
975.78/965.19	c cleaning 634 clauses out of 1269 for limit 7.872162354546848E12
975.88/965.26	c cleaning 567 clauses out of 1134 for limit 1.4513226901516795E13
975.98/965.34	c cleaning 501 clauses out of 1067 for limit 2.543715329698106E13
976.08/965.42	c cleaning 500 clauses out of 1067 for limit 4.19912599681773E13
976.08/965.49	c cleaning 500 clauses out of 1067 for limit 6.9249205177782086E13
976.18/965.57	c cleaning 500 clauses out of 1066 for limit 1.1419402558191436E14
976.28/965.64	c cleaning 533 clauses out of 1067 for limit 1.8833306185662584E14
976.38/965.72	c cleaning 517 clauses out of 1034 for limit 3.2049874610149375E14
976.38/965.79	c cleaning 470 clauses out of 1016 for limit 5.373713902519695E14
976.49/965.86	c cleaning 483 clauses out of 1046 for limit 8.607805619086961E14
976.59/965.95	c cleaning 531 clauses out of 1064 for limit 1.3969244108200072E15
976.68/966.02	c cleaning 516 clauses out of 1032 for limit 2.3727731127931E15
976.78/966.10	c cleaning 509 clauses out of 1018 for limit 3.9747795096669705E15
976.78/966.18	c cleaning 471 clauses out of 1007 for limit 6.613299834435134E15
976.88/966.26	c cleaning 514 clauses out of 1036 for limit 1.0600926304417105E-4
976.98/966.33	c cleaning 506 clauses out of 1023 for limit 1.7722228666265462E-4
977.08/966.41	c cleaning 501 clauses out of 1016 for limit 2.9398260701266705E-4
977.08/966.49	c cleaning 500 clauses out of 1016 for limit 4.853019492026457E-4
977.18/966.57	c cleaning 478 clauses out of 1016 for limit 8.003278367684168E-4
977.28/966.65	c cleaning 488 clauses out of 1037 for limit 0.001291826679115275
977.38/966.72	c cleaning 492 clauses out of 1050 for limit 0.0021061248169713122
977.48/966.81	c cleaning 495 clauses out of 1058 for limit 0.003447018576842258
977.48/966.89	c cleaning 503 clauses out of 1062 for limit 0.005657520680166427
977.59/966.97	c cleaning 500 clauses out of 1059 for limit 0.009356439070012278
977.69/967.05	c cleaning 502 clauses out of 1059 for limit 0.015430019708475561
977.78/967.13	c cleaning 497 clauses out of 1057 for limit 0.025494314593297537
977.88/967.21	c cleaning 499 clauses out of 1060 for limit 0.04192454419500219
977.88/967.30	c cleaning 497 clauses out of 1062 for limit 0.06907805438140985
977.98/967.38	c cleaning 500 clauses out of 1064 for limit 0.1135911145824569
978.08/967.45	c cleaning 498 clauses out of 1064 for limit 0.18732694389391397
978.18/967.53	c cleaning 499 clauses out of 1066 for limit 0.30834758989838235
978.28/967.61	c cleaning 501 clauses out of 1068 for limit 0.5080622287495256
978.28/967.69	c cleaning 501 clauses out of 1067 for limit 0.8386478333372248
978.38/967.77	c cleaning 499 clauses out of 1065 for limit 1.3842540925941689
978.48/967.85	c cleaning 502 clauses out of 1068 for limit 2.280967418518425
978.58/967.93	c cleaning 501 clauses out of 1065 for limit 3.7684443128160474
978.69/968.01	c cleaning 501 clauses out of 1063 for limit 6.220135141449702
978.69/968.08	c cleaning 502 clauses out of 1063 for limit 10.26810306610878
978.79/968.16	c cleaning 498 clauses out of 1061 for limit 16.965395439167658
978.88/968.24	c cleaning 501 clauses out of 1063 for limit 27.925566581378185
978.98/968.32	c cleaning 498 clauses out of 1062 for limit 46.0963595103268
978.98/968.40	c cleaning 501 clauses out of 1064 for limit 75.87617051668718
1005.91/995.18	c cleaning 62758 clauses out of 125562 for limit 1.3235064055672598E14
1006.91/996.14	c cleaning 31623 clauses out of 63304 for limit 4.3292135247685225E14
1007.21/996.44	c cleaning 16064 clauses out of 32182 for limit 1.4057805412702492E15
1007.31/996.58	c cleaning 8280 clauses out of 16617 for limit 4.48538073516599E15
1007.42/996.67	c cleaning 4410 clauses out of 8839 for limit 1.3933932743294237E-4
1007.52/996.75	c cleaning 2460 clauses out of 4927 for limit 4.1141596929779816E-4
1007.61/996.84	c cleaning 1457 clauses out of 2968 for limit 0.0011274316163032607
1007.71/996.92	c cleaning 977 clauses out of 2010 for limit 0.0027427070565603914
1007.81/997.00	c cleaning 741 clauses out of 1533 for limit 0.0059304713676439046
1007.81/997.08	c cleaning 621 clauses out of 1293 for limit 0.011607087068274463
1007.91/997.16	c cleaning 558 clauses out of 1174 for limit 0.021124117802866837
1008.01/997.25	c cleaning 531 clauses out of 1113 for limit 0.03663564693774861
1008.11/997.33	c cleaning 515 clauses out of 1084 for limit 0.0621576601638177
1008.21/997.41	c cleaning 504 clauses out of 1067 for limit 0.10393130582846097
1008.21/997.49	c cleaning 502 clauses out of 1063 for limit 0.17204158137438894
1008.31/997.57	c cleaning 497 clauses out of 1061 for limit 0.284254398422429
1008.41/997.64	c cleaning 504 clauses out of 1065 for limit 0.4674803584747663
1008.52/997.72	c cleaning 498 clauses out of 1060 for limit 0.7737995737273465
1008.52/997.80	c cleaning 504 clauses out of 1062 for limit 1.2736958144814077
1008.62/997.88	c cleaning 501 clauses out of 1059 for limit 2.108553753981582
1008.71/997.95	c cleaning 503 clauses out of 1058 for limit 3.480573878476463
1008.81/998.04	c cleaning 497 clauses out of 1054 for limit 5.755953656033689
1008.91/998.12	c cleaning 499 clauses out of 1058 for limit 9.465915657353648
1009.01/998.21	c cleaning 503 clauses out of 1059 for limit 15.595820395481885
1009.01/998.29	c cleaning 497 clauses out of 1055 for limit 25.7912921435361
1009.11/998.38	c cleaning 503 clauses out of 1060 for limit 42.41745480284624
1009.21/998.45	c cleaning 502 clauses out of 1055 for limit 70.14308693017763
1009.31/998.52	c cleaning 501 clauses out of 1053 for limit 115.89504015942255
1009.41/998.60	c cleaning 499 clauses out of 1052 for limit 191.30810449556134
1009.41/998.68	c cleaning 500 clauses out of 1053 for limit 315.1930438939327
1009.51/998.76	c cleaning 501 clauses out of 1055 for limit 519.849279558363
1009.62/998.84	c cleaning 499 clauses out of 1053 for limit 858.0703788820223
1009.72/998.92	c cleaning 497 clauses out of 1055 for limit 1413.804046874452
1009.81/999.00	c cleaning 502 clauses out of 1056 for limit 2324.6877406635867
1009.81/999.08	c cleaning 500 clauses out of 1054 for limit 3840.995688562875
1009.91/999.16	c cleaning 496 clauses out of 1054 for limit 6334.315729650446
1010.01/999.24	c cleaning 506 clauses out of 1059 for limit 10407.220502175669
1010.11/999.32	c cleaning 500 clauses out of 1052 for limit 17259.82355898411
1010.21/999.40	c cleaning 497 clauses out of 1052 for limit 28463.75802665133
1010.21/999.48	c cleaning 501 clauses out of 1056 for limit 46809.54925468994
1010.31/999.56	c cleaning 500 clauses out of 1054 for limit 77264.34757327565
1010.41/999.65	c cleaning 499 clauses out of 1054 for limit 127419.24538782719
1010.51/999.73	c cleaning 500 clauses out of 1055 for limit 209932.20482129694
1010.61/999.80	c cleaning 499 clauses out of 1056 for limit 346224.6677805036
1010.61/999.89	c cleaning 499 clauses out of 1056 for limit 570399.823483183
1010.72/999.97	c cleaning 501 clauses out of 1057 for limit 939775.6765593205
1010.82/1000.05	c cleaning 499 clauses out of 1058 for limit 1551452.3104915055
1010.91/1000.13	c cleaning 503 clauses out of 1058 for limit 2555993.857167806
1011.01/1000.22	c cleaning 502 clauses out of 1055 for limit 4227162.087121019
1011.01/1000.29	c cleaning 526 clauses out of 1053 for limit 6984396.343077199
1011.11/1000.37	c cleaning 513 clauses out of 1027 for limit 1.1809804024942072E7
1011.21/1000.45	c cleaning 507 clauses out of 1014 for limit 1.9725638349119004E7
1011.31/1000.53	c cleaning 473 clauses out of 1006 for limit 3.2756117174629115E7
1011.41/1000.60	c cleaning 489 clauses out of 1034 for limit 5.260902543884004E7
1011.41/1000.68	c cleaning 496 clauses out of 1046 for limit 8.58498438853143E7
1011.51/1000.75	c cleaning 492 clauses out of 1048 for limit 1.410252164912456E8
1011.61/1000.83	c cleaning 529 clauses out of 1058 for limit 2.30832683603029E8
1011.71/1000.91	c cleaning 513 clauses out of 1027 for limit 3.9138068423129916E8
1011.71/1000.99	c cleaning 479 clauses out of 1014 for limit 6.537139666054046E8
1011.82/1001.07	c cleaning 518 clauses out of 1036 for limit 1.056224804135497E9
1011.92/1001.15	c cleaning 508 clauses out of 1017 for limit 1.772623652382839E9
1012.01/1001.23	c cleaning 503 clauses out of 1009 for limit 2.9464712887127314E9
1012.11/1001.31	c cleaning 470 clauses out of 1006 for limit 4.873615760344896E9
1012.11/1001.39	c cleaning 491 clauses out of 1036 for limit 7.804505632893363E9
1012.21/1001.46	c cleaning 522 clauses out of 1045 for limit 1.2759825947911682E10
1012.31/1001.54	c cleaning 482 clauses out of 1023 for limit 2.149519028895539E10
1012.41/1001.62	c cleaning 494 clauses out of 1041 for limit 3.483550296053312E10
1012.51/1001.70	c cleaning 497 clauses out of 1047 for limit 5.711918737383762E10
1195.12/1182.79	Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded
1202.33/1189.93	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
1202.33/1189.94		at java.lang.AbstractStringBuilder.<init>(AbstractStringBuilder.java:45)
1202.33/1189.94		at java.lang.StringBuilder.<init>(StringBuilder.java:68)
1202.33/1189.94		at org.sat4j.minisat.core.SolverStats.printStat(Unknown Source)
1202.33/1189.94		at org.sat4j.minisat.core.Solver.printStat(Unknown Source)
1202.33/1189.94		at org.sat4j.tools.SolverDecorator.printStat(Unknown Source)

Verifier Data

ERROR: no interpretation found !

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-3733444-1338696404/watcher-3733444-1338696404 -o /tmp/evaluation-result-3733444-1338696404/solver-3733444-1338696404 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733444-1338696404.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 2.00 3/194 18481
/proc/meminfo: memFree=26537336/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18481/stat : 18481 (java) D 18479 18481 15746 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 335764971 9515008 182 33554432000 1073741824 1073778376 140735620672560 140735620663592 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/18481/statm: 2323 182 140 9 0 71 0

[startup+0.100359 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18481
/proc/meminfo: memFree=26537336/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 4360 0 1 0 7 0 0 0 20 0 18 0 335764971 3028844544 6562 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 739464 6568 2098 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.200339 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18481
/proc/meminfo: memFree=26537336/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=2959068 CPUtime=0.28 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 6174 0 1 0 27 1 0 0 20 0 18 0 335764971 3030085632 9263 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 739767 9206 2212 9 0 730188 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2959068

[startup+0.300354 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18481
/proc/meminfo: memFree=26537336/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=2957856 CPUtime=0.59 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 10894 0 1 0 57 2 0 0 20 0 18 0 335764971 3028844544 13963 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 739464 13963 2248 9 0 729885 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2957856

[startup+0.700318 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18481
/proc/meminfo: memFree=26537336/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=3024420 CPUtime=1.53 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 13984 0 1 0 150 3 0 0 20 0 19 0 335764971 3097006080 19951 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 756105 19951 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 3024420

[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18500
/proc/meminfo: memFree=26433424/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 14169 0 1 0 233 4 0 0 20 0 19 0 335764971 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 756105 36910 2266 9 0 746526 0
[pid=18481/tid=18483] ppid=18479 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/18481/task/18483/stat : 18483 (java) R 18479 18481 15746 0 -1 4202560 2563 0 1 0 144 2 0 0 20 0 19 0 335764972 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065415476072 140065276337447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18484] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18484/stat : 18484 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065398901672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18485] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18485/stat : 18485 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065397849128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18486] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18486/stat : 18486 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065396796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18487] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18487/stat : 18487 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065395743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18488] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18488/stat : 18488 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065394690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18489] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18489/stat : 18489 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065275636264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18490] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18490/stat : 18490 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065274583208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18491] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18491/stat : 18491 (java) S 18479 18481 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065273530664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18492] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18492/stat : 18492 (java) S 18479 18481 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065261333352 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18493] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18493/stat : 18493 (java) S 18479 18481 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140065260279672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18494] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18494/stat : 18494 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140064654878088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18495] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18495/stat : 18495 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140064653826832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18496] ppid=18479 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18481/task/18496/stat : 18496 (java) S 18479 18481 15746 0 -1 4202560 5027 0 0 0 42 1 0 0 20 0 19 0 335764978 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140064652773688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18497] ppid=18479 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18481/task/18497/stat : 18497 (java) R 18479 18481 15746 0 -1 4202560 5385 0 0 0 43 1 0 0 20 0 19 0 335764978 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140064651721144 140065422450040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18498] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18498/stat : 18498 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140064650668280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18499] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18499/stat : 18499 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140064649615944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18500] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18500/stat : 18500 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335765016 3097006080 36910 33554432000 1073741824 1073778376 140737429663184 140064647484968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 3024420

[startup+3.10083 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 18500
/proc/meminfo: memFree=26352932/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=3024420 CPUtime=4.04 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 14887 0 1 0 398 6 0 0 20 0 19 0 335764971 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 756105 65523 2268 9 0 746526 0
[pid=18481/tid=18483] ppid=18479 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/18481/task/18483/stat : 18483 (java) R 18479 18481 15746 0 -1 4202560 2621 0 1 0 302 3 0 0 20 0 19 0 335764972 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065415473832 140065276414906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18484] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18484/stat : 18484 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065398901672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18485] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18485/stat : 18485 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065397849128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18486] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18486/stat : 18486 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065396796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18487] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18487/stat : 18487 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065395743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18488] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18488/stat : 18488 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065394690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18489] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18489/stat : 18489 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065275636264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18490] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18490/stat : 18490 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065274583208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18491] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18491/stat : 18491 (java) S 18479 18481 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065273530664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18492] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18492/stat : 18492 (java) S 18479 18481 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065261333352 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18493] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18493/stat : 18493 (java) S 18479 18481 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140065260279672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18494] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18494/stat : 18494 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140064654878088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18495] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18495/stat : 18495 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140064653826832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18496] ppid=18479 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18481/task/18496/stat : 18496 (java) S 18479 18481 15746 0 -1 4202560 5027 0 0 0 43 1 0 0 20 0 19 0 335764978 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140064652773688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18497] ppid=18479 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/18481/task/18497/stat : 18497 (java) S 18479 18481 15746 0 -1 4202560 6045 0 0 0 49 1 0 0 20 0 19 0 335764978 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140064651721144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18498] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18498/stat : 18498 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140064650668280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18499] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18499/stat : 18499 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140064649615944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18500] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18500/stat : 18500 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335765016 3097006080 65523 33554432000 1073741824 1073778376 140737429663184 140064647484968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 3024420

[startup+6.30082 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 18500
/proc/meminfo: memFree=26161600/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=3024420 CPUtime=7.24 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 14966 0 1 0 715 9 0 0 20 0 19 0 335764971 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 756105 104791 2269 9 0 746526 0
[pid=18481/tid=18483] ppid=18479 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/18481/task/18483/stat : 18483 (java) R 18479 18481 15746 0 -1 4202560 2699 0 1 0 618 6 0 0 20 0 19 0 335764972 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065415475624 140065276305901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18484] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18484/stat : 18484 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065398901672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18485] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18485/stat : 18485 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065397849128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18486] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18486/stat : 18486 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065396796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18487] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18487/stat : 18487 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065395743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18488] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18488/stat : 18488 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065394690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18489] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18489/stat : 18489 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065275636264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18490] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18490/stat : 18490 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065274583208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18491] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18491/stat : 18491 (java) S 18479 18481 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335764974 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065273530664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18492] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18492/stat : 18492 (java) S 18479 18481 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065261333352 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18493] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18493/stat : 18493 (java) S 18479 18481 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140065260279672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18494] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18494/stat : 18494 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335764975 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140064654878088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18495] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18495/stat : 18495 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140064653826832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18496] ppid=18479 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18481/task/18496/stat : 18496 (java) S 18479 18481 15746 0 -1 4202560 5027 0 0 0 44 1 0 0 20 0 19 0 335764978 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140064652773688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18497] ppid=18479 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/18481/task/18497/stat : 18497 (java) S 18479 18481 15746 0 -1 4202560 6045 0 0 0 49 1 0 0 20 0 19 0 335764978 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140064651721144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18498] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18498/stat : 18498 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140064650668280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18499] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18499/stat : 18499 (java) S 18479 18481 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335764978 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140064649615944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18500] ppid=18479 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18500/stat : 18500 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335765016 3097006080 104791 33554432000 1073741824 1073778376 140737429663184 140064647484968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

/proc/18481/task/18495/stat : 18495 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064653826832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18496] ppid=18479 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18481/task/18496/stat : 18496 (java) S 18479 18481 15746 0 -1 4202560 5035 0 0 0 46 1 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064652773688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18497] ppid=18479 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/18481/task/18497/stat : 18497 (java) S 18479 18481 15746 0 -1 4202560 6051 0 0 0 57 2 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064651721144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18498] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18498/stat : 18498 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064650668280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18499] ppid=18479 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/18481/task/18499/stat : 18499 (java) S 18479 18481 15746 0 -1 4202560 70 0 0 0 21 16 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064649615944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18500] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18500/stat : 18500 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335765016 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064647484968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18572] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18572/stat : 18572 (java) S 18479 18481 15746 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 335883484 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064646431432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1202.03
Current children cumulated vsize (KiB) 3090984

[startup+1190.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 18572
/proc/meminfo: memFree=24846988/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=3090984 CPUtime=1202.83 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 19233 0 1 0 120127 156 0 0 20 0 20 0 335764971 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 772746 423879 2297 9 0 763167 0
[pid=18481/tid=18483] ppid=18479 vsize=3090984 CPUtime=1150 cores=1,3,5,7
/proc/18481/task/18483/stat : 18483 (java) S 18479 18481 15746 0 -1 4202560 2858 0 1 0 114975 25 0 0 20 0 20 0 335764972 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065415476408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18484] ppid=18479 vsize=3090984 CPUtime=1.88 cores=1,3,5,7
/proc/18481/task/18484/stat : 18484 (java) S 18479 18481 15746 0 -1 4202560 515 0 0 0 170 18 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065398901672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18485] ppid=18479 vsize=3090984 CPUtime=1.82 cores=1,3,5,7
/proc/18481/task/18485/stat : 18485 (java) S 18479 18481 15746 0 -1 4202560 444 0 0 0 169 13 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065397849128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18486] ppid=18479 vsize=3090984 CPUtime=1.84 cores=1,3,5,7
/proc/18481/task/18486/stat : 18486 (java) S 18479 18481 15746 0 -1 4202560 467 0 0 0 169 15 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065396796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18487] ppid=18479 vsize=3090984 CPUtime=1.85 cores=1,3,5,7
/proc/18481/task/18487/stat : 18487 (java) S 18479 18481 15746 0 -1 4202560 435 0 0 0 169 16 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065395743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18488] ppid=18479 vsize=3090984 CPUtime=1.93 cores=1,3,5,7
/proc/18481/task/18488/stat : 18488 (java) S 18479 18481 15746 0 -1 4202560 534 0 0 0 174 19 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065394690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18489] ppid=18479 vsize=3090984 CPUtime=2.06 cores=1,3,5,7
/proc/18481/task/18489/stat : 18489 (java) S 18479 18481 15746 0 -1 4202560 528 0 0 0 188 18 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065275636264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18490] ppid=18479 vsize=3090984 CPUtime=1.98 cores=1,3,5,7
/proc/18481/task/18490/stat : 18490 (java) S 18479 18481 15746 0 -1 4202560 525 0 0 0 181 17 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065274583208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18491] ppid=18479 vsize=3090984 CPUtime=1.85 cores=1,3,5,7
/proc/18481/task/18491/stat : 18491 (java) S 18479 18481 15746 0 -1 4202560 371 0 0 0 170 15 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065273530664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18492] ppid=18479 vsize=3090984 CPUtime=33.18 cores=1,3,5,7
/proc/18481/task/18492/stat : 18492 (java) R 18479 18481 15746 0 -1 4202560 201 0 0 0 3317 1 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065261333512 140065419637052 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18493] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18493/stat : 18493 (java) S 18479 18481 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065260279672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18494] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18494/stat : 18494 (java) S 18479 18481 15746 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064654878088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18495] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18495/stat : 18495 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064653826832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18496] ppid=18479 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18481/task/18496/stat : 18496 (java) S 18479 18481 15746 0 -1 4202560 5035 0 0 0 46 1 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064652773688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18497] ppid=18479 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/18481/task/18497/stat : 18497 (java) S 18479 18481 15746 0 -1 4202560 6051 0 0 0 57 2 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064651721144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18498] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18498/stat : 18498 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064650668280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18499] ppid=18479 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/18481/task/18499/stat : 18499 (java) S 18479 18481 15746 0 -1 4202560 70 0 0 0 21 16 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064649615944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18500] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18500/stat : 18500 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335765016 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064647484968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18572] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18572/stat : 18572 (java) S 18479 18481 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 335883484 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064646431016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1202.83
Current children cumulated vsize (KiB) 3090984

[startup+1190.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 18572
/proc/meminfo: memFree=24846988/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=3090984 CPUtime=1203.23 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 19234 0 1 0 120167 156 0 0 20 0 20 0 335764971 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 772746 423879 2297 9 0 763167 0
[pid=18481/tid=18483] ppid=18479 vsize=3090984 CPUtime=1150 cores=1,3,5,7
/proc/18481/task/18483/stat : 18483 (java) S 18479 18481 15746 0 -1 4202560 2858 0 1 0 114975 25 0 0 20 0 20 0 335764972 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065415476408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18484] ppid=18479 vsize=3090984 CPUtime=1.88 cores=1,3,5,7
/proc/18481/task/18484/stat : 18484 (java) S 18479 18481 15746 0 -1 4202560 515 0 0 0 170 18 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065398901672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18485] ppid=18479 vsize=3090984 CPUtime=1.82 cores=1,3,5,7
/proc/18481/task/18485/stat : 18485 (java) S 18479 18481 15746 0 -1 4202560 444 0 0 0 169 13 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065397849128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18486] ppid=18479 vsize=3090984 CPUtime=1.84 cores=1,3,5,7
/proc/18481/task/18486/stat : 18486 (java) S 18479 18481 15746 0 -1 4202560 467 0 0 0 169 15 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065396796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18487] ppid=18479 vsize=3090984 CPUtime=1.85 cores=1,3,5,7
/proc/18481/task/18487/stat : 18487 (java) S 18479 18481 15746 0 -1 4202560 435 0 0 0 169 16 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065395743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18488] ppid=18479 vsize=3090984 CPUtime=1.93 cores=1,3,5,7
/proc/18481/task/18488/stat : 18488 (java) S 18479 18481 15746 0 -1 4202560 534 0 0 0 174 19 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065394690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18489] ppid=18479 vsize=3090984 CPUtime=2.06 cores=1,3,5,7
/proc/18481/task/18489/stat : 18489 (java) S 18479 18481 15746 0 -1 4202560 528 0 0 0 188 18 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065275636264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18490] ppid=18479 vsize=3090984 CPUtime=1.98 cores=1,3,5,7
/proc/18481/task/18490/stat : 18490 (java) S 18479 18481 15746 0 -1 4202560 525 0 0 0 181 17 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065274583208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18491] ppid=18479 vsize=3090984 CPUtime=1.85 cores=1,3,5,7
/proc/18481/task/18491/stat : 18491 (java) S 18479 18481 15746 0 -1 4202560 371 0 0 0 170 15 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065273530664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18492] ppid=18479 vsize=3090984 CPUtime=33.58 cores=1,3,5,7
/proc/18481/task/18492/stat : 18492 (java) R 18479 18481 15746 0 -1 4202560 201 0 0 0 3357 1 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065261333352 140065421983779 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18493] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18493/stat : 18493 (java) S 18479 18481 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065260279672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18494] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18494/stat : 18494 (java) S 18479 18481 15746 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064654878088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18495] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18495/stat : 18495 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064653826832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18496] ppid=18479 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18481/task/18496/stat : 18496 (java) S 18479 18481 15746 0 -1 4202560 5035 0 0 0 46 1 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064652773688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18497] ppid=18479 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/18481/task/18497/stat : 18497 (java) S 18479 18481 15746 0 -1 4202560 6051 0 0 0 57 2 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064651721144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18498] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18498/stat : 18498 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064650668280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18499] ppid=18479 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/18481/task/18499/stat : 18499 (java) S 18479 18481 15746 0 -1 4202560 70 0 0 0 21 16 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064649615944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18500] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18500/stat : 18500 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335765016 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064647484968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18572] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18572/stat : 18572 (java) S 18479 18481 15746 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335883484 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064646431016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1203.23
Current children cumulated vsize (KiB) 3090984

[startup+1190.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 18572
/proc/meminfo: memFree=24846988/32873844 swapFree=7108/7108
[pid=18481] ppid=18479 vsize=3090984 CPUtime=1203.33 cores=1,3,5,7
/proc/18481/stat : 18481 (java) S 18479 18481 15746 0 -1 4202496 19234 0 1 0 120177 156 0 0 20 0 20 0 335764971 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140737429654320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 772746 423879 2297 9 0 763167 0
[pid=18481/tid=18483] ppid=18479 vsize=3090984 CPUtime=1150 cores=1,3,5,7
/proc/18481/task/18483/stat : 18483 (java) S 18479 18481 15746 0 -1 4202560 2858 0 1 0 114975 25 0 0 20 0 20 0 335764972 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065415476408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18484] ppid=18479 vsize=3090984 CPUtime=1.88 cores=1,3,5,7
/proc/18481/task/18484/stat : 18484 (java) S 18479 18481 15746 0 -1 4202560 515 0 0 0 170 18 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065398901672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18485] ppid=18479 vsize=3090984 CPUtime=1.82 cores=1,3,5,7
/proc/18481/task/18485/stat : 18485 (java) S 18479 18481 15746 0 -1 4202560 444 0 0 0 169 13 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065397849128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18486] ppid=18479 vsize=3090984 CPUtime=1.84 cores=1,3,5,7
/proc/18481/task/18486/stat : 18486 (java) S 18479 18481 15746 0 -1 4202560 467 0 0 0 169 15 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065396796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18487] ppid=18479 vsize=3090984 CPUtime=1.85 cores=1,3,5,7
/proc/18481/task/18487/stat : 18487 (java) S 18479 18481 15746 0 -1 4202560 435 0 0 0 169 16 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065395743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18488] ppid=18479 vsize=3090984 CPUtime=1.93 cores=1,3,5,7
/proc/18481/task/18488/stat : 18488 (java) S 18479 18481 15746 0 -1 4202560 534 0 0 0 174 19 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065394690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18489] ppid=18479 vsize=3090984 CPUtime=2.06 cores=1,3,5,7
/proc/18481/task/18489/stat : 18489 (java) S 18479 18481 15746 0 -1 4202560 528 0 0 0 188 18 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065275636264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18490] ppid=18479 vsize=3090984 CPUtime=1.98 cores=1,3,5,7
/proc/18481/task/18490/stat : 18490 (java) S 18479 18481 15746 0 -1 4202560 525 0 0 0 181 17 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065274583208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18491] ppid=18479 vsize=3090984 CPUtime=1.85 cores=1,3,5,7
/proc/18481/task/18491/stat : 18491 (java) S 18479 18481 15746 0 -1 4202560 371 0 0 0 170 15 0 0 20 0 20 0 335764974 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065273530664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18492] ppid=18479 vsize=3090984 CPUtime=33.68 cores=1,3,5,7
/proc/18481/task/18492/stat : 18492 (java) R 18479 18481 15746 0 -1 4202560 201 0 0 0 3367 1 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065261333352 140065419637052 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18493] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18493/stat : 18493 (java) S 18479 18481 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140065260279672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18494] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18494/stat : 18494 (java) S 18479 18481 15746 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335764975 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064654878088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18495] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18495/stat : 18495 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064653826832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18496] ppid=18479 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/18481/task/18496/stat : 18496 (java) S 18479 18481 15746 0 -1 4202560 5035 0 0 0 46 1 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064652773688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18481/tid=18497] ppid=18479 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/18481/task/18497/stat : 18497 (java) S 18479 18481 15746 0 -1 4202560 6051 0 0 0 57 2 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064651721144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18498] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18498/stat : 18498 (java) S 18479 18481 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064650668280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18481/tid=18499] ppid=18479 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/18481/task/18499/stat : 18499 (java) S 18479 18481 15746 0 -1 4202560 70 0 0 0 21 16 0 0 20 0 20 0 335764978 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064649615944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18481/tid=18500] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18500/stat : 18500 (java) S 18479 18481 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335765016 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064647484968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18481/tid=18572] ppid=18479 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/18481/task/18572/stat : 18572 (java) S 18479 18481 15746 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335883484 3165167616 423879 33554432000 1073741824 1073778376 140737429663184 140064646431016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1203.33
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18481 and gives
#  childrusage.ru_utime.tv_sec=1198
#  childrusage.ru_utime.tv_usec=708768
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=891712
# CPU time returned by wait4() is 1200.6
# while last known CPU time is 1203.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1190.94
CPU time (s): 1203.33
CPU user time (s): 1201.77
CPU system time (s): 1.56
CPU usage (%): 101.04
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.71
system time used= 1.89171
maximum resident set size= 1695540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19245
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30683
involuntary context switches= 21829

runsolver used 4.12837 second user time and 10.3564 second system time

The end

Launcher Data

Begin job on node139 at 2012-06-03 06:06:44
IDJOB=3733444
IDBENCH=2462
IDSOLVER=2319
FILE ID=node139/3733444-1338696404
RUNJOBID= node139-1338678624-15766
PBS_JOBID= 14636674
Free space on /tmp= 71096 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733444-1338696404/watcher-3733444-1338696404 -o /tmp/evaluation-result-3733444-1338696404/solver-3733444-1338696404 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733444-1338696404.opb           

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

MD5SUM BENCH= eff6ad715055e79721cc364806b971f0
RANDOM SEED=1337871947

node139.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.750
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.50
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.750
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	: 5331.91
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.750
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	: 5331.90
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.750
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	: 5331.91
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.750
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	: 5331.92
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.750
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	: 5331.91
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.750
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	: 5331.91
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.750
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26537856 kB
Buffers:          496488 kB
Cached:          3287916 kB
SwapCached:          828 kB
Active:          3357984 kB
Inactive:        2101396 kB
Active(anon):    1668664 kB
Inactive(anon):     7952 kB
Active(file):    1689320 kB
Inactive(file):  2093444 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:              3796 kB
Writeback:            28 kB
AnonPages:       1680412 kB
Mapped:            19832 kB
Shmem:                 8 kB
Slab:             732840 kB
SReclaimable:     174744 kB
SUnreclaim:       558096 kB
KernelStack:        1600 kB
PageTables:         7268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 71092 MiB
End job on node139 at 2012-06-03 06:26:35