Trace number 3741958

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 NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.05 1796.12

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K92.opb
MD5SUM21cc97db69195cd3dcf69a6d797764c1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark900.986
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6256
Total number of constraints6442
Number of constraints which are clauses6350
Number of constraints which are cardinality constraints (but not clauses)92
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint92
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 93
Number of bits of the biggest sum of numbers7
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.10	c no version file found!!!
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version	1.6.0_24
0.07/0.10	c os.name	Linux
0.07/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch	amd64
0.07/0.10	c Free memory 1599470296
0.07/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.13	--- Begin Solver configuration ---
0.07/0.13	c Stops conflict analysis at the first Unique Implication Point
0.07/0.13	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.13	c No reason simplification
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3741958-1338758739.opb
0.07/0.13	c reading problem ... 
0.76/0.46	c ... done. Wall clock time 0.332s.
0.76/0.46	c CPU time (experimental) 0.41s.
0.76/0.46	c #vars     6256
0.76/0.46	c #constraints  6440
898.57/895.80	c cleaning 293160 clauses out of 586977 for limit 1.9489031795608056E9
899.78/897.05	c cleaning 146922 clauses out of 294317 for limit 6.409909345218517E9
900.28/897.59	c cleaning 73440 clauses out of 147895 for limit 2.103631332143267E10
900.68/897.90	c cleaning 36968 clauses out of 74955 for limit 6.845077994175844E10
900.88/898.11	c cleaning 18520 clauses out of 38491 for limit 2.2070580152732327E11
901.08/898.32	c cleaning 9507 clauses out of 20467 for limit 6.817679700232153E11
901.18/898.45	c cleaning 4957 clauses out of 11463 for limit 2.0135012955139485E12
901.28/898.57	c cleaning 2718 clauses out of 7005 for limit 5.428295001103606E12
901.38/898.69	c cleaning 1547 clauses out of 4785 for limit 1.3079059104486486E13
901.49/898.77	c cleaning 1086 clauses out of 3738 for limit 2.761054851275499E13
901.59/898.84	c cleaning 816 clauses out of 3152 for limit 5.3998787684586555E13
901.68/898.91	c cleaning 648 clauses out of 2836 for limit 9.897371661455933E13
901.68/898.97	c cleaning 1315 clauses out of 2688 for limit 1.722077641480861E14
901.78/899.03	c cleaning 704 clauses out of 1873 for limit 4.075680224206522E14
901.78/899.08	c cleaning 348 clauses out of 1669 for limit 7.542884017086816E14
901.88/899.14	c cleaning 357 clauses out of 1821 for limit 1.140091499897986E15
901.98/899.20	c cleaning 957 clauses out of 1964 for limit 1.743267594257672E-5
901.98/899.26	c cleaning 507 clauses out of 1507 for limit 3.746693572105651E-5
902.08/899.31	c cleaning 582 clauses out of 1500 for limit 6.207633319080193E-5
902.08/899.36	c cleaning 520 clauses out of 1418 for limit 1.0829214864765306E-4
902.18/899.44	c cleaning 406 clauses out of 1398 for limit 1.8114315063057137E-4
902.18/899.49	c cleaning 335 clauses out of 1492 for limit 2.799085422420709E-4
902.28/899.55	c cleaning 148 clauses out of 1660 for limit 4.161369788603525E-4
902.38/899.63	c cleaning 285 clauses out of 2010 for limit 5.656336055613195E-4
902.38/899.69	c cleaning 387 clauses out of 2224 for limit 8.42205074273284E-4
902.48/899.77	c cleaning 421 clauses out of 2337 for limit 0.0013217514978598325
902.58/899.86	c cleaning 498 clauses out of 2417 for limit 0.0021097076224628327
902.68/899.96	c cleaning 487 clauses out of 2422 for limit 0.003482444517407398
902.78/900.05	c cleaning 500 clauses out of 2432 for limit 0.005702261448646766
902.88/900.11	c cleaning 477 clauses out of 2431 for limit 0.00939825258481316
902.88/900.20	c cleaning 519 clauses out of 2455 for limit 0.015362821126974981
902.98/900.28	c cleaning 501 clauses out of 2435 for limit 0.02551789700053058
903.08/900.34	c cleaning 488 clauses out of 2434 for limit 0.04209971528785752
903.18/900.41	c cleaning 518 clauses out of 2446 for limit 0.0690874505913682
903.18/900.48	c cleaning 483 clauses out of 2429 for limit 0.11484669549538049
903.28/900.56	c cleaning 494 clauses out of 2445 for limit 0.18796999516769836
903.38/900.64	c cleaning 503 clauses out of 2452 for limit 0.30941212369285814
903.48/900.73	c cleaning 494 clauses out of 2448 for limit 0.5105846500494858
903.58/900.80	c cleaning 500 clauses out of 2456 for limit 0.8409607292716373
903.58/900.88	c cleaning 498 clauses out of 2455 for limit 1.3860342337246427
903.68/900.97	c cleaning 496 clauses out of 2456 for limit 2.2825403642068216
903.78/901.08	c cleaning 498 clauses out of 2464 for limit 3.76703850484868
903.98/901.20	c cleaning 968 clauses out of 2462 for limit 6.19256471979303
903.98/901.28	c cleaning 752 clauses out of 1994 for limit 12.609252333443463
904.08/901.36	c cleaning 609 clauses out of 1742 for limit 23.802480943336857
904.18/901.42	c cleaning 543 clauses out of 1633 for limit 41.87357868821184
904.18/901.49	c cleaning 557 clauses out of 1590 for limit 70.92266175819512
904.28/901.55	c cleaning 514 clauses out of 1533 for limit 121.30979895244786
904.38/901.61	c cleaning 494 clauses out of 1519 for limit 201.89992191044226
904.38/901.67	c cleaning 512 clauses out of 1525 for limit 331.6499744363475
904.48/901.73	c cleaning 494 clauses out of 1513 for limit 551.2730615714903
904.48/901.78	c cleaning 492 clauses out of 1519 for limit 905.5320204924499
904.58/901.84	c cleaning 497 clauses out of 1527 for limit 1485.5197694433402
904.68/901.91	c cleaning 495 clauses out of 1538 for limit 2451.8456040078227
904.68/901.97	c cleaning 487 clauses out of 1535 for limit 4019.0264749339026
904.78/902.02	c cleaning 491 clauses out of 1548 for limit 6572.251550591067
904.78/902.08	c cleaning 491 clauses out of 1559 for limit 10783.603953364487
904.88/902.16	c cleaning 678 clauses out of 1565 for limit 17680.012430838302
904.98/902.24	c cleaning 585 clauses out of 1388 for limit 32907.72357518439
905.08/902.32	c cleaning 531 clauses out of 1308 for limit 57877.26610797212
905.08/902.38	c cleaning 521 clauses out of 1271 for limit 97638.03227567773
905.18/902.43	c cleaning 494 clauses out of 1250 for limit 163723.28237854745
905.18/902.48	c cleaning 483 clauses out of 1256 for limit 268711.77861374407
905.28/902.53	c cleaning 480 clauses out of 1273 for limit 437223.8320614007
905.28/902.59	c cleaning 499 clauses out of 1294 for limit 710049.0528007519
905.38/902.66	c cleaning 619 clauses out of 1294 for limit 1169794.9108545785
905.48/902.72	c cleaning 504 clauses out of 1178 for limit 2125485.447605528
905.48/902.76	c cleaning 388 clauses out of 1172 for limit 3516111.8197016804
905.60/902.81	c cleaning 625 clauses out of 1283 for limit 5291575.641716782
905.60/902.88	c cleaning 509 clauses out of 1159 for limit 9669825.296912549
905.70/902.95	c cleaning 569 clauses out of 1151 for limit 1.6073747395078601E7
905.80/903.01	c cleaning 488 clauses out of 1082 for limit 2.8198180670973778E7
905.80/903.07	c cleaning 515 clauses out of 1092 for limit 4.598461710844511E7
905.90/903.12	c cleaning 486 clauses out of 1077 for limit 7.689098010551335E7
905.90/903.19	c cleaning 424 clauses out of 1093 for limit 1.2519755531714827E8
906.00/903.24	c cleaning 449 clauses out of 1168 for limit 1.9301654748640388E8
906.10/903.30	c cleaning 441 clauses out of 1218 for limit 3.049379474965957E8
906.10/903.38	c cleaning 621 clauses out of 1278 for limit 4.79753670412226E8
906.20/903.46	c cleaning 502 clauses out of 1156 for limit 8.73801329209368E8
906.30/903.54	c cleaning 426 clauses out of 1154 for limit 1.4435127137571425E9
906.40/903.62	c cleaning 445 clauses out of 1231 for limit 2.2383489458563566E9
906.40/903.68	c cleaning 550 clauses out of 1286 for limit 3.533464747784927E9
906.50/903.75	c cleaning 447 clauses out of 1236 for limit 6.062882445691699E9
906.60/903.81	c cleaning 448 clauses out of 1286 for limit 9.580959438364075E9
906.60/903.89	c cleaning 523 clauses out of 1338 for limit 1.5186221978734777E10
906.70/903.97	c cleaning 485 clauses out of 1316 for limit 2.5488270448798733E10
906.80/904.03	c cleaning 629 clauses out of 1330 for limit 4.1549518013081505E10
906.80/904.08	c cleaning 596 clauses out of 1201 for limit 7.588055710757822E10
906.90/904.15	c cleaning 514 clauses out of 1105 for limit 1.360088370474646E11
907.00/904.22	c cleaning 413 clauses out of 1091 for limit 2.2717500255445078E11
907.00/904.30	c cleaning 573 clauses out of 1178 for limit 3.4697316589405225E11
907.10/904.35	c cleaning 413 clauses out of 1105 for limit 6.100069571648945E11
907.20/904.40	c cleaning 437 clauses out of 1194 for limit 9.328625315535151E11
907.20/904.44	c cleaning 459 clauses out of 1255 for limit 1.4607137399982126E12
907.20/904.49	c cleaning 482 clauses out of 1297 for limit 2.3332391928525825E12
907.30/904.55	c cleaning 508 clauses out of 1314 for limit 3.7942439387855474E12
907.40/904.60	c cleaning 500 clauses out of 1307 for limit 6.297025115144684E12
907.40/904.65	c cleaning 500 clauses out of 1308 for limit 1.0387084575615215E13
907.50/904.70	c cleaning 502 clauses out of 1306 for limit 1.71216296319694E13
907.50/904.76	c cleaning 491 clauses out of 1304 for limit 2.8279164284048355E13
907.60/904.80	c cleaning 638 clauses out of 1313 for limit 4.631645623031027E13
907.60/904.86	c cleaning 569 clauses out of 1175 for limit 8.535285836472005E13
907.70/904.92	c cleaning 404 clauses out of 1106 for limit 1.495397658678364E14
907.70/904.97	c cleaning 499 clauses out of 1202 for limit 2.2691501943491416E14
907.80/905.02	c cleaning 457 clauses out of 1203 for limit 3.73902156510432E14
907.80/905.08	c cleaning 464 clauses out of 1246 for limit 5.953350361260341E14
907.90/905.13	c cleaning 511 clauses out of 1282 for limit 9.542174320334294E14
907.90/905.20	c cleaning 618 clauses out of 1271 for limit 1.5872513597807575E15
908.00/905.26	c cleaning 545 clauses out of 1153 for limit 2.8854784693481435E-5
908.10/905.31	c cleaning 508 clauses out of 1108 for limit 4.95180201230827E-5
908.10/905.37	c cleaning 520 clauses out of 1102 for limit 8.227091896845134E-5
908.20/905.42	c cleaning 495 clauses out of 1080 for limit 1.381627760977472E-4
908.20/905.48	c cleaning 484 clauses out of 1088 for limit 2.2685342123576727E-4
908.30/905.53	c cleaning 384 clauses out of 1101 for limit 3.685863615855778E-4
908.30/905.60	c cleaning 441 clauses out of 1218 for limit 5.500088667981215E-4
908.40/905.65	c cleaning 468 clauses out of 1277 for limit 8.651311886200982E-4
908.50/905.71	c cleaning 499 clauses out of 1309 for limit 0.0013918393371113453
908.50/905.78	c cleaning 496 clauses out of 1312 for limit 0.0022946678385366687
908.60/905.85	c cleaning 479 clauses out of 1314 for limit 0.0037709012715417454
908.70/905.91	c cleaning 478 clauses out of 1335 for limit 0.006120898086756483
908.70/905.97	c cleaning 514 clauses out of 1357 for limit 0.009930530590899607
908.80/906.04	c cleaning 515 clauses out of 1342 for limit 0.016543262488010402
908.90/906.10	c cleaning 477 clauses out of 1327 for limit 0.02759044089930737
908.90/906.17	c cleaning 513 clauses out of 1350 for limit 0.044725137252328996
909.00/906.23	c cleaning 511 clauses out of 1337 for limit 0.0744749002570875
909.00/906.29	c cleaning 562 clauses out of 1326 for limit 0.12383793469104212
909.10/906.37	c cleaning 509 clauses out of 1264 for limit 0.21424270230197925
909.20/906.47	c cleaning 536 clauses out of 1254 for limit 0.35613237997807023
909.30/906.53	c cleaning 504 clauses out of 1218 for limit 0.6046688515189451
909.30/906.59	c cleaning 496 clauses out of 1214 for limit 1.0004654280554461
909.39/906.68	c cleaning 502 clauses out of 1218 for limit 1.6444829355590809
909.49/906.75	c cleaning 498 clauses out of 1216 for limit 2.7164328365764123
909.59/906.81	c cleaning 498 clauses out of 1218 for limit 4.4724052157667415
909.59/906.87	c cleaning 479 clauses out of 1220 for limit 7.363503369926495
909.69/906.93	c cleaning 518 clauses out of 1241 for limit 11.937913454646676
909.79/907.00	c cleaning 482 clauses out of 1223 for limit 19.97697092677286
909.79/907.05	c cleaning 453 clauses out of 1241 for limit 32.46685340750111
909.89/907.11	c cleaning 504 clauses out of 1289 for limit 51.59997165293982
909.89/907.17	c cleaning 507 clauses out of 1285 for limit 85.36014413337679
909.99/907.23	c cleaning 490 clauses out of 1277 for limit 141.51052603866833
1601.28/1597.75	c cleaning 245529 clauses out of 491786 for limit 8.137378630893069E-8
1602.08/1598.55	c cleaning 123286 clauses out of 246757 for limit 2.674527641786569E-7
1602.38/1598.82	c cleaning 61746 clauses out of 123971 for limit 8.779147686090899E-7
1602.58/1599.00	c cleaning 31097 clauses out of 62725 for limit 2.861459980546541E-6
1602.58/1599.10	c cleaning 15995 clauses out of 32128 for limit 9.212988779831398E-6
1602.68/1599.17	c cleaning 8099 clauses out of 16634 for limit 2.9375004040450482E-5
1602.78/1599.24	c cleaning 4226 clauses out of 9034 for limit 8.910784098524493E-5
1602.88/1599.33	c cleaning 2306 clauses out of 5308 for limit 2.5010419730209677E-4
1602.88/1599.40	c cleaning 1257 clauses out of 3503 for limit 6.256078015227776E-4
1602.98/1599.49	c cleaning 880 clauses out of 2748 for limit 0.001317802949836203
1603.08/1599.57	c cleaning 674 clauses out of 2367 for limit 0.00252052100516871
1603.18/1599.64	c cleaning 585 clauses out of 2191 for limit 0.004481599725529652
1603.28/1599.73	c cleaning 554 clauses out of 2106 for limit 0.0076890549144434965
1603.28/1599.79	c cleaning 522 clauses out of 2055 for limit 0.013034036281743043
1603.38/1599.85	c cleaning 514 clauses out of 2030 for limit 0.021694371135382123
1603.48/1599.91	c cleaning 496 clauses out of 2016 for limit 0.03602537105817676
1603.48/1599.97	c cleaning 482 clauses out of 2020 for limit 0.05929301139896441
1603.58/1600.05	c cleaning 501 clauses out of 2039 for limit 0.09696791342866871
1603.68/1600.12	c cleaning 523 clauses out of 2037 for limit 0.1599099997153378
1603.68/1600.18	c cleaning 490 clauses out of 2015 for limit 0.2668590894347651
1603.78/1600.24	c cleaning 486 clauses out of 2024 for limit 0.43769130316135746
1603.88/1600.31	c cleaning 519 clauses out of 2038 for limit 0.7168530425461752
1603.88/1600.36	c cleaning 494 clauses out of 2019 for limit 1.1933116501216365
1603.98/1600.43	c cleaning 490 clauses out of 2025 for limit 1.9620996440954508
1603.98/1600.50	c cleaning 494 clauses out of 2036 for limit 3.2215042725280156
1604.08/1600.56	c cleaning 492 clauses out of 2041 for limit 5.2943769110845915
1604.18/1600.61	c cleaning 508 clauses out of 2049 for limit 8.697046441441634
1604.18/1600.66	c cleaning 505 clauses out of 2043 for limit 14.413527847030396
1604.28/1600.72	c cleaning 500 clauses out of 2036 for limit 23.803879763942412
1604.28/1600.79	c cleaning 495 clauses out of 2038 for limit 39.29581065290107
1604.38/1600.84	c cleaning 486 clauses out of 2042 for limit 64.61242925092944
1604.49/1600.91	c cleaning 479 clauses out of 2057 for limit 105.88340879632692
1604.49/1600.98	c cleaning 803 clauses out of 2076 for limit 172.67192093181973
1604.59/1601.03	c cleaning 600 clauses out of 1773 for limit 333.423511504223
1604.59/1601.08	c cleaning 553 clauses out of 1673 for limit 582.7266800949176
1604.69/1601.13	c cleaning 552 clauses out of 1620 for limit 992.434186637731
1604.69/1601.19	c cleaning 531 clauses out of 1568 for limit 1690.933620894165
1604.79/1601.25	c cleaning 508 clauses out of 1537 for limit 2844.818982338679
1604.89/1601.31	c cleaning 492 clauses out of 1529 for limit 4716.033769914986
1604.89/1601.37	c cleaning 489 clauses out of 1537 for limit 7736.88980250694
1604.99/1601.42	c cleaning 484 clauses out of 1548 for limit 12668.500396484627
1604.99/1601.48	c cleaning 477 clauses out of 1565 for limit 20685.795293786377
1605.09/1601.54	c cleaning 502 clauses out of 1588 for limit 33619.55443720116
1605.19/1601.60	c cleaning 491 clauses out of 1585 for limit 55492.53443044044
1605.19/1601.68	c cleaning 483 clauses out of 1595 for limit 91031.8854909876
1605.29/1601.73	c cleaning 789 clauses out of 1611 for limit 148484.13739608903
1605.39/1601.81	c cleaning 321 clauses out of 1326 for limit 298693.66433877626
1605.39/1601.87	c cleaning 416 clauses out of 1501 for limit 433417.7392865726
1605.49/1601.94	c cleaning 494 clauses out of 1585 for limit 676883.6052623051
1605.49/1601.99	c cleaning 776 clauses out of 1591 for limit 1112061.9188307696
1605.59/1602.04	c cleaning 403 clauses out of 1315 for limit 2218856.841943696
1605.69/1602.12	c cleaning 408 clauses out of 1413 for limit 3408813.747877833
1605.69/1602.18	c cleaning 713 clauses out of 1504 for limit 5276172.348780367
1605.79/1602.25	c cleaning 579 clauses out of 1291 for limit 1.0136696755553104E7
1605.89/1602.32	c cleaning 369 clauses out of 1212 for limit 1.780639339579461E7
1605.89/1602.38	c cleaning 390 clauses out of 1343 for limit 2.6500767881834704E7
1605.99/1602.45	c cleaning 659 clauses out of 1454 for limit 4.0407358715371035E7
1606.09/1602.52	c cleaning 355 clauses out of 1296 for limit 7.48359483993984E7
1606.09/1602.57	c cleaning 413 clauses out of 1439 for limit 1.1092803960757416E8
1606.19/1602.62	c cleaning 452 clauses out of 1528 for limit 1.7262499864439192E8
1606.19/1602.68	c cleaning 766 clauses out of 1575 for limit 2.759102657618251E8
1606.29/1602.75	c cleaning 349 clauses out of 1310 for limit 5.476051461374261E8
1606.39/1602.81	c cleaning 701 clauses out of 1460 for limit 8.094822606695433E8
1606.39/1602.88	c cleaning 470 clauses out of 1258 for limit 1.5477504031012733E9
1606.49/1602.93	c cleaning 336 clauses out of 1288 for limit 2.4929960528537974E9
1606.59/1603.00	c cleaning 378 clauses out of 1452 for limit 3.6469240975779133E9
1606.59/1603.06	c cleaning 535 clauses out of 1574 for limit 5.548102805761205E9
1606.69/1603.13	c cleaning 521 clauses out of 1541 for limit 9.36421765940733E9
1606.69/1603.19	c cleaning 627 clauses out of 1518 for limit 1.5645492199498447E10
1606.79/1603.23	c cleaning 432 clauses out of 1395 for limit 2.8189068725600437E10
1606.79/1603.28	c cleaning 476 clauses out of 1460 for limit 4.42847739271263E10
1606.89/1603.33	c cleaning 477 clauses out of 1484 for limit 7.185041382390134E10
1606.89/1603.38	c cleaning 751 clauses out of 1507 for limit 1.1668252252691588E11
1606.99/1603.42	c cleaning 525 clauses out of 1255 for limit 2.3083237031709622E11
1606.99/1603.46	c cleaning 326 clauses out of 1230 for limit 3.884107242788035E11
1607.09/1603.51	c cleaning 683 clauses out of 1404 for limit 5.611579283056827E11
1607.09/1603.56	c cleaning 464 clauses out of 1221 for limit 1.0641244797489609E12
1607.19/1603.61	c cleaning 370 clauses out of 1257 for limit 1.7046244262882083E12
1607.19/1603.66	c cleaning 468 clauses out of 1388 for limit 2.548384281574926E12
1607.29/1603.71	c cleaning 443 clauses out of 1419 for limit 4.106703644124213E12
1607.29/1603.77	c cleaning 453 clauses out of 1478 for limit 6.515177250685681E12
1607.39/1603.82	c cleaning 469 clauses out of 1523 for limit 1.0406091246744498E13
1607.39/1603.88	c cleaning 473 clauses out of 1557 for limit 1.6836753081722045E13
1607.49/1603.94	c cleaning 662 clauses out of 1580 for limit 2.727986520927369E13
1607.59/1604.01	c cleaning 674 clauses out of 1418 for limit 5.012783675667628E13
1607.59/1604.08	c cleaning 497 clauses out of 1244 for limit 9.42303275479005E13
1607.69/1604.12	c cleaning 519 clauses out of 1247 for limit 1.5502456258742425E14
1607.69/1604.18	c cleaning 487 clauses out of 1228 for limit 2.596118358505309E14
1607.79/1604.24	c cleaning 493 clauses out of 1243 for limit 4.2381530592202856E14
1607.79/1604.29	c cleaning 614 clauses out of 1249 for limit 6.948750247794359E14
1607.89/1604.34	c cleaning 546 clauses out of 1134 for limit 1.2608907583314205E15
1607.99/1604.40	c cleaning 462 clauses out of 1088 for limit 2.167292398640488E15
1607.99/1604.47	c cleaning 506 clauses out of 1126 for limit 3.4535353014177105E15
1608.09/1604.54	c cleaning 523 clauses out of 1120 for limit 5.72585247692692E-5
1608.09/1604.60	c cleaning 517 clauses out of 1097 for limit 9.640674869943345E-5
1608.19/1604.65	c cleaning 486 clauses out of 1080 for limit 1.6149020866611783E-4
1608.29/1604.70	c cleaning 508 clauses out of 1094 for limit 2.6291085419850066E-4
1608.29/1604.77	c cleaning 482 clauses out of 1086 for limit 4.367690940635578E-4
1608.39/1604.82	c cleaning 383 clauses out of 1104 for limit 7.085467964799421E-4
1608.39/1604.88	c cleaning 445 clauses out of 1223 for limit 0.0010569052756569943
1608.49/1604.94	c cleaning 461 clauses out of 1276 for limit 0.0016672422673634148
1608.49/1604.99	c cleaning 493 clauses out of 1321 for limit 0.0026718343332861132
1608.59/1605.05	c cleaning 479 clauses out of 1322 for limit 0.0043765279372459534
1608.69/1605.10	c cleaning 503 clauses out of 1343 for limit 0.007104622953116666
1608.69/1605.15	c cleaning 481 clauses out of 1341 for limit 0.01174569361645047
1608.79/1605.21	c cleaning 493 clauses out of 1361 for limit 0.019104677883655555
1608.79/1605.27	c cleaning 482 clauses out of 1366 for limit 0.03132809657615305
1608.89/1605.33	c cleaning 494 clauses out of 1384 for limit 0.05099228872545938
1608.89/1605.39	c cleaning 480 clauses out of 1390 for limit 0.08373011391130952
1608.99/1605.46	c cleaning 483 clauses out of 1411 for limit 0.1361632370038692
1609.09/1605.52	c cleaning 499 clauses out of 1427 for limit 0.22181161463720564
1609.09/1605.57	c cleaning 528 clauses out of 1428 for limit 0.3655408655813516
1609.19/1605.62	c cleaning 506 clauses out of 1400 for limit 0.6148823042962851
1609.19/1605.67	c cleaning 478 clauses out of 1394 for limit 1.0183876959645894
1609.29/1605.73	c cleaning 503 clauses out of 1416 for limit 1.6533642811237133
1609.29/1605.79	c cleaning 481 clauses out of 1413 for limit 2.7324078824403393
1609.39/1605.85	c cleaning 484 clauses out of 1432 for limit 4.446318412090804
1609.49/1605.91	c cleaning 469 clauses out of 1451 for limit 7.258311260705138
1609.49/1605.96	c cleaning 501 clauses out of 1480 for limit 11.71192139040334
1609.59/1606.01	c cleaning 497 clauses out of 1478 for limit 19.3213205330343
1609.59/1606.07	c cleaning 539 clauses out of 1481 for limit 31.798897871349805
1609.69/1606.12	c cleaning 485 clauses out of 1443 for limit 53.87548515988175
1609.69/1606.18	c cleaning 489 clauses out of 1457 for limit 87.90616798508566
1609.79/1606.24	c cleaning 480 clauses out of 1468 for limit 143.88275067999376
1609.89/1606.32	c cleaning 485 clauses out of 1489 for limit 234.1695861804264
1609.89/1606.38	c cleaning 484 clauses out of 1503 for limit 382.197270230171
1609.99/1606.44	c cleaning 499 clauses out of 1523 for limit 624.5117188175265
1610.09/1606.50	c cleaning 478 clauses out of 1520 for limit 1027.8145172265117
1610.09/1606.56	c cleaning 501 clauses out of 1542 for limit 1670.8207061987557
1610.19/1606.64	c cleaning 506 clauses out of 1542 for limit 2758.165027944868
1610.29/1606.72	c cleaning 535 clauses out of 1536 for limit 4566.351014577655
1610.39/1606.80	c cleaning 520 clauses out of 1503 for limit 7711.279385729036
1610.39/1606.87	c cleaning 508 clauses out of 1480 for limit 12875.854342934947
1610.49/1606.94	c cleaning 478 clauses out of 1472 for limit 21349.408520696907
1610.59/1607.01	c cleaning 494 clauses out of 1494 for limit 34689.5724396591
1610.59/1607.08	c cleaning 524 clauses out of 1500 for limit 56978.91465840967
1610.69/1607.15	c cleaning 494 clauses out of 1476 for limit 95493.7528196631
1610.79/1607.21	c cleaning 498 clauses out of 1482 for limit 156844.39448595015
1610.79/1607.28	c cleaning 548 clauses out of 1484 for limit 258308.79391145994
1610.89/1607.33	c cleaning 491 clauses out of 1436 for limit 440224.8353237114
1610.89/1607.39	c cleaning 481 clauses out of 1445 for limit 721467.9108563018
1610.99/1607.43	c cleaning 474 clauses out of 1465 for limit 1174728.866279067
1610.99/1607.48	c cleaning 488 clauses out of 1490 for limit 1902875.4898732495
1611.09/1607.54	c cleaning 618 clauses out of 1502 for limit 3113024.903425626
1611.09/1607.59	c cleaning 477 clauses out of 1384 for limit 5571502.4329423625
1611.19/1607.64	c cleaning 475 clauses out of 1407 for limit 9037955.614917465
1611.19/1607.69	c cleaning 496 clauses out of 1432 for limit 1.4644588424785787E7
1611.29/1607.75	c cleaning 597 clauses out of 1436 for limit 2.4083612769095026E7
1611.39/1607.80	c cleaning 444 clauses out of 1339 for limit 4.2594290217321195E7
1611.39/1607.86	c cleaning 505 clauses out of 1395 for limit 6.742386464245512E7
1611.49/1607.91	c cleaning 683 clauses out of 1390 for limit 1.1159094012598278E8
1611.49/1607.97	c cleaning 577 clauses out of 1207 for limit 2.1192995874475914E8
1611.59/1608.02	c cleaning 422 clauses out of 1130 for limit 3.7331639833405536E8
1611.59/1608.08	c cleaning 468 clauses out of 1208 for limit 5.75896532215783E8
1611.69/1608.14	c cleaning 381 clauses out of 1240 for limit 9.252212514594766E8
1611.69/1608.20	c cleaning 425 clauses out of 1359 for limit 1.3922066856153116E9
1611.79/1608.27	c cleaning 471 clauses out of 1434 for limit 2.175854784535696E9
1611.89/1608.33	c cleaning 700 clauses out of 1463 for limit 3.517147805587452E9
1611.89/1608.39	c cleaning 513 clauses out of 1263 for limit 6.718734538720378E9
1611.99/1608.45	c cleaning 383 clauses out of 1251 for limit 1.1197573500868994E10
1612.09/1608.50	c cleaning 441 clauses out of 1368 for limit 1.6886942365557331E10
1612.09/1608.55	c cleaning 566 clauses out of 1426 for limit 2.6689409689034023E10
1612.19/1608.60	c cleaning 386 clauses out of 1362 for limit 4.617493542438708E10
1612.19/1608.66	c cleaning 477 clauses out of 1474 for limit 7.022193366995749E10
1612.29/1608.71	c cleaning 492 clauses out of 1497 for limit 1.1402612203381755E11
1612.29/1608.75	c cleaning 635 clauses out of 1506 for limit 1.8710766614893073E11
1612.39/1608.80	c cleaning 426 clauses out of 1370 for limit 3.388577022809584E11
1612.39/1608.84	c cleaning 455 clauses out of 1444 for limit 5.3018400637684607E11
1612.49/1608.90	c cleaning 453 clauses out of 1489 for limit 8.479202458774825E11
1612.49/1608.94	c cleaning 750 clauses out of 1537 for limit 1.3560204343507354E12
1612.59/1609.00	c cleaning 590 clauses out of 1286 for limit 2.6700568496363115E12
1612.59/1609.04	c cleaning 434 clauses out of 1196 for limit 4.734631511187802E12
1612.59/1609.09	c cleaning 346 clauses out of 1263 for limit 7.401238718168764E12
1612.69/1609.13	c cleaning 413 clauses out of 1416 for limit 1.0875916998308723E13
1612.69/1609.18	c cleaning 731 clauses out of 1503 for limit 1.6897639648336309E13
1612.79/1609.23	c cleaning 603 clauses out of 1272 for limit 3.292712410673132E13
1612.79/1609.28	c cleaning 393 clauses out of 1172 for limit 5.911160106095953E13
1612.89/1609.34	c cleaning 344 clauses out of 1283 for limit 8.940619492517802E13
1612.89/1609.39	c cleaning 459 clauses out of 1433 for limit 1.3121905153278086E14
1612.99/1609.45	c cleaning 594 clauses out of 1473 for limit 2.103108666787286E14
1613.09/1609.50	c cleaning 332 clauses out of 1379 for limit 3.7047258933822056E14
1613.09/1609.56	c cleaning 440 clauses out of 1547 for limit 5.4461038718888775E14
1800.05/1796.11	c starts		: 22
1800.05/1796.11	c conflicts		: 1449065
1800.05/1796.11	c decisions		: 4159563
1800.05/1796.11	c propagations		: 469851737
1800.05/1796.11	c inspects		: 10005666032
1800.05/1796.11	c learnt literals	: 28
1800.05/1796.11	c learnt binary clauses	: 55194
1800.05/1796.11	c learnt ternary clauses	: 43241
1800.05/1796.11	c learnt clauses	: 1449037
1800.05/1796.11	c root simplifications	: 0
1800.05/1796.11	c removed literals (reason simplification)	: 0
1800.05/1796.11	c reason swapping (by a shorter reason)	: 0
1800.05/1796.11	c Calls to reduceDB	: 322
1800.05/1796.11	c speed (decisions/second)	: 2316.4714445545255
1800.05/1796.11	c non guided choices	2846
1800.05/1796.11	s UNKNOWN
1800.05/1796.11	c Total wall clock time (ms): 1795.985

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-3741958-1338758739/watcher-3741958-1338758739 -o /tmp/evaluation-result-3741958-1338758739/solver-3741958-1338758739 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741958-1338758739.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.01 2.02 2.00 2/194 17681
/proc/meminfo: memFree=23875004/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/17681/stat : 17681 (java) D 17679 17681 16961 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341998232 2560000 46 33554432000 1073741824 1073778376 140736572961632 140736572958760 251035479335 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 625 46 37 9 0 29 0

[startup+0.105982 s]
/proc/loadavg: 2.01 2.02 2.00 2/194 17681
/proc/meminfo: memFree=23875004/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 4129 0 1 0 6 1 0 0 20 0 18 0 341998232 3028844544 5846 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.200269 s]
/proc/loadavg: 2.01 2.02 2.00 2/194 17681
/proc/meminfo: memFree=23875004/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=2957856 CPUtime=0.21 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 5145 0 1 0 20 1 0 0 20 0 18 0 341998232 3028844544 7333 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 739464 7333 2189 9 0 729885 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2957856

[startup+0.300268 s]
/proc/loadavg: 2.01 2.02 2.00 2/194 17681
/proc/meminfo: memFree=23875004/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 8111 0 1 0 46 2 0 0 20 0 18 0 341998232 3028844544 10758 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 739464 10758 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700258 s]
/proc/loadavg: 2.01 2.02 2.00 2/194 17681
/proc/meminfo: memFree=23875004/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=3024420 CPUtime=1.33 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 12279 0 1 0 129 4 0 0 20 0 19 0 341998232 3097006080 18972 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 756105 18972 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3024420

[startup+1.50076 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17700
/proc/meminfo: memFree=23807748/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=3024420 CPUtime=2.19 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 12288 0 1 0 215 4 0 0 20 0 19 0 341998232 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 756105 19491 2272 9 0 746526 0
[pid=17681/tid=17683] ppid=17679 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/17681/task/17683/stat : 17683 (java) R 17679 17681 16961 0 -1 4202560 3076 0 1 0 143 2 0 0 20 0 19 0 341998234 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172317946040 140172180806395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17684] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17684/stat : 17684 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172301372328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17685] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17685/stat : 17685 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172300319784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17686] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17686/stat : 17686 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172299266728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17687] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17687/stat : 17687 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172180056872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17688] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17688/stat : 17688 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172179003816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17689] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17689/stat : 17689 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172177951272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17690] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17690/stat : 17690 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172176898216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17691] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17691/stat : 17691 (java) S 17679 17681 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140172175845672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17692] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17692/stat : 17692 (java) S 17679 17681 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341998237 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171693517672 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17693] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17693/stat : 17693 (java) S 17679 17681 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171692463992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17694] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17694/stat : 17694 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171691410824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17695] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17695/stat : 17695 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998240 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171690359568 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17696] ppid=17679 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17681/task/17696/stat : 17696 (java) S 17679 17681 16961 0 -1 4202560 2668 0 0 0 37 0 0 0 20 0 19 0 341998241 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171689306424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17697] ppid=17679 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17681/task/17697/stat : 17697 (java) S 17679 17681 16961 0 -1 4202560 5348 0 0 0 31 2 0 0 20 0 19 0 341998241 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171688253880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17698] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17698/stat : 17698 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171687201016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17699] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17699/stat : 17699 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171686148680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17700] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17700/stat : 17700 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998279 3097006080 19491 33554432000 1073741824 1073778376 140736377837712 140171684017704 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 3024420

[startup+3.10066 s]
/proc/loadavg: 2.01 2.02 2.00 5/213 17700
/proc/meminfo: memFree=23802900/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=3024420 CPUtime=3.83 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 12301 0 1 0 379 4 0 0 20 0 19 0 341998232 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 756105 21036 2272 9 0 746526 0
[pid=17681/tid=17683] ppid=17679 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/17681/task/17683/stat : 17683 (java) R 17679 17681 16961 0 -1 4202560 3080 0 1 0 302 2 0 0 20 0 19 0 341998234 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172317946488 140172180699876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17684] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17684/stat : 17684 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172301372328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17685] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17685/stat : 17685 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172300319784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17686] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17686/stat : 17686 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172299266728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17687] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17687/stat : 17687 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172180056872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17688] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17688/stat : 17688 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172179003816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17689] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17689/stat : 17689 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172177951272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17690] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17690/stat : 17690 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172176898216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17691] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17691/stat : 17691 (java) S 17679 17681 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140172175845672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17692] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17692/stat : 17692 (java) S 17679 17681 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341998237 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171693517672 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17693] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17693/stat : 17693 (java) S 17679 17681 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171692463992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17694] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17694/stat : 17694 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171691410824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17695] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17695/stat : 17695 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998240 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171690359568 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17696] ppid=17679 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17681/task/17696/stat : 17696 (java) S 17679 17681 16961 0 -1 4202560 2668 0 0 0 39 0 0 0 20 0 19 0 341998241 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171689306424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17697] ppid=17679 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17681/task/17697/stat : 17697 (java) S 17679 17681 16961 0 -1 4202560 5357 0 0 0 33 2 0 0 20 0 19 0 341998241 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171688253880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17698] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17698/stat : 17698 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171687201016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17699] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17699/stat : 17699 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171686148680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17700] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17700/stat : 17700 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998279 3097006080 21036 33554432000 1073741824 1073778376 140736377837712 140171684017704 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 3024420

[startup+6.30065 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17700
/proc/meminfo: memFree=23790980/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=3024420 CPUtime=7.02 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 12311 0 1 0 698 4 0 0 20 0 19 0 341998232 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 756105 23704 2273 9 0 746526 0
[pid=17681/tid=17683] ppid=17679 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/17681/task/17683/stat : 17683 (java) R 17679 17681 16961 0 -1 4202560 3089 0 1 0 621 2 0 0 20 0 19 0 341998234 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172317946368 140172180699502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17684] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17684/stat : 17684 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172301372328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17685] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17685/stat : 17685 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172300319784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17686] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17686/stat : 17686 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172299266728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17687] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17687/stat : 17687 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172180056872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17688] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17688/stat : 17688 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172179003816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17689] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17689/stat : 17689 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172177951272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17690] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17690/stat : 17690 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172176898216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17691] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17691/stat : 17691 (java) S 17679 17681 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341998236 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140172175845672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17692] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17692/stat : 17692 (java) S 17679 17681 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341998237 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171693517672 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17693] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17693/stat : 17693 (java) S 17679 17681 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171692463992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17694] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17694/stat : 17694 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171691410824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17695] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17695/stat : 17695 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998240 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171690359568 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17696] ppid=17679 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17681/task/17696/stat : 17696 (java) S 17679 17681 16961 0 -1 4202560 2668 0 0 0 39 0 0 0 20 0 19 0 341998241 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171689306424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17697] ppid=17679 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17681/task/17697/stat : 17697 (java) S 17679 17681 16961 0 -1 4202560 5357 0 0 0 34 2 0 0 20 0 19 0 341998241 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171688253880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17698] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17698/stat : 17698 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171687201016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17699] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17699/stat : 17699 (java) S 17679 17681 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171686148680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17700] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17700/stat : 17700 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998279 3097006080 23704 33554432000 1073741824 1073778376 140736377837712 140171684017704 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=17681/tid=17696] ppid=17679 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17681/task/17696/stat : 17696 (java) S 17679 17681 16961 0 -1 4202560 2675 0 0 0 44 0 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171689306424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17697] ppid=17679 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/17681/task/17697/stat : 17697 (java) S 17679 17681 16961 0 -1 4202560 5592 0 0 0 40 2 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171688253880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17698] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17698/stat : 17698 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171687201016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17699] ppid=17679 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/17681/task/17699/stat : 17699 (java) S 17679 17681 16961 0 -1 4202560 96 0 0 0 43 30 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171686148680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17700] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17700/stat : 17700 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998279 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171684017704 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.9
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17784
/proc/meminfo: memFree=22501708/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=3024420 CPUtime=1725.89 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 14880 0 1 0 172434 155 0 0 20 0 19 0 341998232 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 756105 418097 2302 9 0 746526 0
[pid=17681/tid=17683] ppid=17679 vsize=3024420 CPUtime=1715.01 cores=0,2,4,6
/proc/17681/task/17683/stat : 17683 (java) R 17679 17681 16961 0 -1 4202560 3272 0 1 0 171467 34 0 0 20 0 19 0 341998234 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172317945120 140172180699352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17684] ppid=17679 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17681/task/17684/stat : 17684 (java) S 17679 17681 16961 0 -1 4202560 180 0 0 0 25 11 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172301372328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17685] ppid=17679 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/17681/task/17685/stat : 17685 (java) S 17679 17681 16961 0 -1 4202560 275 0 0 0 33 17 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172300319784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17686] ppid=17679 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/17681/task/17686/stat : 17686 (java) S 17679 17681 16961 0 -1 4202560 232 0 0 0 22 12 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172299266728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17687] ppid=17679 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17681/task/17687/stat : 17687 (java) S 17679 17681 16961 0 -1 4202560 320 0 0 0 27 21 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172180056872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17688] ppid=17679 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/17681/task/17688/stat : 17688 (java) S 17679 17681 16961 0 -1 4202560 223 0 0 0 19 15 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172179003816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17689] ppid=17679 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/17681/task/17689/stat : 17689 (java) S 17679 17681 16961 0 -1 4202560 229 0 0 0 20 14 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172177951272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17690] ppid=17679 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17681/task/17690/stat : 17690 (java) S 17679 17681 16961 0 -1 4202560 196 0 0 0 26 12 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172176898216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17691] ppid=17679 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17681/task/17691/stat : 17691 (java) S 17679 17681 16961 0 -1 4202560 188 0 0 0 26 11 0 0 20 0 19 0 341998236 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140172175845672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17692] ppid=17679 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/17681/task/17692/stat : 17692 (java) S 17679 17681 16961 0 -1 4202560 216 0 0 0 185 6 0 0 20 0 19 0 341998237 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171693517672 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17693] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17693/stat : 17693 (java) S 17679 17681 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171692463992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17694] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17694/stat : 17694 (java) S 17679 17681 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171691410824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17695] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17695/stat : 17695 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998240 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171690359568 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17696] ppid=17679 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17681/task/17696/stat : 17696 (java) S 17679 17681 16961 0 -1 4202560 2675 0 0 0 44 0 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171689306424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17697] ppid=17679 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/17681/task/17697/stat : 17697 (java) S 17679 17681 16961 0 -1 4202560 5592 0 0 0 40 2 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171688253880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17698] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17698/stat : 17698 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171687201016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17699] ppid=17679 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/17681/task/17699/stat : 17699 (java) S 17679 17681 16961 0 -1 4202560 100 0 0 0 45 31 0 0 20 0 19 0 341998241 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171686148680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17700] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17700/stat : 17700 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998279 3097006080 418097 33554432000 1073741824 1073778376 140736377837712 140171684017704 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.89
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17785
/proc/meminfo: memFree=22501460/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=3024420 CPUtime=1786.24 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 14907 0 1 0 178468 156 0 0 20 0 19 0 341998232 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 756105 418117 2302 9 0 746526 0
[pid=17681/tid=17683] ppid=17679 vsize=3024420 CPUtime=1774.74 cores=0,2,4,6
/proc/17681/task/17683/stat : 17683 (java) R 17679 17681 16961 0 -1 4202560 3273 0 1 0 177440 34 0 0 20 0 19 0 341998234 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172317945120 140172180805654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17684] ppid=17679 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17681/task/17684/stat : 17684 (java) S 17679 17681 16961 0 -1 4202560 180 0 0 0 30 11 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172301372328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17685] ppid=17679 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/17681/task/17685/stat : 17685 (java) S 17679 17681 16961 0 -1 4202560 278 0 0 0 38 17 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172300319784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17686] ppid=17679 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17681/task/17686/stat : 17686 (java) S 17679 17681 16961 0 -1 4202560 236 0 0 0 29 12 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172299266728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17687] ppid=17679 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17681/task/17687/stat : 17687 (java) S 17679 17681 16961 0 -1 4202560 320 0 0 0 31 21 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172180056872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17688] ppid=17679 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17681/task/17688/stat : 17688 (java) S 17679 17681 16961 0 -1 4202560 233 0 0 0 25 15 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172179003816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17689] ppid=17679 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17681/task/17689/stat : 17689 (java) S 17679 17681 16961 0 -1 4202560 229 0 0 0 25 14 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172177951272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17690] ppid=17679 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/17681/task/17690/stat : 17690 (java) S 17679 17681 16961 0 -1 4202560 196 0 0 0 30 12 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172176898216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17691] ppid=17679 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17681/task/17691/stat : 17691 (java) S 17679 17681 16961 0 -1 4202560 191 0 0 0 34 11 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172175845672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17692] ppid=17679 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/17681/task/17692/stat : 17692 (java) S 17679 17681 16961 0 -1 4202560 218 0 0 0 185 6 0 0 20 0 19 0 341998237 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171693517672 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17693] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17693/stat : 17693 (java) S 17679 17681 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171692463992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17694] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17694/stat : 17694 (java) S 17679 17681 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171691410824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17695] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17695/stat : 17695 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998240 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171690359568 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17696] ppid=17679 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17681/task/17696/stat : 17696 (java) S 17679 17681 16961 0 -1 4202560 2675 0 0 0 44 0 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171689306424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17697] ppid=17679 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/17681/task/17697/stat : 17697 (java) S 17679 17681 16961 0 -1 4202560 5592 0 0 0 40 2 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171688253880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17698] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17698/stat : 17698 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171687201016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17699] ppid=17679 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/17681/task/17699/stat : 17699 (java) S 17679 17681 16961 0 -1 4202560 104 0 0 0 46 32 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171686148680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17700] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17700/stat : 17700 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998279 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171684017704 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.24
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17785
/proc/meminfo: memFree=22501584/32873844 swapFree=7628/7628
[pid=17681] ppid=17679 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/17681/stat : 17681 (java) S 17679 17681 16961 0 -1 4202496 14907 0 1 0 179848 157 0 0 20 0 19 0 341998232 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140736377828848 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17681/statm: 756105 418117 2302 9 0 746526 0
[pid=17681/tid=17683] ppid=17679 vsize=3024420 CPUtime=1788.51 cores=0,2,4,6
/proc/17681/task/17683/stat : 17683 (java) R 17679 17681 16961 0 -1 4202560 3273 0 1 0 178816 35 0 0 20 0 19 0 341998234 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172317945120 140172180699275 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17684] ppid=17679 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17681/task/17684/stat : 17684 (java) S 17679 17681 16961 0 -1 4202560 180 0 0 0 30 11 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172301372328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17685] ppid=17679 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/17681/task/17685/stat : 17685 (java) S 17679 17681 16961 0 -1 4202560 278 0 0 0 38 17 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172300319784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17686] ppid=17679 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17681/task/17686/stat : 17686 (java) S 17679 17681 16961 0 -1 4202560 236 0 0 0 29 12 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172299266728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17681/tid=17687] ppid=17679 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17681/task/17687/stat : 17687 (java) S 17679 17681 16961 0 -1 4202560 320 0 0 0 31 21 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172180056872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17688] ppid=17679 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17681/task/17688/stat : 17688 (java) S 17679 17681 16961 0 -1 4202560 233 0 0 0 25 15 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172179003816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17689] ppid=17679 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17681/task/17689/stat : 17689 (java) S 17679 17681 16961 0 -1 4202560 229 0 0 0 25 14 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172177951272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17690] ppid=17679 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/17681/task/17690/stat : 17690 (java) S 17679 17681 16961 0 -1 4202560 196 0 0 0 30 12 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172176898216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17691] ppid=17679 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17681/task/17691/stat : 17691 (java) S 17679 17681 16961 0 -1 4202560 191 0 0 0 34 11 0 0 20 0 19 0 341998236 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140172175845672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17692] ppid=17679 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/17681/task/17692/stat : 17692 (java) S 17679 17681 16961 0 -1 4202560 218 0 0 0 185 6 0 0 20 0 19 0 341998237 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171693517672 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17693] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17693/stat : 17693 (java) S 17679 17681 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171692463992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17694] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17694/stat : 17694 (java) S 17679 17681 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341998238 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171691410824 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17695] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17695/stat : 17695 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998240 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171690359568 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17696] ppid=17679 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17681/task/17696/stat : 17696 (java) S 17679 17681 16961 0 -1 4202560 2675 0 0 0 44 0 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171689306424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17681/tid=17697] ppid=17679 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/17681/task/17697/stat : 17697 (java) S 17679 17681 16961 0 -1 4202560 5592 0 0 0 40 2 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171688253880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17698] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17698/stat : 17698 (java) S 17679 17681 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171687201016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17681/tid=17699] ppid=17679 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/17681/task/17699/stat : 17699 (java) S 17679 17681 16961 0 -1 4202560 104 0 0 0 47 32 0 0 20 0 19 0 341998241 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171686148680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17681/tid=17700] ppid=17679 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17681/task/17700/stat : 17700 (java) S 17679 17681 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341998279 3097006080 418117 33554432000 1073741824 1073778376 140736377837712 140171684017704 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 17681 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=880288
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=21692
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.12
CPU time (s): 1800.05
CPU user time (s): 1798.48
CPU system time (s): 1.57
CPU usage (%): 100.219
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 2.02169
maximum resident set size= 1672904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14938
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= 38112
involuntary context switches= 5352

runsolver used 5.76112 second user time and 15.6636 second system time

The end

Launcher Data

Begin job on node143 at 2012-06-03 23:25:39
IDJOB=3741958
IDBENCH=90121
IDSOLVER=2319
FILE ID=node143/3741958-1338758739
RUNJOBID= node143-1338750755-16977
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741958-1338758739/watcher-3741958-1338758739 -o /tmp/evaluation-result-3741958-1338758739/solver-3741958-1338758739 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741958-1338758739.opb           

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

MD5SUM BENCH= 21cc97db69195cd3dcf69a6d797764c1
RANDOM SEED=232340777

node143.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.787
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.57
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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23875384 kB
Buffers:         2376664 kB
Cached:          3974816 kB
SwapCached:          188 kB
Active:          5842340 kB
Inactive:        2189852 kB
Active(anon):    1668272 kB
Inactive(anon):    10988 kB
Active(file):    4174068 kB
Inactive(file):  2178864 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3956 kB
Writeback:             0 kB
AnonPages:       1683744 kB
Mapped:            18768 kB
Shmem:               160 kB
Slab:             822260 kB
SReclaimable:     263684 kB
SUnreclaim:       558576 kB
KernelStack:        1608 kB
PageTables:         7464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-03 23:55:37