Trace number 3742374

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.6 1795.92

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
MD5SUM57b7e746b37944d021e8febe16059957
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19516
Total number of constraints19846
Number of constraints which are clauses19682
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint164
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 165
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.04/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.04/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.04/0.08	c no version file found!!!
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version	1.6.0_24
0.04/0.08	c os.name	Linux
0.04/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch	amd64
0.04/0.08	c Free memory 1599470296
0.04/0.08	c Max memory 1607860224
0.04/0.08	c Total memory 1607860224
0.04/0.08	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3742374-1338767147.opb
0.10/0.10	c reading problem ... 
1.19/0.64	c ... done. Wall clock time 0.535s.
1.19/0.64	c CPU time (experimental) 0.61s.
1.19/0.64	c #vars     19516
1.19/0.64	c #constraints  19844
620.92/618.38	c cleaning 288550 clauses out of 579480 for limit 1087763.7752437429
622.03/619.44	c cleaning 145060 clauses out of 291431 for limit 3570488.9679870554
622.73/620.15	c cleaning 71670 clauses out of 146870 for limit 1.1672173176283825E7
623.13/620.50	c cleaning 35815 clauses out of 75701 for limit 3.738295255636204E7
623.33/620.75	c cleaning 18197 clauses out of 40385 for limit 1.1544536577576399E8
623.53/620.99	c cleaning 9256 clauses out of 22689 for limit 3.392123338836928E8
623.73/621.17	c cleaning 4852 clauses out of 13932 for limit 9.10112123391118E8
623.93/621.31	c cleaning 2664 clauses out of 9581 for limit 2.1846804580921335E9
624.04/621.48	c cleaning 1568 clauses out of 7417 for limit 4.653999926666327E9
624.23/621.64	c cleaning 1012 clauses out of 6348 for limit 8.9585785969709E9
624.43/621.81	c cleaning 817 clauses out of 5836 for limit 1.607002787693395E10
624.53/621.93	c cleaning 674 clauses out of 5521 for limit 2.8069784392651695E10
624.63/622.06	c cleaning 710 clauses out of 5345 for limit 4.771951025235964E10
624.83/622.22	c cleaning 511 clauses out of 5136 for limit 8.19802184255563E10
624.93/622.33	c cleaning 497 clauses out of 5124 for limit 1.3537745341510278E11
625.03/622.45	c cleaning 515 clauses out of 5131 for limit 2.238449911378534E11
625.14/622.60	c cleaning 2478 clauses out of 5112 for limit 3.690425056253283E11
625.33/622.74	c cleaning 570 clauses out of 3135 for limit 9.933906980898875E11
625.43/622.87	c cleaning 374 clauses out of 3064 for limit 1.6745196509577363E12
625.53/622.98	c cleaning 354 clauses out of 3191 for limit 2.6542547548211426E12
625.63/623.09	c cleaning 434 clauses out of 3336 for limit 4.182777290906819E12
625.83/623.20	c cleaning 378 clauses out of 3402 for limit 6.764136470793722E12
625.93/623.32	c cleaning 344 clauses out of 3524 for limit 1.0768783795394941E13
626.03/623.44	c cleaning 396 clauses out of 3681 for limit 1.7018729627472582E13
626.13/623.57	c cleaning 433 clauses out of 3784 for limit 2.727490230990437E13
626.24/623.68	c cleaning 356 clauses out of 3852 for limit 4.423015403300934E13
626.43/623.81	c cleaning 367 clauses out of 3995 for limit 7.026019031761959E13
626.53/623.95	c cleaning 377 clauses out of 4129 for limit 1.122203506558279E14
626.73/624.13	c cleaning 426 clauses out of 4252 for limit 1.7971285160840088E14
626.93/624.31	c cleaning 1802 clauses out of 4325 for limit 2.910768421853849E14
627.03/624.47	c cleaning 351 clauses out of 3026 for limit 6.881518237310494E14
627.23/624.60	c cleaning 424 clauses out of 3173 for limit 1.0801149574163086E15
627.34/624.74	c cleaning 982 clauses out of 3248 for limit 1.738382762673403E-5
627.44/624.85	c cleaning 478 clauses out of 2768 for limit 3.3707011742123835E-5
627.53/624.97	c cleaning 476 clauses out of 2789 for limit 5.511365319509974E-5
627.73/625.10	c cleaning 397 clauses out of 2812 for limit 9.005623207024848E-5
627.83/625.24	c cleaning 324 clauses out of 2915 for limit 1.4326708234139613E-4
628.03/625.41	c cleaning 133 clauses out of 3093 for limit 2.2311561510613543E-4
628.13/625.57	c cleaning 59 clauses out of 3458 for limit 3.284518865329884E-4
628.33/625.76	c cleaning 476 clauses out of 3900 for limit 4.8075359595076714E-4
628.44/625.87	c cleaning 388 clauses out of 3924 for limit 7.879778990250262E-4
628.63/626.01	c cleaning 473 clauses out of 4035 for limit 0.0012624694325078499
628.73/626.15	c cleaning 514 clauses out of 4062 for limit 0.0020681421151724053
628.83/626.27	c cleaning 508 clauses out of 4048 for limit 0.0034224387211625063
629.03/626.40	c cleaning 483 clauses out of 4040 for limit 0.0056552356519011865
629.13/626.52	c cleaning 523 clauses out of 4057 for limit 0.00928716049811606
629.23/626.62	c cleaning 485 clauses out of 4034 for limit 0.015403093504286557
629.33/626.70	c cleaning 485 clauses out of 4049 for limit 0.025307657942861248
629.33/626.80	c cleaning 490 clauses out of 4064 for limit 0.04158166932738352
629.54/626.91	c cleaning 519 clauses out of 4074 for limit 0.06840541500611705
629.64/627.04	c cleaning 482 clauses out of 4055 for limit 0.11333825849199075
629.73/627.14	c cleaning 475 clauses out of 4075 for limit 0.18636514484911615
629.83/627.26	c cleaning 473 clauses out of 4099 for limit 0.3052360052956449
629.93/627.39	c cleaning 490 clauses out of 4125 for limit 0.49970201633660843
630.13/627.54	c cleaning 475 clauses out of 4135 for limit 0.8220825464933987
630.23/627.68	c cleaning 491 clauses out of 4162 for limit 1.3496270574171267
630.43/627.84	c cleaning 452 clauses out of 4169 for limit 2.217536723248252
630.53/627.98	c cleaning 468 clauses out of 4217 for limit 3.615388745584643
630.74/628.14	c cleaning 509 clauses out of 4249 for limit 5.917356825814607
630.83/628.29	c cleaning 506 clauses out of 4241 for limit 9.786707670484162
631.03/628.42	c cleaning 472 clauses out of 4234 for limit 16.150107226700506
631.13/628.57	c cleaning 527 clauses out of 4263 for limit 26.478984777771025
631.33/628.72	c cleaning 514 clauses out of 4236 for limit 43.945721404620535
631.43/628.88	c cleaning 515 clauses out of 4221 for limit 72.6571858284676
631.63/629.05	c cleaning 492 clauses out of 4208 for limit 120.43233430648542
631.74/629.16	c cleaning 490 clauses out of 4214 for limit 197.92979168430583
631.93/629.32	c cleaning 476 clauses out of 4225 for limit 325.88876192832635
632.03/629.45	c cleaning 508 clauses out of 4248 for limit 533.9898041289973
632.15/629.58	c cleaning 507 clauses out of 4240 for limit 882.2821712317462
632.35/629.72	c cleaning 560 clauses out of 4233 for limit 1457.4074271258069
632.45/629.81	c cleaning 571 clauses out of 4173 for limit 2438.0171100682896
632.55/629.94	c cleaning 515 clauses out of 4104 for limit 4096.403158697669
632.65/630.06	c cleaning 501 clauses out of 4087 for limit 6770.056142466832
632.75/630.16	c cleaning 480 clauses out of 4086 for limit 11167.460695553984
632.85/630.30	c cleaning 493 clauses out of 4106 for limit 18326.93066825109
633.05/630.41	c cleaning 491 clauses out of 4114 for limit 30194.983272622747
633.15/630.52	c cleaning 495 clauses out of 4123 for limit 49686.86925421282
633.25/630.63	c cleaning 480 clauses out of 4127 for limit 81779.01476589836
633.35/630.74	c cleaning 456 clauses out of 4147 for limit 134214.11579796553
633.45/630.84	c cleaning 521 clauses out of 4191 for limit 219013.28342873987
633.55/630.94	c cleaning 500 clauses out of 4170 for limit 363001.1066296942
633.65/631.05	c cleaning 484 clauses out of 4170 for limit 598637.3862516124
633.75/631.16	c cleaning 518 clauses out of 4187 for limit 984208.992761015
633.85/631.27	c cleaning 480 clauses out of 4168 for limit 1628860.7361618597
633.95/631.38	c cleaning 471 clauses out of 4189 for limit 2675418.3621679745
634.05/631.48	c cleaning 489 clauses out of 4217 for limit 4378444.388455122
1393.30/1389.64	c cleaning 304255 clauses out of 609727 for limit 6.260753459657538E7
1394.10/1390.42	c cleaning 152695 clauses out of 305970 for limit 2.053383396606543E8
1394.50/1390.83	c cleaning 76042 clauses out of 153775 for limit 6.737814402243094E8
1394.70/1391.08	c cleaning 38424 clauses out of 78236 for limit 2.1905721598029704E9
1394.90/1391.29	c cleaning 19269 clauses out of 40308 for limit 6.983783890917012E9
1395.10/1391.50	c cleaning 9851 clauses out of 21539 for limit 2.1553231446442966E10
1395.30/1391.65	c cleaning 5210 clauses out of 12188 for limit 6.28147116186578E10
1395.40/1391.75	c cleaning 2865 clauses out of 7478 for limit 1.6883568415507248E11
1395.50/1391.89	c cleaning 1710 clauses out of 5114 for limit 4.075485740315168E11
1395.70/1392.04	c cleaning 1094 clauses out of 3903 for limit 8.797573939616853E11
1395.80/1392.16	c cleaning 877 clauses out of 3312 for limit 1.7148675053351426E12
1395.90/1392.29	c cleaning 1382 clauses out of 2932 for limit 3.1849988869531216E12
1396.10/1392.42	c cleaning 810 clauses out of 2056 for limit 7.53551776802164E12
1396.20/1392.54	c cleaning 743 clauses out of 1740 for limit 1.459606459278774E13
1396.30/1392.68	c cleaning 442 clauses out of 1497 for limit 2.7978157557624637E13
1396.60/1392.91	c cleaning 557 clauses out of 1555 for limit 4.441875744130404E13
1396.80/1393.12	c cleaning 401 clauses out of 1498 for limit 7.60397836533528E13
1397.00/1393.34	c cleaning 430 clauses out of 1597 for limit 1.176260888826778E14
1397.20/1393.55	c cleaning 476 clauses out of 1667 for limit 1.858355768552969E14
1397.40/1393.72	c cleaning 403 clauses out of 1691 for limit 3.021180962137355E14
1397.60/1393.92	c cleaning 445 clauses out of 1788 for limit 4.7120372985528144E14
1397.80/1394.12	c cleaning 507 clauses out of 1843 for limit 7.538879223141434E14
1398.00/1394.34	c cleaning 481 clauses out of 1836 for limit 1.2480021430243208E15
1398.20/1394.57	c cleaning 767 clauses out of 1854 for limit 2.0381407168530058E15
1398.40/1394.80	c cleaning 621 clauses out of 1587 for limit 3.926655993196213E15
1398.60/1394.98	c cleaning 700 clauses out of 1467 for limit 7.012293204496724E-5
1398.80/1395.14	c cleaning 597 clauses out of 1266 for limit 1.3386833144835714E-4
1399.00/1395.31	c cleaning 528 clauses out of 1169 for limit 2.390853314999565E-4
1399.10/1395.44	c cleaning 502 clauses out of 1141 for limit 4.03959369426042E-4
1399.20/1395.59	c cleaning 457 clauses out of 1140 for limit 6.674348468365026E-4
1399.40/1395.74	c cleaning 470 clauses out of 1184 for limit 0.0010619081084536862
1399.50/1395.90	c cleaning 450 clauses out of 1211 for limit 0.00170705238191823
1399.70/1396.08	c cleaning 459 clauses out of 1261 for limit 0.002703533724800197
1400.00/1396.32	c cleaning 485 clauses out of 1302 for limit 0.004318090904157027
1400.20/1396.55	c cleaning 519 clauses out of 1318 for limit 0.007041703808054877
1400.40/1396.76	c cleaning 477 clauses out of 1298 for limit 0.011779852339934106
1400.60/1396.92	c cleaning 494 clauses out of 1321 for limit 0.019088315670648642
1400.60/1397.00	c cleaning 469 clauses out of 1328 for limit 0.03134460128640813
1400.70/1397.09	c cleaning 460 clauses out of 1359 for limit 0.05051231294002407
1400.90/1397.25	c cleaning 538 clauses out of 1398 for limit 0.08089672045390091
1401.10/1397.46	c cleaning 500 clauses out of 1360 for limit 0.1371371329771939
1401.30/1397.64	c cleaning 529 clauses out of 1360 for limit 0.22615747815682216
1401.50/1397.86	c cleaning 510 clauses out of 1332 for limit 0.38118520423574953
1401.70/1398.09	c cleaning 517 clauses out of 1321 for limit 0.6332261152286555
1401.90/1398.27	c cleaning 497 clauses out of 1304 for limit 1.0578885845224446
1402.10/1398.49	c cleaning 487 clauses out of 1307 for limit 1.740595360501353
1402.30/1398.67	c cleaning 495 clauses out of 1320 for limit 2.8422047765209424
1402.50/1398.89	c cleaning 477 clauses out of 1325 for limit 4.669488443609779
1402.80/1399.15	c cleaning 523 clauses out of 1346 for limit 7.580467852424492
1403.00/1399.33	c cleaning 504 clauses out of 1323 for limit 12.718535690155258
1403.20/1399.53	c cleaning 463 clauses out of 1319 for limit 21.03817428917446
1403.30/1399.62	c cleaning 442 clauses out of 1356 for limit 33.74807780548545
1403.40/1399.72	c cleaning 457 clauses out of 1414 for limit 53.3722127807392
1403.50/1399.80	c cleaning 461 clauses out of 1457 for limit 85.4202726833269
1403.60/1399.93	c cleaning 567 clauses out of 1496 for limit 137.19705802925316
1403.70/1400.08	c cleaning 514 clauses out of 1431 for limit 237.00727066201148
1403.90/1400.30	c cleaning 514 clauses out of 1415 for limit 394.48611932033185
1404.20/1400.54	c cleaning 509 clauses out of 1401 for limit 657.0613444667271
1404.40/1400.73	c cleaning 512 clauses out of 1392 for limit 1090.587975592456
1404.60/1400.98	c cleaning 500 clauses out of 1380 for limit 1814.1648198968076
1404.90/1401.21	c cleaning 484 clauses out of 1380 for limit 2991.800482637456
1405.10/1401.43	c cleaning 478 clauses out of 1399 for limit 4881.501444304487
1405.30/1401.62	c cleaning 516 clauses out of 1418 for limit 7918.5790663912485
1405.50/1401.81	c cleaning 484 clauses out of 1402 for limit 13207.826693588431
1405.50/1401.89	c cleaning 472 clauses out of 1418 for limit 21535.70192320021
1405.60/1401.99	c cleaning 474 clauses out of 1446 for limit 34827.54454689669
1405.70/1402.09	c cleaning 490 clauses out of 1472 for limit 56420.798253734436
1405.90/1402.20	c cleaning 465 clauses out of 1482 for limit 92417.60715463567
1406.00/1402.31	c cleaning 505 clauses out of 1517 for limit 148892.63971625335
1406.11/1402.44	c cleaning 538 clauses out of 1512 for limit 246355.86512785227
1406.21/1402.52	c cleaning 496 clauses out of 1474 for limit 416747.59367889387
1406.30/1402.65	c cleaning 494 clauses out of 1478 for limit 685412.5266156566
1406.40/1402.77	c cleaning 552 clauses out of 1484 for limit 1125766.8537544906
1406.60/1402.95	c cleaning 504 clauses out of 1432 for limit 1923956.406457342
1406.80/1403.15	c cleaning 687 clauses out of 1428 for limit 3181749.063748632
1407.00/1403.33	c cleaning 485 clauses out of 1241 for limit 6037793.255387324
1407.10/1403.48	c cleaning 391 clauses out of 1256 for limit 9838214.044891624
1407.40/1403.70	c cleaning 457 clauses out of 1365 for limit 1.49289458260072E7
1407.60/1403.94	c cleaning 464 clauses out of 1409 for limit 2.387488009451506E7
1407.80/1404.15	c cleaning 500 clauses out of 1444 for limit 3.838012406199611E7
1408.00/1404.35	c cleaning 469 clauses out of 1444 for limit 6.32939589793704E7
1408.20/1404.54	c cleaning 526 clauses out of 1475 for limit 1.0218645219620138E8
1408.41/1404.72	c cleaning 469 clauses out of 1449 for limit 1.7154293764496028E8
1408.50/1404.84	c cleaning 493 clauses out of 1480 for limit 2.7697170221518093E8
1408.70/1405.06	c cleaning 499 clauses out of 1487 for limit 4.5461319203436613E8
1409.01/1405.32	c cleaning 477 clauses out of 1488 for limit 7.492141280071754E8
1409.21/1405.57	c cleaning 499 clauses out of 1511 for limit 1.2167470786454046E9
1409.52/1405.81	c cleaning 498 clauses out of 1512 for limit 2.0052516038794065E9
1409.71/1406.04	c cleaning 477 clauses out of 1514 for limit 3.302559687362464E9
1409.91/1406.28	c cleaning 474 clauses out of 1538 for limit 5.3667407184486065E9
1410.11/1406.45	c cleaning 524 clauses out of 1563 for limit 8.700202208946974E9
1410.21/1406.59	c cleaning 492 clauses out of 1539 for limit 1.4571544661640402E10
1410.41/1406.71	c cleaning 472 clauses out of 1547 for limit 2.3906157965976177E10
1410.52/1406.81	c cleaning 778 clauses out of 1577 for limit 3.87519281123356E10
1410.62/1406.92	c cleaning 636 clauses out of 1297 for limit 7.754823121695361E10
1410.71/1407.05	c cleaning 353 clauses out of 1161 for limit 1.428681890776089E11
1410.81/1407.17	c cleaning 418 clauses out of 1308 for limit 2.0912979061641284E11
1411.01/1407.31	c cleaning 403 clauses out of 1390 for limit 3.245373856870492E11
1411.21/1407.52	c cleaning 498 clauses out of 1487 for limit 5.002930296687278E11
1411.41/1407.74	c cleaning 473 clauses out of 1489 for limit 8.239419403295604E11
1411.62/1407.95	c cleaning 481 clauses out of 1516 for limit 1.334590390201782E12
1411.81/1408.17	c cleaning 496 clauses out of 1535 for limit 2.1736754573905251E12
1412.11/1408.41	c cleaning 496 clauses out of 1541 for limit 3.5778765647062295E12
1412.31/1408.65	c cleaning 489 clauses out of 1544 for limit 5.883043660243836E12
1412.61/1408.91	c cleaning 501 clauses out of 1554 for limit 9.62985456484368E12
1412.72/1409.10	c cleaning 488 clauses out of 1553 for limit 1.5891144397969092E13
1412.91/1409.28	c cleaning 492 clauses out of 1565 for limit 2.6005677639503426E13
1413.21/1409.52	c cleaning 486 clauses out of 1573 for limit 4.266872650896191E13
1413.41/1409.77	c cleaning 487 clauses out of 1587 for limit 6.974568820656566E13
1413.71/1410.02	c cleaning 485 clauses out of 1600 for limit 1.1408543300547377E14
1413.91/1410.26	c cleaning 511 clauses out of 1615 for limit 1.8639469087524888E14
1414.11/1410.44	c cleaning 474 clauses out of 1604 for limit 3.094978153445152E14
1414.31/1410.63	c cleaning 497 clauses out of 1630 for limit 5.022618990267951E14
1414.51/1410.86	c cleaning 503 clauses out of 1633 for limit 8.267753903922786E14
1414.71/1411.08	c cleaning 500 clauses out of 1630 for limit 1.365972664304145E15
1414.92/1411.27	c cleaning 802 clauses out of 1630 for limit 2.2526716599912815E15
1415.11/1411.41	c cleaning 583 clauses out of 1328 for limit 4.559773935759445E-5
1415.31/1411.65	c cleaning 537 clauses out of 1245 for limit 8.020989030091942E-5
1415.51/1411.88	c cleaning 507 clauses out of 1208 for limit 1.3632836510326412E-4
1415.71/1412.07	c cleaning 495 clauses out of 1201 for limit 2.2613409140642674E-4
1415.91/1412.29	c cleaning 496 clauses out of 1206 for limit 3.713792433304089E-4
1416.21/1412.51	c cleaning 490 clauses out of 1210 for limit 6.104294129757595E-4
1416.41/1412.74	c cleaning 523 clauses out of 1220 for limit 9.984282903092792E-4
1416.61/1412.94	c cleaning 394 clauses out of 1197 for limit 0.0016781796307784613
1416.81/1413.15	c cleaning 434 clauses out of 1303 for limit 0.0025424010964449585
1417.01/1413.33	c cleaning 354 clauses out of 1369 for limit 0.003990625025753149
1417.22/1413.57	c cleaning 410 clauses out of 1515 for limit 0.005946858761048748
1417.41/1413.74	c cleaning 462 clauses out of 1605 for limit 0.009257231130875105
1417.51/1413.89	c cleaning 451 clauses out of 1643 for limit 0.014913324488609563
1417.81/1414.10	c cleaning 487 clauses out of 1692 for limit 0.023881827617253618
1417.91/1414.26	c cleaning 479 clauses out of 1705 for limit 0.03908403752612845
1418.11/1414.49	c cleaning 493 clauses out of 1726 for limit 0.06367059385662778
1418.41/1414.73	c cleaning 494 clauses out of 1733 for limit 0.10457720158621142
1418.61/1414.95	c cleaning 491 clauses out of 1739 for limit 0.17186675768107512
1418.81/1415.10	c cleaning 494 clauses out of 1748 for limit 0.28197196099287913
1418.91/1415.29	c cleaning 508 clauses out of 1754 for limit 0.4634188028217863
1419.11/1415.41	c cleaning 475 clauses out of 1746 for limit 0.7677412714768904
1419.21/1415.52	c cleaning 533 clauses out of 1771 for limit 1.2482352786242656
1419.32/1415.65	c cleaning 480 clauses out of 1738 for limit 2.0975925355765694
1419.42/1415.77	c cleaning 519 clauses out of 1758 for limit 3.419856769172973
1419.61/1415.92	c cleaning 499 clauses out of 1739 for limit 5.701420763418996
1419.71/1416.00	c cleaning 488 clauses out of 1740 for limit 9.39700187994493
1419.81/1416.18	c cleaning 510 clauses out of 1752 for limit 15.390769967296356
1420.01/1416.31	c cleaning 494 clauses out of 1742 for limit 25.527141478763756
1420.11/1416.48	c cleaning 506 clauses out of 1748 for limit 41.953171242611404
1420.31/1416.65	c cleaning 489 clauses out of 1742 for limit 69.4246916307615
1420.52/1416.88	c cleaning 508 clauses out of 1753 for limit 113.77218032665503
1420.71/1417.07	c cleaning 480 clauses out of 1746 for limit 188.5663334076934
1420.91/1417.25	c cleaning 499 clauses out of 1765 for limit 307.3159218425069
1421.11/1417.44	c cleaning 507 clauses out of 1766 for limit 506.51808802009816
1421.31/1417.66	c cleaning 514 clauses out of 1759 for limit 838.6402565499908
1421.52/1417.88	c cleaning 500 clauses out of 1745 for limit 1394.1259168247925
1421.71/1418.06	c cleaning 508 clauses out of 1745 for limit 2299.1001396725633
1422.01/1418.30	c cleaning 472 clauses out of 1737 for limit 3808.986098887485
1422.11/1418.46	c cleaning 503 clauses out of 1765 for limit 6181.87733736435
1422.21/1418.57	c cleaning 481 clauses out of 1762 for limit 10212.10040380864
1422.41/1418.71	c cleaning 480 clauses out of 1781 for limit 16661.45588994897
1422.51/1418.86	c cleaning 481 clauses out of 1803 for limit 27196.063778881482
1422.62/1418.99	c cleaning 472 clauses out of 1821 for limit 44362.213453755125
1422.81/1419.10	c cleaning 447 clauses out of 1848 for limit 72018.24954028452
1422.91/1419.21	c cleaning 502 clauses out of 1901 for limit 115456.47616937502
1423.01/1419.33	c cleaning 483 clauses out of 1899 for limit 190603.70463083763
1423.11/1419.43	c cleaning 460 clauses out of 1916 for limit 311542.0580039298
1423.31/1419.62	c cleaning 544 clauses out of 1957 for limit 503514.2456686519
1423.41/1419.78	c cleaning 562 clauses out of 1912 for limit 849055.491582591
1423.61/1419.94	c cleaning 537 clauses out of 1850 for limit 1447131.9159579172
1423.72/1420.05	c cleaning 530 clauses out of 1813 for limit 2435218.493121218
1423.91/1420.22	c cleaning 517 clauses out of 1783 for limit 4083572.5996031836
1424.01/1420.39	c cleaning 628 clauses out of 1766 for limit 6799184.278336213
1424.21/1420.58	c cleaning 482 clauses out of 1638 for limit 1.2088975595247563E7
1424.41/1420.73	c cleaning 406 clauses out of 1656 for limit 1.971963866479813E7
1424.51/1420.83	c cleaning 464 clauses out of 1751 for limit 3.078672823042781E7
1424.61/1420.98	c cleaning 639 clauses out of 1786 for limit 4.972669605284753E7
1424.82/1421.19	c cleaning 432 clauses out of 1647 for limit 8.892693974475932E7
1425.01/1421.35	c cleaning 438 clauses out of 1716 for limit 1.408964534808883E8
1425.21/1421.58	c cleaning 491 clauses out of 1777 for limit 2.2415647710254464E8
1425.41/1421.76	c cleaning 552 clauses out of 1786 for limit 3.678012092584776E8
1425.61/1421.93	c cleaning 489 clauses out of 1734 for limit 6.247430035594195E8
1425.81/1422.12	c cleaning 463 clauses out of 1745 for limit 1.023790157582409E9
1425.92/1422.26	c cleaning 440 clauses out of 1782 for limit 1.6533110510313575E9
1426.11/1422.41	c cleaning 522 clauses out of 1842 for limit 2.637719011226051E9
1426.21/1422.54	c cleaning 498 clauses out of 1820 for limit 4.402533348775192E9
1426.41/1422.74	c cleaning 526 clauses out of 1822 for limit 7.252396785707296E9
1426.61/1422.96	c cleaning 483 clauses out of 1798 for limit 1.2144094905238516E10
1426.81/1423.17	c cleaning 475 clauses out of 1813 for limit 1.9821836945484894E10
1427.02/1423.31	c cleaning 512 clauses out of 1838 for limit 3.2244235421518566E10
1427.21/1423.55	c cleaning 525 clauses out of 1826 for limit 5.352451050122831E10
1427.41/1423.79	c cleaning 569 clauses out of 1801 for limit 8.949435690645094E10
1427.61/1423.98	c cleaning 425 clauses out of 1733 for limit 1.535328106815291E11
1427.91/1424.21	c cleaning 504 clauses out of 1807 for limit 2.4258446527302313E11
1428.12/1424.41	c cleaning 478 clauses out of 1803 for limit 4.009417657998448E11
1428.22/1424.59	c cleaning 901 clauses out of 1825 for limit 6.532358990286484E11
1428.41/1424.79	c cleaning 602 clauses out of 1424 for limit 1.3806347817035842E12
1428.61/1424.91	c cleaning 427 clauses out of 1322 for limit 2.4525238041886514E12
1428.71/1425.02	c cleaning 339 clauses out of 1395 for limit 3.832890090496427E12
1428.91/1425.20	c cleaning 458 clauses out of 1556 for limit 5.666917208970088E12
1429.01/1425.36	c cleaning 487 clauses out of 1598 for limit 9.099878055716602E12
1429.22/1425.58	c cleaning 477 clauses out of 1611 for limit 1.4885817632219754E13
1429.41/1425.76	c cleaning 436 clauses out of 1634 for limit 2.4203159862085508E13
1429.51/1425.86	c cleaning 418 clauses out of 1698 for limit 3.840982448340383E13
1429.61/1425.99	c cleaning 482 clauses out of 1780 for limit 6.0424893445446195E13
1429.81/1426.17	c cleaning 721 clauses out of 1798 for limit 9.86511370215328E13
1430.01/1426.34	c cleaning 369 clauses out of 1577 for limit 1.854880673596661E14
1430.11/1426.48	c cleaning 434 clauses out of 1708 for limit 2.824331632933744E14
1430.32/1426.65	c cleaning 505 clauses out of 1774 for limit 4.484415325320137E14
1430.51/1426.85	c cleaning 479 clauses out of 1769 for limit 7.41630355794977E14
1430.71/1427.08	c cleaning 466 clauses out of 1790 for limit 1.2086990662873775E15
1430.91/1427.29	c cleaning 509 clauses out of 1824 for limit 1.9561505254085655E15
1431.11/1427.44	c cleaning 483 clauses out of 1815 for limit 3.2419503711814785E15
1431.31/1427.65	c cleaning 568 clauses out of 1832 for limit 5.296797980528419E15
1431.52/1427.90	c cleaning 508 clauses out of 1764 for limit 9.071856770939598E15
1431.81/1428.18	c cleaning 820 clauses out of 1756 for limit 1.502886353784861E-4
1432.01/1428.30	c cleaning 627 clauses out of 1436 for limit 3.030763858828874E-4
1432.11/1428.48	c cleaning 347 clauses out of 1309 for limit 5.483057245238577E-4
1432.41/1428.70	c cleaning 470 clauses out of 1462 for limit 8.096008231289214E-4
1432.52/1428.81	c cleaning 308 clauses out of 1492 for limit 0.0013082940839649099
1432.62/1428.96	c cleaning 401 clauses out of 1688 for limit 0.0019146777588513004
1432.81/1429.16	c cleaning 452 clauses out of 1783 for limit 0.002977382500747269
1433.01/1429.37	c cleaning 494 clauses out of 1833 for limit 0.004785732503957745
1433.11/1429.49	c cleaning 484 clauses out of 1837 for limit 0.00785938552036803
1433.31/1429.62	c cleaning 483 clauses out of 1853 for limit 0.012849262941222132
1433.51/1429.80	c cleaning 518 clauses out of 1870 for limit 0.02099751577432099
1433.72/1430.02	c cleaning 483 clauses out of 1852 for limit 0.03496426695049528
1433.81/1430.13	c cleaning 493 clauses out of 1871 for limit 0.05718953071011001
1434.01/1430.32	c cleaning 514 clauses out of 1877 for limit 0.09391769449481674
1434.21/1430.51	c cleaning 494 clauses out of 1862 for limit 0.15597442530289718
1434.41/1430.72	c cleaning 529 clauses out of 1868 for limit 0.2563964961223912
1434.61/1430.91	c cleaning 501 clauses out of 1839 for limit 0.42949994795998175
1434.82/1431.13	c cleaning 483 clauses out of 1838 for limit 0.7086882377501365
1435.01/1431.31	c cleaning 486 clauses out of 1855 for limit 1.1580110534795618
1435.11/1431.48	c cleaning 473 clauses out of 1873 for limit 1.8989467021185062
1435.31/1431.61	c cleaning 480 clauses out of 1898 for limit 3.0841905935294736
1435.41/1431.77	c cleaning 483 clauses out of 1916 for limit 5.028387928093294
1435.51/1431.86	c cleaning 475 clauses out of 1933 for limit 8.219555132131038
1435.61/1431.97	c cleaning 501 clauses out of 1958 for limit 13.382072128825033
1435.71/1432.09	c cleaning 486 clauses out of 1957 for limit 22.08010402821792
1435.92/1432.20	c cleaning 490 clauses out of 1971 for limit 36.15440374493475
1436.01/1432.33	c cleaning 497 clauses out of 1981 for limit 59.32247190594329
1436.11/1432.49	c cleaning 551 clauses out of 1984 for limit 97.68276271713147
1436.31/1432.67	c cleaning 533 clauses out of 1933 for limit 165.342170655831
1436.51/1432.87	c cleaning 524 clauses out of 1900 for limit 277.4072294545998
1436.81/1433.11	c cleaning 511 clauses out of 1876 for limit 463.3342757287403
1437.02/1433.30	c cleaning 499 clauses out of 1867 for limit 769.3214748630475
1437.11/1433.48	c cleaning 492 clauses out of 1866 for limit 1266.8564226023093
1437.31/1433.64	c cleaning 510 clauses out of 1875 for limit 2081.2687511966783
1437.41/1433.79	c cleaning 492 clauses out of 1864 for limit 3449.092986129673
1437.71/1434.04	c cleaning 500 clauses out of 1872 for limit 5663.707985936235
1437.91/1434.22	c cleaning 497 clauses out of 1872 for limit 9340.212146107819
1438.02/1434.40	c cleaning 500 clauses out of 1878 for limit 15400.202069979388
1438.21/1434.57	c cleaning 510 clauses out of 1875 for limit 25361.392006668386
1438.41/1434.75	c cleaning 500 clauses out of 1865 for limit 42048.58733778767
1438.61/1434.94	c cleaning 480 clauses out of 1865 for limit 69343.74567938781
1438.81/1435.12	c cleaning 482 clauses out of 1885 for limit 113143.77519385814
1438.91/1435.28	c cleaning 508 clauses out of 1903 for limit 184824.32072278473
1439.12/1435.50	c cleaning 504 clauses out of 1897 for limit 306376.5254948413
1439.31/1435.69	c cleaning 507 clauses out of 1891 for limit 505845.8043763534
1439.51/1435.84	c cleaning 512 clauses out of 1884 for limit 837306.8989751543
1439.71/1436.02	c cleaning 508 clauses out of 1872 for limit 1389682.5706647963
1439.81/1436.17	c cleaning 481 clauses out of 1866 for limit 2303746.700392251
1439.91/1436.27	c cleaning 495 clauses out of 1883 for limit 3757360.877207103
1440.01/1436.39	c cleaning 918 clauses out of 1888 for limit 6179980.80416333
1440.22/1436.52	c cleaning 401 clauses out of 1471 for limit 1.3093834342998814E7
1440.32/1436.69	c cleaning 586 clauses out of 1569 for limit 2.0224507121821724E7
1440.61/1436.90	c cleaning 528 clauses out of 1484 for limit 3.529859244374817E7
1440.81/1437.11	c cleaning 456 clauses out of 1455 for limit 5.931296994899202E7
1440.91/1437.23	c cleaning 301 clauses out of 1500 for limit 9.497554707433201E7
1441.01/1437.37	c cleaning 371 clauses out of 1698 for limit 1.382250488906553E8
1441.21/1437.54	c cleaning 482 clauses out of 1827 for limit 2.118564924842185E8
1441.42/1437.71	c cleaning 478 clauses out of 1845 for limit 3.459711153438078E8
1441.51/1437.85	c cleaning 498 clauses out of 1867 for limit 5.638294824097568E8
1441.71/1438.05	c cleaning 495 clauses out of 1869 for limit 9.288352413157881E8
1441.91/1438.29	c cleaning 499 clauses out of 1874 for limit 1.5276866610795932E9
1442.11/1438.42	c cleaning 915 clauses out of 1876 for limit 2.519192982854023E9
1442.21/1438.55	c cleaning 461 clauses out of 1461 for limit 5.334576445494089E9
1442.42/1438.74	c cleaning 486 clauses out of 1499 for limit 8.565838882381035E9
1442.61/1438.91	c cleaning 325 clauses out of 1515 for limit 1.4005022533424944E10
1442.71/1439.07	c cleaning 422 clauses out of 1688 for limit 2.06876359885166E10
1442.91/1439.24	c cleaning 437 clauses out of 1766 for limit 3.260982708793221E10
1443.01/1439.38	c cleaning 517 clauses out of 1829 for limit 5.192558245456951E10
1443.21/1439.53	c cleaning 634 clauses out of 1812 for limit 8.643562485231534E10
1443.41/1439.74	c cleaning 505 clauses out of 1678 for limit 1.5392703352852643E11
1443.52/1439.81	c cleaning 350 clauses out of 1673 for limit 2.5460492619702637E11
1443.71/1440.00	c cleaning 701 clauses out of 1823 for limit 3.8532923619926556E11
1443.81/1440.17	c cleaning 506 clauses out of 1622 for limit 7.142062845888306E11
1443.91/1440.24	c cleaning 477 clauses out of 1618 for limit 1.183098518591981E12
1444.01/1440.36	c cleaning 372 clauses out of 1640 for limit 1.922989686569966E12
1444.21/1440.54	c cleaning 469 clauses out of 1767 for limit 2.940394683270836E12
1444.41/1440.75	c cleaning 454 clauses out of 1798 for limit 4.765498946992781E12
1444.62/1440.91	c cleaning 458 clauses out of 1847 for limit 7.673448667700331E12
1444.72/1441.02	c cleaning 477 clauses out of 1886 for limit 1.235572264546377E13
1444.81/1441.14	c cleaning 488 clauses out of 1909 for limit 2.0130742699188133E13
1444.91/1441.29	c cleaning 565 clauses out of 1921 for limit 3.2990906466166652E13
1445.01/1441.39	c cleaning 454 clauses out of 1859 for limit 5.638994174248733E13
1445.21/1441.50	c cleaning 488 clauses out of 1902 for limit 9.061975313957911E13
1445.31/1441.69	c cleaning 502 clauses out of 1916 for limit 1.4864927424747956E14
1445.61/1441.94	c cleaning 513 clauses out of 1912 for limit 2.4516432455463403E14
1445.72/1442.08	c cleaning 506 clauses out of 1899 for limit 4.0707654856758825E14
1445.91/1442.27	c cleaning 476 clauses out of 1893 for limit 6.734514951457574E14
1446.11/1442.47	c cleaning 508 clauses out of 1919 for limit 1.0977586584164736E15
1800.00/1795.91	c starts		: 23
1800.00/1795.91	c conflicts		: 1767377
1800.00/1795.91	c decisions		: 10454856
1800.00/1795.91	c propagations		: 1682601293
1800.00/1795.91	c inspects		: 8465420747
1800.00/1795.91	c learnt literals	: 29
1800.00/1795.91	c learnt binary clauses	: 147656
1800.00/1795.91	c learnt ternary clauses	: 106765
1800.00/1795.91	c learnt clauses	: 1767348
1800.00/1795.91	c root simplifications	: 0
1800.00/1795.91	c removed literals (reason simplification)	: 0
1800.00/1795.91	c reason swapping (by a shorter reason)	: 0
1800.00/1795.91	c Calls to reduceDB	: 385
1800.00/1795.91	c speed (decisions/second)	: 5823.592027668431
1800.00/1795.91	c non guided choices	15988
1800.00/1795.91	s UNKNOWN
1800.00/1795.91	c Total wall clock time (ms): 1795.808

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.88 3/194 18082
/proc/meminfo: memFree=26411440/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18082/stat : 18082 (java) R 18080 18082 17886 0 -1 4202496 1086 0 0 0 0 0 0 0 20 0 1 0 342839569 23793664 813 33554432000 1073741824 1073778376 140733207017920 140733207006984 139849462481744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 5809 832 626 9 0 128 0

[startup+0.04833 s]
/proc/loadavg: 1.92 1.98 1.88 3/194 18082
/proc/meminfo: memFree=26411440/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=2623916 CPUtime=0.04 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 3945 0 1 0 3 1 0 0 20 0 13 0 342839569 2686889984 5153 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 655979 5153 1706 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100256 s]
/proc/loadavg: 1.92 1.98 1.88 3/194 18082
/proc/meminfo: memFree=26411440/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 4907 0 1 0 9 1 0 0 20 0 18 0 342839569 3028844544 6617 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 739464 6617 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300226 s]
/proc/loadavg: 1.92 1.98 1.88 3/194 18082
/proc/meminfo: memFree=26411440/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=2957856 CPUtime=0.54 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 8544 0 1 0 52 2 0 0 20 0 18 0 342839569 3028844544 11922 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 739464 11922 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700235 s]
/proc/loadavg: 1.92 1.98 1.88 3/194 18082
/proc/meminfo: memFree=26411440/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=3024420 CPUtime=1.39 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 9615 0 1 0 135 4 0 0 20 0 19 0 342839569 3097006080 35290 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 756105 35290 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 1.92 1.98 1.88 3/213 18101
/proc/meminfo: memFree=26278280/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=3024420 CPUtime=2.38 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 10129 0 1 0 234 4 0 0 20 0 19 0 342839569 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 756105 35257 2271 9 0 746526 0
[pid=18082/tid=18084] ppid=18080 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/18082/task/18084/stat : 18084 (java) R 18080 18082 17886 0 -1 4202560 3097 0 1 0 145 3 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849457734120 139849320084334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18085] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18085/stat : 18085 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849441159976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18086] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18086/stat : 18086 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849440107176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18087] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18087/stat : 18087 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849439054888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18088] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18088/stat : 18088 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849438002088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18089] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18089/stat : 18089 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849319311656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18090] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18090/stat : 18090 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849318258856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18091] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18091/stat : 18091 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849317206568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18092] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18092/stat : 18092 (java) S 18080 18082 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849316153768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18093] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18093/stat : 18093 (java) S 18080 18082 17886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139849303743208 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18094] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18094/stat : 18094 (java) S 18080 18082 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848698553848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18095] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18095/stat : 18095 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848697501448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18096] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18096/stat : 18096 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848696449936 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18097] ppid=18080 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18082/task/18097/stat : 18097 (java) S 18080 18082 17886 0 -1 4202560 2894 0 0 0 42 0 0 0 20 0 19 0 342839575 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848695396536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18098] ppid=18080 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/18082/task/18098/stat : 18098 (java) S 18080 18082 17886 0 -1 4202560 2943 0 0 0 43 1 0 0 20 0 19 0 342839575 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848694343736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18099] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18099/stat : 18099 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848693291640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18100] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18100/stat : 18100 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848692239048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18101] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18101/stat : 18101 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839635 3097006080 35257 33554432000 1073741824 1073778376 140733207017920 139848690107816 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 3024420

[startup+3.10066 s]
/proc/loadavg: 1.92 1.98 1.88 3/213 18101
/proc/meminfo: memFree=26274488/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=3024420 CPUtime=3.99 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 10132 0 1 0 395 4 0 0 20 0 19 0 342839569 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 756105 35770 2271 9 0 746526 0
[pid=18082/tid=18084] ppid=18080 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/18082/task/18084/stat : 18084 (java) R 18080 18082 17886 0 -1 4202560 3099 0 1 0 304 3 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849457733816 139849320114287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18085] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18085/stat : 18085 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849441159976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18086] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18086/stat : 18086 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849440107176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18087] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18087/stat : 18087 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849439054888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18088] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18088/stat : 18088 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849438002088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18089] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18089/stat : 18089 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849319311656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18090] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18090/stat : 18090 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849318258856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18091] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18091/stat : 18091 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849317206568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18092] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18092/stat : 18092 (java) S 18080 18082 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849316153768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18093] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18093/stat : 18093 (java) S 18080 18082 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139849303743208 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18094] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18094/stat : 18094 (java) S 18080 18082 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848698553848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18095] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18095/stat : 18095 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848697501448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18096] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18096/stat : 18096 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848696449936 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18097] ppid=18080 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18082/task/18097/stat : 18097 (java) S 18080 18082 17886 0 -1 4202560 2894 0 0 0 42 0 0 0 20 0 19 0 342839575 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848695396536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18098] ppid=18080 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18082/task/18098/stat : 18098 (java) S 18080 18082 17886 0 -1 4202560 2943 0 0 0 44 1 0 0 20 0 19 0 342839575 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848694343736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18099] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18099/stat : 18099 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848693291640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18100] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18100/stat : 18100 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848692239048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18101] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18101/stat : 18101 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839635 3097006080 35770 33554432000 1073741824 1073778376 140733207017920 139848690107816 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 3024420

[startup+6.30069 s]
/proc/loadavg: 1.93 1.98 1.88 3/213 18101
/proc/meminfo: memFree=26263752/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=3024420 CPUtime=7.23 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 10139 0 1 0 719 4 0 0 20 0 19 0 342839569 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 756105 36257 2272 9 0 746526 0
[pid=18082/tid=18084] ppid=18080 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/18082/task/18084/stat : 18084 (java) R 18080 18082 17886 0 -1 4202560 3101 0 1 0 624 3 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849457734088 139849320231972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18085] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18085/stat : 18085 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849441159976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18086] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18086/stat : 18086 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849440107176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18087] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18087/stat : 18087 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849439054888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18088] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18088/stat : 18088 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849438002088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18089] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18089/stat : 18089 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849319311656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18090] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18090/stat : 18090 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849318258856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18091] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18091/stat : 18091 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849317206568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18092] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18092/stat : 18092 (java) S 18080 18082 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342839570 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849316153768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18093] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18093/stat : 18093 (java) S 18080 18082 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139849303743208 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18094] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18094/stat : 18094 (java) S 18080 18082 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848698553848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18095] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18095/stat : 18095 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848697501448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18096] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18096/stat : 18096 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848696449936 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18097] ppid=18080 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/18082/task/18097/stat : 18097 (java) S 18080 18082 17886 0 -1 4202560 2894 0 0 0 44 0 0 0 20 0 19 0 342839575 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848695396536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18098] ppid=18080 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18082/task/18098/stat : 18098 (java) S 18080 18082 17886 0 -1 4202560 2948 0 0 0 46 1 0 0 20 0 19 0 342839575 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848694343736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18099] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18099/stat : 18099 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848693291640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18100] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18100/stat : 18100 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848692239048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18101] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18101/stat : 18101 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839635 3097006080 36257 33554432000 1073741824 1073778376 140733207017920 139848690107816 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=18082/tid=18090] ppid=18080 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18082/task/18090/stat : 18090 (java) S 18080 18082 17886 0 -1 4202560 376 0 0 0 34 13 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849318258856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18091] ppid=18080 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18082/task/18091/stat : 18091 (java) S 18080 18082 17886 0 -1 4202560 334 0 0 0 39 19 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849317206568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18092] ppid=18080 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18082/task/18092/stat : 18092 (java) S 18080 18082 17886 0 -1 4202560 156 0 0 0 34 9 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849316153768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18093] ppid=18080 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/18082/task/18093/stat : 18093 (java) S 18080 18082 17886 0 -1 4202560 256 0 0 0 190 8 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849303743208 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18094] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18094/stat : 18094 (java) S 18080 18082 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848698553848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18095] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18095/stat : 18095 (java) S 18080 18082 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848697501448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18096] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18096/stat : 18096 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848696449936 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18097] ppid=18080 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18082/task/18097/stat : 18097 (java) S 18080 18082 17886 0 -1 4202560 2904 0 0 0 49 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848695396536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18098] ppid=18080 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/18082/task/18098/stat : 18098 (java) S 18080 18082 17886 0 -1 4202560 2962 0 0 0 52 2 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848694343736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18099] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18099/stat : 18099 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848693291640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18100] ppid=18080 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/18082/task/18100/stat : 18100 (java) S 18080 18082 17886 0 -1 4202560 99 0 0 0 41 30 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848692239048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18101] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18101/stat : 18101 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839635 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848690107816 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.39
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/213 18139
/proc/meminfo: memFree=23176724/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=3024420 CPUtime=1786.4 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 12573 0 1 0 178494 146 0 0 20 0 19 0 342839569 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 756105 418549 2302 9 0 746526 0
[pid=18082/tid=18084] ppid=18080 vsize=3024420 CPUtime=1779.36 cores=0,2,4,6
/proc/18082/task/18084/stat : 18084 (java) R 18080 18082 17886 0 -1 4202560 3261 0 1 0 177900 36 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849457732896 139849320108863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18085] ppid=18080 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18082/task/18085/stat : 18085 (java) S 18080 18082 17886 0 -1 4202560 160 0 0 0 24 10 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849441159976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18086] ppid=18080 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18082/task/18086/stat : 18086 (java) S 18080 18082 17886 0 -1 4202560 212 0 0 0 29 14 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849440107176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18087] ppid=18080 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18082/task/18087/stat : 18087 (java) S 18080 18082 17886 0 -1 4202560 208 0 0 0 26 13 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849439054888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18088] ppid=18080 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/18082/task/18088/stat : 18088 (java) S 18080 18082 17886 0 -1 4202560 296 0 0 0 29 17 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849438002088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18089] ppid=18080 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18082/task/18089/stat : 18089 (java) S 18080 18082 17886 0 -1 4202560 164 0 0 0 41 9 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849319311656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18090] ppid=18080 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18082/task/18090/stat : 18090 (java) S 18080 18082 17886 0 -1 4202560 376 0 0 0 34 13 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849318258856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18091] ppid=18080 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18082/task/18091/stat : 18091 (java) S 18080 18082 17886 0 -1 4202560 334 0 0 0 39 19 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849317206568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18092] ppid=18080 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18082/task/18092/stat : 18092 (java) S 18080 18082 17886 0 -1 4202560 156 0 0 0 34 9 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849316153768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18093] ppid=18080 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/18082/task/18093/stat : 18093 (java) S 18080 18082 17886 0 -1 4202560 256 0 0 0 190 8 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849303743208 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18094] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18094/stat : 18094 (java) S 18080 18082 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848698553848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18095] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18095/stat : 18095 (java) S 18080 18082 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848697501448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18096] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18096/stat : 18096 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848696449936 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18097] ppid=18080 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18082/task/18097/stat : 18097 (java) S 18080 18082 17886 0 -1 4202560 2904 0 0 0 49 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848695396536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18098] ppid=18080 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/18082/task/18098/stat : 18098 (java) S 18080 18082 17886 0 -1 4202560 2962 0 0 0 52 2 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848694343736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18099] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18099/stat : 18099 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848693291640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18100] ppid=18080 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/18082/task/18100/stat : 18100 (java) S 18080 18082 17886 0 -1 4202560 103 0 0 0 42 32 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848692239048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18101] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18101/stat : 18101 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839635 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848690107816 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.4
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.9 s]
/proc/loadavg: 1.94 1.99 1.95 2/193 18142
/proc/meminfo: memFree=24851792/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=3024420 CPUtime=1800 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 12573 0 1 0 179854 146 0 0 20 0 19 0 342839569 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 756105 418549 2302 9 0 746526 0
[pid=18082/tid=18084] ppid=18080 vsize=3024420 CPUtime=1792.97 cores=0,2,4,6
/proc/18082/task/18084/stat : 18084 (java) R 18080 18082 17886 0 -1 4202560 3261 0 1 0 179261 36 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849457732896 139849320108884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18085] ppid=18080 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18082/task/18085/stat : 18085 (java) S 18080 18082 17886 0 -1 4202560 160 0 0 0 24 10 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849441159976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18086] ppid=18080 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18082/task/18086/stat : 18086 (java) S 18080 18082 17886 0 -1 4202560 212 0 0 0 29 14 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849440107176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18087] ppid=18080 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18082/task/18087/stat : 18087 (java) S 18080 18082 17886 0 -1 4202560 208 0 0 0 26 13 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849439054888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18088] ppid=18080 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/18082/task/18088/stat : 18088 (java) S 18080 18082 17886 0 -1 4202560 296 0 0 0 29 17 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849438002088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18089] ppid=18080 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18082/task/18089/stat : 18089 (java) S 18080 18082 17886 0 -1 4202560 164 0 0 0 41 9 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849319311656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18090] ppid=18080 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18082/task/18090/stat : 18090 (java) S 18080 18082 17886 0 -1 4202560 376 0 0 0 34 13 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849318258856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18091] ppid=18080 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18082/task/18091/stat : 18091 (java) S 18080 18082 17886 0 -1 4202560 334 0 0 0 39 19 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849317206568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18092] ppid=18080 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18082/task/18092/stat : 18092 (java) S 18080 18082 17886 0 -1 4202560 156 0 0 0 34 9 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849316153768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18093] ppid=18080 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/18082/task/18093/stat : 18093 (java) S 18080 18082 17886 0 -1 4202560 256 0 0 0 190 8 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849303743208 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18094] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18094/stat : 18094 (java) S 18080 18082 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848698553848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18095] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18095/stat : 18095 (java) S 18080 18082 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848697501448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18096] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18096/stat : 18096 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848696449936 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18097] ppid=18080 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18082/task/18097/stat : 18097 (java) S 18080 18082 17886 0 -1 4202560 2904 0 0 0 49 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848695396536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18098] ppid=18080 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/18082/task/18098/stat : 18098 (java) S 18080 18082 17886 0 -1 4202560 2962 0 0 0 52 2 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848694343736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18099] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18099/stat : 18099 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848693291640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18100] ppid=18080 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/18082/task/18100/stat : 18100 (java) S 18080 18082 17886 0 -1 4202560 103 0 0 0 43 32 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848692239048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18101] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18101/stat : 18101 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839635 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848690107816 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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

[startup+1795.9 s]
/proc/loadavg: 1.94 1.99 1.95 2/193 18142
/proc/meminfo: memFree=24851792/32873844 swapFree=7628/7628
[pid=18082] ppid=18080 vsize=3024420 CPUtime=1800 cores=0,2,4,6
/proc/18082/stat : 18082 (java) S 18080 18082 17886 0 -1 4202496 12573 0 1 0 179854 146 0 0 20 0 19 0 342839569 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 140733207009056 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18082/statm: 756105 418549 2302 9 0 746526 0
[pid=18082/tid=18084] ppid=18080 vsize=3024420 CPUtime=1792.97 cores=0,2,4,6
/proc/18082/task/18084/stat : 18084 (java) R 18080 18082 17886 0 -1 4202560 3261 0 1 0 179261 36 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849457732896 139849320108884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18085] ppid=18080 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18082/task/18085/stat : 18085 (java) S 18080 18082 17886 0 -1 4202560 160 0 0 0 24 10 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849441159976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18086] ppid=18080 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18082/task/18086/stat : 18086 (java) S 18080 18082 17886 0 -1 4202560 212 0 0 0 29 14 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849440107176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18087] ppid=18080 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18082/task/18087/stat : 18087 (java) S 18080 18082 17886 0 -1 4202560 208 0 0 0 26 13 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849439054888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18088] ppid=18080 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/18082/task/18088/stat : 18088 (java) S 18080 18082 17886 0 -1 4202560 296 0 0 0 29 17 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849438002088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18082/tid=18089] ppid=18080 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18082/task/18089/stat : 18089 (java) S 18080 18082 17886 0 -1 4202560 164 0 0 0 41 9 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849319311656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18090] ppid=18080 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18082/task/18090/stat : 18090 (java) S 18080 18082 17886 0 -1 4202560 376 0 0 0 34 13 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849318258856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18091] ppid=18080 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18082/task/18091/stat : 18091 (java) S 18080 18082 17886 0 -1 4202560 334 0 0 0 39 19 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849317206568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18092] ppid=18080 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18082/task/18092/stat : 18092 (java) S 18080 18082 17886 0 -1 4202560 156 0 0 0 34 9 0 0 20 0 19 0 342839570 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849316153768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18093] ppid=18080 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/18082/task/18093/stat : 18093 (java) S 18080 18082 17886 0 -1 4202560 256 0 0 0 190 8 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139849303743208 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18094] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18094/stat : 18094 (java) S 18080 18082 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848698553848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18095] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18095/stat : 18095 (java) S 18080 18082 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342839572 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848697501448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18096] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18096/stat : 18096 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848696449936 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18097] ppid=18080 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18082/task/18097/stat : 18097 (java) S 18080 18082 17886 0 -1 4202560 2904 0 0 0 49 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848695396536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18082/tid=18098] ppid=18080 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/18082/task/18098/stat : 18098 (java) S 18080 18082 17886 0 -1 4202560 2962 0 0 0 52 2 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848694343736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18099] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18099/stat : 18099 (java) S 18080 18082 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848693291640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18082/tid=18100] ppid=18080 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/18082/task/18100/stat : 18100 (java) S 18080 18082 17886 0 -1 4202560 103 0 0 0 43 32 0 0 20 0 19 0 342839575 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848692239048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18082/tid=18101] ppid=18080 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18082/task/18101/stat : 18101 (java) S 18080 18082 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342839635 3097006080 418549 33554432000 1073741824 1073778376 140733207017920 139848690107816 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1795.92
CPU time (s): 1800.6
CPU user time (s): 1798.65
CPU system time (s): 1.9537
CPU usage (%): 100.261
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.9537
maximum resident set size= 1674312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12604
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38087
involuntary context switches= 7530

runsolver used 6.45002 second user time and 14.3928 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-04 01:45:47
IDJOB=3742374
IDBENCH=90170
IDSOLVER=2319
FILE ID=node144/3742374-1338767147
RUNJOBID= node144-1338765348-17902
PBS_JOBID= 14636814
Free space on /tmp= 70832 MiB

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

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

MD5SUM BENCH= 57b7e746b37944d021e8febe16059957
RANDOM SEED=42444668

node144.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.196
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	: 5332.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.196
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.196
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:        26411968 kB
Buffers:         1721564 kB
Cached:          3722692 kB
SwapCached:          464 kB
Active:          3653136 kB
Inactive:        1924256 kB
Active(anon):     113908 kB
Inactive(anon):    11188 kB
Active(file):    3539228 kB
Inactive(file):  1913068 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              9384 kB
Writeback:             0 kB
AnonPages:         36180 kB
Mapped:            22004 kB
Shmem:               172 kB
Slab:             742320 kB
SReclaimable:     183956 kB
SUnreclaim:       558364 kB
KernelStack:        1416 kB
PageTables:         4568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70828 MiB
End job on node144 at 2012-06-04 02:15:45