Trace number 3742569

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.19 1795.02

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K148.opb
MD5SUM75849fe0d0ba66aaca3a2fe3a07c685a
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 variables17612
Total number of constraints17910
Number of constraints which are clauses17762
Number of constraints which are cardinality constraints (but not clauses)148
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint148
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 149
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.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.09	c no version file found!!!
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version	1.6.0_24
0.03/0.09	c os.name	Linux
0.03/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch	amd64
0.03/0.09	c Free memory 1599470296
0.03/0.09	c Max memory 1607860224
0.03/0.09	c Total memory 1607860224
0.03/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742569-1338770742.opb
0.07/0.12	c reading problem ... 
1.20/0.64	c ... done. Wall clock time 0.521s.
1.20/0.64	c CPU time (experimental) 0.6s.
1.20/0.64	c #vars     17612
1.20/0.64	c #constraints  17908
831.51/828.09	c cleaning 297140 clauses out of 595478 for limit 9.481907330183845E-8
832.42/828.97	c cleaning 149119 clauses out of 298838 for limit 3.1158855227984024E-7
832.72/829.25	c cleaning 74736 clauses out of 150219 for limit 1.0222293237364916E-6
832.93/829.49	c cleaning 37545 clauses out of 75983 for limit 3.3328260871713247E-6
833.12/829.65	c cleaning 19232 clauses out of 38938 for limit 1.0725346577255376E-5
833.32/829.80	c cleaning 9691 clauses out of 20208 for limit 3.414967327411307E-5
833.42/829.96	c cleaning 4990 clauses out of 11015 for limit 1.031127211648728E-4
833.52/830.08	c cleaning 2254 clauses out of 6527 for limit 2.875464746511475E-4
833.72/830.20	c cleaning 1314 clauses out of 4771 for limit 6.474393734014732E-4
833.82/830.30	c cleaning 846 clauses out of 3957 for limit 0.0012873551074473527
833.92/830.44	c cleaning 876 clauses out of 3612 for limit 0.0023281291457100265
834.03/830.57	c cleaning 680 clauses out of 3235 for limit 0.0042825446501594516
834.22/830.70	c cleaning 569 clauses out of 3055 for limit 0.007478609503659834
834.32/830.80	c cleaning 541 clauses out of 2986 for limit 0.012618221748445029
834.42/830.90	c cleaning 545 clauses out of 2945 for limit 0.021098838436771464
834.52/831.00	c cleaning 477 clauses out of 2900 for limit 0.035334726555394894
834.62/831.13	c cleaning 466 clauses out of 2923 for limit 0.05781317281781957
834.72/831.24	c cleaning 555 clauses out of 2962 for limit 0.09455815971201142
834.82/831.36	c cleaning 504 clauses out of 2904 for limit 0.15857685677064545
834.92/831.50	c cleaning 487 clauses out of 2900 for limit 0.2618751604345339
835.13/831.62	c cleaning 479 clauses out of 2911 for limit 0.429375205538008
835.22/831.75	c cleaning 489 clauses out of 2932 for limit 0.7030255175267769
835.32/831.87	c cleaning 491 clauses out of 2944 for limit 1.1558131942235048
835.42/831.99	c cleaning 489 clauses out of 2953 for limit 1.9002812953461263
835.62/832.10	c cleaning 487 clauses out of 2963 for limit 3.1201183257583405
835.72/832.25	c cleaning 473 clauses out of 2977 for limit 5.126421127251014
835.82/832.34	c cleaning 505 clauses out of 3003 for limit 8.372577140488266
835.92/832.46	c cleaning 496 clauses out of 2998 for limit 13.830527619510608
836.02/832.57	c cleaning 504 clauses out of 3002 for limit 22.777999333061274
836.13/832.70	c cleaning 506 clauses out of 3002 for limit 37.71460035107534
836.32/832.82	c cleaning 496 clauses out of 2993 for limit 62.19648375207905
836.42/832.93	c cleaning 486 clauses out of 2996 for limit 102.36514732375227
836.52/833.05	c cleaning 500 clauses out of 3010 for limit 168.02864153336543
836.62/833.19	c cleaning 504 clauses out of 3010 for limit 277.10170835802813
836.82/833.34	c cleaning 495 clauses out of 3006 for limit 457.58587462675695
836.92/833.48	c cleaning 550 clauses out of 3012 for limit 753.8709652348167
837.02/833.59	c cleaning 532 clauses out of 2961 for limit 1263.3827781231355
837.12/833.68	c cleaning 494 clauses out of 2930 for limit 2107.638573393715
837.32/833.81	c cleaning 516 clauses out of 2936 for limit 3468.6748738912524
837.42/833.93	c cleaning 490 clauses out of 2919 for limit 5747.869851938061
837.52/834.05	c cleaning 493 clauses out of 2929 for limit 9446.643719447573
837.62/834.18	c cleaning 519 clauses out of 2936 for limit 15541.636376714432
837.82/834.31	c cleaning 510 clauses out of 2917 for limit 25797.181118902634
837.92/834.46	c cleaning 503 clauses out of 2907 for limit 42689.34950890485
838.12/834.62	c cleaning 475 clauses out of 2904 for limit 70473.17595495327
838.22/834.75	c cleaning 474 clauses out of 2930 for limit 115303.6975333226
838.32/834.87	c cleaning 465 clauses out of 2955 for limit 188353.95540242404
838.52/835.01	c cleaning 512 clauses out of 2992 for limit 307394.11681874824
838.62/835.13	c cleaning 495 clauses out of 2978 for limit 508299.0646896658
838.72/835.26	c cleaning 556 clauses out of 2984 for limit 837405.0661483279
838.82/835.39	c cleaning 482 clauses out of 2929 for limit 1408333.2402700994
838.92/835.50	c cleaning 476 clauses out of 2945 for limit 2305294.243912608
839.12/835.63	c cleaning 687 clauses out of 2971 for limit 3776016.851291428
839.22/835.75	c cleaning 384 clauses out of 2782 for limit 6636915.882859543
839.32/835.86	c cleaning 408 clauses out of 2898 for limit 1.0507053531212255E7
839.42/835.95	c cleaning 630 clauses out of 2990 for limit 1.6794381900475606E7
839.52/836.05	c cleaning 524 clauses out of 2865 for limit 2.9049524809599467E7
839.62/836.19	c cleaning 1185 clauses out of 2836 for limit 4.8154930517153636E7
839.82/836.32	c cleaning 828 clauses out of 2153 for limit 1.0481606895521612E8
839.92/836.41	c cleaning 639 clauses out of 1823 for limit 2.0373802526102772E8
840.02/836.54	c cleaning 817 clauses out of 1684 for limit 3.637245045107114E8
840.12/836.66	c cleaning 636 clauses out of 1367 for limit 7.38927824847132E8
840.32/836.81	c cleaning 423 clauses out of 1231 for limit 1.3532198795091329E9
840.42/836.96	c cleaning 447 clauses out of 1308 for limit 2.1002672730576272E9
840.52/837.08	c cleaning 504 clauses out of 1361 for limit 3.328741503466144E9
840.62/837.19	c cleaning 487 clauses out of 1357 for limit 5.505721450582681E9
840.82/837.33	c cleaning 459 clauses out of 1370 for limit 8.99351375017241E9
840.92/837.48	c cleaning 489 clauses out of 1412 for limit 1.4404748238002262E10
841.14/837.63	c cleaning 507 clauses out of 1422 for limit 2.3564712620751415E10
841.24/837.78	c cleaning 482 clauses out of 1415 for limit 3.905361057059957E10
841.44/837.93	c cleaning 476 clauses out of 1437 for limit 6.367292444946615E10
841.54/838.02	c cleaning 493 clauses out of 1458 for limit 1.0318258240232576E11
841.64/838.16	c cleaning 470 clauses out of 1464 for limit 1.6929503264132907E11
841.84/838.32	c cleaning 505 clauses out of 1494 for limit 2.735839286634495E11
841.94/838.45	c cleaning 475 clauses out of 1490 for limit 4.528405503941583E11
842.04/838.58	c cleaning 563 clauses out of 1515 for limit 7.344713035064172E11
842.14/838.68	c cleaning 478 clauses out of 1451 for limit 1.2634016152293293E12
842.24/838.78	c cleaning 494 clauses out of 1473 for limit 2.052399879088031E12
842.34/838.89	c cleaning 730 clauses out of 1479 for limit 3.3709510044382754E12
842.54/839.03	c cleaning 515 clauses out of 1249 for limit 6.582851572192639E12
842.64/839.13	c cleaning 386 clauses out of 1234 for limit 1.0987964017797014E13
842.74/839.25	c cleaning 405 clauses out of 1348 for limit 1.6588166394178068E13
842.84/839.37	c cleaning 715 clauses out of 1443 for limit 2.5555114502009047E13
843.04/839.50	c cleaning 360 clauses out of 1232 for limit 4.955955390583712E13
843.14/839.63	c cleaning 661 clauses out of 1371 for limit 7.337059091636452E13
843.24/839.76	c cleaning 445 clauses out of 1211 for limit 1.3712155425058175E14
843.34/839.89	c cleaning 330 clauses out of 1263 for limit 2.1617171673713844E14
843.54/840.02	c cleaning 513 clauses out of 1432 for limit 3.141091440517107E14
843.64/840.16	c cleaning 432 clauses out of 1419 for limit 5.227536680852985E14
843.74/840.29	c cleaning 740 clauses out of 1487 for limit 8.226676179333265E14
843.94/840.44	c cleaning 560 clauses out of 1248 for limit 1.6181217100765372E15
844.04/840.54	c cleaning 435 clauses out of 1188 for limit 2.803271853636809E15
844.14/840.63	c cleaning 420 clauses out of 1255 for limit 4.384931788091344E15
844.24/840.77	c cleaning 615 clauses out of 1332 for limit 6.792891761289756E-5
844.34/840.88	c cleaning 580 clauses out of 1217 for limit 1.2260953014426196E-4
844.44/840.99	c cleaning 507 clauses out of 1137 for limit 2.1642639660540995E-4
844.64/841.11	c cleaning 505 clauses out of 1130 for limit 3.5912706558028355E-4
844.74/841.22	c cleaning 416 clauses out of 1126 for limit 5.949474242984997E-4
844.84/841.32	c cleaning 307 clauses out of 1210 for limit 9.130351469982338E-4
844.94/841.41	c cleaning 333 clauses out of 1402 for limit 0.0012982138192485502
845.04/841.52	c cleaning 425 clauses out of 1569 for limit 0.001913053805194154
845.14/841.64	c cleaning 432 clauses out of 1644 for limit 0.003010954566018875
845.24/841.73	c cleaning 467 clauses out of 1712 for limit 0.004768240389529236
845.34/841.83	c cleaning 464 clauses out of 1745 for limit 0.007714758900767255
845.44/841.93	c cleaning 489 clauses out of 1781 for limit 0.012465501549079095
845.54/842.04	c cleaning 512 clauses out of 1792 for limit 0.020431091000770497
845.64/842.15	c cleaning 543 clauses out of 1780 for limit 0.033920750163283074
845.74/842.24	c cleaning 496 clauses out of 1737 for limit 0.05732466415873663
845.84/842.33	c cleaning 505 clauses out of 1741 for limit 0.09431884055159175
845.94/842.43	c cleaning 485 clauses out of 1736 for limit 0.15599238232125617
846.04/842.52	c cleaning 493 clauses out of 1751 for limit 0.255048546254996
846.14/842.61	c cleaning 568 clauses out of 1759 for limit 0.41911534112285775
846.24/842.71	c cleaning 510 clauses out of 1690 for limit 0.7186775323427848
846.24/842.78	c cleaning 494 clauses out of 1680 for limit 1.1922501282803284
846.34/842.88	c cleaning 511 clauses out of 1686 for limit 1.9591828762021968
846.44/842.99	c cleaning 496 clauses out of 1675 for limit 3.252172867345595
846.64/843.10	c cleaning 482 clauses out of 1681 for limit 5.35482929561816
846.74/843.20	c cleaning 482 clauses out of 1697 for limit 8.730082850451673
846.74/843.29	c cleaning 478 clauses out of 1716 for limit 14.251918260593436
846.84/843.39	c cleaning 491 clauses out of 1741 for limit 23.235459080938636
847.04/843.51	c cleaning 505 clauses out of 1748 for limit 38.088639818674096
847.14/843.64	c cleaning 472 clauses out of 1741 for limit 62.939745793324285
847.24/843.73	c cleaning 481 clauses out of 1769 for limit 102.15316096742745
847.34/843.81	c cleaning 490 clauses out of 1788 for limit 166.67406026719613
847.44/843.91	c cleaning 488 clauses out of 1798 for limit 273.3390805760873
847.54/844.02	c cleaning 512 clauses out of 1810 for limit 447.7841621609394
847.64/844.10	c cleaning 479 clauses out of 1798 for limit 743.3845029384689
847.74/844.20	c cleaning 471 clauses out of 1820 for limit 1212.3337664005549
847.74/844.29	c cleaning 498 clauses out of 1848 for limit 1967.0391229866707
847.84/844.39	c cleaning 534 clauses out of 1850 for limit 3240.4037291482264
847.94/844.48	c cleaning 503 clauses out of 1816 for limit 5443.909470935288
848.14/844.60	c cleaning 499 clauses out of 1813 for limit 8992.59059195015
848.24/844.70	c cleaning 469 clauses out of 1814 for limit 14821.809598502956
848.34/844.82	c cleaning 497 clauses out of 1846 for limit 24043.47380610272
848.44/844.92	c cleaning 487 clauses out of 1851 for limit 39623.00445855068
848.54/845.02	c cleaning 514 clauses out of 1861 for limit 64797.73130267303
848.64/845.12	c cleaning 483 clauses out of 1847 for limit 107670.1121266615
848.74/845.24	c cleaning 484 clauses out of 1864 for limit 175943.01900498074
848.84/845.37	c cleaning 492 clauses out of 1880 for limit 287684.18344264256
849.04/845.51	c cleaning 876 clauses out of 1888 for limit 472419.40884166927
849.14/845.62	c cleaning 678 clauses out of 1513 for limit 973153.1495486981
849.24/845.76	c cleaning 635 clauses out of 1334 for limit 1818384.271568713
849.44/845.98	c cleaning 535 clauses out of 1199 for limit 3336400.6698627076
849.74/846.20	c cleaning 567 clauses out of 1164 for limit 5667614.327594202
849.84/846.37	c cleaning 527 clauses out of 1097 for limit 9917507.310082436
849.94/846.48	c cleaning 455 clauses out of 1070 for limit 1.6768000032995492E7
850.14/846.62	c cleaning 494 clauses out of 1115 for limit 2.653664798559135E7
850.24/846.76	c cleaning 507 clauses out of 1121 for limit 4.352824980312879E7
850.44/846.92	c cleaning 522 clauses out of 1114 for limit 7.223497287353821E7
850.54/847.09	c cleaning 465 clauses out of 1093 for limit 1.2153544114190906E8
850.84/847.33	c cleaning 476 clauses out of 1127 for limit 1.941871835383966E8
851.04/847.52	c cleaning 496 clauses out of 1151 for limit 3.135631670569101E8
851.24/847.74	c cleaning 501 clauses out of 1155 for limit 5.1531676134034157E8
851.44/847.98	c cleaning 468 clauses out of 1155 for limit 8.506769542474575E8
851.74/848.25	c cleaning 563 clauses out of 1186 for limit 1.3648450151130924E9
851.94/848.48	c cleaning 497 clauses out of 1124 for limit 2.3773444712742405E9
852.24/848.73	c cleaning 498 clauses out of 1126 for limit 3.9096817803695593E9
852.44/848.96	c cleaning 495 clauses out of 1128 for limit 6.436156389580596E9
852.64/849.15	c cleaning 462 clauses out of 1133 for limit 1.0567242287041557E10
852.84/849.37	c cleaning 480 clauses out of 1171 for limit 1.6861281029215347E10
853.04/849.56	c cleaning 483 clauses out of 1191 for limit 2.7339564198577015E10
853.24/849.73	c cleaning 490 clauses out of 1208 for limit 4.44521019477131E10
853.44/849.95	c cleaning 492 clauses out of 1218 for limit 7.270559529685121E10
853.64/850.16	c cleaning 605 clauses out of 1226 for limit 1.1911886311948784E11
853.84/850.36	c cleaning 528 clauses out of 1121 for limit 2.1484303775492294E11
854.04/850.57	c cleaning 484 clauses out of 1093 for limit 3.633813399900593E11
854.24/850.74	c cleaning 488 clauses out of 1109 for limit 5.90618606879182E11
854.44/850.92	c cleaning 493 clauses out of 1121 for limit 9.635825919400137E11
854.54/851.02	c cleaning 410 clauses out of 1128 for limit 1.5792153089253E12
854.64/851.16	c cleaning 457 clauses out of 1218 for limit 2.411898590717689E12
854.84/851.37	c cleaning 611 clauses out of 1261 for limit 3.841909518438762E12
855.14/851.61	c cleaning 540 clauses out of 1150 for limit 6.947367388728903E12
855.34/851.81	c cleaning 495 clauses out of 1110 for limit 1.18700080721846E13
855.34/851.87	c cleaning 504 clauses out of 1115 for limit 1.9487449946238797E13
855.54/852.05	c cleaning 486 clauses out of 1111 for limit 3.225311819939083E13
855.64/852.18	c cleaning 479 clauses out of 1126 for limit 5.253367407775726E13
855.84/852.35	c cleaning 495 clauses out of 1146 for limit 8.503797767384689E13
856.04/852.56	c cleaning 502 clauses out of 1153 for limit 1.3966678762924161E14
856.24/852.74	c cleaning 438 clauses out of 1149 for limit 2.3066902845850253E14
856.44/852.96	c cleaning 495 clauses out of 1212 for limit 3.6099159814445975E14
856.64/853.16	c cleaning 442 clauses out of 1217 for limit 5.928775733556755E14
856.84/853.37	c cleaning 482 clauses out of 1274 for limit 9.330556524262661E14
857.04/853.54	c cleaning 472 clauses out of 1292 for limit 1.5172961278877272E15
857.23/853.71	c cleaning 485 clauses out of 1320 for limit 2.4491468100831495E15
857.33/853.88	c cleaning 499 clauses out of 1335 for limit 3.9935890372208495E15
857.53/854.07	c cleaning 478 clauses out of 1336 for limit 6.58103296245446E15
857.73/854.25	c cleaning 633 clauses out of 1358 for limit 1.0677181892416349E-4
857.93/854.40	c cleaning 591 clauses out of 1225 for limit 1.95198380219207E-4
858.03/854.58	c cleaning 509 clauses out of 1134 for limit 3.477403850424635E-4
858.24/854.76	c cleaning 469 clauses out of 1125 for limit 5.780581781299513E-4
858.43/854.95	c cleaning 491 clauses out of 1157 for limit 9.278571357423353E-4
858.63/855.14	c cleaning 422 clauses out of 1165 for limit 0.0015181333501310687
858.73/855.26	c cleaning 446 clauses out of 1243 for limit 0.0023465002489165493
859.03/855.52	c cleaning 457 clauses out of 1297 for limit 0.0037085799343297876
859.24/855.74	c cleaning 457 clauses out of 1340 for limit 0.005919686518167645
859.34/855.88	c cleaning 490 clauses out of 1383 for limit 0.009458825514487904
859.53/856.00	c cleaning 513 clauses out of 1393 for limit 0.015486888260093196
859.63/856.15	c cleaning 494 clauses out of 1380 for limit 0.025780544276707697
859.83/856.34	c cleaning 516 clauses out of 1386 for limit 0.04233151630092813
859.93/856.48	c cleaning 509 clauses out of 1371 for limit 0.07064476736209888
860.13/856.64	c cleaning 509 clauses out of 1361 for limit 0.11724132126511495
860.34/856.83	c cleaning 479 clauses out of 1352 for limit 0.1946336937449638
860.44/856.97	c cleaning 488 clauses out of 1373 for limit 0.31606766360356897
860.63/857.17	c cleaning 543 clauses out of 1385 for limit 0.5167217197541026
860.83/857.36	c cleaning 483 clauses out of 1342 for limit 0.8794473842863065
861.03/857.53	c cleaning 480 clauses out of 1361 for limit 1.4329438165017703
861.23/857.74	c cleaning 507 clauses out of 1379 for limit 2.3276082358838717
861.44/857.96	c cleaning 502 clauses out of 1372 for limit 3.858121737131616
861.63/858.16	c cleaning 494 clauses out of 1371 for limit 6.3735732641875416
861.73/858.27	c cleaning 495 clauses out of 1377 for limit 10.465075934614672
861.93/858.42	c cleaning 490 clauses out of 1381 for limit 17.191114022174627
862.13/858.63	c cleaning 501 clauses out of 1391 for limit 28.146633388032054
862.33/858.82	c cleaning 504 clauses out of 1390 for limit 46.4509577769385
862.43/858.94	c cleaning 501 clauses out of 1386 for limit 76.82492238546756
862.64/859.14	c cleaning 510 clauses out of 1385 for limit 126.78605069493436
862.83/859.34	c cleaning 478 clauses out of 1375 for limit 210.60779261203706
863.03/859.52	c cleaning 476 clauses out of 1399 for limit 342.0458539204301
863.13/859.69	c cleaning 529 clauses out of 1421 for limit 554.2361262223312
863.33/859.86	c cleaning 496 clauses out of 1392 for limit 933.0513814506596
863.53/860.04	c cleaning 485 clauses out of 1396 for limit 1534.3175907985558
863.74/860.25	c cleaning 457 clauses out of 1411 for limit 2503.3960102965525
863.83/860.38	c cleaning 488 clauses out of 1456 for limit 4008.852756509408
863.93/860.48	c cleaning 496 clauses out of 1466 for limit 6552.912564750115
864.13/860.66	c cleaning 532 clauses out of 1470 for limit 10777.223657804423
864.23/860.79	c cleaning 503 clauses out of 1438 for limit 18168.59029031469
864.43/860.96	c cleaning 553 clauses out of 1435 for limit 30025.075178151055
864.63/861.16	c cleaning 501 clauses out of 1383 for limit 51428.54330096932
864.84/861.34	c cleaning 492 clauses out of 1381 for limit 84850.44024558378
864.93/861.48	c cleaning 504 clauses out of 1389 for limit 139123.7963004153
865.13/861.63	c cleaning 509 clauses out of 1385 for limit 230096.37630166294
865.33/861.83	c cleaning 507 clauses out of 1376 for limit 381941.6374822529
865.53/862.03	c cleaning 491 clauses out of 1369 for limit 633093.5347656697
865.73/862.24	c cleaning 504 clauses out of 1378 for limit 1037236.9896106353
865.94/862.45	c cleaning 483 clauses out of 1374 for limit 1715522.3003791673
866.13/862.69	c cleaning 562 clauses out of 1391 for limit 2794549.8277808554
866.33/862.88	c cleaning 447 clauses out of 1330 for limit 4824782.557933631
866.53/863.07	c cleaning 496 clauses out of 1382 for limit 7649670.319416031
866.73/863.23	c cleaning 466 clauses out of 1386 for limit 1.2578921833349137E7
866.94/863.42	c cleaning 474 clauses out of 1421 for limit 2.0253634553210337E7
867.13/863.62	c cleaning 527 clauses out of 1446 for limit 3.279065785716818E7
867.33/863.81	c cleaning 565 clauses out of 1419 for limit 5.510511514752529E7
867.53/864.02	c cleaning 476 clauses out of 1354 for limit 9.523827756250064E7
867.63/864.18	c cleaning 478 clauses out of 1378 for limit 1.5432520627611074E8
867.83/864.39	c cleaning 687 clauses out of 1400 for limit 2.5050357895680615E8
868.14/864.63	c cleaning 555 clauses out of 1213 for limit 4.768008894118908E8
868.33/864.85	c cleaning 472 clauses out of 1158 for limit 8.236547082741117E8
868.53/865.06	c cleaning 506 clauses out of 1186 for limit 1.326248612966696E9
868.73/865.24	c cleaning 484 clauses out of 1180 for limit 2.198282544732805E9
868.93/865.45	c cleaning 524 clauses out of 1196 for limit 3.576763508984494E9
869.14/865.67	c cleaning 387 clauses out of 1172 for limit 6.019351172818966E9
869.33/865.84	c cleaning 423 clauses out of 1285 for limit 9.053782394219257E9
869.53/866.02	c cleaning 469 clauses out of 1362 for limit 1.4086787367406893E10
869.73/866.23	c cleaning 439 clauses out of 1393 for limit 2.271401129280916E10
869.93/866.40	c cleaning 469 clauses out of 1454 for limit 3.5886940470659164E10
870.03/866.55	c cleaning 479 clauses out of 1485 for limit 5.7946908912624664E10
870.24/866.71	c cleaning 730 clauses out of 1506 for limit 9.422966409138081E10
870.43/866.91	c cleaning 446 clauses out of 1276 for limit 1.8340781096384564E11
870.63/867.12	c cleaning 465 clauses out of 1330 for limit 2.9018352224908435E11
870.73/867.24	c cleaning 455 clauses out of 1365 for limit 4.6628089829080743E11
870.73/867.29	c cleaning 688 clauses out of 1410 for limit 7.444183160574014E11
870.83/867.37	c cleaning 556 clauses out of 1222 for limit 1.4165139111684253E12
870.93/867.48	c cleaning 581 clauses out of 1166 for limit 2.4482140527023027E12
871.13/867.61	c cleaning 407 clauses out of 1087 for limit 4.3395360778974644E12
871.13/867.69	c cleaning 575 clauses out of 1178 for limit 6.590440150418564E12
871.34/867.84	c cleaning 476 clauses out of 1104 for limit 1.1608631792544758E13
871.44/867.99	c cleaning 406 clauses out of 1130 for limit 1.8741164675066508E13
871.63/868.19	c cleaning 505 clauses out of 1221 for limit 2.8517516925018164E13
871.93/868.41	c cleaning 448 clauses out of 1216 for limit 4.72225770609574E13
872.03/868.56	c cleaning 414 clauses out of 1268 for limit 7.468267967395708E13
872.13/868.67	c cleaning 445 clauses out of 1354 for limit 1.1533904963025689E14
872.33/868.81	c cleaning 483 clauses out of 1409 for limit 1.8278473643051725E14
872.44/869.00	c cleaning 469 clauses out of 1426 for limit 2.9784292031963E14
872.73/869.23	c cleaning 483 clauses out of 1457 for limit 4.8073212201541525E14
872.93/869.46	c cleaning 487 clauses out of 1474 for limit 7.836481225489571E14
873.13/869.65	c cleaning 525 clauses out of 1487 for limit 1.2810423857937182E15
873.33/869.83	c cleaning 716 clauses out of 1462 for limit 2.148735615554607E15
873.43/869.97	c cleaning 520 clauses out of 1246 for limit 4.1578440849048245E15
873.54/870.07	c cleaning 569 clauses out of 1226 for limit 6.968698236996986E-5
873.64/870.16	c cleaning 492 clauses out of 1157 for limit 1.2177682787518068E-4
873.73/870.28	c cleaning 388 clauses out of 1168 for limit 1.9953293719897203E-4
873.83/870.37	c cleaning 519 clauses out of 1277 for limit 3.0006745356261645E-4
873.93/870.49	c cleaning 357 clauses out of 1260 for limit 5.025325018484737E-4
874.13/870.64	c cleaning 459 clauses out of 1401 for limit 7.438466796595647E-4
874.23/870.76	c cleaning 429 clauses out of 1442 for limit 0.0011918241757189723
874.33/870.89	c cleaning 513 clauses out of 1513 for limit 0.0018732442580442848
874.53/871.04	c cleaning 511 clauses out of 1500 for limit 0.0031160037096054478
874.74/871.21	c cleaning 510 clauses out of 1489 for limit 0.0051766692095277555
874.93/871.41	c cleaning 508 clauses out of 1479 for limit 0.00859474161788669
875.03/871.51	c cleaning 496 clauses out of 1471 for limit 0.014250963028442178
875.13/871.61	c cleaning 501 clauses out of 1479 for limit 0.023468354846532015
875.33/871.81	c cleaning 600 clauses out of 1473 for limit 0.03870489675223697
875.53/872.05	c cleaning 556 clauses out of 1373 for limit 0.06847846392522092
1774.37/1769.31	c cleaning 325125 clauses out of 651317 for limit 0.06466133505082723
1776.18/1771.13	c cleaning 162886 clauses out of 326689 for limit 0.21196049309227297
1776.98/1771.96	c cleaning 80971 clauses out of 164306 for limit 0.6971005607017428
1777.48/1772.46	c cleaning 40448 clauses out of 83832 for limit 2.24642218455344
1777.88/1772.89	c cleaning 20515 clauses out of 43884 for limit 7.077027567223727
1778.28/1773.22	c cleaning 10458 clauses out of 23869 for limit 21.457481968545277
1778.58/1773.56	c cleaning 5589 clauses out of 13911 for limit 60.71702963728304
1778.78/1773.70	c cleaning 3060 clauses out of 8823 for limit 158.03125435476096
1778.88/1773.82	c cleaning 1750 clauses out of 6262 for limit 366.8323081574464
1778.98/1773.96	c cleaning 1165 clauses out of 5012 for limit 755.8323333450185
1779.08/1774.09	c cleaning 803 clauses out of 4347 for limit 1437.1522381426296
1779.28/1774.22	c cleaning 710 clauses out of 4045 for limit 2549.554433013185
1779.38/1774.33	c cleaning 583 clauses out of 3834 for limit 4431.513546673564
1779.48/1774.46	c cleaning 485 clauses out of 3751 for limit 7469.869464886662
1779.68/1774.60	c cleaning 536 clauses out of 3766 for limit 12269.748140536969
1779.78/1774.73	c cleaning 514 clauses out of 3732 for limit 20459.69895896963
1779.88/1774.86	c cleaning 436 clauses out of 3716 for limit 33818.32025186538
1779.98/1774.98	c cleaning 514 clauses out of 3781 for limit 54867.03090182609
1780.18/1775.14	c cleaning 537 clauses out of 3767 for limit 90819.35294836936
1780.28/1775.25	c cleaning 524 clauses out of 3729 for limit 151148.21248654765
1780.38/1775.34	c cleaning 521 clauses out of 3705 for limit 250878.28577901312
1780.48/1775.45	c cleaning 517 clauses out of 3684 for limit 416090.2614866282
1780.58/1775.56	c cleaning 496 clauses out of 3667 for limit 689369.6349882301
1780.68/1775.67	c cleaning 854 clauses out of 3672 for limit 1136451.1857736588
1780.78/1775.78	c cleaning 342 clauses out of 3318 for limit 2074115.6287178786
1780.88/1775.90	c cleaning 391 clauses out of 3477 for limit 3267345.448149084
1781.08/1776.01	c cleaning 423 clauses out of 3584 for limit 5216973.21426999
1781.18/1776.15	c cleaning 512 clauses out of 3661 for limit 8422533.868441831
1781.28/1776.26	c cleaning 575 clauses out of 3649 for limit 1.3935562985630032E7
1781.38/1776.38	c cleaning 479 clauses out of 3576 for limit 2.3497723134309024E7
1781.48/1776.47	c cleaning 478 clauses out of 3595 for limit 3.8469032262896225E7
1781.58/1776.57	c cleaning 467 clauses out of 3617 for limit 6.3054710225382835E7
1781.78/1776.71	c cleaning 481 clauses out of 3652 for limit 1.0319536337573175E8
1781.88/1776.84	c cleaning 504 clauses out of 3670 for limit 1.6917892634601903E8
1781.98/1776.95	c cleaning 475 clauses out of 3665 for limit 2.790999283485365E8
1782.08/1777.06	c cleaning 507 clauses out of 3690 for limit 4.571547376009864E8
1782.18/1777.17	c cleaning 494 clauses out of 3683 for limit 7.553422178869959E8
1782.38/1777.32	c cleaning 496 clauses out of 3689 for limit 1.2436343521063087E9
1782.48/1777.43	c cleaning 468 clauses out of 3693 for limit 2.0486980041968763E9
1782.58/1777.53	c cleaning 492 clauses out of 3725 for limit 3.349553060977883E9
1782.68/1777.63	c cleaning 495 clauses out of 3733 for limit 5.512023190589984E9
1782.78/1777.74	c cleaning 511 clauses out of 3738 for limit 9.077904632938004E9
1782.88/1777.88	c cleaning 510 clauses out of 3727 for limit 1.501486415356605E10
1783.08/1778.01	c cleaning 509 clauses out of 3717 for limit 2.4828136590009575E10
1783.18/1778.14	c cleaning 995 clauses out of 3709 for limit 4.1074307727634254E10
1783.28/1778.25	c cleaning 1585 clauses out of 3213 for limit 7.811559327691235E10
1783.38/1778.36	c cleaning 406 clauses out of 2128 for limit 1.945058753773299E11
1783.48/1778.48	c cleaning 316 clauses out of 2222 for limit 3.071964414090659E11
1783.58/1778.57	c cleaning 193 clauses out of 2406 for limit 4.678649368111709E11
1783.68/1778.66	c cleaning 467 clauses out of 2713 for limit 6.842616737159352E11
1783.88/1778.80	c cleaning 325 clauses out of 2747 for limit 1.1155877801320789E12
1783.98/1778.90	c cleaning 188 clauses out of 2921 for limit 1.7284317132729036E12
1784.08/1779.02	c cleaning 514 clauses out of 3233 for limit 2.5753363957326133E12
1784.18/1779.14	c cleaning 258 clauses out of 3220 for limit 4.2684893012177666E12
1784.28/1779.26	c cleaning 361 clauses out of 3461 for limit 6.542592099120825E12
1784.38/1779.38	c cleaning 747 clauses out of 3600 for limit 1.037301080773376E13
1784.58/1779.51	c cleaning 384 clauses out of 3353 for limit 1.8366637934579266E13
1784.68/1779.60	c cleaning 397 clauses out of 3470 for limit 2.9297066858097133E13
1784.78/1779.71	c cleaning 444 clauses out of 3574 for limit 4.695582415529453E13
1784.88/1779.83	c cleaning 463 clauses out of 3630 for limit 7.6241823990098E13
1784.98/1779.93	c cleaning 486 clauses out of 3668 for limit 1.2455494506680223E14
1785.08/1780.05	c cleaning 486 clauses out of 3679 for limit 2.0417984292616256E14
1785.18/1780.19	c cleaning 517 clauses out of 3693 for limit 3.3544338548925475E14
1785.37/1780.31	c cleaning 1698 clauses out of 3676 for limit 5.557493002100894E14
1785.47/1780.40	c cleaning 360 clauses out of 2478 for limit 1.3595932889204665E15
1785.57/1780.51	c cleaning 1196 clauses out of 2619 for limit 2.1235633169062885E-5
1785.67/1780.61	c cleaning 479 clauses out of 1922 for limit 4.7672585346647834E-5
1785.77/1780.71	c cleaning 467 clauses out of 1944 for limit 7.780656211902535E-5
1785.88/1780.82	c cleaning 406 clauses out of 1976 for limit 1.2610924395179822E-4
1785.98/1780.93	c cleaning 355 clauses out of 2072 for limit 1.9873255760167303E-4
1786.07/1781.04	c cleaning 171 clauses out of 2219 for limit 3.066382877337651E-4
1786.17/1781.16	c cleaning 63 clauses out of 2544 for limit 4.393234812312532E-4
1786.37/1781.31	c cleaning 162 clauses out of 2981 for limit 6.182945726071838E-4
1786.47/1781.43	c cleaning 335 clauses out of 3320 for limit 9.164520043454089E-4
1786.57/1781.57	c cleaning 418 clauses out of 3484 for limit 0.0014387688878200555
1786.77/1781.71	c cleaning 450 clauses out of 3566 for limit 0.002318161733264252
1786.87/1781.86	c cleaning 467 clauses out of 3616 for limit 0.0037700971069852675
1786.98/1781.99	c cleaning 493 clauses out of 3649 for limit 0.006161167019483388
1787.17/1782.11	c cleaning 502 clauses out of 3658 for limit 0.010155891553986643
1787.27/1782.26	c cleaning 498 clauses out of 3655 for limit 0.016745408628871365
1787.37/1782.36	c cleaning 494 clauses out of 3656 for limit 0.027580257672575385
1787.57/1782.51	c cleaning 493 clauses out of 3665 for limit 0.0455082305633559
1787.67/1782.65	c cleaning 485 clauses out of 3669 for limit 0.0747426632428859
1787.87/1782.84	c cleaning 502 clauses out of 3684 for limit 0.12275877496900064
1788.08/1783.02	c cleaning 511 clauses out of 3682 for limit 0.2025556073409772
1788.18/1783.18	c cleaning 492 clauses out of 3673 for limit 0.33553052518640286
1788.37/1783.30	c cleaning 501 clauses out of 3679 for limit 0.551327988931884
1788.47/1783.41	c cleaning 511 clauses out of 3681 for limit 0.9114512257315486
1788.57/1783.54	c cleaning 504 clauses out of 3667 for limit 1.5043216036901035
1788.67/1783.65	c cleaning 505 clauses out of 3663 for limit 2.483536635443158
1788.77/1783.78	c cleaning 489 clauses out of 3658 for limit 4.101282409520076
1788.97/1783.94	c cleaning 499 clauses out of 3669 for limit 6.743285567029939
1789.07/1784.10	c cleaning 499 clauses out of 3670 for limit 11.117549869845927
1789.28/1784.23	c cleaning 496 clauses out of 3671 for limit 18.329332646020653
1789.37/1784.39	c cleaning 504 clauses out of 3676 for limit 30.216623519019805
1789.57/1784.54	c cleaning 524 clauses out of 3673 for limit 49.92187709267976
1789.77/1784.70	c cleaning 500 clauses out of 3648 for limit 82.80916026192693
1789.87/1784.85	c cleaning 490 clauses out of 3647 for limit 136.46422785709828
1790.07/1785.00	c cleaning 485 clauses out of 3658 for limit 224.59562033763046
1790.17/1785.12	c cleaning 470 clauses out of 3672 for limit 368.607092195667
1790.28/1785.26	c cleaning 495 clauses out of 3702 for limit 602.9562929011396
1790.38/1785.35	c cleaning 488 clauses out of 3707 for limit 993.0144026544199
1790.47/1785.48	c cleaning 493 clauses out of 3719 for limit 1632.3295481313137
1790.67/1785.62	c cleaning 513 clauses out of 3726 for limit 2686.87249165818
1790.77/1785.76	c cleaning 501 clauses out of 3713 for limit 4446.526094953579
1790.87/1785.87	c cleaning 491 clauses out of 3715 for limit 7350.999595081005
1791.07/1786.02	c cleaning 507 clauses out of 3721 for limit 12066.960707658543
1791.17/1786.18	c cleaning 486 clauses out of 3714 for limit 19937.53928858593
1791.38/1786.36	c cleaning 493 clauses out of 3728 for limit 32756.194329527694
1791.57/1786.54	c cleaning 497 clauses out of 3735 for limit 53918.105416902865
1791.77/1786.71	c cleaning 491 clauses out of 3740 for limit 88977.15965240478
1791.87/1786.87	c cleaning 484 clauses out of 3748 for limit 146275.61516246942
1792.07/1787.07	c cleaning 504 clauses out of 3763 for limit 240026.2125673791
1792.27/1787.28	c cleaning 534 clauses out of 3759 for limit 396256.5481005512
1792.48/1787.42	c cleaning 1861 clauses out of 3727 for limit 660410.9955717552
1792.58/1787.52	c cleaning 693 clauses out of 2371 for limit 1720563.0031275747
1792.67/1787.62	c cleaning 283 clauses out of 2172 for limit 3078868.4233620497
1792.77/1787.73	c cleaning 388 clauses out of 2389 for limit 4616264.531065101
1792.87/1787.85	c cleaning 345 clauses out of 2501 for limit 7271919.0002008965
1792.97/1787.95	c cleaning 392 clauses out of 2657 for limit 1.1299560944225347E7
1793.07/1788.08	c cleaning 294 clauses out of 2763 for limit 1.788377106944383E7
1793.17/1788.20	c cleaning 381 clauses out of 2969 for limit 2.7446418185130253E7
1793.37/1788.31	c cleaning 348 clauses out of 3088 for limit 4.3518555257719874E7
1793.47/1788.44	c cleaning 278 clauses out of 3240 for limit 6.840102938089976E7
1800.08/1795.01	c starts		: 22
1800.08/1795.01	c conflicts		: 1469517
1800.08/1795.01	c decisions		: 7270183
1800.08/1795.01	c propagations		: 1240401962
1800.08/1795.01	c inspects		: 7698159466
1800.08/1795.01	c learnt literals	: 26
1800.08/1795.01	c learnt binary clauses	: 100652
1800.08/1795.01	c learnt ternary clauses	: 75471
1800.08/1795.01	c learnt clauses	: 1469491
1800.08/1795.01	c root simplifications	: 0
1800.08/1795.01	c removed literals (reason simplification)	: 0
1800.08/1795.01	c reason swapping (by a shorter reason)	: 0
1800.08/1795.01	c Calls to reduceDB	: 416
1800.08/1795.01	c speed (decisions/second)	: 4051.6813218291513
1800.08/1795.01	c non guided choices	6854
1800.08/1795.01	s UNKNOWN
1800.08/1795.01	c Total wall clock time (ms): 1794.896

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 1/175 18315
/proc/meminfo: memFree=26521640/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (java) D 18313 18315 17886 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 343199040 9515008 183 33554432000 1073741824 1073778376 140733685085424 140733685076456 223651643061 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/18315/statm: 2323 183 140 9 0 71 0

[startup+0.0546099 s]
/proc/loadavg: 2.03 2.01 2.00 1/175 18315
/proc/meminfo: memFree=26521640/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 3928 0 1 0 2 1 0 0 20 0 13 0 343199040 2686889984 5135 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 655979 5135 1697 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.10033 s]
/proc/loadavg: 2.03 2.01 2.00 1/175 18315
/proc/meminfo: memFree=26521640/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 4132 0 1 0 6 1 0 0 20 0 18 0 343199040 3028844544 5849 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 739464 5849 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300296 s]
/proc/loadavg: 2.03 2.01 2.00 1/175 18315
/proc/meminfo: memFree=26521640/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 8185 0 1 0 49 2 0 0 20 0 18 0 343199040 3028844544 11496 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 739464 11496 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856

[startup+0.700325 s]
/proc/loadavg: 2.03 2.01 2.00 1/175 18315
/proc/meminfo: memFree=26521640/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 9856 0 1 0 139 5 0 0 20 0 19 0 343199040 3097006080 33068 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 756105 33068 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 3024420

[startup+1.50072 s]
/proc/loadavg: 1.94 1.99 1.99 2/193 18334
/proc/meminfo: memFree=26398164/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 10108 0 1 0 241 5 0 0 20 0 19 0 343199040 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 756105 33072 2273 9 0 746526 0
[pid=18315/tid=18317] ppid=18313 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/18315/task/18317/stat : 18317 (java) R 18313 18315 17886 0 -1 4202560 3085 0 1 0 142 4 0 0 20 0 19 0 343199041 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554734088536 140554567260075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18318] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18318/stat : 18318 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554717514408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18319] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18319/stat : 18319 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554716461864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18320] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18320/stat : 18320 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554715409320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18321] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18321/stat : 18321 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554714356776 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18322] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18322/stat : 18322 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554713303208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18323] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18323/stat : 18323 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554712250664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18324] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18324/stat : 18324 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554711198120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18325] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18325/stat : 18325 (java) S 18313 18315 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554710145576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18326] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18326/stat : 18326 (java) S 18313 18315 17886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554697734760 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18327] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18327/stat : 18327 (java) S 18313 18315 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554696681080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18328] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18328/stat : 18328 (java) S 18313 18315 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554695628424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18329] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18329/stat : 18329 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554694577168 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18330] ppid=18313 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18315/task/18330/stat : 18330 (java) S 18313 18315 17886 0 -1 4202560 3211 0 0 0 52 0 0 0 20 0 19 0 343199047 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554693523512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18331] ppid=18313 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18315/task/18331/stat : 18331 (java) S 18313 18315 17886 0 -1 4202560 2612 0 0 0 44 0 0 0 20 0 19 0 343199047 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554692470968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18332] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18332/stat : 18332 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554691418616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18333] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18333/stat : 18333 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554690366280 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18334] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18334/stat : 18334 (java) S 18313 18315 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199105 3097006080 33072 33554432000 1073741824 1073778376 140736262021744 140554688165160 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 3024420

[startup+3.10077 s]
/proc/loadavg: 1.94 1.99 1.99 2/190 18356
/proc/meminfo: memFree=26397752/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=3024420 CPUtime=4.07 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 10111 0 1 0 402 5 0 0 20 0 19 0 343199040 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 756105 33585 2273 9 0 746526 0
[pid=18315/tid=18317] ppid=18313 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/18315/task/18317/stat : 18317 (java) R 18313 18315 17886 0 -1 4202560 3087 0 1 0 302 4 0 0 20 0 19 0 343199041 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554734088600 140554567228194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18318] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18318/stat : 18318 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554717514408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18319] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18319/stat : 18319 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554716461864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18320] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18320/stat : 18320 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554715409320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18321] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18321/stat : 18321 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554714356776 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18322] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18322/stat : 18322 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554713303208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18323] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18323/stat : 18323 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554712250664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18324] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18324/stat : 18324 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554711198120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18325] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18325/stat : 18325 (java) S 18313 18315 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554710145576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18326] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18326/stat : 18326 (java) S 18313 18315 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554697734760 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18327] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18327/stat : 18327 (java) S 18313 18315 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554696681080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18328] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18328/stat : 18328 (java) S 18313 18315 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554695628424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18329] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18329/stat : 18329 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554694577168 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18330] ppid=18313 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/18315/task/18330/stat : 18330 (java) S 18313 18315 17886 0 -1 4202560 3211 0 0 0 53 0 0 0 20 0 19 0 343199047 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554693523512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18331] ppid=18313 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18315/task/18331/stat : 18331 (java) S 18313 18315 17886 0 -1 4202560 2612 0 0 0 44 0 0 0 20 0 19 0 343199047 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554692470968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18332] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18332/stat : 18332 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554691418616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18333] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18333/stat : 18333 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554690366280 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18334] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18334/stat : 18334 (java) S 18313 18315 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199105 3097006080 33585 33554432000 1073741824 1073778376 140736262021744 140554688165160 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 18390
/proc/meminfo: memFree=26276448/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=3024420 CPUtime=7.31 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 10116 0 1 0 726 5 0 0 20 0 19 0 343199040 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 756105 35071 2273 9 0 746526 0
[pid=18315/tid=18317] ppid=18313 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/18315/task/18317/stat : 18317 (java) R 18313 18315 17886 0 -1 4202560 3092 0 1 0 621 4 0 0 20 0 19 0 343199041 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554734088672 140554566434850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18318] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18318/stat : 18318 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554717514408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18319] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18319/stat : 18319 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554716461864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18320] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18320/stat : 18320 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554715409320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18321] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18321/stat : 18321 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554714356776 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18322] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18322/stat : 18322 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554713303208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18323] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18323/stat : 18323 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554712250664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18324] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18324/stat : 18324 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554711198120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18325] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18325/stat : 18325 (java) S 18313 18315 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343199042 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554710145576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18326] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18326/stat : 18326 (java) S 18313 18315 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554697734760 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18327] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18327/stat : 18327 (java) S 18313 18315 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554696681080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18328] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18328/stat : 18328 (java) S 18313 18315 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554695628424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18329] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18329/stat : 18329 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554694577168 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18330] ppid=18313 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/18315/task/18330/stat : 18330 (java) S 18313 18315 17886 0 -1 4202560 3211 0 0 0 56 0 0 0 20 0 19 0 343199047 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554693523512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18331] ppid=18313 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/18315/task/18331/stat : 18331 (java) S 18313 18315 17886 0 -1 4202560 2612 0 0 0 46 0 0 0 20 0 19 0 343199047 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554692470968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18332] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18332/stat : 18332 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554691418616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18333] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18333/stat : 18333 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554690366280 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18334] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18334/stat : 18334 (java) S 18313 18315 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199105 3097006080 35071 33554432000 1073741824 1073778376 140736262021744 140554688165160 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=18315/tid=18323] ppid=18313 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/18315/task/18323/stat : 18323 (java) S 18313 18315 17886 0 -1 4202560 107 0 0 0 22 8 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554712250664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18324] ppid=18313 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/18315/task/18324/stat : 18324 (java) S 18313 18315 17886 0 -1 4202560 146 0 0 0 17 12 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554711198120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18325] ppid=18313 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/18315/task/18325/stat : 18325 (java) S 18313 18315 17886 0 -1 4202560 324 0 0 0 40 26 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554710145576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18326] ppid=18313 vsize=3024420 CPUtime=1.89 cores=1,3,5,7
/proc/18315/task/18326/stat : 18326 (java) S 18313 18315 17886 0 -1 4202560 245 0 0 0 179 10 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554697734760 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18327] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18327/stat : 18327 (java) S 18313 18315 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554696681080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18328] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18328/stat : 18328 (java) S 18313 18315 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554695628424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18329] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18329/stat : 18329 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554694577168 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18330] ppid=18313 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/18315/task/18330/stat : 18330 (java) S 18313 18315 17886 0 -1 4202560 3223 0 0 0 61 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554693523512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18331] ppid=18313 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18315/task/18331/stat : 18331 (java) S 18313 18315 17886 0 -1 4202560 2618 0 0 0 52 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554692470968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18332] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18332/stat : 18332 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554691418616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18333] ppid=18313 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/18315/task/18333/stat : 18333 (java) S 18313 18315 17886 0 -1 4202560 95 0 0 0 51 47 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554690366280 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18334] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18334/stat : 18334 (java) S 18313 18315 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199105 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554688165160 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1667.33
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 18429
/proc/meminfo: memFree=23175828/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=3024420 CPUtime=1727.36 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 12671 0 1 0 172522 214 0 0 20 0 19 0 343199040 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 756105 420270 2302 9 0 746526 0
[pid=18315/tid=18317] ppid=18313 vsize=3024420 CPUtime=1718.9 cores=1,3,5,7
/proc/18315/task/18317/stat : 18317 (java) R 18313 18315 17886 0 -1 4202560 3253 0 1 0 171854 36 0 0 20 0 19 0 343199041 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554734087456 140554567174890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18318] ppid=18313 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/18315/task/18318/stat : 18318 (java) S 18313 18315 17886 0 -1 4202560 144 0 0 0 24 11 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554717514408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18319] ppid=18313 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18315/task/18319/stat : 18319 (java) S 18313 18315 17886 0 -1 4202560 207 0 0 0 25 15 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554716461864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18320] ppid=18313 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18315/task/18320/stat : 18320 (java) S 18313 18315 17886 0 -1 4202560 130 0 0 0 29 11 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554715409320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18321] ppid=18313 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/18315/task/18321/stat : 18321 (java) S 18313 18315 17886 0 -1 4202560 421 0 0 0 46 32 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554714356776 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18322] ppid=18313 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/18315/task/18322/stat : 18322 (java) S 18313 18315 17886 0 -1 4202560 566 0 0 0 34 17 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554713303208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18323] ppid=18313 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/18315/task/18323/stat : 18323 (java) S 18313 18315 17886 0 -1 4202560 107 0 0 0 22 8 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554712250664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18324] ppid=18313 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/18315/task/18324/stat : 18324 (java) S 18313 18315 17886 0 -1 4202560 146 0 0 0 17 12 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554711198120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18325] ppid=18313 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/18315/task/18325/stat : 18325 (java) S 18313 18315 17886 0 -1 4202560 324 0 0 0 40 26 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554710145576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18326] ppid=18313 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/18315/task/18326/stat : 18326 (java) S 18313 18315 17886 0 -1 4202560 247 0 0 0 235 10 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554697734760 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18327] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18327/stat : 18327 (java) S 18313 18315 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554696681080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18328] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18328/stat : 18328 (java) S 18313 18315 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554695628424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18329] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18329/stat : 18329 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554694577168 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18330] ppid=18313 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/18315/task/18330/stat : 18330 (java) S 18313 18315 17886 0 -1 4202560 3223 0 0 0 61 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554693523512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18331] ppid=18313 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18315/task/18331/stat : 18331 (java) S 18313 18315 17886 0 -1 4202560 2618 0 0 0 52 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554692470968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18332] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18332/stat : 18332 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554691418616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18333] ppid=18313 vsize=3024420 CPUtime=1.02 cores=1,3,5,7
/proc/18315/task/18333/stat : 18333 (java) S 18313 18315 17886 0 -1 4202560 99 0 0 0 53 49 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554690366280 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18334] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18334/stat : 18334 (java) S 18313 18315 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199105 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554688165160 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.36
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 18429
/proc/meminfo: memFree=23175580/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=3024420 CPUtime=1787.37 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 12675 0 1 0 178522 215 0 0 20 0 19 0 343199040 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 756105 420270 2302 9 0 746526 0
[pid=18315/tid=18317] ppid=18313 vsize=3024420 CPUtime=1778.9 cores=1,3,5,7
/proc/18315/task/18317/stat : 18317 (java) R 18313 18315 17886 0 -1 4202560 3253 0 1 0 177853 37 0 0 20 0 19 0 343199041 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554734079840 140554567223824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18318] ppid=18313 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/18315/task/18318/stat : 18318 (java) S 18313 18315 17886 0 -1 4202560 144 0 0 0 24 11 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554717514408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18319] ppid=18313 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18315/task/18319/stat : 18319 (java) S 18313 18315 17886 0 -1 4202560 207 0 0 0 25 15 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554716461864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18320] ppid=18313 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18315/task/18320/stat : 18320 (java) S 18313 18315 17886 0 -1 4202560 130 0 0 0 29 11 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554715409320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18321] ppid=18313 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/18315/task/18321/stat : 18321 (java) S 18313 18315 17886 0 -1 4202560 421 0 0 0 46 32 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554714356776 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18322] ppid=18313 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/18315/task/18322/stat : 18322 (java) S 18313 18315 17886 0 -1 4202560 566 0 0 0 34 17 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554713303208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18323] ppid=18313 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/18315/task/18323/stat : 18323 (java) S 18313 18315 17886 0 -1 4202560 107 0 0 0 22 8 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554712250664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18324] ppid=18313 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/18315/task/18324/stat : 18324 (java) S 18313 18315 17886 0 -1 4202560 146 0 0 0 17 12 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554711198120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18325] ppid=18313 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/18315/task/18325/stat : 18325 (java) S 18313 18315 17886 0 -1 4202560 324 0 0 0 40 26 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554710145576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18326] ppid=18313 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/18315/task/18326/stat : 18326 (java) S 18313 18315 17886 0 -1 4202560 247 0 0 0 235 10 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554697734760 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18327] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18327/stat : 18327 (java) S 18313 18315 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554696681080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18328] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18328/stat : 18328 (java) S 18313 18315 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554695628424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18329] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18329/stat : 18329 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554694577168 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18330] ppid=18313 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/18315/task/18330/stat : 18330 (java) S 18313 18315 17886 0 -1 4202560 3223 0 0 0 61 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554693523512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18331] ppid=18313 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18315/task/18331/stat : 18331 (java) S 18313 18315 17886 0 -1 4202560 2618 0 0 0 52 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554692470968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18332] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18332/stat : 18332 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554691418616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18333] ppid=18313 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/18315/task/18333/stat : 18333 (java) S 18313 18315 17886 0 -1 4202560 103 0 0 0 55 50 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554690366280 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18334] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18334/stat : 18334 (java) S 18313 18315 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199105 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554688165160 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.37
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 18429
/proc/meminfo: memFree=23175580/32873844 swapFree=7628/7628
[pid=18315] ppid=18313 vsize=3024420 CPUtime=1800.08 cores=1,3,5,7
/proc/18315/stat : 18315 (java) S 18313 18315 17886 0 -1 4202496 12678 0 1 0 179793 215 0 0 20 0 19 0 343199040 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140736262012880 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18315/statm: 756105 420270 2302 9 0 746526 0
[pid=18315/tid=18317] ppid=18313 vsize=3024420 CPUtime=1791.42 cores=1,3,5,7
/proc/18315/task/18317/stat : 18317 (java) R 18313 18315 17886 0 -1 4202560 3254 0 1 0 179105 37 0 0 20 0 19 0 343199041 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554734087456 140554567175464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18318] ppid=18313 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/18315/task/18318/stat : 18318 (java) S 18313 18315 17886 0 -1 4202560 144 0 0 0 24 11 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554717514408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18319] ppid=18313 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18315/task/18319/stat : 18319 (java) S 18313 18315 17886 0 -1 4202560 207 0 0 0 25 15 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554716461864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18320] ppid=18313 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18315/task/18320/stat : 18320 (java) S 18313 18315 17886 0 -1 4202560 130 0 0 0 29 11 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554715409320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18321] ppid=18313 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/18315/task/18321/stat : 18321 (java) S 18313 18315 17886 0 -1 4202560 421 0 0 0 46 32 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554714356776 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18322] ppid=18313 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/18315/task/18322/stat : 18322 (java) S 18313 18315 17886 0 -1 4202560 566 0 0 0 34 17 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554713303208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18323] ppid=18313 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/18315/task/18323/stat : 18323 (java) S 18313 18315 17886 0 -1 4202560 107 0 0 0 22 8 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554712250664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18324] ppid=18313 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/18315/task/18324/stat : 18324 (java) S 18313 18315 17886 0 -1 4202560 146 0 0 0 17 12 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554711198120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18315/tid=18325] ppid=18313 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/18315/task/18325/stat : 18325 (java) S 18313 18315 17886 0 -1 4202560 324 0 0 0 40 26 0 0 20 0 19 0 343199042 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554710145576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18326] ppid=18313 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/18315/task/18326/stat : 18326 (java) S 18313 18315 17886 0 -1 4202560 249 0 0 0 253 10 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554697734760 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18327] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18327/stat : 18327 (java) S 18313 18315 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554696681080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18328] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18328/stat : 18328 (java) S 18313 18315 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199044 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554695628424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18329] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18329/stat : 18329 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554694577168 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18330] ppid=18313 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/18315/task/18330/stat : 18330 (java) S 18313 18315 17886 0 -1 4202560 3223 0 0 0 61 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554693523512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18315/tid=18331] ppid=18313 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18315/task/18331/stat : 18331 (java) S 18313 18315 17886 0 -1 4202560 2618 0 0 0 52 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554692470968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18332] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18332/stat : 18332 (java) S 18313 18315 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554691418616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18315/tid=18333] ppid=18313 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/18315/task/18333/stat : 18333 (java) S 18313 18315 17886 0 -1 4202560 103 0 0 0 55 50 0 0 20 0 19 0 343199047 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554690366280 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18315/tid=18334] ppid=18313 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18315/task/18334/stat : 18334 (java) S 18313 18315 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199105 3097006080 420270 33554432000 1073741824 1073778376 140736262021744 140554688165160 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143
Real time (s): 1795.02
CPU time (s): 1800.19
CPU user time (s): 1797.77
CPU system time (s): 2.42463
CPU usage (%): 100.288
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.77
system time used= 2.42463
maximum resident set size= 1681196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12708
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38014
involuntary context switches= 2886

runsolver used 6.39103 second user time and 16.6025 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-04 02:45:42
IDJOB=3742569
IDBENCH=90209
IDSOLVER=2319
FILE ID=node144/3742569-1338770742
RUNJOBID= node144-1338765348-17903
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_K148.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742569-1338770742/watcher-3742569-1338770742 -o /tmp/evaluation-result-3742569-1338770742/solver-3742569-1338770742 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742569-1338770742.opb           

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

MD5SUM BENCH= 75849fe0d0ba66aaca3a2fe3a07c685a
RANDOM SEED=1922255628

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:        26521912 kB
Buffers:         1721844 kB
Cached:          3723240 kB
SwapCached:          464 kB
Active:          3545456 kB
Inactive:        1924552 kB
Active(anon):       5084 kB
Inactive(anon):    11188 kB
Active(file):    3540372 kB
Inactive(file):  1913364 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              4700 kB
Writeback:             0 kB
AnonPages:         75880 kB
Mapped:            14400 kB
Shmem:               172 kB
Slab:             742212 kB
SReclaimable:     184016 kB
SUnreclaim:       558196 kB
KernelStack:        1600 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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 03:15:39