Trace number 3734629

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) 822.11 817.374

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
MD5SUM87c08328e44aaf86c5913a3ba08592cd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark245
Best CPU time to get the best result obtained on this benchmark1.64375
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 245
Optimality of the best value was proved YES
Number of variables1264
Total number of constraints1090
Number of constraints which are clauses1090
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 1264
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1264
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1264
Number of bits of the biggest sum of numbers11
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.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3734629-1338701390.opb
0.08/0.11	c reading problem ... 
0.25/0.28	c ... done. Wall clock time 0.169s.
0.25/0.28	c CPU time (experimental) 0.24s.
0.25/0.28	c #vars     1264
0.25/0.28	c #constraints  1090
0.44/0.31	c SATISFIABLE
0.44/0.31	c OPTIMIZING...
0.44/0.31	c Got one! Elapsed wall clock time (in seconds):0.197
0.44/0.31	o 303
142.72/140.67	c cleaning 524741 clauses out of 1049500 for limit 9.979858615524271E9
150.13/148.06	c cleaning 262626 clauses out of 525261 for limit 3.2950088546615692E10
151.94/149.90	c cleaning 131562 clauses out of 263134 for limit 1.0836178484212936E11
152.94/150.85	c cleaning 66028 clauses out of 132072 for limit 3.560395552690373E11
153.14/151.02	c cleaning 33263 clauses out of 66543 for limit 1.16420109411034E12
153.44/151.37	c cleaning 16877 clauses out of 33781 for limit 3.7857181464601904E12
153.54/151.49	c cleaning 8693 clauses out of 17404 for limit 1.2117906321237904E13
153.64/151.55	c cleaning 4593 clauses out of 9210 for limit 3.772579586789618E13
153.74/151.60	c cleaning 2553 clauses out of 5117 for limit 1.1197949657390208E14
153.74/151.64	c cleaning 1532 clauses out of 3064 for limit 3.0840474670703775E14
153.74/151.67	c cleaning 1011 clauses out of 2032 for limit 7.669057572560899E14
153.84/151.71	c cleaning 755 clauses out of 1521 for limit 1.6896329671906845E15
153.84/151.75	c cleaning 633 clauses out of 1266 for limit 3.3476787074919215E15
153.84/151.79	c cleaning 559 clauses out of 1133 for limit 6.168839242633582E15
153.94/151.83	c cleaning 537 clauses out of 1075 for limit 1.0732855868350244E16
153.94/151.87	c cleaning 518 clauses out of 1037 for limit 1.8330165255161476E16
154.04/151.90	c cleaning 509 clauses out of 1019 for limit 3.0762869258331564E16
154.04/151.94	c cleaning 500 clauses out of 1010 for limit 5.118415489012E-4
154.04/151.98	c cleaning 498 clauses out of 1011 for limit 8.441043802914839E-4
154.14/152.01	c cleaning 498 clauses out of 1013 for limit 0.0013892926918691018
154.14/152.05	c cleaning 500 clauses out of 1015 for limit 0.002286614964246525
154.14/152.09	c cleaning 501 clauses out of 1015 for limit 0.003770933973919708
154.24/152.12	c cleaning 498 clauses out of 1013 for limit 0.006224821473000728
154.24/152.16	c cleaning 499 clauses out of 1015 for limit 0.010245335639660657
154.34/152.20	c cleaning 502 clauses out of 1016 for limit 0.016879299214838127
154.34/152.24	c cleaning 499 clauses out of 1015 for limit 0.02789153886611615
154.34/152.27	c cleaning 499 clauses out of 1015 for limit 0.04595088197468647
154.44/152.31	c cleaning 499 clauses out of 1017 for limit 0.07570583252761084
154.44/152.35	c cleaning 497 clauses out of 1017 for limit 0.12472419653753015
154.44/152.38	c cleaning 502 clauses out of 1021 for limit 0.20508614632909178
154.54/152.42	c cleaning 499 clauses out of 1018 for limit 0.33887198285930603
154.54/152.46	c cleaning 498 clauses out of 1019 for limit 0.5582968080625463
154.64/152.50	c cleaning 504 clauses out of 1021 for limit 0.9189025861546709
154.64/152.53	c cleaning 502 clauses out of 1017 for limit 1.5213535420983872
154.64/152.57	c cleaning 499 clauses out of 1016 for limit 2.513898817807162
154.74/152.61	c cleaning 500 clauses out of 1017 for limit 4.141678998224238
154.74/152.65	c cleaning 501 clauses out of 1016 for limit 6.8300684474219535
154.74/152.68	c cleaning 501 clauses out of 1015 for limit 11.27479381801865
154.84/152.72	c cleaning 498 clauses out of 1015 for limit 18.61225557642131
154.84/152.76	c cleaning 502 clauses out of 1016 for limit 30.633224732197572
154.84/152.80	c cleaning 498 clauses out of 1014 for limit 50.61792721188135
154.95/152.83	c cleaning 501 clauses out of 1016 for limit 83.31141120747309
154.95/152.87	c cleaning 499 clauses out of 1016 for limit 137.52919147379248
155.05/152.91	c cleaning 503 clauses out of 1017 for limit 226.58102224918585
155.05/152.94	c cleaning 498 clauses out of 1014 for limit 374.7679272656987
155.05/152.98	c cleaning 500 clauses out of 1016 for limit 616.8258286261117
155.14/153.02	c cleaning 496 clauses out of 1015 for limit 1017.2122737614643
155.14/153.06	c cleaning 502 clauses out of 1019 for limit 1670.9341574591808
155.14/153.09	c cleaning 497 clauses out of 1017 for limit 2761.0130230558757
155.24/153.13	c cleaning 502 clauses out of 1021 for limit 4539.98130741681
155.24/153.17	c cleaning 499 clauses out of 1018 for limit 7501.591381603174
155.34/153.20	c cleaning 500 clauses out of 1019 for limit 12358.987274192556
155.34/153.24	c cleaning 495 clauses out of 1019 for limit 20381.623370881367
155.34/153.28	c cleaning 502 clauses out of 1025 for limit 33448.718953784206
155.44/153.32	c cleaning 499 clauses out of 1022 for limit 55268.01086390882
155.44/153.35	c cleaning 505 clauses out of 1023 for limit 91055.24838182943
155.44/153.39	c cleaning 501 clauses out of 1018 for limit 150899.82151938826
155.54/153.43	c cleaning 501 clauses out of 1017 for limit 249098.6868938821
155.54/153.47	c cleaning 500 clauses out of 1017 for limit 411208.26678093796
155.64/153.50	c cleaning 501 clauses out of 1017 for limit 678137.4423795193
155.64/153.54	c cleaning 499 clauses out of 1016 for limit 1119440.0898064212
155.64/153.58	c cleaning 499 clauses out of 1017 for limit 1844291.2168460875
155.74/153.61	c cleaning 503 clauses out of 1018 for limit 3038495.237179429
155.74/153.65	c cleaning 507 clauses out of 1014 for limit 5025621.282037014
155.74/153.69	c cleaning 503 clauses out of 1007 for limit 8345533.97716114
155.84/153.73	c cleaning 495 clauses out of 1004 for limit 1.3804026182985546E7
155.84/153.76	c cleaning 496 clauses out of 1010 for limit 2.2652102190020677E7
155.97/153.80	c cleaning 506 clauses out of 1013 for limit 3.720847029969371E7
155.97/153.84	c cleaning 496 clauses out of 1008 for limit 6.172784676709813E7
155.97/153.87	c cleaning 505 clauses out of 1011 for limit 1.0139391205003747E8
156.07/153.91	c cleaning 503 clauses out of 1007 for limit 1.6804436868114555E8
156.07/153.95	c cleaning 501 clauses out of 1003 for limit 2.7795460668227065E8
156.07/153.98	c cleaning 501 clauses out of 1002 for limit 4.5884179991283315E8
156.17/154.02	c cleaning 491 clauses out of 1001 for limit 7.574474463893113E8
156.17/154.06	c cleaning 498 clauses out of 1010 for limit 1.2380012878921766E9
156.27/154.10	c cleaning 506 clauses out of 1012 for limit 2.037594899198936E9
156.27/154.13	c cleaning 503 clauses out of 1007 for limit 3.380331445872979E9
156.27/154.17	c cleaning 491 clauses out of 1003 for limit 5.591253696076724E9
156.37/154.21	c cleaning 497 clauses out of 1012 for limit 9.138722831379562E9
156.37/154.25	c cleaning 508 clauses out of 1016 for limit 1.5026668620862837E10
156.37/154.28	c cleaning 496 clauses out of 1007 for limit 2.497746285361601E10
156.47/154.32	c cleaning 498 clauses out of 1012 for limit 4.102869263978265E10
156.47/154.36	c cleaning 506 clauses out of 1013 for limit 6.752741438636502E10
156.47/154.39	c cleaning 496 clauses out of 1007 for limit 1.12025265738551E11
156.57/154.43	c cleaning 506 clauses out of 1012 for limit 1.840158955620898E11
156.57/154.47	c cleaning 503 clauses out of 1006 for limit 3.0527677031394727E11
156.67/154.51	c cleaning 497 clauses out of 1003 for limit 5.049480427159024E11
156.67/154.54	c cleaning 492 clauses out of 1005 for limit 8.302386355670497E11
156.67/154.58	c cleaning 497 clauses out of 1013 for limit 1.3583617475563618E12
156.77/154.62	c cleaning 508 clauses out of 1016 for limit 2.2335057118359326E12
156.77/154.65	c cleaning 504 clauses out of 1009 for limit 3.712615794442419E12
156.77/154.69	c cleaning 493 clauses out of 1004 for limit 6.146938055148397E12
156.87/154.73	c cleaning 506 clauses out of 1012 for limit 1.0067054869398242E13
156.87/154.77	c cleaning 492 clauses out of 1005 for limit 1.6700837935909195E13
156.97/154.80	c cleaning 507 clauses out of 1014 for limit 2.732478586497164E13
156.97/154.84	c cleaning 491 clauses out of 1006 for limit 4.53751544930172E13
156.97/154.88	c cleaning 498 clauses out of 1015 for limit 7.416618535781752E13
157.07/154.91	c cleaning 498 clauses out of 1017 for limit 1.220694305322103E14
157.07/154.95	c cleaning 499 clauses out of 1020 for limit 2.0091765398991078E14
157.07/154.99	c cleaning 510 clauses out of 1020 for limit 3.310087496225294E14
157.17/155.02	c cleaning 505 clauses out of 1011 for limit 5.512884436162809E14
157.17/155.06	c cleaning 494 clauses out of 1006 for limit 9.136670237585305E14
157.17/155.10	c cleaning 505 clauses out of 1011 for limit 1.497808017371349E15
157.27/155.13	c cleaning 494 clauses out of 1007 for limit 2.482379835196751E15
157.27/155.17	c cleaning 506 clauses out of 1012 for limit 4.069476716648137E15
157.37/155.21	c cleaning 503 clauses out of 1007 for limit 6.751184997048144E15
157.37/155.24	c cleaning 501 clauses out of 1003 for limit 1.1166830434254902E16
157.37/155.28	c cleaning 501 clauses out of 1003 for limit 1.8434031289224596E16
157.47/155.32	c cleaning 500 clauses out of 1001 for limit 3.0430462360918784E16
157.47/155.35	c cleaning 501 clauses out of 1002 for limit 5.0184003615317624E16
157.47/155.39	c cleaning 491 clauses out of 1001 for limit 8.284281291555267E-4
157.57/155.42	c cleaning 494 clauses out of 1009 for limit 0.001354001431041655
157.57/155.46	c cleaning 498 clauses out of 1015 for limit 0.002219729911637657
157.67/155.50	c cleaning 496 clauses out of 1017 for limit 0.0036534326922931255
157.67/155.54	c cleaning 500 clauses out of 1021 for limit 0.0060013949504829885
157.67/155.57	c cleaning 497 clauses out of 1021 for limit 0.00989710312559931
157.77/155.61	c cleaning 504 clauses out of 1024 for limit 0.01627382973949652
157.77/155.65	c cleaning 502 clauses out of 1021 for limit 0.02694352300387462
157.77/155.68	c cleaning 500 clauses out of 1019 for limit 0.044520683831945365
157.87/155.72	c cleaning 497 clauses out of 1018 for limit 0.07341919318454715
157.87/155.76	c cleaning 501 clauses out of 1022 for limit 0.12072490953826337
157.87/155.79	c cleaning 500 clauses out of 1020 for limit 0.19928241975780295
157.97/155.83	c cleaning 497 clauses out of 1020 for limit 0.3286433697057746
157.97/155.87	c cleaning 501 clauses out of 1024 for limit 0.5404001847586053
158.07/155.91	c cleaning 501 clauses out of 1022 for limit 0.8920432779393932
158.07/155.94	c cleaning 499 clauses out of 1022 for limit 1.472571272008794
158.07/155.98	c cleaning 502 clauses out of 1023 for limit 2.426093156543609
158.17/156.02	c cleaning 502 clauses out of 1021 for limit 4.008789492687659
158.17/156.06	c cleaning 498 clauses out of 1019 for limit 6.624005685043735
158.17/156.09	c cleaning 500 clauses out of 1020 for limit 10.902248678464517
158.27/156.13	c cleaning 500 clauses out of 1021 for limit 17.979636716514182
158.27/156.17	c cleaning 504 clauses out of 1020 for limit 29.650215760112996
158.37/156.21	c cleaning 503 clauses out of 1016 for limit 49.08968087578056
158.37/156.25	c cleaning 501 clauses out of 1014 for limit 81.19632263230338
158.37/156.29	c cleaning 500 clauses out of 1012 for limit 134.0340616576242
158.47/156.33	c cleaning 500 clauses out of 1013 for limit 221.04293791377748
158.47/156.37	c cleaning 500 clauses out of 1012 for limit 364.5246925254116
158.57/156.41	c cleaning 499 clauses out of 1013 for limit 601.1577055969179
158.57/156.46	c cleaning 500 clauses out of 1014 for limit 990.4117763135733
158.67/156.50	c cleaning 501 clauses out of 1013 for limit 1633.2989410065595
158.67/156.54	c cleaning 501 clauses out of 1013 for limit 2696.224677220269
158.67/156.58	c cleaning 500 clauses out of 1012 for limit 4450.828897879767
158.77/156.61	c cleaning 498 clauses out of 1012 for limit 7340.012273841184
158.77/156.65	c cleaning 497 clauses out of 1013 for limit 12080.620134994948
158.77/156.69	c cleaning 501 clauses out of 1016 for limit 19863.732266144234
158.87/156.72	c cleaning 498 clauses out of 1015 for limit 32790.22567359991
158.87/156.76	c cleaning 501 clauses out of 1018 for limit 53970.080851659775
158.97/156.80	c cleaning 503 clauses out of 1016 for limit 89089.90871953516
158.97/156.84	c cleaning 499 clauses out of 1014 for limit 147358.3213950522
158.97/156.87	c cleaning 500 clauses out of 1015 for limit 242774.162972541
371.32/368.47	c cleaning 534993 clauses out of 1070014 for limit 1.1808285579751242E7
393.93/391.09	c cleaning 267754 clauses out of 535522 for limit 3.8948379206984304E7
411.23/408.37	c cleaning 134130 clauses out of 268269 for limit 1.2834726396733543E8
417.73/414.84	c cleaning 67312 clauses out of 134639 for limit 4.217373988465555E8
418.63/415.79	c cleaning 33905 clauses out of 67825 for limit 1.3778757394560661E9
418.93/416.05	c cleaning 17199 clauses out of 34420 for limit 4.477595701164476E9
419.13/416.20	c cleaning 8852 clauses out of 17722 for limit 1.4355998672314718E10
419.13/416.27	c cleaning 4677 clauses out of 9370 for limit 4.477776758449972E10
419.23/416.32	c cleaning 2585 clauses out of 5192 for limit 1.3313392018132195E11
419.23/416.36	c cleaning 1542 clauses out of 3107 for limit 3.6689182728243256E11
419.33/416.40	c cleaning 1033 clauses out of 2067 for limit 9.113049408328682E11
419.33/416.43	c cleaning 757 clauses out of 1532 for limit 2.0236355475108953E12
419.33/416.47	c cleaning 637 clauses out of 1275 for limit 4.009929777229357E12
419.43/416.50	c cleaning 561 clauses out of 1138 for limit 7.409016755589536E12
419.43/416.53	c cleaning 538 clauses out of 1077 for limit 1.2910498831554879E13
419.43/416.57	c cleaning 519 clauses out of 1039 for limit 2.206983394268606E13
419.53/416.60	c cleaning 510 clauses out of 1020 for limit 3.707407535026846E13
419.53/416.64	c cleaning 496 clauses out of 1012 for limit 6.174686293982109E13
419.53/416.67	c cleaning 501 clauses out of 1015 for limit 1.0142633753689233E14
419.63/416.70	c cleaning 507 clauses out of 1014 for limit 1.6743055538321978E14
419.63/416.73	c cleaning 493 clauses out of 1006 for limit 2.780328217358259E14
419.63/416.77	c cleaning 499 clauses out of 1014 for limit 4.5535120674271706E14
419.63/416.80	c cleaning 508 clauses out of 1016 for limit 7.502070441438854E14
419.73/416.83	c cleaning 503 clauses out of 1006 for limit 1.246992175367635E15
419.73/416.87	c cleaning 493 clauses out of 1003 for limit 2.062607834806373E15
419.73/416.90	c cleaning 493 clauses out of 1010 for limit 3.377941385233916E15
419.83/416.93	c cleaning 500 clauses out of 1017 for limit 5.532334325994301E15
419.83/416.96	c cleaning 509 clauses out of 1018 for limit 9.123720887795392E15
419.83/417.00	c cleaning 504 clauses out of 1008 for limit 1.5180309006205348E16
419.93/417.03	c cleaning 502 clauses out of 1004 for limit 2.5134098824036232E16
419.93/417.06	c cleaning 501 clauses out of 1002 for limit 4.15322248560706E16
419.93/417.09	c cleaning 496 clauses out of 1001 for limit 6.856061864039763E-4
420.03/417.13	c cleaning 492 clauses out of 1005 for limit 0.0011261561954776073
420.03/417.16	c cleaning 493 clauses out of 1013 for limit 0.0018425154313200449
420.03/417.19	c cleaning 500 clauses out of 1020 for limit 0.003017701609007339
420.13/417.23	c cleaning 494 clauses out of 1020 for limit 0.004976593654151855
420.13/417.26	c cleaning 502 clauses out of 1027 for limit 0.008159288856855188
420.23/417.30	c cleaning 503 clauses out of 1024 for limit 0.013481684843586392
420.23/417.33	c cleaning 502 clauses out of 1021 for limit 0.022298429284148952
420.23/417.37	c cleaning 501 clauses out of 1020 for limit 0.03684599096290804
420.33/417.40	c cleaning 496 clauses out of 1019 for limit 0.06082359924597298
420.33/417.44	c cleaning 502 clauses out of 1024 for limit 0.09991639176285026
420.33/417.47	c cleaning 500 clauses out of 1020 for limit 0.16509099708235686
420.43/417.50	c cleaning 499 clauses out of 1020 for limit 0.2722571396672715
420.43/417.54	c cleaning 501 clauses out of 1021 for limit 0.44854869160064476
420.43/417.57	c cleaning 495 clauses out of 1020 for limit 0.740442010767152
420.53/417.60	c cleaning 500 clauses out of 1025 for limit 1.2151314038257357
420.53/417.64	c cleaning 501 clauses out of 1026 for limit 2.0039650745643893
420.53/417.67	c cleaning 497 clauses out of 1024 for limit 3.3079499325971473
420.63/417.71	c cleaning 503 clauses out of 1028 for limit 5.43946477189345
420.63/417.74	c cleaning 499 clauses out of 1025 for limit 8.996659931589127
420.63/417.78	c cleaning 501 clauses out of 1025 for limit 14.821859083044854
420.73/417.81	c cleaning 506 clauses out of 1027 for limit 24.468960736694815
420.73/417.84	c cleaning 498 clauses out of 1018 for limit 40.58733549177784
420.73/417.87	c cleaning 499 clauses out of 1020 for limit 66.80270287136153
420.83/417.91	c cleaning 500 clauses out of 1021 for limit 110.05869306110955
420.83/417.94	c cleaning 499 clauses out of 1021 for limit 181.50150824631524
420.83/417.98	c cleaning 500 clauses out of 1022 for limit 299.0273909610488
420.93/418.01	c cleaning 502 clauses out of 1022 for limit 493.13617086344743
420.93/418.05	c cleaning 504 clauses out of 1022 for limit 814.876454362775
420.93/418.08	c cleaning 499 clauses out of 1016 for limit 1349.0741492199847
421.03/418.11	c cleaning 498 clauses out of 1017 for limit 2222.616133669804
421.03/418.15	c cleaning 500 clauses out of 1019 for limit 3658.1972458096293
421.03/418.18	c cleaning 498 clauses out of 1019 for limit 6032.856643212176
421.13/418.22	c cleaning 500 clauses out of 1021 for limit 9929.498953407943
421.13/418.25	c cleaning 498 clauses out of 1022 for limit 16375.42496828428
421.13/418.28	c cleaning 500 clauses out of 1024 for limit 26952.52177684901
421.23/418.32	c cleaning 501 clauses out of 1024 for limit 44448.31405387986
421.23/418.35	c cleaning 497 clauses out of 1022 for limit 73371.21800802853
421.23/418.38	c cleaning 502 clauses out of 1025 for limit 120644.81064140989
421.33/418.42	c cleaning 503 clauses out of 1023 for limit 199348.40481891175
421.33/418.45	c cleaning 500 clauses out of 1021 for limit 329725.89457286906
421.33/418.49	c cleaning 501 clauses out of 1020 for limit 543750.914989412
421.43/418.52	c cleaning 502 clauses out of 1019 for limit 897597.9985513428
421.43/418.55	c cleaning 498 clauses out of 1017 for limit 1483170.2089552202
421.43/418.59	c cleaning 500 clauses out of 1019 for limit 2441145.410255055
421.53/418.62	c cleaning 497 clauses out of 1019 for limit 4025775.352100987
421.53/418.66	c cleaning 502 clauses out of 1024 for limit 6619858.012549734
421.53/418.69	c cleaning 510 clauses out of 1020 for limit 1.0937934612664852E7
421.63/418.73	c cleaning 493 clauses out of 1011 for limit 1.821691105104924E7
421.63/418.76	c cleaning 500 clauses out of 1018 for limit 2.9835546851333957E7
421.63/418.79	c cleaning 509 clauses out of 1018 for limit 4.920280808589977E7
421.73/418.82	c cleaning 505 clauses out of 1010 for limit 8.186658836794181E7
421.73/418.86	c cleaning 502 clauses out of 1004 for limit 1.3567996678350997E8
421.73/418.89	c cleaning 488 clauses out of 1001 for limit 2.2420058381425315E8
421.83/418.92	c cleaning 498 clauses out of 1013 for limit 3.653568533888811E8
421.83/418.95	c cleaning 507 clauses out of 1015 for limit 6.013350916897758E8
421.83/418.99	c cleaning 504 clauses out of 1008 for limit 9.985686920002697E8
421.93/419.02	c cleaning 492 clauses out of 1004 for limit 1.6533342092749147E9
421.93/419.05	c cleaning 493 clauses out of 1013 for limit 2.7050501314231815E9
421.93/419.09	c cleaning 498 clauses out of 1020 for limit 4.430374907738479E9
422.03/419.12	c cleaning 510 clauses out of 1021 for limit 7.291825778102475E9
422.03/419.15	c cleaning 496 clauses out of 1012 for limit 1.2144283919398062E10
422.03/419.18	c cleaning 507 clauses out of 1015 for limit 1.9948385736668026E10
422.13/419.22	c cleaning 504 clauses out of 1008 for limit 3.312601198211451E10
422.13/419.25	c cleaning 490 clauses out of 1004 for limit 5.4846871592951805E10
422.13/419.29	c cleaning 495 clauses out of 1014 for limit 8.955781839659758E10
422.23/419.32	c cleaning 496 clauses out of 1019 for limit 1.4696812845311218E11
422.23/419.35	c cleaning 500 clauses out of 1023 for limit 2.414224211691744E11
422.23/419.38	c cleaning 511 clauses out of 1023 for limit 3.981378694216578E11
422.33/419.42	c cleaning 493 clauses out of 1012 for limit 6.637193760924554E11
422.33/419.45	c cleaning 507 clauses out of 1019 for limit 1.0870429700389136E12
422.33/419.49	c cleaning 506 clauses out of 1012 for limit 1.8050792350923096E12
422.43/419.52	c cleaning 497 clauses out of 1007 for limit 2.9945923515384526E12
422.43/419.56	c cleaning 500 clauses out of 1010 for limit 4.923814634518905E12
422.53/419.60	c cleaning 501 clauses out of 1010 for limit 8.120029028458924E12
422.53/419.63	c cleaning 504 clauses out of 1008 for limit 1.340416603487127E13
422.53/419.67	c cleaning 502 clauses out of 1005 for limit 2.21934422706325E13
422.63/419.71	c cleaning 501 clauses out of 1002 for limit 3.667282645832908E13
422.63/419.74	c cleaning 496 clauses out of 1001 for limit 6.053881481159037E13
422.63/419.78	c cleaning 497 clauses out of 1005 for limit 9.943924474271434E13
422.73/419.82	c cleaning 496 clauses out of 1009 for limit 1.6350201580324272E14
422.73/419.86	c cleaning 506 clauses out of 1012 for limit 2.6856854131755897E14
422.73/419.89	c cleaning 503 clauses out of 1006 for limit 4.455470363085475E14
422.83/419.93	c cleaning 496 clauses out of 1004 for limit 7.369673130216718E14
422.83/419.96	c cleaning 496 clauses out of 1007 for limit 1.2105252239642155E15
422.93/420.00	c cleaning 506 clauses out of 1012 for limit 1.98844324733093E15
422.93/420.04	c cleaning 503 clauses out of 1006 for limit 3.2987668301347495E15
422.93/420.08	c cleaning 496 clauses out of 1003 for limit 5.45637931290895E15
423.03/420.12	c cleaning 496 clauses out of 1006 for limit 8.96249406790315E15
423.03/420.16	c cleaning 505 clauses out of 1011 for limit 1.4721975990997884E16
423.03/420.20	c cleaning 503 clauses out of 1006 for limit 2.4399176408098308E16
423.13/420.24	c cleaning 501 clauses out of 1003 for limit 4.0357857423868256E16
423.13/420.27	c cleaning 491 clauses out of 1001 for limit 6.662179541933543E-4
423.23/420.32	c cleaning 496 clauses out of 1010 for limit 0.0010888922911284663
423.23/420.35	c cleaning 502 clauses out of 1014 for limit 0.0017886453136589475
423.23/420.39	c cleaning 499 clauses out of 1012 for limit 0.0029555448799936167
423.33/420.43	c cleaning 498 clauses out of 1013 for limit 0.00486927735394249
423.33/420.47	c cleaning 496 clauses out of 1015 for limit 0.008014266919962112
423.43/420.51	c cleaning 496 clauses out of 1019 for limit 0.013164717619893868
423.43/420.55	c cleaning 509 clauses out of 1024 for limit 0.021625998781117844
423.43/420.59	c cleaning 503 clauses out of 1014 for limit 0.03597986678593803
423.53/420.62	c cleaning 503 clauses out of 1013 for limit 0.059513154576159424
423.53/420.66	c cleaning 493 clauses out of 1008 for limit 0.09843481920454196
423.63/420.71	c cleaning 501 clauses out of 1016 for limit 0.16121519425405118
423.63/420.75	c cleaning 501 clauses out of 1015 for limit 0.266127358684427
423.63/420.78	c cleaning 500 clauses out of 1013 for limit 0.4393063650408695
423.73/420.82	c cleaning 499 clauses out of 1013 for limit 0.7244749653064833
423.73/420.87	c cleaning 500 clauses out of 1014 for limit 1.1935778758278432
423.83/420.91	c cleaning 499 clauses out of 1014 for limit 1.9683695912316646
423.83/420.95	c cleaning 501 clauses out of 1016 for limit 3.2429577674425127
423.83/420.99	c cleaning 498 clauses out of 1015 for limit 5.353340229299968
423.93/421.03	c cleaning 498 clauses out of 1016 for limit 8.810865165628213
423.93/421.07	c cleaning 503 clauses out of 1019 for limit 14.502019271723407
424.03/421.11	c cleaning 501 clauses out of 1016 for limit 23.98638725508541
424.03/421.15	c cleaning 497 clauses out of 1014 for limit 39.59514786815417
603.31/599.78	c cleaning 440994 clauses out of 882017 for limit 47.89958657454871
653.31/649.79	c cleaning 220759 clauses out of 441523 for limit 157.80155404229197
669.61/666.09	c cleaning 110625 clauses out of 221264 for limit 519.2897322820481
674.52/670.98	c cleaning 55560 clauses out of 111139 for limit 1704.9431290924547
675.41/671.81	c cleaning 28025 clauses out of 56079 for limit 5572.268158589325
675.51/672.00	c cleaning 14266 clauses out of 28555 for limit 18065.105538922344
675.62/672.10	c cleaning 7384 clauses out of 14789 for limit 57522.76396397846
675.72/672.16	c cleaning 3940 clauses out of 7904 for limit 177318.07108872326
675.81/672.21	c cleaning 2221 clauses out of 4464 for limit 517763.7379346178
675.81/672.25	c cleaning 1360 clauses out of 2743 for limit 1389587.4920268194
675.81/672.29	c cleaning 929 clauses out of 1883 for limit 3338237.802932951
675.91/672.33	c cleaning 718 clauses out of 1455 for limit 7131731.69935268
675.91/672.37	c cleaning 618 clauses out of 1236 for limit 1.3831232894216498E7
676.01/672.40	c cleaning 558 clauses out of 1118 for limit 2.521700173776398E7
676.01/672.44	c cleaning 530 clauses out of 1061 for limit 4.386420542816658E7
676.01/672.48	c cleaning 500 clauses out of 1031 for limit 7.444282959285423E7
676.11/672.52	c cleaning 505 clauses out of 1030 for limit 1.2276248987759928E8
676.11/672.55	c cleaning 497 clauses out of 1025 for limit 2.0343933828355816E8
676.11/672.59	c cleaning 500 clauses out of 1028 for limit 3.3451960269337463E8
676.21/672.63	c cleaning 514 clauses out of 1028 for limit 5.516675760731921E8
676.21/672.67	c cleaning 507 clauses out of 1014 for limit 9.223346109039712E8
676.31/672.71	c cleaning 495 clauses out of 1008 for limit 1.5316386876487272E9
676.31/672.75	c cleaning 496 clauses out of 1012 for limit 2.513377497567267E9
676.31/672.79	c cleaning 508 clauses out of 1017 for limit 4.128646321680544E9
676.41/672.83	c cleaning 504 clauses out of 1009 for limit 6.86267377270327E9
676.41/672.87	c cleaning 493 clauses out of 1004 for limit 1.136245518231275E10
676.51/672.91	c cleaning 506 clauses out of 1012 for limit 1.8608689195365433E10
676.51/672.95	c cleaning 491 clauses out of 1006 for limit 3.0871249029790546E10
676.51/672.99	c cleaning 501 clauses out of 1014 for limit 5.045864710520282E10
676.61/673.03	c cleaning 492 clauses out of 1013 for limit 8.329520448559926E10
676.61/673.07	c cleaning 500 clauses out of 1022 for limit 1.3629155514402914E11
676.72/673.11	c cleaning 496 clauses out of 1021 for limit 2.2475816410910654E11
676.72/673.15	c cleaning 499 clauses out of 1026 for limit 3.692191822523395E11
676.72/673.19	c cleaning 499 clauses out of 1026 for limit 6.08282932967836E11
676.82/673.23	c cleaning 514 clauses out of 1028 for limit 1.0021904874791663E12
676.82/673.27	c cleaning 507 clauses out of 1014 for limit 1.675565165348998E12
676.91/673.31	c cleaning 503 clauses out of 1006 for limit 2.7824199104993677E12
676.91/673.35	c cleaning 490 clauses out of 1004 for limit 4.602325586380246E12
676.91/673.39	c cleaning 494 clauses out of 1013 for limit 7.514896122784474E12
677.01/673.44	c cleaning 510 clauses out of 1021 for limit 1.2320592555699744E13
677.01/673.47	c cleaning 504 clauses out of 1009 for limit 2.05188508636565E13
677.11/673.51	c cleaning 503 clauses out of 1006 for limit 3.397321278262474E13
677.11/673.55	c cleaning 501 clauses out of 1002 for limit 5.619378087732072E13
677.11/673.59	c cleaning 487 clauses out of 1001 for limit 9.276364061986723E13
677.21/673.63	c cleaning 493 clauses out of 1014 for limit 1.5101837547639528E14
677.21/673.67	c cleaning 494 clauses out of 1021 for limit 2.4734201478347394E14
677.31/673.71	c cleaning 514 clauses out of 1028 for limit 4.0552806960259756E14
677.31/673.74	c cleaning 507 clauses out of 1014 for limit 6.780035487130485E14
677.31/673.78	c cleaning 489 clauses out of 1006 for limit 1.1258831422026391E15
677.41/673.82	c cleaning 508 clauses out of 1017 for limit 1.836649273314572E15
677.41/673.86	c cleaning 504 clauses out of 1009 for limit 3.0528952628957335E15
677.51/673.90	c cleaning 499 clauses out of 1006 for limit 5.054701213951958E15
677.51/673.94	c cleaning 491 clauses out of 1007 for limit 8.327600574660562E15
677.51/673.98	c cleaning 508 clauses out of 1016 for limit 1.3611673903393392E16
677.61/674.03	c cleaning 504 clauses out of 1008 for limit 2.2625625737216512E16
677.61/674.07	c cleaning 494 clauses out of 1003 for limit 3.746119035569241E-4
677.71/674.11	c cleaning 500 clauses out of 1009 for limit 6.141114956196082E-4
677.71/674.14	c cleaning 496 clauses out of 1010 for limit 0.0010127620479277316
677.71/674.18	c cleaning 496 clauses out of 1013 for limit 0.0016635686288567634
677.82/674.22	c cleaning 492 clauses out of 1017 for limit 0.0027326568643443556
677.82/674.26	c cleaning 500 clauses out of 1025 for limit 0.004471343924037128
677.82/674.30	c cleaning 498 clauses out of 1026 for limit 0.007374031345025743
677.92/674.34	c cleaning 501 clauses out of 1027 for limit 0.012136774189434147
677.92/674.38	c cleaning 504 clauses out of 1027 for limit 0.02003519946644658
678.01/674.42	c cleaning 499 clauses out of 1022 for limit 0.03316916918822074
678.01/674.46	c cleaning 500 clauses out of 1024 for limit 0.05464820877877818
678.11/674.50	c cleaning 500 clauses out of 1024 for limit 0.09012220698278205
678.11/674.54	c cleaning 503 clauses out of 1024 for limit 0.14862357564776144
678.11/674.58	c cleaning 500 clauses out of 1020 for limit 0.2458152745066887
678.21/674.62	c cleaning 501 clauses out of 1020 for limit 0.40538227224062445
678.21/674.66	c cleaning 495 clauses out of 1019 for limit 0.6691856623698096
804.19/799.40	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
808.49/803.70		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
809.19/804.49		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
810.79/806.06		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
811.59/806.85		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
812.39/807.64		at org.sat4j.minisat.core.Solver.search(Unknown Source)
813.20/808.42		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
814.00/809.21		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
814.81/810.00		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
816.30/811.57		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
817.10/812.36		at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
820.91/816.18	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
820.91/816.18		at java.nio.CharBuffer.wrap(CharBuffer.java:350)
821.70/816.97		at sun.nio.cs.StreamEncoder.implWrite(StreamEncoder.java:246)

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-3734629-1338701390/watcher-3734629-1338701390 -o /tmp/evaluation-result-3734629-1338701390/solver-3734629-1338701390 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734629-1338701390.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.99 3/194 32748
/proc/meminfo: memFree=30992168/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/32748/stat : 32748 (java) D 32746 32748 28219 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336263881 9515008 182 33554432000 1073741824 1073778376 140734064449872 140734064440904 240565173941 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/32748/statm: 2323 182 140 9 0 71 0

[startup+0.012553 s]
/proc/loadavg: 1.93 1.99 1.99 3/194 32748
/proc/meminfo: memFree=30992168/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=94176 CPUtime=0 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 1229 0 0 0 0 0 0 0 20 0 2 0 336263881 96436224 938 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 24081 947 718 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 94176

[startup+0.102222 s]
/proc/loadavg: 1.93 1.99 1.99 3/194 32748
/proc/meminfo: memFree=30992168/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 4544 0 1 0 7 1 0 0 20 0 18 0 336263881 3028844544 6263 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 739464 6264 2009 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300319 s]
/proc/loadavg: 1.93 1.99 1.99 3/194 32748
/proc/meminfo: memFree=30992168/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 6109 0 1 0 42 2 0 0 20 0 18 0 336263881 3028844544 9421 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 739464 9421 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856

[startup+0.700169 s]
/proc/loadavg: 1.93 1.99 1.99 3/194 32748
/proc/meminfo: memFree=30992168/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=3024420 CPUtime=1.11 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 7627 0 1 0 109 2 0 0 20 0 19 0 336263881 3097006080 11714 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 756105 11714 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 3024420

[startup+1.50075 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 300
/proc/meminfo: memFree=30949588/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=3024420 CPUtime=1.93 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 7635 0 1 0 191 2 0 0 20 0 19 0 336263881 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 756105 14787 2264 9 0 746526 0
[pid=32748/tid=32750] ppid=32746 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/32748/task/32750/stat : 32750 (java) R 32746 32748 28219 0 -1 4202560 3081 0 1 0 145 2 0 0 20 0 19 0 336263882 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140036061698664 140036001912349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32751] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32751/stat : 32751 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035926649384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32752] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32752/stat : 32752 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035925596584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32753] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32753/stat : 32753 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035924543784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32754] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32754/stat : 32754 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035923490984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32755] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32755/stat : 32755 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035922439208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32756] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32756/stat : 32756 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035921386408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32757] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32757/stat : 32757 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035920333608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32758] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32758/stat : 32758 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035919280808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32759] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32759/stat : 32759 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035907082728 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32760] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32760/stat : 32760 (java) S 32746 32748 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035906028792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32761] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32761/stat : 32761 (java) S 32746 32748 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035904975880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32762] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32762/stat : 32762 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035903924368 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32763] ppid=32746 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/32748/task/32763/stat : 32763 (java) S 32746 32748 28219 0 -1 4202560 1822 0 0 0 22 0 0 0 20 0 19 0 336263888 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035902872504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32764] ppid=32746 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/32748/task/32764/stat : 32764 (java) S 32746 32748 28219 0 -1 4202560 1534 0 0 0 21 0 0 0 20 0 19 0 336263888 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035901819704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32765] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32765/stat : 32765 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035900767096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32766] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32766/stat : 32766 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035899714504 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=300] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/300/stat : 300 (java) S 32746 32748 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336263914 3097006080 14787 33554432000 1073741824 1073778376 140736707974048 140035897582632 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 3024420

[startup+3.10076 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 300
/proc/meminfo: memFree=30932708/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=3024420 CPUtime=3.53 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 7648 0 1 0 350 3 0 0 20 0 19 0 336263881 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 756105 20931 2264 9 0 746526 0
[pid=32748/tid=32750] ppid=32746 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/32748/task/32750/stat : 32750 (java) R 32746 32748 28219 0 -1 4202560 3094 0 1 0 304 2 0 0 20 0 19 0 336263882 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140036061698512 140036001986100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32751] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32751/stat : 32751 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035926649384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32752] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32752/stat : 32752 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035925596584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32753] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32753/stat : 32753 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035924543784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32754] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32754/stat : 32754 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035923490984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32755] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32755/stat : 32755 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035922439208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32756] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32756/stat : 32756 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035921386408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32757] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32757/stat : 32757 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035920333608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32758] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32758/stat : 32758 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035919280808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32759] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32759/stat : 32759 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035907082728 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32760] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32760/stat : 32760 (java) S 32746 32748 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035906028792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32761] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32761/stat : 32761 (java) S 32746 32748 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035904975880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32762] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32762/stat : 32762 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035903924368 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32763] ppid=32746 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/32748/task/32763/stat : 32763 (java) S 32746 32748 28219 0 -1 4202560 1822 0 0 0 22 0 0 0 20 0 19 0 336263888 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035902872504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32764] ppid=32746 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/32748/task/32764/stat : 32764 (java) S 32746 32748 28219 0 -1 4202560 1534 0 0 0 21 0 0 0 20 0 19 0 336263888 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035901819704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32765] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32765/stat : 32765 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035900767096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32766] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32766/stat : 32766 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035899714504 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=300] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/300/stat : 300 (java) S 32746 32748 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336263914 3097006080 20931 33554432000 1073741824 1073778376 140736707974048 140035897582632 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 3024420

[startup+6.30078 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 300
/proc/meminfo: memFree=30876792/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=3024420 CPUtime=6.73 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 7676 0 1 0 670 3 0 0 20 0 19 0 336263881 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 756105 34163 2265 9 0 746526 0
[pid=32748/tid=32750] ppid=32746 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/32748/task/32750/stat : 32750 (java) R 32746 32748 28219 0 -1 4202560 3121 0 1 0 622 2 0 0 20 0 19 0 336263882 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140036061698512 140036001996641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32751] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32751/stat : 32751 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035926649384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32752] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32752/stat : 32752 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035925596584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32753] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32753/stat : 32753 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035924543784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32754] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32754/stat : 32754 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035923490984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32755] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32755/stat : 32755 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035922439208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32756] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32756/stat : 32756 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035921386408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32757] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32757/stat : 32757 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035920333608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32758] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32758/stat : 32758 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336263883 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035919280808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32759] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32759/stat : 32759 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035907082728 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32760] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32760/stat : 32760 (java) S 32746 32748 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035906028792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32761] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32761/stat : 32761 (java) S 32746 32748 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336263885 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035904975880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32762] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32762/stat : 32762 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035903924368 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32763] ppid=32746 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/32748/task/32763/stat : 32763 (java) S 32746 32748 28219 0 -1 4202560 1822 0 0 0 22 0 0 0 20 0 19 0 336263888 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035902872504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32764] ppid=32746 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/32748/task/32764/stat : 32764 (java) S 32746 32748 28219 0 -1 4202560 1534 0 0 0 22 0 0 0 20 0 19 0 336263888 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035901819704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32765] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32765/stat : 32765 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035900767096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32766] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32766/stat : 32766 (java) S 32746 32748 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336263888 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035899714504 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=300] ppid=32746 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32748/task/300/stat : 300 (java) S 32746 32748 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336263914 3097006080 34163 33554432000 1073741824 1073778376 140736707974048 140035897582632 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/32748/task/32762/stat : 32762 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419403 33554432000 1073741824 1073778376 140736707974048 140035903924368 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32763] ppid=32746 vsize=3090984 CPUtime=0.28 cores=0,2,4,6
/proc/32748/task/32763/stat : 32763 (java) S 32746 32748 28219 0 -1 4202560 2267 0 0 0 28 0 0 0 20 0 20 0 336263888 3165167616 419403 33554432000 1073741824 1073778376 140736707974048 140035902872504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32764] ppid=32746 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/32748/task/32764/stat : 32764 (java) S 32746 32748 28219 0 -1 4202560 1543 0 0 0 27 0 0 0 20 0 20 0 336263888 3165167616 419403 33554432000 1073741824 1073778376 140736707974048 140035901819704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32765] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32765/stat : 32765 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419403 33554432000 1073741824 1073778376 140736707974048 140035900767096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32766] ppid=32746 vsize=3090984 CPUtime=0.21 cores=0,2,4,6
/proc/32748/task/32766/stat : 32766 (java) S 32746 32748 28219 0 -1 4202560 48 0 0 0 12 9 0 0 20 0 20 0 336263888 3165167616 419403 33554432000 1073741824 1073778376 140736707974048 140035899714504 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=300] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/300/stat : 300 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336263914 3165167616 419403 33554432000 1073741824 1073778376 140736707974048 140035897582632 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=371] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/371/stat : 371 (java) S 32746 32748 28219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 336345196 3165167616 419403 33554432000 1073741824 1073778376 140736707974048 140035896525800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 820.7
Current children cumulated vsize (KiB) 3090984

[startup+816.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 371
/proc/meminfo: memFree=28399536/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=3090984 CPUtime=821.5 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 12543 0 1 0 82020 130 0 0 20 0 20 0 336263881 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 772746 419404 2294 9 0 763167 0
[pid=32748/tid=32750] ppid=32746 vsize=3090984 CPUtime=786.83 cores=0,2,4,6
/proc/32748/task/32750/stat : 32750 (java) S 32746 32748 28219 0 -1 4202560 3320 0 1 0 78666 17 0 0 20 0 20 0 336263882 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140036061701304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32751] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32751/stat : 32751 (java) S 32746 32748 28219 0 -1 4202560 714 0 0 0 50 19 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035926649384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32752] ppid=32746 vsize=3090984 CPUtime=0.63 cores=0,2,4,6
/proc/32748/task/32752/stat : 32752 (java) S 32746 32748 28219 0 -1 4202560 411 0 0 0 50 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035925596584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32753] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32753/stat : 32753 (java) S 32746 32748 28219 0 -1 4202560 329 0 0 0 56 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035924543784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32754] ppid=32746 vsize=3090984 CPUtime=0.89 cores=0,2,4,6
/proc/32748/task/32754/stat : 32754 (java) S 32746 32748 28219 0 -1 4202560 426 0 0 0 71 18 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035923490984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32755] ppid=32746 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/32748/task/32755/stat : 32755 (java) S 32746 32748 28219 0 -1 4202560 636 0 0 0 46 9 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035922439208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32756] ppid=32746 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/32748/task/32756/stat : 32756 (java) S 32746 32748 28219 0 -1 4202560 613 0 0 0 53 15 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035921386408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32757] ppid=32746 vsize=3090984 CPUtime=0.78 cores=0,2,4,6
/proc/32748/task/32757/stat : 32757 (java) S 32746 32748 28219 0 -1 4202560 515 0 0 0 65 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035920333608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32758] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32758/stat : 32758 (java) S 32746 32748 28219 0 -1 4202560 296 0 0 0 57 12 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035919280808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32759] ppid=32746 vsize=3090984 CPUtime=26.16 cores=0,2,4,6
/proc/32748/task/32759/stat : 32759 (java) R 32746 32748 28219 0 -1 4202560 220 0 0 0 2610 6 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035907082728 140036067826928 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32760] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32760/stat : 32760 (java) S 32746 32748 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035906028792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32761] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32761/stat : 32761 (java) S 32746 32748 28219 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035904975880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32762] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32762/stat : 32762 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035903924368 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32763] ppid=32746 vsize=3090984 CPUtime=0.28 cores=0,2,4,6
/proc/32748/task/32763/stat : 32763 (java) S 32746 32748 28219 0 -1 4202560 2267 0 0 0 28 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035902872504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32764] ppid=32746 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/32748/task/32764/stat : 32764 (java) S 32746 32748 28219 0 -1 4202560 1543 0 0 0 27 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035901819704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32765] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32765/stat : 32765 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035900767096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32766] ppid=32746 vsize=3090984 CPUtime=0.21 cores=0,2,4,6
/proc/32748/task/32766/stat : 32766 (java) S 32746 32748 28219 0 -1 4202560 48 0 0 0 12 9 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035899714504 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=300] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/300/stat : 300 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336263914 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035897582632 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=371] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/371/stat : 371 (java) S 32746 32748 28219 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336345196 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035896528168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 821.5
Current children cumulated vsize (KiB) 3090984

[startup+817.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 371
/proc/meminfo: memFree=28399536/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=3090984 CPUtime=821.9 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 12544 0 1 0 82060 130 0 0 20 0 20 0 336263881 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 772746 419404 2294 9 0 763167 0
[pid=32748/tid=32750] ppid=32746 vsize=3090984 CPUtime=786.83 cores=0,2,4,6
/proc/32748/task/32750/stat : 32750 (java) S 32746 32748 28219 0 -1 4202560 3320 0 1 0 78666 17 0 0 20 0 20 0 336263882 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140036061701304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32751] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32751/stat : 32751 (java) S 32746 32748 28219 0 -1 4202560 714 0 0 0 50 19 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035926649384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32752] ppid=32746 vsize=3090984 CPUtime=0.63 cores=0,2,4,6
/proc/32748/task/32752/stat : 32752 (java) S 32746 32748 28219 0 -1 4202560 411 0 0 0 50 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035925596584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32753] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32753/stat : 32753 (java) S 32746 32748 28219 0 -1 4202560 329 0 0 0 56 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035924543784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32754] ppid=32746 vsize=3090984 CPUtime=0.89 cores=0,2,4,6
/proc/32748/task/32754/stat : 32754 (java) S 32746 32748 28219 0 -1 4202560 426 0 0 0 71 18 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035923490984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32755] ppid=32746 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/32748/task/32755/stat : 32755 (java) S 32746 32748 28219 0 -1 4202560 636 0 0 0 46 9 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035922439208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32756] ppid=32746 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/32748/task/32756/stat : 32756 (java) S 32746 32748 28219 0 -1 4202560 613 0 0 0 53 15 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035921386408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32757] ppid=32746 vsize=3090984 CPUtime=0.78 cores=0,2,4,6
/proc/32748/task/32757/stat : 32757 (java) S 32746 32748 28219 0 -1 4202560 515 0 0 0 65 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035920333608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32758] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32758/stat : 32758 (java) S 32746 32748 28219 0 -1 4202560 296 0 0 0 57 12 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035919280808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32759] ppid=32746 vsize=3090984 CPUtime=26.56 cores=0,2,4,6
/proc/32748/task/32759/stat : 32759 (java) R 32746 32748 28219 0 -1 4202560 220 0 0 0 2650 6 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035907082888 140036067826928 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32760] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32760/stat : 32760 (java) S 32746 32748 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035906028792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32761] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32761/stat : 32761 (java) S 32746 32748 28219 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035904975880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32762] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32762/stat : 32762 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035903924368 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32763] ppid=32746 vsize=3090984 CPUtime=0.28 cores=0,2,4,6
/proc/32748/task/32763/stat : 32763 (java) S 32746 32748 28219 0 -1 4202560 2267 0 0 0 28 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035902872504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32764] ppid=32746 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/32748/task/32764/stat : 32764 (java) S 32746 32748 28219 0 -1 4202560 1543 0 0 0 27 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035901819704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32765] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32765/stat : 32765 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035900767096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32766] ppid=32746 vsize=3090984 CPUtime=0.21 cores=0,2,4,6
/proc/32748/task/32766/stat : 32766 (java) S 32746 32748 28219 0 -1 4202560 48 0 0 0 12 9 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035899714504 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=300] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/300/stat : 300 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336263914 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035897582632 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=371] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/371/stat : 371 (java) S 32746 32748 28219 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336345196 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035896528264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 3090984

[startup+817.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 371
/proc/meminfo: memFree=28399536/32873844 swapFree=7116/7116
[pid=32748] ppid=32746 vsize=3090984 CPUtime=822.11 cores=0,2,4,6
/proc/32748/stat : 32748 (java) S 32746 32748 28219 0 -1 4202496 12544 0 1 0 82081 130 0 0 20 0 20 0 336263881 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140736707965184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32748/statm: 772746 419404 2294 9 0 763167 0
[pid=32748/tid=32750] ppid=32746 vsize=3090984 CPUtime=786.83 cores=0,2,4,6
/proc/32748/task/32750/stat : 32750 (java) S 32746 32748 28219 0 -1 4202560 3320 0 1 0 78666 17 0 0 20 0 20 0 336263882 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140036061701304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32751] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32751/stat : 32751 (java) S 32746 32748 28219 0 -1 4202560 714 0 0 0 50 19 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035926649384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32752] ppid=32746 vsize=3090984 CPUtime=0.63 cores=0,2,4,6
/proc/32748/task/32752/stat : 32752 (java) S 32746 32748 28219 0 -1 4202560 411 0 0 0 50 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035925596584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32753] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32753/stat : 32753 (java) S 32746 32748 28219 0 -1 4202560 329 0 0 0 56 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035924543784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32754] ppid=32746 vsize=3090984 CPUtime=0.89 cores=0,2,4,6
/proc/32748/task/32754/stat : 32754 (java) S 32746 32748 28219 0 -1 4202560 426 0 0 0 71 18 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035923490984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32755] ppid=32746 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/32748/task/32755/stat : 32755 (java) S 32746 32748 28219 0 -1 4202560 636 0 0 0 46 9 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035922439208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32756] ppid=32746 vsize=3090984 CPUtime=0.68 cores=0,2,4,6
/proc/32748/task/32756/stat : 32756 (java) S 32746 32748 28219 0 -1 4202560 613 0 0 0 53 15 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035921386408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32757] ppid=32746 vsize=3090984 CPUtime=0.78 cores=0,2,4,6
/proc/32748/task/32757/stat : 32757 (java) S 32746 32748 28219 0 -1 4202560 515 0 0 0 65 13 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035920333608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32758] ppid=32746 vsize=3090984 CPUtime=0.69 cores=0,2,4,6
/proc/32748/task/32758/stat : 32758 (java) S 32746 32748 28219 0 -1 4202560 296 0 0 0 57 12 0 0 20 0 20 0 336263883 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035919280808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32759] ppid=32746 vsize=3090984 CPUtime=26.77 cores=0,2,4,6
/proc/32748/task/32759/stat : 32759 (java) R 32746 32748 28219 0 -1 4202560 220 0 0 0 2671 6 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035907082888 140036065861948 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32748/tid=32760] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32760/stat : 32760 (java) S 32746 32748 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035906028792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=32761] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32761/stat : 32761 (java) S 32746 32748 28219 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 336263885 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035904975880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32762] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32762/stat : 32762 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035903924368 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32763] ppid=32746 vsize=3090984 CPUtime=0.28 cores=0,2,4,6
/proc/32748/task/32763/stat : 32763 (java) S 32746 32748 28219 0 -1 4202560 2267 0 0 0 28 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035902872504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=32764] ppid=32746 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/32748/task/32764/stat : 32764 (java) S 32746 32748 28219 0 -1 4202560 1543 0 0 0 27 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035901819704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32765] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/32765/stat : 32765 (java) S 32746 32748 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035900767096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32748/tid=32766] ppid=32746 vsize=3090984 CPUtime=0.21 cores=0,2,4,6
/proc/32748/task/32766/stat : 32766 (java) S 32746 32748 28219 0 -1 4202560 48 0 0 0 12 9 0 0 20 0 20 0 336263888 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035899714504 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32748/tid=300] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/300/stat : 300 (java) S 32746 32748 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 336263914 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035897582632 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32748/tid=371] ppid=32746 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/32748/task/371/stat : 371 (java) S 32746 32748 28219 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336345196 3165167616 419404 33554432000 1073741824 1073778376 140736707974048 140035896528264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32748 and gives
#  childrusage.ru_utime.tv_sec=818
#  childrusage.ru_utime.tv_usec=696539
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=572760
# CPU time returned by wait4() is 820.269
# while last known CPU time is 822.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 817.374
CPU time (s): 822.11
CPU user time (s): 820.81
CPU system time (s): 1.3
CPU usage (%): 100.579
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 818.697
system time used= 1.57276
maximum resident set size= 1677616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12549
page faults= 1
swaps= 0
block input operations= 8
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17881
involuntary context switches= 7903

runsolver used 2.6376 second user time and 6.16206 second system time

The end

Launcher Data

Begin job on node146 at 2012-06-03 07:29:50
IDJOB=3734629
IDBENCH=2881
IDSOLVER=2319
FILE ID=node146/3734629-1338701390
RUNJOBID= node146-1338678624-28238
PBS_JOBID= 14636667
Free space on /tmp= 70900 MiB

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

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

MD5SUM BENCH= 87c08328e44aaf86c5913a3ba08592cd
RANDOM SEED=1975432761

node146.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		: 2667.034
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	: 5334.06
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		: 2667.034
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.92
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		: 2667.034
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.91
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		: 2667.034
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		: 2667.034
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.91
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		: 2667.034
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		: 2667.034
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		: 2667.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30992324 kB
Buffers:          144104 kB
Cached:           244308 kB
SwapCached:         1796 kB
Active:           893572 kB
Inactive:         233768 kB
Active(anon):     739256 kB
Inactive(anon):     1664 kB
Active(file):     154316 kB
Inactive(file):   232104 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099884 kB
Dirty:              3588 kB
Writeback:             0 kB
AnonPages:        748256 kB
Mapped:            17188 kB
Shmem:                 0 kB
Slab:             610908 kB
SReclaimable:      50940 kB
SUnreclaim:       559968 kB
KernelStack:        1608 kB
PageTables:         5832 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    698368 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= 70904 MiB
End job on node146 at 2012-06-03 07:43:27