Trace number 3732418

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)141 1800.02 1796.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUMd9e9e5fece70ebbc4c28befed36e7afc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark139
Best CPU time to get the best result obtained on this benchmark5.85411
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 139
Optimality of the best value was proved NO
Number of variables360
Total number of constraints980
Number of constraints which are clauses980
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 constraint8
Number of terms in the objective function 360
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 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.12	--- Begin Solver configuration ---
0.06/0.12	c Stops conflict analysis at the first Unique Implication Point
0.06/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.12	c Learn all clauses as in MiniSAT
0.06/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.12	c No reason simplification
0.06/0.12	c --- End Solver configuration ---
0.06/0.12	c solving HOME/instance-3732418-1338690441.opb
0.06/0.12	c reading problem ... 
0.21/0.23	c ... done. Wall clock time 0.113s.
0.21/0.23	c CPU time (experimental) 0.19s.
0.21/0.23	c #vars     360
0.21/0.23	c #constraints  980
0.21/0.24	c SATISFIABLE
0.21/0.24	c OPTIMIZING...
0.21/0.24	c Got one! Elapsed wall clock time (in seconds):0.125
0.21/0.25	o 155
0.63/0.41	c Got one! Elapsed wall clock time (in seconds):0.29
0.63/0.41	o 154
0.63/0.42	c Got one! Elapsed wall clock time (in seconds):0.298
0.63/0.42	o 151
0.63/0.43	c Got one! Elapsed wall clock time (in seconds):0.306
0.63/0.43	o 141
719.35/717.21	c cleaning 991810 clauses out of 1983640 for limit 4.144503925288766E-5
831.47/829.35	c cleaning 496152 clauses out of 992330 for limit 1.3662657405994733E-4
842.96/840.83	c cleaning 248326 clauses out of 496678 for limit 4.501655566176287E-4
853.47/851.39	c cleaning 124414 clauses out of 248852 for limit 0.0014817056539364
855.16/853.06	c cleaning 62453 clauses out of 124938 for limit 0.00486703434653394
856.26/854.15	c cleaning 31480 clauses out of 62986 for limit 0.015936954418288872
856.46/854.40	c cleaning 15978 clauses out of 32005 for limit 0.05167171820044391
856.56/854.44	c cleaning 8236 clauses out of 16527 for limit 0.16501848456958265
856.56/854.47	c cleaning 4365 clauses out of 8791 for limit 0.5116161303357485
856.66/854.50	c cleaning 2432 clauses out of 4927 for limit 1.5069205141876811
856.66/854.52	c cleaning 1469 clauses out of 2995 for limit 4.08819843526137
856.66/854.54	c cleaning 983 clauses out of 2025 for limit 9.96150923868724
856.66/854.56	c cleaning 740 clauses out of 1542 for limit 21.573553344329177
856.66/854.58	c cleaning 618 clauses out of 1302 for limit 42.13577239375489
856.66/854.60	c cleaning 562 clauses out of 1185 for limit 76.42474390095721
856.77/854.61	c cleaning 526 clauses out of 1122 for limit 132.9783257599731
856.77/854.63	c cleaning 517 clauses out of 1096 for limit 224.50139839579475
856.77/854.65	c cleaning 505 clauses out of 1079 for limit 376.065979405942
856.77/854.66	c cleaning 503 clauses out of 1074 for limit 623.0703676699943
856.77/854.68	c cleaning 505 clauses out of 1072 for limit 1030.4738898856822
856.77/854.70	c cleaning 498 clauses out of 1066 for limit 1707.2453873677841
856.87/854.72	c cleaning 509 clauses out of 1068 for limit 2810.203607939532
856.87/854.74	c cleaning 509 clauses out of 1064 for limit 4675.153316332886
856.87/854.75	c cleaning 500 clauses out of 1053 for limit 7774.920873974039
856.87/854.77	c cleaning 498 clauses out of 1050 for limit 12819.98159451385
856.87/854.79	c cleaning 496 clauses out of 1053 for limit 21102.734177290662
856.96/854.80	c cleaning 500 clauses out of 1057 for limit 34669.533598296846
856.96/854.82	c cleaning 498 clauses out of 1059 for limit 57181.025122984436
856.96/854.84	c cleaning 501 clauses out of 1058 for limit 94105.40781094112
856.96/854.86	c cleaning 496 clauses out of 1057 for limit 155339.2301454155
856.96/854.87	c cleaning 502 clauses out of 1061 for limit 255209.38378055207
856.96/854.89	c cleaning 502 clauses out of 1061 for limit 421717.4282938384
857.06/854.91	c cleaning 495 clauses out of 1057 for limit 696704.8109989556
857.06/854.93	c cleaning 508 clauses out of 1064 for limit 1143686.7229351462
857.06/854.94	c cleaning 497 clauses out of 1054 for limit 1900180.9505940184
857.06/854.96	c cleaning 502 clauses out of 1057 for limit 3124758.5894091562
857.06/854.98	c cleaning 526 clauses out of 1055 for limit 5162913.931801651
857.16/855.00	c cleaning 486 clauses out of 1030 for limit 8729724.114774449
857.16/855.02	c cleaning 522 clauses out of 1044 for limit 1.4203426622669984E7
857.16/855.03	c cleaning 510 clauses out of 1021 for limit 2.392705587622673E7
857.16/855.05	c cleaning 506 clauses out of 1013 for limit 3.9850196852584355E7
857.16/855.07	c cleaning 491 clauses out of 1007 for limit 6.610987452594863E7
857.16/855.09	c cleaning 478 clauses out of 1014 for limit 1.0805496124306056E8
857.26/855.10	c cleaning 491 clauses out of 1037 for limit 1.7441920766845974E8
857.26/855.12	c cleaning 494 clauses out of 1045 for limit 2.8515313490224695E8
857.26/855.14	c cleaning 497 clauses out of 1051 for limit 4.675710480997249E8
857.26/855.16	c cleaning 527 clauses out of 1054 for limit 7.688924634759467E8
857.26/855.18	c cleaning 514 clauses out of 1028 for limit 1.3013781151190867E9
857.26/855.19	c cleaning 507 clauses out of 1014 for limit 2.1757778225633087E9
857.36/855.21	c cleaning 483 clauses out of 1009 for limit 3.6131521078655405E9
857.36/855.23	c cleaning 483 clauses out of 1024 for limit 5.859550723556261E9
857.36/855.25	c cleaning 489 clauses out of 1041 for limit 9.50537887828199E9
857.36/855.26	c cleaning 524 clauses out of 1052 for limit 1.5511732579453844E10
857.36/855.28	c cleaning 479 clauses out of 1027 for limit 2.617742840065412E10
857.46/855.30	c cleaning 496 clauses out of 1048 for limit 4.230503204563965E10
857.46/855.31	c cleaning 524 clauses out of 1052 for limit 6.950138484794319E10
857.46/855.33	c cleaning 514 clauses out of 1028 for limit 1.1729296651072533E11
857.46/855.35	c cleaning 481 clauses out of 1014 for limit 1.9610244886694122E11
857.46/855.37	c cleaning 490 clauses out of 1033 for limit 3.174508816166685E11
857.46/855.39	c cleaning 521 clauses out of 1043 for limit 5.1849961425504877E11
857.56/855.41	c cleaning 511 clauses out of 1022 for limit 8.72645266466146E11
857.56/855.43	c cleaning 481 clauses out of 1013 for limit 1.454802699523699E12
857.56/855.44	c cleaning 487 clauses out of 1030 for limit 2.35484964136611E12
857.56/855.46	c cleaning 519 clauses out of 1043 for limit 3.8350584346160503E12
857.56/855.48	c cleaning 490 clauses out of 1028 for limit 6.442539849940136E12
857.56/855.49	c cleaning 515 clauses out of 1035 for limit 1.0521126203134738E13
857.68/855.51	c cleaning 481 clauses out of 1019 for limit 1.7605557056322223E13
857.68/855.53	c cleaning 493 clauses out of 1042 for limit 2.8506911683417883E13
857.68/855.55	c cleaning 494 clauses out of 1045 for limit 4.668952317937272E13
857.68/855.56	c cleaning 525 clauses out of 1051 for limit 7.655770397102394E13
857.68/855.58	c cleaning 512 clauses out of 1026 for limit 1.2933025753207608E14
857.78/855.60	c cleaning 506 clauses out of 1014 for limit 2.1580695410546403E14
857.78/855.62	c cleaning 472 clauses out of 1009 for limit 3.5801615389634494E14
857.78/855.63	c cleaning 517 clauses out of 1037 for limit 5.744747165960914E14
857.78/855.65	c cleaning 509 clauses out of 1020 for limit 9.631754205115994E14
857.78/855.67	c cleaning 478 clauses out of 1010 for limit 1.6025277711866772E15
857.78/855.68	c cleaning 515 clauses out of 1033 for limit 2.5865269953271435E15
857.78/855.70	c cleaning 498 clauses out of 1017 for limit 4.3283040327798895E15
857.89/855.71	c cleaning 477 clauses out of 1020 for limit 7.124082485104527E15
857.89/855.73	c cleaning 520 clauses out of 1043 for limit 1.1489488362276574E16
857.89/855.75	c cleaning 509 clauses out of 1023 for limit 1.9318137428652388E16
857.89/855.76	c cleaning 501 clauses out of 1014 for limit 3.2140957980256716E-4
857.89/855.78	c cleaning 501 clauses out of 1012 for limit 5.30563824074828E-4
857.89/855.80	c cleaning 476 clauses out of 1011 for limit 8.75836174222979E-4
857.99/855.81	c cleaning 487 clauses out of 1035 for limit 0.0014108783572609096
857.99/855.83	c cleaning 495 clauses out of 1049 for limit 0.002297972524936726
857.99/855.85	c cleaning 497 clauses out of 1053 for limit 0.003771493157327809
857.99/855.86	c cleaning 494 clauses out of 1056 for limit 0.006202027164699709
857.99/855.88	c cleaning 498 clauses out of 1062 for limit 0.010170187331646686
858.08/855.90	c cleaning 503 clauses out of 1065 for limit 0.01674149588020345
858.08/855.91	c cleaning 500 clauses out of 1061 for limit 0.02768533987454331
858.08/855.93	c cleaning 501 clauses out of 1062 for limit 0.045659497264362525
858.08/855.95	c cleaning 501 clauses out of 1062 for limit 0.07537399320039798
858.08/855.96	c cleaning 497 clauses out of 1059 for limit 0.1244047446778099
858.08/855.98	c cleaning 502 clauses out of 1062 for limit 0.20458051833213137
858.18/856.00	c cleaning 500 clauses out of 1061 for limit 0.3380366633260406
858.18/856.02	c cleaning 507 clauses out of 1060 for limit 0.5574355988731904
858.18/856.04	c cleaning 501 clauses out of 1053 for limit 0.9253969871212563
858.18/856.06	c cleaning 497 clauses out of 1052 for limit 1.5275540978159563
858.18/856.08	c cleaning 499 clauses out of 1055 for limit 2.511977625536351
858.18/856.09	c cleaning 502 clauses out of 1056 for limit 4.138664246365153
858.28/856.11	c cleaning 496 clauses out of 1054 for limit 6.838162067375175
858.28/856.13	c cleaning 500 clauses out of 1059 for limit 11.235035243296013
858.28/856.15	c cleaning 501 clauses out of 1058 for limit 18.527042883123105
858.28/856.16	c cleaning 498 clauses out of 1059 for limit 30.585862012906674
858.28/856.18	c cleaning 499 clauses out of 1060 for limit 50.34220049587242
858.28/856.20	c cleaning 500 clauses out of 1060 for limit 82.93800225351124
858.38/856.21	c cleaning 499 clauses out of 1061 for limit 136.78373248016032
858.38/856.23	c cleaning 498 clauses out of 1062 for limit 225.36226792957538
858.38/856.25	c cleaning 499 clauses out of 1063 for limit 370.93159925364824
858.38/856.27	c cleaning 501 clauses out of 1065 for limit 611.1782456353232
858.38/856.29	c cleaning 503 clauses out of 1064 for limit 1008.861977257126
858.48/856.30	c cleaning 507 clauses out of 1062 for limit 1668.5501498773197
858.48/856.32	c cleaning 497 clauses out of 1053 for limit 2769.6333073383607
858.48/856.33	c cleaning 503 clauses out of 1059 for limit 4555.269823540301
858.48/856.35	c cleaning 496 clauses out of 1053 for limit 7532.411666704318
858.48/856.37	c cleaning 498 clauses out of 1057 for limit 12374.94616389737
858.48/856.39	c cleaning 496 clauses out of 1059 for limit 20369.399804247998
858.58/856.40	c cleaning 497 clauses out of 1063 for limit 33465.46123830475
858.58/856.42	c cleaning 500 clauses out of 1066 for limit 55033.70631283654
858.58/856.44	c cleaning 505 clauses out of 1068 for limit 90769.43338811895
858.58/856.45	c cleaning 497 clauses out of 1061 for limit 150377.32556339173
858.58/856.47	c cleaning 500 clauses out of 1064 for limit 247293.10048691175
858.58/856.49	c cleaning 499 clauses out of 1064 for limit 407819.4049820351
858.68/856.51	c cleaning 503 clauses out of 1066 for limit 671958.8972632521
858.68/856.52	c cleaning 496 clauses out of 1063 for limit 1111277.53735313
858.68/856.54	c cleaning 504 clauses out of 1068 for limit 1825891.4143569227
858.68/856.56	c cleaning 505 clauses out of 1063 for limit 3022277.304770484
858.68/856.58	c cleaning 520 clauses out of 1057 for limit 5007419.339914347
858.68/856.59	c cleaning 518 clauses out of 1037 for limit 8417169.644457802
858.78/856.61	c cleaning 481 clauses out of 1021 for limit 1.4126806780685773E7
858.78/856.63	c cleaning 518 clauses out of 1038 for limit 2.286963625686689E7
858.78/856.65	c cleaning 509 clauses out of 1020 for limit 3.838065003806058E7
858.78/856.66	c cleaning 506 clauses out of 1012 for limit 6.3859039782816336E7
858.78/856.68	c cleaning 469 clauses out of 1006 for limit 1.0594020348459627E8
858.88/856.70	c cleaning 487 clauses out of 1036 for limit 1.6948076018863288E8
858.88/856.72	c cleaning 496 clauses out of 1049 for limit 2.760327152980522E8
858.88/856.73	c cleaning 495 clauses out of 1053 for limit 4.534856632232598E8
858.88/856.75	c cleaning 500 clauses out of 1059 for limit 7.44365731832452E8
858.88/856.77	c cleaning 529 clauses out of 1058 for limit 1.2274902157175007E9
858.88/856.78	c cleaning 486 clauses out of 1030 for limit 2.081406377108963E9
858.88/856.80	c cleaning 522 clauses out of 1044 for limit 3.3864876324317055E9
858.99/856.82	c cleaning 483 clauses out of 1022 for limit 5.704991264522685E9
858.99/856.84	c cleaning 518 clauses out of 1038 for limit 9.254008653672806E9
858.99/856.85	c cleaning 508 clauses out of 1020 for limit 1.5530411747548187E10
858.99/856.87	c cleaning 505 clauses out of 1012 for limit 2.5814190834862476E10
858.99/856.89	c cleaning 475 clauses out of 1007 for limit 4.278242968810655E10
859.09/856.91	c cleaning 491 clauses out of 1034 for limit 6.884926172054697E10
859.09/856.93	c cleaning 485 clauses out of 1042 for limit 1.1255725227636024E11
859.09/856.95	c cleaning 500 clauses out of 1057 for limit 1.8298778547073254E11
859.09/856.96	c cleaning 495 clauses out of 1056 for limit 3.017550491154114E11
859.09/856.98	c cleaning 502 clauses out of 1062 for limit 4.953182682936292E11
859.09/857.00	c cleaning 499 clauses out of 1059 for limit 8.183409383878019E11
859.18/857.01	c cleaning 529 clauses out of 1061 for limit 1.3483581134349697E12
859.18/857.03	c cleaning 487 clauses out of 1031 for limit 2.286037480823111E12
859.18/857.05	c cleaning 523 clauses out of 1046 for limit 3.7233617926917075E12
859.18/857.06	c cleaning 510 clauses out of 1021 for limit 6.278097322718416E12
859.18/857.08	c cleaning 485 clauses out of 1014 for limit 1.0456233024687816E13
859.28/857.10	c cleaning 485 clauses out of 1026 for limit 1.699097102015326E13
859.28/857.11	c cleaning 493 clauses out of 1041 for limit 2.7616632289611355E13
859.28/857.13	c cleaning 496 clauses out of 1048 for limit 4.523931822421187E13
859.28/857.15	c cleaning 500 clauses out of 1053 for limit 7.432576049163688E13
859.28/857.16	c cleaning 500 clauses out of 1053 for limit 1.2257312217305831E14
859.28/857.18	c cleaning 525 clauses out of 1053 for limit 2.0213947600229356E14
859.28/857.19	c cleaning 514 clauses out of 1029 for limit 3.4147155382713044E14
859.38/857.21	c cleaning 487 clauses out of 1013 for limit 5.70883280043539E14
859.38/857.23	c cleaning 492 clauses out of 1027 for limit 9.295584950999095E14
859.38/857.24	c cleaning 496 clauses out of 1035 for limit 1.5211172975543588E15
859.38/857.26	c cleaning 496 clauses out of 1038 for limit 2.4987745643592685E15
859.38/857.28	c cleaning 497 clauses out of 1043 for limit 4.105164081727072E15
859.38/857.30	c cleaning 496 clauses out of 1045 for limit 6.750250871579606E15
859.48/857.31	c cleaning 497 clauses out of 1049 for limit 1.1089618419470246E16
859.48/857.33	c cleaning 524 clauses out of 1055 for limit 1.823891728349536E-4
859.48/857.35	c cleaning 504 clauses out of 1029 for limit 3.0776767383817343E-4
859.48/857.37	c cleaning 509 clauses out of 1024 for limit 5.095183100530405E-4
859.48/857.38	c cleaning 481 clauses out of 1015 for limit 8.477144708842695E-4
859.58/857.40	c cleaning 497 clauses out of 1034 for limit 0.001372306079513246
859.58/857.42	c cleaning 493 clauses out of 1037 for limit 0.002256569202935566
859.58/857.43	c cleaning 497 clauses out of 1045 for limit 0.003696592018188913
859.58/857.45	c cleaning 495 clauses out of 1048 for limit 0.006078723877282015
859.58/857.47	c cleaning 498 clauses out of 1053 for limit 0.009977028543747966
859.58/857.49	c cleaning 501 clauses out of 1054 for limit 0.0164214064389588
859.68/857.50	c cleaning 504 clauses out of 1054 for limit 0.027108204238532402
859.68/857.52	c cleaning 499 clauses out of 1051 for limit 0.044877539998670446
859.68/857.54	c cleaning 499 clauses out of 1050 for limit 0.07393146686924341
859.68/857.56	c cleaning 496 clauses out of 1051 for limit 0.1218068726966488
859.68/857.58	c cleaning 501 clauses out of 1055 for limit 0.20011421359451734
859.68/857.59	c cleaning 499 clauses out of 1054 for limit 0.3303282163319647
859.78/857.61	c cleaning 499 clauses out of 1056 for limit 0.5442679534544675
859.78/857.62	c cleaning 499 clauses out of 1057 for limit 0.8967214980253388
859.78/857.64	c cleaning 500 clauses out of 1057 for limit 1.4773348977880976
859.78/857.66	c cleaning 495 clauses out of 1057 for limit 2.436322880779375
859.78/857.67	c cleaning 512 clauses out of 1062 for limit 3.998906054738742
859.78/857.69	c cleaning 499 clauses out of 1050 for limit 6.67009940318353
859.88/857.71	c cleaning 500 clauses out of 1051 for limit 10.98942011139194
859.88/857.73	c cleaning 504 clauses out of 1051 for limit 18.123023902005997
859.88/857.74	c cleaning 500 clauses out of 1051 for limit 30.0071395043492
859.88/857.76	c cleaning 498 clauses out of 1047 for limit 49.47644324648638
859.88/857.78	c cleaning 497 clauses out of 1049 for limit 81.43770983797693
859.88/857.79	c cleaning 504 clauses out of 1052 for limit 133.91868848850459
859.98/857.81	c cleaning 501 clauses out of 1050 for limit 221.71370468271678
859.98/857.83	c cleaning 503 clauses out of 1048 for limit 365.96700379845254
859.98/857.85	c cleaning 496 clauses out of 1044 for limit 605.2350764497676
859.98/857.87	c cleaning 499 clauses out of 1048 for limit 994.3040140421039
859.98/857.88	c cleaning 495 clauses out of 1049 for limit 1638.1771885943635
859.98/857.90	c cleaning 498 clauses out of 1054 for limit 2688.7575226290173
860.09/857.92	c cleaning 505 clauses out of 1056 for limit 4425.722894205435
860.09/857.94	c cleaning 493 clauses out of 1051 for limit 7333.331327887875
860.09/857.95	c cleaning 503 clauses out of 1058 for limit 12013.629734741002
860.09/857.97	c cleaning 503 clauses out of 1056 for limit 19869.474945854447
860.09/857.99	c cleaning 500 clauses out of 1052 for limit 32859.121222507616
860.19/858.00	c cleaning 498 clauses out of 1052 for limit 54189.086710507996
860.19/858.02	c cleaning 502 clauses out of 1054 for limit 89195.48011583906
860.19/858.04	c cleaning 499 clauses out of 1053 for limit 147382.35304496257
860.19/858.05	c cleaning 499 clauses out of 1054 for limit 242822.61585480123
860.19/858.07	c cleaning 500 clauses out of 1054 for limit 400046.5307951768
860.19/858.09	c cleaning 496 clauses out of 1054 for limit 659730.2465486745
860.28/858.11	c cleaning 506 clauses out of 1058 for limit 1083870.0747746122
860.28/858.12	c cleaning 502 clauses out of 1053 for limit 1797731.8842080468
860.28/858.14	c cleaning 499 clauses out of 1050 for limit 2970197.774877284
860.28/858.16	c cleaning 501 clauses out of 1052 for limit 4893835.042797821
860.28/858.18	c cleaning 523 clauses out of 1051 for limit 8078267.632740922
860.28/858.20	c cleaning 513 clauses out of 1028 for limit 1.36202075511693E7
860.38/858.21	c cleaning 506 clauses out of 1014 for limit 2.274889260782278E7
860.38/858.23	c cleaning 479 clauses out of 1009 for limit 3.773961349212846E7
860.38/858.25	c cleaning 515 clauses out of 1030 for limit 6.0968747966952235E7
860.38/858.26	c cleaning 484 clauses out of 1016 for limit 1.0203312594110519E8
860.38/858.28	c cleaning 485 clauses out of 1030 for limit 1.656473676737477E8
860.48/858.30	c cleaning 522 clauses out of 1045 for limit 2.6925350170188797E8
860.48/858.31	c cleaning 511 clauses out of 1024 for limit 4.5359482665599203E8
860.48/858.33	c cleaning 487 clauses out of 1012 for limit 7.561516637455508E8
860.48/858.35	c cleaning 488 clauses out of 1025 for limit 1.2311797001681445E9
860.48/858.36	c cleaning 493 clauses out of 1038 for limit 2.0069583365611794E9
860.48/858.38	c cleaning 494 clauses out of 1045 for limit 3.2875722572526207E9
860.58/858.40	c cleaning 499 clauses out of 1050 for limit 5.39043326259103E9
860.58/858.42	c cleaning 525 clauses out of 1051 for limit 8.881087390805696E9
860.58/858.43	c cleaning 513 clauses out of 1026 for limit 1.5002975008922676E10
860.58/858.45	c cleaning 478 clauses out of 1013 for limit 2.5059429996001274E10
860.58/858.46	c cleaning 491 clauses out of 1035 for limit 4.044791790905889E10
860.58/858.48	c cleaning 522 clauses out of 1044 for limit 6.612899293650188E10
860.68/858.50	c cleaning 511 clauses out of 1022 for limit 1.1140313149867477E11
860.68/858.51	c cleaning 474 clauses out of 1011 for limit 1.8571758433382825E11
860.68/858.53	c cleaning 518 clauses out of 1038 for limit 2.9860510411765076E11
860.68/858.54	c cleaning 509 clauses out of 1019 for limit 5.0112004111845E11
860.68/858.56	c cleaning 478 clauses out of 1011 for limit 8.337871523219481E11
860.68/858.58	c cleaning 496 clauses out of 1036 for limit 1.3458790142139094E12
860.68/858.59	c cleaning 489 clauses out of 1036 for limit 2.2106697130717505E12
860.78/858.61	c cleaning 522 clauses out of 1047 for limit 3.607387715737415E12
860.78/858.63	c cleaning 513 clauses out of 1026 for limit 6.076906324160639E12
860.78/858.64	c cleaning 506 clauses out of 1013 for limit 1.0150240771046639E13
860.78/858.66	c cleaning 478 clauses out of 1006 for limit 1.6838724211615875E13
860.78/858.68	c cleaning 487 clauses out of 1028 for limit 2.7175024049020742E13
860.88/858.70	c cleaning 493 clauses out of 1041 for limit 4.42555975680833E13
860.88/858.71	c cleaning 523 clauses out of 1048 for limit 7.249591625037897E13
860.88/858.73	c cleaning 489 clauses out of 1026 for limit 1.2224127295905939E14
860.88/858.75	c cleaning 518 clauses out of 1037 for limit 1.9945381848893994E14
860.88/858.77	c cleaning 482 clauses out of 1019 for limit 3.347363024740063E14
860.88/858.78	c cleaning 517 clauses out of 1036 for limit 5.4242365202812044E14
860.98/858.80	c cleaning 508 clauses out of 1019 for limit 9.094526166047879E14
860.98/858.82	c cleaning 493 clauses out of 1011 for limit 1.5116769542334525E15
860.98/858.83	c cleaning 477 clauses out of 1019 for limit 2.4758615915645785E15
860.98/858.85	c cleaning 486 clauses out of 1041 for limit 3.992741486496962E15
860.98/858.87	c cleaning 496 clauses out of 1055 for limit 6.497186738871455E15
860.98/858.89	c cleaning 501 clauses out of 1060 for limit 1.0674863794518784E16
861.08/858.90	c cleaning 521 clauses out of 1059 for limit 1.762090194729404E-4
861.08/858.92	c cleaning 509 clauses out of 1037 for limit 2.964604158662502E-4
861.08/858.94	c cleaning 507 clauses out of 1028 for limit 4.931831637090356E-4
861.08/858.95	c cleaning 484 clauses out of 1021 for limit 8.189011892325296E-4
861.08/858.97	c cleaning 490 clauses out of 1037 for limit 0.0013296409272237164
861.08/858.99	c cleaning 495 clauses out of 1047 for limit 0.0021718125391444283
861.08/859.00	c cleaning 498 clauses out of 1053 for limit 0.0035647661522191856
861.19/859.02	c cleaning 502 clauses out of 1055 for limit 0.005867631671327787
861.19/859.04	c cleaning 498 clauses out of 1053 for limit 0.009694888519322703
861.19/859.05	c cleaning 500 clauses out of 1055 for limit 0.015957858803881553
861.19/859.07	c cleaning 496 clauses out of 1054 for limit 0.02631527071234796
861.19/859.08	c cleaning 503 clauses out of 1059 for limit 0.04323573951261887
861.19/859.10	c cleaning 498 clauses out of 1055 for limit 0.07150028408475559
861.29/859.12	c cleaning 499 clauses out of 1058 for limit 0.11769688208079061
861.29/859.13	c cleaning 507 clauses out of 1061 for limit 0.19393676741748672
861.29/859.15	c cleaning 502 clauses out of 1052 for limit 0.32191903706005676
861.29/859.17	c cleaning 500 clauses out of 1050 for limit 0.5318987720659005
861.29/859.19	c cleaning 492 clauses out of 1049 for limit 0.8771304213561336
861.38/859.20	c cleaning 503 clauses out of 1058 for limit 1.4356361750036812
861.38/859.22	c cleaning 502 clauses out of 1054 for limit 2.3741646000813477
861.38/859.24	c cleaning 496 clauses out of 1052 for limit 3.9227586002985153
861.38/859.26	c cleaning 503 clauses out of 1056 for limit 6.444649339038751
861.38/859.27	c cleaning 500 clauses out of 1054 for limit 10.658914976447015
861.38/859.29	c cleaning 498 clauses out of 1053 for limit 17.577075285592244
861.48/859.31	c cleaning 500 clauses out of 1057 for limit 28.93509464961613
861.48/859.33	c cleaning 501 clauses out of 1055 for limit 47.71273351248793
861.48/859.34	c cleaning 494 clauses out of 1054 for limit 78.75933385440561
861.48/859.36	c cleaning 505 clauses out of 1060 for limit 129.1494814718835
861.48/859.38	c cleaning 507 clauses out of 1055 for limit 213.99417875924527
861.48/859.39	c cleaning 504 clauses out of 1050 for limit 355.2957647720931
861.58/859.41	c cleaning 499 clauses out of 1044 for limit 588.1196559110949
861.58/859.43	c cleaning 499 clauses out of 1045 for limit 968.9598673590573
861.58/859.44	c cleaning 503 clauses out of 1050 for limit 1596.7124631013298
861.58/859.46	c cleaning 494 clauses out of 1043 for limit 2640.277323650705
861.58/859.48	c cleaning 501 clauses out of 1050 for limit 4329.472185422075
861.58/859.49	c cleaning 497 clauses out of 1049 for limit 7146.6851870327055
861.68/859.51	c cleaning 499 clauses out of 1051 for limit 11751.648668708478
861.68/859.53	c cleaning 500 clauses out of 1052 for limit 19361.61867015386
861.68/859.54	c cleaning 501 clauses out of 1052 for limit 31929.899338089745
861.68/859.56	c cleaning 503 clauses out of 1053 for limit 52712.04054355023
1506.18/1502.86	c cleaning 984998 clauses out of 1970048 for limit 0.0016593243880269274
1758.60/1755.30	c cleaning 492767 clauses out of 985551 for limit 0.005475444736242484
1790.41/1787.07	c cleaning 246637 clauses out of 493284 for limit 0.01804086517349327
1797.71/1794.33	c cleaning 123549 clauses out of 247146 for limit 0.05932287348669999
1800.02/1796.61	c starts		: 35
1800.02/1796.61	c conflicts		: 4106640
1800.02/1796.61	c decisions		: 5294007
1800.02/1796.61	c propagations		: 39220644
1800.02/1796.61	c inspects		: 5619296846
1800.02/1796.61	c learnt literals	: 0
1800.02/1796.61	c learnt binary clauses	: 17
1800.02/1796.61	c learnt ternary clauses	: 50
1800.02/1796.61	c learnt clauses	: 4106640
1800.02/1796.61	c root simplifications	: 0
1800.02/1796.61	c removed literals (reason simplification)	: 0
1800.02/1796.61	c reason swapping (by a shorter reason)	: 0
1800.02/1796.61	c Calls to reduceDB	: 309
1800.02/1796.61	c speed (decisions/second)	: 2947.3748967946926
1800.02/1796.61	c non guided choices	0
1800.02/1796.61	s SATISFIABLE
1800.02/1796.61	v -x1 x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 -x155 x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 -x233 x234 -x235 x236 -x237 x238 -x239 x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 
1800.02/1796.61	c objective function=141
1800.02/1796.61	c Total wall clock time (ms): 1796.491

Verifier Data 

OK	141

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/196 9599
/proc/meminfo: memFree=27863404/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/9599/stat : 9599 (runsolver) D 9597 9599 6422 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 335168892 12095488 50 33554432000 4194304 5436572 140736533276608 140736533272904 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/9599/statm: 2953 50 31 304 0 2645 0

[startup+0.0421461 s]
/proc/loadavg: 2.02 2.03 2.00 3/196 9599
/proc/meminfo: memFree=27863404/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=2414972 CPUtime=0 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 3716 0 1 0 0 0 0 0 20 0 10 0 335168892 2472931328 4414 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 603743 4414 1539 9 0 594444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2414972

[startup+0.100248 s]
/proc/loadavg: 2.02 2.03 2.00 3/196 9599
/proc/meminfo: memFree=27863404/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 4150 0 1 0 5 1 0 0 20 0 18 0 335168892 3028844544 5867 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 739464 5867 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300219 s]
/proc/loadavg: 2.02 2.03 2.00 3/196 9599
/proc/meminfo: memFree=27863404/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 7863 0 1 0 41 2 0 0 20 0 19 0 335168892 3097006080 9716 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 9716 2256 9 0 746526 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 3024420

[startup+0.700217 s]
/proc/loadavg: 2.02 2.03 2.00 3/196 9599
/proc/meminfo: memFree=27863404/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 8290 0 1 0 96 2 0 0 20 0 19 0 335168892 3097006080 11797 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 11797 2261 9 0 746526 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 3024420

[startup+1.50061 s]
/proc/loadavg: 2.02 2.03 2.00 3/215 9622
/proc/meminfo: memFree=27818500/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=1.8 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 8299 0 1 0 178 2 0 0 20 0 19 0 335168892 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 15382 2261 9 0 746526 0
[pid=9599/tid=9601] ppid=9597 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/9599/task/9601/stat : 9601 (java) R 9597 9599 6422 0 -1 4202560 3089 0 1 0 144 2 0 0 20 0 19 0 335168894 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113717920208 140113590233575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9602] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9602/stat : 9602 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113583921320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9603] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9603/stat : 9603 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113582868776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9604] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9604/stat : 9604 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113581816232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9605] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9605/stat : 9605 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113580763688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9606] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9606/stat : 9606 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113579711144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9607] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9607/stat : 9607 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113578658600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9608] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9608/stat : 9608 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113241697192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9609] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9609/stat : 9609 (java) S 9597 9599 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113240644648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9610] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9610/stat : 9610 (java) S 9597 9599 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113228445800 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9611] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9611/stat : 9611 (java) S 9597 9599 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113227392120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9612] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9612/stat : 9612 (java) S 9597 9599 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113226339464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9613] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9613/stat : 9613 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113225288208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9614] ppid=9597 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/9599/task/9614/stat : 9614 (java) S 9597 9599 6422 0 -1 4202560 2398 0 0 0 15 0 0 0 20 0 19 0 335168900 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113224235576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9615] ppid=9597 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/9599/task/9615/stat : 9615 (java) S 9597 9599 6422 0 -1 4202560 1607 0 0 0 16 0 0 0 20 0 19 0 335168900 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113223183032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9616] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9616/stat : 9616 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113222130680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9617] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9617/stat : 9617 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113221078344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9622] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9622/stat : 9622 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168936 3097006080 15382 33554432000 1073741824 1073778376 140734753921744 140113218946344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 2.02 2.03 2.00 3/215 9622
/proc/meminfo: memFree=27801744/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=3.41 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 8312 0 1 0 338 3 0 0 20 0 19 0 335168892 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 21527 2262 9 0 746526 0
[pid=9599/tid=9601] ppid=9597 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/9599/task/9601/stat : 9601 (java) R 9597 9599 6422 0 -1 4202560 3101 0 1 0 303 2 0 0 20 0 19 0 335168894 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113717920104 140113590216859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9602] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9602/stat : 9602 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113583921320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9603] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9603/stat : 9603 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113582868776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9604] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9604/stat : 9604 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113581816232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9605] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9605/stat : 9605 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113580763688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9606] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9606/stat : 9606 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113579711144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9607] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9607/stat : 9607 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113578658600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9608] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9608/stat : 9608 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113241697192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9609] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9609/stat : 9609 (java) S 9597 9599 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113240644648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9610] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9610/stat : 9610 (java) S 9597 9599 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113228445800 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9611] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9611/stat : 9611 (java) S 9597 9599 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113227392120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9612] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9612/stat : 9612 (java) S 9597 9599 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113226339464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9613] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9613/stat : 9613 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113225288208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9614] ppid=9597 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/9599/task/9614/stat : 9614 (java) S 9597 9599 6422 0 -1 4202560 2398 0 0 0 15 0 0 0 20 0 19 0 335168900 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113224235576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9615] ppid=9597 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/9599/task/9615/stat : 9615 (java) S 9597 9599 6422 0 -1 4202560 1608 0 0 0 16 0 0 0 20 0 19 0 335168900 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113223183032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9616] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9616/stat : 9616 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113222130680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9617] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9617/stat : 9617 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113221078344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9622] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9622/stat : 9622 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168936 3097006080 21527 33554432000 1073741824 1073778376 140734753921744 140113218946344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 3024420

[startup+6.30067 s]
/proc/loadavg: 2.02 2.03 2.00 3/215 9622
/proc/meminfo: memFree=27750792/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=6.62 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 8338 0 1 0 658 4 0 0 20 0 19 0 335168892 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 33466 2263 9 0 746526 0
[pid=9599/tid=9601] ppid=9597 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/9599/task/9601/stat : 9601 (java) R 9597 9599 6422 0 -1 4202560 3126 0 1 0 622 2 0 0 20 0 19 0 335168894 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113717920104 140113590252983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9602] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9602/stat : 9602 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113583921320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9603] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9603/stat : 9603 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113582868776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9604] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9604/stat : 9604 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113581816232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9605] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9605/stat : 9605 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113580763688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9606] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9606/stat : 9606 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113579711144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9607] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9607/stat : 9607 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113578658600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9608] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9608/stat : 9608 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113241697192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9609] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9609/stat : 9609 (java) S 9597 9599 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335168895 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113240644648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9610] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9610/stat : 9610 (java) S 9597 9599 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113228445800 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9611] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9611/stat : 9611 (java) S 9597 9599 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113227392120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9612] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9612/stat : 9612 (java) S 9597 9599 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113226339464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9613] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9613/stat : 9613 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113225288208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9614] ppid=9597 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/9599/task/9614/stat : 9614 (java) S 9597 9599 6422 0 -1 4202560 2398 0 0 0 15 0 0 0 20 0 19 0 335168900 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113224235576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9615] ppid=9597 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/9599/task/9615/stat : 9615 (java) S 9597 9599 6422 0 -1 4202560 1608 0 0 0 17 0 0 0 20 0 19 0 335168900 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113223183032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9616] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9616/stat : 9616 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113222130680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9617] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9617/stat : 9617 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113221078344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9622] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9622/stat : 9622 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168936 3097006080 33466 33554432000 1073741824 1073778376 140734753921744 140113218946344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=9599/tid=9614] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9614/stat : 9614 (java) S 9597 9599 6422 0 -1 4202560 2513 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 418289 33554432000 1073741824 1073778376 140734753921744 140113224235576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9615] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9615/stat : 9615 (java) S 9597 9599 6422 0 -1 4202560 1612 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 418289 33554432000 1073741824 1073778376 140734753921744 140113223183032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9616] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9616/stat : 9616 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 418289 33554432000 1073741824 1073778376 140734753921744 140113222130680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9617] ppid=9597 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/9599/task/9617/stat : 9617 (java) S 9597 9599 6422 0 -1 4202560 98 0 0 0 22 26 0 0 20 0 19 0 335168900 3097006080 418289 33554432000 1073741824 1073778376 140734753921744 140113221078344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9622] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9622/stat : 9622 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168936 3097006080 418289 33554432000 1073741824 1073778376 140734753921744 140113218946344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.7
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/215 10109
/proc/meminfo: memFree=26737776/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=1725.71 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 11464 0 1 0 172432 139 0 0 20 0 19 0 335168892 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 419853 2292 9 0 746526 0
[pid=9599/tid=9601] ppid=9597 vsize=3024420 CPUtime=1713.84 cores=0,2,4,6
/proc/9599/task/9601/stat : 9601 (java) R 9597 9599 6422 0 -1 4202560 3289 0 1 0 171350 34 0 0 20 0 19 0 335168894 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113717911392 140113590378083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9602] ppid=9597 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/9599/task/9602/stat : 9602 (java) S 9597 9599 6422 0 -1 4202560 350 0 0 0 24 9 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113583921320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9603] ppid=9597 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/9599/task/9603/stat : 9603 (java) S 9597 9599 6422 0 -1 4202560 358 0 0 0 29 11 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113582868776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9604] ppid=9597 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/9599/task/9604/stat : 9604 (java) S 9597 9599 6422 0 -1 4202560 373 0 0 0 40 21 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113581816232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9605] ppid=9597 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/9599/task/9605/stat : 9605 (java) S 9597 9599 6422 0 -1 4202560 469 0 0 0 36 16 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113580763688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9606] ppid=9597 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/9599/task/9606/stat : 9606 (java) S 9597 9599 6422 0 -1 4202560 206 0 0 0 25 8 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113579711144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9607] ppid=9597 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/9599/task/9607/stat : 9607 (java) S 9597 9599 6422 0 -1 4202560 222 0 0 0 30 11 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113578658600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9608] ppid=9597 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/9599/task/9608/stat : 9608 (java) S 9597 9599 6422 0 -1 4202560 224 0 0 0 36 10 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113241697192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9609] ppid=9597 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/9599/task/9609/stat : 9609 (java) S 9597 9599 6422 0 -1 4202560 326 0 0 0 34 9 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113240644648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9610] ppid=9597 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/9599/task/9610/stat : 9610 (java) S 9597 9599 6422 0 -1 4202560 228 0 0 0 297 7 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113228445800 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9611] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9611/stat : 9611 (java) S 9597 9599 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113227392120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9612] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9612/stat : 9612 (java) S 9597 9599 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113226339464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9613] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9613/stat : 9613 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113225288208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9614] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9614/stat : 9614 (java) S 9597 9599 6422 0 -1 4202560 2513 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113224235576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9615] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9615/stat : 9615 (java) S 9597 9599 6422 0 -1 4202560 1612 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113223183032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9616] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9616/stat : 9616 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113222130680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9617] ppid=9597 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/9599/task/9617/stat : 9617 (java) S 9597 9599 6422 0 -1 4202560 100 0 0 0 23 27 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113221078344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9622] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9622/stat : 9622 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168936 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113218946344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.71
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 10109
/proc/meminfo: memFree=26737652/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=1785.71 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 11468 0 1 0 178431 140 0 0 20 0 19 0 335168892 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 419853 2292 9 0 746526 0
[pid=9599/tid=9601] ppid=9597 vsize=3024420 CPUtime=1773.68 cores=0,2,4,6
/proc/9599/task/9601/stat : 9601 (java) R 9597 9599 6422 0 -1 4202560 3289 0 1 0 177334 34 0 0 20 0 19 0 335168894 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113717911392 140113589999510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9602] ppid=9597 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/9599/task/9602/stat : 9602 (java) S 9597 9599 6422 0 -1 4202560 350 0 0 0 24 9 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113583921320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9603] ppid=9597 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/9599/task/9603/stat : 9603 (java) S 9597 9599 6422 0 -1 4202560 358 0 0 0 29 11 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113582868776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9604] ppid=9597 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/9599/task/9604/stat : 9604 (java) S 9597 9599 6422 0 -1 4202560 373 0 0 0 40 21 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113581816232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9605] ppid=9597 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/9599/task/9605/stat : 9605 (java) S 9597 9599 6422 0 -1 4202560 469 0 0 0 36 16 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113580763688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9606] ppid=9597 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/9599/task/9606/stat : 9606 (java) S 9597 9599 6422 0 -1 4202560 206 0 0 0 25 8 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113579711144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9607] ppid=9597 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/9599/task/9607/stat : 9607 (java) S 9597 9599 6422 0 -1 4202560 222 0 0 0 30 11 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113578658600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9608] ppid=9597 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/9599/task/9608/stat : 9608 (java) S 9597 9599 6422 0 -1 4202560 224 0 0 0 36 10 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113241697192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9609] ppid=9597 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/9599/task/9609/stat : 9609 (java) S 9597 9599 6422 0 -1 4202560 326 0 0 0 34 9 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113240644648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9610] ppid=9597 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/9599/task/9610/stat : 9610 (java) S 9597 9599 6422 0 -1 4202560 228 0 0 0 297 7 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113228445800 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9611] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9611/stat : 9611 (java) S 9597 9599 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113227392120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9612] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9612/stat : 9612 (java) S 9597 9599 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113226339464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9613] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9613/stat : 9613 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113225288208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9614] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9614/stat : 9614 (java) S 9597 9599 6422 0 -1 4202560 2513 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113224235576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9615] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9615/stat : 9615 (java) S 9597 9599 6422 0 -1 4202560 1612 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113223183032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9616] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9616/stat : 9616 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113222130680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9617] ppid=9597 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/9599/task/9617/stat : 9617 (java) S 9597 9599 6422 0 -1 4202560 104 0 0 0 24 27 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113221078344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9622] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9622/stat : 9622 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168936 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113218946344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.71
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 10109
/proc/meminfo: memFree=26737776/32873844 swapFree=7620/7620
[pid=9599] ppid=9597 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/9599/stat : 9599 (java) S 9597 9599 6422 0 -1 4202496 11468 0 1 0 179862 140 0 0 20 0 19 0 335168892 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140734753912880 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 756105 419853 2292 9 0 746526 0
[pid=9599/tid=9601] ppid=9597 vsize=3024420 CPUtime=1787.95 cores=0,2,4,6
/proc/9599/task/9601/stat : 9601 (java) R 9597 9599 6422 0 -1 4202560 3289 0 1 0 178760 35 0 0 20 0 19 0 335168894 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113717911392 140113590377757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9602] ppid=9597 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/9599/task/9602/stat : 9602 (java) S 9597 9599 6422 0 -1 4202560 350 0 0 0 24 9 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113583921320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9603] ppid=9597 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/9599/task/9603/stat : 9603 (java) S 9597 9599 6422 0 -1 4202560 358 0 0 0 29 11 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113582868776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9604] ppid=9597 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/9599/task/9604/stat : 9604 (java) S 9597 9599 6422 0 -1 4202560 373 0 0 0 40 21 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113581816232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9605] ppid=9597 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/9599/task/9605/stat : 9605 (java) S 9597 9599 6422 0 -1 4202560 469 0 0 0 36 16 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113580763688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9606] ppid=9597 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/9599/task/9606/stat : 9606 (java) S 9597 9599 6422 0 -1 4202560 206 0 0 0 25 8 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113579711144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9607] ppid=9597 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/9599/task/9607/stat : 9607 (java) S 9597 9599 6422 0 -1 4202560 222 0 0 0 30 11 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113578658600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9608] ppid=9597 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/9599/task/9608/stat : 9608 (java) S 9597 9599 6422 0 -1 4202560 224 0 0 0 36 10 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113241697192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9599/tid=9609] ppid=9597 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/9599/task/9609/stat : 9609 (java) S 9597 9599 6422 0 -1 4202560 326 0 0 0 34 9 0 0 20 0 19 0 335168895 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113240644648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9610] ppid=9597 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/9599/task/9610/stat : 9610 (java) S 9597 9599 6422 0 -1 4202560 228 0 0 0 297 7 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113228445800 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9611] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9611/stat : 9611 (java) S 9597 9599 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113227392120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9612] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9612/stat : 9612 (java) S 9597 9599 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335168897 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113226339464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9613] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9613/stat : 9613 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113225288208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9614] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9614/stat : 9614 (java) S 9597 9599 6422 0 -1 4202560 2513 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113224235576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9599/tid=9615] ppid=9597 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/9599/task/9615/stat : 9615 (java) S 9597 9599 6422 0 -1 4202560 1612 0 0 0 21 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113223183032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9616] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9616/stat : 9616 (java) S 9597 9599 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113222130680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9599/tid=9617] ppid=9597 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/9599/task/9617/stat : 9617 (java) S 9597 9599 6422 0 -1 4202560 104 0 0 0 24 27 0 0 20 0 19 0 335168900 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113221078344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9599/tid=9622] ppid=9597 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9599/task/9622/stat : 9622 (java) S 9597 9599 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335168936 3097006080 419853 33554432000 1073741824 1073778376 140734753921744 140113218946344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9599 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=908284
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=782728
# CPU time returned by wait4() is 1795.69
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.62
CPU time (s): 1800.02
CPU user time (s): 1798.62
CPU system time (s): 1.4
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 1.78273
maximum resident set size= 1679524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11498
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38129
involuntary context switches= 4480

runsolver used 5.65114 second user time and 14.1239 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 04:27:21
IDJOB=3732418
IDBENCH=2060
IDSOLVER=2319
FILE ID=node135/3732418-1338690441
RUNJOBID= node135-1338678628-6441
PBS_JOBID= 14636678
Free space on /tmp= 70976 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732418-1338690441/watcher-3732418-1338690441 -o /tmp/evaluation-result-3732418-1338690441/solver-3732418-1338690441 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732418-1338690441.opb           

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

MD5SUM BENCH= d9e9e5fece70ebbc4c28befed36e7afc
RANDOM SEED=768876214

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27864048 kB
Buffers:          353748 kB
Cached:          2480724 kB
SwapCached:         1672 kB
Active:          2451228 kB
Inactive:        1698492 kB
Active(anon):    1305428 kB
Inactive(anon):    12036 kB
Active(file):    1145800 kB
Inactive(file):  1686456 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3572 kB
Writeback:             0 kB
AnonPages:       1337188 kB
Mapped:            18764 kB
Shmem:               132 kB
Slab:             701012 kB
SReclaimable:     142800 kB
SUnreclaim:       558212 kB
KernelStack:        1624 kB
PageTables:         6828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1300480 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= 70972 MiB
End job on node135 at 2012-06-03 04:57:20